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

Time modeling and constraint verification of large-scale device collaboration system

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

Aiming at the characteristics of complex time attributes and difficult time constraint verification in large-scale device collaboration system,a large-scale device collaboration model containing time attributes was presented.The time attribute was composed of device operation time and status duration time.By adding the time property on operations,the modeling of device operation time was achieved,and by adding the time property on connectors,the modeling of status duration time was achieved.Based on the time model,a calculation method of time of four basic structures in large-scale device collaboration was proposed.Through structural equivalence,the basic structure was equaled as a connector.So the time properties of all nodes in device collaboration model can be calculated.And the rule of time constraint verification was given.The result of comparison and simulation experiments shows that the method is more accurate,bias of the method is lower and it can satisfy the performance requirements of the large-scale device collaboration system.