量子邏輯（quantum logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。
量子邏輯（quantum logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義計入量子力學原理後的邏輯，首先由伯克霍夫（Birkhoff）和馮·諾依曼（vo...
量子論邏輯是套用邏輯的一種。關於量子理論研究中涉及的命題、推理等問題的邏輯。主要是從修正古典邏輯的排中律人手，系統而無矛盾地解釋量子領域中“亦此亦彼”現象的一種新的邏輯。量子理論是研究微觀粒子（如電子、原子、分子等）運動規律的理論。美國貝克霍夫和馮·諾伊曼於1936年在《量子力學的邏輯》一文中，最早...
現現有量子門的記號是Barenco et al.發明的，建立在費曼所提出的記號上。2022年11月，來自芬蘭和歐洲量子計算公司IQM的科學家研製出了一種新的超導量子比特“獨角獸”，並以99.9%的置信度利用“獨角獸”實現了量子邏輯門。基本的量子門 量子門常使用矩陣表示，操作K個量子比特的門可以用2 x 2 的酉矩陣表示。
量子邏輯鐘是基於帶電鋁離子的震盪，其頻率高達1.1皮赫茲的世界上最準的時鐘。它的原理是用雷射來檢測鋁離子兩個超精細能階間躍遷的諧振頻率。雷射頻率比微波高10萬倍，能將時間切分成更小的單元，從而大幅提升計時精度。量子邏輯鐘比廣泛運用於世界精準時鐘的原子鐘準確10萬倍。這種時鐘每37億年的誤差不超過1秒...
邏輯量子比特是通過量子糾纏相互連線的量子比特組。研究歷程 2023年，美國波士頓量子計算初創公司QuEra建造的新型量子計算機達到48個邏輯量子比特，打破了量子計算領域的紀錄。這一成果向構建出實用量子計算機邁出了重要一步，相關論文發表在了《自然》雜誌上。研究團隊在新量子計算機上實現了幾種計算機操作，以測試邏輯量子...
機率量子霍爾邏輯（probabilistic quantum Hoare logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義 由角谷良彥（YoshihikoKakutani）提出，不採用厄米（Hermite）矩陣作為量子謂詞，而是把鄧哈托（DenHartog）的機率霍爾邏輯擴充為機率量子霍爾邏輯。這個邏輯稱為QHL...
量子計算機擴展了傳統計算機原有的限制。流行的量子計算模型以量子閘（量子邏輯閘）網路描述計算。量子計算機的輸入用一個具有有限能級的量子系統來描述，如二能級系統（稱量子比特（qubits）），量子計算機的變換（即量子計算）包括所有可能的正變換。（1）量子計算機的輸入態和輸出態為一般的疊加態，其相互之間通常不...
分明量子邏輯 分明量子邏輯（sharp quantum logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 滿足非矛盾律的量子邏輯。其主要模型包括正交模格和正交模偏序集。伯克霍夫（Birkhoff）和馮·諾依曼（vonNeumann）提出的量子邏輯屬於這一類。出處 《計算機科學技術名詞 》第三版。
是兩個特殊的量子比特，稱為可計算基態，用狄拉克符號表示為 ，。一般的單量子比特 用 表示，即 。因此 ，且 。由於 ，所以存在實數 、和 使得 ，而對 觀測沒有影響，因此可以忽略，即 也可表示為 。其中，，。可見，所有單量子比特 與Bloch球面上的點一一對應，如圖2.1所示。量子邏輯門 在量子計算中，通過...
也稱可逆運算元.量子邏輯門對輸入比特進行確定的酋變換,得到輸出比特.Deutsch最早考慮用量子邏輯門構造量子計算機的問題,他發現幾乎所有的三比特量子邏輯門都是通用邏輯門.通用邏輯門的含義是指,通過該邏輯門的級聯,能夠以任意精度逼近任意一個么正操作,么正操作對應操作的數理解析,邏輯門的級聯將生成物理上的量子邏輯電路...
1985年，牛津大學的David Deutsch在發表的論文中，證明了任何物理過程原則上都能很好地被量子計算機模擬，並提出基於量子干涉的計算機模擬即“量子邏輯門”這一新概念，並指出量子計算機可以通用化、量子計算錯誤的產生和糾正等問題。由Zurek作了深入的分析和研究。但到了20世紀80年代中期，這一研究領域由於若干原因被冷落...
不分明量子邏輯 不分明量子邏輯（unsharp quantum logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義 不滿足非矛盾律的量子邏輯。其代數模型主要包括QMV代數、效應代數、差分偏序集等。分明量子邏輯是其特例。出處 《計算機科學技術名詞 》第三版 ...
杭州量子邏輯科技有限公司於2018年03月22日成立。法定代表人劉國宏，公司經營範圍包括：服務：計算機軟硬體、數據處理技術、網路信息技術的技術開發、技術服務、技術諮詢、成果轉讓，計算機系統集成，設計、製作、代理、發布國內廣告（除網路廣告發布），會展服務，動漫設計，文化創意策劃，網路遊戲開發，經營性網際網路文化服務...
幾乎與薛丁格同時，海森伯寫出了以“關於運動學和力學關係的量子論的重新解釋”為題的論文，創立了解決量子波動理論的矩陣方法。1925年9月，玻恩與另一位物理學家約丹合作，將海森伯的思想發展成為系統的矩陣力學理論。不久，狄拉克改進了矩陣力學的數學形式，使其成為一個概念完整、邏輯自洽的理論體系。1926年薛丁格發現...
“量子邏輯”可理解為“來源於量子力學的邏輯”或“為量子力學提供解釋的邏輯”，它們是一個多元化的體系。與經典邏輯-樣，眾多量子邏輯系統也是人們對非形式化推理以特定的方式進行抽象(形式化)而得到的。這些量子邏輯系統的存在為邏輯多元主義提供了充分的實例，特別是使原本獨立於量子力學而存在的非經典邏輯與量子...
量子動態邏輯 量子動態邏輯（quantum dynamic logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 屬於量子邏輯的一種。但引入了描述量子行為的連線詞。出處 《計算機科學技術名詞 》第三版。
《新型量子邏輯：確定性邏輯的超越》是2013年中國社會科學出版社出版的圖書，作者是于海飛。內容簡介 《新型量子邏輯:確定性邏輯的超越》主要從量子力學的本體論特性—整體互補性出發，以數理辯證邏輯為工具，即在吸收了數理辯證邏輯的合理內容的基礎上引入新型的命題變項符號和聯結詞，藉助於這些命題變項和聯結詞，對...
《兩類量子邏輯代數結構的研究》是依託陝西師範大學，由頡永建擔任項目負責人的青年科學基金項目。項目摘要 量子邏輯考慮的是量子物理系統的事件對應的命題演算,效應代數及偽效應代數是量子邏輯研究的主要模型. 任何格效應代數可以表示成MV-代數的並, 但是如何由MV-代數粘合成格效應代數仍然是開問題. 本項目擬給出由...
量子傅立葉變換(quantum Fourier transform,QFT)是經典離散傅立葉變換的量子對應 , 是一種基本的量子邏輯門, 是各種量子算法的核心部件。發展背景 量子 傅 里 葉 變 換 ( Quantum Fourier Transform，QFT) 首次被 Shor 套用在大數質因子分解算法中，由於採用量子傅立葉變換後，算法的運行速度加快很多，因此，針對...
《量子邏輯門與量子退相干》是2013年科學出版社出版的圖書，作者是張登玉。內容簡介 《量子邏輯門與量子退相干》研究量子信息中量子邏輯門與量子退相干及其相關問題，每一章節均以專題進行探討，主要內容包括：量子信息中的基本問題（量子計算的量子力學原理、雷射與分子相互作用製備量子態、量子信息中的純態和混合態以及...
《量子邏輯與信息的哲學問題研究》是2021年華中科技大學出版社出版的圖書，作者是萬小龍。內容簡介 本書分別從量子信息科技理論概要、量子信息哲學問題和量子邏輯三方面概述國內外在量子信息方面的研究成果的歷史與現狀。並且提出量子信息的科學哲學研究應該立足於其基礎科學理論的量子力學的解釋和信息科學的哲學反思。通過對...
在量子計算和特別是量子線路的計算模型裡面，一個量子門 (或量子邏輯門)是一個基本的，操作一個小數量量子比特的量子線路 。它是量子線路的基礎，就像傳統邏輯門跟一般數字線路之間的關係。簡介 在量子計算和特別是量子線路的計算模型裡面，一個量子門(或量子邏輯門)是一個基本的，操作一個小數量量子比特的量子線路...
《基於unsharp量子邏輯的自動機理論》是依託中國科學院數學與系統科學研究院，由尚雲擔任項目負責人的青年科學基金項目。項目摘要 現有的量子自動機理論主要是基於sharp量子邏輯的。本項目旨在研究基於unsharp量子邏輯的自動機理論。（1）以面向unsharp量子邏輯的有效代數與MV代數為重點，通過研究它們的語義模型，初步建立有效...
國際上主要有美國哈佛大學、威斯康星大學等集中在電子電荷量子比特的量子計算研究，我們研究團隊在2013年成功實現了半導體超快普適單比特量子邏輯門（Nat. Commun.，4.1401，2013），經過兩年的摸索和積累，研究組在2015年成功實現兩個電荷量子比特的控制非門，其操控最短在200皮秒以內完成。相對於國際上電子自旋兩量子...
並可以求出某時刻對是已觀測的紀錄對比十分吻合．這個就是波動力學的基礎．要解決量子信息．首先要在邏輯有一個多值邏輯理論，才能通過對於量子態對應於一個實體，也就是所謂的給量子的態賦給予實體的功能，這樣就可以實現某些交換，也就是可以計算，只要這組態符合一定的條件，由波動力學，結論一定成立．這就是量子...
邏輯門 量子邏輯門可以分為針對單一量子位元的操作，或者是使兩個位元發生互動關係。列舉如下：單一位元操作 量子否閘(quantum NOT gate)相位偏移閘(phase shift gate)旋轉閘(rotation gate)：旋轉閘為最廣義的單位元邏輯門，事實上可以包括相位偏移閘、否閘等特例。雙位元操作 受控否閘(controlled NOT gate)受控...
1999年，中國科大建立了量子通信和量子計算開放研究實驗室，開展量子信息科學領域的研究，以量子信息領域的基本問題為研究方向，進行理論探索和各種實驗，近期以量子密碼、量子通信、量子邏輯器件和量子計算為主要的研究課題，長期則以量子計算機為研究目標，吸收國內外優秀的人才進行研究，廣泛開展國際交流和協作，力爭建成...
波洛伊德的研究揭示了一種的生理結構，在離子通道中可能產生量子相干。以此為出發點，他和合作者進一步提出，離子通道中鉀離子的行為與邏輯狀態有關，鉀離子和附囊中的氧原子是兩個量子糾纏的亞系統，等同於一種量子計算映射。離子從通道中排出，是給氧原子的狀態進行編碼。不同的離子通道也會互相糾纏。大衛·查爾默斯...
《基於量子邏輯的不確定性計算模型及其套用研究》是依託陝西師範大學，由韓召偉擔任項目負責人的青年科學基金項目。項目摘要 量子計算是計算機科學領域重要的研究方向，其中量子計算模型是其關鍵的科學問題之一。本項目擬採用語義分析方法，完善基於量子邏輯的計算理論：建立量子邏輯框架下的上下文無關文法、有限樹自動機、ω...
並協概念為量子力學提供了一種經典概念得以一貫套用的邏輯框架，它在限制經典概念套用的互補要求下，解決了量子納入物理學概念框架所引起的困難。其方法論意義在於：區分了巨觀客體的經典物理學規律和微觀客體的量子物理學規律，說明微觀過程的觀測現象必須用經典物理學語言解釋，從而在描述微觀過程的觀測效應中體現了對經典...
