查询词典 axiomatization

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进化论的公理系统；其次，讨论耗散结构理论和超循环论，实际上是讨论了关于进化论的演绎公理系统的一种语义或分子层次的模型。

The process of axiomatization of vector theory is also studied.

另外还简单介绍了向量的公理化过程。

The theory of quantum logic, which has developed during the course of the mathematical axiomatization of the quantum theory, is copious, with a history of 80 years.

量子逻辑是伴随着量子理论的数学公理化而发展起来的一种理论，有着80年的历史和丰富的内容。

In this section we present an axiomatization of NBG ( actually, two different ones, the second a refinement of the first ).

在本节中提供一个 NBG 的公理化(实际上有两个不同的公理化，第二个精致了第一个)。

The research methods adopted include axiomatization, psychological experiments, and computer simulations.

为了建构该理论，可以采用公理化、心理实验及计算机仿真等研究方法。

We present a complete axiomatization of ADL and discuss its application to knowledge representation in multicriteria decision analysis and social network analysis.

我们提出一种矢决策逻辑的公设化系统，证明其完备性，并展现其在多准则决策分析与社交网路分析上的应用。

In traditional population genetics, one important exception is the ability to develop a powerful axiomatization of the subject that does bear strong analogies to equation based theories of physics.

在传统的统计遗传学中，一个重要的例外是把主题内容公式化的能力，这种公式化确实具有与物理学理论类似的函数表述。

This is to be seen in the context of the axiomatization of the whole of pure mathematics , which went on in the period c.1900 c.1950: in principle all methods are on a common axiomatic footing.

笛卡儿的做法目前占主导地位，有几何的问题正在处理的工具，其他地区的数学和几何理论的相当开放和综合。

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

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

In the ordinary axiomatization of probability theory by means of measure theory , the problem is to construct a sigma-algebra of measurable subsets of the space of all functions, and then put a finite measure on it.

在普通公理化的概率论的方式衡量理论，问题是要建设一个六西格玛代数的可衡量的亚空间的所有功能，然后把有限的程度上它。用于这一目的的一个传统使用的方法称为柯尔莫哥洛夫延长。

According to the clear water experiment, aeration performance of the new equipment is good with high total oxygen transfer coefficient and oxygen utilization ratio.

曝气设备的动力效率在叶轮转速为120rpm～150rpm时取得最大值，此时氧利用率和充氧能力也具有较高值。

The environmental stability of that world - including its crushing pressures and icy darkness - means that some of its most famous inhabitants have survived for eons as evolutionary throwbacks, their bodies undergoing little change.

稳定的海底环境─包括能把人压扁的压力和冰冷的黑暗─意谓海底某些最知名的栖居生物已以演化返祖的样态活了万世，形体几无变化。