北京航空航天大学学报 ›› 2012, Vol. 38 ›› Issue (1): 91-97.

• 论文 • 上一篇    下一篇

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

荣晓慧, 马世龙, 邓攀, 陈峰   

  1. 北京航空航天大学 软件开发环境国家重点实验室, 北京 100191
  • 收稿日期:2010-07-30 出版日期:2012-01-30 发布日期:2012-01-13
  • 作者简介:荣晓慧(1982-),女,山东威海人,博士生,rongxh@nlsde.buaa.edu.cn.
  • 基金资助:

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

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

Rong Xiaohui, Ma Shilong, Deng Pan, Chen Feng   

  1. State Key Laboratory of Software Development Environment, Beijing University of Aeronautics and Astronautics, Beijing 100191, China
  • Received:2010-07-30 Online:2012-01-30 Published:2012-01-13

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

Abstract: 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.

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发