《基於unsharp量子邏輯的自動機理論》是依託中國科學院數學與系統科學研究院，由尚雲擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：基於unsharp量子邏輯的自動機理論
- 項目類別：青年科學基金項目
- 項目負責人：尚雲
- 依託單位：中國科學院數學與系統科學研究院
- 批准號：60603002
- 申請代碼：F0201
- 負責人職稱：研究員
- 研究期限：2007-01-01 至 2009-12-31
- 支持經費：24（萬元）
項目摘要
現有的量子自動機理論主要是基於sharp量子邏輯的。本項目旨在研究基於unsharp量子邏輯的自動機理論。（1）以面向unsharp量子邏輯的有效代數與MV代數為重點，通過研究它們的語義模型，初步建立有效結構上的量子自動機理論。（2）與經典自動機理論對比，分析非矛盾律和排中律的缺失對有效結構量子自動機的影響。分析各種有效結構的數學性質在量子自動機上的反映，以及它們和量子系統的物理性質的對應關係。（3）研究不同的unsharp定義組成的體系以及相應有效結構組成的體系，考慮它們對量子自動機結構和特性的影響和它們自身的相互影響。（4）分析unsharp量子邏輯上的自動機理論與sharp量子邏輯上的自動機理論的區別和聯繫。（5）從對數學性質的分析和量子力學的特性出發，尋找新的unsharp代數結構並研究相應的量子自動機。
