公理方法

在程序验证领域，Hoare公理方法与Dijkstra最弱前置谓词方法是最为杰出的，这两个方法系统的基点是各自定义的语言系统，然后根据各自的方法寻求语言系统的语义。

In the field of program verification , Hoare axiomatic method and the Dijkstra weakest pre-verb is the most outstanding of these two methods is their point system , the definition of the language system , and then find their way to the semantics of the language system .

论优化问题的公理方法（Ⅴ）&优化集合的代数表达式

Axiomatic method to optimization problems (ⅴ)── an algebraic expression of optimizing sets

论优化问题的公理方法（Ⅳ）&有限改进算法与迭代算法

Axiomatic method to optimization problems (ⅳ)── finite improvement algorithms and iterated algorithm

论公理方法在科学认识中的作用

On Function Axiomatic Method in Process of Scientific Cognition

公理方法及其作用

Axiomatic method and its function

本文用公理方法建立了三个有限改进算法及一个迭代算法。

By using the axiom method , three finite improvement algorithms and an integral algorithm are established .

但借鉴公理方法可能的积极方面，可以在一定程度上增强我们自身的理论性。

This essay explores to strengthen our theoretical awareness to a certain extent with reference to the possible positive aspects of the axion methodology .

公理方法是一种源于几何的数学方法。其突出的特点，使之很快就成为一种运用广泛的科学方法。

The axiomatic method is a mathematics method from geometry , owing to the outstanding characteristic , it is getting a scientific method used extensively .

2002年，刘宝碇建立了信赖性理论（TrustTheory），信赖性理论是以公理化方法研究粗糙变量性质及其应用的理论。

In 2002 , Trust theory was built by Baoding Liu . Trust theory is a branch of mathematics that studies the behavior of rough events .

基于PDE的图像复原分为变分和公理化方法，本文改进了其中的三种常用框架，并研究其扩散系数问题。

PDE-based image restoration methods were divided two kinds : axiomatic approach and variational Approach .

本文利用非光滑分析理论，采用公理化方法研究了非光滑情形下的动态协商对策问题，给出其Nash协商解的必要条件，并给予了严格的数学证明。

In this paper , dynamic nonsmooth bargaining problem is considered through an axiomatic approach in detail . Necessary condition for its Nash bargaining solution is established by the theory of nonsmooth analysis , and the strict mathematical proof is given .

模糊假言推理公理及方法的研究

A Research into Fuzzy Hypothetical Inference Axion and Its Method

本文基于公理设计方法探讨如何从模块化的设计角度来研究和提高产品的可适应性。

This dissertation focuses on how to improve the adaptability of product with modularization .

论公理化方法及其沿革

On the Method and Procedure of Axiom

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

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

论数学中的公理化方法

Discuss the Axioms Method of Mathematical

公理化方法的会计学应用：会计基本理论的解构与重构

The Accounting Application of the Axiomatic Method : the Destruction and Reconstruction of the Accounting Basic Theory

公理化方法是演绎科学方法，但其基本精神早已渗透到经验科学之中。

Axiomatics is a scientific approach of deduction whose essential principles have already been penetrated into empirical sciences .

在形成理论方面，西医采取公理化方法，而中医则采取思维模型方法。

In the aspect of forming theories , WM adopts axiomatic ways , while TCM adopts methods of thought models .

论文的特色之一就是结合了集合论、分析学以及公理化方法等背景。

The combination of set theory , analysis and the axiomatic method is one of the features of this study .

尽管古代西方科学中公理化方法和实验初具雏型，但亦不是近代意义上的科学。

Despite the axiom method and experiment of ancient western science had the embryonic form , but it was still not modern history science .

以《几何原本》为代表的欧氏几何是古希腊文明的一个火车头，是古代数学公理化方法的一个辉煌成就。

Euclidean geometry is not only the leader of the civilization of ancient Greek but also the brilliant achievements of axiomatic approach in mathematics .

为了克服当前软件设计开发周期长、维护困难等缺点，文章将公理设计方法和面向对象的软件设计方法相结合，提出了公理设计&面向对象的软件设计方法。

To overcome long development period and difficulty of maintenance in current software development , Axiomatic Design and the Object-Oriented technology were combined , and a object-oriented designing method-axiomatic design was put forward .

数学的人文素质教育功能表现在三个方面：第一，数学中的抽象化意识、逻辑推理和公理化方法培养着人的理性思维品格和思辩能力；

The education function of spirit quality in mathematics has three aspects : First , the consciousness of abstraction in mathematics logical reasoning and the method of axiom can train a person 's thinking character and the dialectical ability ;

文章简要介绍了欧氏几何及其公理化方法，并从文化的角度对其进行分析，探讨了欧氏几何的人文价值，美学价值和应用价值。

First of all , Euclidean geometry and its axiomatic approach are introduced in brief . Then , Euclidean geometry is analyzed from point of view of culture and its human value , aesthetic value and applied value are discussed .

随后，基于评价的系统分析，首次将公理化方法引入基础评价理论的构建研究并阐述了可行性，提出了基础评价理论的公理化理论框架与构建思路。

Objective evidences are provided for theoretical research . Subsequently , based on system analysis of evaluation , axiomatic method is introduced into the construction of foundational theory of evaluation for the first time . The feasibility study is made .

应用公理设计方法对闸阀结构进行了分解，利用公理1对现有的闸阀结构进行合理性分析，并提出了一种基于公理设计的闸阀部件设计顺序。

Using the axiomatic design method , the structure of valve is decomposed and its rationality is analyzed according to the Axiom 1 . Then the design sequence of the valve components based on the axiomatic design is put up .

在饱和土连续介质模型的基础上，考虑了土体固结过程中的变质量效应，基于连续介质力学公理化方法，较严格地建立了饱和土连续介质固结理论的基本框架。

Based on the continuum model of saturated soils and the axiomatization methods in classic continuum mechanics , a mathematical framework of continuum consolidation theory ( CCT ) taking into account of variable-mass effect during consolidation process is presented in this paper .

在公理化方法中，用公理形式定义了粗糙模糊近似算子，各种类型的粗糙模糊集代数可以被各种不同的公理集所刻画。

Different classes of rough fuzzy set algebra are obtained from different types of binary crisp relations . In the axiomatic approach , one defines a pair of dual rough fuzzy approximation operators and states that axioms must be satisfied by the operators .

以新古典自由竞争理念为基础的人力资本投资均衡理论，集中研究了人力资本动态投资过程中的自动收敛特征，并且提供了一种分析人力资本动态投资行为的公理化方法。

Based on Neoclassic laissez faire ideology , the theory of dynamic equilibrium in human capital investment focused on studying the characteristic of automatic " convergence " of dynamic investment in human capital , and has provided a axiomatic method analysing dynamic investment behavior in human capital .