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

• 作者: 卜登立 郭鸣 魏韡
• 来源期刊: 计算机应用研究
• 关键词: 布尔函数系统 混合极性对偶Reed-Muller 系数矩阵 极性转换 精确化简 格雷码 穷举策略
• 年，卷（期）: 2013,（3）
• 所属期刊栏目: 系统应用开发
• 页码范围: 829-834
• 页数: 6页
• 分类号: TP391.72
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2013.03.048

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭鸣	井冈山大学电子与信息工程学院	10	9	2.0	2.0