公理系统

"A theorem within such a system is a formula capable of proof through a finite sequence of well-formed formulas, each of which either is an axiom or is validly inferred from earlier formulas."

在这样的系统中，一条定理即是可以通过合式公式的有限序列加以证明的一个公式，这些合式公式中的每一个公式不是公理，就是从前面公式可以推得的公式

A definition of "Kernel" is given first. Algorithm axioms, algorithm rules of interval grey numbers and new algebraic systems are built based on the "Kernel" and the degree of greyness of grey numbers. And the properties of the algorithm are studied.

首先给出了灰数"核"的定义，基于"核"和灰数灰度建立了区间灰数运算公理、运算法则和新的灰代数系统，并研究了运算性质。

In§1.2, after some necessary preparation on dynamical systems, we introduce the concepts of hyperbolicity and Axiom A for flows.

在§1.2中，在介绍了一些动力系统的必要知识后，我们对流引入了双曲性与公理A的概念，并且不加证明地罗列了一些与此有关的结果。

Finally,by applying a ran-dom version of Kifer's large deviation theorem and the volume lemma,we prove thelevel-1 LDT for randomly perturbed Axiom A attractors of diffeomorphisms withrespect to the Lebesgue measure.

最后，利用Kifer的大偏差定理的随机版本和体积引理，我们证明了微分同胚的公理A吸引子的随机扰动系统相对Lebesgue测度的level-1 LDT。

The system of government and religious beliefs of a Protestant denomination in which each member church is self-governing.

公理主义一种政府和新教信仰的系统，其中每个教堂都是独立自制的

Computational synthetic geometry is now a branch of computer algebra .

相反，这种办法对于几何作为一个封闭的系统，最终在Hilbert的公理，被视为重要的教学价值，最现代的几何形状是一个风格。

Generally, the set of temporal types that can be processed by a system and involved in lots of applications, meet totally ordered relation, and the set of TFDs with a totally ordered set of temporal types is closely related to the Armstrong axioms of traditional functional dependencies.

一般来说，系统所能处理的和相当多的应用所涉及到的时态类型集满足全序关系，并且具有全序时态类型集的TFD集的推导规则与传统函数依赖的Armstrong公理有着紧密的联系。

Based on some related concepts of shock disturbed system, weakening buffer operators with variable weights and strengthening ones with variable weights are established respectively. This subject defines buffer operator regulation degree which reflects effect strength to original sequence caused by buffer operator, and also studie the relationship between buffer operator regulation degree and variable weight. Consequently, the monotonicity nonvariable axim of buffer operator is put forward.

基于冲击扰动系统的相关概念，提出了变权缓冲算子的概念，分别构造了变权弱化缓冲算子和变权强化缓冲算子，定义了缓冲算子调节度来反映缓冲算子对原始序列的作用强度，并研究了缓冲算子调节度与可变权重之间的关系，在此基础上提出了缓冲算子的单调性不变公理。

Axiomatic design theory provides an inst ructional f rame for the design of multi2part integration assemblage composed of multi2robot s and automatic weld system.

公理设计理论为由多机器人组成的多零部件集成装配与自动焊接系统的设计提供了一种指导性的框架。

Our model considered in the first part isthe deterministic dynamical system generated by Axiom A endomorphisms.

第一部分考虑的模型是由公理A自映射生成的确定性动力系统。

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.

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