查询词典 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系统的基础上提出一种动态优先系统，并分别给出它们的交错语义与真并发语义。

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。