位置：立项数据库 > 立项详情页
量子软件的理论与方法
  • 项目名称：量子软件的理论与方法
  • 项目类别：重点项目
  • 批准号：60736011
  • 申请代码：F0201
  • 项目来源：国家自然科学基金
  • 研究期限：2008-01-01-2011-12-31
  • 项目负责人：应明生
  • 负责人职称：教授
  • 依托单位：清华大学
  • 批准年度：2007
中文摘要：

量子计算是计算机科学与量子力学的交叉学科。由于量子计算机潜在的强大计算能力，它受到了广泛的关注。软件是计算机的灵魂，量子软件在发挥未来量子计算机的能力中必将起到关键性的作用。但是，关于量子软件的研究还处于起步阶段，只有一些零散的工作。本项目的目的是系统深入地发展量子软件的理论和方法一些重要方面，主要研究如下问题1．量子计算的数学模型与逻辑基础， 包括量子逻辑门的普适性与量子电路的化简，基于量子逻辑的计算理论，量子纠缠的范畴论刻画；2．顺序量子程序及其形式语义， 包括量子循环程序，顺序量子程序的形式语义；3．量子通信并发系统， 包括量子通信并发系统的进程代数及其在量子通信协议验证中的应用；4．量子软件理论研究对于量子信息与量子力学的反作用，包括量子程序设计方法在量子算法设计中的应用，物理系统的量子计算模型。

中文主题词： 量子计算机；量子软件；量子程序设计；量子通信并发系统；形式语义
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 36
  • 10
  • 0
  • 2
  • 1
期刊论文
Floyd-Hoare logic for quantum programs
The LU-LC conjecture is false
No-go theorem for one-way quantum computing on naturally occurring two-level systems
Any 2\otimes n subspace is locally distinguishable
Tensor rank of the tripartite state \ket{W}^(\otimes n)
Quantum capacity approaching codes for the detected-jump channel
Local distinguishability of orthogonal 2 times 3 pure states
An algebraic language for distributed quantum computing.
Entanglement can completely defeat quantum noise
Tensor rank and stochastic entanglement catalysis for multipartite pure states.
When is there a multipartite maximum entangled state
Quantum programming： From theories to implementations
Quantum loop programs
Parameter estimation of quantum channels.
Superactivation of the asymptotic zero-error classical capacity of a quantum channel
Reasoning about cardinal directions between extended objects
Locally undetermined states, generalized Schmidt decomposition, and applications in distributed comp
A flow-chart language for quantum programming
Tripartite entanglement transformations and tensor rank
Some bounds on the minimum number of queries required for quantum channel perfect discrimination
Ancilla-assisted discrimination of quantum gates
QIP=PSPACE
会议论文
QIP = PSPACE
Multi-error-correcting amplitude damping codes
Reasoning with Cardinal Directions: An Efficient Algorithm
Zero-error communication via quantum channels, non-commutative graphs and a quantum Lovasz theta fun
Bisimulation for quantum processes
Foundations of quantum programming (Extended Abstract)
Bounds on the distance between a unital quantum channel and the convex hull of unitary channels,with
On the solution space of quantum 2-SAT problems
Super-duper-activation of the zero-error quantum capacity
The LU-LC conjecture is false
获奖
非经典计算的形式化模型与逻辑基础
非经典计算的形式化模型与逻辑基础
著作
Predicate transformer semantics of quantum programs
相关项目
面向随机性的形式化方法
量子密码体制研究
期刊论文 122 会议论文 1 专利 2 著作 1
后量子密码多变量公钥密码体制
期刊论文 1
有理分式公钥密码构造理论研究
期刊论文 80 会议论文 4 专利 9 著作 2
Web事务的模型和语义研究
期刊论文 7 会议论文 23
基于积累型砷化镓门型量子点的固态量子比特
期刊论文 10
量子计算机信息处理的理论基础研究
期刊论文 8
面向量子消息的公钥密码学
期刊论文 12 会议论文 9
基于语义的医学临床案例库及知识发现研究
期刊论文 15 会议论文 2
应明生的项目
连续状态空间上的谓词转换器语义
面向随机性的形式化方法
第6届智能文本处理与计算语言学国际会议
11届国际模糊系统协会年会
智能信息处理的理论与方法
期刊论文 61 会议论文 57 获奖 1 著作 1
智能信息处理的理论与方法
期刊论文 84 会议论文 9