摘要
通航维修作业多为跨地域作业且作业时间多具有不确定性,这给通航维修资源的调度带来了一定困难。针对通航维修资源调度是一个典型的离散事件动态系统,结合Petri网模型理论,建立了基于着色和时间的高级Petri网维修资源调度模型,通过该模型用于维修资源的预调度,实现了调度时间预估、可视化调度状态查询。根据预估调度时间结合实际通航维修资源的状况,通过动态规划算法对维修资源进行合理分配,达到了保障飞机持续适航和提高维修资源利用率的目的,为通航维修资源的调度分配提供理论支持和应用参考。
Navigation operations are mostly cross-regional, and the operation time is uncertain, which bring certain difficulties to the scheduling of navigation maintenance resources. As a typical discrete event dynamic system, this paper proposes a hybrid Petri network maintenance resource scheduling model based on coloring and time. This model can be used for pre-scheduling of maintenance resources, scheduling time estimation of relevant maintenance resources, and visual scheduling status query. Finally, the maintenance resource scheduling time of the output of the model calculation is combined with the actual situation of the actual general aviation maintenance resources, and the maintenance resources are rationally distributed through the dynamic programming algorithm to achieve the purpose of ensuring the continuous airworthiness of the aircraft and improving the utilization rate of the maintenance resources. This provides theoretical support and application reference for the scheduling and allocation of general aviation maintenance resources.
引文
1] 倪晓晨,徐文强,沈峰,等.面向通航维修保障能力现状分析及改善方法[J].电子世界, 2018(9):30-31.
[2] 汪凯,冯惊雷,张恒喜.基于Petri网的军用飞机使用维修保障建模[J].装备指挥技术学院学报,2005(6):14-17.
[3] 汤新民,朱新平.PETRI网原理及其在民航交通运输工程中的应用[M].北京:中国民航出版社,2013:82-148.
[4] 袁崇义.Petri网应用[M].北京:科学出版社,2013:65-71.
[5] 吴哲辉.petri网导论[M].北京:机械工业出版社,2006:181-240.
[6] 张绍阳,王选伦.公路施工Petri网全过程仿真及关键算法研究[J].武汉理工大学学报(交通科学与工程版),2006,6(3):388-391.
[7] HERAJY M,LIU F,ROHR C,et al.Coloured hybrid petri nets:an adaptable modelling approach for multi-scale biological networks[J].Computational Biology & Chemistry,2018,76:87-100.
[8] 朱正月,陈增强.基于面向对象时间Petri网的智能电商物流服务系统建模[J].智能系统学报,2018,13(2):303-313.
[9] BERTHOMIEU B,LIME D,ROUX O H,et al. Reachability problems and abstract state spaces for time petri nets with stopwatches[J].Discrete Event Dynamic Systems,2007,17(2):133-158.
[10] BERTHOMIEU B,PERES F,VERNADAT F. Bridging the gap between timed automata and bounded time petri nets[C]//Formal Modeling & Analysis of Timed Systems. International Conference. Paris: DBLP,2006.
[11] BERTHOMIEU B,PERES F,VERNADAT F. Model-checking bounded prioriterized time petri nets[C]//International Conference on Automated Technology for Verification & Analysis. Berlin:Springer-Verlag,2007.
[12] 席利贺,张欣,耿聪,等.基于动态规划算法的增程式电动汽车能量管理策略优化[J].交通运输工程学报,2018,18(6):148-156. [、校对:李琳]