中文会议： 第十一届全国软件与应用学术会议(NASAC2012)论文集

会议日期： 2012-10-20

会议地点： 南京

主办单位： 中国计算机学会

作　　者： ; ; (张侃）; (陈名才）; (封飞）;

机构地区： 苏州大学计算机科学与技术学院

出　　处： 《第十一届全国软件与应用学术会议(NASAC2012)》

摘　　要： 时间PETRI 网在经典PETRI 网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(CYBER-PHYSICAL SYSTEM,CPS)的产生需要对时间PETRI 网进一步拓展.CPS 集成计算系统和物理系统,不仅能够实时感知物理环境信息,并且能够通过物理实体改变物理环境.文中对CPS 的物理层面特点进行了深入分析,研究了CPS 物理实体的属性及其位置变迁过程,提出了一种CPS 物理实体的形式化建模方法,并在时间PETRI 网的基础上引入空间因素,构造时空PETRI 网模型,使其不仅能够描述物理实体逻辑及时间层次的行为,并且能够描述物理实体位置变迁所引起的状态变化,最后以机器人控制系统为例,进一步阐述了时空PETRI 网模型的有效性.

关 键 词： 时间 网 信息物理融合系统 物理实体 空间信息 时空 网

分 类 号： [ZZ]

领　　域： [文化科学]