【摘 要】
：
时间Petri 网在经典Petri 网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(Cyber-Physical S
【机 构】
：
苏州大学计算机科学与技术学院 江苏苏州 215006
【出 处】
：
第十一届全国软件与应用学术会议(NASAC2012)
论文部分内容阅读
时间Petri 网在经典Petri 网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(Cyber-Physical System,CPS)的产生需要对时间Petri 网进一步拓展.CPS 集成计算系统和物理系统,不仅能够实时感知物理环境信息,并且能够通过物理实体改变物理环境.文中对CPS 的物理层面特点进行了深入分析,研究了CPS 物理实体的属性及其位置变迁过程,提出了一种CPS 物理实体的形式化建模方法,并在时间Petri 网的基础上引入空间因素,构造时空Petri 网模型,使其不仅能够描述物理实体逻辑及时间层次的行为,并且能够描述物理实体位置变迁所引起的状态变化,最后以机器人控制系统为例,进一步阐述了时空Petri 网模型的有效性.
其他文献
本文研究了定拓扑结构下一阶多智能体系统的鲁棒一致性问题，在系统同时具有变时延和系统不确定性的情况下，提出了新的基于邻居多智能体系统状态的控制协议，证明了多智能体系
嗜烟者有一句“名言”:饭后一支烟,赛过活神仙。然而,医学研究表明,人们在进食后立即吸烟,对人体健康危害极大。这句话应换个说法:饭后一支烟,害处大无边。这是因为烟草主要
本文对基于动态拓扑有领航者的多移动智能体二阶系统的一致性进行研究。假设各智能体系统存在时变输入时延，分别针对有向网络拓扑为固定和动态两种情形，设计基于邻接信息的
打小,就有一个美丽的梦:读完小学读中学,读完中学读大学,成为一个有知识、有文化,能够著书立说的作家。起步还算顺当。小学毕业后,我以全县(可能还是全地区)第一名的成绩考入
针对基于视觉定位的移动机器人自主定位过程中容易产生多种候选位姿，提出一种基于多假设跟踪的同时定位和地图创建方法。该方法通过提取图像SIFT特征进行视觉量测，修正里程
有些人虽然养花很精心，但却是不得要领，往往事与愿违，长势不好。其中重要原因之一是常见虫害所致。经专业科研人员考察研究认为，如下几种常见虫害及其防治措施是：一是蚜虫。蚜虫种
文章介绍了一种对多智能体系统一致性进行半实物仿真的试验系统，给出了该试验系统的系统框架、构成模块、工作流程以及系统开发过程中遇到的一些关键问题及解决方案。系统
患者男性,27岁,因安装膀胱起搏器后,行心电图检查时出现等频干扰信号,且滤波功能无法抑制干扰波.
缺铁:果树缺铁时,叶子变黄,发生黄叶病,新梢顶端叶子由黄变白。以后逐渐向下发展,严重时只有叶脉还保留一些绿色,其它部分全部变白,干枯死亡。对缺铁果树,可结合深翻施入有
拍摄封面的时候,刚得知宋佳获得26届“金鸡奖”最佳女配角提名。自己心里悄悄比较了其他几位演员,就像宋佳最终被我们选作11月号封面明星一样,还是宋佳在最佳女配角方面表现