信息物理融合系统导论

副标题:无

作   者:李必信,周颖 编著

分类号:

ISBN:9787030412478

微信扫一扫,移动浏览光盘

简介

  李必信、周颖编著的《信息物理融合系统导论》 从信息物理融合系统的建模和验证两个方面着手,系 统全面地介 绍了信息物理融合系统开发和使用过程的基础知识和 基本原理,介绍了如 何利用微分动态逻辑进行信息物理融合系统建模与验 证的基本理论和方 法。全书共分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  国外研究现状
    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

    意见反馈

    14:15

    关闭

    云图客服:

    尊敬的用户,您好!您有任何提议或者建议都可以在此提出来,我们会谦虚地接受任何意见。

    或者您是想咨询:

    用户发送的提问,这种方式就需要有位在线客服来回答用户的问题,这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问

    Video Player
    ×
    Audio Player
    ×
    pdf Player
    ×
    Current View

    看过该图书的还喜欢

    some pictures

    解忧杂货店

    东野圭吾 (作者), 李盈春 (译者)

    loading icon