Разработка средств моделирования для исследования систем распределенной обработки информации

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
ГЛАВА 1. АНАЛИЗ МЕТОДОВ И СРЕДСТВ МОДЕЛИРОВАНИЯ СИСТЕМ РАСПРЕДЕЛЕННОЙ ОБРАБОТКИ ИНФОРМАЦИИ РОИ.
1.1. Анализ характеристик систем РОИ
1.2. Анализ процесса проектирования систем РОИ.
1.3. Анализ формальных моделей, используемых для исследования систем РОИ
1.3.1. Анализ возможностей сетевых моделей.
1.3.2. Классификация и характеристики низкоуровневых
сетей Петри
1.3.3. Классификация и характеристики высокоуровневых сетей Петри.
1 .4. Сравнительный анализ средств имитационного моделирования систем ГОИ
ВЫВОДЫ.
ГЛАВА 2. РАЗРАБОТКА ФОРМАЛЬНОГО АППАРАТА ДЛЯ
ПРЕДСТАВЛЕНИЯ МОДЕЛЕЙ СИСТЕМ РОИ
2.1. Требования к формальному аппарату для представления моделей систем РОИ
2.2. Общее описание Есетей и модифицированных Есетей
2.3. Алгебра модифицированных Есетей
2.4. Алгоритм функционирования модифицированных Есетей .
2.5. Язык описания сетевой модели
2.6. Язык управления процессом моделирования.
ВЫВОДЫ.
ГЛАВА 3. РАЗРАБОТКА КОМПЛЕКСА ИМИТАЦИОННОГО
МОДЕЛИРОВАНИЯ.
3.1. Требования к комплексу имитационного моделирования
Ушт.
3.2. Выбор архитектуры комплекса имитационного моделирования ii
3.2.1. Креативная система
3.2.2. Реализация компилятора языка .
3.2.3. Исполнительная система.
3.3. Анализ возможностей распараллеливания процессов имитационного моделирования на группе компьютеров в ЛВС
ВЫВОДЫ
ГЛАВА 4. ПРИМЕНЕНИЕ КОМПЛЕКСА II ДЛЯ
ИССЛЕДОВАНИЯ СИСТЕМ РОИ.
4.1. Методика представления систем РОИ на языке
4.2. Исследование модели локальной вычислительной сети
с кольцевой топологией.
4.3. Исследование модели локальной вычислительной сети
типа
4.4. Исследование распределенных алгоритмов взаимного исключения.
4.4.1. Алгоритм РикартаАгравала.
4.4.2. Алгоритм Трехеля
4.4.3. Алгоритм СудзукиКасами.
ВЫВОДЫ
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА