基于事件的CPS系统行为仿真建模方法研究

来源 :西北工业大学 | 被引量 : 0次 | 上传用户:wshzzhy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
信息物理融合系统(CPS)是指在环境感知的基础上,深度融合了计算通信和控制能力的网络化物理设备系统,通过计算、通信和控制技术(3Cs)的深度协作,旨在实现大型工程系统的实时感知、动态控制和信息服务。CPS系统行为体现为信息过程和物理过程的有机融合,二者并行运作且又紧密交互。其中,以3Cs技术为基础的信息过程受离散时钟驱动,按照一定的离散事件序列运行,对物理设施进行感知和控制;而物理行为如机械运动、化学反应等则随物理时间连续变化,使得CPS系统行为整体上呈现出离散与连续的混成性、信息与物理的并行性、感知响应闭环性以及多节点网络化协作性等特征,给CPS系统的设计与开发带来巨大的挑战。  建模与仿真是实现CPS系统行为早期决策设计和参数评估的重要途径。现有的CPS系统行为仿真模型研究成果较少,主要有基于方程的Modelica模型、面向角色的Ptolemy模型以及基于SystemC的信息平台模型。其中Modelica相关研究人员通过对Modelica的嵌入式软件模型扩充,实现 CPS系统行为的计时仿真;Ptolemy主要通过丰富的计算模型实现异构系统的分层设计与集成,但由于缺乏对离散过程执行时间语义的支撑,不能够对CPS系统行为的时间特性进行集成仿真分析。SystemC具备软硬件协同建模能力,但对于信息过程的复杂动态模式的支撑较弱。本文采用“事件”作为信息过程与物理过程的桥接概念,研究由感知事件驱动的信息过程与控制事件驱动的物理过程的统一建模方法及其关键时间特性的刻画与仿真评估方法,主要研究内容和创新点如下:  (1)针对信息物理交互事件特性的精确刻画需求,对时空事件形成条件的刻画方法进行深入研究,从事件检测者的角度提出了事件的量化时序组合逻辑,结合事件的变量取值条件组合逻辑和空间关系组合逻辑,总结了事件组合逻辑,为信息过程感知事件和控制事件的刻画提供了精确语义。以月球车系统行为刻画过程为例展示了事件的组合定义和应用过程。  (2)针对CPS系统行为仿真对信息过程行为及其时间特性的集成刻画需求,提出了基于事件-接口的CP交互行为仿真建模方法。借鉴现有软件行为模型,重新定义了接口的行为模型;给出了基于状态转换关系的接口实现模型及逻辑并行组合、动态并发和物理并行组合等接口组合方法,辅助信息行为的描述与仿真建模。通过将事件类型与其检测者、响应者以及响应结果类型和相应的延迟属性相绑定,充分刻画事件在信息物理闭环交互过程中的作用,并为信息与物理行为的协同仿真提供模型依据。  (3)针对带延时属性的接口行为模型的主要实现逻辑和延时属性的早期仿真评估需求,提出了一种基于扩展微分Petri网(DPN)的CPS闭环混成行为时效方面仿真建模方法,为CPS系统行为的响应决策和相关参数的早期设计提供了一种综合评估手段。设计了基于扩展DPN模型的连续量离散感知过程、信息过程响应逻辑、控制过程以及物理动态的一般模式,给出了感知、控制模型与物理连续模型的集成方法;以智能车辆的自主行走场景为实验对象,展示了该建模方法的可行性和有效性。  (4)依据信息行为时间特性和信息物理交互时序特性,设计并实现了由感知-控制周期驱动的信息物理并行调度引擎,有效实现了基于 Statechart模型的CPS系统行为统一视图建模与信息物理协同仿真。以月球车系统为例,采用Rhapsody数据同步更新和事件端口通信机制,完成了CPS系统闭环信息流的搭建,应用并行调度机制完成了月球车系统闭环行为的集成仿真,验证了月球车自主行进过程中避障策略的安全性。该方法所形成仿真框架为系统中信息系统行为和物理动态行为的设计与实现提供了可重复运行的仿真验证环境。  (5)针对典型CPS系统的多节点网络化协作特性,在混成自动机模型的基础上提出了一种基于事件桥的带延时属性的网络化混成动态行为模型。通过消除显式时钟变量的引用,实现了混成行为节点间的事件供求关系及其网络延时特性的独立、简洁的刻画;设计并实现了基于事件桥的建模与仿真框架,应用该框架分别建立了列车门控系统和月球车系统行为模型,有效实现了系统行为的仿真观测和关键属性验证。该框架不仅适用于网络化多混成节点系统,也适用于单CPS节点混成系统,能够有效支持CPS系统行为的建模与仿真。  本文所取得的研究成果已应用于“863”信息领域重大项目等国家级课题,并展示出了成果的有效性,为CPS系统早期设计与仿真分析提供了理论与方法支撑。
其他文献
在自认证密码体制下,用户的公钥由自己生成,一个称为认证中心CA(Certificate Authority)的可信第三方生成用户的部分私钥,用户利用这个部分私钥和自己随机选取的秘密值生成自
机器翻译自动评价是近年机器翻译研究工作中的热点问题。机器翻译的自动评价具有速度快、成本低、一致性强的特点,在机器翻译系统的开发周期中起着重要的作用。句子级机器翻译
Web服务组合解决了互联网异构应用的集成和协作问题。Web服务组合建模是一个复杂且易出错的过程。如果组合流程在投入运行后被发现有错,则修复错误的代价很高,而且流程结构的
各种不同网络安全设备每天都产生大量的信息,并且不同的网络设备之间的安全事件存在一定内在的联系。安全态势值提供了一个宏观报警的方法,安全态势评估则是将安全信息数据的
BitTorrent(简称BT)作为一种高效的P2P文件共享协议为越来越多的人所使用和关注,也成为学术界研究的热点。目前的BT发布站点或搜索引擎在效率、全面性、安全性上存在着或多或
航空产品是一种较为特殊的产品,生产周期长,质量要求高,造价高昂,所需的零配件品种繁多。单独的企业可能没有必需的技术与能力来满足所有的制造生产要求。但是在引进某些合作
人脸识别技术尽管取得了较好的发展,并在安全访问控制、基于内容的检索和新一代人机界面等领域中有了初步应用。但现阶段算法在速度,准确性,鲁棒性等方面尚不能满足实际需求
计算机人脸表情识别技术是指计算机从人脸图像中分析并提取表情特征,应用人工智能和模式识别的方法加以归类和识别,进而理解人的情感。它是图像处理、模式识别、心理学等领域
随着流体力学、科学计算可视化、计算机图形学、网络三维游戏等的发展,可视化技术得到了广泛的应用。流线可视化技术是矢量场可视化技术中的一种,主要包括流线的计算与流线的
影视作品是以视频的形式呈现在观众面前的,因此对影视作品进行对白单元切分,实际上就是对视频进行对白单元切分。本论文的工作目标是希望通过对视频中张嘴说话状态的检测来分