公理

Chapter 3 puts forward the networked manufacturing configuration modeling method of motor based on axiomatic design.

第三章提出了基于公理设计的电机产品网络化制造配置建模方法。

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

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

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

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

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

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是否为一个定理来验证系统是否具备该性质。

The new algorithm satisfies four axioms of grey incidence and is consistent with the fundamental idea of curves similarity of grey incidence analysis.

理论推导证明该方法符合灰关联四公理，体现了灰关联分析中衡量曲线相似性的基本思想。

Here, I will I am the secret behind the three axioms of thought and understanding to tell you.

下面，我将我对这三个公理背后的秘密的思考和理解告诉大家。

In Section 4, we establish the dependence axioms of poset matroids, which is one of our main results in this thesis.

第4节建立了偏序集拟阵的相关性公理，这是本文的主要结论之一。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。