基于形式概念分析的多输入多输出真值表并行约简算法

来源：电子与信息学报杂志2017年第9期北京时间：

作者：陈泽华, 闫继雄, 柴晶

摘要：真值表约简是数字逻辑电路分析与设计的关键问题之一，形式概念分析(Formal Concept Analysis, FCA)是一种从形式背景进行数据分析和规则提取的工具。该文将多输入多输出(Multiple-Input Multiple-Output, MIMO)真值表转化为决策形式背景，将真值表的约简问题转化为决策形式背景的最简规则提取过程，提出一种基于FCA的MIMO真值表并行约简算法。通过理论证明、实例演示和算法的复杂性分析，说明了新算法的正确性、有效性和快速性。

关键词：数字逻辑电路, 真值表约简, 形式概念分析, 规则提取

基金资助：国家自然科学基金(61402319, 61403273)，山西省自然科学基金(2014021022-4)