吕彦明
- 作品数：3 被引量：8H指数：2
- 供职机构：南通大学理学院更多>>
- 发文基金：江苏省自然科学基金江苏省高校自然科学研究项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于置换群的可逆网络级联
- 2008年
- 通过分析可逆门逻辑网络与置换群的等价关系,把可逆门网络级联转化为对称群的轮换问题.证明了任何一个相邻3轮换置换(u,s,t)可以通过4个(n-2)-CNOT门和至少2n位的NOT门生成,以此n位的偶数二元可逆网络可通过NOT和2-CNOT门构造.给出了通过对称群轮换置换级联可逆网络的方法,实例验证了该方法的正确性.结果表明,该方法没有垃圾信息输出,同时在可逆门转换方面更加灵活有效.
- 张义清管致锦吕彦明
- 关键词：置换群
- 基于粗糙集的组合逻辑优化算法被引量：6
- 2007年
- 运用粗集理论对逻辑函数进行知识表达的方法,提出了基于粗糙集的组合逻辑优化方法,并给出了相应的算法.通过对20变量以下的组合逻辑标准Benchmark-89,91和93相容逻辑矩阵例题进行了检验,结果表明此算法是正确的,并具有显著的化简效果.
- 张义清管致锦吕彦明
- 关键词：粗糙集组合逻辑
- 逻辑函数无冗余覆盖选择问题被引量：4
- 2007年
- 逻辑函数的最小化算法可以分为两大步骤,产生本源蕴涵项和在这些蕴涵项中选择一个最小覆盖。提出一个适于大变量输入输出逻辑函数的实质项与相对冗余项的识别和选择近似最小覆盖的算法。Benchmark例题测试表明,算法具有理想的处理效果。
- 张义清管致锦吕彦明李洵
