bibliographic details
： 模型检测量子系统:原理与算法
bibliographic information Machine-Readable Catalogue
| ISBN/价格： | 978-7-111-72794-1:CNY99.00 |
|---|---|
| 作品语种： | chi eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | 模型检测量子系统/.应明生, 冯元著/.Mingsheng Ying, Yuan Feng/.李绿周, 李冠中, 何键浩译 |
| 出版发行项： | 北京:,机械工业出版社:,2023 |
| 载体形态项： | 218页:;+图:;+26cm |
| 丛编项： | 计算机科学丛书 |
| 提要文摘： | 本书系统介绍了适用于量子系统的模型检测技术，这种技术在量子计算、量子通信以及量子物理等新兴产业中具有广泛的应用潜力。书中讨论了如何应用模型检测技术来验证量子工程系统的正确性、安全性和可靠性，主要内容涵盖基本原理和算法两方面。本书首先介绍模型检测和量子理论的基础知识，然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性问题，介绍求解这些问题所需的数学工具和算法，之后介绍一系列用于检测超算子值马尔可夫链的计算树逻辑或线性时序逻辑的算法，最后指明模型检测量子系统领域的发展方向。 |
| 题名主题： | 量子 自动检测系统 |
| 中图分类： | O413 |
| 中图分类： | TP273 |
| 个人名称等同： | 应明生 著 |
| 个人名称等同： | 冯元 著 |
| 个人名称次要： | 李绿周 译 |
| 个人名称次要： | 李冠中 译 |
| 个人名称次要： | 何键浩 译 |
| 记录来源： | CN NJU 20230719 |
| 记录来源： | CN HUNN 20250418 |