摘要
当前概念设计中与或非功能树的组合求解方法存在解空间庞大、冲突定位困难的问题,对此提出一种功能集族求解方法。定义了功能集族和广义与或树,基于经典命题逻辑理论将与或非功能树转化为等价的广义与或树,并通过求解功能集族实现了与或非功能树的功能求解算法。通过实例证明:该方法可有效地提高设计者的设计效率。
Combination solving is widely used for and/or/not function trees in conceptual design.However,there exist some serious problems such as enormous solving space and difficult conflict orientation in combination solving.A function family solving method is proposed.At first,the concepts of function families and generalized and/or trees are given.Furthermore,and/or/not function trees are equivalently converted to the generalized and/or trees based on classical propositional logic.At last,the function solving algorithm is realized by obtaining function families.The new method is proved to enhance designers’ work efficiency with an instance.
出处
《工程图学学报》
CSCD
北大核心
2011年第1期143-147,共5页
Journal of Engineering Graphics
基金
国家自然科学基金资助项目(60673028)
关键词
计算机应用
功能集族求解
经典命题逻辑
功能树
computer application
function family solving
classical propositional logic
function tree
