信息物理融合系统导论

图书标准信息

• 作者 李必信、周颖 著
• 出版社 科学出版社
• 出版时间 2015-08
• 版次 1
• ISBN 9787030412478
• 定价 98.00元
• 装帧 平装
• 开本 32开
• 纸张 胶版纸
• 页数 293页
• 正文语种 简体中文
• 丛书 信息科学技术学术著作丛书

【内容简介】

　　《信息物理融合系统导论》从信息物理融合系统的建模和验证两个方面着手，系统全面地介绍了信息物理融合系统开发和使用过程的基础知识和基本原理，介绍了如何利用微分动态逻辑进行信息物理融合系统建模与验证的基本理论和方法。全书共分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本章小结
参考文献
……

下篇信息物理融合系统建模与验证
附录缩略词表