同类推荐
-
-
近代物理学
-
¥99.00
-
-
数学物理方法
-
¥69.00
-
-
数学物理方法 I
-
¥99.00
-
-
当代时空实在论研究
-
¥178.00
-
-
量子多体中的呐喊与彷徨:量子物质科学前沿浅谈
-
¥89.80
-
-
量子多体中的呐喊与彷徨:量子物质科学前沿浅谈
-
¥89.80
-
-
量子多体中的呐喊与彷徨:量子物质科学前沿浅谈
-
¥89.80
-
-
量子科技如何改变我们的生活
-
¥89.80
-
-
量子科技如何改变我们的生活
-
¥89.80
-
-
量子科技如何改变我们的生活
-
¥89.80
|
|
图书信息
|
|
|
|
模型检测量子系统:原理与算法:principles and algorithms
|
| ISBN： | 9787111727941 |
定价： | ￥99.00 |
| 作者： | 应明生，冯元著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2023年06月 |
开本： | 26cm |
| 页数： | 218页 |
装祯： | 平装 |
中图法： | O413;TP273 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
10
|
库区7/样本4/样本7
|
2026-02-17
|
|
其它供货商库存合计
|
500
|
|
2026-02-17
|
图书简介 | | 本书讲解如何应用模型检测技术来验证量子工程系统的正确性、安全性和可靠性，包含步骤详尽的算法以及丰富的示例和练习。书中首先介绍模型检测和量子理论的基础知识，然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性问题，介绍求解这些问题所需的数学工具和算法，之后介绍一系列用于检测超算子值马尔可夫链的计算树逻辑或线性时序逻辑的算法，最后指明该领域的发展方向。 |
|