语义

One of the reasons for such a phenomenon is the existence of a dual language system.

该现象的原因之一，就是此种双重语义体系的存在。

With the analysis of the framework of MDA and categorization research on all kinds of model transformation methods and languages in existence, analyzing the applications of OCL in MDA considering the characteristic of OCL, three directions is emphatically studied in this paper:First of all, according to the declarative characteristic of OCL, this paper proposes a hybrid model transformation language named Hybrid-OCL by extending OCL from three aspects, the syntax and semantics is also defined. Hybrid-OCL can describe dynamic semantics, store model transformation information in order to support model transformation synchronization, and provides the integrated model transformation program framework.

本文以MDA整体框架为起点，分类研究了现阶段各种模型转换方法和模型转换语言，结合OCL的特性分析了其在MDA框架中的应用，并在此基础上重点研究了以下三方面内容：首先，根据OCL声明式语言的特点，选取三个角度对其进行扩展，从而设计产生了混合式模型转换语言Hybrid-OCL，详细定义了其语法和语义，并通过具体转换实例验证了这种扩展的可行性。

as the process of campus network informatization speeding up continuously,an increasing number of schools built their own mail system which is available to both teachers and students. in addition to smtp session layer's anti-spam measures,surfcontrol e-mail information security gateway riskfilter is on the application layer, anti-spam engine asa integrates four anti-spam technology: digital fingerprints, heuristic analysis, semantic analysis and the internet threat database. many surfcontrol content security experts from all over the world maintain and update asa databases 365 x7x24 hours continually, and also it wouldautomatically updated four times daily, providing an accurate rate of 99.2 percent or more higher andbelow 0.1 percent rate of misjudgment of the spam filtering effect.

随着校园网信息化的进程不断的加快，越来越多的学校搭建了自己的邮件系统，提供给教师或学生使用，系统除了smtp会话层的反垃圾邮件措施，surfcontrol邮件安全信息网关riskfilter在应用层上，反垃圾邮件引擎asa集成了四种反垃圾邮件技术：数字指纹、启发式分析、语义分析和internet威胁库，由surfcontrol全球众多内容安全专家，365x7x24小时不间断维护更新asa数据库，每天自动更新4次，提供准确率高于99.2%、误判率低于0.1%的垃圾邮件过滤效果。

The data is updated in an event-driven way as that defined in a rule table of active database. The elementary events are abstract from the semantic of an actual updating operation and then encoded. The relationship between events and the means of change caused by an elementary event is defined and stored in the rule table.

OET模型采用事件驱动的数据更新方式，应用主动数据库中规则库的建立方法，对原予事件进行语义抽取和编码、在事件表中定义事件之间的连锁关系和事件对实体的改变方式。

The elementary event semantic and the causality between parent object and son object are expressed in a form of"subject-predicate-object"as "Parent Object Identity -Event Identity -Son Object Identity ".

用"父亲对象标识码-引起变化的事件标识码-变化后的儿子对象标识码"这样一个"主语-谓语-宾语"的形式表达最基本的事件语义和父子对象之间的因果关系。

This paper discusses the form and meaning of ellipsis in five ways .

本文分五个方面论述了种种省略和语义。

But, by semantic embedding the theorem derivations in object logic usually descends to ones in base logic, which not only requires users know the encoding quite well, but also lower the abstraction level of object logic, and readability and hand-reexecutability of proofs.

但是，语义嵌入方式下目标逻辑定理推导常常向基逻辑下降，这不但要求用户了解编码细节，而且也大大降低了目标逻辑的抽象性以及PVS一向追求的证明可读性和手工可再现性。

In this course, he wasn't restricted the ready-made theories of Empson etc, but testified the characteristics of Chinese poetry language adequately by combining the studies of language with the studies of social context and cultural tradition.

在借鉴、运用燕卜荪等人的语义分析方法的过程中，刘若愚没有拘守于现成的理论模式，而是将语言问题同社会背景、文化传统联系起来，从而充分凸显了中国诗歌语言的特色。

Chapter Ⅵ is on both the social significance of Empson's reading of Shakespeare play, and the deeper significance of humanism, which is beyond the social criticism. In 1930s and 1940s, New Critics strengthened the analysis of text itself, were inclined to discuss the balance and synthesis among the conflicts in poems. This was not just formalism, it also reflected people's speculation of disorder in society and their efforts to rebuild the value system during the worldwide economic crisis in 1930s.

第六章讨论了燕卜荪对于莎剧语义解读的社会意义，以及一种超越了社会批判的更为宽广的人文意义。30、40年代新批评家们强调文本分析，并倾向于讨论诗歌中对立成分的平衡统一，并不纯粹是一种形式主义，它反映了1930年那场世界经济危机中人们对混乱无序的社会状况的思考和重建价值体系的努力。

This provides a rigorous dynamic semantics for the model and a formal basis for its enactment and analysis.

这为模型提供了明确的动态语义，为其运作和分析提供了形式化基础。

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

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

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

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