基于布尔代数的功能树简化研究

• 作者: 刘晓平 路强
• 来源期刊: 合肥工业大学学报（自然科学版）
• 学科: 工学
• 关键词: 概念设计 布尔代数 功能树 创新推理
• 年，卷（期）: 2009,（7）
• 所属期刊栏目: 计算机与信息工程
• 页码范围: 1025-1029
• 页数: 5页
• 分类号: TP391.72
• 字数: 4171字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-5060.2009.07.019

摘要

当前较大规模的功能树存在解空间庞大、冲突定位困难的问题,对此提出基于布尔代数的与或功能树简化方法;证明了收缩简化、删除简化、提取简化的相关定理,并籍此给出其布尔代数的简化算法;最后通过实例,证明该方法可在保持逻辑等价的前提下有效降低问题的复杂度,从而提高设计者进行概念设计的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘晓平	合肥工业大学计算机与信息学院	137	899	16.0	22.0
2	路强	合肥工业大学计算机与信息学院	23	98	6.0	8.0