公理系统

The fuzzy set theory is a rapidly growing branch of applied mathematics whereas the Boolean-valued model is a nonstandard model of the axiomatic set theory.

在文献[1]中我们曾引进正规弗晰集合结构的概念，这种正规弗晰集合结构是对弗晰集合论的一种本质的刻划与推广；在文献[1]中还证明了任一正规弗晰集合结构都是带本元的集合论公理系统ZFa的一个布尔值模型。

The research on rough set axiomatic system plays an important role in the rough set theory and its applications.

粗糙集合理论是一种新的有效处理不精确、不确定、含糊信息的理论，粗集公理系统研究是粗集理论及应用研究的基础。

In an axiomatic system, the primitive symbols are undefined and all other symbols are defined in terms of them.

在任何公理系统中，基设符号都是不下定义的，其它所有符号都藉基设符号来界定。

Some conceptions and the axiomatics of the buffer operator are developed and the characteristic of the buffer operator is studied.

建立了缓冲算子的概念和公理系统；研究了缓冲算子的特性；构造了若干具有普遍意义的实用弱化算子与强化算子。

The chapter 5, The Deductive Axiomatics of Theory of Evolution andSelf-organization Theory, proposes that the description which transfer thefunctional statements about phenomena of life into causal statements eventuallyinvolves theories about evolution.

第5章"进化论的演绎公理系统和自组织理论"中提出，把关于生命现象的功能性描述或目的性描述转换为因果性描述，最终要涉及到进化的理论。

To verify the properties of the concurrent and reactive systems based on the theorem proving approach, an axiomatization is formulized for the first order projection temporal logic.

为了采用定理证明的方法对并发及交互式系统进行验证，提出了一阶投影时序逻辑的公理系统。

Projection temporal logic ; axiomatization ; formal methods ; verification

投影时序逻辑；公理系统；形式化方法；验证

Fourthly, my paper proposes a new axiom system, which is made from forty axioms and two rules.

第四，本文提出了新的认证逻辑公理系统。

For the characteristics of Tea Pest domain knowledge, we use a method which combines a classification method based on the biology with a complete axiom system. Tea Pest domain ontology which is built in this method can not only reveal the clear hierarchy structure of knowledge, but also have a well application in the retrieval and reasoning of diagnosis system.

针对茶虫害领域知识的特点，本文采用生物分类法与完整的公理系统相结合的方法，清晰的体现了茶虫害领域知识的层次结构，并且有利于本体在诊断系统中的检索、推理等应用。

These unions, the germ of the congregational system which developed later on, deserve a somewhat detailed enumeration here.

这些工会，胚芽的公理系统的开发之后，应该有一个比较详细列举在这里。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。