公理方法

Behold! By appealing to the Axiom of Choice, I can claim that I can dissect the very moon into but five parts, then put it back together and pop it into my mouth—like this fly!

听着！利用公理选择的方法，我可以把天上月亮分割成五个部分，然后再把它装起来放进我的嘴里，就像那只苍蝇那样！

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

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

Therefore, the axiomatic design method was concluded to be useful as a decision tool for designing alarm icons in process control systems.

因此，公理设计方法应能有效地应用於程序控制系统之警报图像设计决策问题。

As we all known, with the founding of Euclidean geometry in ancient Greece, with the development of analytic geometry and other kinds of geometries, with F.Kline" s Erlanger program in 1872 and the new developments of geometry in 20th century such as topology and so on, man has developed their understand of geometry. On the other hand, Euclid formed geometry as a deductive system by using axiomatic theory for the first time. The content and method of geometry have dramatically changed, but the geometry curriculum has not changed correspondingly until the first strike from Kline and Perry" s appealing.

纵观几何学发展的历史，可以称得上波澜壮阔：一方面，从古希腊时代的欧氏综合几何，到近代解析几何等多种几何的发展，以及用变换的方法处理几何的埃尔朗根纲领，到20世纪拓扑学、高维空间理论等几何学的新发展，这一切都在不断丰富人们对几何学的认识；另一方面，从欧几里得第一次使用公理化方法把几何学组织成一个逻辑演绎体系，到罗巴切夫斯基非欧几何的发现，以及希尔伯特形式公理体系的建立，极大地发展了公理化思想方法，不管是几何学的内容还是方法都发生了质的飞跃。

ChapterⅢ: The methods of product design knowledge representation and acquisition are presented based on axiomatic design.

第三章提出了基于公理设计的产品设计知识表达与获取方法。

Chapter 3 puts forward the networked manufacturing configuration modeling method of motor based on axiomatic design.

第三章提出了基于公理设计的电机产品网络化制造配置建模方法。

To verify the properties of the concurrent and reactive systems based on the theorem proving approach, an axiomatization is formulized for the first order projection temporal logic.

为了采用定理证明的方法对并发及交互式系统进行验证，提出了一阶投影时序逻辑的公理系统。

Projection temporal logic ; axiomatization ; formal methods ; verification

投影时序逻辑；公理系统；形式化方法；验证

The new algorithm satisfies four axioms of grey incidence and is consistent with the fundamental idea of curves similarity of grey incidence analysis.

理论推导证明该方法符合灰关联四公理，体现了灰关联分析中衡量曲线相似性的基本思想。

For the characteristics of Tea Pest domain knowledge, we use a method which combines a classification method based on the biology with a complete axiom system. Tea Pest domain ontology which is built in this method can not only reveal the clear hierarchy structure of knowledge, but also have a well application in the retrieval and reasoning of diagnosis system.

针对茶虫害领域知识的特点，本文采用生物分类法与完整的公理系统相结合的方法，清晰的体现了茶虫害领域知识的层次结构，并且有利于本体在诊断系统中的检索、推理等应用。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。