基于系数矩阵的极性转换方法及其在MPDRM化简中的应用

摘要：

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

关键词：布尔函数系统、混合极性对偶Reed-Muller、系数矩阵、极性转换、精确化简、格雷码、穷举策略

所属期刊栏目：30

分类号：TP391.72(计算技术、计算机技术)

资助基金：江西省教育厅科技资助项目GJJ11178, GJJ11181;江西省高等学校重点学科建设项目

在线出版日期：2013-05-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：829-834