2. 克兰菲尔德大学 航空中心, 贝德福德郡 MK430AL
2. Centre for Aeronautics, Cranfield University, Bedford MK430 AL, United Kingdom
繁忙机场终端区是当前空中交通管理的一个重要瓶颈,其原因来自物理和运行层面。在物理层面上,终端区地侧有限的登机口、跑道数量和机场布局以及空侧的进离场航线网络构型等在一定程度上形成了限制[1];对于运行层面,终端区涉及众多的参与方,如塔台、场面管制、航空公司(运控及机组)等,各参与方之间缺乏高效的协调机制以及在此机制上的综合控制技术和决策辅助工具。
为应对上述运行层面的问题,机场协同决策机制率先被国外学者提出[2-3],并在成功实践的基础上,将该机制逐步衍生为更普适的基于航迹运行(Trajectory-Based Operation, TBO)的概念[4-5],涉及的管理范围从机场终端区拓展至“门到门”的整个飞行历程,作用的时间尺度也从实时阶段扩大到数日(甚至数月)前的计划阶段。总体而言,TBO的核心理念在于从当前以航班计划及航空器位置为基准的粗放管控方式,转变为以实时更新的四维飞行航迹预测及航空器精确控制过点时间为基准的精细化管理模式,并在该过程中围绕四维航迹,实现各方之间的协同。
国内外学者针对这一领域已展开了积极探索,四维航迹的研用奠定了TBO模式的基础[6-8]。文献[9]对TBO长期发展规划进行了梳理和总结。文献[10-11]通过比较随机性和确定性排队模型的延误预测,揭示了TBO在航迹准确性方面的优势。文献[12]总结了NextGen飞行管理系统运行概念及体系结构,建立了用于该系统生成并优化四维航迹的数学模型。文献[13]提出了TBO模式下协同流量管理方法并进一步与动态空域规划相结合。
此外,部分研究虽未直接着眼于TBO模式,其成果依然可以为之借鉴,如文献[14]发掘了空中交通流的5个演变相态,分析了交通流相变规律。文献[15]建立了终端区交通流微观模型及诱导规则,引导航空器自主选择路径进场。类似地,文献[16]结合航空器性能及航路节点繁忙程度引导航空器直飞。文献[17-18]建立了多排序边融合点进场模型,提高了繁忙机场终端区的进场交通流运行效率。文献[19]利用整数规划提出了控制滑行路径点的场面滑行优化方法。
本文结合TBO模式的相关概念,针对截点直飞进场方式和融合点进场方式分别建立了数学优化模型,揭示了2种进场方式在TBO模式下进一步提高运行效率、确保运行安全的效果,并通过后续仿真实验及优化后的交通流特性分析,验证了2种模型的正确性和有效性。探索了TBO概念在终端区进场空中交通管理方面的应用,为今后繁忙终端区交通流研究及TBO模式在终端区内的实际运行提供了理论基础和方法支持。
1 TBO模式下截点直飞进场优化模型 1.1 模型介绍在TBO概念中,航空器可以在一定范围内灵活调整航迹[20],以达到提高交通流运行效率及空域利用率的目的。在此基础上,根据法国戴高乐机场终端区实际运行环境以及公布的标准区域导航(RNAV)进场程序、标准仪表进场程序等,构建了TBO模式下截点直飞进场航线结构,如图 1所示。
由北侧进场程序起始点(DPE、MOPIL、VEDUS)进入的航空器可以根据当前航路繁忙程度,在与其他航空器无冲突的前提下选择不同的航路截点直飞进场,如图 1中各虚线所示,并在雷达引导下经由规定导航点降落在计划跑道27R。同理,由南侧进场程序起始点(KEPER、DJL、TINIL)进入的航空器,根据该侧航路的运行情况选择截点及其对应航路运行,并经由规定导航点后降落跑道26L。
此外,模型中控制点的选取是基于机场终端区航图中公布的定位点分布,并通过利用航班计划中的常用位置点对这些点进行筛选,最后得到上述一系列关键的进场定位点,从而设定为模型中的控制点。
考虑到实际运行过程中,空中与场面之间并非完全独立,而是存在相当程度上的资源共享,如共用跑道、滑行道等,因此,空中会受到场面上公共资源容量的制约;其次,机场场面部分所产生的延误也会在一定程度上影响进场交通流。为使模型更贴近实际,同时为突出研究重点,本文对涉及的场面运行进行了简化,图 2为戴高乐机场场面示意图。一方面,针对场面资源,仅保留基于历史数据筛选出的最常用登机口、滑行道及跑道端等;另一方面,简化场面运行过程,仅考虑进、离场航空器按指定滑行路径在特定停机位至跑道端之间的运行,其中包含跑道穿越。
1.2 数学建模 1.2.1 决策变量定义模型的决策变量为xf, tk, j及zfk,表达式分别为
$ \begin{array}{l} x_{f,t}^{k,j} = \\ \left\{ {\begin{array}{*{20}{l}} {1,{\rm{ 航班 }}f{\rm{ 的 }}k{\rm{ 航迹于 }}t{\rm{ 时刻前已到达 }}j{\rm{ 位置点 }}}\\ {0,{\rm{ 否则}}} \end{array}} \right.\\ z_f^k = \left\{ {\begin{array}{*{20}{l}} {1,{\rm{ 航班 }}f{\rm{ 选取 }}k{\rm{ 航迹 }}}\\ {0,{\rm{ 否则 }}} \end{array}} \right. \end{array} $ |
式中:xf, tk, j特指“t时刻前已经到达节点”,与“t时刻恰好到达”定义的区别如表 1所示。基于该定义方式,“t时刻恰好到达”则可以通过(xf, tk, j-xf, t-1k, j)间接转化。这种定义方式可以极大简化特定约束条件的构建,从而提高模型求解速度,1.2.2节中将对此进行详细解释;zfk为航空器f可以从路径集合Kf中灵活选择最优截点直飞航线进场。
模型的目标函数及约束条件如式(1)~式(14)所示:
$ {\rm{min}}({\rm{Ar}}{{\rm{r}}_{{\rm{ cost }}}} + \lambda {\rm{De}}{{\rm{p}}_{{\rm{ cost }}}}) $ | (1) |
$ \begin{array}{l} {\rm{Ar}}{{\rm{r}}_{{\rm{ cost }}}} = ({C_{\rm{d}}} + C_{\rm{f}}^{\rm{a}} + {C_{\rm{p}}})D_{{\rm{ Ent }}}^{{\rm{ arr }}} + ({C_{\rm{d}}} + C_{\rm{f}}^{\rm{a}})D_{{\rm{ Hold }}}^{{\rm{ arr }}} + \\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} ({C_{\rm{d}}} + C_{\rm{f}}^{\rm{g}})D_{{\rm{Gnd}}}^{{\rm{arr}}} \end{array} $ | (2) |
$ \begin{array}{l} {\rm{De}}{{\rm{p}}_{{\rm{ cost }}}} = {C_{\rm{d}}}D_{{\rm{Gate}}}^{{\rm{dep}}} + ({C_{\rm{d}}} + C_{\rm{f}}^{\rm{g}})D_{{\rm{Gnd}}}^{{\rm{dep}}} + \\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} ({C_{\rm{d}}} + C_{\rm{f}}^{\rm{g}} + {C_{\rm{p}}})D_{{\rm{Rwy}}}^{{\rm{dep}}} \end{array} $ | (3) |
$ \left\{ \begin{array}{l} D_{{\rm{Ent}}}^{{\rm{arr}}} = \sum\limits_{f \in {F_{{\rm{arr}}}}} {\sum\limits_{j = J_f^{{\rm{Ent}}}} {\sum\limits_{t \in T_f^j} {(t - \tau _f^j)(x_{f,t}^{k,j} - x_{f,t - 1}^{k,j})} } } \\ D_{{\rm{ Hold }}}^{{\rm{ arr }}} = \sum\limits_{f \in {F_{{\rm{arr}}}}} {\sum\limits_{j = J_f^{{\rm{Rwy}}}} {\sum\limits_{t \in T_f^j} {(t - \tau _f^j)(x_{f,t}^{k,j} - } } } \\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} x_{f,t - 1}^{k,j}) - D_{{\rm{Ent}}}^{{\rm{arr}}}\\ D_{{\rm{Gnd}}}^{{\rm{arr}}} = \sum\limits_{f \in {F_{{\rm{arr}}}}} {\sum\limits_{j = J_f^{{\rm{Gate}}}} {\sum\limits_{t \in T_f^j} {(t - \tau _f^j)(x_{f,t}^{k,j} - x_{f,t - 1}^{k,j})} } } - \\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} D_{{\rm{Hold}}}^{{\rm{arr}}} - D_{{\rm{Ent}}}^{{\rm{arr}}} \end{array} \right. $ | (4) |
$ \left\{ \begin{array}{l} D_{{\rm{Gate}}}^{{\rm{dep}}} = \sum\limits_{f \in {F_{{\rm{dep}}}}} {\sum\limits_{j = J_f^{{\rm{Gate}}}} {\sum\limits_{t \in T_f^j} {(t - \tau _f^j)(x_{f,t}^{k,j} - x_{f,t - 1}^{k,j})} } } \\ D_{{\rm{Gnd}}}^{{\rm{dep}}} = \sum\limits_{f \in {F_{{\rm{dep}}}}} {\sum\limits_{j = J_f^{{\rm{Taxi}}}} {\sum\limits_{t \in T_f^j} {(t - \tau _f^j)(x_{f,t}^{k,j} - {\kern 1pt} {\kern 1pt} x_{f,t - 1}^{k,j})} } } \\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} - D_{{\rm{Gate}}}^{{\rm{arr}}}\\ D_{{\rm{Rwy}}}^{{\rm{dep}}} = \sum\limits_{f \in {F_{{\rm{dep}}}}} {\sum\limits_{j = J_f^{{\rm{Rwy}}}} {\sum\limits_{t \in T_f^j} {(t - \tau _f^j)(x_{f,t}^{k,j} - } } } \\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} x_{f,t - 1}^{k,j}) - D_{{\rm{Gnd}}}^{{\rm{dep}}} - D_{{\rm{Gate}}}^{{\rm{dep}}} \end{array} \right. $ | (5) |
$ \sum\limits_{k \in {K_f}} {z_f^k} = 1,\forall f \in F $ | (6) |
$ x_{f,\underline T _f^{k,j} - 1}^{k,j} = 0,\forall f \in F,\forall k \in {K_f},\forall j \in J_f^k $ | (7) |
$ x_{f,\bar T_f^{k,j}}^{k,j} = z_f^k,\forall f \in F,\forall k \in {K_f},\forall j \in J_f^k $ | (8) |
$ \begin{array}{l} x_{f,t}^{k,j} - x_{f,t - 1}^{k,j} \ge 0,\forall f \in F,\forall k \in {K_f},\\ \quad {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \forall j \in J_f^k,\forall t \in T_f^{k,j} \end{array} $ | (9) |
$ \begin{array}{l} x_{f,t + \hat t_f^{k,j{j^\prime }}}^{k,{j^\prime }} - x_{f,t}^{k,j} \le 0,\forall f \in F,\forall k \in {K_f},\\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \forall t \in T_f^{k,j},j = J_k^{(i)},{j^\prime } = J_k^{(i + 1)}:\\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \forall i \in [1,n_f^k) \end{array} $ | (10) |
$ \begin{array}{l} x_{f,t + u_f^{k,j{j^\prime }}\hat t_f^{k,j{j^\prime }}}^{k,{j^\prime }} - x_{f,t}^{k,j} \ge 0,\forall f \in F,\forall k \in {K_f},\\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \forall t \in T_f^{k,j},j = J_k^{(i)},{j^\prime } = J_k^{(i + 1)}:\\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \forall i \in [1,n_f^k) \end{array} $ | (11) |
$ \sum\limits_{f \in F} {\sum\limits_{k \in {K_f}} {\sum\limits_{t \in T_f^{k,j} \cap T_p^j} {x_{f,t}^{k,j} - x_{f,t - 1}^{k,j} \le 1} } } ,\forall j \in J,\forall p \in P $ | (12) |
$ \begin{array}{*{20}{l}} {x_{f,t}^{k,j} \in \{ 0,1\} ,\forall f \in F,\forall k \in {K_f},\forall j \in J_f^k,}\\ {{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \forall t \in T_f^{k,j}} \end{array} $ | (13) |
$ z_f^k \in \{ 0,1\} ,\forall f \in F,\forall k \in {K_f} $ | (14) |
目标函数式(1)表示最小化延误(即分配的过点时间与原计划过点时间τfj之差)产生的总成本,并对进离场航空器使用不同的权值λ进行偏好设置。此外,目标函数中航空器在不同位置等待对应不同的成本系数,式(4)和式(5)中JfEnt、JfRwy、JfTaxi和JfGate分别表示终端区入口点、跑道、滑行道及停机位的位置点集合,相应地,航空器在这些位置点间所产生的延误DEntarr、DHoldarr、DGndarr、DGatedep、DGnddep、DRwydep分别为进场终端区外、进场终端区内和进场地面延误,以及离场停机位处、离场地面延误和离场跑道头处延误,如式(2)~式(5)所示。各位置对应的单位成本系数分别为基础延误成本Cd,空中和地面的额外燃油成本Cfa、Cfg及惩罚成本Cp。F、J、T分别代表航班、位置点及时间的集合。
式(6)规定了航空器在终端区内航迹的选择有且只有一条,Kf表示特定航班的可选路径集合。
式(7)~式(9)设置了时刻分配的范围。由于优化模型需要根据当前交通流态势及航路点时间窗情况为航空器分配航迹,k航迹则存在选中或未被选中的可能(对应zfk等于1或0)。因此,当航迹k未被选中时,xk, jf, Tfk, j=0,从而所有与之相关的时间变量xf, tk, j的值为零,反之,若航迹被选中,xk, jf, fk, j将等于1。
具体地,式(7)和式(8)规定了航空器于Tfk, j时间窗内到达,则有xk, jf, Tfk, j-1=0且xk, jf, Tfk, j=1,Tfk, j和Tfk, j分别表示Tfk, j的上限和下限时间。式(9)进一步限定了时刻的连续性,即规定了时间窗Tfk, j集合内任意时刻的值必然大于等于前一时刻的值。综上,这种建模方式为特定的决策变量直接赋值,便于预处理模型的求解过程,即通过控制航空器过点时间窗的上限和下限来确定其过点时间的唯一性,中间变量的约束条件形式也更为线性,不必采用离散的累加决策变量的方法,因而有助于降低后续的模型求解难度。
式(10)和式(11)规定了航段的飞行时间,从而限制了航空器在各航段上的调速范围。
式(12)为航路点冲突约束,用于限制通过航路点j的相邻两航空器之间的过点时间间隔,即在任意时间段Tpj内通过位置点j的航空器数量不得多于1架。Tpj的值根据具体位置点而定。此外,这里体现了运用“t时刻之前已经到达”定义方式的优势,即大部分变量将在求和过程中被抵消,其原理为
$ \begin{array}{l} ({x_n} - {x_{n - 1}}) + ({x_{n - 1}} - {x_{n - 2}}) + \cdots ({x_2} - {x_1}) = \\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {x_n} - {x_{n - 1}} \end{array} $ |
可以看出,相比于“t时刻恰好到达”,该定义方法可显著压缩模型的大小,有利于提高求解效率。表 2进一步直观说明了该约束条件的作用原理。式(13)和式(14)对模型中决策变量的取值范围进行了阐述,并声明服从0-1变量。
2 TBO模式下融合点进场优化模型 2.1 模型介绍根据融合点进场方式基本规则[21]及戴高乐机场终端区实际运行环境和公布的标准RNAV进场程序、标准仪表进场程序等,构建了TBO模式下融合点方式进场交通流优化模型。融合点为终端区内的定位点,一般情况下位于最后进近定位点附近,具有汇聚多方向进场交通流的作用。
进场航空器脱离排序边后直飞融合点,并在通过该点之后按顺序沿规定路径进近后着陆。排序边是终端区内的一条弧形航路,一般情况下该航路上任意一点到融合点间的距离近似相等,基本进场构型如图 3所示。排序边具有整合上游进场交通流,延伸或缩短航空器飞行及等待航段长度等作用,其数量由交通流量及空域内航空器尾流类型确定,如图 4所示。
航空器在加入排序边后,依照管制指令适时脱离排序边并直飞至融合点。融合区作为由融合点及排序边组成的进场交通流运行区域,一般情况下其大小根据排序边长度及高度确定。在融合区内运行的航空器之间保持一定的安全距离,依次直飞至融合点。
综上所述,航空器经由进场程序起始点进入终端区后,沿进场航线飞至排序边起点;加入排序边后,航空器自主沿排序边飞行并与前后机保持安全间隔,并根据下游航路交通情况适时脱离排序边并直飞至融合点;航空器在融合区内飞行时保持一定的下降坡度连续下降,并与其他航空器保持安全间隔。现代航空器的机载飞行管理系统(FMS)可对融合点程序进行预编码,有利于在排序边上运行的航空器快速调整飞行姿态等,管制员从而仅需向航空器发出“转弯”“直飞”及必要的管制指令,从一定程度上降低了管制员工作负荷。
2.2 数学建模 2.2.1 决策变量定义模型的决策变量为ωf, tj、hf, f′j及qf。
$ \omega _{f,t}^j = \left\{ {\begin{array}{*{20}{l}} {1,{\rm{ 航班 }}f{\rm{ 于 }}t{\rm{ 时刻到达 }}j{\rm{ 位置点 }}}\\ {0,{\rm{ 否则 }}} \end{array}} \right. $ |
考虑到融合点进场方式的特殊性,决策变量ωf, tj不再采用1.2.1节中间接定义“t时刻之前已经到达”的方式,而是直接采用“t时刻恰好到达”来定义航空器状态。
$ h_{f,{f^\prime }}^j = \left\{ {\begin{array}{*{20}{l}} {1,{\rm{ 航班 }}f{\rm{ 比 }}{f^\prime }{\rm{ 先到达 }}j{\rm{ 位置点 }}}\\ {0,{\rm{ 否则 }}} \end{array}} \right. $ |
相较截点直飞模型中统一的航空器尾流间隔,融合点模型将根据航空器不同尾流类型而采用动态安全间隔,因此需加入决策变量hf, f′j,表示任意两航空器过同一位置点的先后顺序。
定义qf为各进场航班f在排序边上的飞行等待时长。
2.2.2 优化模型模型的目标函数及约束条件如式(15)~式(32)所示。
$ {\rm{min}}({\rm{Ar}}{{\rm{r}}_{{\rm{ cost }}}} + \lambda {\rm{De}}{{\rm{p}}_{{\rm{ cost }}}}) $ | (15) |
$ \begin{array}{l} {\rm{Ar}}{{\rm{r}}_{{\rm{ cost }}}} = ({C_{\rm{d}}} + C_{\rm{f}}^{\rm{a}} + {C_{\rm{p}}})D_{{\rm{Ent}}}^{{\rm{arr}}} + ({C_{\rm{d}}} + C_{\rm{f}}^{\rm{a}})D_{{\rm{Hold}}}^{{\rm{arr}}} + \\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} ({C_{\rm{d}}} + C_{\rm{f}}^{\rm{s}})D_{{\rm{Seq}}}^{{\rm{arr}}} + ({C_{\rm{d}}} + C_{\rm{f}}^{\rm{g}})D_{{\rm{Gnd}}}^{{\rm{arr}}} \end{array} $ | (16) |
$ \begin{array}{l} {\rm{De}}{{\rm{p}}_{{\rm{ cost }}}} = {C_{\rm{d}}}D_{{\rm{ Gate }}}^{{\rm{dep}}} + ({C_{\rm{d}}} + C_{\rm{f}}^{\rm{g}})D_{{\rm{ Gnd }}}^{{\rm{dep}}} + \\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} ({C_{\rm{d}}} + C_{\rm{f}}^{\rm{g}} + {C_{\rm{p}}})D_{{\rm{Rwy}}}^{{\rm{dep}}} \end{array} $ | (17) |
$ \left\{ \begin{array}{l} D_{{\rm{Ent}}}^{{\rm{arr}}} = \sum\limits_{f \in {F_{{\rm{arr}}}}} {\sum\limits_{j = J_f^{{\rm{Ent}}}} {(\sum\limits_{t \in T_f^j} t \omega _{f,t}^j - \tau _f^j)} } \\ D_{{\rm{Hold}}}^{{\rm{arr}}} = \sum\limits_{f \in {F_{{\rm{arr}}}}} {\sum\limits_{j = J_f^{{\rm{Seq}}}} {(\sum\limits_{t \in T_f^j} t \omega _{f,t}^j - \tau _f^j)} } - D_{{\rm{Ent}}}^{{\rm{arr}}}\\ D_{{\rm{Seq}}}^{{\rm{arr}}} = \sum\limits_{f \in {F_{{\rm{arr}}}}} {{q_f}} \\ D_{{\rm{Gnd}}}^{{\rm{arr}}} = \sum\limits_{f \in {F_{{\rm{arr}}}}} {\sum\limits_{j = J_f^{{\rm{Gate}}}} {(\sum\limits_{t \in T_f^j} t \omega _{f,t}^j - \tau _f^j)} } - D_{{\rm{Hold}}}^{{\rm{arr}}} - D_{{\rm{Seq}}}^{{\rm{arr}}} \end{array} \right. $ | (18) |
$ \left\{ \begin{array}{l} D_{{\rm{Gate}}}^{{\rm{dep}}} = \sum\limits_{f \in {F_{{\rm{dep}}}}} {\sum\limits_{j = J_f^{{\rm{Gate}}}} {(\sum\limits_{t \in T_f^j} t \omega _{f,t}^j - \tau _f^j)} } \\ D_{{\rm{Gnd}}}^{{\rm{dep}}} = \sum\limits_{f \in {F_{{\rm{dep}}}}} {\sum\limits_{j = J_f^{{\rm{Taxi}}}} {(\sum\limits_{t \in T_f^j} t \omega _{f,t}^j - \tau _f^j)} } - D_{{\rm{Gate}}}^{{\rm{dep}}}\\ D_{{\rm{Rwy}}}^{{\rm{dep}}} = \sum\limits_{f \in {F_{{\rm{dep}}}}} {\sum\limits_{j = J_f^{{\rm{Rwy}}}} {(\sum\limits_{t \in T_f^j} t \omega _{f,t}^j - \tau _f^j)} } - D_{{\rm{Gnd}}}^{{\rm{dep}}} - D_{{\rm{Gate}}}^{{\rm{dep}}} \end{array} \right. $ | (19) |
$ \sum\limits_{t \in T_f^j} {\omega _{f,t}^j} = 1,\forall f \in F,\forall j \in {J_f} $ | (20) |
$ \begin{array}{l} \sum\limits_{t \in T_{{f^\prime }}^{j\prime }} t \omega _{f,t}^{{j^\prime }} - \sum\limits_{t \in T_f^j} t \omega _{f,t}^j \ge \hat t_f^{k,j{j^\prime }},\forall f \in F,\forall (j,{j^\prime }) \in \\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {J_f},{j^\prime } = j + 1 \end{array} $ | (21) |
$ \begin{array}{l} \sum\limits_{t \in T_{{f^\prime }}^{j\prime }} t \omega _{f,t}^{{j^\prime }} - \sum\limits_{t \in T_f^j} t \omega _{f,t}^j \ge u_f^{k,j{j^\prime }}\hat t_f^{k,j{j^\prime }},\forall f \in F,\\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \forall (j,{j^\prime }) \in {J_f},{j^\prime } = j + 1 \end{array} $ | (22) |
$ \begin{array}{l} \sum\limits_{t \in T_{{f^\prime }}^j} t \omega _{f,t}^j - \sum\limits_{t \in T_f^j} t \omega _{f,t}^j \ge S_{(f,{f^\prime })}^j,\forall j \in {J^{\rm{A}}},\\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \forall (f,{f^\prime }) \in {F_j},f \ne {f^\prime } \end{array} $ | (23) |
$ \begin{array}{l} \left| {\sum\limits_{t \in T_{{f^\prime }}^j} t \omega _{{f^\prime },t}^j - \sum\limits_{t \in T_f^j} t \omega _{f,t}^j} \right| \ge S_{(f,{f^\prime })}^jh_{f,{f^\prime }}^j + S_{({f^\prime },f)}^j(1 - \\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} h_{f,{f^\prime }}^j),\forall j \in {J^{\rm{B}}},\forall (f,{f^\prime }) \in {F_j} \end{array} $ | (24) |
$ \begin{array}{*{20}{c}} {\left| {\sum\limits_{t \in T_{{f^\prime }}^j} t \omega _{{f^\prime },t}^j + {q_f} - (\sum\limits_{t \in T_f^j} t \omega _{f,t}^j + {q_{{f^\prime }}})} \right| \ge S_{(f,{f^\prime })}^jh_{f,{f^\prime }}^j + }\\ {S_{({f^\prime },f)}^j(1 - h_{f,{f^\prime }}^j),\forall j \in {J^{\rm{C}}},\forall (f,{f^\prime }) \in {F_j}} \end{array} $ | (25) |
$ \left\{ {\begin{array}{*{20}{l}} {\sum\limits_{t \in T_{{f^\prime }}^j} t \omega _{{f^\prime },t}^j - \sum\limits_{t \in T_f^j} t \omega _{f,t}^j < {M_0}h_{f,{f^\prime }}^j}\\ {\sum\limits_{t \in T_{{f^\prime }}^j} t \omega _{{f^\prime },t}^j - \sum\limits_{t \in T_f^j} t \omega _{f,t}^j \ge {M_0}(1 - h_{f,{f^\prime }}^j)} \end{array}} \right. $ | (26) |
$ \left\{ \begin{array}{l} (\sum\limits_{t \in T_{{f^\prime }}^j} t \omega _{{f^\prime },t}^j - \sum\limits_{t \in T_f^j} t \omega _{f,t}^j) + {M_{\rm{B}}}a_{f,{f^\prime }}^j \ge S_{(f,{f^\prime })}^jh_{f,{f^\prime }}^j + S_{({f^\prime },f)}^j(1 - h_{f,{f^\prime }}^j),\forall j \in {J^{\rm{B}}},\forall (f,{f^\prime }) \in {F_j}\\ (\sum\limits_{t \in T_f^j} t \omega _{f,t}^j - \sum\limits_{t \in T_{{f^\prime }}^j} t \omega _{{f^\prime },t}^j) + {M_{\rm{B}}}a_{f,{f^\prime }}^j \le {M_{\rm{B}}} - \left[ {S_{(f,{f^\prime })}^jh_{f,{f^\prime }}^j + S_{({f^\prime },f)}^j(1 - h_{f,{f^\prime }}^j)} \right],\forall j \in {J^{\rm{B}}},\forall (f,{f^\prime }) \in {F_j} \end{array} \right. $ | (27) |
$ \left\{ \begin{array}{l} \sum\limits_{t \in T_{{f^\prime }}^j} t \omega _{{f^\prime },t}^j + {q_f} - (\sum\limits_{t \in T_f^j} t \omega _{f,t}^j + {q_{{f^\prime }}}) + {M_{\rm{C}}}a_{f,{f^\prime }}^j \ge S_{(f,{f^\prime })}^jh_{f,{f^\prime }}^j + S_{({f^\prime },f)}^j(1 - h_{f,{f^\prime }}^j),\forall j \in {J^{\rm{C}}},\forall (f,{f^\prime }) \in {F_j}\\ \sum\limits_{t \in T_f^j} t \omega _{f,t}^j + {q_{{f^\prime }}} - (\sum\limits_{t \in T_{{f^\prime }}^j} t \omega _{{f^\prime },t}^j + {q_f}) + {M_{\rm{C}}}a_{f,{f^\prime }}^j \le {M_{\rm{C}}} - [S_{(f,{f^\prime })}^jh_{f,{f^\prime }}^j + S_{({f^\prime },f)}^j(1 - h_{f,{f^\prime }}^j)],\forall j \in {J^{\rm{C}}},\\ {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} \forall (f,{f^\prime }) \in {F_j} \end{array} \right. $ | (28) |
$ {\omega _{f,t}^j \in \{ 0,1\} ,\forall f \in F,\forall j \in {J_f},\forall t \in T_f^j} $ | (29) |
$ {h_{f,{f^\prime }}^j \in \{ 0,1\} ,\forall j \in {J^{\rm{B}}} \cup {J^{\rm{C}}},\forall (f,{f^\prime }) \in F} $ | (30) |
$ {a_{f,{f^\prime }}^j \in \{ 0,1\} ,\forall j \in {J^{\rm{B}}} \cup {J^{\rm{C}}},\forall (f,{f^\prime }) \in F} $ | (31) |
$ {{q_f} \in [0,n],\forall f \in {F^{{\rm{arr}}}}} $ | (32) |
目标函数式(15)~式(17)所考虑的项与截点直飞模型基本一致,唯一区别在于融合点模型增加了排序边等待及与此对应的单位延误成本Cfs。对比截点直飞模型,由于融合点模型改变了时刻分配的变量定义方式,对于各具体位置点的延误计算方法也需稍作调整,如式(18)和式(19)所示,其中DSeqarr为排序边上的延误。
对于约束条件,式(20)~式(22)与截点直飞模型中式(7)~式(11)的功能一致,规定了时刻分配的唯一性及时刻的取值范围。在这里,该取值范围限制了航段飞行时长,其依据原计划飞行时长设置了时间上限
式(23)对部分特殊位置点JA设置了最小过点时间间隔。由2.2.1节可知,在融合点模型中航空器过点时间的约束采用动态间隔S(f, f′)j,而非式(12)中的固定时间间隔Tpj。除部分位置点(如终端区入口点)外,航空器不允许交换顺序,应按照原计划的过点航空器队列实行“先计划先服务”,对于其他位置点,为提高运行效率,允许部分航空器调整原计划过点顺序,实现“先到先服务”。因此,在式(23)左侧增加绝对值,而这将影响该不等式右侧的动态间隔的应用,为解决这一问题,利用变量hf, f′j对其进行改进,如式(24)~式(25)所示。JB和JC分别表示终端区内的位置点及排序边,当航空器按照原计划(f, f′)的顺序过点(hf, f′j=1),则不等式右侧的间隔标准为S(f, f′)j,反之,若更换顺序按(f′, f)过点(hf, f′j=0),则不等式右侧为S(f′, f)j,从而使模型在允许航空器交换顺序的同时保证了动态间隔的功能。
特别地,利用约束条件式(26)限定决策变量hf, f′j的定义,即当∑t∈Tfj′tωf′, tj-∑t∈Tfjtωf, tj≥0时,hf, f′j=1,反之,hf, f′j=0,其中人工系数M0的取值为任意一个较大的正实数。
此外,本文通过添加人工0-1变量af, f′j以及大M正实数系数(包括MB和MC)的方式将式(24)和式(25)中含有绝对值的不等式转化成线性不等式,分别得到联立方程式(27)和式(28)。
最后,决策变量的范围及0-1变量的声明在式(29)和式(32)中明确。
3 仿真实验及结果分析 3.1 仿真实验 3.1.1 实验设计为验证上述2种模型的有效性,本文设计如下仿真实验,总体框架与流程如图 5所示。实验主要包含4项基本步骤,分别为实验数据、数学建模、优化求解与结果分析。首先,通过处理原始飞行计划与雷达轨迹数据,得到各进场航班在终端区入口处的计划过点时间,各离场航班的计划起飞时间,以及场面滑行的主要路径等,之后经由BlueSky仿真平台模拟生成TBO模式下各航班的飞行计划;接着,将该飞行计划作为模型的输入,利用GAMS工具进行优化建模,将数学模型转化成线性优化矩阵;然后,调用线性优化求解器Gurobi对矩阵进行求解,即在飞行计划中预计过点时间的基础上,生成优化后的控制过点时间;最后,将调整后的飞行计划重新输入BlueSky仿真平台,将时间离散的过点约束条件转换成近似连续的实时运行参数,从而便于收集飞行状态数据,用于后续交通流时空特性分析。
此外,本文还考虑了针对传统运行模式进行的仿真实验,并将其与提出的TBO模式下的优化模型进行对比。该传统模式是在保持本文现有模型建模思路的前提下,尽可能模拟实际运行中的传统空中交通管理方式。即以控制过点时间作为间隔管理的手段,航空器沿原计划航迹飞行,且仅能在特定等待位置点或航段进行空中等待或雷达引导,也就是近似传统运行的进场方式。
3.1.2 数据来源实验飞行计划数据来源于欧洲Eurocontrol公布的DDR2(Demand Data Repository Version 2)数据库。选取2017年2月20日戴高乐机场终端区繁忙时段(上午6时至中午12时)历史飞行计划,进场交通流示意图如图 6(a)所示。6 h内包含进场航班229架次,离场航班233架次。对于机场场面运行,图 6(b)显示当日戴高乐机场完整雷达记录航班轨迹数据(仅场面部分),蓝色和绿色点迹分别代表进场和离场轨迹。由上文可知,考虑到本文研究重点,对场面上进离场航班运行简化后得到流量较大的4条滑行路径,即图 6(b)中红色和黄色标记的路径,其中各包含对应跑道穿越处的潜在冲突位置点。
经统计,上述462架次航班中,约75%为中型机,25%为重型机,没有轻型机。由于融合点模型需考虑不同尾流类型航空器之间的动态间隔及进离场航空器跑道穿越的动态间隔,结合TBO概念中的基于时间的管理,将距离间隔通过航空器进场平均速度转化为时间间隔,如表 3所示。
空中距离间隔/海里 | 空中时间间隔/s | 地面时间间隔/s | ||||||||
前机 | 后机 | 前机 | 后机 | 前机 | 后机 | |||||
重型机 | 中型机 | 重型机 | 中型机 | 进场 | 离场 | |||||
重型机 | 4 | 5 | 重型机 | 82 | 118 | 进场 | 15 | 60 | ||
中型机 | 3 | 3 | 中型机 | 60 | 70 | 离场 | 30 | 120 |
实验对2种模型所涉及的一般性参数分别进行了假设,包括目标函数中的延误成本、额外燃油成本、进离场偏好比例等,还包括约束条件中的最大延误时间、不同类型位置点时间间隔标准等,如表 4所示。除表中基本参数设置外,由于原始计划中航空器运行不受到管制干预及最低安全间隔限制,因此本文假设原始计划中的航空器飞行速度为最快进场速度,模型将不允许航空器以超过原计划速度进场。此外,2种优化模型允许航空器在除起始进近定位点至跑道端口着陆点之外的航段上以调速的方式吸收空中延误及化解航空器冲突。
对于航空器调速范围的设定,本文首先按照模型输入数据即原始航班计划,查找执飞的机型及其预计过点状态,匹配对应BlueSky航空器性能数据库中的机型及速度变化范围,然后根据该速度范围计算航空器的航段飞行时间变化范围,从而确定截点直飞及融合点模型的航段飞行时间系数,并以此作为约束条件生成优化后的控制过点时间。针对部分无法匹配的机型,本文假设最大调速范围为计划运行时间的1.1倍。
3.1.4 过程控制在数据处理过程中,实验数据按时段分割将导致各时段连接处的部分航班信息中断。为最大程度上保证解的最优性,并降低优化求解计算复杂度,实验使用滑动时间窗的方法,如图 7所示。
将进场航空器计划进入终端区的时间或离场航空器推出停机位的时间分割并设置优化时长为2 h,在每次求得优化结果后将该时间窗后移1 h(优化时步为1 h),迭代计算后最终求得可接受的模型次优解。
在实验过程中,首先提取DDR2数据中的航班信息。对于进场航空器,提取包括航空器进入终端区的进场程序起始点,到达该起始点的时间、速度、高度以及机型等;对于离场航空器,提取航空器预计撤轮挡时间,并随机分配离场跑道及其对应的场面滑行路径。然后根据图 1和图 3所示的终端区进场构型,搭建BlueSky仿真运行环境,如图 8所示,展示了截点直飞方式与融合点方式在BlueSky中的仿真运行场景。
通过使用仿真平台的Autopilot模式,利用水平(LNAV)和垂直(VNAV)方向上的自主导航功能,生成航空器在终端区内各位置点的过点时间作为TBO模式下的航班计划。将航班计划带入模型中,通过优化建模工具进行求解。计算平台采用CPU为Intel Core i5-4570四核3.2 GHz及8 GB内存。
3.2 结果分析 3.2.1 冲突分析实验统计了终端区进离场航空器按原航班计划模拟运行后共47个位置点的冲突情况,如图 9所示,冲突数量按经过同一点的相邻两航空器过点时间差小于特定时间间隔(空中设置90 s,场面30 s)的航空器数量统计。
根据统计,实验时段内共有855次冲突,且在第3至第6时间片尤为明显,其中最大冲突数出现在第5时间片的16航路点,该位置在20 min内共出现了12次冲突。此外航路点18、21处也存在大量冲突航空器。经过观察,上述位置点均为空中或场面上的交通流汇聚点,当单位时间内通过这些点的交通流量较大时,易造成航空器危险接近。3.2.2~3.2.4节将介绍TBO模式下2种模型的优化结果,通过合理分配延误及进场航迹等方式,为上述所有进离场航班实现了冲突解脱,并保证了关键位置点的交通流运行效率。
3.2.2 间隔分析从航空器过点间隔分析2种模型的优化效果,同时加入近似传统运行的时隙分配结果进行对比,如图 10所示。实验选取原始计划中有严重冲突的航路点及其对应时段进行分析,并挑选出畅通及拥挤交通流下的航空器组分别进行说明(图 10中框选出的对象)。
对繁忙空中航路汇聚点进行分析,图 10为近似传统运行方式、截点直飞模型及融合点模型优化前后的时隙分配结果,图中上下水平坐标轴分别为所选时段内原计划与模型优化后的航空器过点时间。垂直方向的连接线表示同一航班过点时间的变化,正常航班的连线为蓝色,在原始计划中有冲突的航空器及其连线用红色标亮。向右侧倾斜代表较之原计划有所延误,向左侧倾斜代表提前到达(仅适用于截点直飞模型)。
由图 10可知,3种进场方式优化后的航班过点时均无冲突,且过点时间分布均匀。对比3组畅通流(左侧框)状态下的时隙分配结果,近似传统运行方式下90%的航班出现了延误,其主要由于受到上游冲突及延误的传递效应影响。对比2种优化模型,经过截点直飞模型优化后的大部分航空器均比原计划提前过点,且没有航空器延误。同时,提前过点的航空器为后续航班释放了部分时隙,加速了整体进场交通流。融合点模型保证了大部分航空器按原航班计划时间到达。此外,由于采用动态间隔,其航空器过点间隔较前2种进场方式更小,有利于提高空域资源利用率。
对比3组拥挤流(右侧框)状态下的时隙分配结果,传统模式中全部航班被延误,部分航班延误超过30 min。此外,08:00前后的无冲突航空器组与前序航空器间出现了较大时隙空隙,造成时隙浪费。对比2种优化模型,截点直飞模型优化后少量航空器被延误,大部分航空器提前过点,时隙利用率高,有效地提升了进场效率。对于融合点模型,其总延误时长最短,且交换航班顺序的次数最少,有效地保证了进场有序性。综上,在不同交通流状态下,截点直飞模型和融合点模型均有利于在保证进场航空器安全的前提下提高交通流运行效率。
3.2.3 延误分析经过2种模型优化后的进场交通流延误情况及近似传统运行的延误情况如表 5所示。表 5左侧部分为截点直飞模型的延误结果,其终端区外延误为主要延误,且延误较大,主要是由航空器在进场起始点处的冲突及终端区由内向外传导的延误所致。从延误恢复时长可知,各时段均有大量航空器通过选择截点以较短的航迹进场,且有部分时段中的延误恢复值达到了10 000 s以上。在直飞截点的作用下,各航班平均飞行时长较飞行计划减少了228 s,平均进场延误缩短为-3 s,体现了截点直飞模型对进场交通流的加速效果。
时段/时 | 截点直飞模型 | 融合点模型 | 近似传统运行的进场方式 | |||||||||
区外延误/s | 延误恢复/s | 进场延误/s | 进场数/架次 | 区外延误/s | 航路延误/s | 融合区延误/s | 进场数/架次 | 延误时间/s | 进场数/架次 | |||
06-07 | 6 275 | 11 300 | -5 025 | 45 | 880 | 935 | 805 | 46 | 1 045 | 21 | ||
07-08 | 18 990 | 11 590 | 7 400 | 51 | 1 645 | 2 215 | 2 920 | 50 | 10 700 | 58 | ||
08-09 | 2 600 | 1 985 | 615 | 31 | 615 | 575 | 690 | 35 | 4 540 | 34 | ||
09-10 | 4 750 | 3 705 | 1 045 | 27 | 35 | 440 | 230 | 25 | 3 670 | 28 | ||
10-11 | 6 865 | 10 390 | -3 525 | 50 | 705 | 1 590 | 690 | 48 | 1 840 | 38 | ||
11-12 | 1 075 | 2 355 | -1 280 | 25 | 100 | 595 | 435 | 25 | 3 580 | 33 |
表 5中间部分为融合点模型优化后的延误情况,融合区内的延误占总延误的36%,且部分时段中融合区内延误的比重超过了其他延误,由此可知,该模型可以有效地将部分延误及冲突转移至融合区,以促进全局航空器有序进场,提高空域利用率。此外,融合点模型在跑道穿越点处的动态间隔使航空器可以通过调整其在排序边上的飞行时长及进场顺序减小航班在该处的延误,从而降低总延误成本。
表 5右侧部分为近似传统运行方式下的延误结果,其进场航班总量低于2种模型,且延误值较大,进场效率较低。结合3.2.2节中的间隔分析可知,传统模式缺乏高效的空中交通管理方法,因此无法有效削减延误,且易造成下游交通流延误积累并传递至上游,从而导致大面积延误产生,影响空域及时隙利用率。
此外,对比截点直飞模型与融合点模型优化后的结果,截点直飞模型利用选择“捷径”进场的方式可以在化解冲突的同时很大程度上抵消终端区外延误,相比之下,融合点模型没有显著减少延误时长。然而,从空域构型的角度看,截点直飞方式中的直飞航迹在繁忙终端区空域内穿插、汇聚,将在一定程度上影响其他交通流运行,导致交通流复杂度加剧。融合点进场方式虽不能大幅抵消延误,但可以在保持大部分原终端区基本空域构型的基础上,确保航空器无冲突且可换序进场,有利于进场航空器的有序运行,降低管制员工作负荷,并提高交通流运行效率。
3.2.4 流量分析跑道吞吐量为单位时间内经过跑道入口处的进场航空器架次数,是衡量跑道资源利用率的重要参数。图 11展示了原航班计划及2种模型优化后的跑道吞吐量情况,同时加入了戴高乐机场当日实际数据进行对比。跑道最大接收量由单位时间除以航空器着陆时间安全间隔(90 s)求得。
从宏观角度分析,各时间片内4种运行方式下的跑道吞吐量相似,平均流量相近,且都没有出现流量超出容量的情况。从微观角度分析,将2种模型优化后的结果与原始计划及实际运行数据相比较,单位时间内原航班计划、截点直飞方式、融合点方式和实际运行的最大进场数分别为23架次、24架次、23架次和21架次。根据3.1.1节可知,原始航班计划因未考虑管制因素,跑道入口位置上存在大量航空器危险接近或冲突。此外,戴高乐机场实际运行数据中的跑道最大进场数低于2种模型优化后的结果,且存在较多进场航班被取消或延误至实验统计时段外的情况。因此,结合运行安全及效率因素考虑,2种模型的优化结果有利于保障并提高进场跑道吞吐量水平。
4 结论本文基于未来TBO空中交通管理概念,结合截点直飞方式与融合点方式进场的运行特征,分别建立了2种对应的混合整数线性规划模型,并对其进行了优化求解与仿真实验,分析了2种运行方式下的进场交通流间隔、延误及流量等情况,进一步揭示了TBO模式下终端区进场交通流的时空特性。
研究结果表明,在冲突解脱方面,2种优化模型可以通过延误、调整进场顺序及选择航迹等方式,有效化解航空器间的冲突;在时隙分配方面,2种模型可以通过调整部分航班进场顺序、减少航段运行时间及缩小过点间隔等方式,有效提高终端区关键点的运行效率;在延误成本方面,模型可以通过合理安排航空器延误位置等方式,有效降低终端区进离场交通流总运行成本。综上,本文可为实施空中交通科学管控提供重要依据,对未来TBO模式下的终端区空中交通运行管理实践具有一定的理论指导意义。
此外,增加模型中空中控制点的数量无疑可以使模型更为精细化,为优化决策提供更丰富的选择。关于如何设置这些人为增加的控制点,例如点的位置、分布特征、点之间的连通性、传递效应,以及增加控制点是否能够达到最大化提升优化效果的目的等,将是进一步研究的方向。
[1] | JUNG Y, HOANG T, MONTOYA J, et al. A concept and implementation of optimized operations of airport surface traffic[C]//10th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference. Reston: AIAA, 2010: 9213. |
[2] | DE NEUFVILLE R, ODONI A. Airport systems:Planning, design, and management[M]. New York: McGraw-Hill Professional, 2003: 144-146. |
[3] | GROPPE M, PAGLIARI R, HARRIS D. Applying cognitive work analysis to study airport collaborative decision making design[C]//Proceedings of the ENRI International Workshop on ATM/CNS, 2009: 77-88. |
[4] | SESAR. European ATM master plan-The roadmap for sustainable air traffic management[R].Luxembourg: SESAR Consortium, 2012. |
[5] | FAA. The future of the NAS[R]. Washington, D.C.: Federal Aviation Administration, 2016. |
[6] | RUIZ S, PIERA M A, DEL POZO I. A medium term conflict detection and resolution system for terminal maneuvering area based on spatial data structures and 4D trajectories[J]. Transportation Research Part C:Emerging Technologies, 2013, 26: 396-417. |
Click to display the text | |
[7] |
张军峰, 蒋海行, 武晓光, 等. 基于BADA及航空器意图的四维航迹预测[J]. 西南交通大学学报, 2014, 49(3): 553-558. ZHANG J F, JIANG H X, WU X G, et al. 4 dimension trajectory forecast based on BADA and aircraft intent[J]. Journal of Southwest Jiaotong University, 2014, 49(3): 553-558. (in Chinese) |
Cited By in Cnki (22) | Click to display the text | |
[8] | KORN B, HELMKE H, KUENZ A. 4D trajectory management in the extended TMA: Coupling AMAN and 4D FMS for optimized approach trajectories[C]//25th International Council of Aeronautical Sciences, 2006. |
[9] | JOHNSON S C, BARMORE B. NextGen far-term concept exploration for integrated gate-to-gate trajectory-based operations[C]//16th AIAA Aviation Technology, Integration, and Operations Conference. Reston: AIAA 2016. |
[10] | HANSEN M, NIKOLERIS T, LOVELL D, et al. Use of queuing models to estimate delay savings from 4D trajectory precision[C]//Eighth USA/Europe Air Traffic Management Research and Development Seminar, 2009. |
[11] | NIKOLERIS T, HANSEN M. Queueing models for trajectory-based aircraft operations[J]. Transportation Science, 2012, 46(4): 501-511. |
Click to display the text | |
[12] | RAMASAMY S, SABATINI R, GARDI A, et al. Next generation flight management system for real-time trajectory based operations[J]. Applied Mechanics and Materials, 2014, 3446: 344-349. |
Click to display the text | |
[13] | XU Y, PRATS X, DELAHAYE D. Synchronization of traffic flow and sector opening for collaborative demand and capacity balancing[C]//2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC). Piscataway: IEEE Press, 2018: 1-10. |
[14] |
张洪海, 杨磊, 别翌荟, 等. 终端区进场交通流广义跟驰行为与复杂相变分析[J]. 航空学报, 2015, 36(3): 949-961. ZHANG H H, YANG L, BIE Y H, et al. Analysis on generalized following behavior and complex phase transition law of approaching traffic flow in terminal airspace[J]. Acta Aeronautia et Astronautica Sinica, 2015, 36(3): 949-961. (in Chinese) |
Cited By in Cnki (18) | Click to display the text | |
[15] | ZHANG H, YANG X, FAN W, et al. Guidance control strategy for air traffic flow in terminal areas[J]. Advances in Mechanical Engineering, 2016, 8(10): 15-64. |
Click to display the text | |
[16] | ZELINSKI S J, JUNG J. Arrival scheduling with shortcut path options and mixed aircraft performance[C]//Proceedings of the Eleventh USA/Europe Air Traffic Management Research and Development Seminar, 2015. |
[17] | LIANG M, DELAHAYE D, MARÉCHAL P. Integrated sequencing and merging aircraft to parallel runways with automated conflict resolution and advanced avionics capabilities[J]. Transportation Research Part C:Emerging Technologies, 2017, 85: 268-291. |
Click to display the text | |
[18] | LIANG M, DELAHAYE D, MARéCHAL P. A framework of point merge-based autonomous system for optimizing aircraft scheduling in busy TMA[C]//5th SESAR Innovation Days, 2015. |
[19] | BALAKRISHNAN H, JUNG Y. A framework for coordinated surface operations planning at Dallas-Fort Worth International Airport[C]//AIAA Guidance, Navigation and Control Conference and Exhibit. Reston: AIAA, 2007. |
[20] | PRETE J, KROZEL J, MITCHELL J, et al. Flexible, performance-based route planning for super-dense operations[C]//AIAA Guidance, Navigation and Control Conference and Exhibit, 2008. |
[21] | Eurocontrol Experimental Centre. Point merge integration of arrival flows enabling extensive RNAV application and continuous descent[R]. Paris: Eurocontrol, 2010. |