【摘要】：真值表約簡是數(shù)字邏輯電路分析與設計的關鍵問題之一,形式概念分析(Formal Concept Analysis,FCA)是一種從形式背景進行數(shù)據(jù)分析和規(guī)則提取的工具。該文將多輸入多輸出(Multiple-Input Multiple-Output,MIMO)真值表轉(zhuǎn)化為決策形式背景,將真值表的約簡問題轉(zhuǎn)化為決策形式背景的最簡規(guī)則提取過程,提出一種基于FCA的MIMO真值表并行約簡算法。通過理論證明、實例演示和算法的復雜性分析,說明了新算法的正確性、有效性和快速性。
[Abstract]:Truth table reduction is one of the key problems in the analysis and design of digital logic circuits. Formal concept analysis (Formal Concept Analysis,FCA) is a tool for data analysis and rule extraction from formal background. In this paper, the multiple input multiple output (Multiple-Input Multiple-Output,MIMO) truth table is transformed into the formal background of the decision, and the reduction of the truth table is transformed into the shortest rule extraction process of the formal background of the decision. A parallel reduction algorithm for MIMO truth table based on FCA is proposed. The correctness, validity and rapidity of the new algorithm are proved by theoretical proof, example demonstration and complexity analysis of the algorithm.
【作者單位】： 太原理工大學信息工程學院;
【基金】：國家自然科學基金(61402319,61403273) 山西省自然科學基金(2014021022-4)~~
【分類號】：TN79
，

本文編號：2343413