语义

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

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

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 types of meaning and sense relations such as polysemy,homonymy,synonymy,antonymy,hyponymy and semantic field all belong to the scope of semantic study and constitute an important part of lexicology.

含义类型和诸如一词多义，同音异义，同义字关系，反义现象，下义关系的语义关系以及语义场属于语义研究的范围构成了词汇学的重要部分。

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.

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

Algebraic semantics ; Barcan formula ; Kripke's relational semantics ; nested domains ; Kripke's special semantic ; completeness theorem

代数语义； Barcan－公式； Kripke的关系语义；嵌套论域；狭义Kripke语义；完全性定理

The conceptualist view is best illustrated by the classic senmantic triangle or triangle of significance suggested by Odgen and Richards.

意念论可由著名的语义三角形来表述。语义三角形是论述和解释语义现象的一种经典理论。

The paper attempts to propose a more powerful explanatory model of semantic domain theory by conflation of both metaphor semantic domain and Merleau-Ponty ' s semantic domain theory.

本文在分析 Lakoff 和Johnson的隐喻语义域和Merleau-Ponty的语义域理论基础上，有机地溶合了心理空间和概念整合理论的观点，提出了一个解释力较强的语义域理论。

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.

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

Aiming at solving the problems of heterogeneity among ontologies in semantic Web services, and taking into account the fact that the efficiency of most ontology mapping system is not high and the results of ontology mapping is not accurate enough, this paper proposed efficient ontology mapping method and system framework for semantic Web services, the method adopted machine learning techniques to enhance the degree of automation of ontology mapping, used comprehensive evaluation technology to amend the results of ontology mapping, so as to improved the accuracy of ontology mapping.

芦明， 李冠宇，史一民大连海事大学信息科学技术学院，辽宁大连 116026）本体的异构性阻碍了语义网服务的互操作。从解决语义网服务中本体的异构问题出发，同时考虑到目前的本体映射系统大多效率不高、映射结果不够准确的问题，提出了一种适用于语义网服务的本体映射方法及系统框架。该方法利用机器学习技术来提高本体映射的自动化程度，利用综合评判技术修正映射结果，以提高本体映射的准确率。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。