《量子圖靈》是2018年上海文藝出版社出版的圖書。
基本介紹
- 中文名:量子圖靈
- 作者:王江山
- 出版時間:2018年7月
- 出版社:上海文藝出版社
- 頁數:244 頁
- ISBN:9787532166954
- 類別:科幻文學
- 定價:32.00
- 開本:32 開
- 裝幀:平裝
《量子圖靈》是2018年上海文藝出版社出版的圖書。
《量子圖靈》是2018年上海文藝出版社出版的圖書。內容簡介《量子圖靈》1是90後作者王江山的一本短篇小說集。收錄了《量子圖靈》《骯髒算法》《跳頻》《時代病人》《咒語》5篇科幻小說,涉及量子、算法等科技新視野的方方面面,通...
量子圖靈機(quantum Turing machine)是2018年公布的計算機科學技術名詞。定義 一個表示量子計算機能力的抽象機器。1985年由大衛·多伊奇(David Deutsch)提出,是經典圖靈機的推廣。它的數據帶、讀寫頭和狀態表都能夠記載和處理量子信息,...
圖靈原理可以解釋宇宙中廣泛存在的自相似性。所謂自相似性是指“物理實在的某些部分相似於其它部分。這種相似可以是具體的,如天象儀相似於夜空。更重要的是,它還可以是抽象的,如印在書里的量子理論的一條陳述可以正確地解釋多重宇宙...
線性量子圖靈機(linear quantum Turing machine)是2018年公布的計算機科學技術名詞。定義 能夠處理混合態量子數據的量子圖靈機,2004年由日本裔科學家入山(S.Iriyama)和大矢(M.Ohya)引進。出處 《計算機科學技術名詞》第一版。
單帶量子圖靈機(one-tape quantum Turing machine)是2018年公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。定義 狀態集定義在有限維的希爾伯特空間、轉移函式的值由機率振幅表示、狀態演化為么正演化的機率圖靈機。出處 ...
量子芝諾效應,又稱為圖靈悖論(Turing paradox),指對一個不穩定量子系統頻繁的測量可以凍結該系統的初始狀態或者阻止系統的演化。如果測量時間間隔足夠短,可以把測量看作是連續的測量,正是由於這樣的測量所引起的波函式坍縮阻止了量子態...
1985年,牛津大學的D. Deutsch提出量子圖靈機(quantum Turing machine)的概念,量子計算才開始具備了數學的基本型式。然而上述的量子計算研究多半局限於探討計算的物理本質,還停留在相當抽象的層次,尚未進一步跨入發展算法的階段。中期發展...
比如,一個懸而未決的問題是量子力學的的事件是圖靈可計算的,儘管我們已經證明了任何由qubit所構成的系統都是(最佳)圖靈完全的。 約翰·盧卡斯 (和羅格·本羅澤(Roger Penrose) )曾經建議說人的心靈可能是量子超計算的結果。實際上在...
1996年,S.Loyd證明了Feynman的猜想,他指出模擬量子系統的演化將成為量子計算機的一個重要用途,量子計算機可以建立在量子圖靈機的基礎上。從此,隨著計算機科學和物理學間跨學科研究的突飛猛進,使得量子計算的理論和實驗研究蓬勃發展。使得...
在他短暫的生涯中,圖靈在量子力學、數理邏輯、生物學、化學方面都有深入的研究,在晚年還開創了一門新學科—— 非線性力學。圖靈英年早逝。在他42年的人生歷程中,他的創造力是豐富多彩的,他是天才的數學家和計算機理論專家。24歲...
量子線性有界自動機 量子線性有界自動機(quantum linear bounded automata)是2018年公布的計算機科學技術名詞。定義 讀寫帶兩頭受限的量子圖靈機。出處 《計算機科學技術名詞 》第三版。
也可以用量子算法(如量子計算機或量子圖靈機)定義量子複雜性,例如複雜度BQP就是可以用量子計算機在多項式時間內解決,其錯誤的機率小於一定比例的問題。量子複雜性中二個比較重要的複雜性類分別是BQP及QMA,分別對應複雜度P及NP (複雜度...
1.1 量子計算 1.1.1 量子計算的影子—可逆計算 1.1.2 量子圖靈機與量子線路 1.1.3 量子算法 1.2 量子自動機 1.2.1 概況 1.2.2 量子有限自動機(QFA)1.2.3 QFA的主要研究工作 1.2.4 QFA和其他研究...
圖靈是遊戲《少女前線:雲圖計畫》中的初始三星人形。RSM-Admin,代號“圖靈”,是人工智慧研發扇區——羅薩姆扇區的前任智慧型體管理員,也是42Lab強大技術力的一次集中體現。圖靈搭載了整個麥戈拉雲端最複雜的心智系統之一,能夠對自身進行...
量子計算機可等效一個量子圖靈機.理論上已證明,量子圖靈機可等價一個量子邏輯電路.量子邏輯門的組合與級聯是組成量子計算機的基本元素.所有量子邏輯門均可表示成復變空間酋矩陣,其輸入與輸出的比特數相等,也稱可逆運算元.量子邏輯門對輸入...
量子計算機是一個實現計算的物理裝置,是遵循量子物理學規律運行的物理系統,而且量子計算機是一種建立在量子圖靈機基礎上的現代計算機。通用圖靈機的算法是完全確定性的,在這種確定性算法中,當圖靈機的當前讀寫頭的狀態和當前存儲單元內容...
金賢敏,男,上海交通大學物理與天文學院長聘教授 、博士生導師 長江學者,集成量子信息技術研究中心(IQIT)主任,區域光纖通信網與新型光通信系統國家重點實驗室學術帶頭人,圖靈量子創始人兼CEO,九三學社社員 。2008年獲得中國科技大學...
比如,一個懸而未決的問題是我們無法確定量子力學(quantum mechanical)的事件是否圖靈可計算的,儘管諸如量子圖靈機之類的嚴格模型實際上等價於確定性圖靈機(但並不一定在效率上等價)。約翰·盧卡斯和名氣更大一點的羅傑·潘洛斯曾經建議...
LBA (線性有界自動機)是有限制的圖靈機;不使用無限磁帶,它的磁帶有同輸入字元串成正比的空間。LBA 接受上下文有關語言。圖靈機 它們是最強力的電腦器。它們擁有磁帶形式的無限記憶體,和可以讀取和變更磁帶的磁頭,它可在磁帶上向任何...
便可稱做類圖靈機。因此為各類的抽象模型,我們可以定義不同的計算資源:在一個確定型圖靈機上是確定型時間;在非確定型圖靈機是非確定型時間,量子圖靈機則是量子時間……等等。輸入資料的計算時間等同於此輸入的計算樹的深度。計算...
1980年代一系列的研究使得量子計算機的理論變得豐富起來。1982年,理察·費曼在一個著名的演講中提出利用量子體系實現通用計算的想法。緊接著1985年大衛·杜斯提出了量子圖靈機模型。人們研究量子計算機最初很重要的一個出發點是探索通用...