← 返回

模型检测量子系统——原理与算法——principles and algorithms

著者应明生，冯元著,李绿周，李冠中，何键浩译
ISBN9787111727941
分类号O413,TP273 物理学
学科理学
版次第1版
出版社机械工业出版社
丛书名计算机科学丛书
出版年2023
价格¥99.00
页码218页
类型 📄 纸质书
核心评分8.5/10
读者对象—
主题词量子——自动检测系统
内容简介：本书首先介绍模型检测和量子理论的基础知识，然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性问题，介绍求解这些问题所需的数学工具和算法，之后介绍一系列用于检测超算子值马尔可夫链的计算树逻辑或线性时序逻辑的算法，最后指明该领域的发展方向。
登录后可荐购