新能源进展
新能源進展
신능원진전
Advances in New and Renewable Enengy
2013年
2期
31-35
,共5页
逻辑函数%与-或-非代数系统%对称检测
邏輯函數%與-或-非代數繫統%對稱檢測
라집함수%여-혹-비대수계통%대칭검측
logical function%AND/OR/NOT algebra system%detection of symmetry
针对图形方法、谱系数方法和传统表格方法在检测逻辑函数变量对称性过程中步骤繁琐、适用对象局限及完备性不足等问题,提出了与-或-非代数系统中基于1值最小项的E(xi |xj)、N(χi|xj)、S(xi|xj)、S(xj|xi)、S(xj|(xi))、S(xj|(xi))六类对称性检测算法.该算法从逻辑函数1值最小项中提取变量xi、xj为各类特征编码时的余子变量编码,通过比较余子变量编码是否满足两两相等来检测变量Xi、xj的各类对称性.该算法通过表格模拟了检测过程,应用结果表明,与图形方法、谱系数方法和传统的表格法相比,在考虑的项数、检测的完备性和算法实现方面是最优的.该算法己用C语言实现,实验结果验证了快速有效.
針對圖形方法、譜繫數方法和傳統錶格方法在檢測邏輯函數變量對稱性過程中步驟繁瑣、適用對象跼限及完備性不足等問題,提齣瞭與-或-非代數繫統中基于1值最小項的E(xi |xj)、N(χi|xj)、S(xi|xj)、S(xj|xi)、S(xj|(xi))、S(xj|(xi))六類對稱性檢測算法.該算法從邏輯函數1值最小項中提取變量xi、xj為各類特徵編碼時的餘子變量編碼,通過比較餘子變量編碼是否滿足兩兩相等來檢測變量Xi、xj的各類對稱性.該算法通過錶格模擬瞭檢測過程,應用結果錶明,與圖形方法、譜繫數方法和傳統的錶格法相比,在攷慮的項數、檢測的完備性和算法實現方麵是最優的.該算法己用C語言實現,實驗結果驗證瞭快速有效.
침대도형방법、보계수방법화전통표격방법재검측라집함수변량대칭성과정중보취번쇄、괄용대상국한급완비성불족등문제,제출료여-혹-비대수계통중기우1치최소항적E(xi |xj)、N(χi|xj)、S(xi|xj)、S(xj|xi)、S(xj|(xi))、S(xj|(xi))륙류대칭성검측산법.해산법종라집함수1치최소항중제취변량xi、xj위각류특정편마시적여자변량편마,통과비교여자변량편마시부만족량량상등래검측변량Xi、xj적각류대칭성.해산법통과표격모의료검측과정,응용결과표명,여도형방법、보계수방법화전통적표격법상비,재고필적항수、검측적완비성화산법실현방면시최우적.해산법기용C어언실현,실험결과험증료쾌속유효.
