扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
深度学习
-
>
Unreal Engine 4蓝图完全学习教程
-
>
深入理解计算机系统-原书第3版
-
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)
模型检测量子系统:原理与算法 版权信息
- 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）。
书友推荐
- >
朝闻道
朝闻道
¥8.8¥23.8 - >
龙榆生：词曲概论/大家小书
龙榆生：词曲概论/大家小书
¥13.0¥24.0 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥35.5¥48.0 - >
唐代进士录
唐代进士录
¥15.1¥39.8 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
我与地坛
我与地坛
¥27.2¥28.0 - >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥17.6¥55.0 - >
月亮虎
月亮虎
¥14.4¥48.0
本类畅销
-
”互联网+“时代计算机算法的应用及其实践研究
¥19.9¥59 -
微服务设计
¥52.8¥69 -
图说深度学习:用可视化方法理解复杂概念
¥109¥188 -
计算机基础
¥17.2¥31 -
改变未来的九大算法
¥50¥68 -
生成式AI入门与AWS实战
¥77.8¥99.8
