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

比较于

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数据流的质量检测。