【摘 要】
：
信息物理系统(cyber-physical system,简称CPS)是一个在环境感知的基础上整合了物理和计算元素的系统,它可以智能地响应真实世界的动态变化,具有重要而广阔的应用前景。然而,
【机 构】
：
轻型工业机器人与安全验证北京市重点实验室（首都师范大学信息工程学院）,电子系统可靠性与数理交叉学科国家国际科技合作示范型基地（首都师范大学）,PortlandStateUniversity
【基金项目】
：
国家自然科学基金(61877040,61702348,61602325);国家重点研发计划(2017YFB1303000)~~
论文部分内容阅读
信息物理系统(cyber-physical system,简称CPS)是一个在环境感知的基础上整合了物理和计算元素的系统,它可以智能地响应真实世界的动态变化,具有重要而广阔的应用前景。然而,CPS工作在复杂的物理环境中,周围的物理变化会对CPS的行为产生影响。因此,确保CPS在复杂环境中的安全性和可靠性至关重要。提出了一种面向实时数据的一体化建模方法,通过定义一系列的规则,将领域环境模型组合到运行时验证过程中去,从而保证CPS在不确定环境中的安全性和可靠性。该方法首先为环境建立数学模型。然后,设计合并规则
其他文献
大学美育作为国家提倡的提高高等院校学生素质的美学课程,是综合了美学和教育学的学科.利用大学生公益广告的形式,围绕“美育校园行”的主题进行探讨,有助于实践,有助于审美
OMRON运动控制单元MC421的应用，解决了以往变压器绝缘垫块生产中存在的成品尺寸不够统一，对称性差和效率不高的弊病，提升了绝缘垫块设备的整体装备水平。
系统地研究用户采纳虚拟学术社区的影响因素,获取用户对虚拟学术社区的态度、意愿及其影响因素,对推广虚拟学术社区、方便虚拟学术社区用户学习或科研具有重要意义。文章基于
文化景观在我国传统文化的传承发扬中具有重要的意义,长期以来,限于各种原因疏于规划研究和设计反思,大部分文化景观的导视设计处于与整体景观不协调的状态。本文通过对天一
近年来，阳江的五金产品名气越来越大，购买人群越来越多，但其包装却较为落后，没有跟上产业的发展。笔者曾到多家五金企业的销售点进行调查，发现许多企业的包装风格雷同，没有创意。文
目的评价关节镜微骨折术治疗退行性膝关节软骨损伤患者的2年效果。方法回顾性分析2012年6月~2014年8月我院35例退行性膝关节软骨损伤患者行关节镜微骨折术治疗的2年随访结果,
在农村学校,学生的美术素养存在差异。文章主要探讨如何针对农村学生开展美术教育,培养学生敏锐的观察能力和良好的思维能力,从而获得良好的美育效果。
近年来,猪流行性腹泻的发病率呈上升趋势,尤其是集约化猪场。猪流行性腹泻是由冠状病毒感染引起的。它是一种急性传染性肠道传染病。冬季猪生产中,腹泻对仔猪的影响较大,死亡