基於分明量子邏輯的自動機理論（automata theory based on sharp quantum logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基於分明量子邏輯的自動機理論（automata theory based on sharp quantum logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義初始狀態、終止狀態，以及轉移函式...
基於分明量子邏輯的量子有限自動機（sharp quantum logic based quantum finite automata）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 由應明生於2000年開創。其中以伯克霍夫（Birkhoff）和馮·諾依曼（vonNeumann）的...
量子計算是計算機科學領域重要的研究方向，其中量子計算模型是其關鍵的科學問題之一。本項目擬採用語義分析方法，完善基於量子邏輯的計算理論：建立量子邏輯框架下的上下文無關文法、有限樹自動機、ω-正則表達式、Müller自動機、Rabin自動機和...
《量子Büchi自動機的等價刻畫》是依託陝西師範大學，由韓召偉擔任項目負責人的數學天元基金項目。項目摘要 量子計算是當代計算機科學領域重要的研究方向，而量子計算模型是其關鍵科學問題之一。本項目旨在採用語義分析方法，將Büchi自動機理論...
套用模糊拓撲結構乘積研究模糊自動機乘積將是本課題的重點。同時課題組將探索量子有限自動機的乘積及相關性質，加深對量子計算的理解，揭示基於量子邏輯計算的機制。結題摘要 自動機的狀態最小化問題與乘積研究在數學與計算機的理論和套用方面...
研究了基於不分明量子邏輯的計算理論,以格序QM代數和擴張的格序effect代數作為主要的unsharp量子結構，系統地建立了Chomsky式的0、1、2、3型基於unsharp量子邏輯的量子自動機完備體系。 給出了量子失協的若干最佳估計；刻畫了測量誘導的...
基於unsharp量子邏輯的自動機理論”，批准號60603002，依託單位：中科院數學與系統科學研究所。5.主持人尚雲，國家自然科學基金面上項目，“量子信息系統的動態邏輯研究”，批准號61073023。依託單位：中科院數學與系統科學研究所，排名第3。
並進一步研究了知件工程、基於知件的軟體工程、軟體/知件協工程及其生命周期模型。拓展了基於量子邏輯的格值量子有限自動機，給出並證明了其上的廣義泵引理。證明了希爾伯特空間上的該類量子自動機全體對復空間維數n構成一個真包含譜系。...
