李必信、周颖编著的《信息物理融合系统导论》从信息物理融合系统的建模和验证两个方面着手，系统全面地介绍了信息物理融合系统开发和使用过程的基础知识和基本原理，介绍了如何利用微分动态逻辑进行信息物理融合系统建模与验证的基本理论和方法。全书共分12章，其中，第1～6章是关于信息物理融合系统基本知识简介，包括基本概念、基本原理、典型案例和存在问题分析等；第7章讨论了信息物理融合系统一般的建模和验证思路，以及常用的建模和验证方法；第8～11重点介绍如何利用微分动态逻辑、微分代数动态逻辑、微分代数时序动态逻辑以及量化的微分动态逻辑进行信息物理融合系统的建模和验证问题；第12章为工作的总结与展望。
本书适用于计算机、通信等学科专业的教师、研究生和高年级本科生，以及从事信息物理融合系统相关系统建模和验证的工程技术人员。
图书详情 | 《信息物理融合系统导论》
图书分类 一 〉理学 一 〉物理学
- 科学出版社
- 9787030412478
- 1-1
- 170345
- 0045159493-1
- 平装
- B5
- 2014年6月
- -
- 416
- 320
- -
- 理学
- 物理学
- 0702
- O4
- 计算机、电子等
- 研究生、本科
- 初版
- -
- -
- -
内容简介：
目录
《信息科学技术学术著作丛书》序
前言
上篇：信息物理融合系统现状与分析
第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章 结束语
附录 缩略词表
前言
上篇：信息物理融合系统现状与分析
第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章 结束语
附录 缩略词表
