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

• Автор: Товмасян, Артоша Вардгесович
• Шифр специальности: 05.13.06
• Научная степень: Кандидатская
• Год защиты: 1983
• Место защиты: Москва
• Количество страниц: 190 c. : ил

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ В
ГЛАВА 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. Синтез оптимальной типовой модульной СОД для решения задач приходования грузов на складах и формирования приемных актов в АСУ МТС Метро
КРАТКИЕ ВЫВОДЫ
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА


В качестве ограничений при решении задач синтеза оптимальных типовых модульных СОД используются, кроме вышеперечисленных показателей, такие характеристики, как состав процедур и объем каждого модуля, состав и объем информационных массивов, сложность и состав интерфейса между отдельными модулями, степень дублирования процедур и информационных элементов в СОД, объем оперативной памяти ЭВМ, возможности передачи управления внутри и между модулями и т. Решение поставленных задач синтеза позволяет по заданным критериям эффективности с учетом имеющихся ресурсных и технологических ограничений определять оптимальный состав типовых модулей программного и информационного обеспечения, обеспечивающих требования заданного множества задач обработки данных. Поставленные в работе задачи синтеза типовых модульных СОД
являются нелинейными задачами целочисленного программирования большой размерности. В четвертой главе диссертации рассматриваются методы и алгоритмы решения синтеза типовых модульных ООД. Учет особенностей поставленных задач позволил разработать эффективные алгоритмы их решения, основанные на схеме ветвей и границ. Использование свойств модульных СОД и введенных формальных понятий позволило получить аналитические выражения для оценки множеств решений в разработанных комбинаторных алгоритмах. Кроме того, для ряда практически важных случаев разработан эвристический алгоритм, позволяющий получать достаточно эффективные приближенные решения поставленных задач синтеза. В работе приведены примеры использования разработанных моделей, методов и алгоритмов для синтеза оптимальной типовой модульной СОД для решения задач приходования грузов на складах и формирования приемных актов в АСУ МТС Метро. В приложении к диссертации приведены блоксхемы разработанных программ анализа технологии решения множества задач обработки данных и синтеза типовых модульных СОД, а также материалы, подтверждающие практическое использование полученных автором научных результатов. Апробация работы. Основные результаты диссертационной работы обсуждались и докладывались автором на Конференции молодых ученых и специалистов Института проблем управления Москва, , на Всесоюзном семинаре по методам синтеза типовых модульных систем обработки данных Звенигород, и других семинарах и совещаниях. Публикации. Диссертационная работа выполнена в соответствии с планом научных исследований по естественным и общественным наукам АН СССР на годы проблема 1. Проблемы вычисли
тельной техники, управления и кибернетики и планом научных работ Института проблем управления тема номер государственной регистрации Синтез оптимальных модульных и типовых модульных автоматизированных информационноуправляюцих систем научный руководитель темы академик Трапезников В. А. и изложена в пяти научных работах. Объем работы. Диссертационная работа состоит из введения, четырех глав, заключения, приложения и включает 5 страниц машинописного текста, рисунков и таблиц. В главе I рассмотрены типовые модели описания и анализа алгоритмов решения задач обработки данных в АСУ, позволяющие формализовать получение требуемой информации, необходимой для сравнения различных задач одного класса с целью выделения в них типовых и специфичных частей и элементов, используемых при синтезе типовых модулей программного и информационного обеспечения АСУ заданной степени универсальности. В качестве моделей описания и анализа алгоритмов обработки данных использована совокупность графовых и матричных моделей, которые получили наибольшее развитие и использование при решении практических задач анализа благодаря удобному представлению порядка и вида отношений между различными элементами системы , О3. Методика анализа и структуризации исходной для синтеза системы типовых модулей информации базируется на последовательном эквивалентном преобразовании матричных и графовых моделей алгоритмов решения задач обработки данных, содержащих всю необходимую информацию о взаимосвязях и отношениях между различными элементами отдельных задач. Предлагаемая совокупность моделей ориентирована на автоматизированный анализ задач обработки данных, получение дополнительной информации о структуре задач и корректировку исходной информации в режиме диалога проектировщика с ЭВМ. Данная совокупность обеспечивает структуризацию и подготовку всей необходимой информации для последующего сравнения элементов и динамических характеристик множества задач обработки данных заданного класса.