基于事件逻辑的CPS组件协同模型
尹忠海
褚亚男
1.空军工程大学理学院,西安,7100512.空军工程大学理学院,西安,710051
摘要：针对C PS系统的异构性、实时性、物理世界与信息世界的高度融合等特征,提出了基于事件逻辑关系的组件协同代数模型.首先,定义了基于时空事件接口的组件形式化表示方法,建立了基于事件驱动的组件协同体系架构.然后,根据组件协同方式分析了事件间的逻辑关系,建立了组件协同代数系统.最后,以智能家居的非法入侵行为为例,使用协同代数式描述事件驱动组件行为的过程.分析表明,基于事件逻辑的组件协同代数模型能够清晰地反应组件间的交互关系,屏蔽了组件的异构性,实现了物理进程与计算进程的融合,为C PS系统的形式化建模提供了新的方法.
关键词：物理信息融合系统事件接口事件逻辑关系组件协同代数系统
分类号：TP301(计算技术、计算机技术)
资助基金：国家自然科学基金(61472443)
论文发表日期：2017-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：6( 67-72 )
英文信息