【摘 要】
：
信息物理融合系统（cyber-physical system,CPS）作为一个新的研究方向,在其研究与发展过程中遇到了众多的问题,一些关于CPS安全的问题逐渐呈现.对CPS的设计安全进行探索性研究,
【基金项目】
：
国家自然科学基金项目（61602412,U1509214）, 浙江省教育厅科研项目（Y201329485）
论文部分内容阅读
信息物理融合系统（cyber-physical system,CPS）作为一个新的研究方向,在其研究与发展过程中遇到了众多的问题,一些关于CPS安全的问题逐渐呈现.对CPS的设计安全进行探索性研究,主要针对CPS系统各部分之间如何安全地交互进行建模,并讨论安全数据的攻击及其防御措施的有效性.以网络化水位控制系统为例,以时间自动机为形式化建模语言对系统进行建模、验证和分析.建模过程中,采用分层的安全体系结构,分别将系统的各个组成部分的工作抽象为时间自动机模型.这些模型组成一个系统,刻画出完整的CPS工作过程
其他文献
【正】 听了中央音乐学院作曲系第十五届毕业学生的毕业作品音乐会,感到十分亲切,本届毕业同学中,还有一位从遥远南方的友邦——越南来我国留学的阮辉猷同志,他所创作的歌颂
信息物理系统（cyber-physicalsystems,CPS）是支撑信息化和工业化深度融合的核心技术.具体而言,CPS通过在物理设备中集成感知、通信、计算等技术,对内/外部环境进行分布式感知、
随着计算机和互联网技术的飞速发展,网络安全问题变得日益重要和严峻,Bro作为自前动态入侵检测的主流平台,可以实现高速网络下的实时检测和报警,遵循分层原则,可扩展性高,提
目的探讨腰椎间盘突出症术后复发的成因及其处理措施.方法对1995～2002年间本科收治的37例腰椎间盘突出症术后复发患者的病例资料进行回顾性分析.结果 37例中,男24例,女13例,年
当前,我国市场经济飞速发展,各行业企业之间的竞争愈加激烈,各大企业在经济发展中都是以利益发展为基础,而不严格约束企业内部的人力资源管理,致使人力资源管理工作出现严重
【正】 任何一种外来乐器或音乐形式,自它一到中国,就开始了民族化的过程。钢琴音乐也不例外。然而,和音乐的其他领域相比,钢琴的民族化是稍为落后的。 民族化的起码标志是大
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
根据42CrMo中碳调质钢的焊接性,确定法兰轴的工艺参数及具体的焊接工艺措施,并成功实现焊接.
目的 探讨新生儿缺氧、缺血性脑病（HIE）患儿血中NSE的变化及其临床意义。方法20例足月中、重度HIE患儿作为治疗组1，采取其治疗前后静脉血，测定血清NSE值；采取12例足月轻度HIE患儿