构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
语义标注定义在服务中描述的操作的输入、输出、前提的含义以及操作产生的效果。
Semantic annotations define the meaning of the inputs, outputs, preconditions and effects of the operations described in a service interface.
在此基础之上，我们引入新的Codan静态分析框架作为可选组件，在编译之前提供语义错误报告。
On top of that, we introduced the new Codan static analysis framework as optional component to provide semantic error reports ahead of compile time.
句子中的隐前提即语义预设，分为存在预设、事实预设和种类预设。
The implicated premise, viz. semantic presupposition, are divided into existence presupposition, fact presupposition and generic presupposition.
Apacheopenjpa以前提供了openjpa . LockManager属性和ReadLockMode hint，可以用于在openjpa内进一步配置悲观锁语义。
Apache openjpa had previously provided the openjpa.LockManager property and the ReadLockMode hint, which can be used to further configure pessimistic lock semantics within openjpa.
在人类思维活动具有同一性的前提下，唐诗意象的翻译原则需要同时考虑语义对等和审美功能对等。
On the premise of people's identical thinking activities, translation principles on image of Tang poetry should both take semantic equivalence and aesthetic equivalence into consideration.
结果表明，在论述理解中，条件前提的语义联系强度影响MP推理；深思熟虑对MP和AC推理均产生影响。
Results indicated that in the discourse semantic relation intensity of the conditional premises influences MP inference, and both MP and AC inferences were influenced by the deliberate process.
要获得韵律感、语言直感、言语情味感乃至存在意义上的生存语义感，首要的前提就是语体化语言的生成。
Secondly, to acquire such three sensible intuitions, and to acquire the living meaning on the sense of being, the stylistic language must come into being firstly.
指令调度是在保证语义正确的前提下，改变指令执行的顺序，以提高指令级并行的程度。
To change the execution order of instructions, enchant ILP furthest, will achieve higher performance on the basis of ensuring correctness.
这一预设是选择者进行语义选择的基础，也是选择者实现否定功能的前提。
It is the basis and premise for the subject to select "x" and negate "y" from the individual view.
以助词“的”为例，总结出了若干可以在不影响文本语义的前提下修改“的”字结构的语法规则。
Taking the auxiliary word DE as the research object, some syntax rules are introduced, under which the DE phrase can be modified without changing the semantic of the text.
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
To establish a model is the precondition to the logical and semantic analysis of epistemic expressions and the theory of possible world semantics provides an effective tool for this.
因此，汉语句子理解过程中，语义加工具有一定的独立性，并不以成功的词类句法加工为前提。
Therefore, for Chinese sentence comprehension, semantic processing is independent of syntactic processing and doesn't need a processing license from successful syntactic structure building.
它是进行基于语义的视频分析的必要前提，也为基于内容的视频处理提供了基础。
It is not only the necessary precondition of the semantic-based video analysis, but also the basis of the content-based video processing.
翻译过程中原作语义的掌握是语义结构及语义表达的前提和基础。
Grasping the original semantic meaning in the translation is predicated on the structure of semantic meaning and the expression of semantic meaning.
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
Modal logic is quite mature at its formal technique, but its possible world semantics has many difficult in philosophical interpretations.
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
Modal logic is quite mature at its formal technique, but its possible world semantics has many difficult in philosophical interpretations.
应用推荐