陈汉武
- 作品数：81 被引量：215H指数：9
- 供职机构：东南大学计算机科学与工程学院更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金江苏省高校自然科学研究项目更多>>
- 相关领域：自动化与计算机技术电子电信理学文化科学更多>>
- 高斯型信道容量函数的特征被引量：1
- 2004年
- 利用泛函分析的思想研究高斯型信道容量函数的特征 ,给出了经典信息理论中高斯型信道容量函数特征的一种新的证明方法 .证明了不带有反馈的高斯型信道容量函数Cn,Z(P)和带有反馈的高斯型信道容量函数Cn ,FB ,Z(P)都是关于平均功率P的凹函数 ;同时证明了Cn,Z(P)是关于噪声Z的凸函数 ,Cn,FB,Z(P)却是关于噪声Z在某种意义上的凸函数 .这些结果将有助于高斯信道容量的研究 .
- 陈汉武
- 关键词：信道容量
- 类选择排序的可逆逻辑综合算法被引量：6
- 2010年
- 可逆逻辑综合是指对给定的可逆函数自动构造对应的可逆逻辑电路.由于搜索空间随电路规模增长成指数增长,现有的可逆逻辑综合算法虽然能够得到近似最优的解,但是都存在计算时间过长的问题.文中提出了一种类似选择排序的可逆逻辑综合算法,其实质为基于变换规则的合成法.它采用一个无向无权图表示所有可以进行变换的路径,在综合的过程中,采用选择排序思想每次从小到大的选择需要交换的输出项,然后从路径选择图中找到最优的路径进行变换,最终使得函数的输出序列有序即完成综合.此外,文中还对得到的量子电路进行了优化.实验表明,相比其它综合算法,该算法不仅总能获得最优解或近似最优解,而且效率高、易于实现.
- 万四爽陈汉武曹如进
- 关键词：量子计算可逆逻辑综合量子电路
- 科技型企业管理特色理论的研究
- 1995年
- 科技型企业管理特色理论的研究肖渡，胡汉辉，陈汉武一、引言：管理学界面向２１世纪的课题科技型企业管理特色理论的系统研究近年来得到越来越多的重视：科技型企业的概念越来越明晰，权威部门已开始了高新技术企业发展的评价，一些高等学校已设置了硕士学位的科技型企业...
- 肖渡胡汉辉陈汉武
- 关键词：企业管理
- 可逆电路中门失效错误的定位方法
- 2007年
- 可逆电路是量子计算科学、低能耗COMS以及纳米技术蜒究的基础。确保可逆电路的正确性和可靠性,错误检测和定位必不可少。本文通过分析可逆电路发生门失效错误时对电路的影响,给出了一种门失效模型的错误定位方法,即生成错误定位树的方法。本文生成的错误定位树中,根据输入向量的不同输出能把当前错误集划分成多个小的错误集,使得树的高度较小,定位错误较快。此外,在生成电路的错误定位树时不需要生成真值表和错误表,从而节省了大量的存储空间,所以能应用于大型的电路。
- 肖芳英陈汉武李志强陈开中
- 二分法在多线量子逻辑门分解中的应用
- 2010年
- 将经典的对称二分法应用于多线量子可逆逻辑门的分解中,证明当量子位数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).
- 许新山肖芳英张军陈汉武
- 关键词：量子可逆逻辑电路
- 基于Ring-Sum-Expansion范式的Reed-Muller展开式算法被引量：1
- 2010年
- 为了改善生成Reed-Muller展开式的灵活性,提出了基于RSE范式的Reed-Muller展开式算法.根据将析取主范式转化为Ring-Sum-Expansion范式的过程,先使用真值表输入项构造预处理表,再从真值表中抽取使输出项为真的二进制码,通过预处理表直接解出每一个输出项的Reed-Muller展开式.对算法进行复杂度分析比较表明,与通常所用的GRM递归算法和GRM矩阵相乘Reed-Muller展开式算法相比,该算法在生成展开式时具有更好的灵活性,可以单独生成指定输出项的Reed-Muller展开式,不同于常用算法必须要一次生成全部输出项的Reed-Muller展开式.
- 朱皖宁陈汉武刘志昊王冬
- 基于BDD的Grover算法仿真被引量：1
- 2009年
- 为了解决仿真量子计算过程中复杂性随量子比特数的增加呈指数级递增的问题,采用二项决策图(BDD)表示矩阵算子仿真Grover提出的量子搜索算法.BDD利用矩阵算子在量子计算过程中呈现出的结构化特性,可以高效地压缩存储空间并实现在压缩数据结构上直接进行矩阵的各种运算.利用改进的BDD实现了仿真过程需要的各种矩阵运算,用C++编写的程序对Grover算法的实例进行仿真,最后从多个角度对违反直观的实验结果进行了分析,阐述了量子算法的内在并行性.
- 薛希玲陈汉武陈开中李志强
- 关键词：量子算法
- 量子稳定子码的概率译码
- 2011年
- 为了提高量子稳定子码的译码速率,提出了一种基于校验矩阵的量子概率译码算法。通过选择具有最小量子权重的算子作为差错算子来减少译码出错概率,通过预先构造量子标准阵列来缩短译码时间。与已有的量子最大似然译码算法相比,该算法对简并码和非简并码采用统一的译码方式,从而提高了简并码的译码可靠性。此外,算法不需要预先寻找差错算子对应的向量空间的基,因此算法复杂度更小。
- 肖芳英陈汉武
- 关键词：校验矩阵
- 基于汉明距离递减变换的可逆逻辑综合算法被引量：8
- 2014年
- 可逆逻辑综合是指对给定的可逆函数自动构造对应的可逆逻辑电路.现有的可逆逻辑综合算法虽然通过后期优化能够得到近似最优解,但是都存在生成的原始电路门数较多的问题,增加了后期优化工作的难度.文中提出一种基于真值表异位数计算的综合方法,根据异位数判定是否需增加逻辑非门达到减少输入和输出向量的汉明距离,从而实现边计算边简化函数,最后采用汉明距离递减变换的方法生成最终的电路.通过实验表明,相比于其他的综合算法,该算法得到的原始电路更接近于最优解或近似最优解,很大程度上减少了算法后续的优化工作量.
- 陈汉武李文骞阮越李志强
- 关键词：可逆逻辑综合汉明距离
- 量子可逆逻辑电路最小代价综合算法被引量：4
- 2008年
- 采用位运算构造了一个完备的Hash函数,提出了基于Hash表的新型量子可逆逻辑电路综合算法.利用该算法可对多种量子门采用任意量子代价标准,以较高的效率生成最优的量子可逆逻辑电路.按照国际同行认可的三变量可逆函数测试标准,该算法不仅能够生成全部最优电路,而且运行速度远远超过其他算法.实验结果表明,该算法在同等计算环境下,以目前最好结果为基准,按最小量子代价标准,综合电路的平均速度是最好结果的472.5倍.
- 李志强陈汉武
