Разработка формализованных методов анализа задач обработки данных и синтеза типовых модульных систем обработки данных

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