Введение
ГЛАВА I . Сети петри и задачи синтеза оптимальных модульных систем обработки данных 15
1.1 . Синтез оптимальных модульных систем обработки данных (обзор) 16
1.2. Формализованное описание сетей Петри. Основные понятия и определения 24
1.3. Моделирование и анализ автоматизированных систем обработки данных с использованием сетей Петри 30
Краткие выводы 40
ГЛАВА 2. Синтез оптимальных модульных сод по критерию максимума информационной производительности . 42
2.1. Определение информационной производительности систем обработки данных 43
2.2. Анализ информационной производительности как целевой функции задач синтеза оптимальных модульных СОД 46
2.3. Постановка и решение задач синтеза оптимальных модульных СОД по критерию максимума информационной производительности 61
2.4. Синтез оптимальной модульной системы обработки данных для подсистемы АСУ ТП-Контроль МЧЗ" 80
Краткие выводы 86
ГЛАВА 3. Синтез оптимальных модульных сод, реализуемых на базе мультипроцессорных вычислительных систем 88
3.1 . Особенности разработки СОД, реализуемых на базе мультипроцессорных вычислительных систем . 89
3.2. Постановка и решение задач синтеза программного и информационного обеспечения СОД, реализуемых с использованием однородных вычислительных систем с жестко распределенной оперативной памятью 96
3.3. Задачи синтеза оптимальных модульных СОД, , , реализуемых на базе однородных вычислительных систем со свободно распределенной оперативной памятью 109
3.4. Задача синтеза состава программных модулей СОД, реализуемой на базе
мультипроцессорной вычислительной системы с перестраиваемой структурой 114
3.5. Использование моделей и методов синтеза оптимальных модульных СОД при проектировании задач "АСУ ТП-Контроль МЧЗ" 121
Краткие. выводы 127
ГЛАВА 4 . Синтез оптимальных модульных сод по критерию минимума общего времени обмена с внешней памятью эвм 130
4.1. Синтез оптимального состава модулей программного обеспечения систем обработки данных 131
$ 4.2. Синтез оптимальной функциональной модульной блок-схемы обработки данных и
оптимального состава информационных массивов СОД . 139
4.3. Использование методов синтеза программного и информационного обеспечения.оптимальных модульных СОД при проектировании задач АСУ "Росстройбанка" и АСУ МТС "Метро" 147
Краткие выводы 159
Заключение 161
Литература 165
Приложение 172
