[发明专利]终端区尾随间隔进场管理决策支持系统

权利要求书

1.一种终端区尾随间隔进场管理决策支持系统，其特征在于，包括：

模型构建模块，适于构建分时段终端区尾随间隔进场管理的整数规划模型；以及

模型求解模块，适于对所述整数规划模型进行求解；

模型构建模块包括：

参数定义子模块，适于对整数规划模型涉及参数进行定义；

决策变量确定子模块，适于确定整数规划模型的决策变量；

约束条件定义子模块，适于定义整数规划模型的约束条件；以及

目标函数构建子模块，适于构建整数规划模型的目标函数；

所述参数定义子模块适于对整数规划模型涉及参数进行定义，即

S：进场航班流集合；

SS：在最后进近定位点的航班流集合；

R：机场进场点集合；

A：航班集合；

A_s：航班流s中的航班集合，s∈S；

FAF：最后进近定位点；

RWY：航班落地跑道；

P(a)：航班a途经的航路点集合，a∈A，P(a)＝{p₁(a),RWY}；

p₁(a)：航班a所途经的第一个航路点，即进场点，p₁(a)∈R；

航班a到达参考点r的可行时间集合，a∈A,r∈P(a)；

SafeSepe_r：在参考点r的安全间隔限制值，r∈P(a)，单位：分钟；

航班a₁和航班a₂之间的尾流间隔值，单位：分钟；

ETE_a：航班a在终端区内的预计所需飞行时间，单位：分钟；

AAR_l：机场在第l个时段的接收率，1≤l≤L；

β_a：航班a在终端区内的最大允许延误；

υ_a：航班a的速度；

航班a预计到达参考点r的时间，a∈A,r∈P(a)；

航班a预计到达进场点p₁(a)的时间；

L：极大数；

d：尾随间隔的最小单位间隔值，所生成的尾随间隔值为d的整数倍；

Slot_AAR：表示机场接收率的统计时段大小，单位：分钟；

表示机场接收率实施的开始时间；

Slot_MF：表示各进场点分时段尾随间隔所设置的时段大小，单位：分钟；

表示进场点尾随间隔限制实施的开始时间；

所述决策变量确定子模块适于确定整数规划模型的决策变量，即

n_k,k∈(1,...K)：表示第k个时段内进场点尾随间隔值为单位间隔值的倍数，K＝1时为不区分时段的全时段流控策略，K1时为分时段流控策略，n_k为非负整数；

所述约束条件定义子模块适于定义整数规划模型的约束条件，即

航路点过点时间约束，即：以表示航班过航路点的时间唯一；

航空器保持在进场点的先到先服务顺序约束，即：

以表示进场点航空器的顺序与最初始进场点的预计到达时间顺序相同；

进场点过点时段唯一性约束，即：以表示航班在唯一的一个时间段经过进场点；

进场点过点时间与过点时段关系约束，即：

进场点尾随间隔约束，即：

以表示进场点航班之间的间隔满足根据后机所在时间片k确定的流控间隔n_k*d；

进近定位点尾流间隔约束，即：

以表示航空器在最后定位点满足最小尾流间隔；

跑道着陆时段唯一性约束，即：以表示航班在唯一的一个时间段落地；

跑道着陆时间与着陆时间所在时段关系约束，即：

机场接收率约束，即：以表示单位时段内进场航班不超出机场接收率约束；

终端区内最大可消耗延误约束，即：

以表示航空器在终端区内最大延误的范围不超出允许的限制值；

航空器顺序约束，即：

以表示航班流s中航空器a₁尾随航班a₂，且设定或者航空器a₂尾随a₁，则设定

航空器过点时间与过点顺序关系约束，即：

如果航班a₁尾随航班a₂，则航班a₁的过点时间将比a₂的过点时间大，反之亦然。