语义的

At last, the completeness of the algebraic laws with respect to a subset of Verilog and the operational semantics, i.e., are explored, if such programs are bisimilar, then they are algebraically equivalent.

研究了此代数语义的相对完备性，即参照前面的操作语义模型，相对于扩展Verilog语言的一个子集而言，此代数语义是完备的。

The basic principle of this system is semantics and its reflection on syntaxes, co-occurrence restrictions as well as collocations of subjects, aspectual markers and adverbials.

动词次分类的依据为语义，语义决定主语特徵、动态搭配、与状语共现的选择及限制，因此分类的目的在於表现出句法和语义的互动关系。

In addition, the position of semantic barycenter in C.A.S, smoothness or contradiction in the meanings of conjunction, different conjunctional meanings in different conjunctional marks are factors that affect the ellipsis of conjunctional marks in C.A.S.

从语义上看，紧缩句前后件语义重心的落点、关联语义的顺逆、不同的关联标记的不同关联意义，都是关联标记能否缩省的原因。

First, a method for calculating semantic likelihood between two phrase is carried out. then use the likelihood to determine the title row or column of the table, the correlation between titles and fields is determined at the same time. base title of the table, a simply method is presented which can be used to calculate correlativity between this table and what we wanted to extract.

首先提出了一种短语语义相似度的度量方法，然后利用短语语义的相似度确定表格标题行，并对表格行与抽取字段的对应关系进行计算，最后计算表格的整体语义，度量该表格与所要抽取的内容有多大相关度。

In this study, a new classification method of tolerances according to semantics and mathematical representation of basic geometric elements based on DOF is given. The representation of tolerance semantics is systematically deduced based on its mathematical definition that can characterize the semantics exactly an...

给出了基于语义的几何公差分类方法及基于自由度变动的基本几何要素数学表示方法；基于公差的数学定义，系统地推导了各种类型公差的三维语义表示方法，准确完整地表示出了其语义；最后给出实例进行应用分析

By "extended", it makes sense to propose two principles, one is the type re-arrangement principle and the other is logic predicate principle.

我们所提出的逻辑语义分析法的扩充性主要体现在两个方面：一是加入了类的重设原则；二是在语义的分析过程坚持把逻辑谓词视作为是承载着整个句式的主要语义信息。

Through the intensional interpretation, first-order language gets more close to the semantics of natural lan guage, and is truly neutral to all kinds of subject matter.

比之于外延语义的解释，内涵语义的解释使一阶语言更接近于自然语言的语义，而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。

Furthermore, chusheng is limited to the biological birth of animate entities only and often collocates with time and place, indicating its highly restricted meaning in naming the natural, biological process of genealogical birth.

因此，我们进一步提出「词汇差异化」的原则，来解释出生语义较限制於生物出生的过程，而诞生语义的范围较广，因此才导致语义延伸不一致的现象。

Thus the true-false subset semantics provides a proper semantic representation for non-normal modal operator.

这一切表明真假子集语义为非正规模态算子提供了一种合适的语义表示，是对经典的正规模态算子可能世界语义的一个重要发展，是理性Agent性态的逻辑规约的有力工具，可应用于建立新的合适的Agent逻辑系统。

The last chapter deals mainly with the semantic fuzziness in the syntagmatic relations, including the basic combining methods of fuzzy semantic meanings and the constraints on such combinations.

第五章详细探讨模糊语义的组合关系，包括模糊语义的联合与模糊语义的限制这两种基本的组合方式，分别描述了五种联合方式与四种限制方式。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。