1) axiomatic design
公理性设计
1.
Finally, a description of how axiomatic design may be used for calculating the information of technology, environment and economy during the product life cycle, and selecting the best design solution from among acceptable solutions, follows.
通过举例详细阐述了应用公理性设计方法对寿命周期中有关技术先进性、环境协调性 ,以及经济性等信息进行处理的方法 ,并作出设计决策。
2) axiomatic design
公理设计
1.
The Development of Punching Unit for Automobile Profile Based on the Axiomatic Design;
基于公理设计理论的轿车门窗密封条端头冲切工位的开发
2.
Methodological study of product concept development based on axiomatic design;
基于公理设计的产品概念设计方法研究
3.
Research on decoupling method of product design based on axiomatic design;
基于公理设计的产品设计解耦方法
3) design axiom
设计公理
1.
Using design axiom during the ziga-zagging mapping process among use case model,feature model and attribute domain,the software coupling can be reduced during th.
将公理设计中的"之字形"映射方法及独立设计公理应用于用例模型,特征模型和属性模型之间的映射,从而控制映射过程中软件设计的耦合程度。
4) axiom design
公理设计
1.
Study on object-oriented method based on axiom design;
基于公理设计的面向对象设计方法研究
2.
Research and application of the product configuration modeling based on axiom design;
基于公理设计的产品配置建模方法及其应用研究
5) Axiomatic design
公理化设计
1.
Knowledge reuse of multi-hierarchy case based on axiomatic design;
基于公理化设计的多级实例知识重用技术研究
2.
Coevolution mechanism between axiomatic design matrix & design structure matrix;
公理化设计矩阵与设计结构矩阵同步演化机制研究
3.
Analysis of design process for mass customization based on axiomatic design;
基于公理化设计理论的大批量定制设计过程分析
6) Rational design
理性设计
1.
Using a new approach to engineer enzyme activity——semi-rational design;
酶活性设计的新方法——半理性设计
2.
This paper also illustrates that the key factor to rational design is the application of the theory and method of "SD"architectural programming.
难能可贵地以实例说明建筑策划SD法在实践中的可操作性,并且以实例也证明了设计过程中对建筑策划SD法的运用是获得理性设计的关键。
3.
Rational design of highly affinity ligands to proteins used by SYBYL on the basis of the structure of the proteins is presented, and successfully rational design the highly affinity ligand to Tissue Plasminogen Activator (t-PA).
本文验证了利用计算机分子模拟软件SYBYL理性设计与目标蛋白质具有高亲和性多肽配基的可行性,并成功地对组织型纤溶酶原活化因子(t-PA)的高亲和性肽配基进行了理性设计。
补充资料：外延性公理
外延性公理
axiom of extensionality
外延性公理[‘姗of exte此i叨ality;浦货M毗.a，-。日角，a} 集合论公理之一，它断言当两个集合含相同元素时两集合相等: Vu Vv(Vx(x任u骨x〔v)劝u=v).在一个不含等号而且仅有一个谓词符号6的语言中，外延性公理形式为 V“V:(丫x{灭。u伪x6。)功丫z(u、_:骨即任:)). 外延性公理在Zermelo一Fr能nkel系统(Zermelo-竹aenkel system忆F中对于数学的形式化不具有实际的重要性.任何能在ZF系统中构作的对象都能在一个没有外延性公理的系统中刻画.设ZF一是通过在ZF中去掉外延性公理以及把其余公理中形如u=，，的公式替换为公式 岁x(x任u骨丫任飞)而得到的.那么可以证明在 ZF一中存在ZF的解释(inter-Pretation).类似的结论对于类型论也成立. 对于Qulne系统NF，‘它由消除类型论的类型标号而得，情况就不同:不能在NF一中解释NF.系统NF一‘除去外延性公理的NF)是一个颇弱的系统，而且它的相容性能在形式算术中证明，然而NF不弱于有无穷公理的类型论
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条