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

2011年 工 程 图 学 学 报 2011 第 1期 JOURNALOFENGINEERING GRAPHICS No．1 与或非功能树的功能集族求解方法 唐益明， 刘晓平 (合肥工业大学计算机与信息学院可视化与协同计算 (VCC)研究室，安徽 合肥 230009) 摘 要：当前概念设计中与或非功能树的组合求解方法存在解空间庞大、冲突定位 困难的问题，对此提出一种功能集族求解方法。定义了功能集族和广义与或树，基于经典命 题逻辑理论将与或非功能树转化为等价的广义与或树，并通过求解功能集族实现了与或非功 能树的功能求解算法。通过实例证明：该方法可有效地提高设计者的设计效率。 关 键 词：计算机应用；功能集族求解；经典命题逻辑；功能树 中图分类号：TP391．72 文献标识码：A 文 章 编 号：1003—0158(2011)Ol一0143—05