查询词典 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.

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

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。