成功加入购物车
李必信 、 周颖 著 / 科学出版社 / 2015-08 / 平装
售价 ¥ 46.00 4.7折
定价 ¥98.00
品相 八五品
优惠 满包邮
延迟发货说明
上书时间2023-10-08
卖家超过10天未登录
信息物理融合系统导论
《信息物理融合系统导论》从信息物理融合系统的建模和验证两个方面着手,系统全面地介绍了信息物理融合系统开发和使用过程的基础知识和基本原理,介绍了如何利用微分动态逻辑进行信息物理融合系统建模与验证的基本理论和方法。全书共分12章,其中,第1~6章是关于信息物理融合系统基本知识简介,包括基本概念、基本原理、典型案例和存在问题分析等;第7章讨论了信息物理融合系统一般的建模和验证思路,以及常用的建模和验证方法;第8~11重点介绍如何利用微分动态逻辑、微分代数动态逻辑、微分代数时序动态逻辑以及量化的微分动态逻辑进行信息物理融合系统的建模和验证问题;第12章为工作的总结与展望。
《信息科学技术学术著作丛书》序前言上篇信息物理融合系统现状与分析第1章CPS简介1.1CPS概述1.2CPS与物联网、嵌入式系统、混成系统1.2.1CPS与物联网1.2.2CPS与嵌入式系统1.2.3CPS与混成系统1.3CPS的特点和挑战1.4国外研究现状4.1CPS模型1.4.2CPS数据传输与管理技术1.4.3CPS能源管理1.44CPS安全1.4.5CPS软件设计技术的研究现状1.4.6CPS控制技术的研究现状1.4.7面向具体应用的CPS研究现状1.5国内研究现状1.6本章小结参考义献第2章CPS软件开发基础2.1引言2.2各种主流的CPS建模方法2.2.1基于信道和面向参与者的CPS建模2.2.2基于模态模型CPS建模2.2.3基于格本体的CPS建模2.2.4基于关联顺序的CPS建模2.3CPS规约方法2.3.1面向方面的规约方法2.3.2语义时间自动机2.3.3Hilbertean代数规约2.4CPS系统集成2.4.1CPS系统集成面临问题2.4.2CPS系统集成方法2.5CPS设计和开发方法2.5.1CPS设计的挑战2.5.2CPS设计需求2.5.3CPS开发方法2.6本章小结参考文献第3章CPS关键属性分析3.1CPS的安全性3.1.1CPS安全需求3.1.2CPS安全的潜在威胁3.1.3CPS信息安全方案的主要机制3.1.4CPS安全性解决方案3.1.5CPS安全关键技术3.2CPS的可靠性3.2.1可靠性的定义3.2.2可靠性与安全性的区别3.2.3可靠性解决方案3.3CPS的可信性3.3.1CPS数据的可信性3.3.2CPS网络的可信性3.3.3CPS软件的可信性3.3.4CPS模块间的可信性3.3.5CPS中人的可信性3.3.6CPS可信性研究的重要性3.3.7电力CPS的可信性3.4本章小结参考文献第4章CPS测试与验证4.1白盒测试4.1.1面向CPS硬件的白盒测试4.1.2面向CPS软件的白盒测试4.1.3面向CPS网络的白盒测试4.1.4面向CPS系统的白盒测试4.2黑盒测试4.2.1计算机系统测试4.2.2嵌入式系统测试4.2.3物联网和无线感知设备测试4.2.4实时性测试4.2.5CPS测试技术的现状4.2.6CPS测试技术面临的困难4.3CPS验证4.3.1验证的必要性4.3.2验证方法概述4.3.3验证模型4.3.4定理证明4.3.5模型检验4.3.6验证工具4.4本章小结参考义献第5章CPS典型案例分析5.1智能交通系统5.1.1体系结构5.1.2智能交通CPS的主要构成5.1.3智能交通所涉及的关键技术5.1.4智能交通应用5.1.5面临的挑战5.2自丰驾驶汽车5.2.1汽车CPS原理介绍5.2.2汽车CPS的实现5.2.3汽车CPS架构与应用5.2.4汽车远程信息服务系统5.2.5汽车导航5.2.6汽车安全系统5.3高速铁路安全监控系统5.3.1系统需完成的相关工作5.3.2系统的体系结构5.3.3安全监控系统的关键技术5.3.4未来的研究方向5.4智能电网5.4.1智能电网的产生背景5.4.2智能电网的含义5.4.3智能电网的特点与目标5.4.4智能电网的研究现状5.4.5智能电网的关键技术5.5智慧医疗5.5.1智慧医疗的现有基础架构5.5.2CPS推动医疗服务智能化5.5.3智慧医疗案例5.6本章小结参考文献第6章CPs主要问题浅析6.1CPS信息流问题6.1.1信息流6.1.2CPS信息流的特殊性6.1.3CPS信息流模型6.1.4CPS中的信息流6.1.5信息流安全验证方法6.2离散和连续问题6.3时间同步问题6.4抽象体系问题6.5环境感知6.6多源、异构、海量数据的传输与处理6.7CPS的可验证性6.8软件工程方面6.9系统的安全性及可预测性6.10其他问题6.11本章小结参考文献……下篇信息物理融合系统建模与验证附录缩略词表
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30