模型检测量子系统原理与算法

全新正版极速发货

74.25 7.5折 99 全新

库存2件

广东东莞

认证卖家担保交易快速发货售后保障

作者应明生,冯元

出版社机械工业出版社

ISBN9787111727941

出版时间2023-06

装帧平装

开本16开

定价99元

货号1202978248

上书时间2024-12-02

已实名已认证进店收藏店铺

商品描述: 目录
译者序

前言

第1章引言1

1.1第二次量子革命需要新的验证技术2

1.2经典系统的模型检测技术2

1.3模型检测量子系统的困难3

1.4模型检测量子系统的研究现状3

1.5本书结构5

第2章模型检测基础7

2.1系统建模8

2.2时序逻辑10

2.2.1线性时序逻辑10

2.2.2计算树逻辑13

2.3模型检测算法16

2.3.1线性时序逻辑模型检测16

2.3.2计算树逻辑模型检测23

2.4模型检测概率系统25

……

内容摘要
本书系统且全面地梳理了模型检测量子系统的原理以及基于这些原理的算法，涵盖作者相关论文中的重要研究成果。本书讲解如何应用模型检测技术来验证量子工程系统的正确性、安全性和可靠性，包含步骤详尽的算法以及丰富的示例和练习。书中首先介绍模型检测和量子理论的基础知识，然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性问题，介绍求解这些问题所需的数学工具和算法，之后介绍一系列用于检测超算子值马尔可夫链的计算树逻辑或线性时序逻辑的算法，后指明该领域的发展方向。

— 没有更多了 —

模型检测量子系统 原理与算法