同类推荐
-
-
量子纪元:量子产业的未来密码
-
¥89.00
-
-
量子纪元:量子产业的未来密码
-
¥89.00
-
-
量子纪元:量子产业的未来密码
-
¥89.00
-
-
新概念物理教程 量子物理(第三版)
-
¥50.00
-
-
量子非局域与贝尔不等式
-
¥98.00
-
-
量子非局域与贝尔不等式
-
¥98.00
-
-
量子非局域与贝尔不等式
-
¥98.00
-
-
统计场论:统计物理中的精确可解模型导论:an intr…
-
¥169.00
-
-
量子控制系统设计（第2版）
-
¥98.00
-
-
时间的形状:相对论史话
-
¥78.00
|
|
图书信息
|
|
|
|
模型检测量子系统:原理与算法:principles and algorithms
|
| ISBN： | 9787111727941 |
定价： | ￥99.00 |
| 作者： | 应明生，冯元著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2023年06月 |
开本： | 26cm |
| 页数： | 218页 |
装祯： | 平装 |
中图法： | O413;TP273 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
10
|
库区7/样本4/样本7
|
2025-10-31
|
|
其它供货商库存合计
|
500
|
|
2025-10-31
|
图书简介 | | 本书讲解如何应用模型检测技术来验证量子工程系统的正确性、安全性和可靠性，包含步骤详尽的算法以及丰富的示例和练习。书中首先介绍模型检测和量子理论的基础知识，然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性问题，介绍求解这些问题所需的数学工具和算法，之后介绍一系列用于检测超算子值马尔可夫链的计算树逻辑或线性时序逻辑的算法，最后指明该领域的发展方向。 |
|