查询词典 axiomatic system

This article aims to make "four-color problem" proved to be more axiomatic, systematic, rigorous and scientific.

本文宗旨在于使"4色问题"的证明更公理化、系统化、严密化和科学化。

This paper analyzes Philo' s argument on free will and sin, elaborates why Divine Being could become the source of axiomatic self-deception, and indicates contributions from Hebrew and Hellenism on this topic.

该文分析了希腊化犹太教思想家斐洛对自由意志和罪的阐释，着重论述了自由意志作为神圣性的存在原理何以成为罪的自明性自欺的根源，进而指出了希伯来和希腊传统在这个理论上的各自贡献。

The secular - scientific understanding of the origin and development of the world along the evolutionary Darwinian model was accepted as axiomatic, and the liberal understanding of the movement of history along general historicist lines was not radically questioned.

世俗-科学的理解的起源和发展的世界沿著达尔文的进化模式被接受为不言自明的，和自由的理解运动的历史以及历史主义线一般不从根本上提出质疑。

Process Failure Mode and Effects Analysis ; Relationship Matrix ; Axiomatic Design ; Product Design Quality ; Power Supply Design

制程失效模式与效应分析；关联矩阵；公理设计；产品设计品质；电源供应器

Metamathematics is the fascinating study of what the limits are on math itself: the intrinsic capabilities of our formal models, proofs, axiomatic systems, and representations of rules, information, and computation.

对数学本身的研究就是无止境而且令人着迷的：构造形式模型本质的能力，证明，自明的系统，规则表示，信息，和计算。

Metamathematics is the fascinating study of what the limits are on math itself: the intrinsic capabilities of our formal models, proofs, axiomatic systems, andrepresentations of rules, information, and computation.

对数学本身的研究就是无止境而且令人着迷的：构造形式模型本质的能力，证明，自明的系统，规则表示，信息，和计算。

Metamathematics is the fascinating study ofwhat the limits are on math itself: the intrinsic capabilitiesof our formal models, proofs, axiomatic systems, and representationsof rules, information, and computation.

对数学本身的研究就是无止境而且令人着迷的：构造形式模型本质的能力，证实，自明的系统，规则表示，信息，和计算。

Actually, CHINAPAY the metaphrase of name of this one English is " China pays ", its market target not character is axiomatic.

实际上，CHINAPAY这一英文名的直译就是"中国支付"，其市场目标不言自明。

We develop and market AMPC (Axiomatic Multi-Platform C).

我们开发和销售通则多平台C语言。

In the first part, firstly, we introduce the nonstandard analysis theory simply. Using the axioms in nonstandard analysis, the nonstandard model is axiomatic approached, and the existence of nonstandard model and the consistence of axioms in nonstandard analysis are proved by the construction of nonstandard model. Secondly, some properties of nonstandard model are discussed, such as transitivity, Boolean properties, etc. Finally, Loeb measure spaceY,L

在第一部分里，首先对非标准分析理论进行了简单的概述，通过用非标准理论中的公理，给出了非标准模型，进而利用非标准模型的构造，证明了非标准模型的存在性和非标准模型中公理的一致性；其次，讨论了非标准模型的一些简单性质，如传递性，布尔代数运算性质等；最后，在内测度空间Y，

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