[發明專利]一種基于中心概念的數字電路邏輯表達簡化方法

在審

• 申請號: 202010601566.5
• 申請日: 2020-06-28
• 公開（公告）號: CN111914499A
• 公開（公告）日: 2020-11-10
• 發明（設計）人: 陳澤華;溫馨;閆心怡;趙哲峰;柴晶
• 申請（專利權）人: 太原理工大學
• 主分類號: G06F30/327
• 分類號: G06F30/327;G06F30/32
• 代理公司: 太原高欣科創專利代理事務所(普通合伙) 14109
• 代理人: 冷錦超;鄧東東

1.一種基于中心概念的數字電路邏輯表達簡化方法，其特征在于，包括以下步驟：

1)對數字邏輯電路真值表LIS＝(U,R,V,f)進行預處理，將其轉換成決策形式背景S＝(U,A,I,D,J)，記Z＝A∪D；

2)對于計算n＝1次的形式概念(z^↓,z^↓↑)，并將第一次求得的概念存入Concept集合中；

3)依次判斷第n層時的概念(X,B)，若d∈B，且X不包含于外延集合中；B為此概念的內涵，其中B中既包含決策屬性C又包含決策屬性d，其中此時為中心概念；

4)則Rules＝Rules∪{C→d},Exten＝Exten∪X，同時對提取完規則的概念(X,B)進行標記并存入Del中；

5)對概念集Concept進行更新：Concept＝Concept-Del。

6)判斷Exten是否等于U：若相等，則轉至步驟9得到與原數字邏輯電路真值表等價的最簡決策規則；如不相等，則進行步驟7；

7)此時n＝n+1，對當前Concept中的所有概念按照公式(X₁,B₁)∧(X₂,B₂)＝(X₁∩X₂,(B₁∪B₂)^↓↑)進行兩兩相交邏輯運算，并記錄新產生的概念；

8)將新產生的概念重復步驟4至步驟6，若Exten與U相等，則轉至步驟9；如不相等，轉至步驟7；

9)得到與原數字邏輯電路真值表等價的最簡決策規則。

2.根據權利要求1所述的一種基于中心概念的數字電路邏輯表達簡化方法，其特征在于，決策形式背景S＝(U,A,I,D,J)中，對于一個概念(X,B)，其中且滿足同時X^↑＝B，B^↓＝X，此時(X，B)為綜合概念；對于綜合概念(X,B)，其中B＝C∪d且滿足此時(X,B)為中心概念。

3.根據權利要求1所述的一種基于中心概念的數字電路邏輯表達簡化方法，其特征在于，在決策形式背景S＝(U,A,I,D,J)中，(X,B)為一個中心概念，若其中L(T)為概念的集合，此時確定一條決策規則記C→d。

4.根據權利要求1所述的一種基于中心概念的數字電路邏輯表達簡化方法，其特征在于，在決策形式背景S＝(U,A,I,D,J)中，(X,B)為一個中心概念，若其中L(T)為概念的集合，此時可以確定一條決策規則記C→d；

對于決策規則C→d，C＝{c₁,c₂,...c_n}，若則稱決策規則C→d中存在冗余屬性c_k。

5.根據權利要求1所述的一種基于中心概念的數字電路邏輯表達簡化方法，其特征在于，(X,B)為一個中心概念，其中B＝C∪d，C＝{c₁,c₂,...c_n}且有決策規則C→d，c'＝{c-c_i}，如果滿足則決策規則C→d為最簡決策規則。