查询词典 semantics

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

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

In addition, the consistency between the operationalsemantics and the minimal model semantics based on model theory is proved in detail.

进一步，我们研究了两类迁移系统的性质，并证明了操作语义和基于模型理论的极小模型语义之间的一致性。

This thesis first investigates the minimal model semantics of MSVL.

本文研究了MSVL语言的极小模型语义。

To deal with this, a minimal model theory is devel-oped, by which the temporal semantics of MSVL programs is captured.

因此，我们提出了极小模型理论并证明了极小模型的存在性定理。

Additionally, the modal logic system K1 was formed, which can be proved to be a complete system under MR0 semantics.

其次，构建了模态系统K1，证明了在MR0代数语义下该系统是完备的。

This dissertation applies some theories and concepts of cognitive-functional grammar and semantics to the analyses of the frequently occurred prototypical Chinese modal verb,"neng".

本文运用认知功能语法和语义学的一些概念和理论，讨论了现代汉语里使用频率较高的典型的情态动词"能"。

A transition module of a program is defined and the notion of temporal run semantics, which is a temporal formula precisely characterizing the program is presented.

文中给出了一个程序的转换模块的定义，提出了时序执行语义的概念。它是一个时序公式，精确地说明了一个程序。

Using a nondeterministic monad , we describe the process networks of the operating system, giving the semantics of the file system.

本文通过状态转换器来定义I/O的文件系统，并用非确定性monad描述了操作系统的进程网，从而给出了文件系统的语义。

This paper makes description and interpretation of selective relation of combination of monosyllable adjectives and nouns from the perspectives of syntax, semantics and pragmatics, which are based on corpus of Modern Chinese, in order to provide applicable research production of linguistic theory.

本文是在结合现代汉语语料库的基础上，从句法、语义和语用等角度对单音节形容词和名词的组合中的选择性关系进行描写和解释，旨在为第二语言教学提供语言学理论的应用性研究成果。

Since fram-ing destroys monotonicity, canonical models used to define the semantics of non-framedprograms are no longer appropriate.

由于MSVL语言中的框架技术破坏了逻辑的单调性，传统的规范模型已不再适用于捕获该语言的模型语义。

Who? I never heard of him, Paul said, before asking teammate James Posey if he had heard of him.

赛后，科比说，他一直都是一名非常出色的射手，今天他打得很棒。

When I joined the company, I rotated around the different sections.

我加入这个公司时，轮换过几个不同的部门。