查询词典 semantics

For intermediate language study is the different styles of requirement model describes the syntax and semantics combined with organic, and thus more conducive to the specification or requirement model of integration or testing.

同时对于中间语言的研究是把不同风格的需求描述模式的语法和语义有机的结合到一起，从而有利于多需求模型或规约的集成或者检测。

Based on the modified interval algebra, an interval based temporal logic TL is constructed, its semantics is rigorously defined.

在扩充后的时区代数结构的基础上，构造一种基于时区的一阶时态逻辑语言TL，并为TL规定了语义。

In order to maintain thoroughly hsi philosophical standpoint of Anti-realism, he rejected two-valued semantics and took Intuitionist logic as the basis of his metaphysics.

为了彻底坚持其反实在论的哲学立场，达米特拒斥二值原则，把直觉主义逻辑作为其形而上学的基础。

An approach to multi-action commitments in KARO logical framework was made, and it was interpreted using Kripke-style possible-world semantics.

研究主体思维状态逻辑框架KARO中的多动作承诺机制，并对其进行语义解释。

Where things stand right now, it does not look like search is the killer app for semantics.

那里的东西，现在的立场的权利，这并不像是搜索是杀手级应用，为语义。

Semantics and Usage of the Flow Label Field........

30附录A的语义与用法的流标签字段。。。。。。。。。

From the point of view of semantics, this paper discusses the following three issues: 1 the type and function of electronic dictionary; 2 the content and method of interpretation of electronic dictionary; 3 the use of the results of semantic studies in lexicography.

本文从语义学角度，论述以下3个方面的问题：1）电子词典的类型与功能；2）电子词典的释义方法与内容；3）语义学的研究成果在词典学中的应用。

The number of the most important words in a language is a topic of great sig nificance in cognitive science, semantics, and lexicography.

一种语言中最重要的词语有多少，是认知科学、语义学、词典学中的重要命题。

The study of lexical relations has a long history in semantics and lexicology.

对于词汇关系的研究在语义学和词汇学领域已有很长历史。

The language principles of Chinese names of the most valuable brands in the world were analyzed and summarized in the three aspects as grammar, phonetics and semantics using linguistical and statistical methods.

并用语言学和统计学的方法从语法、语音、语义三个层面分析并总结了世界最有价值品牌中文名称的语言规律。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。