掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
模型檢測量子系統:原理與算法 版權信息
- ISBN：9787111727941
- 條形碼：9787111727941 ; 978-7-111-72794-1
- 裝幀：平裝-膠訂
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
模型檢測量子系統:原理與算法 本書特色
系統且全面地梳理了模型檢測量子系統的原理以及基于這些原理的算法，涵蓋作者相關論文中的重要研究成果
模型檢測量子系統:原理與算法 內容簡介
本書系統且全面地梳理了模型檢測量子系統的原理以及基于這些原理的算法，涵蓋作者相關論文中的重要研究成果。本書講解如何應用模型檢測技術來驗證量子工程系統的正確性、安全性和可靠性，包含步驟詳盡的算法以及豐富的示例和練習。書中首先介紹模型檢測和量子理論的基礎知識，然后討論量子自動機、量子馬爾可夫鏈和量子馬爾可夫決策過程的可達性問題，介紹求解這些問題所需的數學工具和算法，之后介紹一系列用于檢測超算子值馬爾可夫鏈的計算樹邏輯或線性時序邏輯的算法，*后指明該領域的發展方向。<br />
模型檢測量子系統:原理與算法 目錄
譯者序
前言
第1章引言1
1.1第二次量子革命需要新的
驗證技術2
1.2經典系統的模型檢測技術2
1.3模型檢測量子系統的困難3
1.4模型檢測量子系統的研究
現狀3
1.5本書結構5
第2章模型檢測基礎7
2.1系統建模8
2.2時序邏輯10
2.2.1線性時序邏輯10
2.2.2計算樹邏輯13
2.3模型檢測算法16
2.3.1線性時序邏輯模型檢測
16
2.3.2計算樹邏輯模型檢測23
2.4模型檢測概率系統25
2.4.1馬爾可夫鏈和馬爾可夫
決策過程25
2.4.2概率時序邏輯26
2.4.3概率模型檢測算法27
2.5文獻注記30
第3章量子理論基礎31
3.1量子系統的狀態空間32
3.1.1希爾伯特空間32
3.1.2子空間35
3.1.3量子力學的基本假設I
36
3.2量子系統的動態過程36
3.2.1線性算子37
3.2.2酉算子39
3.2.3量子力學的基本假設II
40
3.3量子測量41
3.3.1量子力學的基本假設III
41
3.3.2投影測量42
3.4量子系統的復合44
3.4.1張量積44
3.4.2量子力學的基本假設IV
45
3.5混合態46
3.5.1密度算子46
3.5.2混合態的演化和測量47
3.5.3約化密度算子47
3.6量子操作48
3.6.1量子力學基本假設II的
一個推廣48
3.6.2量子操作的表示50
3.7文獻注記51
第4章模型檢測量子自動機53
4.1量子自動機54
4.2Birkhoffvon Neumann量子
邏輯56
4.3量子系統的線性時間性質61
4.3.1基本定義61
4.3.2安全性質62
4.3.3不變性63
4.3.4存活性質66
4.3.5持續性質67
4.4量子自動機的可達性70
4.4.1量子系統的(元)命題
邏輯71
4.4.2量子自動機可達性的
滿足72
4.5量子自動機不變性的檢測
算法74
4.6量子自動機可達性的檢測
算法77
4.6.1檢測
前言
第1章引言1
1.1第二次量子革命需要新的
驗證技術2
1.2經典系統的模型檢測技術2
1.3模型檢測量子系統的困難3
1.4模型檢測量子系統的研究
現狀3
1.5本書結構5
第2章模型檢測基礎7
2.1系統建模8
2.2時序邏輯10
2.2.1線性時序邏輯10
2.2.2計算樹邏輯13
2.3模型檢測算法16
2.3.1線性時序邏輯模型檢測
16
2.3.2計算樹邏輯模型檢測23
2.4模型檢測概率系統25
2.4.1馬爾可夫鏈和馬爾可夫
決策過程25
2.4.2概率時序邏輯26
2.4.3概率模型檢測算法27
2.5文獻注記30
第3章量子理論基礎31
3.1量子系統的狀態空間32
3.1.1希爾伯特空間32
3.1.2子空間35
3.1.3量子力學的基本假設I
36
3.2量子系統的動態過程36
3.2.1線性算子37
3.2.2酉算子39
3.2.3量子力學的基本假設II
40
3.3量子測量41
3.3.1量子力學的基本假設III
41
3.3.2投影測量42
3.4量子系統的復合44
3.4.1張量積44
3.4.2量子力學的基本假設IV
45
3.5混合態46
3.5.1密度算子46
3.5.2混合態的演化和測量47
3.5.3約化密度算子47
3.6量子操作48
3.6.1量子力學基本假設II的
一個推廣48
3.6.2量子操作的表示50
3.7文獻注記51
第4章模型檢測量子自動機53
4.1量子自動機54
4.2Birkhoffvon Neumann量子
邏輯56
4.3量子系統的線性時間性質61
4.3.1基本定義61
4.3.2安全性質62
4.3.3不變性63
4.3.4存活性質66
4.3.5持續性質67
4.4量子自動機的可達性70
4.4.1量子系統的(元)命題
邏輯71
4.4.2量子自動機可達性的
滿足72
4.5量子自動機不變性的檢測
算法74
4.6量子自動機可達性的檢測
算法77
4.6.1檢測
展開全部
模型檢測量子系統:原理與算法 作者簡介
應明生
清華大學計算機科學與技術系智能技術與系統國家重點實驗室教授，清華大學量子軟件研究中心主任。中國科學院軟件研究所研究員、學術副所長。悉尼科技大學量子軟件與信息中心杰出教授。曾獲中國青年科技獎、自然科學一等獎、中國計算機學會王選獎一等獎。
他的研究領域包括量子計算、程序設計語言的語義學以及人工智能中的邏輯。他為量子程序建立了包括部分正確性與完全正確性的Floyd-Hoare型邏輯，特別是證明了其（相對）完備性。他將高級量子控制結構引入量子語言中，以更加嚴格、完整和系統的形式推出了量子case結構、量子遞歸結構、二次量子化、量子程序疊加等一系列概念。
他著有Foundations of Quantum Programming（2016）和Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs（2001）。此外，他目前還擔任ACM Transactions on Quantum Computing的（聯合）主編。
馮元
悉尼科技大學量子軟件與信息中心教授。曾任清華大學計算機系副研究員。他的研究興趣包括量子系統的形式化驗證、量子程序理論、量子信息與計算以及概率系統。已在國際重要期刊和主流會議上發表論文70余篇。曾獲得澳大利亞研究理事會（ARC）未來研究基金（2010）。
書友推薦
- >
巴金－再思錄
- >
羅曼·羅蘭讀書隨筆-精裝
- >
山海經
- >
煙與鏡
- >
【精裝繪本】畫給孩子的中國神話
- >
莉莉和章魚
- >
月亮虎
- >
二體千字文
本類暢銷
