语义

Russian modal word ; special word class ; semantic function ; pragmatic function

俄语情态词；特殊词类；语义功能；语用功能

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

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

In this article, I will add in the necessary code to carry out semantic actions on the input, and therefore provide a fully functional modular arithmetic calculator.

在这篇文章中，我将添加必要的代码进行语义动作的输入，因此提供了一个全功能的模块化算术计算器。"/页"

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描述了操作系统的进程网，从而给出了文件系统的语义。

The study on the semantic meaning of Mongol words has a long history.

蒙古语义研究有悠久的历史。

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语言中的框架技术破坏了逻辑的单调性，传统的规范模型已不再适用于捕获该语言的模型语义。

This paper introduces a convenient reengineering assistanttool which was developed by the author and other researchers in De Montfort University,UK,and can be used to abstract a specification from a pro-gram(i.e.from source code text to specification source text),and give a case study with RA.

因为程序设计和规约是在更高的抽象层次上，这一层次更简洁或易于理解。从源代码中成功抽取面向语义的规约，将有利于理解，从而有助于对遗留系统进行再工程。从

The degree of comparison can be expressed morphologically or syntactically.

比较级可以通过词形或者语义来实现。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！