同类推荐
-
-
非平衡态统计物理
-
¥59.00
-
-
数学物理方法
-
¥69.00
-
-
溯源探幽：熵的世界
-
¥68.00
-
-
量子关联及其应用
-
¥78.00
-
-
Reed & Simon现代数学物理方法:第1卷:英文
-
¥169.00
-
-
纠缠态的融合与转化
-
¥80.00
-
-
给孩子的量子物理课
-
¥69.80
-
-
量子物理
-
¥50.00
-
-
量子纪元:量子产业的未来密码
-
¥89.00
-
-
量子纪元:量子产业的未来密码
-
¥89.00
|
|
图书信息
|
|
|
|
模型检测量子系统:原理与算法:principles and algorithms
|
| ISBN： | 9787111727941 |
定价： | ￥99.00 |
| 作者： | 应明生，冯元著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2023年06月 |
开本： | 26cm |
| 页数： | 218页 |
装祯： | 平装 |
中图法： | O413;TP273 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
10
|
库区7/样本4/样本7
|
2025-12-20
|
|
其它供货商库存合计
|
500
|
|
2025-12-19
|
图书简介 | | 本书讲解如何应用模型检测技术来验证量子工程系统的正确性、安全性和可靠性，包含步骤详尽的算法以及丰富的示例和练习。书中首先介绍模型检测和量子理论的基础知识，然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性问题，介绍求解这些问题所需的数学工具和算法，之后介绍一系列用于检测超算子值马尔可夫链的计算树逻辑或线性时序逻辑的算法，最后指明该领域的发展方向。 |
|