本文用公理方法建立了三个有限改进算法及一个迭代算法。
By using the axiom method, three finite improvement algorithms and an integral algorithm are established.
公理方法是一种源于几何的数学方法。其突出的特点，使之很快就成为一种运用广泛的科学方法。
The axiomatic method is a mathematics method from geometry, owing to the outstanding characteristic, it is getting a scientific method used extensively.
功夫的方法并不包含了“强权即公理”。
分析化学的基本规律通常被作为一笔化学制品和物理基础提出，分析的方法和程序的法律，公理和方程序。
Fundamentals of analytical Chemistry are usually presented as a sum of chemical and physical foundations, laws, axioms and equations for analytical methods and procedures.
本文介绍了泛布尔代数的数学模型、公理体系和化简方法；
This paper introduces the mathematics model, axiom system and simplified method of the Panboolean alegara.
在基于与给定查询相关的事实与公理的基础上，给出了演绎数据库的一个产生式推理方法。
A method for query evaluation in deductive databases is presented, based on discovery of axioms and facts relevant to given query.
正是这三个原因造成了当时公理化方法传播的停滞。
These three reasons let the spread of axiomatic method stagnate for a long time.
我们都学习过，欧几里得几何中对勾股定理的证明方法，从繁杂的欧氏几何的公理开始，邦，邦邦，邦邦，邦邦。
And we learned how to prove the Pythagorean Theorem in Euclidean geometry, starting with the various axioms in Euclidean geometry, ba, ba-ba, ba-ba, ba-ba, ba bum.
定义了模糊粗糙集合理的补运算，从而利用公理化方法构造出推广了的粗糙集代数。
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.
本文提出了一种针对兼容式自动制造系统进行设计的方法，即基于公理化设计理论的面向对象的虚拟造型的方法。
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.
第三章提出了基于公理设计的电机产品网络化制造配置建模方法。
Chapter 3 puts forward the networked manufacturing configuration modeling method of motor based on axiomatic design.
以《几何原本》为代表的欧氏几何是古希腊文明的一个火车头，是古代数学公理化方法的一个辉煌成就。
Euclidean geometry is not only the leader of the civilization of ancient Greek but also the brilliant achievements of axiomatic approach in mathematics.
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
提出了基于公理化与知识驱动的产品CAD模型建立方法及实现技术。
The product CAD modeling and implementing technology based on the Axiomatic Design and knowledge driven are put forward.
柏拉图方法以普遍可以被人接受的概念和公理为出发点，建立一个许多未被定义的具有逻辑连贯性的科学描述。
The Platonic approach starts from generally accepted concepts and global ideas of the world. They constitute a coherent picture in which many details are undefined.
主要研究方法有历史学方法、现象学方法、符号学方法，并可辅以社会学方法、公理学方法等。
The main research approach has history method, phenomenon method, Semiology method, and the sociology method, generally acknowledged truth etc.
提出了基于公理化设计理论的供应链设计方法，降低了供应链设计的复杂性，给出并分析了供应链设计步骤。
Design method and design steps of supply chain based-on axiomatic design are presented. The designing complexity is reduced.
解决副作用问题时采用语义方法，引入场景的概念解释意图算子，并提出了新的公理。
When resolving side effect problem, the theory introduces the concept of scenario to interpret the semantic meaning of intention operator and USES new inference rules to replace the old ones.
模块化是优化本体推理的一种有效手段，提出了一种针对推理的模块提取方法，该方法通过分析符号解释域的边界与公理之间的关系计算出基于边界的模块。
The proposed module extraction method is capable of identifying relevant axioms in an ontology based on the notion of boundaries of symbols, with respect to a given reasoning task.
它的本质在于用形式逻辑的方法处理辩证逻辑问题。本文指出逻辑循环和所谓“逆演绎”在建立公理系统中的合理性。
The paper points to the justification of the logic cycle and so called "anti-deduction" in the establishment of a axiomatical system.
本文探讨了将ORM模型映射为OWL2公理的方法，通过 模型等价变换和引入新的公理，给出了所有可行的 模型映射规则。
The model translation principle and method from ORM to OWL 2 was discussed, and all feasible mapping rules are presented by model transforming and introducing new axioms.
本文探讨了将ORM模型映射为OWL2公理的方法，通过 模型等价变换和引入新的公理，给出了所有可行的 模型映射规则。
The model translation principle and method from ORM to OWL 2 was discussed, and all feasible mapping rules are presented by model transforming and introducing new axioms.
应用推荐