公开(公告)号：CN104615861A

公开(公告)日：2015-05-13

申请号：CN201510015731.8

申请日：2015-01-13

Applicant: 南通大学

Inventor： 程学云 ,  管致锦 ,  朱鹏程 ,  马海英 ,  陆和萍 ,  丁卫平 ,  徐明强 ,  张义清 ,  徐敏 ,  朱玲玲 ,  何金凤 ,  鹿玉 ,  徐海

IPC: G06F19/00

Abstract: 本发明公开了一种用于可逆电路优化的可逆门移动方法，包括新的可逆门移动方法的描述，基于该移动方法构建的三种子序列化简方法，最后给出了可逆电路中基于这些方法进行优化的具体过程。本发明给出的可逆门移动方法约束条件少，适用性更强，并使得可逆门在可逆电路中的移动范围变大，能将更多的可约简子序列中的门移动到一起进行约简，解决了原来可逆电路化简中部分可逆门因无法移动而无法进一步优化的问题。新的可逆门移动方法，以及基于此构建的化简方法，是已有可逆门移动和化简方法的有效补充，能进一步改善可逆电路的优化效果。

公开(公告)号：CN104615861B

公开(公告)日：2017-09-26

申请号：CN201510015731.8

申请日：2015-01-13

Applicant: 南通大学

Inventor： 程学云 ,  管致锦 ,  朱鹏程 ,  马海英 ,  陆和萍 ,  丁卫平 ,  徐明强 ,  张义清 ,  徐敏 ,  朱玲玲 ,  何金凤 ,  鹿玉 ,  徐海

IPC: G06F19/00

Abstract: 本发明公开了一种用于可逆电路优化的可逆门移动方法，包括新的可逆门移动方法的描述，基于该移动方法构建的三种子序列化简方法，最后给出了可逆电路中基于这些方法进行优化的具体过程。本发明给出的可逆门移动方法约束条件少，适用性更强，并使得可逆门在可逆电路中的移动范围变大，能将更多的可约简子序列中的门移动到一起进行约简，解决了原来可逆电路化简中部分可逆门因无法移动而无法进一步优化的问题。新的可逆门移动方法，以及基于此构建的化简方法，是已有可逆门移动和化简方法的有效补充，能进一步改善可逆电路的优化效果。

公开(公告)号：CN104462689A

公开(公告)日：2015-03-25

申请号：CN201410745167.0

申请日：2014-12-09

Applicant: 南通大学

Inventor： 管致锦 ,  鹿玉 ,  程学云 ,  徐海 ,  曲艺 ,  郁可人 ,  潘雨坤

IPC: G06F17/50

Abstract: 本发明公开了一种线性最近邻量子电路生成器，主要包括三个模块，分别为输入模块：主要任务是将原始量子电路转换为符号矩阵并进行存储；处理模块：主要任务是存储量子电路中使用的量子门的量子代价以及进行线性最近邻高斯消去法的实施；输出模块：对最终转换后的符号矩阵进行输出，即构成的线性最近邻量子电路的组成结构。本发明的方法是构建线性最近邻量子电路生成器，实现了量子电路形成最近邻结构，通过提出的线性最近邻高斯消去法，实现了减少量子电路中量子门使用数量的目的，从而达到便于量子电路物理实现以及降低电路能耗的效果，在几乎所有的情况下，本发明比现有的方法产生较低的量子代价。