# 机场运行约束：c13 研究场景

这不是测绘机场或获批空域。原五站 network38 引擎保持冻结；机场扩展使用独立副本。机场约束关闭时应复现冻结引擎。

## 索引、参数与决策

站点 n∈{A,C,D,E,B}，飞机 i，航段 i→j，资源类型 r。时间单位 min，距离 m，滑行速度 m/min，能源 kWh。

每站使用可配置数量的双向共享滑行走廊和一个共享交叉口，有限条起降通道、一个共享进离场保护区。可配置出港/进港滑行长度 L_out,L_in，滑行速度 v，交叉口占用时长 τ_cross，进离场保护尾间隔 τ_sep。滑行时长为 L/v+τ_cross；出港在滑行尾部、进港在滑行头部占用交叉口。走廊与对应交叉口区间作为一笔预约提交，避免飞机在交叉口无处等待。容量都是研究假设。

调度时仅使用已知任务、当前电量及已经预约的资源。依次试排出港滑行、起飞、落地、进港滑行；电量不满足时不提交预约。每项预约 [s,e) 与同站同资源同位的其它预约不得相交。起降真实作业时长不含保护尾间隔；保护区预约覆盖起降作业和其后的 τ_sep。

出港起飞可在滑行结束后等待；进港滑行可在落地后等待。等待位置简化为足够大的起飞等待点与跑道外出口缓冲区，未验证缓冲区几何容量。空域是资源间隔模型，不是三维碰撞或尾流计算。

新增地面耗电为从放行承诺到起飞开始、以及落地结束到进港滑行结束的时长乘地面功率；空中落地排队乘盘旋功率。电价、持续飞机成本、货物迟到/库存成本沿用全网账本。附加设施持续费用每站每分钟可配置，零需求时仍支付。到达时刻取进港滑行完成，不是刚触地。

编队在巡航开始前集结：先试排本班已就绪飞机，以最后一架起飞完成为集结时刻，再重新预约目的地落地和进港滑行。早起飞机的空中集结等待计入盘旋耗电；电量检查按不享受节能的保守上界筛选，实际巡航才乘编队节能系数。尚未计算编队形成的几何轨迹和额外加速能耗。

算法是按原调度政策在线贪心预约，可复现、无抢占，不声称全局最优。几何绘制按事件阶段插值，设施形状尚不是测绘图；JSON 中每站可覆写参数。参数来源均为演示假设。保护区与滑行道高亮边界也是示意，不用于证明真实几何安全。

## 验证与比较

核验预约不重叠、滑行→起飞→巡航→落地→滑行顺序、电量与货量守恒、固定机队、不重复交付。关闭约束做冻结引擎对照；增加间隔/长度做瓶颈实验，但不假定全网交付率必然单调。政策比较使用相同需求种子、供货和设施参数，比较路线/装卸有限候选、任务分配、放行及三种充电政策；属于候选比较而非精确最优解。