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

    释放查看图文详情

21年品牌 40万+商家 超1.5亿件商品

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

全新正版 极速发货

74.25 7.5折 99 全新

库存2件

广东东莞

送至北京市朝阳区

运费快递 ¥2.50

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

作者应明生,冯元

出版社机械工业出版社

ISBN9787111727941

出版时间2023-06

装帧平装

开本16开

定价99元

货号1202978248

上书时间2024-12-02

评价519好评率 99.41%

  • 物流很快 98
  • 发货速度快 88
  • 包装仔细 85
  • 品相不错 85
  • 非常满意 75
  • 价格实惠 71
  • 服务态度好 71
  • 值得信赖 68
  • 物超所值 66
  • 品相超预期 59
  • 发货太慢 1
  • 服务态度差 1
  • 联系不到卖家 1
查看全部评价

休闲图书吧

四年老店
已实名 已认证 进店 收藏店铺

   商品详情   

品相描述:全新
商品描述
目录
译者序

前言

第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

……

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

   为你推荐   

—  没有更多了  —

微信扫码逛孔网

无需下载

以下为对购买帮助不大的评价

此功能需要访问孔网APP才能使用
暂时不用
打开孔网APP