量子邏輯(quantum logic)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名:量子邏輯
- 外文名:quantum logic
- 所屬學科:計算機科學技術
- 公布時間:2018年
量子邏輯(quantum logic)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。
量子論邏輯是套用邏輯的一種。關於量子理論研究中涉及的命題、推理等問題的邏輯。主要是從修正古典邏輯的排中律人手,系統而無矛盾地解釋量子領域中“亦此亦彼”現象的一種新的邏輯。量子理論是研究微觀粒子(如電子、原子、分子等)運動...
量子邏輯鐘是基於帶電鋁離子的震盪,其頻率高達1.1皮赫茲的世界上最準的時鐘。它的原理是用雷射來檢測鋁離子兩個超精細能階間躍遷的諧振頻率。雷射頻率比微波高10萬倍,能將時間切分成更小的單元,從而大幅提升計時精度。量子邏輯鐘比...
量子邏輯門使用酉矩陣表示。 就像常見的邏輯門一般是針對一個或兩個比特進行操作,常見的量子門也是針對一個或兩個量子比特進行操作。 這也代表這一些量子門可以以2 × 2或者4 × 4的酉矩陣表示。歷史 現現有量子門的記號是Barenco ...
《量子力學的邏輯與邏輯多元主義》是2021年中國社會科學出版社出版的圖書,作者是王偉長。內容簡介 “量子邏輯”可理解為“來源於量子力學的邏輯”或“為量子力學提供解釋的邏輯”,它們是一個多元化的體系。與經典邏輯-樣,眾多量子邏輯...
《新型量子邏輯:確定性邏輯的超越》是2013年中國社會科學出版社出版的圖書,作者是于海飛。內容簡介 《新型量子邏輯:確定性邏輯的超越》主要從量子力學的本體論特性—整體互補性出發,以數理辯證邏輯為工具,即在吸收了數理辯證邏輯的合理...
《量子邏輯與信息的哲學問題研究》是2021年華中科技大學出版社出版的圖書,作者是萬小龍。內容簡介 本書分別從量子信息科技理論概要、量子信息哲學問題和量子邏輯三方面概述國內外在量子信息方面的研究成果的歷史與現狀。並且提出量子信息的...
我們以基於量子測量的量子計算模型和量子隨機行走為基本模型,研究了量子信息系統的動態演化規律;同時系統地研究了基於unsharp量子邏輯的量子計算理論。具體地, (1)我們以格序QMV代數和擴張的格序effect代數作為主要的unsharp量子結構,以此...
《基於量子邏輯技術的鋁離子光頻標研究》是依託華中科技大學,由陸澤晃擔任項目負責人的重大研究計畫。中文摘要 由於黑體輻射影響較小等優點,基於量子邏輯技術的鋁離子光頻標是目前文獻報導的系統不確定度最小的光頻標,達到8.6E-18,...
基於分明量子邏輯的自動機理論(automata theory based on sharp quantum logic)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 初始狀態、終止狀態,以及轉移函式均為正交模格值函式的量子自動機理論。出處 《計算機科學...
基於不分明量子邏輯的自動機理論(automata theory based on unsharp quantum logic)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 初始狀態、終止狀態,以及轉移函式均為格序QMV(或其他不滿足無矛盾律的量子代數模型)...
基於分明量子邏輯的量子有限自動機(sharp quantum logic based quantum finite automata)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 由應明生於2000年開創。其中以伯克霍夫(Birkhoff)和馮·諾依曼(vonNeumann)的...
不分明量子邏輯(unsharp quantum logic)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。定義 不滿足非矛盾律的量子邏輯。其代數模型主要包括QMV代數、效應代數、差分偏序集等。分明量子...
《半導體量子點中量子比特旋轉和量子邏輯門的研究》是依託武漢大學,由王取泉擔任項目負責人的面上項目。項目摘要 觀測和研究半導體量子點量子比特自由旋轉的品質因子Q0和Rabi振盪(動力旋轉)的品質因子QR的特點以及影響品質因子的物理機制,...
《可逆邏輯電路的分類和多值量子邏輯電路的綜合》是依託電子科技大學,由楊國武擔任醒目負責人的面上項目。項目摘要 量子信息、量子計算是近20年的研究熱點。本項目研究量子計算中可逆邏輯電路的分類和判定,多值量子邏輯電路的綜合。主要是...
量子結構 量子結構(quantum structures)是2018年經全國科學技術名詞審定委員會審定發布的林學名詞。定義 (分明或不分明)量子邏輯的各種代數模型。被當作一般的數學對象獨立地進行研究。出處 《計算機科學技術名詞 》 (第三版)
機率量子霍爾邏輯(probabilistic quantum Hoare logic)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。定義 由角谷良彥(YoshihikoKakutani)提出,不採用厄米(Hermite)矩陣作為量子謂詞,...
本項目研究量子計算模型的判定性問題,特別是討論任意兩個雙向量子有限自動機之間是否等價的判定性問題;對任意兩個量子下推自動機識別的語言,研究它們的交是否為空及它們是否相等的判定性問題。同時,研究基於量子邏輯的計算理論(正交模格...
量子閘,即量子門,在量子計算和特別是量子線路的計算模型裡面,一個量子門 (或量子邏輯門)是一個基本的,操作一個小數量量子比特的量子線路 。它是量子線路的基礎,就像傳統邏輯門跟一般數字線路之間的關係。與多數傳統邏輯門不同,...
如何用量子邏輯刻畫量子馬爾可夫鏈的量子態,合適的量子邏輯是關鍵.關於量子邏輯,一般是指畢克霍夫-馮·諾依曼等學者提出的一類正交模格數學代數結構。然而,文獻提出了基於 Exogenous 的量子命題邏輯,刻畫了量子態 的屬性,同時還保持...
《運算元代數上的導子、可乘映射及其在量子邏輯中的套用》是依託山西大學,由齊霄霏擔任項目負責人的青年科學基金項目。項目摘要 導子是運算元代數和運算元理論中比較活躍的、有著重要的理論價值和套用價值的研究課題,一直受到國內外許多學者的...
邏輯門 量子邏輯門可以分為針對單一量子位元的操作,或者是使兩個位元發生互動關係。列舉如下:單一位元操作 量子否閘(quantum NOT gate)相位偏移閘(phase shift gate)旋轉閘(rotation gate):旋轉閘為最廣義的單位元邏輯門,事實上可以...
量子計算是當代計算機科學領域重要的研究方向,而量子計算模型是其關鍵科學問題之一。本項目旨在採用語義分析方法,將Büchi自動機理論以及ω-正則語言相關研究結果推廣到量子邏輯框架下。首先,通過細化和改造廣義子集構造技術,給出量子邏輯意義...
我們旨在將量子物理與計算機科學相結合, 考察基於量子力學的一些重要計算模型的計算能力並與經典情形比較,特別是較系統的建立量子計算模型作為量子計算機的理論基礎。同時,我們建立基於量子邏輯的一些計算模型作為量子計算機的邏輯基礎,以及在...
中科院量子信息重點實驗室郭國平教授半導體量子晶片研究組及其合作者又破世界紀錄,通過實驗成功實現世界上最快速量子邏輯門操作,取得半導體量子晶片研究的重要突破。傳統砷化鎵半導體量子點量子比特研究 半導體量子點由於其良好的擴展性和集成性是...
第十四章 量子邏輯:一次全新的邏輯構造 第一節 量子邏輯的內涵 第二節 量子邏輯的起源及其發展 第三節 量子邏輯數學基礎的新穎性 第四節 量子邏輯形式的多樣性 第五節 目前關於量子邏輯的主要爭論 附錄 量子引力的其他探索 參考文獻 ...
為本科生、碩士生、博士生主講過高等數學、線性代數、機率統計、數理方程、複變函數、實變函式、泛函分析、套用泛函分析、測度論、運算元理論、K–理論、量子邏輯、運算元代數等課程.研究方向 泛函分析、量子邏輯、量子信息、量子理論的數學...