您的位置: 专家智库 > >

国家教育部博士点基金(20110092110024)

作品数:18 被引量:68H指数:4
相关作者:陈汉武刘志昊阮越朱皖宁薛希玲更多>>
相关机构:东南大学安徽工业大学南京邮电大学更多>>
发文基金:国家教育部博士点基金国家自然科学基金江苏省自然科学基金更多>>
相关领域:自动化与计算机技术电子电信理学更多>>

文献类型

  • 18篇中文期刊文章

领域

  • 10篇自动化与计算...
  • 6篇电子电信
  • 5篇理学

主题

  • 6篇量子
  • 4篇搜索
  • 4篇搜索算法
  • 4篇GROVER...
  • 3篇散射
  • 3篇可逆逻辑
  • 2篇硬币
  • 2篇算子
  • 2篇量子纠错码
  • 2篇逻辑综合
  • 2篇纠错
  • 2篇纠错码
  • 2篇可逆逻辑综合
  • 1篇递归
  • 1篇电路
  • 1篇电路实现
  • 1篇迭代
  • 1篇迭代次数
  • 1篇对换
  • 1篇多峰函数

机构

  • 16篇东南大学
  • 5篇安徽工业大学
  • 2篇南京邮电大学
  • 2篇扬州大学
  • 1篇金陵科技学院
  • 1篇江苏海事职业...
  • 1篇南京森林警察...

作者

  • 16篇陈汉武
  • 8篇刘志昊
  • 6篇阮越
  • 6篇朱皖宁
  • 3篇薛希玲
  • 3篇樊继豪
  • 2篇李志强
  • 2篇赵生妹
  • 2篇李文骞
  • 2篇李志钢
  • 1篇邢美菊
  • 1篇肖芳英
  • 1篇张军
  • 1篇张俊
  • 1篇许娟
  • 1篇刘艳梅
  • 1篇李科
  • 1篇章彬彬
  • 1篇李荣贵
  • 1篇周刚

传媒

  • 5篇东南大学学报...
  • 4篇电子学报
  • 3篇物理学报
  • 2篇计算机学报
  • 2篇Chines...
  • 2篇中国科学:信...

年份

  • 2篇2017
  • 5篇2016
  • 4篇2015
  • 3篇2014
  • 3篇2013
  • 1篇2012
18 条 记 录,以下是 1-10
排序方式:
基于汉明距离递减变换的可逆逻辑综合算法被引量:8
2014年
可逆逻辑综合是指对给定的可逆函数自动构造对应的可逆逻辑电路.现有的可逆逻辑综合算法虽然通过后期优化能够得到近似最优解,但是都存在生成的原始电路门数较多的问题,增加了后期优化工作的难度.文中提出一种基于真值表异位数计算的综合方法,根据异位数判定是否需增加逻辑非门达到减少输入和输出向量的汉明距离,从而实现边计算边简化函数,最后采用汉明距离递减变换的方法生成最终的电路.通过实验表明,相比于其他的综合算法,该算法得到的原始电路更接近于最优解或近似最优解,很大程度上减少了算法后续的优化工作量.
陈汉武李文骞阮越李志强
关键词:可逆逻辑综合汉明距离
Search algorithm on strongly regular graphs based on scattering quantum walks
2017年
Janmark, Meyer, and Wong showed that continuous-time quantum walk search on known families of strongly regular graphs(SRGs) with parameters(N, k, λ, μ) achieves full quantum speedup. The problem is reconsidered in terms of scattering quantum walk, a type of discrete-time quantum walks. Here, the search space is confined to a low-dimensional subspace corresponding to the collapsed graph of SRGs. To quantify the algorithm's performance, we leverage the fundamental pairing theorem, a general theory developed by Cottrell for quantum search of structural anomalies in star graphs.The search algorithm on the SRGs with k scales as N satisfies the theorem, and results can be immediately obtained, while search on the SRGs with k scales as√N does not satisfy the theorem, and matrix perturbation theory is used to provide an analysis. Both these cases can be solved in O(√N) time steps with a success probability close to 1. The analytical conclusions are verified by simulation results on two SRGs. These examples show that the formalism on star graphs can be applied more generally.
薛希玲刘志昊陈汉武
关键词:图搜索算法强正则图散射MEYER搜索空间
基于经典Goppa码的非对称量子稳定子码构造被引量:1
2013年
自从Calderbank等人建立了从经典纠错码构造量子纠错码的CRSS构造法以来,人们利用经典纠错码构造了大量的性能良好的量子纠错码,称为量子稳定子码.最近的物理实验表明,大多数量子力学系统中发生量子比特翻转错误的概率远小于量子相位翻转错误的概率,针对这一情况所构造的纠错码称为非对称量子纠错码.本文分别基于嵌套包含Goppa码与对偶包含Goppa码构造了一系列新的非对称量子稳定子码.在基于嵌套包含Goppa码构造非对称量子码时,首先对Goppa码的选取做一定的限制,以便解析构造量子码.对于一般情况下的构造,则是借助于数学软件Matlab计算Goppa码对偶码的最小距离进行的.在基于对偶包含Goppa码的构造中,所构造量子码的纠错能力主要体现在纠正Z类型错误上.
樊继豪陈汉武阮越许娟刘志昊
关键词:量子纠错码
星图上的散射量子行走搜索算法被引量:2
2015年
量子行走是一种典型的量子计算模型,近年来开始受到量子计算理论研究者们的广泛关注.本文首先证明了在星图上硬币量子行走与散射量子行走的酉等价关系,之后提出了一个在星图上的散射量子行走搜索算法.该算法的时间复杂度与Grover算法相同,但是当搜索的目标数目多于总数的1/3时搜索成功概率大于Grover算法.
刘艳梅陈汉武刘志昊薛希玲朱皖宁
关键词:GROVER算法
基于Grover硬币算子的量子行走在商图上的演化算子被引量:1
2016年
商图是利用图的对称性分析量子行走算法的一种重要数学工具.量子行走在商图上的演化算子由移位算子和硬币算子构成.本文以构造的方式给出了Grover硬币算子在超立方体的商图上对应的矩阵形式,并给出了其正确性证明.由于商图上的移位算子可由原图上的移位算子直接导出,从而确定了使用Grover算子作为硬币的量子行走在商图上的演化算子.
薛希玲李文骞陈汉武刘志昊
基于新型可逆门的可扩展可逆比较器
2014年
针对当前可逆比较器设计方案缺乏可扩展性的问题,提出了基于新型可逆门的具有可扩展性的可逆比较器可逆逻辑电路设计方案.该方案根据二进制数比较的特点采用递归思想将电路分解为2种新型可逆门,对分解出的每一个可逆门进行可逆逻辑综合,再将这2种可逆门级联成可逆比较器.给出了设计方案中每一步的逻辑演算,利用编码的思想进行带无关项的可逆逻辑综合,最终给出了具体的可逆比较器的综合方案.同时,以可逆比较器作为元器件给出了败者树排序电路,将排序的时间复杂度降低到Θ(n).
朱皖宁陈汉武阮越
关键词:递归
基于相位匹配的量子行走搜索算法及电路实现被引量:2
2015年
量子行走是经典随机行走在量子力学框架下的对应,理论上可以用来解决一类无序数据库的搜索问题.因为携带信息的量子态的扩散速度与经典相比有二次方式的增长,所以量子行走优于经典随机行走,量子行走的特性值得加以利用.量子行走作为一种新发现的物理现象的数学描述,引发了一种新的思维方式,孕育了一种新的理论计算模型.最新研究表明,量子行走本身也是一种通用计算模型,可被视为设计量子算法的高级工具,因此受到部分计算机理论科学领域学者的关注和研究.对于多数问题求解方案的量子算法的设计,理论上可以只在量子行走模型下进行考虑.基于Grover算法的相位匹配条件,本文提出了一个新的基于量子行走的搜索算法.理论演算表明:一般情况下本算法的时间复杂度与Grover算法相同,但是当搜索的目标数目多于总数的1/3时,本算法搜索成功的概率要大于Grover算法.本文不但利用Grover算法中相位匹配条件构造了一个新的量子行走搜索算法,而且在本研究室原有的量子电路设计研究成果的基础上给出了该算法的量子电路表述.
陈汉武李科赵生妹
关键词:GROVER算法相位匹配
基于散射量子行走的完全图上结构异常搜索算法
2016年
完全图KN上某个顶点连接到图G将破坏其对称性.为加速定位这类结构异常,基于散射量子行走模型设计搜索算法,首先给出了算法酉算子的定义,在此基础上利用完全图的对称性,将算法的搜索空间限定为一个低维的坍缩图空间.以G为一个顶点的情况为例,利用硬币量子行走模型上的研究结论简化了坍缩图空间中酉算子的计算,并借助矩阵扰动理论分析算法演化过程.针对星图SN上结构异常的研究表明,以星图中心节点为界将整个图分为左右两个部分,当且仅当两部分在N→∞时具有相同的特征值,搜索算法可以获得量子加速.本文说明星图上的分析方法和结论可以推广至完全图的坍缩图上.基于此,本文证明无论完全图连接的图G结构如何,搜索算法均可在O(√N)时间内定位到目标顶点,成功概率为1-O(1/√N),即量子行走搜索该类异常与经典搜索相比有二次加速.
薛希玲陈汉武刘志昊章彬彬
关键词:量子搜索完全图
基于NCP门库的一维量子行走可逆逻辑电路被引量:1
2013年
本文提出了基于NCP门库的一维量子行走可逆逻辑电路设计方案.根据一维量子行走的特点,电路被划分为投掷硬币和S操作两个部分;文章详细分析一维量子行走,对其行为数学建模,巧妙利用可控加减电路实现了S操作.目前对于量子行走算法的研究多数局限于数学理论和数理解析层面,在量子电路理论层面对量子行走算法的研究为数不多.本文利用原始递归给出了一维量子行走中每一步在量子电路理论层面上的数学表达式;提出的可逆逻辑电路描述了一维量子行走的最基本操作,并且将其使用模块化表示,使一维量子行走算法的研究从理论到实现上前进了一步.
朱皖宁陈汉武李志钢阮越王冬周刚
关键词:可逆逻辑
量子主成分分析算法被引量:32
2014年
主成分分析(Principal Component Analysis,PCA)是模式识别领域,尤其是人脸识别中一种应用广泛的重要算法.然而,在此算法及其后续的改造算法中始终存在两个主要问题:(1)降维处理后的特征空间依然较大;(2)用于比较两幅人脸特征相似性的测度方法计算量较大,从而导致算法在识别阶段的时间效率较差.该文基于量子信息的相关理论与方法,并受算术编码基本思想的启发,提出了量子PCA算法.设计了一种人脸特征编码方案,进一步压缩了降维处理后的特征空间;将两幅人脸特征的相似性测度方法改为在某一阈值条件下的等值判定;应用Grover算法修改识别阶段的处理流程,使得算法的时间效率有了显著提高.
阮越陈汉武刘志昊张俊朱皖宁
关键词:主成分分析量子计算
共2页<12>
聚类工具0