Поддержание целостности обмена сообщениями о движении воздушных судов в автоматизированной системе управления воздушным движением

Содержание
Введение.
1. Методы исследования процессов обмена сообщениями по управлению воздушным движением
1.1. Исходные положения и задачи исследования.
1.1.1. Исходные положения
1.1.2. Постановка задачи исследования
1.2. Теоретическая база исследования. Критический анализ литературы по теме работы
1.2.1. Цель анализа теоретической базы.
1.2.2. Теория массового обслуживания.
1.2.3. Пример оценки параметров обслуживания.
1.2.4. Обслуживание с приоритетами.
1.2.5 Статистическое моделирование.
1.3. Требования к методу исследования процессов обмена сообщениями по управлению воздушным движением
2. Модели сбора и обработки сообщений по управлению воздушным движением.
2.1. Постановка задачи
2.1.1. Причины ветвления графа системы с неоднородным
входящим потоком.
2.1.2. Гипотеза равновесного состояния в общем буферном
накопителе.
2.1.3. Равновесное состояние в разделенном буферном
накопителе.
2.2. Приоритетное обслуживание с общим буферным накопителем
2.2.1. Формализация задачи.
2.2.2. Анализ системы с двумя входными потоками
2.2.3. Обобщение для произвольного числа входных потоков
2.3. Приоритетное обслуживание с раздельным буферным
накопителем.
2.3.1. Формализация задачи
2.3.2. Система с двумя входными потоками
2.3.3. Обобщение для произвольного числа входных потоков
3. Модели приоритетного обслуживания сообщений по управлению воздушным движением на компьютерной сети
3.1. Статическое разделение заявок
3.1.1. Модель с раздельными секциями БЫ.
3.1.2. Модель с общим БЫ.
3.1.3. Вариации статической дисциплины
3.2. Динамическое разделение заявок.
3.2.1. Модель с общим буферным накопителем.
3.2.2. Модель с раздельными секциями БН.
3.2.3. Сравнительные оценки динамической и статической дисциплин распараллеливания.
3.3. Оценка точности статических характеристик модели.
4. Методика расчета параметров приоритетного обслуживания сообщений по управлению воздушным движением.
4.1. Характеристики времени обслуживания заявок.
4.1.1. Расчет времени обслуживания
4.1.2. Время ожидания в приоритетной системе с общим буферным накопителем
4.1.3. Время ожидания в приоритетной системе с раздельным буферным накопителем
4.2. Пример расчета шкалы приоритетов
4.3. Методика расчета параметров приоритетного сбора и обработки сообщений по управлению воздушным движением.
Заключение.
Литература