基于扩展DPN的CPS混成行为时效建模与综合评估

作     者：宋翠叶 杜承烈 李刚 SONG Cui-ye;DU Cheng-lie;LI Gang

作者机构：西北工业大学计算机学院西安710029 华北电力大学计算机系保定071003 

基　　金：国家"863"计划基金项目:面向信息-物理融合的系统平台(2011AA010102) 中央高校基本科研业务费专项资金(2014MS127) 河北省自然科学基金(F2014502050) 河北省高等学校科学研究项目(Z2013007)资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2015年第42卷第1期

页      码：23-27页

摘      要：信息物理融合系统行为是一种由离散计算过程与连续物理动态过程深度融合并紧密交互的混成行为。在CPS设计早期对信息系统实体的信息实体的关键监控参数、实时指标,以及物理系统设施的连续行为规律进行综合评估,是这类系统进一步设计与实现的基础。基于扩展DPN语义,以某智能车CPS系统自主行进紧急避障过程为研究对象,建立了其信息物理混成行为的Petri网模型,以融合并集中体现各关键参数和指标的时序协作效应;通过对该模型的仿真运行,实现了CPS行为的在线观测与综合评估。该方法为CPS子系统关键设计指标的综合合理性评估及其组合设计提供了一种解决途径。

主 题 词：CPS 混成行为 微分Petri网 实时指标 时效评估 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.11896/j.issn.1002-137X.2015.1.005

馆 藏 号：203104927...