【摘 要】
：
CPS作为一个混合系统,是计算系统和物理系统的集中体现,注重计算进程和物理进程行为一致性分析与刻画。传统建模方式只针对物理进程和计算进程进行单一建模,难以满足CPS物理
【基金项目】
：
国家自然科学基金(No.61562051);云南省应用基础研究计划重点项目(No.2014FA029)
论文部分内容阅读
CPS作为一个混合系统,是计算系统和物理系统的集中体现,注重计算进程和物理进程行为一致性分析与刻画。传统建模方式只针对物理进程和计算进程进行单一建模,难以满足CPS物理实体状态转移时空一致性的要求,在此基础上提出一种新的建模方法。将CPS时空状态转移融合成一个状态转移实时时空事件,并在时间Petri网基础上引入空间标签,建立时空Petri网模型,利用时空Petri网对物理实体状态转移过程进行分析。最后通过列车控制系统实例进一步分析了时空模型的有效性,从而例证了该方法的可行性。
其他文献
大冈升平是日本“战后派”主要代表作家之一,他的代表作《野火》是日本近代战争文学的顶点之作,在世界上亦引起了强烈反响。作品讲述了作者自己在战争中的亲身经历和深切体验
本文主要简要介绍了低压变压器再日常工作中常见问题及应急处理。
公司治理结构是用以处理不同利益相关者即投资者、经理人员和职工之问的关系，以实现经济目标的一整套制度安排。它包括三个方面的内容：一是如何配置和行使控制权；二是如何监督和
本文拟分析我国台湾地区与韩国的电子信息产业嵌入价值链的地域差异性，从全球价值链的视角研究并借鉴国际产业结构调整的经验，归纳总结成功区域的产业发展策略与相关制度安排。
目的 人牙周膜成纤维细胞的细胞培养技术两种方法的比较.方法 采用组织块法和酶消化法进行人牙周膜成纤维细胞的原代培养,绘制PDLFs 的生长曲线.用Envision 免疫组化方法进行
有载分接开关(On-load Tap Changer, OLTC)切换过程中的振动信号与其机械状态密切相关,是监测分析OLTC运行状态的重要依据。为降低噪声干扰对OLTC振动信号分析结果的影响,本
高校教师的学术能力作为其职业素质结构的核心组成部分,决定教师学术职业发展的水平和程度。学术能力包括学术敏感能力、学术批判反思能力、学术组织能力、学术交往能力、学
目的探讨腓肠肌内侧头岛状肌皮瓣在修复膝部软组织缺损的临床应用。方法用腓肠肌内侧头岛状肌皮瓣向前向上翻转90～160°修复膝前、膝上下端及内侧创面13例。结果肌皮瓣全
以武汉职业技术学院药品经营与管理专业《医药商品学》为例,阐述了首堂课授课元素组成,并进行了详细示范。
天然牛黄形成机理探讨任成林（河北省张家口农业高等专科学校，０７５１３１）天然牛黄是牛体内胆囊、胆管和肝胆管中的结石，是名贵的中药材。天然牛黄形成率很低，仅在０．１％左右；产量少而医用需求量大，历