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