[an error occurred while processing this directive]
���¿��ټ��� �߼�����
   ��ҳ  �ڿ�����  ��ί��  Ͷ��ָ��  �ڿ�����  ��������  �� �� ��  ��ϵ����
�������պ����ѧѧ�� 2012, Vol. 38 Issue (1) :91-97    DOI:
���� ����Ŀ¼ | ����Ŀ¼ | ������� | �߼����� << | >>
������, ������, ����, �·�*
�������պ����ѧ ����������������ص�ʵ����, ���� 100191
Time modeling and constraint verification of large-scale device collaboration system
Rong Xiaohui, Ma Shilong, Deng Pan, Chen Feng*
State Key Laboratory of Software Development Environment, Beijing University of Aeronautics and Astronautics, Beijing 100191, China

Download: PDF (352KB)   HTML 1KB   Export: BibTeX or EndNote (RIS)      Supporting Info
ժҪ ��Դ��ģ�豸Эͬϵͳ��ʱ�����Ը��ӡ�ʱ��Լ����֤���ѵ��ص�,�����˴��ģ�豸Эͬ�е�ʱ�����Խ�ģ����.����豸����ʱ���״̬ά��ʱ��2��ʱ������,ͨ���ڲ����ϸ���ʱ������ʵ���˶��豸����ʱ��Ľ�ģ,ͨ�������ӷ��ϸ���ʱ����������,ʵ���˶�״̬ά��ʱ��Ľ�ģ.�ڴ�ģ�͵Ļ�����,�����˴��ģ�豸Эͬ��4�ֻ����ṹ��ʱ����㷽��,��ͨ���ṹ�ȼ�,�������ṹ�ȼ�Ϊһ�����ӷ�,�Ӷ�ʵ����һ���豸Эͬģ�������нڵ��ʱ�����;�������˴��ģ�豸Эͬ�е�ʱ��Լ����֤����.ͨ����رȽϼ�ʵ�����,��֤�˸÷������и��ߵ�׼ȷ��,����ƫ��ϵ����ȶ�,�ܹ�������ģ�豸Эͬϵͳ������Ҫ��.
Email Alert
�ؼ����� ���ģ�豸Эͬ   ʱ�佨ģ   ʱ��Լ����֤     
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.
Keywords�� large-scale device collaboration   time modeling   time constraint verification     
Received 2010-07-30;

���ҿƼ�֧�żƻ�������Ŀ(2006BAK12B11); ����������������ص�ʵ����̽���������о�����������Ŀ(SKLSDE-2010ZX-06)

About author: ������(1982-),Ů,ɽ��������,��ʿ��,rongxh@nlsde.buaa.edu.cn.
������, ������, ����, �·�.���ģ�豸Эͬ�е�ʱ�佨ģ����֤[J]  �������պ����ѧѧ��, 2012,V38(1): 91-97
Rong Xiaohui, Ma Shilong, Deng Pan, Chen Feng.Time modeling and constraint verification of large-scale device collaboration system[J]  JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND A, 2012,V38(1): 91-97
http://bhxb.buaa.edu.cn//CN/     ��     http://bhxb.buaa.edu.cn//CN/Y2012/V38/I1/91
Copyright 2010 by �������պ����ѧѧ��