Введение
1. Методы исследования процессов управления воздушным движением 10
1.1. Исходные положения и задачи исследования 10
1.2. Теоретическая база исследования. Критический анализ литературы по теме 17
1.2.1. Цель анализа теоретической базы 17
1.2.2. Теория массового обслуживания 17
1.2.3. Статистическое моделирование 20
1.2.4. Математическое программирование 23
1.2.4.1. Принципы математического программирования 23
1.2.4.2. Линейное программирование 24
1.2.4.3. Динамическое программирование 28
1.2.4.4. Стохастическое программирование 31
1.2.5. Приложения теории графов 34
1.3. Требования к методу оперативного регулирования потоков ВС 38
2. Информационная основа метода оперативного регулирования потоков 41
2.1. Адаптационная модель использования воздушного пространства 41
2.1.1. Словесная постановка 41
2.1.2. Формализация задачи 45
2.1.3. Фильтр загрузки 47
2.1.4. Пример оценки загрузки элементов ВП 50
2.2 Связи и ограничения модели использования воздушного пространства 53
2.2.1. Пропускная способность трасс и секторов 53
2.2.2. Обновление порогов загрузки секторов 55
2.3. Экстремальные свойства адаптационной модели 60
2.3.1. Математическая постановка задачи 60
2.3.2. Минимальная функция поиска на информационном образе 62
2.3.3. Минимальное отношение поиска запрошенного элемента 67
3. Метод оперативного регулирования потоков воздушных судов 71
3.1. Состав задач и последовательность их исполнения 71
3.1.1. Технологическая схема метода 71
3.1.2. Алгоритмическое описание метода 75
3.1.3. Фильтр конфликтов 79
3.1.4. Выявление конфликтов на основе информационных образов 81
3.2. Выработка рекомендаций по регулированию потоков ВС 88
3.2.1. Присоединение рейса к модели ИВП 88
3.2.2. Алгоритм поиска кратчайшего пути 96
4. Оценка компьютерных ресурсов для реализации метода оперативного регулирования 103
4.1. Модель вычислительной сети центра управления полетами 103
4.1.1. Постановка задачи 103
4.1.2. Формализация задачи 105
4.2. Учет связности заявок 111
4.2.1. Постановка задачи 111
4.2.2. Модель без учета корреляции заявок 113
4.2.3. Модель с учетом корреляции 115
4.3. Оценка связности вычислительных задач в центре управления 120
4.3.1. Постановка задачи 120
4.3.2. Анализ достижимости вершин графа сложной программы 124 Заключение 130 Литература
