Каскадное слияние потоков воздушных судов с возможностью множественной смены порядка

Реализован алгоритм построения оптимальной очереди воздушных судов на основе номинального расписания их прибытия в финальную точку воздушной трассы. Предполагается, что слияние потоков воздушных судов происходит в нескольких точках воздушных трасс: часть исходных потоков сливаются в промежуточных точках, результирующие потоки могут сливаться с другими исходными или результирующими потоками в других точках воздушных трасс. Порядок судов при прохождении точек слияния устанавливается в первой общей точке слияния и может быть изменён при пролёте последующих точек на сегментах трассы, где такое действие разрешено. Задача рассматривается как задача конечномерной оптимизации и состоит из двух частей — дискретной (выбор порядка прохождения судами точек слияния) и непрерывной (для полученного порядка получение оптимального бесконфликтного расписания моментов прибытия судов в каждую точку их маршрутов движения). В программе реализованы выпуклые непрерывные кусочно-линейные критерии оптимальности слитой очереди. Задача формализована в рамках смешанного-целочисленного линейного программирования. Решение поставленной задачи реализовано с помощью оптимизационной библиотеки Gurobi.