[发明专利]一种粒分辨矩阵在逻辑电路优化中的应用

权利要求书

1.一种粒分辨矩阵在逻辑电路优化中的应用，其特征在于，包括以下具体步骤：

1)构建粒分辨矩阵：

对于m个输入变量，粒分辨矩阵C＝[c_ij]_p×q，所述粒分辨矩阵的规模为：p×q,p+q＝2^m；式中，元素c_ij表示在IGS中可以从u_i∈U¹中区分出u_j∈U⁰元信息粒，且p＝|U¹|,q＝|U⁰|,p+q＝2^m；

2)定义分辨规则，计算出能够区分信息粒的所有分辨规则：

根据粒分辨矩阵中的元素c_ij，定义分辨规则DR，

DR＝U{r_i|r_i＝c_i1∧c_i2L∧c_ijL∧c_iq,1≤i≤p}＝∨{d_r|d_r∈OTS}

式中，r_i整合所有从u_i∈U¹中区分出U⁰的原始信息粒；DR整合了从信息粒U¹中区分U⁰的所有最简规则；d_r是输出项集合中的一个元素；

3)定义启发式因子He，将DR中的每条规则根据He的值进行排序，记录DR中规则由“1”区分的对象，确定是否有新值，有新值时，将d_r添加到最小布尔逻辑表达式MBE中；

所述的启发式因子He为:

He＝{|d_j|||d_j|＝|∧X|,X∈IGS}

式中，|d_j|表示真值表中一类信息粒度组合的个数；

4)输出最小布尔逻辑表达式MBE；

所述步骤1)具体通过定义来构建粒分辨矩阵；

所述定义为U⁰和U¹；初始化m,n,p,q,IGS,OTS，逻辑信息系统LIS＝(U,R,V,f)，

其中，为论域，|U|＝2^m，R＝AUY是属性集，A＝{A₁,L,A_i,L,A_m}表示逻辑信息系统的输入变量，Y＝{Y₁,L,Y_j,L,Y_n}表示逻辑信息系统的输出变量，|A|＝m，|Y|＝n表示集合的势，f:U×R→V是一个信息函数，具体为U中每一个对象的属性值；真值表每一行代表一条逻辑规则；LIS中的任何逻辑输入属性A_i∈A都产生一个分类：

令

当时，代表论域中的元素u_i在A_i属性下的属性值为0；

代表论域中的元素u_i在A_i属性下的属性值为0；

得出U/A_i＝{A_i',A_i}，A_i'和A_i是逻辑输入属性A_i下的等价类划分，所述等价类划分为信息粒；逻辑输入属性的所有信息粒构成了信息粒集合IGS：

IGS＝{A₁',A₁,L,A_i',A_i,L,A_m',A_m}；

信息粒集合中元素的任何组合都为可能的输出项；输出项集OTS是所有可能的输出变量组合的列表，所述组合在真值表的最小布尔表达式中产生部分或全部输出变量。