何金凤
,
管致锦
,
程学云
,
郁可人
,
徐明强
连铸
doi:10.3969/j.issn.1007-5461.2015.02.006
为了确保基于NCV门库的量子电路的正确性和有效性,给出了量子电路故障定位树的生成算法和量子电路黑盒检测算法来定位量子电路中的门丢失故障.该故障定位树算法去除约98％的无用输出向量,提取输出表中有效的输入向量以及对应的故障输出向量,逐层生成故障定位树.结合量子电路黑盒检测算法对量子电路进行故障定位时不需要访问输出表就能够有效定位量子电路中的丢失门.对benchmarks部分电路进行实验,结果验证了该算法定位单故障门的有效性.
关键词:
量子光学
,
量子电路
,
故障定位树
,
丢失门故障
,
NCV门库
程学云
,
管致锦
,
丁卫平
,
朱鹏程
量子电子学报
doi:10.3969/j.issn.1007-5461.2016.06.015
最近邻量子电路要求满足最近邻约束,只允许在相邻的量子位之间交互,线性量子电路是量子电路的一个重要部分.研究了表示线性最近邻量子电路布尔矩阵有效性的快速判定方法,时间复杂度从n!(n-1)变为O(n2).提出了基于有效布尔矩阵的大规模线性最近邻量子电路的并行综合算法,在不到10 s内对128线的任意线性最近邻量子电路完成了电路综合.提出的并行方法不仅保证了精度,也大大减少了量子电路的综合时间,扩大了求解电路的规模.
关键词:
量子信息
,
线性量子电路
,
线性最近邻
,
有效布尔矩阵
,
并行综合算法
徐海
,
管致锦
,
程学云
,
朱鹏程
量子电子学报
doi:10.3969/j.issn.1007-5461.2017.02.011
综合量子电路时必须考虑量子电路实现时的约束与限制.某些量子技术中只允许物理上相邻的量子比特有相互作用,实现时必须采用线性最近邻架构.通常通过添加交换门使任意一个量子门的控制位与目标位相近邻,并保证电路的功能不受影响.在分析电路中量子比特状态的基础上,提出了一种新的线性最近邻量子电路构造方法.结果表明:对于所有40320个三比特量子电路,提出方案比已有方案的量子代价优化了约30％.
关键词:
量子光学
,
线性最近邻
,
逻辑综合
,
量子电路
,
NCV门库
徐明强
,
管致锦
,
程学云
量子电子学报
doi:10.3969/j.issn.1007-5461.2014.05.011
为了提升可逆比较器的通用性,进一步优化可逆比较器电路.分析了比较器的输入与输出的逻辑关系,提出并设计了一位可逆比较器(OBC)和一位可逆完全比较器(OBCC).在此基础上将这两种器件进行级联,可以快速生成通用可逆比较器的级联电路.与相关文献对比,该级联方法有效地减少了常量输入和垃圾输出的同时,具有较低的量子代价,易于完成多位二进制数值在可逆电路中的比较.
关键词:
量子信息
,
可逆逻辑
,
可逆比较器
,
可逆级联电路
,
量子代价
