查询词典 semantics

Hence in language use, the ideational encoding from SEMANTICS to MEANING would generate a new process system of four general Transitivity constructions: material-actional, material-relational, material-relational, and mental-relational.

在笔者看来，前一类现象为语言编码前的"意象隐喻"，但在语义上则是一致式，后者同时涉及意象隐喻和语义隐喻，因为它们是在"心理-关系"这一总的及物性结构框架内，以识别模式为源范畴，映射到同一框架下的属性模式而生成的。

Use operational semantics as tools to proof definiteness and terminability of SPL expressions, so security of SPL is guaranteed.

本文以操作语义为分析工具，证明了SPL策略语言表达式的确定性和可终止性，从而间接证明了SPL语言的安全性是有保障的。

Aiming at more expressive description logic, the semantics and reasoning mechanism of terminological cycles are studied.

针对更大的描述逻辑系统研究了循环术语集的语义及推理机制，即在描述逻辑εL 的基础上添加数量约束构造算子，提出了描述逻辑εLN，给出了εLN 的语义(包括不动点语义和描述语义)。

Note that the precise semantics of text mode on the Macintosh depends on the underlying C library being used.

需要注意的是Mactiontosh 平台上的文本模式依赖于其使用的底层C库。

Where additional semantics apply to a function, the material is identified by use of the TMR margin legend.

在额外语义适用於函数时，由TMR边限图示的使用来识别。

This paper proposes an algorithm of torus reconstruction based on feature recognition and semantics of engineering annotations.

机械零件中的管道和曲面过渡通常都由圆环面构成。

First, a new model, TSTG (Timed Symbolic Transition Graph) is presented along with its semantics theory. An algorithm deciding timed bisimulation is developed based upon the idea of symbolic bisimulations. Model checking algorithms has played an very important role in verifying systems.

在分析与验证算法的设计方面，在新的计算模型基础上，我们分析了实时传值进程间各种不同互模拟的特点以及判定方法；尤其针对时间互模拟，根据符号互模拟的思想，本文给出了一个时间符号迁移图上的判定算法并证明了算法的正确性。

As "Elemental predicative construction", according to their different semantics relations, in which " V"s representative intransitive verb, transitive verb and relation verb respectively.

本文以动词为中心，与动词相联系的所有成分归为配角成分、说明成分、域外成分、附加成分等四种，而后根据它们之间的不同语义关系，确定｛X—V｝；｛X—V—Y｝；｛X—V—Y｝等三种"基本表述结构"。

Where additional semantics apply to a function, the material is identified by use of the TRC margin legend.

在额外语义适用於函数时，由TRC边限图示的使用来识别。

Where additional semantics apply to a function, the material is identified by use of the TRI margin legend.

在额外语义适用於函数时，由TRI边限图示的使用来识别。

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.

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