Введение
1. Математическое моделирование параллельных вычислительных процессов в системах мониторинга 11
1.1 Анализ принципов организации вычислительных процессов в системах мониторинга 11
1.2 Сравнение способов построения и методов анализа моделей параллельных вычислительных процессов 40
1.3 Анализ инструментальных средств моделирования информационно-вычислительных систем и сетей 57
1.4 Задачи развития методов и средств анализа параллельных вычислительных процессов в системах мониторинга 66
2. Анализ параллельных вычислительных процессов с задержками в объединении синхронизируемых процедур двухуровневых схем принятия решений в системах мониторинга и управления 72
2.1 Формирование описания параллельных вычислительных процессов с задержками в объединении синхронизируемых процедур двухуровневых схем принятия решений 72
2.2 Формализация процесса отыскания групп совместных вершин для анализа параллельных процессов с задержками в объединении решающих правил 78
2.3 Инструментальные средства для анализа параллельных процессов по методу отыскания групп совместных вершин 87
2.4 Исследование характеристик параллельных вычислительных процессов по методу отыскания групп совместных веешин 99
выводы 104
3. Моделирование многоуровневых систем принятия решений с использованием метода свертки 105
3.1 Представление параллельных процессов с задержками в объединении синхронизируемых процедур многоуровневых схем принятия решений 105
3.2 Обоснование выбора метода для анализа мннгоороовнеых ссем принятия решений 101
3.3 Расширение метода свертки для анализа параллельных вычислительных процессов с задержками в объединении синхронизируемых процедур двухуровневых схем принятия
решений 109
3.3.1 Определение характеристик обнаружения событйй при отсутствии временных задерэюек в комплексировании решений 111
3.3.2 Характеристики обнаружения событйй при одинаковых ненулевых временных задержках комплексирования решающхх правич 115
3.3.3 Характеристики обнаружения событйй при произвольных временных задержках комплексирования решающхх правил 119
3.3.4 Характеристики обнаружения событйй при комплексировании последовательных фрагментов по функции «миз n» с бесконечными задержками.]!\
3.4 Формализация метода свертки для анализа параллельных вычислительных процессов с задержками в объединении синхронизируемых процедур многоуровневых схем принятия решений 125
3.5 Инструментальные средства для анализа многоуровневых логических моделей параллельных процессов по методу свертки 129
Выводы 131
4. Анализ характеристик качества функционирования систем мониторинга 132
4.1 Описание предметной области 132
4.2 Разработка моделей для исследования системы мониторинга 134
4.3 Определение и исследование характеристик вычислительных процессов 148
Выводы 156
5. Исследование системы мониторинга и управления поведением судна 158
5.1 Архитектура систем управления поведением судна 115
5.2 Построение математической модели процесса принятия решений в системе мониторинга и управления поведением судна 162
5.3 Исследование временных характеристик системы мониторинга и управления поведением судна 171
Выводы 177
Приложение. акты о внедрении основных результатов диссертационной работы 180
Литература
