借助线路模型模拟量子计算,构建量子信息演算可视化平台是一个复杂的包含多学科理论与技术的研究课题.需要研究最优量子可逆逻辑自动生成方法;量子可逆逻辑错误模型及检测方法;可逆逻辑的综合与分析中量子判定树的最佳计算方法;量子傅立叶变换及量子信息与计算的可视化程序设计方法,最终实现量子计算的线路模型表示及其运算能力极限的探讨.课题的研究将涉及量子力学中物理系统状态空间;量子系统演算规律;量子测量算子及复合量子系统状态描述等基本概念,还涉及计算机辅助量子可逆电路生成;优化及测试集合的自动化模式构造;量子信息与计算的傅立叶变换与可视化程序设计等理论与技术问题。课题今后的目标是构建量子可逆逻辑自动生成与量子信息演算可视化计算机辅助平台.研究过程将注重借鉴经典计算机科学的概念与技术,结合量子力学的新思想,关注给定计算问题的量子算法设计问题,关注量子计算极限能力及经典计算中NP问题的量子解决方案的相关研究.
英文主题词Quantum information and computation, Quantum reversible logic, Quantum Fourier Transform, Quantum information visualization, Quantum reversible logic