Моделирование и анализ параллельных вычислительных процессов в системах мониторинга

Содержание
ВВЕДЕНИЕ
1. МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ В СИСТЕМАХ МОНИТОРИНГА.
1.1 Анализ принципов организации вычислительных процессов в системах мониторинга.
1.2 Сравнение способов построения и методов анализа моделей параллельных вычислительных ПРОЦЕССОВ.
1.3 Анализ инструментальных средств моделирования информационновычислительных систем
И СЕТЕЙ
1.4 Задачи развития методов и средств анализа параллельных вычислительных процессов в системах мониторинга
2. АНАЛИЗ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ С ЗАДЕРЖКАМИ В ОБЪЕДИНЕНИИ СИНХРОНИЗИРУЕМЫХ ПРОЦЕДУР ДВУХУРОВНЕВЫХ СХЕМ ПРИНЯТИЯ РЕШЕНИЙ В СИСТЕМАХ МОНИТОРИНГА И УПРАВЛЕНИЯ
2.1 Формирование описания параллельных вычислительных процессов с задержками в объединении синхронизируемых процедур двухуровневых схем принятия решений.
2.2 ФОРМАЛИЗАЦИЯ ПРОЦЕССА ОТЫСКАНИЯ ГРУПП СОВМЕСТНЫХ ВЕРШИН ДЛЯ АНАЛИЗА ПАРАЛЛЕЛЬНЫХ ПРОЦЕССОВ С ЗАДЕРЖКАМИ В ОБЪЕДИНЕНИИ РЕШАЮЩИХ ПРАВИЛ
2.3 Инструментальные средства для анализа параллельных процессов по методу отыскания ГРУПП совместных вершин.
2.4 Исследование характеристик параллельных вычислительных процессов по методу отыскания групп совместных вершин.
Выводы.
3. МОДЕЛИРОВАНИЕ МНОГОУРОВНЕВЫХ СИСТЕМ ПРИНЯТИЯ РЕШЕНИЙ С ИСПОЛЬЗОВАНИЕМ МЕТОДА СВЕРТКИ.
3.1 представление параллельных процессов с ЗАДЕРЖКАМИ в объединении синхронизируемых процедур многоуровневых схем принятия решений
3.2 Обоснование выбора метода для анализа многоуровневых схем принятия решений
3.3 Расширение метода свертки для анализа параллельных вычислительных процессов с задержками в объединении синхронизируемых процедур двухуровневых схем принятия
РЕШЕНИЙ
3.3.1 Определение характеристик обнаружения событии при отсутствии временных задержек в комплексировании решении.
3.3.2 Характеристики обнаружения событий при одинаковых ненулевых временных задержках комплексирования решающих правй
3.3.3 Характеристики обнаружения событий при произвольных временных задержках комплексирования решающих правил
3.3.4 Характеристики обнаружения событий при комплексировании последовательных фрагментов по функции М из И с бесконечными задержками.
3.4 Формализация метода свертки для анализа параллельных вычислительных процессов с задержками в объединении синхронизируемых процедур многоуровневых схем принятия РЕШЕНИЙ
3.5 Инструментальные средства для анализа многоуровневых логических моделей
ПАРАЛЛЕЛЬНЫХ ПРОЦЕССОВ ПО МЕТОДУ СВЕРТКИ
Выводы.
4. АНАЛИЗ ХАРАКТЕРИСТИК КАЧЕСТВА ФУНКЦИОНИРОВАНИЯ СИСТЕМ МОНИТОРИНГА.
4.1 Описание предметной области
4.2 Разработка моделей для исследования системы моиторинга.
4.3 Определение и исследование характеристик вычислительных процессов
Выводы.
5. ИССЛЕДОВАНИЕ СИСТЕМЫ МОНИТОРИНГА И УПРАВЛЕНИЯ ПОВЕДЕНИЕМ СУДНА.
5.1 Архитектура систем управления поведением судна.
5.2 Построение математической модели процесса принятия решений в системе мониторинга и
управления поведением судна.
5.3 Исследование временных характеристик системы мониторинга и управления поведением
Выводы.
ПРИЛОЖЕНИЕ. АКТЫ О ВНЕДРЕНИИ ОСНОВНЫХ РЕЗУЛЬТАТОВ ДИССЕРТАЦИОННОЙ РАБОТЫ
ЛИТЕРАТУРА