查询词典 axiomatic

In the twentieth century, David Hilbert employed axiomatic reasoning in his attempt to update Euclid and provide modern foundations of geometry.

古典文书允许在几何结构的指南针和直尺。

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语言。

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