基于时间有色Petri网的航班进离港建模的研究.pdfVIP

基于时间有色Petri网的 航班进离港建模的研究 王海东，孙淑光，华克强 (中国民用航空学院机电学院，天津300300) 航班进离港的调度模型，并进行了仿真。仿真结果表明，该方法在一定程度上可以帮助空管人员进行调度 决策，从而更加快速有序地对飞机进离港进行调度，对目前空管优化调度，减少延误具有一定的参考价值。 关键词：航班进离港；空中交通管制；航班延时；时间有色Petri网；建模仿真 O 引言 20世纪80年代以来，民航事业快速发展，各国机场的吞吐量迅猛增长。目前空中交 通管制所面临的一个重要问题就是如何减少机场航班进出港的延误以提高服务质量。国内 不较大地改变现行的控制决策。 一种系统模拟与分析的有效工具，它可以结合图形和分析描述评估机场调度离散事件系统 立了基于TCPN机场航班进离港调度模型，并阐述了该模型中各库所和变迁的意义和作用， 最后对该方法进行了仿真验证，并与FCFS【61方法进行了比较分析。 1时间有色Petri网(TCPN) 1．1TCPN的形式化概念 侄，P，T，C，I，O，D，ro)这里： (1)∑是颜色(Color)的有限集合； (2)P与T为库所与变迁集合，它的定义与基本Petri网(PN)相同； (3)C是与库所和变迁关联的色彩集合，具体地： (1) 库所只的颜色集合：C(p；)={以¨，…，口抽小“；=IC(p剑，f_1，…，n 变迁乃的颜色集合： (2) c(tJ)={易¨，…，b埘)，vJ=Ic(f刊，-『=1，…，，l N(非负整数)， ．．325．． 对应着从P到t的有色有向弧，这里l(p，f)为矩阵； N(非负整数)， 对应着从t到P的有色有向弧，这里O(p，t)为矩阵； ffrJ O(ai．h,b』．。)。 对于变迁的时延函数，有D：C(T)一R+。具体地，库所P；时延函数表示为： h个颜色口i,h所对应的时延，记为d啪=D(aj．^)，h=1，…，Uf。 类似地，变迁f；时延函数表示为： k个颜色易J，I所对应的时延，记为易J．t=D(bJ，t)，k=l，…，VJ。 (7)ro是开始模拟时间。 方法上完全不同。 1．2 时间与库所关联的TCPN的激发规则 的一定颜色的托肯，同时在输出库所中放置一定数量的一定颜色的托肯。这一规则与CPN 完全相同。但是，加入输出库所的托肯，必须延迟一段时间后才能用于激发其他变迁。输 出库所中的某一颜色的延迟时间为该库所的这一颜色的时延。若通过变迁t；在时刻r的激 库所中的托肯在被使用之前，又有新的托肯在其他时刻加入。因此Pf中的颜色为口¨的托 Hf ， 肯可表示为： M(pf，以f^)=∑以i’^口i’^@r(a啪) h (4) r(口f，^)=t(以f^)1．一，，．(口f^)‰jr(口油)，≤，．．·，r(ai,h)～。 而P，中包含的所有托肯表示为： j326． H， U1 蜥 ， M(p；)=∑M(pi，以i’^)=∑∑咒i’^口油@r(af’^)(5)