项目名称: 量子计算的线路模型描述的关键技术研究
项目编号: No.60873101
项目类型: 面上项目
立项/批准年度: 2009
项目学科: 轻工业、手工业
项目作者: 陈汉武
作者单位: 东南大学
项目金额: 36万元
中文摘要: 借助线路模型模拟量子计算,构建量子信息演算可视化平台是一个复杂的包含多学科理论与技术的研究课题.需要研究最优量子可逆逻辑自动生成方法;量子可逆逻辑错误模型及检测方法;可逆逻辑的综合与分析中量子判定树的最佳计算方法;量子傅立叶变换及量子信息与计算的可视化程序设计方法,最终实现量子计算的线路模型表示及其运算能力极限的探讨.课题的研究将涉及量子力学中物理系统状态空间;量子系统演算规律;量子测量算子及复合量子系统状态描述等基本概念,还涉及计算机辅助量子可逆电路生成;优化及测试集合的自动化模式构造;量子信息与计算的傅立叶变换与可视化程序设计等理论与技术问题。课题今后的目标是构建量子可逆逻辑自动生成与量子信息演算可视化计算机辅助平台.研究过程将注重借鉴经典计算机科学的概念与技术,结合量子力学的新思想,关注给定计算问题的量子算法设计问题,关注量子计算极限能力及经典计算中NP问题的量子解决方案的相关研究.
中文关键词: 量子信息与计算;量子可逆逻辑;量子傅立叶变换;量子信息可视化;量子可逆逻辑错误模型
英文摘要: Simulating quantum computation by means of quantum circuit model and constructing visualization platform of quantum information calculus is complicated research topic including multi-disciplinary theory and technology. In order to ultimately implement the circuit modal representation of quantum computation and investigate limit of its computational power, research needs to be done about the automatic generation of optimum quantum reversible logic, quantum reversible logic fault model and detection method, construction of quantum decision tree in reversible logic synthesis and analysis, Quantum Fourier Transform and visual programming method of quantum information and computation.The study will involve basis concepts, as state space of physical system in quantum mechanics, evolution law of quantum system, quantum measurement operators and descriptions of states of composite system. Computer aided generation of quantum reversible circuit, automatic construction of optimization and test sets and Quantum Fourier Transform and visual programming are also concerned.The research in future is aimed at constructing visual computer aided platform of automatic generation of quantum reversible logic and quantum information evolution. And it will draw lessons form conceptions and technologies of classical computer science, combine new ideas of quantum mechanics, pay attention to the design of quantum algorithms of provided problems, and to the quantum computational power limit and the quantum solutions of NP problems in classical computation.
英文关键词: Quantum information and computation; Quantum reversible logic; Quantum Fourier Transform; Quantum information visualization; Quantum reversible logic