-
题名分辨矩阵在逻辑优化中的应用
- 1
-
-
作者
闫心怡
温馨
陈泽华
-
机构
太原理工大学电气与动力工程学院
太原理工大学大数据学院
-
出处
《计算机科学与探索》
CSCD
北大核心
2021年第7期1332-1338,共7页
-
基金
国家自然科学基金(61703299)
国家重点研发计划(2018YFB1404500)。
-
文摘
真值表的化简对于逻辑电路的分析与设计具有及其重要的意义。对真值表的化简问题进行研究,提出了一种利用分辨矩阵从真值表中获取最小布尔表达式的粒分辨矩阵方法,实现其在逻辑优化中的应用。首先,将真值表视为逻辑信息系统,将真值表的化简问题转化为逻辑信息系统的最简规则发现问题。然后,在传统分辨矩阵的基础上,利用等价关系模型构造粒分辨矩阵,找出可以组织成最小布尔表达式的信息粒,利用信息粒的析取合取运算获得逻辑信息系统的最小布尔表达式。为进一步加快算法的收敛速度,引入启发式信息的概念,给出了组织信息粒的判定法则,避免在最小布尔表达式的获取中出现冗余逻辑项,使得布尔逻辑表达式最简,同时提高最小布尔表达式的获取效率,解决大规模逻辑电路的优化问题。最后,给出了详细的算法,并通过实例和理论证明说明了该方法的正确性和有效性。
-
关键词
真值表
规则发现
分辨矩阵
最小布尔表达式
-
Keywords
truth table
rule discovery
discernibility matrix
minimal boolean expression
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
