复杂环境下基于价格时间自动机飞机着陆调度

摘要

目前航空运输系统飞机着陆调度环节普遍存在调度策略单一、效率低、附加成本较高等不足,提出了以价格时间自动机作为基础模型架构的飞机着陆调度设计,在满足着陆时间窗、最小尾流间隔等约束条件下优化额外成本消耗,并考虑复杂气候地理环境,构建出飞机着陆过程中各交互实体的价格时间自动机模型,采用UPPAAL CORA中的分支界定算法求解飞机着陆调度最优成本的可达性.仿真实验结果表明:此研究方法可应用于复杂环境下、大吞吐量的飞机着陆调度,能够显著降低着陆消耗,提升跑道容量,具有安全性、智能性与经济性.