公理化

基本解释 (translations)

axiomatization

与公理化相关的网络例句 [注：此内容来源于网络，仅供参考]

Aiming at these disadvantages, the framework model of axiomatic design method based on modified function-means tree was presented.

针对公理化设计中存在的不足，提出基于改进型功能方法树的公理化设计方法的框架模型：以设计知识库为基础，建立改进型功能方法树，并以此为依据促成公理化设计的功能需求与设计参数的分解与映射，实现公理设计中功能与结构的同步演化；最后，通过自动化糖果包装机设计为例验证了该方法的可行性。

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画。

As we all known, with the founding of Euclidean geometry in ancient Greece, with the development of analytic geometry and other kinds of geometries, with F.Kline" s Erlanger program in 1872 and the new developments of geometry in 20th century such as topology and so on, man has developed their understand of geometry. On the other hand, Euclid formed geometry as a deductive system by using axiomatic theory for the first time. The content and method of geometry have dramatically changed, but the geometry curriculum has not changed correspondingly until the first strike from Kline and Perry" s appealing.

纵观几何学发展的历史，可以称得上波澜壮阔：一方面，从古希腊时代的欧氏综合几何，到近代解析几何等多种几何的发展，以及用变换的方法处理几何的埃尔朗根纲领，到20世纪拓扑学、高维空间理论等几何学的新发展，这一切都在不断丰富人们对几何学的认识；另一方面，从欧几里得第一次使用公理化方法把几何学组织成一个逻辑演绎体系，到罗巴切夫斯基非欧几何的发现，以及希尔伯特形式公理体系的建立，极大地发展了公理化思想方法，不管是几何学的内容还是方法都发生了质的飞跃。

Axiomatic Design as one of scientific product design methods has been widely used in developed countries.

公理化设计作为一种科学的产品设计方法，在欧美日等国家受到高度重视并得到了迅速发展，于2000年6月在剑桥召开了第一届公理化设计国际研讨会。

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 .

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

In this section we present an axiomatization of NBG ( actually, two different ones, the second a refinement of the first ).

在本节中提供一个 NBG 的公理化(实际上有两个不同的公理化，第二个精致了第一个)。

Although the axiomatize of set theory dispels the crisis of axiomatizing in some time.

虽然集合论的公理化一度时期曾化解了悖论给公理化方法所带来的危机，但不久哥德尔不完全性定理就深刻地揭露了公理化方法不可避免的局限性。

An axiom definition of similarity measure based on Li's related works, which constrains the necessary conditions of a similarity measure, is proposed. Then two new methods are introduced, and proved to satisfy the axiom defined above. Finally, an example of their application to pattern recognition is given.

在Li(2003)的相关工作之上提出一种改进的Vague集相似度量公理化定义，指出一个相似度量必须满足的约束条件，然后引人两种新Vague集相似度量方法，并证明它们满足这些公理化条件，最后给出一个它们在模式识别的应用实例。

By the cognition and assurance of axiomsystem viewpoint and its characteristics in the "The Thirteen Books of Euclid's Ecements",guided by the courses' standards,the idea and approach of axiomsystem viewpoint were extended through the education of plane geometry,in order to accomplish the task of plane geometry's teaching,which is beneficial to the improving of one's quality and following-up's development.

通过对Euclid《几何原本》公理化系统观点及其特点的认识与把握，在课程标准的指导下，以平面几何教育来推广公理化系统观点的思想方法，以完成平面几何教学任务，以利于其自身素质的提高及后续的发展。

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作&细精度&的语义刻画。

与公理化相关的网络解释 [注：此内容来源于网络，仅供参考]

axiomatic set theory：公理化的集合论

公理式的方法;公设式的方法 axiomatic method | 公理化的集合论 axiomatic set theory | 公理系统;公理学 axiomatics

axiomatic set theory：公理化集合论

公理方法|axiomatic method | 公理化集合论|axiomatic set theory | 公理化理论|axiomatic theory

axiomatic semantics：公理化语义

axiom scheme 公理模式 | axiomatic semantics 公理化语义 | b box 基址寄存器

axiomatic development：公理化发展

axiom 设想 | axiomatic development 公理化发展 | axiomatics 公理学

Axiomatic Theories：公理化理论

阿弗奇一约翰逊效应 Averch-Johnson effect | 公理化理论 Axiomatic Theories | 交割延期费 Backwardation

axiomatization：公理化

由於>非常成 功地建立了几何学的公理系统,它不仅成为西方以后二千多年的几何学教科书,而且更成为其他学科公理化( Axiomatization)的楷模.

axiomatize：公理化

axiomatization 公理化 | axiomatize 公理化 | axioms of congruence 叠合公理

axiomatize：使公理化

axiomatics | 公理体系 公理学 | axiomatize | 使公理化 | axis based error | 轴线误差

axiomatic quantum theory：公理化量子理论

axiom 公理 | axiomatic quantum theory 公理化量子理论 | Axis 轴

finitely axiomatizable：有限可公理化

可公理化 axiomatizable | 有限可公理化 finitely axiomatizable | 同构 isomorphism