相容关系模型及其在逻辑优化中的应用

• 作者: 柴晶 王好为 闫继雄 陈泽华
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 逻辑表达式化简 粒计算 数字电路 相容矩阵
• 年，卷（期）: 2018,（3）
• 所属期刊栏目: 理论与算法
• 页码范围: 502-510
• 页数: 9页
• 分类号: TP301
• 字数: 7511字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1703066

摘要

逻辑表达式化简是数字电路分析与设计的重要内容,基于相容关系的粒计算模型是处理不完备信息的有效工具.定义了不完备真值表,并将传统的逻辑表达式化简转化为不完备真值表的规则提取,从多粒度角度出发,在由粗到细的粒度空间下,计算每个属性集合的相容矩阵和逻辑关系矩阵,根据矩阵所包含信息之间的关系提出一种新的逻辑表达式化简算法.最后通过定理证明、实例分析和算法正确性分析验证了该算法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈泽华	太原理工大学信息工程学院	48	362	9.0	17.0
2	闫继雄	太原理工大学信息工程学院	6	8	2.0	2.0
3	柴晶	太原理工大学信息工程学院	11	52	4.0	7.0
4	王好为	太原理工大学信息工程学院	1	0	0.0	0.0