首先，金融模型应避免过多的公理化。
First, financial models should avoid too much axiomatisation.
本文还讨论了属性论的公理化系统。
The axiom system on attribute theory is also discussed in this paper.
正是这三个原因造成了当时公理化方法传播的停滞。
These three reasons let the spread of axiomatic method stagnate for a long time.
理解塔尔斯基转向是理解公理化真理论的一把钥匙。
Understanding this turn is the key for understanding axiomatic theories of truth.
因此，没有正式的系统是一个真正的公理化充分一些理论。
Therefore no formal system is a true axiomatization of full number theory.
提出了基于公理化与知识驱动的产品CAD模型建立方法及实现技术。
The product CAD modeling and implementing technology based on the Axiomatic Design and knowledge driven are put forward.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
定义了模糊粗糙集合理的补运算，从而利用公理化方法构造出推广了的粗糙集代数。
With the definition about reasonable complement operation of the fuzzy rough set, a expanded rough set algebra is constructed by using the method of formula.
基于整个社会的视角，对水权交易效率进行公理化分析，为水权交易的深入研究奠定基础。
The efficiency of water rights distribution is discussed in the paper based on the whole society, which lays a foundation for further study of water rights trade.
建立基于公理化理论的废旧零部件可重用再设计过程模型，重点分析公理化概念再设计过程。
The redesign process model of used parts based on the axiomatic design theory is established and the conceptual redesign process for used parts is analyzed in details.
介绍了公理化设计理论基础，按公理化设计原理，设计公理为设计者提供一种设计指导框架。
The theoretical foundation of axiomatic design was introduced. In accordance with principle of axiomatic design, the designing axiom provided a kind of guiding framework for the designers.
再次，对凯尔逊思想中的公理化的倾向进行了分析，总结了凯尔逊的命令性规范的逻辑的思想。
Thirdly, the writer summarizes the notion of the logic of command-norm and argues that there is an axiomatic trend in Kelsen's thought.
依据包含度和贴近度的公理化定义，讨论了由包含度诱导的贴近度，给出了一些具体的诱导公式。
Based on the axiomatization definitions of subsethood measure and similarity measure, similarity measuer induced by subsethood measure is discussed, and some real induced formulas are given.
从成本分摊的公理化性质出发，建立了共同配送成本分摊模型——基于权重的群体不满意度函数。
The model of cost allocation—group unsatisfaction function based on weight—is formulated from axiomatic principles.
到了十九世纪末，数学家开始从众多不同的具体研究对象中抽象出它们的共同特征进行公理化研究。
By the late nineteenth century, mathematicians began to conduct axiomatic study through abstracting the common features of a number of different concrete objects.
最后，对提出的自适应交叉概率和自适应变异概率利用遗传算法的公理化理论进行了收敛性的证明。
We proved the convergence of GA which we proposed adaptive fitness functions, adaptive crossover probability and adaptive mutation probability.
以《几何原本》为代表的欧氏几何是古希腊文明的一个火车头，是古代数学公理化方法的一个辉煌成就。
Euclidean geometry is not only the leader of the civilization of ancient Greek but also the brilliant achievements of axiomatic approach in mathematics.
公理化设计是设计领域的通用性设计理论，它以四个域和两条设计公理抽象地概括设计领域的基本规律。
Axiomatic design is a general design theory in the design field, using the four domains and two design axioms it generalizes abstractly basic role of design field.
“语句观”把一个理论看成是一个语句系统，而“谓词观”通常是指定义一个集合式谓词来对理论公理化。
The "sentence view" regards a theory as a sentence system, while the "predicate view" usually refers to the approach that axiomatizes a theory by defining a collective predicate.
首先系统地给出了直观模糊集的熵、距离测度和相似测度的公理化定义，并讨论了它们之间的一些基本关系。
The axiom definitions of entropy, distance measure and similarity measure of intuitionistic fuzzy sets are systematically given and basic relations between these measures are discussed.
提出了基于公理化设计理论的供应链设计方法，降低了供应链设计的复杂性，给出并分析了供应链设计步骤。
Design method and design steps of supply chain based-on axiomatic design are presented. The designing complexity is reduced.
XML数据库计划的公理化演进指的是当该计划产生根本的变动时，XML数据库能自动维持其数据的完整性。
Axiomatizing evolution of XML database project refers to that XML database can maintain the integrity of data automatically when radical changes happen to the project.
本文提出了一种针对兼容式自动制造系统进行设计的方法，即基于公理化设计理论的面向对象的虚拟造型的方法。
This article refers to a design method of compatible automatic manufacture system, which is a method of orientation object and virtual sculpture based on axiomatic design theory.
本文提出了一种针对兼容式自动制造系统进行设计的方法，即基于公理化设计理论的面向对象的虚拟造型的方法。
This article refers to a design method of compatible automatic manufacture system, which is a method of orientation object and virtual sculpture based on axiomatic design theory.
应用推荐