Использование сетей Петри для анализа и синтеза оптимальных модульных систем обработки данных

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