基于着色时间Petri网的航班保障服务建模方法  

Flight support service process modeling method based on colored time Petri net

作　　者：邢志伟 魏志强 罗谦[2] 文涛 丛婉 夏欢 XING Zhiwei;WEI Zhiqiang;LUO Qian;WEN Tao;CONG Wan;XIA Huan(College of Electronic Information and Automation,Civil Aviation University of China,Tianjin 300300,China;The Second Research Institute of Civil Aviation Administration of China,Chengdu,610041,China)

机构地区：[1]中国民航大学电子信息与自动化学院,天津300300 [2]中国民用航空局第二研究所,四川成都610041

出　　处：《系统工程与电子技术》2018年第5期1064-1069,共6页Systems Engineering and Electronics

基　　金：国家自然科学基金委员会与中国民用航空局联合资助项目(U1333122;U1533203);国家科技支撑计划(2012BAG04B02);中央高校基本科研业务费专项资金(3122014P003);四川省科技支撑计划项目(2016GZ0068);成都市战略性新兴产品研发补贴项目(2015-CP01-00158-GX)资助课题

摘　　要：航班地面保障过程的定量描述以及保障服务时间的准确估计是提升机场保障服务效率的关键。通过分析航班地面保障服务实际作业流程,提出了一种基于着色时间Petri网的航班地面保障服务定量描述模型。该模型将保障服务分为作业、状态、资源3部分,利用着色时间Petri网基本元素描述保障作业、作业逻辑关系、服务状态及其与保障作业的关系,根据该模型设计了一种基于蒙特卡罗仿真的保障服务时间估算方法。利用国内某大型枢纽机场实际航班保障服务时间数据与本文提出的方法估计保障时间数据估算误差进行分析验证,表明本文提出方法对航班地面保障服务时间估计的可行性和有效性。The quantitative description of the flight ground support process modeling and accurate estimation of the service time are the keys for enhancing the efficiency of airport flight support services.A quantitative description support service model(SSM)is proposed for analyzing the actual process of airport support service using colored time petri nets(CTPNs).The model divides the support service into three parts,task,state and resource.This paper uses the basic elements of the colored Petri nets to describe the support task,the logical relationship of the task,the service state and the relationship with the support task,and the model is given by the mentioned work.Based on the model,a support service time simulation algorithm based on the Monte Carlo method(MC-SST)is proposed.Finally,an application case of large hub airport flight support service data analyzes and validates the error of the MC-SST estimation time and the real time,which illustrates the applicability and effectiveness of the CTPN-SSM model.

关 键 词：航班保障服务模型 着色时间Petri网 蒙特卡罗法 模型评估 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]