|
题名:
|
模型检测量子系统 / 应明生，冯元著 , 李绿周，李冠中，何键浩译 |
|
ISBN:
|
978-7-111-72794-1 价格： CNY99.00 |
|
语种:
|
chi |
|
载体形态:
|
218页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2023 |
|
内容提要:
|
本书首先介绍模型检测和量子理论的基础知识，然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性问题，介绍求解这些问题所需的数学工具和算法，之后介绍一系列用于检测超算子值马尔可夫链的计算树逻辑或线性时序逻辑的算法，最后指明该领域的发展方向。 |
|
主题词:
|
量子 自动检测系统 |
|
中图分类法:
|
O413 版次： 5 |
|
中图分类法:
|
TP273 版次： 5 |
|
主要责任者:
|
应明生 著 |
|
主要责任者:
|
冯元 著 |
|
次要责任者:
|
李绿周 译 |
|
次要责任者:
|
李冠中 译 |
|
次要责任者:
|
何键浩 译 |
|
附注:
|
CAMBRIDGE |