查询词典 semantics

A formal semantics is given. We prove 79's soundness, consistency, completeness, and decidability with respect to the semantics.

本文和给出严格形式语义的基础上，证明了该系统具有可靠性、协调性、完全性和可判定性。

It is a part of the semantics of natural kind terms that they are natural kinds, but it may also be part of the semantics of these terms that this is a defeasible condition.

自然类型语词的部分语义是它们是自然类；还可以有，这些语词的部分语义是这是一个可击败的情况。

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，详细定义了其语法和语义，并通过具体转换实例验证了这种扩展的可行性。

This theory emerged from those philosophical and logical inquires Russell made in his early stage, when Russell use logical analysis to solve the semantics problem his meaning theory suffered. The foundation of the theory of descriptions is a theory of meaning, as this thesis presents, and its central notion includes two syntax rules. Based on the first order predicates calculus, this theory seems successfully solve some notable semantics problems and then assures Russell's denotation theory.

本文认为，摹状词理论有深刻的哲学渊源，它脱胎于罗素早期的哲学和逻辑研究，直接缘起于罗素想要利用逻辑的分析方法去解决意义指谓论所面临的语义学难题；摹状词理论的基础是它的意义理论，核心是两个句法规则，它基于带等词的一阶谓词演算成功地解决了一些著名的语义学难题，维护了直观的指谓论，从而产生了巨大而深刻的哲学影响。

Aimed to two major problems: one is not decidable and the other is no clear semantics. We construct a framework with explicit representation and formal semantics of goalsgoal description logics, which integrates two types of goals: declarative goals and procedural goals into one concept based on description logics. In addition, the goal plan is defined and analyzed, and some reasoning problems, such as goal consistency and goal satisfiability, are discussed. Contrary to traditional ways of goal description, GDLs can bridge the gap between theory and practice in a natural way.

针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题，在描述逻辑(description logics，DLs)上，将宣称型和过程型2种类型的目标描述有机地整合在一起，从而构建了具有清晰语义与可判定性的形式化框架--目标描述逻辑(goal description logics， GDLs)，在此基础上，定义了该框架下有关规划规则；建立了可用于判定目标一致性、目标可满足性的方法，与传统的目标描述方法相比，目标描述逻辑为主体领域模型提供了一种更有力的形式化工具，同时为智能主体的模型和设计提供了很好的理论工具。

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理论中有关程序语义的部分正确性模型，研究的重点是利用形式化技术和非形式化技术对程序代码进行逆向工程，以支持软件理解和维护。

Many methods for mapping XML to relations have been proposed without considering the semantics of XML data before. But the semantics is very important to design schemas for storage, optimize queries, and check update anomalies, etc. In the presence of XML FDs which are specified over DTDs, this paper presents a method based on the hybrid inlining to map XML to relations for storage.

有许多文章提出了根据DTD将XML映射成关系的方法，但都没有考虑XML的语义，而语义信息对数据存储模式设计、查询优化、更新异常检查等来说是十分重要的，如果在DTD上指定了XML的函数依赖，在映射到关系数据库中就需要将其考虑进去。

Modal situation semantics is a unified mathematics frame provided for the situation semantics by the logician in the term of the theory situation technology ..

模态情境语义学是逻辑学家依据情境技术的理论，希望为情境语义学提供的一个统一的数学框架。

When asked for a formal semantics of the formal semantics Milner's head explodes.

但是，如果有人向米尔纳询问"这个形式语义本身的形式语义"是什么，米尔纳的头就该炸了。

In addition, the possible world semantics of the classical normal modal operator can be regarded as the degradation of the improved twin-subset semantics when RIF=?

经典的正规模态算子的可能世界语义可以看成是改进的双子集语义当RIF？

Cynanchum Lingtai apricot production in the average weight 65 grams, the brightly-colored fruit, juicy rich, sweet-sour taste, sweet from the nucleolus, when the late Qing Dynasty famous Shaanxi, Gansu provinces, the Qing imperial court Tongzhi tribute for years.

灵台生产的牛心杏平均单果重65克，果实色泽鲜艳，汁多味浓，甜酸适口，离核仁甜，清末时就驰名陕、甘两省，清同治年间曾为朝廷贡品。

Chenopodium album,Solanum nigrum, and Amaranthus retroflexus were very susceptible to the herbicides. Polygonum persicaria and Abutilon theophrasti were relatively less susceptible to the herbicides, and Lycopersicon esculentum was not susceptible to it. The relationship between reduction rates of weed biomass and PPM values of weed leaves 2,4, and 6 days after treatment was established.

供试的6种杂草对该混剂的敏感性存在显著差异：红心藜Chenopodium album、龙葵Solanum nigrum和反枝苋Amaranthus retroflexus对该混剂最敏感，ED90值分别为47.65、71.67和29.17g/hm2；春蓼Polygonum persicaria和苘麻Abutilon theophrasti敏感，ED90值分别为96.91、114.20g/hm2；而番茄不敏感。