简介
目录
《信息科学技术学术著作丛书》序
前言
上篇:信息物理融合系统现状与分析
第1章 CPS简介
1.1 CPS概述
1.2 CPS与物联网、嵌入式系统、混成系统
1.2.1 CPS与物联网
1.2.2 CPS与嵌入式系统
1.2.3 CPS与混成系统-
1.3 CPS的特点和挑战.
1.4 国外研究现状
1.4.1 CPs模型
1.4.2 CPs数据传输与管理技术
1.4 3 CPS能源管理
1.4.4 CPS安全
1.4.5 CPS软件设计技术的研究现状
1.4.6 cPS控制技术的研究现状
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.3 CPS规约方法
2.3.1 面向方面的规约方法
2.3.2 语义时间自动机
2.3.3 Hilbenean代数规约
2.4 CPS系统集成
2.4.1 CPS系统集成面临问题
2.4.2 CPS系统集成方法
2.5 CPS设计和开发方法
2.5.1 CPS设计的挑战
2.5.2 CPS设计需求
2.5.3 CPS开发方法
2.6 本章小结
参考文献
第3章 CPS关键属性分析
3.1 CPS的安全性
3.1.1 CPS安全需求
3.1.2 CPS安全的潜在威胁
3.1.3 CPS信息安全方案的主要机制
3.1.4 CPS安全性解决方案
3.1.5 CPS安全关键技术
3.2 CPS的可靠性
3.2.1 可靠性的定义
3.2.2 可靠性与安全性的区别
3.2.3 可靠性解决方案
3.3 CPs的可信性
3.3.1 CPS数据的可信性
3.3.2 CPs网络的可信性
3.3.3 CPS软件的可信性
3.3.4 CPS模块间的可信性
3.3.5 CPS中人的可信性
3.3.6 CPS可信性研究的重要性
3.3.7 电力CPS的可信性
3.4 本章小结
参考文献
第4章 CPS测试与验证
4.1 白盒测试
……
第5章 CPS典型案例分析
第6章 CPS主要问题浅析
下篇 信息物理融合系统建模与验证
第7章 CPS建模与验证研究概述
第8章 微分动态逻辑与CPS验证
第9章 微分代数动态逻辑与CPS验证
第10章 微分代数时序动态逻辑与CPS验证
第11章 QdL与CPS自适应性验证
第12章 结束语
附录 缩略词表
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ:4006604884
云图客服:
用户发送的提问,这种方式就需要有位在线客服来回答用户的问题,这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
