大规模设备协同中的时间建模与验证

摘要：

针对大规模设备协同系统中时间属性复杂、时间约束验证困难的特点,给出了大规模设备协同中的时间属性建模方法.针对设备操作时间和状态维持时间2种时间属性,通过在操作上附加时间属性实现了对设备操作时间的建模,通过在连接符上附加时间区间属性,实现了对状态维持时间的建模.在此模型的基础上,给出了大规模设备协同中4种基本结构的时间计算方法,并通过结构等价,将基本结构等价为一个连接符,从而实现了一个设备协同模型中所有节点的时间计算;并给出了大规模设备协同中的时间约束验证规则.通过相关比较及实验分析,验证了该方法具有更高的准确度,计算偏差较低且稳定,能够满足大规模设备协同系统的性能要求.

关键词：大规模设备协同、时间建模、时间约束验证

所属期刊栏目：38

分类号：TP39(计算技术、计算机技术)

资助基金：国家科技支撑计划资助项目2006BAK12B11;软件开发环境国家重点实验室探索性自主研究课题资助项目SKLSDE-2010ZX-06

在线出版日期：2012-04-28（万方平台首次上网日期，不代表论文的发表时间）

页码：91-97