基于公理设计理论的汽车停车挡的设计应用

基于某公司生产的汽车停车挡换挡时有过大的冲击和噪声,研究并提出了基于公理设计理论的机械产品创新设计框架模型,并应用于停车挡的再设计中。通过对停车挡设计任务和设计参数的逐层映射和分解,得到了满足客户需求的新产品,解决了原有停车挡的换档不平顺现象。结果表明在公理设计理论指导下进行机械产品创新设计,短时间就能得到一个好的设计结果,能有效地提高工作效率。     

论选择公理与2~(■_0)≥■_1的关系

那汤松(HamaHcoH)在他所著的《实变函数》认为,不需要选择公理就可以证明2■0≥■1.证明,若ZF AD是和谐的,则没有选择公理,2■0≥■1不成立.从而说明那汤松所提示的证明是不严格的.     

论选择公理与2N0≥N1的关系

那汤松（HamaHcoH）在他所著的《实变函数》认为，不需要选择公理就可以证明2^0≥N1．证明，若ZF＋AD是和谐的，则没有选择公理，2^N0≥N1不成立．从而说明那汤松所提示的证明是不严格的．     

一般原型——模型论的理论体系（Ⅰ）

通过一般原理－模型论的同型公理（及模型公理）对该理论的内容体系作了大致的概括和描述，从而可以显示出一般原型－模型论的广阔研究范围与普适范围。     

物理学公理理论体系中公理的提出方法探讨

自古希腊哲学家毕达哥拉斯(Pythagoras,572 BC—497 BC)提出"自然即数"的观点以后[1],物理学得以开创。作为西方文明直至当下人类文明之内核的物理学,其理论物理学秉承毕达哥拉斯的思想,对作为表象的世界的表象[2]和事态作出数量化的本质性和关联性的解释,这其理论体系要求高度的自洽性和有效的预言效性。按照其体系基础和逻辑体系划分,理论物理理论体系主要可以分为公理体系和定律体系两类。定律体系是以实验定律为基础出发通过演绎建立整个理论体系,公理体系是从公理出发通过推测和演绎建立整个理论体系。在经典物理学中,定律体系的典型代表是电磁学理论,公理体系的典范代表是牛顿力学体系。     

论选择公理与2(※)0≥(※)1的关系

那汤松(HamaHcoH)在他所著的《实变函数》认为,不需要选择公理就可以证明20≥1.证明, 若ZF+AD是和谐的, 则没有选择公理,2(※)0≥(※)1不成立.从而说明那汤松所提示的证明是不严格的.     

关于主动数据库属性依赖及公理系统的研究

在主动数据库的理论与应用研究中，更新传播算法的应用，保证了系统在属性依赖方面的相容性。本文基于不变式方式和PATH路径公理系统，给出了一种更新传播算法，对该算法的正确性、可终止性进行了论证，并进行了时间复杂度分析。     

关于选择公理及其弱形式(Ⅰ)

先介绍ＡＣ独立于ＺＦ，然后研究ＡＤ、ＤＣＫ、ＡＣＫ和ＷＫ之间的关系（ｋ≥ω１）．     

基于公理化设计的机床再制造设计支持软件开发

在分析机床再制造设计过程特点的基础上,引入公理化设计的相关理论与方法,形成基于多域映射的机床再制造设计过程框图;基于此,设计并开发基于公理化设计的机床再制造设计支持软件,包括机床信息、用户需求、功能规划、结构设计、再制造工艺设计等5个功能模块;该软件在某重型机床再制造设计中进行了初步应用与实施。     

基于公理设计的软件构件设计优化

为了提高软件开发的有效性和正确性,提出了一种基于公理设计的构件设计与优化新方法,详细给出了该方法的设计和实现过程.在此基础上,以调度构件的开发作为研究实例,分别对按照公理设计和传统方法得到的两种设计方案进行了设计、分析、比较和优化,验证了该方法在软件开发方面的有效性和正确性.     

基于公理设计的多目标优化方法研究

针对利用多目标优化理论进行产品设计时存在求解困难的问题,综合应用多目标优化理论与公理设计理论,提出利用公理设计理论独立公理中的全参直度和全能直度来解决多目标优化问题中求解困难的一般方法．并通过对一个简单的多目标优化问题的求解,验证了该方法的有效性．     

行列式定义的公理化方法

给出了行列式定义的公理化方法 ,并证明了行列式的公理化定义与传统的定义是等价的 .同时讨论了行列式定义的教学问题     

支持公理设计的产品符号语义模型

通过对产品功能和结构信息的多样性及相似性分析提出了符号单元的概念。将符号学方法与产品设计的公理与过程相结合,借助符号单元所具有的形状载体作用及其富有的高层次工程语义来实现产品模型的高层功能描述与低层几何表示的统一;给出了覆盖实例对象和类对象的统一的符号对象数据模型,并与语义相结合来描述符号对象及其之间的相互关系,实现了对符号单元抽象化与形式化表达。实例研究结果表明,该设计方法使设计者可以更直观自然地在高层次的语义层表达设计意图,并且实现了对产品公理设计的支持。     

欧氏几何的文化视角

以《几何原本》为代表的欧氏几何是古希腊文明的一个火车头,是古代数学公理化方法的一个辉煌成就．文章简要介绍了欧氏几何及其公理化方法。并从文化的角度对其进行分析,探讨了欧氏几何的人文价值,美学价值和应用价值．最后,对中学几何教学中如何渗透文化教育,为新课程标准基本理念更好地付诸实施,提出了一些意见或建议．     

关于高等工程教育中基础课之教学体系的讨论

一门学科的科学体系一般来说是唯一的，但其教学体系则可能不止一个而不是唯一的。对教学体系的形式背景及其构成因素作了一些探讨，并就基础课中采用公理化教学体系也作了一些讨论。     

公理设计与创新问题解决理论及其比较研究

对公理设计和创新问题解决理论进行了简单介绍,并对二者相关的部分进行了比较,说明二者具有可结合性,将两者有机融合起来进行产品设计将使得设计过程更简单,设计结果更具有创新性,最后通过举例说明了两者结合设计产品的过程.     

Self-organized evolution of mechanism kinetic scheme based on axiomatic design

The self-organized evolution technology of the mechanism kinetic scheme based on axiomatic design is presented.This technology tries to express the constraints between kinetic mechanisms briefly in a semantic form which is more familiar to the designers.Though the mapping process between the kinetic chain unit and the unit instance,the evolution from abstract unit to concrete engineering instance is achieved.The subdivision of unit coupling semantics is studied.and the evolution of semantics is finished.Also.the semantic constraints evolution of unit coupling semantics is described.The product structure models with function and assembly meanings are constructed based on the kinematic chain unit and unit coupling.It provides a basis to realize the inheritance and transfer of constraint information from conceptual design to design for assembly(DFA).As the engineering practice result shows,the method Can help the engineers express their design intension more clearly and naturally in a high semantic level.And the automation,recursion and visualization of the mechanism kinetic scheme design are realized.