文件名称：论文研究-基于系数矩阵的极性转换方法及其在MPDRM化简中的应用.pdf
文件大小：1.01MB
文件格式：PDF
更新时间：2022-08-11 17:45:13
布尔函数系统,混合极性对偶Reed-Muller,系数矩阵,极性转换,精确化简,格雷码,穷举策略
针对多输出布尔函数系统混合极性对偶Reed-Muller展开（MPDRM）的极性转换问题, 提出了一种基于系数矩阵的极性转换方法。该方法通过分析使用转换矩阵进行极性转换时所需的矩阵运算, 进行子矩阵提取并将复杂的矩阵运算简化为子矩阵间的同或运算, 提高了极性转换速度。在此基础上, 给出了MPDRM精确化简算法, 该算法采用格雷码策略使得极性转换发生在相邻极性值的MPDRM之间, 并以和项数作为主要化简标准, 文字数作为次要化简标准, 通过采用穷举策略搜索极性空间求解最小MPDRM。实验结果表明, 使用文字数作为次要化简标准能够获得更优化的MPDRM, 与基于列表技术的极性转换方法相比, 所提出方法能够缩短精确化简过程49. 5%的时间。