期刊文献+

基于时间Petri网的航班延误链式反应模型构建 被引量:9

Modeling of Flight Delays Chain Reaction Based on Timed Petri Net
原文传递
导出
摘要 由于一架飞机一天要执行多个航班,使得航班之间存在前后衔接关系,因而一个航班的延误会波及到与之衔接的下游航班,造成航班延误链式反应。基于时间Petri网理论,对单架飞机执行多个航班提出了时间Petri网链式模型,并给出了具体算法,用于在初始延误时间已知的条件下,判断初始延误机场的下游机场是否出现航班延误并计算航班延误的时间。实例仿真及分析表明,航班延误链式反应波及的机场个数与飞机的初始延误时间存在一定的量化关系,机场可以参考这个量化关系,根据初始延误时间建立航班延误预警机制。 There is a connective relationship among the flights due to one airplane implementing a few flights. Thus one delayed flight might propagate the downstream flights, and causes flights delay chain reaction. Based on the theory of Petri nets, a timed Petri nets model was established for one airplane to implement a few flights. A propagated analysis algorithm was given to judge whether the lower reaches of the initial delayed airport delay when the initial delayed time was known, and calculated the delayed time. Simulated experiments and analysis demonstrate that there is a certain quantitative relation between the number of the delayed airports which were propagated by the chain reaction of the flights delay and the initial delayed time. The airport can refer to the quantitative relationship and establish flights delay early warning mechanism according to the initial delayed time.
出处 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第14期3888-3891,3895,共5页 Journal of System Simulation
基金 国家863重点项目(2006AA12A106) 国家自然科学基金(60572167) 民航科研启动基金(04QD01)
关键词 时间PETRI网 航班延误 链式反应 TOKEN timed Petri nets flight delay chain reaction token
  • 相关文献

参考文献7

  • 1Murata T. Petri nets: properties, analysis and applications. [J]. Proceedings of IEEE (S0018-9219), 1989, 77(4): 541-580.
  • 2Bowden, F.D.J. A brief survey and synthesis of the roles of time in Petri nets [J]. Mathematical and Computer Modeling (S0895-7177), 2000, 31(10-12): 55-68.
  • 3Chen S M, Jong W T. Comment on "A Petri net model for Temporal knowledge representation and reasoning" [J]. IEEE Transactions on System, Man and Cybernetics, Part B: Cybernetics (S1083-4419), 1997, 27(1): 165-166.
  • 4Jong W T, Shiau Y S, Homg Y J, Chen H H, Chen S M. Temporal Knowledge Representation and Reasoning Techniques Using Time Petri Nets [J]. IEEE Transaction on System, Man and Cybernetics, Part-B: Cybernetics (S1083-4419), 1999, 29(4): 541-545.
  • 5Merlin P, Faber D J. Recoverability of communication protocols [J]. IEEE Transactions on Communication (S0096-2244), 1976, 24(9): 1036-1043.
  • 6苏洁,刘建军,金声震.基于时间Petri网的星载海量存储器动态仿真[J].系统仿真学报,2004,16(6):1326-1329. 被引量:5
  • 7Jiang Changiun. Behavior theory and applications of Petri net [M].Beijing: Higher Education Press, 2003: 21-24.

二级参考文献8

  • 1Dianxiang Xu. Compositional Schedulability Analysis of Real-Time Systems Using Time Petri Nets [J]. IEEE Trans. Software Eng., Oct. 2002, 28(10): 984-996.
  • 2Berthomieu B. Modeling and Verification of Time Dependent Systems Using Time Petri Nets [J]. IEEE Trans. Software Eng., Mar. 1991, 17(3): 259-273.
  • 3Stoyenko A D. Analyzing Hard-Real-Time Programs for Guaranteed Schedulability [J]. IEEE Trans. Software Eng., Aug. 1991, 17(8): 737-750.
  • 4Bruce Powel Douglass. Doing Hard Time [M]. United States: Addison Wesley Longman, 2000.
  • 5Jahanian F. Safety Analysis of Timing Properties in Real-Time Systems [J]. IEEE trans. Software Eng., 1986, 12: 890-904.
  • 6J J P Tsai. Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications [J]. IEEE trans. Software Eng., 1995, 21(1): 32-49.
  • 7P M Merlin. Recoverability of Communication Protocals [J]. IEEE trans. Comm., 1976, 24(4): 1036-1043.
  • 8MarkPriestley.Practical Object-Oriented Design with UML [M].北京: 清华大学出版社,2000..

共引文献4

同被引文献71

引证文献9

二级引证文献26

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部