将空中交通冲突作为加权 CSP 处理：Lumberjack 方法的实验
人工智能
2020-01-31 v1
摘要
本文提出一种空中交通冲突解决方法之扩展，该方法为一组飞机构建大量轨迹并高效选取最佳相容轨迹。我们提出一种多机动版本，封装了不同冲突求解算法，特别是原创的“智能暴力”方法与著名的 ToulBar2 CSP 工具集。在多个基准上的实验表明，前者在涉及少量飞机（代表运行中的实际情况）的案例中非常高效，使我们能搜索大量机动与轨迹池；然而当飞机数增至 7 架及以上时，该方法因复杂度而被超越。相反，在可接受时间内，ToulBar2 工具集可处理涉及更多飞机的冲突，但每架可用轨迹较少。
引用
@article{arxiv.2001.11390,
title = {Tackling Air Traffic Conflicts as a Weighted CSP : Experiments with the Lumberjack Method},
author = {Thomas Chaboud and Cédric Pralet and Nicolas Schmidt},
journal= {arXiv preprint arXiv:2001.11390},
year = {2020}
}
备注
Keywords: Constraints Programming, ATC, graph algorithms, clique searching. 15 pages, 6 figures, 2 tables. Creative Commons Attribution-Noncommercial-ShareAlike license (CC BY-NC-SA 4.0)