扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
信息物理融合系统导论 版权信息
- ISBN:9787030412478
- 条形码:9787030412478 ; 978-7-03-041247-8
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>
信息物理融合系统导论 内容简介
李必信、周颖编著的《信息物理融合系统导论》从信息物理融合系统的建模和验证两个方面着手,系统全面地介绍了信息物理融合系统开发和使用过程的基础知识和基本原理,介绍了如何利用微分动态逻辑进行信息物理融合系统建模与验证的基本理论和方法。全书共分12章,其中,第1~6章是关于信息物理融合系统基本知识简介,包括基本概念、基本原理、典型案例和存在问题分析等;第7章讨论了信息物理融合系统一般的建模和验证思路,以及常用的建模和验证方法;第8~11重点介绍如何利用微分动态逻辑、微分代数动态逻辑、微分代数时序动态逻辑以及量化的微分动态逻辑进行信息物理融合系统的建模和验证问题;第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 国外研究现状4.1 CPS模型1.4.2 CPS数据传输与管理技术1.4.3 CPS能源管理1.4 4CPS安全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 Hilbertean代数规约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 白盒测试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.5 CPS测试技术的现状4.2.6 CPS测试技术面临的困难4.3 CPS验证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.2 CPS推动医疗服务智能化5.5.3 智慧医疗案例5.6 本章小结参考文献第6章 CPs主要问题浅析6.1 CPS信息流问题6.1.1 信息流6.1.2 CPS信息流的特殊性6.1.3 CPS信息流模型6.1.4 CPS中的信息流6.1.5 信息流安全验证方法6.2 离散和连续问题6.3 时间同步问题6.4 抽象体系问题6.5 环境感知6.6 多源、异构、海量数据的传输与处理6.7 CPS的可验证性6.8 软件工程方面6.9 系统的安全性及可预测性6.1 0其他问题6.1 1本章小结参考文献……
下篇 信息物理融合系统建模与验证附录 缩略词表
展开全部
书友推荐
- >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥11.0¥23.0 - >
自卑与超越
自卑与超越
¥13.5¥39.8 - >
李白与唐代文化
李白与唐代文化
¥9.9¥29.8 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥13.8¥32.0 - >
姑妈的宝刀
姑妈的宝刀
¥11.4¥30.0 - >
中国历史的瞬间
中国历史的瞬间
¥19.0¥38.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥18.3¥45.8 - >
推拿
推拿
¥12.2¥32.0
本类畅销
-
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑,闭眼,刀谁?
¥42.3¥158 -
2022读者节纪念徽章-三星会员专属
¥45¥45.6 -
2023读书月阅读盲盒——我什么场面没见过?
¥42.3¥158 -
2023读书月阅读盲盒——去码头整点什么薯条?
¥42.3¥158