返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:

  • 正版新书]信息物理系统逻辑基础安德烈·普拉泽(AndréPlatzer)978
  • 全店均为全新正版书籍,欢迎选购!新疆西藏青海(可包挂刷).港澳台及海外地区bu bao快递
    • 作者: 安德烈·普拉泽(AndréPlatzer)著 | 安德烈·普拉泽(AndréPlatzer)编 | 安德烈·普拉泽(AndréPlatzer)译 | 安德烈·普拉泽(AndréPlatzer)绘
    • 出版社: 机械工业出版社
    • 出版时间:2021-08-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    君凤文轩图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: 安德烈·普拉泽(AndréPlatzer)著| 安德烈·普拉泽(AndréPlatzer)编| 安德烈·普拉泽(AndréPlatzer)译| 安德烈·普拉泽(AndréPlatzer)绘
    • 出版社:机械工业出版社
    • 出版时间:2021-08-01
    • 版次:1
    • 印次:1
    • 字数:410
    • 页数:452
    • 开本:16开
    • ISBN:9787111685623
    • 版权提供:机械工业出版社
  • 作者: 安德烈·普拉泽(AndréPlatzer)
  • 著: 安德烈·普拉泽(AndréPlatzer) 译
  • 装帧: 平装
  • 印次: 1
  • 定价: 179
  • ISBN: 9787111685623
  • 出版社: 机械工业出版社
  • 开本: 16开
  • 印刷时间: 暂无
  • 语种: 暂无
  • 出版时间: 2021-08-01
  • 页数: 452
  • 外部编号: 五三B64357
  • 版次: 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    2.6.1  连续程序28    2.6.2  项28    2.6.3  一阶公式29  2.7  连续程序的语义30    2.7.1  项30    2.7.2  一阶公式31    2.7.3  连续程序34  2.8  总结35  2.9  附录35    2.9.1  存在性定理35    2.9.2  唯一性定理36    2.9.3  常系数线性微分方程37    2.9.4  延拓与连续依赖38  习题39  参考文献41第3章  选择与控制42  3.1  引言42  3.2  混成程序的逐步介绍43    3.2.1  混成程序的离散变化43    3.2.2  混成程序的合成44    3.2.3  混成程序中的决策45    3.2.4  混成程序中的选择45    3.2.5  混成程序中的测试47    3.2.6  混成程序中的重复48  3.3  混成程序50    3.3.1  混成程序的语法50    3.3.2  混成程序的语义51  3.4  混成程序设计54    3.4.1  制动还是不制动,这是个问题54    3.4.2  选择的问题55  3.5  总结56  3.6  附录:机器人弯道运动建模56  习题58  参考文献61第4章  安全性与契约63  4.1  引言63  4.2  CPS契约的逐步介绍64    4.2.1  弹跳球Quantum历险记64    4.2.2  Quantum如何在时间结构中发现裂缝67    4.2.3  Quantum怎样学会放气68    4.2.4  CPS的后置条件契约69    4.2.5  CPS的前置条件契约70  4.3  混成程序的逻辑公式71  4.4  微分动态逻辑73    4.4.1  微分动态逻辑的语法73    4.4.2  微分动态逻辑的语义75  4.5  逻辑形式的CPS契约77  4.6  查明CPS的需求78  4.7  总结82  4.8  附录82    4.8.1  顺序合成证明的中间条件82    4.8.2  选择的证明84    4.8.3  测试的证明85  习题86  参考文献90第5章  动态系统与动态公理92  5.1  引言92  5.2  CPS的中间条件93  5.3  动态系统的动态公理95    5.3.1  非确定性选择的动态公理95    5.3.2  公理的可靠性97    5.3.3  赋值的动态公理98    5.3.4  微分方程的动态公理99    5.3.5  测试的动态公理101    5.3.6  顺序合成的动态公理102    5.3.7  循环的动态公理104    5.3.8  尖括号模态的公理105  5.4  短暂弹跳球的证明105  5.5  总结107  5.6  附录108    5.6.1  模态肯定前件在方括号模态中的蕴涵108    5.6.2  如果没有任何相关变化,则为空虚状态变化109    5.6.3  哥德尔将永真性泛化到方括号模态中109    5.6.4  后置条件的单调性110    5.6.5  自由变量和约束变量111    5.6.6  自由变量和约束变量分析111  习题113  参考文献116第6章  真理与证明118  6.1  引言118  6.2  真理和证明119    6.2.1  相继式120    6.2.2  证明122    6.2.3  命题证明规则122    6.2.4  证明规则的可靠性126    6.2.5  动态的证明127    6.2.6  量词证明规则129  6.3  派生证明规则131  6.4  单跳弹跳球的相继式证明132  6.5  实算术证明规则133    6.5.1  实数量词消除法134    6.5.2  实例化实算术量词136    6.5.3  通过去除假设来弱化实算术137    6.5.4  相继式演算中的结构证明规则138    6.5.5  在公式中代入等式139    6.5.6  缩写项以降低复杂性139    6.5.7  创造性地切割实算术转化问题140  6.6  总结140  习题141  参考文献143第7章  控制回路与不变式145  7.1  引言145  7.2  控制循环146  7.3  循环回路147    7.3.1  循环的归纳公理147    7.3.2  循环的归纳规则149    7.3.3  循环不变式150    7.3.4  上下文可靠性需求153  7.4  一个欢快重复的弹跳球的证明154  7.5  将后置条件拆分为单独的情况158  7.6  总结159  7.7  附录159    7.7.1  证明的循环159    7.7.2  打破证明循环161    7.7.3  循环的不变式证明163    7.7.4  归纳公理的替代形式163  习题165  参考文献166

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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