语义约束的英文

• semantic constraints

• "语义"英文翻译    semanteme; semantics
• "约束"英文翻译    keep within bounds; restrain ...
• "定义约束程式设计" 英文翻译 :    definitional constraint programming，dcp
• "其他可由用户定义约束是" 英文翻译 :    uml
• "语义" 英文翻译 :    semanteme; semantics 语义结构学 semotactics; 语义扩展 semantic extension; 语义缩合semantic condensation; 语义要素 semantic feature; 语义成分 semantic component; 语义场 semantic field; 语义程序 semantic routine; 语义存储器 semantic memory; 语义分析 semantic analysis; 语义生成 semantic generation; 语义树 semantic tree; 语义图 [计算机] grapheme; 语义网 semantic net; 语义字 semantic word
• "预定义约定" 英文翻译 :    predefined convention
• "约束" 英文翻译 :    keep within bounds; restrain; bind; bound; boundage;tie; restraint; restriction; engagement; repress; constraint 约束自己 restrain oneself; 约束自己的感情 restrain one's feelings; 自我约束 self-discipline; self-control; 不受传统观念的约束 bound by no traditional idea; 打破[摆脱]一切约束 throw [shake; break] all restraint; 在法律和道德的约束下 be bound by legal and moral ties; 他受到自己诺言的严格约束。 he was bound hand and foot by his promise.; 约束力 force of constraint
• "名义约定价格" 英文翻译 :    nominal contract price
• "kripke语义" 英文翻译 :    kripke semantics
• "新语义" 英文翻译 :    neology
• "语义层" 英文翻译 :    semantic layer; universe
• "语义场" 英文翻译 :    semantic field
• "语义丛" 英文翻译 :    semantic cluster
• "语义的" 英文翻译 :    semanticallly
• "语义对" 英文翻译 :    semantic pair
• "语义法" 英文翻译 :    semantic approach; semantic technique
• "语义符" 英文翻译 :    graphechon
• "语义类" 英文翻译 :    semantic categories
• "语义链" 英文翻译 :    semantic link
• "语义论" 英文翻译 :    semantics
• "语义码" 英文翻译 :    semantic code
• "语义上" 英文翻译 :    semantically
• "语义树" 英文翻译 :    semantic tree
• "语义图" 英文翻译 :    grapheme
• "语义网" 英文翻译 :    semantic net; semantic web

• However , certain semantic constraints can be expressed as syntactic ones
  然而，某些语义约束可以表达为语法约束。
• Occurs when stored data fails to satisfy certain syntactic or semantic constraints
  在已存储的数据不能满足某些句法或语义约束时发生。
• Your document rules primarily concern nesting of elements , not semantic constraints on contents as in prose markup
  您的文档规则主要考虑元素的嵌套而不是内容的语义约束（如同使用散文标记） 。
• No syntactic constraints are imposed on the ways in which expressions can be composed though the language does have some semantic constraints
  虽然语言具有语义约束，但对于表达式的构造方式却没有施加语义约束。
• The relax ng compact syntax provides a much less verbose , and easier to read , format for describing the same semantic constraints as relax ng xml syntax
  Relax ng紧凑语法提供了一种格式用于描述与relax ng xml语法相同的语义约束，这种格式更简洁、更易于阅读。
• This bug occurs when stored data fails to satisfy certain syntactic or semantic constraints ; when software crashes due to an error , not in the coding , but in the data the code is manipulating
  这种错误在已存储的数据不能满足某些句法或语义约束时发生；此时软件会因为代码操纵的数据中的错误而不是编码中的错误而崩溃。
• The syntax rules and semantic constrains are described in detail ; the semantic of this logic are given in terms of a general model of multi - agent system , closely related to the interpreted systems of modal logic
  文中详细描述了语法规定和语义约束，该逻辑的语义是以一般的多agent系统模型给出的，并且与模态逻辑的解释系统密切相关。
• Aiming at this problem , the main research issues and achievements in this paper are as follows : bi - directional data transformation between rdb and xml with semantic constraints preserved for most of existing researches on static data transformation between xml and rdb , dtd is taken as the schema description language for xml , and the semantic constraints are often lost during the transformation process . to overcome these disadvantages , the author adopts xml - schema , a standard schema description language proposed by w3c to replace dtd , as the description method owing to its more powerful functions than dtd , and of course with the syntax much more complicated . after analyzing the constraints characteristics in both xml - schema and relational schema , a semantic constraints - preserved algorithm is proposed which can realize the bi - directional schema mapping between rdb and xml through a formalized description of xml based on regular tree and a general expression for relational schema based on direct graph approach
  保留语义约束的xml与rdb双向静态数据转换技术现有研究大多采用dtd ( documenttypedefinition ，文档类型定义)作为xml的模式描述语言，并且在模式映射过程中丢失语义约束信息，本文分析了xml - schema ( xml - schema采用与dtd完全不同的语法，数据描述能力更强同时也更为复杂，已被w3c确定为替代dtd作为xml模式描述语言的标准)及关系模式的语义约束特征，通过基于正则树的xml形式化描述方法以及基于有向图的一般关系模式表示方法的研究，建立保留语义约束的xml - schema与关系模式的双向模式映射算法，实现了xml与rdb的双向数据转换，较好地解决了xml与rdb在静态数据转换层面的数据集成问题，可有效满足企业大量rdb数据面向xml的发布以及与日俱增的xml数据存入rdb的应用需求。
• The original intention of xslt technology is to be an agent of visual presentation , however , in this paper we enable the semantics constraint through the extension of a xslt processor xalan - java . so that a semantics style - sheet can be made to compose all kinds of semantics constraint among applications . examples are shown to illustrate the style - sheet ' s functionalities
  Xslt技术的本意是作为xml数据的显示代理，而在本文中，将利用一个xslt处理器xalan - java的扩展功能使其能够进行语义约束，从而产生语义样式表的概念，能够在实际xml应用中写作编辑特定于各种应用的语义约束。
• There are two paradigms in the analysis of semantics : the modeling approach and constraint approach , in this paper we made a constraint mechanism on application semantics of xml applications based on the assertion mechanism to impose a system contract during the process of software engineering and increase the confidence on system functionalities
  语义分析主要包括建立模型和建立约束两种范例，本文以断言机制为基础，提供对xml应用的语义约束，力图在软件工程中起到对系统的契约实施和功能(语义)保障。