形式定义的英文

• formal definition

• "形式"英文翻译    form; shape; layout; modalit ...
• "定义"英文翻译    definition; delimiting
• "形式定义的安全性模型" 英文翻译 :    formally-defined security
• "方式定义" 英文翻译 :    mode definition
• "格式定义块" 英文翻译 :    format definition chunk
• "公式定义" 英文翻译 :    equation definition
• "函式定义" 英文翻译 :    function definition
• "模式定义" 英文翻译 :    mode definition; mode-definition
• "显式定义" 英文翻译 :    explicit definition
• "格式定义语言" 英文翻译 :    form definition language
• "模式定义长度" 英文翻译 :    schema defining length
• "模式定义语言" 英文翻译 :    xsd (xml schema definition) xml; xsd xml
• "串流格式定义块" 英文翻译 :    stream format definition chunk; stream header
• "概念模式定义语言" 英文翻译 :    conceptual schema definition language
• "定义和形式" 英文翻译 :    definition and form
• "未定义形式" 英文翻译 :    undefined format
• "形式数学定义" 英文翻译 :    formal mathematical definition
• "形式数字定义" 英文翻译 :    formal mathematical definition
• "形式语言定义" 英文翻译 :    formal language definition
• "形式语义定义" 英文翻译 :    formal semantic definition
• "自定义的序列化形式" 英文翻译 :    custom serialized form
• "定义" 英文翻译 :    1.(确切而简要的说明) definition; delimiting 确切的定义 an exact definition; 给一个词下定义要比举例说明它的用法困难。 to give a definition of a word is more difficult than to give an illustration of its use.2.(给以确切而简要的说明) define 被定义为 ... be defined as ..
• "形式" 英文翻译 :    1.(事物的形状、结构等) form; shape; layout; modality 流于形式 become a mere formality; 形式多样 be various in forms; 形式和内容 form and content; 他已经肯定获得那份工作了, 口头审查仅是形式而已。 he is already assured of the job and his interview is a mere formality.2.[自动化] (数据安排) format; [数学] quantic; shape
• "多式定理" 英文翻译 :    polynomial remainder theorem
• "多项式定理" 英文翻译 :    multinomial theorem; polynomial theorem

• Have custom controls with symbolically defined styles ; but
  都包含样式以符号形式定义的自定义控件；但
• X3d defines several subsets of the complete specification as profiles
  X3d使用配置文件的形式定义了完整规范的几个子集：
• In mathematical terms , the character set defines the set of all characters used in a language
  字符集以数字形式定义了一种语言中使用的所有字符。
• The specification defines the basis of data mining as the data mining model virtual object
  该规范以数据挖掘模型虚拟对象的形式定义数据挖掘的基础。
• Postal services - hybrid mail - document type definitions for customers to operator : a common set of default tags ; english version env 14014 : 2001
  邮政服务.混合邮件.用户业务员文件形式定义.普通组
• Xbrl is xml - based . it is a language defined by xml - - - - - - with more than 1 , 800 xml tags , each of them representing a financial taxonomy
  Xbrl基于xml技术，即它是由xml完成定义的语言? ?它以xml标记的形式定义了1 ， 800多个财务类别。
• Chapter three first introduces some terms to describe agent from software methodology view . then gives the formal definition of agents using z language
  第3章从软件方法学角度确定描述agent的基本术语，并以此为基础用z语言给出agent的形式定义。
• The idea of the generic connection framework is to define the abstractions that cover the general aspects of the networking and file i o in the form of java interfaces
  通用连接框架的设想是以java接口的形式定义一些能够覆盖联网和文件i / o的通用方面的抽象。
• To satisfy the requirement of asynchronous and loosely coupled communication model , this thesis presents a formalize definition of asynchronous messaging model based on distributed object
  针对异步、松耦合通信模式的需求，提出一个基于分布对象的异步消息模型的形式定义。
• What workflow management system ( wfms ) can do is to convert the business process logic into certain computerized formal definition , and to complete the execution and management of the workflow under its drive as well
  工作流管理系统就是将现实世界中的业务过程逻辑转化成某种计算机化的形式定义，并在其驱动下完成工作流的执行和管理。

• 形式定义的日语：けいしきていぎ