同类推荐
-
-
写给你的量子情诗
-
¥108.00
-
-
写给你的量子情诗
-
¥108.00
-
-
写给你的量子情诗
-
¥108.00
-
-
量子力学
-
¥69.00
-
-
时空探索之旅
-
¥68.00
-
-
量子其实超好懂！
-
¥58.00
-
-
量子输运:从原子到晶体管:atom to transi…
-
¥99.00
-
-
物理学中的群论简明教程
-
¥56.00
-
-
COMSOL多物理场仿真轻松入门:基础篇
-
¥69.00
-
-
COMSOL多物理场仿真从入门到工程实战
-
¥118.00
|
|
图书信息
|
|
|
|
模型检测量子系统:原理与算法:principles and algorithms
|
| ISBN： | 9787111727941 |
定价： | ￥99.00 |
| 作者： | 应明生，冯元著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2023年06月 |
开本： | 26cm |
| 页数： | 218页 |
装祯： | 平装 |
中图法： | O413;TP273 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
10
|
库区7/样本4/样本7
|
2026-06-20
|
|
其它供货商库存合计
|
500
|
|
2026-06-19
|
图书简介 | | 本书讲解如何应用模型检测技术来验证量子工程系统的正确性、安全性和可靠性，包含步骤详尽的算法以及丰富的示例和练习。书中首先介绍模型检测和量子理论的基础知识，然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性问题，介绍求解这些问题所需的数学工具和算法，之后介绍一系列用于检测超算子值马尔可夫链的计算树逻辑或线性时序逻辑的算法，最后指明该领域的发展方向。 |
|