【摘 要】
：
针对C PS系统的异构性、实时性、物理世界与信息世界的高度融合等特征,提出了基于事件逻辑关系的组件协同代数模型.首先,定义了基于时空事件接口的组件形式化表示方法,建立了
【机 构】
：
空军工程大学理学院,西安,710051
论文部分内容阅读
针对C PS系统的异构性、实时性、物理世界与信息世界的高度融合等特征,提出了基于事件逻辑关系的组件协同代数模型.首先,定义了基于时空事件接口的组件形式化表示方法,建立了基于事件驱动的组件协同体系架构.然后,根据组件协同方式分析了事件间的逻辑关系,建立了组件协同代数系统.最后,以智能家居的非法入侵行为为例,使用协同代数式描述事件驱动组件行为的过程.分析表明,基于事件逻辑的组件协同代数模型能够清晰地反应组件间的交互关系,屏蔽了组件的异构性,实现了物理进程与计算进程的融合,为C PS系统的形式化建模提供了新的方法.
其他文献
近年来，我国公司法的改革越来越多地指向“个体自由与权利”——更加注重股东的个体权利保护，这是追求社会公平的价值体现，具有维持公司稳健运行的现实必要性。而这种指向也带来
指出ERP系统作为一种管理工具,在满足企业发展需求的同时也对企业原有财务管理、业务流程、管理理念和管理模式等方面带来巨大的冲击。分析了实施ERP系统对企业业务和财务的
刑法解释论中的类推解释问题，是刑法学界理论上挥之不去的难题，与其避而不谈，不如适度修正，让其可以重见天日，对于时下刑法疑难案件，发挥类推本应有之意义。尤其是活跃在刑法分则中
随着中国对外开放程度的加深，印度洋在中国整个对外开放格局中的地位日益突出。不论从能源运输还是经济贸易等角度来讲，中国未来的发展都与印度洋有着密切的关系。本文试图就中
专业性强、事实认定困难、审理期限长、审理难度大等是建设工程施工合同纠纷案件固有的特点，最高人民法院于2005年1月1日施行的《最高人民法院关于审理建设工程施工合同纠纷案
目的了解连云港市二次供水单位的现状,防止因二次供水对公众健康的影响。方法制定统一调查表进行现场调查和问卷调查。结果随机抽查城区、县城宾馆饭店29家,居民小区37家,商
文山州砚山县白沙坡彝族村地处半山区，由于连年干旱少雨，当地植被不断退化，日益严重的石漠化灾害导致村民农业收入逐年递减，白沙坡村急需发展特色产业以替代日渐减产的传统农业，同
老中关系作为老挝对外关系发展战略中最重要的双边关系之一，其对老挝政治、外交及社会经济发展有着举足轻重的作用和影响。在老中关系发展过程中，有曲折、有低谷、也有发展，当前