如梦图书专营店
  • 扫码下单

  • 全新正版模型检测量子系统:原理与算法9787111727941机械工业
    • 作者: [中]应明生(Mingsheng Ying),[中]冯元(Yuan Feng)著 | [中]应明生(Mingsheng Ying),[中]冯元(Yuan Feng)编 | [中]应明生(Mingsheng Ying),[中]冯元(Yuan Feng)译 | [中]应明生(Mingsheng Ying),[中]冯元(Yuan Feng)绘
    • 出版社: 机械工业出版社
    • 出版时间:2023-06-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    店铺装修中

    商家:
    如梦图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    如梦图书专营店

  • 新春将至,本公司假期时间为:2025年1月23日至2025年2月7日。2月8日订单陆续发货,期间带来不便,敬请谅解!

    商品参数
    • 作者: [中]应明生(Mingsheng Ying),[中]冯元(Yuan Feng)著| [中]应明生(Mingsheng Ying),[中]冯元(Yuan Feng)编| [中]应明生(Mingsheng Ying),[中]冯元(Yuan Feng)译| [中]应明生(Mingsheng Ying),[中]冯元(Yuan Feng)绘
    • 出版社:机械工业出版社
    • 出版时间:2023-06-01
    • 版次:1
    • 印次:1
    • 印刷时间:2023-06-14
    • 开本:16开
    • ISBN:9787111727941
    • 版权提供:机械工业出版社
    • 作者:[中]应明生(Mingsheng Ying),[中]冯元(Yuan Feng)
    • 著:[中]应明生(Mingsheng Ying),[中]冯元(Yuan Feng)
    • 装帧:暂无
    • 印次:1
    • 定价:99.00
    • ISBN:9787111727941
    • 出版社:机械工业
    • 开本:16开
    • 印刷时间:2023-06-14
    • 语种:暂无
    • 出版时间:2023-06-01
    • 页数:暂无
    • 外部编号:31779659
    • 版次:1
    • 成品尺寸:暂无

    译者序<br />前言<br /><br />章引言1<br />1.1第二次量子需要新的<br />验技术2<br />1.2经典系统的模型检测技术2<br />1.3模型检测量子系统的困难3<br />1.4模型检测量子系统的研究<br />现状3<br />1.5本书结构5<br />第2章模型检测基础7<br />2.1系统建模8<br />2.2时序逻辑10<br />2.2.1线时序逻辑10<br />2.2.2计算树逻辑13<br />.模型检测算法16<br />..1线时序逻辑模型检测<br />16<br />..2计算树逻辑模型检测<br />2.4模型检测概率系统25<br />2.4.1马尔可夫链和马尔可夫<br />决策过程25<br />2.4.2概率时序逻辑26<br />2.4.3概率模型检测算法27<br />2.5文献注记30<br />第3章量子理论基础31<br />3.1量子系统的状态空间32<br />3.1.1希尔伯特空间32<br />3.1.2子空间35<br />3.1.3量子力学的基本设I<br />36<br />3.2量子系统的动态过程36<br />3.2.1线算子37<br />3.2.2酉算子39<br />3..量子力学的基本设II<br />40<br />3.3量子测量41<br />3.3.1量子力学的基本设III<br />41<br />3.3.2投影测量42<br />3.4量子系统的复合44<br />3.4.1张量积44<br />3.4.2量子力学的基本设IV<br />45<br />3.5混合态46<br />3.5.1密度算子46<br />3.5.2混合态的演化和测量47<br />3.5.3约化密度算子47<br />3.6量子操作48<br />3.6.1量子力学基本设II的<br />一个推广48<br />3.6.2量子操作的表示50<br />3.7文献注记51<br />第4章模型检测量子自动机53<br />4.1量子自动机54<br />4.2Birkhoffvon Neumann量子<br />逻辑56<br />4.3量子系统的线时间质61<br />4.3.1基本定义61<br />4.3.2安全质62<br />4.3.3不变63<br />4.3.4存活质66<br />4.3.5持续质67<br />4.4量子自动机的可达70<br />4.4.1量子系统的(元)命题<br />逻辑71<br />4.4.2量子自动机可达的<br />满足72<br />4.5量子自动机不变的检测<br />算法74<br />4.6量子自动机可达的检测<br />算法77<br />4.6.1检测

    应明生<br/>清华大学计算机科学与技术系智能技术与系统重点实验室教授,清华大学量子软件研究中心主任。软件研究所研究员、学术副所长。悉尼科技大学量子软件与信息中心杰出教授。曾获中国青年科技奖、自然科学一等奖、中国计算机学会王选奖一等奖。<br/>他的研究领域包括量子计算、程序设计语言的语义学以及人工智能中的逻辑。他为量子程序建立了包括部分正确与完全正确的Floyd-Hoare型逻辑,特别是明了其(相对)完备。他将高级量子控制结构引入量子语言中,以更加严格、完整和系统的形式推出了量子case结构、量子递归结构、二次量子化、量子程序叠加等一系列概念。<br/>他著有FoundationsofntumProgramming(2016)和TopologyinProcessCalculus:ApproximateCorrectnessandInfiniteEvolutionofConcurrentPrograms(2001)。此外,他目前还担任ACMTransactionsonntumComputing的(联合)主编。<br/>冯元<br/>悉尼科技大学量子软件与信息中心教授。曾任清华大学计算机系副研究员。他的研究兴趣括量统的形式化验量子程序理论、量子信息与计算以及概率系统。已在国际重要期刊和主流会议上发表70余篇。曾获得澳大利亚研究理事会(ARC)未来研究(2010)。

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购