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

• 作者: 刘晓平 唐益明
• 来源期刊: 工程图学学报
• 学科: 工学
• 关键词: 计算机应用 功能集族求解 经典命题逻辑 功能树
• 年，卷（期）: 2011,（1）
• 所属期刊栏目: 应用与交流
• 页码范围: 143-147
• 分类号: TP391.72
• 字数: 4953字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-0158.2011.01.025

摘要

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