基於不分明量子邏輯的自動機理論（automata theory based on unsharp quantum logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基於不分明量子邏輯的自動機理論（automata theory based on unsharp quantum logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義初始狀態、終止狀態，以及轉...
主要包括：基於unsharp 量子邏輯的有窮自動機和下推自動機理論，基於unsharp 量子邏輯的圖靈機和線性有界自動機理論。通過深入系統的研究，我們發現了這些unsharp量子自動機的一系列不尋常的性質；由於Von Neumann量子邏輯不適用於構造開放系統...
《量子Büchi自動機的等價刻畫》是依託陝西師範大學，由韓召偉擔任項目負責人的數學天元基金項目。項目摘要 量子計算是當代計算機科學領域重要的研究方向，而量子計算模型是其關鍵科學問題之一。本項目旨在採用語義分析方法，將Büchi自動機理論...
4.主持人尚雲，2006年度國家自然科學基金青年項目，“基於unsharp量子邏輯的自動機理論”，批准號60603002，依託單位：中科院數學與系統科學研究所。5.主持人尚雲，國家自然科學基金面上項目，“量子信息系統的動態邏輯研究”，批准號61073023...
量子計算與量子邏輯、計算機軟體與理論和模糊自動機理論.主講課程 本科生：高等數學、微積分、文科高等數學、線性代數、機率論與數理統計.學術成果 論文、專著 1. 韓召偉, 李永明. 量子Müller自動機與單體二階量子邏輯, 軟體學報,2. ...
拓展了基於量子邏輯的格值量子有限自動機，給出並證明了其上的廣義泵引理。證明了希爾伯特空間上的該類量子自動機全體對復空間維數n構成一個真包含譜系。研究了量子進程代數的代數語義，證明了兩個量子進程代數雙模擬若且唯若相應的種子...
