×
Thibault Lehouillier公司；杰雷米·奥默；弗朗索瓦·索米斯；盖伊，德索尼尔斯

求解空中冲突解决问题最小权最大团模型的两种分解算法。 （英语） Zbl 1394.90603号

欧洲药典。物件。 256，第3期，696-712（2017）.
摘要：在本文中，我们使用最小权重最大团模型的一种新变体来解决冲突解决问题。这一问题涉及到确定保持所有成对飞机之间所需间隔距离的机动，同时将燃油成本降至最低。我们设计了一个图，其中顶点对应于一组有限的动作，边连接无冲突的动作。最小重量的最大集团产生了一个无冲突的局面，涉及所有飞机，并将导致的成本降至最低。与经典的团搜索问题相比，该模型使用了不同的成本结构：由于顶点的成本取决于团中的顶点，因此无法预先确定顶点的成本。我们将问题公式化为一个混合整数线性规划。由于飞机动力学建模和轨迹计算与求解过程相分离，因此我们的数学框架适用于飞机动力学的任何假设和可用机动的任何选择。特别是，飞机可以执行动态速度、航向和飞行高度层变化。为了解决涉及多个飞行高度层的大量飞机的实例，我们引入了两种分解算法。第一个是一个顺序混合整数线性规划过程，它迭代地细化动作的离散化，以在计算时间和成本之间取得平衡。第二种是使用第一个过程作为子例程的大型邻域搜索启发式算法。对于多达250架飞机随机分配到双基地飞行高度层的情况，可在不到10秒的时间内获得可用机动集的最佳解决方案。

引用于三文件

MSC公司：

90 C90 数学规划的应用
90B20型 运筹学中的交通问题
90立方厘米 混合整数编程
05C85号 图形算法（图形理论方面）
05C70号 具有特殊性质的边子集（因子分解、匹配、划分、覆盖和打包等）

关键词：

空中交通管制；冲突解决；混合整数线性优化；最小重量最大团；分解方法

软件：

流行音乐；CPLEX公司
PDF格式BibTeX公司 XML格式引用
\textit{T.Lehouiller}等人，《欧洲药典》。第256号决议，第3号，696--712（2017；Zbl 1394.90603）
全文： 内政部 链接

参考文献：

[1] Alonso-Ayuso，A。；Escudero，L.F。；Martín-Campo，F.J.，《空中交通管理中的避碰：混合整数线性优化方法》，IEEE智能交通系统，12，1，47-57（2011）
[2] Alonso-Ayuso，A。；Escudero，L.F。；Martín-Campo，F.J.，《ATM中碰撞避免的0-1非线性混合优化模型和算法：速度在时间范围内的变化》，计算机与运筹学研究，39，12，3136-3146（2012）·Zbl 1349.90641号
[3] 阿隆索·阿尤索，A。；Escudero，L.F。；马丁·坎波，F.J。；Mladenović，N.，《通过转弯来解决飞机冲突检测和解决问题的VNS元启发式方法》，《全球优化杂志》，63，3，583-596（2014）·Zbl 1334.90081号
[4] 巴尼尔，N。；Brisset，P.，《空中交通流量管理的图形着色》，《运筹学年鉴》，130，1-4，163-178（2004）·Zbl 1062.90011号
[5] Bertsimas博士。；Patterson，S.S.，《航路容量的空中交通流量管理问题》，运筹学，46，3，406-422（1998）·Zbl 0996.90010号
[6] Bertsimas博士。；Patterson，S.S.，空中交通管制中的交通流管理重路由问题：一种动态网络流方法，运输科学，34，33239-255（2000）·Zbl 0991.90516号
[7] Bomze，I.M。；Budinich，M。；帕尔达洛斯，P.M。；Pellillo，M.，最大团问题，（Du，D.-Z.；Pardalos，P.M.，《组合优化手册》（1999），Springer），1-74·Zbl 1253.90188号
[8] Brochard，M.，ERASMUS最终报告1.1版。技术报告D4.6，技术报告（2009），EUROCONTROL:EUROCONTRAL EUROCONTROL实验中心，法国布雷蒂尼
[9] 克里斯托杜鲁，M。；Costoulakis，C.，《自由飞行中避免飞机碰撞的非线性混合整数规划》，第12届ieee地中海电工会议论文集，1327-330（2004），ieee，5月12-15日：ieee，克罗地亚杜布罗夫尼克，5月12-15日
[10] Christodoulou，文学硕士。；Kodaxakis，S.G.，《自由飞行中自动避免商用飞机碰撞：三维问题》，IEEE智能运输系统汇刊，7，2，242-249（2006）
[11] CPLEX v12.5。CPLEX用户手册，技术报告，11/03/08-08（2014），IBM ILOG
[12] 唐尼，R.G。；Fellows，M.R.，固定参数可处理性和完备性ii:关于W的完备性[1]，理论计算机科学，141，1，109-131（1995）·Zbl 0873.68059号
[13] 北卡罗来纳州杜兰德。；Alliot，J.-M。；Médioni，F.，用遗传算法训练用于避免碰撞的神经网络，应用智能，13，3，205-213（2000）
[14] 北卡罗来纳州杜兰德。；Alliot，J.-M。；Noailles，J.，使用遗传算法自动解决飞机冲突，应用计算研讨会论文集，费城（1996）
[15] EUROCONTROL，EUROCONTROL长期预测：2013-2035年IFR飞行动态，技术报告（2013年），EUROCONTROL-STATFOR
[16] 高，Y。；张，X。；Guan，X.，基于协同进化的多机协同冲突解决，仪器与测量、传感器网络和自动化国际研讨会（imsna），1310-313（2012），IEEE
[17] 联邦航空管理局《技术报告》（2011年）第7.1版TCAS II简介
[18] 联合规划和发展办公室，《下一代航空运输系统集成工作计划》，技术报告（2008年）
[19] （Jünger，M.；Liebling，T.M.；Naddef，D.；Nemhauser，G.L.；Pulleyblank，W.R.；Reinelt，G.；Rinaldi，G..；Wolsey，L.A.（2010），Springer）
[20] Karp，R.M.，《组合问题中的可约性》（Miller，R.E.；Thatcher，J.W.；Bohlinger，J.D.，《计算机计算的复杂性》（1972），Springer US），第85-103页·Zbl 1467.68065号
[21] Lee，J。；Leyffer，S.，《混合整数非线性规划》，154（2011），Springer Science&Business Media
[22] Lehouiller，T。；Omer，J。；Soumis，F。；Allignol，C.，《空中交通管制中运营和规划之间的相互作用》，第二届国际航空运输研究会议论文集，伊斯坦布尔（2014）
[23] Lehouiller，T。；奥马尔，J。；Soumis，F。；Desaulniers，G.，《使用图中最大团解决空中冲突检测和解决问题的灵活框架》，第11届美国/欧洲空中交通管理研发研讨会，（2015年），葡萄牙里斯本
[24] Lehouiller，T。；Omer，J。；Soumis，F。；Desaulniers，G.，解决飞机之间冲突的最小重量最大基数团问题的新变体，（Le Thi，H.A.；Pham Dinh，T.；Nguyen，N。信息系统和管理科学中的建模、计算和优化。信息系统和管理科学中的建模、计算和优化，《智能系统和计算进展》，359（2015），施普林格国际出版公司，3-14·Zbl 1370.90076
[25] Martín-Campo，F.J.，《碰撞避免问题：方法和算法》，博士论文（2010年），马德里雷胡安·卡洛斯大学
[26] Meng，G。；Qi，F.，基于蚁群优化的民航飞行冲突解决，第五届计算智能与设计国际研讨会（iscid），1239-241（2012），IEEE
[27] Omer，J.，《利用速度和航向机动解决空中冲突的空间离散混合整数线性模型》，计算机与运筹研究，58，75-86（2015）·Zbl 1348.90668号
[28] Omer，J。；Farges，J.-L.，飞机分离非线性和混合整数线性规划与轨迹恢复的混合，IEEE智能运输系统汇刊，14，3，1218-1230（2013）
[29] Paielli，R.A.，《空中交通冲突解决中机动动力学建模》，《制导、控制与动力学杂志》，26，3，407-415（2003）
[30] 帕洛蒂诺，L。；Feron，E.M。；Bicchi，A.，用混合整数规划解决空中交通管理系统的冲突解决问题，IEEE智能交通系统汇刊，3，1，3-11（2002）
[31] Raghunathan，A.U。；戈帕尔，V。；Subramanian，D。；Biegler，L.T。；Samad，T.，多架飞机三维冲突解决的动态优化策略，《制导、控制和动力学杂志》，27，4，586-594（2004）
[32] Resmerita，S。；海曼，M。；Meyer，G.，《空中交通管理冲突解决框架》，第42届ieee决策与控制会议，2035-2040年（2003年12月），ieee
[33] Schouwenaars，T.，自动车辆的安全轨迹规划，博士论文（2006），麻省理工学院
[34] SESAR联合承诺，欧洲ATM总体规划，第2版，技术报告（2012年）
[35] Sherali，H.D。；科尔·史密斯，J。；Trani，A.A.，《在工作量、安全和公平考虑下选择飞行计划的空域规划模型》，《运输科学》，36，4，378-397（2002）·Zbl 1134.90427号
[36] 爱沙尼亚·泰勒。D。；Voss，S.，Popmusic-特殊强化条件下的部分优化元启发式，运筹学/计算机科学接口系列，613-629（2002），Springer science+Business Media·Zbl 1017.90132号
[37] 飞机数据基础（BADA）用户手册，技术报告，11/03/08-08（2011），欧洲控制
[38] 贝拉，A。；索拉克，S。；克拉克·J·P。；辛霍斯，W.E。；巴恩斯，E.R。；Johnson，E.L.，《近实时燃料优化路线冲突解决》，IEEE智能运输系统交易，12，1，47-57（2011）
[39] 贝拉，A。；索拉克，S。；辛霍斯，W.E。；Clarke，J.-P.，用于解决冲突的飞行级分配和速度控制的混合整数程序，第48届ieee决策和控制会议记录，5219-5226（2009），中国上海，12月16-18日
[40] Vela，A.E.，《理解冲突解决任务负载：在空域中实施建议性冲突检测和解决算法》，博士论文（2011），佐治亚理工学院
[41] 维沃纳，R。；卡尔·D·。；Roscoe，D.，《基于模式的遗传算法用于机载冲突解决》，Aiaa制导、导航和控制会议和展览（2006年），科罗拉多州Keystone
[42] Wolsey，L.A.，《混合整数编程》，《威利计算机科学与工程百科全书》（2008），威利在线图书馆
[43] 吴琼。；Hao，J.-K.，最大团问题算法综述，《欧洲运筹学杂志》，242，3，693-709（2015）·Zbl 1341.05241号
[44] 周，K。；多伊尔，J.C。；Glover，K.，《鲁棒与最优控制》，40（1996），新泽西州普伦蒂斯·霍尔·兹比尔0999.49500
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。