查询词典 semantics

Then we consider how to relate the interface of a component to its implementation: Verify if the implementation of a component is satisfied with the requst of semantics in its interface by using Hoare logic.

然后我们考虑如何将构件的接口和实现联系起来：利用Hoare逻辑，验证一个构件的实现是否满足其接口中所给出的语义要求。

In semantics,Jianyu construction is of homograph,while SVOC is polysemantic.

兼语句和SVOC句在结构和语义上存在一定的对应性。

This article explicates the differences between Russian idiomatic phrases and homophonic free phrases in semantics.

论述了俄语名词性成语与同音自由词组语义方面的差异、各自的结构、语法特点，以及二者在语言运用时功能的差

Basic data and data about data, such as links to reflect, reflect the semantics, in order to manage a variety of additional control data ...7.3 The benefits of direct access to 1 with a simple way to update multiple files 2 when the update of the master record ...77, human-computer dialogue: Could it be machine interaction, is in the running process, in order to control or verification purposes, by ...

了基本 数据和关于数据的数据，如反映联系的、反映语义的，为了管理控制而附加的各种数据。。。。 7.3分析直接存取处理的优点1 用一个简单的程可以更新多个文件2 当更新的主记录。。。 77、人机对话：也叫人机交互，是指在程序运行过程中，为了控制或校验目的，通过。。。

The purpose of the study of Color Semantics is to humanize product design.

研究色彩语义学的目的就是使产品设计更加人性化。

So it is important to type hyperlink based on semantics first.

因此， 首先对超链接从语义上进行分类具有重要的意义。

At-most-once semantics are important because they guarantee that operations that are not idempotent can be used safely.

最多一次语义是非常重要的，因为它们确保非幂等操作能够被安全的运用。

Chapter four and five comprise the data analysis; I specify the phenomena of causative and inchoative alternation in TSM in chapter four, and then compare them with those of Mandarin and English by means of lexical semantics and language typology.

第四及第五章进行语料的分析与讨论：第四章将探讨闽南语的动词使动与起动交替，而第五章则是以词汇语意学以及语言类型的角度比较闽南语、汉语以及英语动词在使动起动交替表现上的异同。

These descriptions are brief, but based on them it is indeterminable and has disadvantage in system design and direct implementation. On the other hand, these works mostly focus on describing variants behaviors of Ambient calculus in one level, which makes it complicated to understand clearly how these variants behaviors work and how they work together. As a result, based on the unit ambient of Ambient calculus, a three-level semantics description framework is given for Ambient calculus.

这种描述方式尽管简洁，一方面却具有不确定性，不利于实际的网络计算系统的设计和直接实现；另一方面，这种语义描述方式均在一个层次上描述Ambient演算系统中的各种行为语义，使得Ambient演算中各种计算行为纠缠在一起，复杂而难以理解。

In this paper, the concept of dynamic priority systems is developed based on bounded P/T systems and the interleaving and the true-concurrency semantics are provided for them respectively.

在有界P/T系统的基础上提出一种动态优先系统，并分别给出它们的交错语义与真并发语义。

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。