On similarities and differences of axiom and hypothesis;
公理与假说异同论——兼论数学科学与教育的特殊性
The Equivalence on the Axiom Systems for A Linear Space;
“线性空间”公理系统的等价性
Studying plan of axiomatizing theoretical system of Mao Zedong Thought;
毛泽东思想公理化理论体系论纲
In this paper, the connectivity (completeness) axiom and the continuity axiom in Von Neumann Morgenstern Rational behavior axioms are weakened.
根据偏好关系所具有的格序特征 ,将VonNeumann Morgenstern理性行为公理体系中的连通性 (完全性 )公理弱化为格连通性公理 ,并相应地弱化连续性公理 ,得到了一集能更为合理地描述具有“有限理性”的决策行为的格序决策行为公理体系 ,构造并证明了在格序决策行为公理体系之下 ,(线性 )效用函数的存在惟一性定
Axioms base are used in consistency checking and knowledge reasoning which solve the problems of information sharing and interoperability in semant.
对城市交通领域知识进行规范描述,详细描述了定义类层次及类的属性和关系,以及实例的基本规则,并从领域知识中提取出类内公理和类间公理,建立公理库,用于领域知识的一致性分析和知识推理。
Here is a comprehensive discussion of the relationship between the axioms in the defintion of the vector space.
讨论线性空间定义中 8条公理之间的关系 ,给出公理 1的一个充分条件和公理 5的两个等价条件 ,证明公理 6与公理 8在有理数域上是等价的 ,因此它们在有理数域上不独立 ;给出所有只满足 8条公理中部分公理的四元组(V ,P , , )的例子 ,特别是构造了一个例子来说明公理 8在复数域上是独立的以及说明公理 1 ,8不成立和说明公理 1 ,6 ,8不成立的例
The Development of Punching Unit for Automobile Profile Based on the Axiomatic Design;
基于公理设计理论的轿车门窗密封条端头冲切工位的开发
Methodological study of product concept development based on axiomatic design;
基于公理设计的产品概念设计方法研究
Research on decoupling method of product design based on axiomatic design;
基于公理设计的产品设计解耦方法