|
|||||
|
|
| 含无关项布尔函数的对称变量检测算法 | |
| 引用本文： | 张永波,厉晓华.含无关项布尔函数的对称变量检测算法[J].浙江大学学报(理学版),2017,44(2):186-190. |
| 作者姓名： | 张永波 厉晓华 |
| 作者单位： | 1. 浙江旅游职业学院信息中心, 浙江 杭州 311231; 2. 浙江大学 信息中心, 浙江 杭州 310027 |
| 基金项目： | 国家自然科学基金资助项目（61471314）；浙江省公益技术研究社会发展项目（2014C33042）. |
| 摘 要： | 为简化布尔函数中12类对称变量的检测过程,提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数有序特征值矩阵的约束条件以实现对称变量的快速检测.应用结果表明,与现有方法相比,算法在适用的布尔函数变量数、检测类型、检测含无关项布尔函数和检测过程的复杂度方面表现较优. |
| 关 键 词： | 对称变量 有序特征值矩阵 布尔函数 真值表 任意项 |
| 收稿时间： | 2016-05-19 |
An algorithm for identifying symmetric variables of Boolean function with don't-care-terms |
|
| ZHANG Yongbo,LI Xiaohua.An algorithm for identifying symmetric variables of Boolean function with don't-care-terms[J].Journal of Zhejiang University(Sciences Edition),2017,44(2):186-190. | |
| Authors: | ZHANG Yongbo LI Xiaohua |
| Institution: | 1. Campus Information Center, Tourism College of Zhejiang, Hangzhou 311231, China; 2. Campus Information Center of Zhejiang University, Hangzhou 310027, China |
| Abstract: | To simplify the process for identifying 12 types of symmetric variables in Boolean function, we propose a new symmetry detection algorithm based on minterm expansion of Boolean function with don't-care-terms. By analyzing the constraint conditions of the order eigenvalues matrixes for 12 types of symmetric variables, the algorithm for identifying symmetric variables of Boolean function with don't-care-terms is proposed. The results show that, the new algorithm method is superior than the traditional methods in the applicability of the number of logical variables of Boolean function including don't-care-terms, detection types, and complexity of the identification process. |
| Keywords: | symmetric variable the order eigenvalues matrix Boolean function truth table don't-care-terms |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《浙江大学学报(理学版)》浏览原始摘要信息 | |
| 点击此处可从《浙江大学学报(理学版)》下载免费的PDF全文 | |