基于系数矩阵的极性转换方法及其在mpdrm化简中-计算机应用研究.pdfVIP

第３０卷第３期 计 算 机 应 用 研 究 Ｖｏｌ３０Ｎｏ３ ２０１３年３月　 ＡｐｐｌｉｃａｔｉｏｎＲｅｓｅａｒｃｈｏｆＣｏｍｐｕｔｅｒｓ Ｍａｒ．２０１３ 基于系数矩阵的极性转换方法及其 在 ＭＰＤＲＭ化简中的应用 １，２ １，２ １ 卜登立 ，魏　餠 ，郭　鸣 （１．井冈山大学 电子与信息工程学院，江西吉安 ３４３００９；２．同济大学 电子与信息工程学院，上海２０１８０４） 摘　要：针对多输出布尔函数系统混合极性对偶ＲｅｅｄＭｕｌｌｅｒ展开（ＭＰＤＲＭ）的极性转换问题，提出了一种基于 系数矩阵的极性转换方法。该方法通过分析使用转换矩阵进行极性转换时所需的矩阵运算，进行子矩阵提取并 将复杂的矩阵运算简化为子矩阵间的同或运算，提高了极性转换速度。在此基础上，给出了ＭＰＤＲＭ精确化简 算法，该算法采用格雷码策略使得极性转换发生在相邻极性值的ＭＰＤＲＭ之间，并以和项数作为主要化简标准， 文字数作为次要化简标准，通过采用穷举策略搜索极性空间求解最小ＭＰＤＲＭ。实验结果表明，使用文字数作为 次要化简标准能够获得更优化的ＭＰＤＲＭ，与基于列表技术的极性转换方法相比，所提出方法能够缩短精确化 简过程４９．５％的时间。 关键词：布尔函数系统；混合极性对偶ＲｅｅｄＭｕｌｌｅｒ；系数矩阵；极性转换；精确化简；格雷码；穷举策略 中图分类号：ＴＰ３９１７２　　　文献标志码：Ａ　　　文章编号：１００１３６９５（２０１３）０３０８２９０６ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１３６９５．２０１３．０３．０４８ Ｃｏｅｆｆｉｃｉｅｎｔｍａｔｒｉｘｂａｓｅｄｐｏｌａｒｉｔｙｃｏｎｖｅｒｓｉｏｎｍｅｔｈｏｄａｎｄｉｔｓ ａｐｐｌｉｃａｔｉｏｎｔｏＭＰＤＲＭｍｉｎｉｍｉｚａｔｉｏｎ １，２ １，２ １ ＢＵＤｅｎｇｌｉ ，ＷＥＩＷｅｉ ，ＧＵＯＭｉｎｇ （１．ＳｃｈｏｏｌｏｆＥｌｅｃｔｒｏｎｉｃｓ＆ＩｎｆｏｒｍａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，ＪｉｎｇｇａｎｇｓｈａｎＵｎｉｖｅｒｓｉｔｙ，Ｊｉ’ａｎＪｉａｎｇｘｉ３４３００９，Ｃｈｉｎａ；２．ＳｃｈｏｏｌｏｆＥｌｅｃｔｒｏｎｉｃｓ＆Ｉｎｆｏｒ ｍａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，ＴｏｎｇｊｉＵｎｉｖｅｒｓｉｔｙ，Ｓｈａｎｇｈａｉ２０１８０４，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：ＴｈｉｓｐａｐｅｒｐｒｏｐｏｓｅｄａｃｏｅｆｆｉｃｉｅｎｔｍａｔｒｉｘｂａｓｅｄｍｅｔｈｏｄｆｏｒｐｏｌａｒｉｔｙｃｏｎｖｅｒｓｉｏｎｏｆＭＰＤＲＭｆｏｒｍｕｌｔｉｏｕｔｐｕｔＢｏｏｌｅａｎ ｆｕｎｃｔｉｏｎｓｙｓｔｅｍｓ．Ｔｈｅｍｅｔｈｏｄｉｍｐｒｏｖｅｄｔｈｅｓｐｅｅｄｏｆｐｏｌａｒｉｔｙｃｏｎｖｅｒｓｉｏｎｔｈｒｏｕｇｈｅｘｔｒａｃｔｉｎｇｓｕｂｍａｔｒｉｃｅｓｆｒｏｍｔｈｅｃｏｅｆｆｉｃｉｅｎｔ ｍａｔｒｉｘａｎｄｓｉｍｐｌｉｆｙｉｎｇｔｈｅｅｘｐｅｎｓｉｖｅｍａｔｒｉｘｏｐｅｒａｔｉｏｎｓｔｏＸＮＯＲｏｐｅｒａｔｉｏｎｂｅｔｗｅｅｎｔｈｅｅｘｔｒａｃｔｅｄｓｕｂｍａｔｒｉｃｅｓｂｙａｎａｌｙｚｉｎｇｔｈｅ ｍａｔｒｉｘｏｐｅｒａｔｉｏｎｓｎｅｅｄｅｄｆｏｒｐｏｌａｒｉｔｙｃｏｎｖｅｒｓｉｏｎｕｓｉｎｇｔｒａｎｓｆｏｒｍｍａｔｒｉｘ．Ｏｎｔｈｅｂａｓｉｓｏｆｔｈｅｐｒｏｐｏｓｅｄｐｏｌａｒｉｔｙｃｏｎｖｅｒｓｉｏｎｍｅｔ ｈｏｄ，ｔｈｉｓｐａｐｅｒｐｒｅｓｅｎｔｅｄａｎｅｘａｃｔｍｉｎｉｍｉｚａｔｉｏｎａｌｇｏｒｉｔｈｍｆｏｒＭＰＤＲＭ．Ｔｈｉｓａｌｇｏｒｉｔｈｍｍａｄｅｔｈｅｐｏｌａｒｉｔｙｃｏｎ