王冬
- 作品数：19 被引量：35H指数：4
- 供职机构：河南大学软件学院更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金河南省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学更多>>
- 基于二分法量子可逆逻辑电路综合被引量：6
- 2012年
- 为了能以较小的代价自动高效地构造量子可逆逻辑电路,提出了一种新颖的量子可逆逻辑电路综合方法.该方法通过线拓扑变换和对换演算,利用递归思想,将n量子电路综合问题转换成单量子电路综合问题,从而完成电路综合,经过局部优化生成最终电路.该算法综合出全部的3变量可逆函数,未优化时平均需6.41个EGT门,优化后平均只需5.22个EGT门;理论分析表明,综合n量子电路最多只需要n2n-1个EGT门.与同类算法相比,综合电路所用可逆门的数量大幅减少.同时该算法还避免了时空复杂度太大的问题,便于经典计算机实现.
- 杨忠明陈汉武王冬
- 关键词：可逆逻辑电路综合量子计算
- 基于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展开式.
- 朱皖宁陈汉武刘志昊王冬
- 基于真值表演算的四量子电路综合方法
- 2010年
- 为了能以较小的代价高效地自动构造量子可逆逻辑电路,提出了一种新颖的四量子可逆逻辑综合方法.该方法首先将一个四量子电路的函数表示成真值表的形式;然后利用传统的递归思想,通过对换演算,将四量子电路映射函数的真值表分解成2块相互独立的三量子电路映射函数的真值表;再查找相应的最优三量子电路,直接生成相关电路;最后将对换运算的电路并入该电路,经过局部优化即可生成最终电路.分析结果表明,用该方法综合四量子电路能大幅减少TOF门的数量,平均需要15.74个TOF门,最多只需24个TOF门.同时该算法避免了穷举法所需的时空复杂度太大的问题,便于经典计算机实现.
- 杨忠明陈汉武安博王冬李志强
- 关键词：可逆逻辑量子计算
- 多值逻辑量子置换门的酉矩阵表示被引量：3
- 2012年
- 理论上量子可逆电路不存在能量耗散问题,因此量子计算系统对环境产生的负面影响可以达到最低.多值逻辑量子置换门是构建多值逻辑量子电路的基本单元.该文从数学的角度研究多值逻辑量子置换门的酉矩阵,提出了一种构造多值逻辑量子置换门酉矩阵的方法,并对其正确性进行了讨论.在此基础之上,又给出了构造混合多值逻辑量子置换门酉矩阵的框架,利用此框架可以方便地构造任何混合逻辑量子置换门的酉矩阵.酉矩阵是量子门的数学模型,可以清晰地反映出量子门的数学性质.研究量子门的酉矩阵对验证量子门的正确性和可靠性,分析量子状态在电路中的演化过程及发展趋势具有一定的意义.
- 王冬陈汉武朱皖宁刘志昊
- 关键词：量子计算多值逻辑低功耗
- 疫情期间计算机课程在线教学组织实施探索与实践被引量：2
- 2021年
- 针对疫情特殊时期"停课不停教"具体情况,分析了利用线上优质教学资源,选定实用可靠的在线教学平台,落实实验实践课在线教学的方法。提出根据线上线下、课前课中课后的"两度空间三个时段",对教学内容、知识结构和教学方法等进行重构和设计的方法。文章介绍了利用在线教学收集教学数据,进而构建数据驱动的智能教学机制及其效果保障与评估机制的探索与实践。
- 马骏张东生王冬李涵
- 关键词：在线教学教学模式实践教学教学研究
- 基于多目标扩展通用Toffoli门的量子比较器设计被引量：11
- 2012年
- 利用多目标扩展通用Toffoli门,提出了经典量子信息比较器的设计构造方法,并对其正确性进行了理论证明,在此基础之上,给出了量子比较器在简单搜索问题中的一个应用。与其它同类量子比较器相比,此比较器通过减少使用辅助位来节约相关量子资源;通过设置多目标扩展通用Toffoli门的控制条件,使得在比较出结果后剩余的门不再起作用,从而提高了运行效率,降低了出错率,增强了比较器的鲁棒性。
- 王冬刘志昊朱皖宁李善治
- 关键词：量子计算
- 基于NCP门库的一维量子行走可逆逻辑电路被引量：1
- 2013年
- 本文提出了基于NCP门库的一维量子行走可逆逻辑电路设计方案.根据一维量子行走的特点,电路被划分为投掷硬币和S操作两个部分;文章详细分析一维量子行走,对其行为数学建模,巧妙利用可控加减电路实现了S操作.目前对于量子行走算法的研究多数局限于数学理论和数理解析层面,在量子电路理论层面对量子行走算法的研究为数不多.本文利用原始递归给出了一维量子行走中每一步在量子电路理论层面上的数学表达式;提出的可逆逻辑电路描述了一维量子行走的最基本操作,并且将其使用模块化表示,使一维量子行走算法的研究从理论到实现上前进了一步.
- 朱皖宁陈汉武李志钢阮越王冬周刚
- 关键词：可逆逻辑
- 高职高专院校计算机基础教育的一点体会和想法
- 2007年
- 本文针对高职高专院校计算机教育的特殊性,以培养计算机应用人才为目标,阐述了作者在高职计算机基础教育实践中对教学内容、教学方法和教学手段的一些体会和想法,包括作者进行的教改实践和探索,以及取得的成效。
- 武澎王冬
- 关键词：高职计算机教育网络学习师资建设
- 量子三值全加器设计被引量：1
- 2014年
- 量子多值加法器是构建量子多值计算机的基本模块.通过认真分析三元域上加法的运算规则及带进位加法的真值表,通过设置扩展三值Toffoli门的控制条件有效实现一位加法在各种情况下的进位,利用三值Feynman门实现一位加法的求和运算,由此设计出一位量子三值全加器,再利用进位线将各位量子全加器连接起来构造出n位量子三值全加器.与同类电路相比,此量子全加器所使用的辅助线及量子代价都有所减少.
- 王冬朱长江张晓蕾
- 关键词：多值逻辑全加器
- 基于矩阵初等变换的四量子比特可逆电路综合算法被引量：2
- 2010年
- 量子可逆电路实现信息变换的过程可用一个酉矩阵算子表示,采用酉矩阵表示量子可逆电路能更好地反映量子系统的演化,体现量子计算所特有的属性.本文提出基于矩阵初等变换的4量子比特可逆电路综合算法.该算法恰当地利用量子电路的矩阵表示及变换和邻接矩阵的电路转化规则,总能以较小的量子代价综合出任意给定置换的4量子比特可逆逻辑电路.
- 王冬陈汉武安博杨忠明
- 关键词：量子计算量子可逆逻辑电路酉矩阵
