飞机冲突解决：一个基准生成器
最优化与控制
2025-06-11 v2
摘要
飞机冲突解决是计算机辅助空中交通管理的主要任务之一，代表了一个具有挑战性的优化问题。已经提出了许多模型和方法来辅助轨迹调节以避免冲突。然而，测试不同数学优化方法相互比较的问题仍然悬而未决。标准基准包括不现实的场景，其中所有飞行都朝向一个共同点移动，或者完全随机生成的实例。缺乏一组通用的测试实例，允许在多种异构和代表性场景下比较可用方法。我们提出了一个飞行冲突解决基准生成器，允许用户选择：(i) 受文献中现有基准启发的不同预定义场景；(ii) 满足某些拥堵测量的伪随机交通；(iii) 随机生成的交通。所提出的设置可以考虑飞机冲突解决的不同难度级别，并允许探索和比较优化方法在飞机冲突解决中的实际局限性。
引用
@article{arxiv.2405.12836,
title = {Aircraft Conflict Resolution: A Benchmark Generator},
author = {Mercedes Pelegrin and Martina Cerulli},
journal= {arXiv preprint arXiv:2405.12836},
year = {2025}
}