×
Huy Trandac公司；菲利普·巴蒂斯特；武阳

有约束的空域扇区化。 （英语） Zbl 1121.90394号

RAIRO，运营。物件。 39，第2期，105-122（2005）.
摘要：我们考虑空域部门化问题（ASP），其中空域必须划分为给定数量的扇区，每个扇区都分配给一组空中交通管制员。目标是最小化相邻扇区之间的协调工作量，同时平衡控制器的总工作量。考虑了许多特定约束，包括几何约束和飞机相关约束。该问题在约束规划框架下求解。实验结果表明，我们的方法可以用于实际问题。

引用于2文件

MSC公司：

90比90 运筹学中的案例研究
90 C90 数学规划的应用
90立方 非线性规划

关键词：

空域扇区化；约束编程

软件：

克莱尔；乔科；MESHPART公司
PDF格式BibTeX公司 XML格式引用
\textit{H.Trandac}等人，RAIRO，Oper。第39号决议，第2号，第105-122号（2005年；Zbl 1121.90394）
全文： 内政部 Numdam编号 欧洲DML 链接

参考文献：

[1] S.Barbara，约束编程教程。利兹大学计算机学院技术报告95.14（1995年）。
[2] S.T.Barnard和H.D.Simon，《用于划分非结构化问题的递归谱平分的快速多级实现》。第六届科学计算并行处理SIAM会议（1993）711-718。
[3] R.Bartak，约束编程在线指南，网址：http://ktilinux.ms.mff.cuni.cz/bartak/constraints/（1998年）。
[4] Y.Caseau，F.X.Josset和F.Laburthe，CLAIRE：结合集合、搜索和规则来更好地表达算法，见Proc。第十六届逻辑程序设计国际会议，美国新墨西哥州拉斯克鲁塞斯，1999年11月至12月·兹比尔1105.68339
[5] J.Chen，《计算几何：方法和应用》。德克萨斯农工大学计算机科学系（1996年2月）。
[6] A.Colmerauer，PROLOG-III简介。Commun公司。ACM 33（1990）69-90。
[7] A.Colmerauer，Les bases de Prolog IV。技术报告，马赛信息实验室（1996年）。
[8] D.Delahaye，《空间扇区优化》（Optimisation de la sectorisation de l’espace aérien par algorithmes génétiques）。博士论文，《国家空间管理局》（1995年）。
[9] D.Delahaye、J.M.Alliot、M.Schoenauer和J.L.Farges，《空中交通管制部门自动重组的遗传算法》，收录于Proc。麻省理工学院出版社（1995年3月）657-672。
[10] D.Delahaye、M.Schoenauer和J.M.Alliot，《进化计算的空域扇区划分》，IEEE国际进化计算大会（1998年）。
[11] C.M.Fiduccia和R.M.Mattheyses，改进网络分区的线性时间启发式算法，见Proc。第19届ACM/IEEE设计自动化会议（1982）175-181页。
[12] P.O.Fjallstrom，图分割算法：综述。计算机和信息科学中的链接电子文章3（1998）。
[13] M.R.Garey和D.S.Johnson，《计算机与难治性：NP-完备性理论指南》。W.H.Freeman&Co.（1979）。MR 519066 | Zbl 0411.68039·Zbl 0411.68039号
[14] J.R.Gilbert、G.L.Miller和S.H.Teng，《几何网格划分：实现和实验》。SIAM J.科学。计算。19 ( 1998 ) 2091 - 2110 . Zbl 0913.65107号·Zbl 0913.65107号 ·doi:10.1137/S1064827594275339
[15] D.E.Goldberg，搜索、优化和机器学习中的遗传算法。Addison-Wesley（1989）。Zbl 0721.68056号·Zbl 0721.68056号
[16] B.Hendrickson和R.Leland，用于映射并行计算的改进谱图分割算法。SIAM J.科学。计算。16 ( 1995 ) 452 - 469 . Zbl 0816.68093号·Zbl 0816.68093号 ·doi:10.1137/0916028
[17] B.Hendrickson和R.Leland，划分图的多级算法，见Proc。1995年ACM/IEEE超级计算会议，美国加利福尼亚州圣地亚哥，ACM出版社（1995）·Zbl 0816.68093号
[18] G.Karypis和V.Kumar，分割不规则图的快速高质量多级方案。SIAM J.科学。计算。20 ( 1998 ) 359 - 392 . 兹比尔0915.68129·Zbl 0915.68129号 ·doi:10.1137/S1064827595287997
[19] G.Karypis和V.Kumar，不规则图的多级k-路划分方案。《并行与分布式计算杂志》48（1998）96-129·Zbl 0918.68073号
[20] B.W.Kernighan和S.Lin，一个用于划分图的有效启发式过程。贝尔系统技术期刊（1970年2月）291-307。Zbl 0333.05001号·Zbl 0333.05001号
[21] F.Laburthe，CHOCO-用于解决组合优化问题的约束编程内核（2002）。
[22] F.Laburthe和OCRE小组，CHOCO:实现CP内核，在新加坡CP00关于实现约束编程系统（TRICS）的技术的会后研讨会上（2000年）。
[23] S.Manuel、M.L.José、M.B.Victor和M.R.Josá，《基因：遗传算法和快速模拟》，第三届ATM研发研讨会，西班牙（2002年）。
[24] A.Okabe等人，《空间细分：Voronoi图的概念和应用》。纽约，威利（1992）。MR 1210959 | Zbl 0877.52010·Zbl 0877.52010
[25] J.-F.Puget，CLP的C++实现，在Proc。第二届新加坡智能系统国际会议，新加坡（1994年）。
[26] R.E.Tarjan，深度第一搜索和线性图算法。SIAM J.计算。1 ( 1972 ) 146 - 160 . Zbl 0251.05107号·Zbl 0251.05107号 ·数字对象标识代码：10.1137/0201010
[27] M.Wallace、S.Novello和J.Schimpf，《Eclipse:约束逻辑编程平台》。技术报告，IC-Parc，帝国理工学院，伦敦（1997年）。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。