|
|||||
|
|
| 基于或-符合运算Reed-Muller展开系数的对称变量检测算法 | |
| 引用本文： | 厉晓华,杭国强,陈偕雄. 基于或-符合运算Reed-Muller展开系数的对称变量检测算法[J]. 电路与系统学报, 2013, 18(2): 20-24 |
| 作者姓名： | 厉晓华 杭国强 陈偕雄 |
| 作者单位： | 1. 浙江大学信息中心,浙江杭州,310028 2. 浙江大学城市学院信息与电气工程学院,浙江杭州,310015 3. 浙江大学信息与电子工程学系,浙江杭州,310028 |
| 基金项目： | 国家自然科学基金资助项目 |
| 摘 要： | 针对或-符合代数系统中缺失对称变量检测的有效方法等问题,提出了该代数系统基于或-符合运算Reed-Muller展开系数的十二类变量对称性检测算法。该算法通过分析逻辑函数关于变量xi、xj展开的子函数系数矩阵和或-符合运算Reed-Muller展开系数按变量xi、xj组合分解系数矩阵的对应关系,揭示了任意两变量间各类对称性所满足的分解系数矩阵的约束条件,提出了各类逻辑变量的对称性检测步骤。应用结果表明,与传统方法相比,免去了从逻辑函数的CRM展开式变换为最小项展开式或RM展开式的变换域转换过程,也解决了在该域中图形方法检测的完备性问题,具有简单、直观、完备及适合计算机编程等优点。 |
| 关 键 词： | 或-符合代数系统 Reed-Muller展开 对称检测 逻辑函数 |
The algorithm for identifying symmetric variable of logical function based on OR-Coincidence Reed-Muller coefficients |
|
| LI Xiao-hua , HANG Guo-qiang , CHEN Xie-xiong. The algorithm for identifying symmetric variable of logical function based on OR-Coincidence Reed-Muller coefficients[J]. Journal of Circuits and Systems, 2013, 18(2): 20-24 | |
| 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: | OR-Coincidence algebra system Reed-Muller expansion detection of symmetry logical function |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |