查询词典 axiomatic

Axiomatic set theory is a rigorous axiomatic theory developed in response to the discovery of serious flaws (such as Russell's paradox ) in naive set theory.

公理化集理论是一种严格的不言自明的理论发展的反应，发现严重缺陷在天真集理论。

But things develop in the opposite direction when axiomatic system is extremely perfect and the limitation is bigger. This will offer a chance for scientific revolution and lead to changes in axiomatic system.

但事与愿违，越是形式化的公理体系发现其理论的局限越大，出现矛盾的可能性越大，这就为科学理论变革，即公理体系的变换提供了契机，也就是提出了新的科学问题，使科学认识进入到一个新的境界。

It is undoubtedly result of scientific theory systematization. When axiomatic system reaches a fairly perfect stage, theorists hope axiomatic system more abundant by formalization method.

当公理体系达到相当完善的阶段后，理论家们往往希望用形式化的方法使公理体系更精致，推理能力更强，更能发挥科学理论的认识功能。

In the aspect of forming theories, WM adopts axiomatic ways, while TCM adopts methods of thought models. Therefore, from the methodology of general science, we believe that the chief characteristic of WM is the axiomatic logical deduction adding experimenting system.

因此从一般科学方法论上看，西医总的特征是公理化的逻辑推演加实验系统，中医总的特征是取象比类的思维模型加经验系统。

With regards to this , some implement problems are studied in detail so as to make contributions to the study of Axiomatic Design theory and application on the basis of existing studies of Axiomatic Design .

本论文在总结已有研究成果的基础上，着重在产品公理化实施的设计理论及应用方面进行了研究，以完善公理化的设计理论及应用研究。

A general or abstract concept or term considered absolute or axiomatic .

一般概念普遍的或抽象的概念或术语，认为是绝对的或自明的

A general or abstract concept or term considered absolute or axiomatic.

一般概念普遍的抽象的概念术语，认为是绝对的自明的

Perhaps even more striking than the advent of these ideas has been the acceptance of the axiomatic conceptual method of abstract algebra and its pervading influence throughout mathematics.

或许比这些新方法的引入更为引人注目的是抽象代数的公理化、概念化的方法以及其对整个数学学科的深远影响。

Another approach is to prove connections with alternate formal semantics independently developed, such as the axiomatic semantics that underline tools for deductive verification of programs (see Appel and Blazy2 for an example).

另外一种方式是证明与其他独立开发的、诸如程序证明推导工具所基于的公理语义（如Appel and Blazy[2]）等形式语义的关系。

These three reasons let the spread of axiomatic method stagnate for a long time.

正是这三个原因造成了当时公理化方法传播的停滞。

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