语义

Introduced a new natural language understanding theory named HNC that understands natural language by directly starting from semantic representation.

介绍了一种直接从语义出发的自然语言理解理论—HNC理论的基本思想。

Whether a method can be found to perceive the chunks from the input natural language is the key of applying the HNC theory in the Natural Language Processing .

能否从输入的自然语言中得到语义块，是HNC理论能否进入工程实践的关键。

Then we consider how to relate the interface of a component to its implementation: Verify if the implementation of a component is satisfied with the requst of semantics in its interface by using Hoare logic.

然后我们考虑如何将构件的接口和实现联系起来：利用Hoare逻辑，验证一个构件的实现是否满足其接口中所给出的语义要求。

This paper describes an approach to reverse engineering based on the formal semantics of the strongest postcondition predicate transformer,and the partial correctness model of program semantics introduced by Hoare. The main point of our investigation is how to use informal and formal methods for reverse engineering. The approach provided by this thesis is mainly to process the C program system for reverse engineering.

本文描述的逆向工程中的形式化方法采用最强后置条件谓词转换技术和Hoare理论中有关程序语义的部分正确性模型，研究的重点是利用形式化技术和非形式化技术对程序代码进行逆向工程，以支持软件理解和维护。

The syntactic study,on the basis of our predecessors achievements,is to analyze the alignment of "geng",while the semantic study,from the respect of informatics,is to analyze its function of copy ing information,including homogeny copy ,antagonism copy and compensation copy .

句法平面是在前人的基础上分析"更"的组合；语义平面则从信息论的角度分析"更"具有部分性拷贝信息的功能，包括同质性拷贝、补充性拷贝、对立性拷贝三种情况。

In semantics,Jianyu construction is of homograph,while SVOC is polysemantic.

兼语句和SVOC句在结构和语义上存在一定的对应性。

This article analyzes the differences of homograph in such six aspects as performance,implication,complimentary and derogatory sence,parts of speech,linguistic sense,usage in formal and informal conditions.

当我们在理解，特别是在使用同形词时最感棘手的恐怕是那些词义基本或大致相同，然而语感、语义上却多

In this thesis, the use of Punning will be put into discussion, and the emphasis will be laid on the use of the two most important types of Punning, one is Punning of Homograph, i.e., a way to make use of the phenomenon of polysemy—one word or phrase which has several meanings to make a sentence have different meanings; the other one is Punning of Homophone, i.e., a way to make use of the phenomenon of homonymy—using two words which have the same pronunciation or similar pronunciations but different meanings to cause the sentence to change meaning.

本文着重讨论英语广告中的双关语运用，暨英语广告"双关"修辞的两种形式：一种是语义双关，即利用词语的一词多义的，运用词的几重意义，来达到一语双关的特殊效果；另一种是谐音双关，即利用词语的音同音近而义不同构成的双关，通过举例分析认识两者在英文广告中所起的独特宣传作用。

Query requests a semantic analyzing module and a global query processing module to process the case of homograph and thesaurus. A Sub-query localization processing module processes case caused by different measure unit. Redundancy discarding module processes case caused by error of redundancy data.

查询请求语义分析和全局查询阶段处理同形异义和异形同义情况、子查询本地化模块处理计量单位不同所造成的影响、冗余处理阶段根据策略处理有冗余结果集中内存在错误数据所造成的冲突。

Under this theoretical frame, prepositional polysemy is reduced to homonymy. The close relationships among distinct senses of the same proposition are ignored,let alone exploring the way of how the senses relate each other. Therefore, their studies can't reveal the nature of semantic extension of prepositions.

在这种理论框架下，介词的一词多义现象被看成是同形同音异义现象，同一介词间不同意义的紧密联系被忽略，更不用说，研究他们之间的意义是怎样相互联系起来的，因此他们的研究不能反映介词语义延伸的本质特征。

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

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

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

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