计算机科学与探索 ›› 2015, Vol. 9 ›› Issue (2): 165-171.DOI: 10.3778/j.issn.1673-9418.1406025
陈泽华+,张凯英,谢 刚
CHEN Zehua+, ZHANG Kaiying, XIE Gang
摘要: 逻辑优化是数字逻辑电路分析与设计的关键,对于降低系统复杂性,减少系统功耗和提高系统安全性有重要作用。随着数字逻辑电路规模的不断扩大,传统的理论将面临新的挑战。从知识工程角度看,逻辑优化的本质是知识约简的过程。粒计算(granular computing,GrC)是处理大规模、复杂问题的人工智能新方法。在简述现有逻辑优化算法和粒计算理论发展现状的基础上,研究了粒计算理论中的等价关系、相容关系、覆盖等知识模型以及用粒矩阵刻画的知识发现算法,指出了将其应用于大规模数字逻辑电路逻辑优化的研究方向与研究思路。