|
|||||
|
|
| 逻辑函数对称变量检测算法 | |
| 引用本文： | 厉晓华,杭国强,陈偕雄.逻辑函数对称变量检测算法[J].电路与系统学报,2013,18(2):31-35. |
| 作者姓名： | 厉晓华 杭国强 陈偕雄 |
| 作者单位： | 1. 浙江大学信息中心,浙江杭州,310028 2. 浙江大学城市学院信息与电气工程学院,浙江杭州,310015 3. 浙江大学信息与电子工程学系,浙江杭州,310028 |
| 基金项目： | 国家自然科学基金资助项目 |
| 摘 要： | 针对图形方法、谱系数方法和传统表格方法在检测逻辑函数变量对称性过程中步骤繁琐、适用对象局限及完备性不足等问题,提出了与-或-非代数系统中基于1值最小项的E(xi|xj)、N(xi|xj)、S(xi|xj)、S(xi|xj)、S(xj|xi)、S(xj|xi)六类对称性检测算法。该算法从逻辑函数1值最小项中提取变量xi、xj为各类特征编码时的余子变量编码,通过比较余子变量编码是否满足两两相等来检测变量xi、xj的各类对称性。该算法通过表格模拟了检测过程,应用结果表明,与图形方法、谱系数方法和传统的表格法相比,在考虑的项数、检测的完备性和算法实现方面是最优的。该算法已用C语言实现,实验结果验证了快速有效。 |
| 关 键 词： | 逻辑函数 与-或-非代数系统 对称检测 |
The algorithm for identifying symmetric variable of logical function |
|
| LI Xiao-hua , HANG Guo-qiang , CHEN Xie-xiong.The algorithm for identifying symmetric variable of logical function[J].Journal of Circuits and Systems,2013,18(2):31-35. | |
| Authors: | LI Xiao-hua HANG Guo-qiang CHEN Xie-xiong |
| Affiliation: | 1.Campus Information Center of Zhejiang University,Hangzhou 310028,China;2.School of Information and Electrical Engineering,Zhejiang University City College,Hangzhou 310015,China;3.Department of Information Science & Electronic,Zhejiang University,Hangzhou 310028,China) |
| Abstract: | |
| Keywords: | logical function AND/OR/NOT algebra system detection of symmetry |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |