公理系统

Finally, an example is given to illustrate how to do system verification based on FPTL and its axiomatic system.

最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用。

The axiomatic system in Pawlak rough approximation space is studied by use of matrix expression of fuzzy relation and its operation.

利用模糊关系及其运算的矩阵表示，建立Pawlak粗近似空间的公理体系，该公理系统由三条相互独立的非常简洁的表达式构成。

The most important development in mathematical logic for the philosophy of mathematics was Godel's proof that any axiomatic system powerful enough to formalise arithmetic will be incomplete in the sense that there will be truths which are not provable within the system.

数理逻辑中最重要的数学哲学的发展是哥德尔的证明，任何公理系统足够强大以正式算术将在这个意义上不完全会有真理不属于系统内证明的。

In this paper, an axiomatic system for the definition of degree of greyness of grey number is built based on discussion with two definitions of degree of greyness of grey number which have been put forward in the past.

基于对已有的几种灰数灰度定义的讨论，建立了灰数灰度定义的公理系统；以灰数灰度定义公理为准绳，由灰数产生的背景或论域及灰数取数域的测度构造出一种新的灰数灰度定义式。

Therefore, this chapter, in the first place, discusses the axiomatization of theory ofevolution and introduce in detail Williams' axiomatic system about evolution. Insecond place, it discusses the dissipative theory and the hypercycle theory. Thisdiscussion is actually about a kind of semantic which is the molecular model.

因此，在这一章，首先，对进化理论的公理化形式进行讨论，详细介绍了Williams进化论的公理系统；其次，讨论耗散结构理论和超循环论，实际上是讨论了关于进化论的演绎公理系统的一种语义或分子层次的模型。

Hence, the dissipativetheory and the hypercycle theory attempt to construct a substantialistic model ofundermost hierarchy which can satisfy axiomatic system of evolution, that is it isa molecular system which can proceed self-replication or autoreplication.

因而，耗散结构和超循环论，给出的是满足进化公理系统的最低层次实体模型（能够进行自我复制的分子系统）的分子演化过程的动力学描述。

An axiomatization of the object calculus as an extension of the axiom system of the trace calculus is also contributed in this paper.

作为逻辑系统，文章还讨论了对象演算的公理化，它是Trace演算公理系统的扩充。

A general model supporting the most commonly used scheduling algorithms for multi-core CPU is constructed by a PTL formula S, and the desired property of the system is described by a PTL formula F, then whether the system possesses the property can be identified by proving whether or not S implying P is a theorem based on the axiomatization of PTL.

使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S，并将系统期望的性质描述为PTL公式P，在PTL公理系统的基础上，通过证明S蕴含P是否为一个定理来验证系统是否具备该性质。

Firstly, we propose an axiom system by a language of two rank and some axioms.

首先建立了一个RBAC的二阶语言，与一组公理形成了一个公理系统。

After proposing a data model of unordered node labeled tree for XML databases,this paper defines a functional dependency among XML subtrees.In addition,an axiom system to infer functional dependency is given.Moreover,the soundness is proven.

在无序的结点标记树数据模型上定义了XML子树间的函数依赖，并且给出了一套公理系统用来推导函数依赖，以解决函数依赖的蕴涵问题，最后证明了该公理系统是合理的。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。