《幾類非經典計算模型及相關問題的研究》是依託中山大學，由邱道文擔任項目負責人的面上項目。
基本介紹
- 中文名：幾類非經典計算模型及相關問題的研究
- 項目類別：面上項目
- 項目負責人：邱道文
- 依託單位：中山大學
- 支持經費：23（萬元）
- 研究期限：2006-01-01 至 2008-12-31
- 負責人職稱：教授
- 申請代碼：F0201
- 批准號：60573006
中文摘要
本項目建立一類較寬泛的模糊計算模型，特別是系統地建立模糊離散事件系統中的監督控制理論；同時,以一些機率計算模型和模糊計算模型為基礎，基於Zadeh倡導的帶詞計算的思想，我們將這些模型的輸入從字元串推廣到詞串，並適當考慮它們在機率或模糊離散系統中的套用。我們討論量子多棧機機器和量子多計數機機器模擬量子Turing機,及有關的計算複雜性問題，然後以量子有限自動機及量子下推自動機為證實者，討論量子零知識互動式證明系統的計算能力和有關性質；同時探討量子計算模型的輸入是否可以量子化（以往的輸入往往是經典的）。通過幾種非傳統計算模型的研究，發現它們與傳統計算方法之間的一些本質差異，及在計算能力上的優越性。由於帶詞計算與量子計算源於不同研究背景的非傳統計算，所以我們所建立的帶詞計算的形式模型使幾種不同的非經典計算方法相互結合。這也是研究非經典計算的一條新的途徑。
