期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
量子可逆逻辑综合的关键技术及其算法 被引量:9
1
作者 李志强 李文骞 陈汉武 《软件学报》 EI CSCD 北大核心 2009年第9期2332-2343,共12页
最优化量子可逆逻辑的关键在于用最小的量子代价自动构造量子可逆逻辑.为了提高可逆逻辑自动生成与优化的效率,提出了类模板技术和一种快速算法.模板技术是一个有效的优化工具,类模板技术可以显著提高模板技术的匹配效率;R-M算法是可逆... 最优化量子可逆逻辑的关键在于用最小的量子代价自动构造量子可逆逻辑.为了提高可逆逻辑自动生成与优化的效率,提出了类模板技术和一种快速算法.模板技术是一个有效的优化工具,类模板技术可以显著提高模板技术的匹配效率;R-M算法是可逆逻辑综合的一种较好的迭代方法,基于R-M算法的原始思想,构造了一个Hash函数,并在此基础上提出了一种可逆逻辑综合的快速算法.实验结果表明,在同等实验环境下使用类模板技术与快速算法,其优化的效果与效率远远优于已知的其他算法. 展开更多
关键词 量子可逆逻辑 可逆逻辑优化 自动生成与优化 可逆逻辑综合 Hash函数关键词
在线阅读 下载PDF
量子可逆逻辑电路在线错误检测方法 被引量:5
2
作者 冯冉 王友仁 +1 位作者 陈燕 张砦 《仪器仪表学报》 EI CAS CSCD 北大核心 2010年第11期2534-2541,共8页
针对现有的量子可逆逻辑电路在线错误检测方法均存在个别输出位错误无法检测的问题,提出了一种基于容错门的量子可逆逻辑电路在线错误检测方法,该方法对电路输入进行复制,将待测电路分层并将所有非容错门封装成对应的容错门,利用构建电... 针对现有的量子可逆逻辑电路在线错误检测方法均存在个别输出位错误无法检测的问题,提出了一种基于容错门的量子可逆逻辑电路在线错误检测方法,该方法对电路输入进行复制,将待测电路分层并将所有非容错门封装成对应的容错门,利用构建电路的奇偶保持特性在线检测电路输出错误。并基于汉明码技术,设计量子可逆逻辑电路实现数据传输错误的检测与自动纠正。选取多种典型量子可逆逻辑电路进行分析验证,结果表明,本方法能够在线检测电路所有单个位输出错误,并且随着电路规模增加,可逆逻辑门、垃圾位和电路中错误点的数量明显减少。 展开更多
关键词 量子可逆逻辑电路 在线错误检测 奇偶保持 容错门 垃圾位
在线阅读 下载PDF
基于矩阵初等变换的量子可逆逻辑电路双向综合算法 被引量:1
3
作者 王冬 刘强 李善治 《计算机科学》 CSCD 北大核心 2014年第9期18-23,共6页
基于矩阵初等变换,提出了量子可逆逻辑电路双向综合算法。该算法依据两数字间的汉明距离,通过交换矩阵行号或矩阵元素对量子可逆逻辑电路的矩阵进行初等行变换。在变换的过程中,利用邻接矩阵的电路转化规则,生成任意给定置换的量子可逆... 基于矩阵初等变换,提出了量子可逆逻辑电路双向综合算法。该算法依据两数字间的汉明距离,通过交换矩阵行号或矩阵元素对量子可逆逻辑电路的矩阵进行初等行变换。在变换的过程中,利用邻接矩阵的电路转化规则,生成任意给定置换的量子可逆逻辑电路。与其它同类算法相比,由于不需要穷尽搜索,该算法的时空复杂度有大幅降低;又由于采用任意n量子扩展通用Toffoli门,该算法可综合任一置换(奇或偶置换)的量子可逆逻辑电路,并且电路中门的数量有所减少。 展开更多
关键词 量子可逆逻辑电路 量子计算 Toffoli门
在线阅读 下载PDF
量子可逆逻辑电路双向综合算法
4
作者 王冬 张晓蕾 朱长江 《小型微型计算机系统》 CSCD 北大核心 2014年第5期1111-1115,共5页
量子可逆逻辑电路综合技术是构建量子计算机的关键技术之一.本文提出基于数组正反变换的量子可逆逻辑电路双向综合算法.该算法依据两个数字间的汉明距离,利用邻接矩阵的电路转化规则,从正反两个方向,生成任意给定置换的量子可逆逻辑电路... 量子可逆逻辑电路综合技术是构建量子计算机的关键技术之一.本文提出基于数组正反变换的量子可逆逻辑电路双向综合算法.该算法依据两个数字间的汉明距离,利用邻接矩阵的电路转化规则,从正反两个方向,生成任意给定置换的量子可逆逻辑电路.理论分析表明,该方法综合n量子电路最多需要(n-1)·2n+1个扩展通用Toffoli门.与其它同类算法相比,由于不需要穷尽搜索,该算法的时间复杂度和空间复杂度都有大幅度降低.此外,由于合理采用了扩展通用Toffoli门,该算法可综合任一置换(包括奇置换和偶置换)的量子可逆逻辑电路,且电路中量子门的数量大幅减少. 展开更多
关键词 量子可逆逻辑电路 量子计算 Toffoli门
在线阅读 下载PDF
二分法在多线量子逻辑门分解中的应用
5
作者 许新山 肖芳英 +1 位作者 张军 陈汉武 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2010年第5期928-931,共4页
将经典的对称二分法应用于多线量子可逆逻辑门的分解中,证明当量子位数n≥5且3≤k≤n-2时,任意多线量子可逆逻辑门(′k-′CNOT门)可以在没有辅助位的情况下由少于[4﹂log2(k-2)」+1-3(2﹂log2(k-2)」+1-k+1)2﹂log2(k-2)」]个′2-′CNOT... 将经典的对称二分法应用于多线量子可逆逻辑门的分解中,证明当量子位数n≥5且3≤k≤n-2时,任意多线量子可逆逻辑门(′k-′CNOT门)可以在没有辅助位的情况下由少于[4﹂log2(k-2)」+1-3(2﹂log2(k-2)」+1-k+1)2﹂log2(k-2)」]个′2-′CNOT门(Toffoli门)构成.利用该方法可以使由多线量子可逆逻辑门分解而生成的物理电路门阵列数大幅下降.与Yang等报道的实验结果相比,′2-′CNOT门的数量级由O(2k)减少为O(k2). 展开更多
关键词 多线量子可逆逻辑 量子可逆逻辑电路 二分法 量子逻辑门分解
在线阅读 下载PDF
量子可逆电路综合的启发式快速匹配算法 被引量:4
6
作者 王冬 陈汉武 +1 位作者 安博 杨忠明 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2009年第5期900-903,共4页
提出了基于Reed-Muller展开式,使用CNT量子门库,以量子门表达式为启发式规则进行前向模式匹配的量子可逆逻辑电路快速综合算法.与通常所用的穷尽搜索算法相比,该算法利用量子门表达式作为启发式规则进行匹配代换,避免盲目匹配,有效降低... 提出了基于Reed-Muller展开式,使用CNT量子门库,以量子门表达式为启发式规则进行前向模式匹配的量子可逆逻辑电路快速综合算法.与通常所用的穷尽搜索算法相比,该算法利用量子门表达式作为启发式规则进行匹配代换,避免盲目匹配,有效降低了匹配复杂度,减少匹配代换的数量.同时该算法不会出现穷尽搜索中因不能找到有效解而进行回溯的现象,能以较小的时间空间复杂度生成最优或近似最优的量子可逆电路,特别在多量子可逆逻辑电路综合上,能够表现出更好的性能. 展开更多
关键词 量子可逆逻辑电路 Reed-Muller展开式 CNOT门 Toffoli门
在线阅读 下载PDF
基于矩阵初等变换的四量子比特可逆电路综合算法 被引量:2
7
作者 王冬 陈汉武 +1 位作者 安博 杨忠明 《电子学报》 EI CAS CSCD 北大核心 2010年第11期2561-2565,共5页
量子可逆电路实现信息变换的过程可用一个酉矩阵算子表示,采用酉矩阵表示量子可逆电路能更好地反映量子系统的演化,体现量子计算所特有的属性.本文提出基于矩阵初等变换的4量子比特可逆电路综合算法.该算法恰当地利用量子电路的矩阵表... 量子可逆电路实现信息变换的过程可用一个酉矩阵算子表示,采用酉矩阵表示量子可逆电路能更好地反映量子系统的演化,体现量子计算所特有的属性.本文提出基于矩阵初等变换的4量子比特可逆电路综合算法.该算法恰当地利用量子电路的矩阵表示及变换和邻接矩阵的电路转化规则,总能以较小的量子代价综合出任意给定置换的4量子比特可逆逻辑电路. 展开更多
关键词 量子计算 量子可逆逻辑电路 酉矩阵
在线阅读 下载PDF
基于对换门库的可逆逻辑电路综合算法
8
作者 李志钢 陈汉武 +2 位作者 李志强 朱皖宁 刘志昊 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2012年第5期832-836,共5页
为了将可逆函数以较小的代价自动构造为对应的可逆逻辑电路,提出了一种基于对换门库的综合算法.首先,将可逆函数的输出作为快速排序算法的输入数据,在排序算法中按顺序保留所交换的元素对,并输出该元素对序列;其次,利用置换群规则对该... 为了将可逆函数以较小的代价自动构造为对应的可逆逻辑电路,提出了一种基于对换门库的综合算法.首先,将可逆函数的输出作为快速排序算法的输入数据,在排序算法中按顺序保留所交换的元素对,并输出该元素对序列;其次,利用置换群规则对该序列进行优化处理,获得相似度最高的对换序列;然后,逆序排列该对换序列,并基于对换门库生成可逆函数的初始电路;最后,应用电路门优化规则,对初始电路进行优化,得到最终的可逆逻辑电路.相比于其他算法,所提算法明显提高了可逆逻辑综合效率,其思想的简洁性使得算法更易于理解和实现. 展开更多
关键词 量子可逆逻辑综合 置换群规则 对换门库 优化规则
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部