信息物理系统逻辑基础
正版新书 新华官方库房直发 可开电子发票
￥ 112.77 6.3折 ￥ 179 全新
库存3件
作者[美]安德烈·普拉泽（André Platzer）
出版社机械工业出版社
ISBN9787111685623
出版时间2021-08
版次1
装帧平装
开本16开
纸张胶版纸
页数452页
字数0.41千字
定价179元
货号SC:9787111685623
上书时间2024-12-23
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
内容简介:
本书全面介绍如何采用逻辑与演绎语言推理信息物理系统。在这个过程中，读者将学习计算机科学、应用数学和控制论的许多基本概念，所有这些对了解CPS都是必不可少的。本书分为以下四个部分。在第1部分中，读者将学习如何对包含连续变量和编程构造的CPS建模，如何描述需求规约，以及如何用证明规则检验模型是否满足需求。第二部分增加了对物理世界建模采用的微分方程。第三部分介绍了对手的概念，在控制系统中，对手可以通过噪声和其他干扰影响系统的周边环境。在存在对手的时候做决策意味着需要对较坏情况做好准备。第四部分进一步增加了如何在实际应用中对系统做严格而高效的推理，比如采用实算术和监控器条件。
目录:
赞誉译者序推荐序致谢第1章 信息物理系统概述1 1.1 引言1 1.1.1 举例分析信息物理系统1 1.1.2 应用领域2 1.1.3 意义2 1.1.4 安全的重要性3 1.2 混成系统与信息物理系统4 1.3 多动态系统5 1.4 如何学习信息物理系统6 1.5 信息物理系统的计算思维7 1.6 学习目标8 1.7 本书的结构9 1.8 总结12 参考文献12第一部分 初等信息物理系统第2章 微分方程与域18 2.1 引言18 2.2 作为连续物理过程模型的微分方程18 2.3 微分方程的含义20 2.4 微分方程示例的简短纲要21 2.5 微分方程的域26 2.6 连续程序的语法27 &n
...
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价