查询词典 semantics

This validates our denotational semantics.

这就证实了我们所定义的指称语义的有效性。

A denotational semantics of Timed RSL is defined based on observations on channels, variables, and return values, using Extended Duration Calculus formulas with advanced features.

我们基于对通道、变量和返回值的观察，使用带有高级特征的扩展的延时演算公式，定义了时间化RSL的指称语义，它能够用单一的公式描述所有类型的表达式行为。

The denotational semantics is thinked of asthe criteria semantic.

指称语义学是公认的标准形式语义学，论域是其基础和核心。

Plotkin contructed a model for PCF, then he considered the matching problems between the related denotational semanitics and the operational semantics-simple match and complete match.

Plotkin所引进的PCF就是这样一类程序语言。Plotkin构造了PCF的一个模型，然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合。

By the following three breakthroughs. Firstly, translation studies much enhanced its examination in linguistic transfer, with a series of equivalences advanced, such as equivalence in phonetics, syntax, semantics, etc. Secondly, instead of being confined to the translated text, translation studies concernsitself more with the extralinguistic elements: the initiator who proposes or sponsors the translation of a certain work, the translator who produces the target text and the receiver that involves not only the target reader but the target cultural environment as a whole. Thirdly, translation has been surveyed

首先，它从一般层面上的对两种语言转换的技术性问题的研究，深入到了对翻译行为本身的深层探究，提出了语音、语法、语义等一系列的等值问题；其次，它不再局限于翻译文本本身的研究，而是把目光投射到了译作的发起者（即提议或组织翻译某部作品的个人或群体）、翻译文本的操作者和接受者（此处的接受者不光指的是译文的读者，还有整个译语文化的接受环境）身上；再次，它把翻译放到一个宏大的文化语境中去考察，并审视翻译在这种文化语境中的意义和作用。

The semantics are incomplete until orig is resolved (e.g., by THEN ).

这个语义在 orig 被解析出之前都是未完全的。

Both semantics and context have a significant effect on the change of amplitude and pitch under normal or noisy conditions.

四、无论在正常条件，还是在噪声条件下，语义和语境因素对音强和音高变化等因素的影响是显著的。

Besides, we research the different expression, mood, tone, pronunciation and meaning of interjections between English and Chinese by analyzing the different usage of interjections in different kinds of sentences from pragmatics, semantics and grammar.

此外，我们还从语用学，语义学，和语法的角度，通过分析不同的语气词在不同句子中的用法来研究英汉语气词在语言中表示的神态、语气、语调、语音及其含义。

Metadata provided with the basis of all these functions, semantics, contents and interrelations.

元数据提供了所有这些功能语义内容与相互联系的基础。

This thesis, on one hand, discusses the application of prototype theory to the study of semantics, pointing out that some ideas of word meanings are worthy of lexicographers consultation.

作者从语义学的角度讨论了类典型理论运用到语义研究上所取得的成果，指出这些成果的应用前景，包括对词典编撰学的可能应用前景。

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水合物的放冷进行了实验研究。