与或非功能树的功能集族求解方法  

A Function Family Solving Method of And/Or/Not Function Tree

作　　者：唐益明[1] 刘晓平[1] 

机构地区：[1]合肥工业大学计算机与信息学院可视化与协同计算(VCC)研究室,安徽合肥230009

出　　处：《工程图学学报》2011年第1期143-147,共5页Journal of Engineering Graphics

基　　金：国家自然科学基金资助项目(60673028)

摘　　要：当前概念设计中与或非功能树的组合求解方法存在解空间庞大、冲突定位困难的问题,对此提出一种功能集族求解方法。定义了功能集族和广义与或树,基于经典命题逻辑理论将与或非功能树转化为等价的广义与或树,并通过求解功能集族实现了与或非功能树的功能求解算法。通过实例证明:该方法可有效地提高设计者的设计效率。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.

关 键 词：计算机应用 功能集族求解 经典命题逻辑 功能树 

分 类 号：TP391.72[自动化与计算机技术—计算机应用技术]