查询词典 axiomatization

When we teaches the Theory of Probability and Statistics, we must pay attention to the teaching of typical mathematical thinking, such as axiomatization thinking, matrix thinking, convergence according to probability, statistical deduction and so on.

在讲授《概率统计》时，要注重公理化思想、模型思想、依概率收敛、统计推断等典型思想方法的教学。

Recall that, in the Kolmogorov axiomatization, measurable sets are the sets which have a probability or, in other words, the sets corresponding to yes/no questions that have a probabilistic answer.

延期开工的Kolmogorov宣布要衡量所有套职能有限许多坐标限制在于衡量子寅。换句话说，如果是/否的问题回答f可看的价值观念在许多最有限坐标，然后它有一个概率的答案。

The economics methodology has formed a whole battery of analytical framework and tool under the influence of scientific philosophy, which is characterized by logic positivism, negativism and historical materialism. The fundamental characteristics of the economics methodology are based on the axiomatization positive logic deductive method, which assumes the rational human being as its hypothetic premise. The most remarkable characteristic of the economics methodology is the general application of mathematics in economics and it is developing forward to the more accurate and magnificent system.

特别是在以逻辑实证主义、证伪主义和历史主义为代表的科学哲学的影响下，经济学的方法论已经发展出一整套的分析框架与工具，基本特征是建立在"理性人"假设基础上的公理化的实证的逻辑演绎方法，最突出的表现是数学在经济学中的广泛应用，并正在向着更为精密与恢弘的体系演进。

Projection temporal logic ; axiomatization ; formal methods ; verification

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

Early in the 1950s, in algebraic topology, the concept of graded Hopf algebras was derived from an axiomatization of the works of H. Hopf relating to topological properties of Lie groups. Hence the name,'Hopf algebra'.

50年代初，H.Hopf在研究李群的拓扑性质这一代数拓扑领域的理论工作中引入了分次Hopf代数的概念，"Hopf代数"由此而得名。

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

Compare with the axiomatization of

比较于

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.

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