论文部分内容阅读
针对大规模设备协同系统中时间属性复杂、时间约束验证困难的特点,给出了大规模设备协同中的时间属性建模方法.针对设备操作时间和状态维持时间2种时间属性,通过在操作上附加时间属性实现了对设备操作时间的建模,通过在连接符上附加时间区间属性,实现了对状态维持时间的建模.在此模型的基础上,给出了大规模设备协同中4种基本结构的时间计算方法,并通过结构等价,将基本结构等价为一个连接符,从而实现了一个设备协同模型中所有节点的时间计算;并给出了大规模设备协同中的时间约束验证规则.通过相关比较及实验分析,验证了该方法具有更高的准确度,计算偏差较低且稳定,能够满足大规模设备协同系统的性能要求.
Aiming at the characteristics of large-scale equipment collaborative system with complex time attribute and difficult time constraint verification, a method of time attribute modeling in large-scale equipment coordination is presented. According to two time attributes of equipment operation time and state maintenance time, The additional time attribute realizes the modeling of the operation time of the device, and the state maintenance time is modeled by adding the time interval attribute to the connector. Based on the model, four kinds of large-scale device coordination Basic structure of the time calculation method, and through the structural equivalence, the basic structure is equivalent to a connector, so as to achieve a device collaborative model of all nodes in the time calculation; and large-scale equipment is given time constraint verification The results show that this method has higher accuracy, lower and stable deviation, and can meet the performance requirements of large-scale equipment collaborative system.