查询词典 axiomatic method

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.

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

Therefore, a method integrating axiomatic design and TRIZ is proposed.

提出了集成公理化设计理论与TRIZ解决设计问题的一种方法。

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

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

Index ; assessment ; axiomatic method ; formalization

指数；测验；公理方法；形式化

"Intuitionists reject ed certain concepts of logic and the notion that the axiomatic method would suffice to explain all of mathematics, instead seeing mathematics as an intellectual activity dealing with mental constructions independent of language and any external reality."

直觉主义否认某些逻辑概念，公理方法的注释已经足够解释数学的全部，而不把数学看作是处理与语言和任何外部现实无关的思想构造的一种智力活动。

Key Words: Axiomatic method; Elements; the idea of all western knowledge originate from China; logic; spread

搜索词汇；公理化；几何原本；西学中源；逻辑；传播

Based on the new theories developed in biology,the basic theoreticalproblems of the genetic algorithm,which are the representation scheme,co-nvergence and convergence rates of the genetic algorithms,etc.,are discussedwith Boolean algebra,group theory,martingale theory and axiomatic method inthe framework of the Markov chain.

本文以生物学发展的新理论为背景，在遗传算法的Markov链框架下运用Boole代数、群、鞅及公理化方法研究遗传算法的表示、收敛性与收敛速度等基本理论问题。

Based on the overview of current researchin thinking science, this paper presents the MT concept and a new design method calledPCIDBMT which is different from the conventional design theories such as axiomatic designtheory, extension design method and TRIZ technique,.etc.

与公理设计、可拓设计、TRIZ等传统设计理论不同，论文根据现有思维科学研究成果提出了复合思维概念和基于复合思维的产品色彩智能设计技术。

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.

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

Finally, a twophase model of residual claim assignment is set up. The ShapleyShubik method and the serial pricing are used in the two phases respectively. This method is proved to be justice and efficient. residual claim ; axiomatic distribution theory ; two_phase assignment ; Shapley_Shubik method ; serial pricing

但股份有限公司作为占主导地位的公司形式，在其所有权结构中，剩余索取权与剩余控制权却并不对应：1公司的大股东(在我国主要是国家股、法人股)掌握有企业的最终控制权，同时承担了较大的风险，研究表明，股份的集中

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。