基于SAT的可逆线路检测集生成算法

• 作者: 周日贵 李明翠
• 来源期刊: 华东交通大学学报
• 学科: 工学
• 关键词: 可逆 量子 SAT 门失效 错误检测
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 学科基础与前沿
• 页码范围: 87-92
• 页数: 6页
• 分类号: TP387|TP306+.2
• 字数: 3522字
• 语种: 中文

摘要

可逆逻辑是量子计算的基本特征，也是日益突出的低能耗需求的一种解决方案。根据可逆电路的可控制性和可观测性，论文提出了一种基于逻辑可满足性的算法来自动产生单门失效错误的完备检测集。基于k-NOT门的可逆逻辑线路中的数据传输进行线性建模，用线性时态逻辑描述单门失效错误约束，运用SAT求解器寻求反例的方法自动生成可逆电路的错误检测集。实验结果显示，本方法能够有效的应用于不规则和复杂的基于k-NOT门的可逆逻辑线路，自动化程度高。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周日贵	华东交通大学信息学院	11	50	4.0	6.0
2	李明翠	华东交通大学信息学院	13	45	5.0	6.0