《量子軟體的理論與方法》是依託清華大學，由應明生擔任項目負責人的重點項目。
基本介紹
- 中文名：量子軟體的理論與方法
- 依託單位：清華大學
- 項目負責人：應明生
- 項目類別：重點項目
- 負責人職稱：教授
- 批准號：60736011
- 研究期限：2008-01-01 至 2011-12-31
- 申請代碼：F0201
- 支持經費：200（萬元）
項目摘要
量子計算是計算機科學與量子力學的交叉學科。由於量子計算機潛在的強大計算能力，它受到了廣泛的關注。軟體是計算機的靈魂，量子軟體在發揮未來量子計算機的能力中必將起到關鍵性的作用。但是，關於量子軟體的研究還處於起步階段，只有一些零散的工作。本項目的目的是系統深入地發展量子軟體的理論和方法一些重要方面，主要研究如下問題：1．量子計算的數學模型與邏輯基礎， 包括：量子邏輯門的普適性與量子電路的化簡，基於量子邏輯的計算理論，量子糾纏的範疇論刻畫；2．順序量子程式及其形式語義， 包括：量子循環程式，順序量子程式的形式語義；3．量子通信並發系統， 包括量子通信並發系統的進程代數及其在量子通信協定驗證中的套用；4．量子軟體理論研究對於量子信息與量子力學的反作用，包括：量子程式設計方法在量子算法設計中的套用，物理系統的量子計算模型。
