作者：张侃,张广泉,张茗泰 单位：中国科学院计算技术研究所;中国计算机学会 出版：《计算机研究与发展》2011年第S2期 页数：5页  （PDF与DOC格式可能不同） PDF编号：PDFJFYZ2011S20440 DOC编号：DOCJFYZ2011S20449 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 信息物理融合系统(CPS)连接物理世界和计算系统，由计算核心监控，是一种物理进程和计算进程紧密结合的系统.对CPS的研究目前还处于初步探索阶段，还没有完整的理论框架和技术体系，关于CPS系统的正确性以及安全性的研究尤其空缺.针对这一问题，结合形式化方法和面向方面技术，初步提出一种可信的CPS设计框架，并阐述了该框架的主要设计过程及需要解决的关键问题。

    📙 相关资料

    1. 《5G时代车联网信息物理融合系统综合安全研究》PDF+DOC 近年来，重庆公交坠江、无锡重型卡车超载致高架坍塌等一系列重特大灾难性事故的发生暴露了信息化时代交通工具运行中安全防范与应急处置机制的严重缺失. 5G通信时代的来临，无疑为这一问题的解决带来了巨大历史机遇.本文针对交通工具运行中预防重特大事故及取证分析的需求，基于5G通信技术，提出基于事件的交通工具运......
    2. 《基于软件定义的移动信息物理融合系统》PDF+DOC 在汽车和飞机等交通工具上安装传感器等设备，导致了新一代移动信息物理融合系统MCPS(Mobile CyberPhysical System)的出现.针对MCPS主要以硬件资源为核心，自动化水平不高的问题，本文提出了一种基于软件定义的MCPS建模方法.通过结构分析与设计语言AADL(Architect......
    3. 《信息物理融合系统的特性、架构及研究挑战》PDF+DOC 近年来，信息物理融合系统(CPS)已成为国内外学术界和科技界研究的重要方向，被认为是继计算机、互联网之后世界信息技术的第三次浪潮。CPS是一个多维、异构、深度融合的开放式系统，涉及计算机、通信、控制等多个学科的知识，由于各个学科领域在研究理论和方法上存在明显不同，所以给CPS的应用研究带来了极大的挑......

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。