与或功能树的无损简化方法.pdfVIP

2012年 6月 图 学 学 报 June 2012 第 33卷 第 3期 JoURNALoFGRAPHICS V0I．33 No．3 与或功能树的无损简化方法 唐益明L2， 刘晓平2 (1．合肥工业大学信息与通讯工程博士后科研流动站，安徽 合肥 230009 2．合肥工业大学计算机与信息学院，安徽 合肥 230009) 摘 要：当前概念设计中较大规模功能树存在解空间庞大、冲突定位困难的问题， 对此提出基于与或功能树的无损简化方法。证明了无损收缩简化、无损删除简化、无损提取 简化的相关定理，并籍此给出与或功能树的无损简化算法。最后通过实例，证明该算法可在 保持逻辑等价和创新能力不损失的前提下有效降低 问题的复杂度，从而提高了概念设计的效 率。 关 键 词：计算机应用；概念设计；无损简化；与或功能树 中图分类号 ：TP391．72