Разработка и исследование формализаций задачи бесконфликтного слияния потоков воздушных судов

Аннотация

В работе рассмотрены различные подходы к формализации практической проблемы бесконфликтного слияния нескольких потоков воздушных судов в единую очередь. Проблема была формализована в рамках теории оптимизации. Был предложен ряд критериев оптимальности очереди, отражающих те или иные требования к результирующей очереди. Рассматривались кусочно-линейные критерии, для решения задач с которыми применялись методы линейного программирования. Кроме того, рассматривались постановки с нелинейными критериями, для решения которых применялись метод градиентного спуска и метод прямого поиска Хука--Дживса. Теоретические численные процедуры были реализованы в виде кроссплатформенной вычислительной программы на языке C++ с использованием интерфейсно-грфической библиотеки Qt. Результаты, полученные на малом тестовом наборе судов, показали выполнение требований к результирующей очереди. Стресс-тестирование на наборах реального суточного размера (100–150 судов) показало достаточное быстродействие предложенных реализаций алгоритмов.