同类推荐
-
-
COMSOL多物理场仿真从入门到工程实战
-
¥118.00
-
-
物理学专业实验
-
¥45.00
-
-
物理学专业实验
-
¥45.00
-
-
物理学专业实验
-
¥45.00
-
-
量子力学:巨匠与脚手架
-
¥129.00
-
-
图解量子世界
-
¥69.00
-
-
图解量子世界
-
¥69.00
-
-
图解量子世界
-
¥69.00
-
-
量子世界:从波动到纠缠的物理之旅:from waves…
-
¥79.00
-
-
数字混沌系统设计原理与应用
-
¥150.00
|
|
图书信息
|
|
|
|
模型检测量子系统:原理与算法:principles and algorithms
|
| ISBN： | 9787111727941 |
定价： | ￥99.00 |
| 作者： | 应明生，冯元著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2023年06月 |
开本： | 26cm |
| 页数： | 218页 |
装祯： | 平装 |
中图法： | O413;TP273 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
10
|
库区7/样本4/样本7
|
2026-05-03
|
|
其它供货商库存合计
|
500
|
|
2026-05-01
|
图书简介 | | 本书讲解如何应用模型检测技术来验证量子工程系统的正确性、安全性和可靠性，包含步骤详尽的算法以及丰富的示例和练习。书中首先介绍模型检测和量子理论的基础知识，然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性问题，介绍求解这些问题所需的数学工具和算法，之后介绍一系列用于检测超算子值马尔可夫链的计算树逻辑或线性时序逻辑的算法，最后指明该领域的发展方向。 |
|