автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.06, диссертация на тему:Разработка формализованных методов анализа задач обработки данных и синтеза типовых модульных систем обработки данных

ВВЕдаНИЕ.

ГЛАВА I. ИСПОЛЬЗОВАНИЕ МАТРИЧНЫХ И ГРАФОВЫХ МОДЕЛЕЙ ДЛЯ ОПИСАНИЯ И АНАЛИЗА ТЕХНОЛОГИИ РЕШЕНИЯ ЗАДАЧ ОБРАБОТКИ ДАННЫХ ПРИ РАЗРАБОТКЕ ТИПОВЫХ МОДУЛЬНЫХ СИСТЕМ ОБРАБОТКИ ДАННЫХ (СОД)

§ I.I. Формализация представления исходной информации и процедур ее обработки для анализа технологии решения задач обработки данных при разработке типовых модульных СОД

§ 1.2. Процедуры формирования полного структурированного графа технологии задач обработки данных.

§ 1.3. Использование процедур формализации и структуризации для формирования полного графа технологии решения задачи приходования грузов на складах и формирования приемных актов, решаемой на Московском Метрополитене . ^6 КРАТКИЕ ВЫВОДЫ.

ГЛАВА П. ФОРМАЛИЗОВАННЫЕ МЕТОДЫ АНАЛИЗА МНОЖЕСТВА ЗАДАЧ ОБРАБОТКИ ДАННЫХ ЗАДАННОГО КЛАССА ПРИ ПРОЕКТИРОВАНИИ ТИПОВЫХ МОДУЛЬНЫХ СОД

§ 2.1. Формализация процедур вьщеления типовых и специфичных частей технологических структур для множества задач обработки данных

§ 2.2. Процедуры и алгоритм вьщеления типовых и специфичных частей заданного множества задач обработки данных.

§ 2.3. Формализованные процедуры формирования интегрированного графа технологии для заданного множества задач обработки данных.

§ 2.4. Использование методов и процедур формализации для формирования интегрированного графа технологии решения множества задач обработки данных приходования грузов на складах и формирования приемных актов в АСУ МТС "Метро"

КРАТКИЕ ВЫВОДЫ.

ГЛАВА Ш. ЗАДАЧИ СИНТЕЗА ТИПОВЫХ МОДУЛЬНЫХ СОД.

§ 3.1. Задачи синтеза типовых модульных СОД с использованием общесистемных критериев проектирования.

§ 3.2. Задачи синтеза состава типовых модулей программного обеспечения СОД при заданном информационном обеспечении.

§ 3.3. Задачи синтеза типовых модульных СОД с использованием минимаксных критериев проектирования . . 103 КРАТКИЕ ВЫВОДЫ.

ГЛАВА 1У. МЕТОДЫ И АЛГОРИТМЫ РЕШЕНИЯ ЗАДАЧ СИНТЕЗА

ТИПОВЫХ МОДУЛЬНЫХ СОД.

§ 4.1. Методы вычисления оценок и алгоритмы решения задач синтеза типовых модульных СОД, основанные на схеме "ветвей и границ".

§ 4.2. Эвристические методы и алгоритмы решения задач синтеза типовых модульных СОД.

§ 4.3. Синтез оптимальной типовой модульной СОД для решения задач приходования грузов на складах и формирования приемных актов в АСУ МТС "Метро". 142 КРАТКИЕ ВЫВОДЫ

Актуальность темы. Повышение качества и эффективности систем управления, сокращение сроков и затрат на их внедрение определены как важные народно-хозяйственные задачи.

Повышение эффективности создаваемых систем связано с использованием при разработке их программного и информационного обеспечения моделей и методов синтеза типовых модульных систем обработки данных (СОД).

Основные преимущества разработки АСУ с использованием типовых модулей состоят в следующем:

- уменьшаются общие затраты и время на разработку и внедрение АСУ за счет использования готовых проектных решений и модулей;

- повышается научный потенциал и квалификация разработчиков за счет сравнительного анализа и обобщения большего числа систем и проектов АСУ;

- легче внедряются передовые методы разработки и автоматизации проектирования;

- значительно облегчается эксплуатация АСУ, подготовка персонала и его взаимозаменяемость.

По отечественным и зарубежным данным затраты на разработку и внедрение модульных АСУ сокращаются в среднем на 20%, а затраты и время на разработку типовых модульных АСУ уменьшаются в еще большей степени по сравнению с традиционным индивидуальным проектированием при одновременном повышении качества функционирования систем^"!].

Возможности типизации модульных СОД основаны на разработке и использовании ограниченного множества типовых модулей алгоритмического, программного и информационного обеспечения для решения задач АСУ выбранного класса объектов с учетом их индивидуальных особенностей. Решение задач типизации должно предваряться анализом и классификацией состава и содержания функциональных задач АСУ, формулировкой требований к их реализации.

Большие масштабы работ по созданию и внедрению АСУ в различных областях народного хозяйства, необходимость решения большого числа однотипных задач, и в то же время отсутствие теоретических основ, моделей и методов формализации разработки типовых модульных систем обработки данных для множества задач некоторой проблемной области обуславливают актуальность выполненных научных исследований.

Цель работы. Целью работы является разработка формализованных методов и моделей анализа множества задач обработки данных и синтеза типовых модульных систем.

Научная новизна. На основании проведенных исследований и обобщения опыта создания модульных СОД разработан общий методологический подход, формализованные методы и модели синтеза оптимальных типовых модульных систем обработки данных для заданного множества задач одного класса.

На основе единой методологии разработаны методы формализации, постановки задач, модели, алгоритмы и программы анализа и синтеза оптимальных типовых модульных АСУ, обеспечивающие: формализацию описания и анализа технологии решения задач обработки данных; ввделение типовых частей заданного множества задач или его подмножеств, а также специфичных частей каждой задачи и параметров настройки; получение интегрированного графа технологии решения заданного множества задач обработки данных; синтез оптимальной типовой модульной системы обработки данных по общесистемным критериям проектирования: минимум общего времени обмена между оперативной и внешней памятью для множества задач обработки данных, минимум суммарного числа обращений к внешней памяти при решении заданного множества задач, минимум суммарного числа межмодульных информационных связей для заданного множества задач; синтез типовых модульных СОД с использованием минимаксных критериев проектирования; синтез состава типовых модулей программного обеспечения СОД при заданном информационном обеспечении.

Приведенные в диссертации модели, методы и алгоритмы синтеза типовых оптимальных модульных СОД впервые разработаны и опубликованы автором и по сравнению с традиционными методами проектирования, ориентированными, в основном, на использование опыта разработчиков, позволяют формализовать, алгоритмизировать и в значительной мере автоматизировать процесс проектирования для заданного множества задач оптимального состава типовых модулей программного и информационного обеспечения АСУ, что существенно снижает затраты на его разработку и повышает качество принимаемых проектных решений.

Практическая ценность. Разработанные методы формализации и постановки задач обеспечивают анализ и синтез оптимальной по заданному критерию системы типовых программных модулей и информационных массивов для заданного класса задач обработки данных. Использование разработанного комплекса методов, алгоритмов и программ проектирования типовых модульных СОД позволяет сократить общее время разработки программного и информационного обеспечения АСУ на 25-30$ и повысить качество типовых проектных решений. Разработанные алгоритмы реализованы на языке Фортран, входящем в состав математического обеспечения ЕС ЭВМ и других отечественных ЭВМ, и могут быть использованы при разработке программного и информационного обеспечения отраслевых автоматизированных систем управления различного класса и назначения, автоматизированных систем управления и информационных систем в производственных и

- а научно-производственных объединениях, научно-исследовательских, проектных и конструкторских организациях, а также в вычислительных центрах, разрабатывающих, внедряющих и эксплуатирующих системы обработки данных на ЭВМ и методы их автоматизированного проектирования.

Внедрение. Эффективность разработанных в диссертационной работе моделей и методов анализа и синтеза типовых модульных СОД подтверждена их практическим использованием.

При непосредственном участии автора они внедрены при разработке типовой автоматизированной системы управления метрополитенами страны (АСУ "Метро"), ряда типовых подсистем в ОАСУ "Пром-стройматериалы" Министерства промышленности Арм. ССР и в ОАСУ "Торговля" Министерства торговли Арм. ССР.

Использование разработанных методов, алгоритмов и программ позволило за счет выбора оптимального состава типовых модулей программного обеспечения получить экономический эффект около 50 тыс. рублей в год.

Содержание работы. Полученные в диссертационной работе научные результаты распределяются по главам следующим образом.

Во введении обосновывается выбор цели и проблем, рассматриваемых в диссертации, приводятся основные положения, которые выносятся на защиту, подчеркивается, что широкое внедрение АСУ в различных областях народного хозяйства требует разработки формализованных методов синтеза типовых модульных АСУ, позволяющих определять состав и интерфейс типовых модулей программного и информационного обеспечения.

Проблемы синтеза оптимальных типовых модульных СОД весьма разнообразны, в большинстве своем не формализованы и в настоящее время интенсивно разрабатываются многими исследователями [1 + ^Н, 96]

При разработке АСУ существуют различные направления типизации. К таким направлениям относится типизация организационного, алгоритмического, программного, информационного, технического и других видов обеспечения АСУ.

Каждое из направлений типизации может быть осуществлено на различных структурных уровнях:

- на уровне системы или проекта в целом;

- на уровне отдельных функциональных подсистем АСУ;

- на уровне задач обработки данных и управления;

- на уровне совокупностей процедур и информационных элементов.

К числу важнейших требований, которые должны выполняться при выработке типовых проектных решений по всем направлениям и на всех уровнях типизации, относятся следующие:

- разработка типовых проектных решений должна проводиться на основе анализа и оценки степени общности требований и характеристик объектов автоматизации;

- требования и характеристики объектов автоматизации должны быть унифицированы и представлены в стандартной, однозначно понимаемой форме;

- типовые проектные решения должны формироваться в строгом соответствии со стандартами и ГОСТами на алгоритмическое, программное и информационное обеспечение АСУ;

- формирование типовых проектных решений при проектировании АСУ должно базироваться на разработке многофункциональных типовых модулей программного и информационного обеспечения.

В диссертационной работе основное внимание уделено следующим этапам разработки типовых модульных СОД: этапу анализа и этапу технического проектирования оптимальных типовых модулей программного и информационного обеспечения. Предложенный в диссертации подход к формализации и автоматизации этих этапов базируется на формализованных процедурах описания и анализа задач АСУ, их программного и информационного обеспечения, позволяющих получить информацию, необходимую для сравнения рассматриваемых алгоритмов задач обработки данных с целью выделения общих и специфичных частей, построения интегрированного графа технологии и синтеза на этой основе системы типовых программных и информационных модулей, обеспечивающих решение заданного множества задач

В основу предложенного подхода положен модульный принцип проектирования АСУ, который связан с процессом разбиения системы на отдельные слабо связанные компоненты (модули), допускающие их относительно независимую разработку и использование. Использование принципа модульности при проектировании информационного и программного обеспечения АСУ позволяет свести проектирование к синтезу функционально независимых отдельных частей (модулей), совместно выполняющих заданные функции системы с требуемой эффективностью.

Сформулированные в диссертации проблемы и задачи анализа и синтеза типовых оптимальных модульных АСУ рассматриваются в последующих главах работы.

В главе I рассматриваются типовые модели описания и анализа алгоритмов решения задач обработки данных в АСУ, позволяющие формализовать получение требуемой информации, необходимой для сравнения различных задач одного класса с целью выделения в них типовых и специфичных частей и элементов, используемых при синтезе типовых модулей программного и информационного обеспечения АСУ.

В качестве моделей описания и анализа задач и алгоритмов обработки данных использована совокупность графовых и матричных моделей, которые получили наибольшее развитие и использование при решении практических задач анализа благодаря удобному представлению порядка и вида отношений между элементами системы. Методика анализа и структуризации исходной для синтеза системы ти» ' повых модулей информации базируется на последовательном эквивалентном преобразовании матричных и графовых моделей алгоритмов решения задач обработки данных, содержащих всю необходимую информацию о взаимосвязях и отношениях между различными элементами отдельных задач. ф

Предлагаемая совокупность моделей ориентирована на автоматизированный анализ задач обработки данных, получение дополнительной информации о структуре задач и корректировку исходной информации в режиме диалога проектировщика с ЭВМ* Данная совокупность обеспечивает структуризацию и подготовку всей необходимой информации для последующего сравнения элементов и динамических характеристик множества задач обработки данных заданного класса.

В главе 2 рассматриваются формализованные методы и модели анализа технологии решения заданного множества задач обработки данных, имеющие целью вццеление общих или типовых частей данного множества задач или его подмножеств, специфичных частей каждой задачи, а также построение единого интегированного графа технологии, обеспечивающего решение анализируемых задач.

Исходными данными для анализа и вццеления типовых и специфичных частей множества задач обработки данных заданного класса являются полученные на предыдущих этапах анализа каждой задачи множества процедур обработки данных, информационных элементов и их областей определения, структурированный граф технологии, структурированные матрицы смежности и достижимости технологии обработки данных отдельных задач. Введение различных классов эквивалентности анализируемых задач позволяет осуществлять сравнение алгоритмов их решения на заданном уровне абстракции. Рассмотрены постановка и алгоритмы решения задачи сравнения технологических структур заданных алгоритмов обработки данных и вццеления совпадающих и специфичных частей без учета имеющихся различий в константах и областях определения информационных элементов.

Результаты решения задачи сравнения алгоритмов использованы для построения общего интегрированного графа технологии множества задач обработки данных. В главе приведены примеры использования разработанных методов и алгоритмов для формирования общего интегрированного графа обработки данных для задач приходования грузов на складах и формирования приемных актов, решаемых в АСУ МТС "Метро".

В третьей главе рассматриваются постановки задач синтеза программного и информационного обеспечения оптимальных типовых модульных СОД. Использование принципа модульности при проектировании типовых модульных СОД позволяет свести проектирование к синтезу функционально независимых типовых и специфичных модулей, обеспечивающих решение заданного множества задач выбранного класса с требуемой эффективностью.

Исходными данными для постановки задач синтеза системы типовых модулей являются: общий интегрированный граф технологии обработки данных заданного множества задач, структурированная матрица смежности технологии обработки данных множества задач, типовые и специфичные подграфы, множество информационных элементов и процедур, входящих в состав типовых и специфичных подграфов, последовательности выполнения процедур общего интегрированного графа технологии обработки данных в процессе решения каждой задачи, входные и выходные элементы типовых и специфичных частей.

В работе рассмотрены два класса критериев синтеза типовых модулей программного и информационного обеспечения АСУ: общесистемные и минимаксные.

Первые определяются с помощью суммарных показателей качества синтеза для множества задач обработки данных, вторые - с помощью показателей гарантированного качества синтеза для отдельных задач обработки данных, входящих в рассматриваемое множество. В качестве общесистемных критериев рассматриваются: минимум общего времени обмена между оперативной и внешней памятью, минимум суммарного числа обращений к программным модулям и информационным массивам, минимум суммарного числа межмодульных информационных связей, минимум общего времени обмена системы типовых модулей с внешней памятью, минимум общего числа неиспользуемых процедур при обращении к программным модулям, минимум общего числа обращений к программным модулям при решении заданного множества задач.

В качестве минимаксных критериев используются минимум на множестве задач обработки данных максимальных значений перечисленных выше показателей, обеспечивающих гарантированный уровень качества проектных решений для каждой из задач обработки данных.

В качестве ограничений при решении задач синтеза оптимальных типовых модульных СОД используются, кроме вышеперечисленных показателей, такие характеристики, как состав процедур и объем каждого модуля, состав и объем информационных массивов, сложность и состав интерфейса между отдельными модулями, степень дублирования процедур и информационных элементов в СОД, объем оперативной памяти ЭВМ, возможности передачи управления внутри и между модулями и т.д.

Решение поставленных задач синтеза позволяет по заданным критериям эффективности с учетом имеющихся ресурсных и технологических ограничений определять оптимальный состав типовых модулей программного и информационного обеспечения, обеспечивающих требования заданного множества задач обработки данных.

Поставленные в работе задачи синтеза типовых модульных СОД являются нелинейными задачами целочисленного программирования большой размерности.

В четвертой главе диссертации рассматриваются методы и алгоритмы решения синтеза типовых модульных СОД. Учет особенностей поставленных задач позволил разработать эффективные алгоритмы их решения, основанные на схеме "ветвей и границ". Использование свойств модульных СОД и введенных формальных понятий позволило получить аналитические выражения для оценки множеств решений в разработанных комбинаторных алгоритмах. Кроме того, для ряда практически важных случаев разработан эвристический алгоритм, позволяющий получать достаточно эффективные приближенные решения поставленных задач синтеза. В работе приведены примеры использования разработанных моделей, методов и алгоритмов для синтеза оптимальной типовой модульной СОД для решения задач приходования грузов на складах и формирования приемных актов в АСУ МТС "Метро".

В приложении к диссертации приведены блок-схемы разработанных программ анализа технологии решения множества задач обработки данных и синтеза типовых модульных СОД, а также материалы, подтверждающие практическое использование полученных автором научных результатов.

Апробация работы. Основные результаты диссертационной работы обсуждались и докладывались автором на Конференции молодых ученых и специалистов Института проблем управления (Москва, 1980), на Всесоюзном семинаре по методам синтеза типовых модульных систем обработки данных (Звенигород, 1981) и других семинарах и совещаниях.

Публикации. Диссертационная работа выполнена в соответствии с планом научных исследований по естественным и общественным наукам АН СССР на 1981-1985 годы - проблема 1.12 "Проблемы вычислительной техники, управления и кибернетики" и планом научных работ Института проблем управления - тема 12-79 (номер государственной регистрации 79062179) "Синтез оптимальных модульных и типовых модульных автоматизированных информационно-управляющих систем (научный руководитель темы - академик Трапезников В.А.) и изложена в пяти научных работах.

Объем работы. Диссертационная работа состоит из введения, четьфех глав, заключения, приложения и включает 125 страниц машинописного текста, 25 рисунков и 25 таблиц.

Основные результаты диссертационной работы состоят в следующем:

1. Разработаны модели описания и анализа технологии решения задач обработки данных, позволяющие автоматизировать процесс построения полных структурированных графов технологии решения отдельных задач, используемых для их сравнительного анализа и определения типовых и специфичных частей. Эффективность предложенных моделей и процедур подтверждена их использованием при формировании полного графа технологии обработки данных одной из функциональных задач АСУ МТС "Метро".

2. Разработаны методы и алгоритмы сравнения построенных технологических структур задач обработки данных, вьщеления типовых и специфичных частей и формирования интегрированного графа технологии для заданного множества задач, позволяющего формализовать задачи синтеза типовых модульных СОД.

3. Поставлены общие задачи синтеза оптимальной типовой модульной системы обработки данных с использованием общесистемных критериев: минимальное суммарное время обмена с внешней памятью, минимальное число обращений к программным модулям и информационным массивам, минимальное число межмодульных информационных связей при решении задач обработки данных заданного класса.

4. Поставлены частные задачи синтеза оптимальной системы типовых программных модулей системы обработки данных при заданном информационном обеспечении с использованием общесистемных критериев, обеспечивающих минимум суммарного времени обмена программных модулей с внешней памятью, минимум суммарного числа обращений программных модулей к внешней памяти, минимум суммарного числа неиспользованных при обращениях к программным модулям процедур при решении задач обработки данных заданного класса.

5. Поставлены задачи синтеза оптимальной типовой модульной системы обработки данных с использованием минимаксных критериев, обеспечивающих гарантированный уровень качества синтеза для каждой из задач обработки данных заданного класса.

6. Разработаны точные алгоритмв решения задач синтеза по общесистемным критериям оптимальной типовой модульной системы обработки данных, основанные на упорядоченном переборе возможных вариантов решений.

7. Разработаны алгоритмы решения задач синтеза типовых модульных систем обработки данных по минимаксным критериям проектирования, основанные на упорядоченном переборе возможных вариантов решений.

8. Разработан эвристический алгоритм решения залачи синтеза системы типовых программных модулей, обеспечивающей минимум общего числа обращений к программным модулям при решении задан ного множества задач обработки данных. Доказано утверждение, позволяющее использовать данный алгоритм для решения близких по структуре задач синтеза.

9. Эффективность разработанных методов и алгоритмов подтверждена их практическим использованием при синтезе типовой модульной системы обработки данных АСУ МТС "Метро".

ЗАКЛЮЧЕНИЕ

1. Трапезников Б.А. Вопросы управления экономическими системами.- Автоматика и телемеханика, 1969, № I, с. 5-24.

2. Глушков В.М. Введение в АСУ. Киев: Техника, 1974, - 317 с.

3. Глушков В.М., Тимофеев Б.Б. Некоторые проблемы автоматизации проектирования. Механизация и автоматизация управления, 1975, № 4, с. 3-6.

4. Федоренко Н.П. Проблемы автоматизации проектирования АСУ и пути ее решения. В кн.: Типизация и автоматизация процессов проектирования АСУ: Доклады Всесоюзного семинара, Душанбе: Данши, 1972, с. 3-18.

5. Автоматизированные системы управления и их адаптация. Отв. редактор академик Г.Н.Марчук. Новосибирск: Наука, 1978,- III с.

6. Ершов А.П., Ильин В.П. Пакеты программ технология решения прикладных задач. - Новосибирск, 1979, - 22 с. (Препринт/ АН СССР. Сибирское отделение. ВЦ).

7. Мамиконов А.Г., Цвиркун А.Д., Кульба В.В. Автоматизация проектирования АСУ. М.: Энергоиздат, 1981, - 328 с.

8. Сергиенко И.В., Парасюк И.Н., Тукалевская Н.И. Автоматизированные системы обработки данных. Киев: Наукова думка, 1976,- 256 с.

9. Адаптивная АСУ производством: (АСУ "Огма"). Под ред. Г.Н. Марчука. М.: Статистика, 1981, - 176 с.

10. Гринберг A.C. и др. Автоматизированные системы управления предприятиями: (Методы создания). Справочное пособие. М.: Энергия, 1979, - 224 с.

11. Парасюк И.Н., Сергиенко И.В. Некоторые вопросы разработки и исследования одного класса универсально-специализированных автоматизированных систем обработки данных. Кибернетика, 1973, № б, с. 135-142.

12. Парасюк И.Н., Сергиенко И.В. Вопросы разработки семейства одного класса пакетов прикладных программ на ЕС ЭВМ. Киев, 1978, - 46 с. (Препринт/ АН УССР. Институт Кибернетики: 7826).

13. Бобко И.М. Принципы адаптации в АСУ. Экономика и математические методы, 1979, № 2, с. 345-353.

14. Данильченко И.А. и др. Проектирование АСУП на основе типовых решений. М., 1977, - 213 с.

15. Стогний A.A. Основные вопросы создания АСУП по типовым проектам. Управляющие системы и машины, 1974, № 4, с. 8-12.

16. Кесс Ю.Ю., Ревако В.М. Типовые модули АСУП. М.: Энергия, 1977, - 286 с.

17. Кесс Ю.Ю., Семенова В.Г. Метод проектирования типовых блоков АСУП. Электротехническая промышленность. Серия Общеотраслевые вопросы, 1973, вып. 9(412), с. 6-8.

18. Погребной В.К. Об автоматизации модульного проектирования программного обеспечения АСУТП. Управляющие системы и машины, 1978, № I, с. 25-33.

19. Гладун В.П., Ващенко Н.Д. Адаптация в решающих системах. Кибернетика, 1979, № 2, с. 83-88.

20. Куропаткин Н.П. Математическое обеспечение для настройки систем КАМАК коллективного пользования. М., 1979, - 20 с

21. Препринт/АН СССР. Ленинградский институт ядерной физики им. Б.П.Константинова).

22. Волосков H.H., Морозов В.П., Хворенков С.Т. Разработка и применение пакетов прикладных программ в АСУП. М., МЭСИ, 1978, - 102 с.

23. Тамм Б.Г., Тыугу Э.Х. Пакеты программ. Известия АН СССР, Техническая кибернетика, 1977, № 5, с. III-I24.

24. Методы типизации и автоматизации проектирования АСУП на базе ЭВМ третьего поколения и пакетов прикладных программ. Всесоюзный научно-технический семинар. Тезисы докладов. Тбилиси, 1977, - 46 с.

25. Мухсинов А.Г. Вопросы совершенствования типизации проектирования АСУП. Автореферат диссертации на соискание ученой степени кандидата экономических наук. М., 1976, - 19 с.

26. Антонова В.В. Использование типовых функциональных модулей для выбора вычислительных средств в АСУП. Автореферат диссертации на соискание ученой степени каццидата технических наук. М., 1974, - 24 с.

27. Зажарский А.Н. Вопросы синтеза комплексов технических средств АСУП с применением типовых проектных решений. Автореферат диссертации на соискание ученой степени кандидата технических наук. Харьков, 1972, - 22 с.

28. Карасева A.A. Анализ и синтез информационного обеспечения процесса управления на базе типовых блоков. Автореферат диссертации на соискание ученой степени кандидата экономических наук. М., 1975, - 22 с.

29. Проблемы разработки и использования ТПР и ППП в условиях АСУ. Новосибирск, 1976, - 76 с.

30. Проблемы типизации и автоматизации проектирования АСУ: Сборник научн. трудов Гос. план. ком. Совета Министров УССР.

31. Гл. научн. иеслед. и информ.-вычислит, центр. Киев: ГлавНИИВЦ Госплана УССР, 1976, - 127 с.

32. Алферова З.В. Математическое обеспечение экономических расчетов с использованием теории графов. М.: Статистика, 1974, с. 62-128.

33. Шкурба В.В. Принцип типовости и типовая АСУП. Механизация и автоматизация управления, 1972, № 6, с. II-16.

34. Завадский П.Н. Исследование и разработка некоторых методов и средств автоматизации проектирования специального математического обеспечения АСУ. Автореферат диссертации на соискание ученой степени кандидата технических наук. Киев, 1977, -.24- с.

35. Балабкин A.A. Вопросы разработки и внедрения типовых проектов машинной обработки экономической информации с использованием ЭВМ. Обзор. Рига ЛатИШМ , 1975, - 47 с.

36. Типизация АСУ. Тезисы докладов республиканского научно-технического совещания. Таллин: 1976, - 65 с.

37. Кирилюк Н.И., Рубан В.Я. Вопросы комплексной автоматизации проектирования АСУ. Механизация и автоматизация управления, 1975, № 4, с. 64-68.

38. Ренжин В.И. Основы типизации решений в АСУ. Управляющие системы и машины, 1974, № 4, с. 13-15.

39. Лапшин Ю.П. Стандартизация проектирования и создания АСУ. Приборы и системы управления, 1975, № I, с. 3-4.

40. Ваганс Э.Я. Стандартизация технологических процессов машинной обработки данных. М., 1974.

41. Опыт внедрения типовых АСУП. Киев, 1973, - 50 с.

42. Положение о базовом предприятии по разработке и внедрения автоматизированных систем управления. М., 1971, - 6 с.

43. Мамиконов А.Г., Кульба В.В., Миронов A.C., Товмасян A.B. Предпроектный анализ структуры информационных потоков и технологии обработки данных при разработке модульных СОД. М., 1980, - 43 с. (Препринт/Институт проблем управления, Т. 20809).

44. Кульба В.В., Миронов A.C., Товмасян A.B. Формализованные модели предпроетного анализа при разработке модульных СОД. В кн.: Методы анализа и синтеза автоматизированных систем управления. М.: Институт проблем управления, 1981, вып.25, с. 30-38.

45. Товмасян A.B. Методы анализа задач обработки данных при проектировании типовых СОД. Всесоюзный семинар по методам синтеза типовых модульных систем обработки данных. Тезисы докладов. - М.: Институт проблем управления, 1981, с. 76-77.

46. Мамиконов А.Г., Авен О.Н., Кульба В.В., Косяченко С.А. Формализованное представление результатов анализа и проектирования автоматизированных систем управления. М.: Институт проблем управления, 1970, - 42 с.

47. Глушков В.М., Иваськив Ю.Л., Белявский В.Л. Общие принципы построения иерархических мультимодульных структур. Кибернетика, 1977, № б, с. 78-86.

48. Глушков В.М., Вельбицкий И.В. Технология программирования и проблемы ее автоматизации. Управляющие системы и машины, 1976, № 6, с. 75-92.

49. Ершов А.П. Об операторных схемах над общей и распределенной памятью. Кибернетика, 1968, № 4, с. 63-71.

50. Поспелов Д.А. Введение в теорию вычислительных систем. -М.: Сов. радио, 1972, 280 с.

51. Поспелов Д.А. Логические методы анализа и синтеза схем. М.: Энергия, 1974, - 368 с.

52. Погребной В.К. Построение и исследование графовых моделей алгоритмов управления в АСУ. В кн.: Автоматизация проектирования систем управления, -М.: Статистика, 1978, с. 68-99.

53. Руднев В.В. Системы взаимосвязанных графов и алгоритмическое программирование дискретных управляющих устройств. Автоматика и телемеханика, 1979, № 7, с. 122-129.

54. Ахо А., Хопкрафт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. М.: Мир, 1979, - 536 с.

55. Модин А.А., Зингер И,С., Коротяев М.Ф. Исследование и анализ потоков информации на промышленных предприятиях. М.: Наука, 1970, - 104 с.

56. Кристофидес Н. Теория графов. Алгоритмический подход. М.: Мир, 1978, - 432 с.

57. Нуриев Р.М. Информационно-логические связи в схемах программ над массивами. Кибернетика, 1979, № I, с. 78-86.

58. Кузнецов О.П. О программной реализации логических функций и автоматов. Автоматика и телемеханика, 1977, № 7, с.163 -174.

59. Иткин В.Э. Информационная структурированность программ.- Кибернетика, 1979, № I, с. 29-37.

60. Редько В.Н. Основания композиционного программирования.- Программирование, 1979, № 3, с. 3-13.

61. Липаев В.В. Проектирование математического обеспечения АСУ.- М.: Сов. радио, 1977, 400 с.

62. Мелихов А.Н., Бернштейн Л.С., Курейчик В.М. Применение графов для проектирования дискретных устройств. М.: Энергия, 1974, - 303 с.

63. Климов А.Н. Алгебраическое представление структур, описываемых графами-деревьями. Автоматика и телемеханика, 1979, № 7, с. 182-186.

64. Куланчев А.П. Нотация условных выражений для структурированного представления данных и процедур. Программирование, 1981, № 6, с. 35-42.

65. Техническое задание и технический проект АСУ МТС "Метро", Инв.К» 1-7, 1980.

66. Лакхэм Д., Ларк Д.М., Патерсон М.С. 0 формализованных машинных программах. В кн.: Кибернетический сборник. Новая серия, - М.: Мир, 1975, вып.12, с. 78-114.

67. Ершов А.П., Ляпунов A.A. 0 формализации понятия программы.- Кибернетика, 1967, № 5, с. 40-57.

68. Подловченко Р.И. Модели последовательных программ, применяемые для изучения функциональной эквивалентности программ.- Кибернетика, 1979, № I, с. 20-28.

69. Гаркавенко С.И., Бердникова Л.С. Определение всех путей в ориентированном ациклическом графе. Кибернетика, 1979, №4, с. 49-52.

70. Мамиконов А.Г. Основы построения АСУ. М.: Высшая школа, 1981, - 248 с.

71. Мамиконов А.Г., Ашимов A.A., Кульба В.В., Косяченко С.А., Казиев Г.З. Синтез оптимальных функциональных модулей обработки данных в АСУ. М., 1979, - 48 с. (Препринт/Институт проблем управления, Т. I740I).

72. Трахтенгерц Э.А. Программное обеспечение автоматизированных систем управления, М.: Статистика,

73. Брауэр М.А. Последние достижения в области автоматизации проектирования и анализа цифровых систем. В сб.: Автомата зация в проектировании. - М.: Мир, 1972, с. 19-49.

74. Липаев В.В., Филиппович В.В. Принципы и правила модульного построения сложных комплексов программ АСУ. Управляющие системы и машины, 1975, № I, с. 15-22.

75. Парасюк И.Н., Сергиенко И.В. К вопросу построения оптимальной системы программных модулей АСОД. Кибернетика, 1976, $ 2, с. 34-38.

76. Парасюк И.Н., Сергиенко И.В. Модульный подход к построению семейства пакетов прикладных программ. Программирование, 1981, № 6, с. 29-32.

77. Панченко В.Г. Исследование и проектирование информационного обеспечения АСУП блочным методом. Автореферат диссертации на соискание ученой степени кандидата технических наук, М., 1974, 28с.

78. Казарский С.Д. 0 модульном программировании в ЕС ЭВМ. -- Программирование, 1976, № I, с.31-37.

79. Погребной В.К. Об автоматизации модульного проектирования программного обеспечения АСУТП. Управляющие системы и машины, 1978, № I, с. 25-34.

80. Еремин Г.С. Компоновка пакетов прикладных программ. Программирование, 1976, №2, с. 71-76.

81. Нильеон Н. Искусственный интеллект. М.: Мир, 1973, - 270с.

82. Рыжков А.П. Алгоритм разбиения графа на минимально связные подграфы. Известия АН СССР, Техническая кибернетика, 1975, № 6, с. 122-128.

83. Корбут A.A., Финкелыптейн Ю.Ю. Дискретное программирование. М.:

84. Бурков В.Н., Ловецкий С.Е. Методы решения экстремальных комбинаторных задач. Известия АН СССР, Техническая кибернетика, 1968, № 4, с. 82-93.

85. Рейнголд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика. М.: Мир, 1980, - 476 с.

86. Белкина М.В., Трахтенгерц Э.А. 0 выделении модулей в системе программ. Автоматика и телемеханика, 1977, № 7, с.192-196.

87. Цурков В.И. Декомпозиция в задачах большой размерности. М.:1. Наука, 1981, 350 с.

88. Михалевич B.C., Ермольев Ю.М., Шкурба В.В., Шор Н.З. Сложные системы и решение экстремальных задач. Кибернетика, 1967, № 5, с. 29-39.

89. Моисеенко Г.Е. Оптимальное разбиение системы на подсистемы. Автоматика и телемеханика, 1979, № 7, с. I03-II2.

90. Коробков Б.П., Растригин Л.А. Рандомизированные методы разрезания графов. Известия АН СССР. Техническая кибернетика, 1982, с. 163-172.

91. Баранов С.И., Килленберг X. Декомпозиция микропрограммных автоматов. ABT, 1978, № 6, с. 5-II.

92. Баранов С.И., %равина Л.Н., Килленберг X. Декомпозиция граф. схем алгоритмов. ABT, 1979, № I, с. 7-15.

93. Баранов С.И., %равина Л.Н., Песчанский В.А. Выбор разбиения при декомпозиции граф-схем алгоритмов. ABT, 1982,2, с. 27-35.

94. Верина Л.Ф., Танаев B.C. Декомпозиционные подходы к решению задач математического программирования. Обзор. Экономика и математические методы. T. XI, № 6, 1975, с. II60-II72.

95. Стаев Д. Относно някои изисквания при развитието на възмож-ностите за минизиране дейностите по изгралщане на АСУП.- Автоматизировано производством и управление, 1978, т.8, с. 21-26.

96. I. N. Он axxhnqinft of a hieiawhy мг qiaphic $оim. IEEE SMC Тгсигэactions, voE.з, по г, тз.

97. Waifrüd I. N. Ыпмц maiùces in spîwn modüinq. IEEE SMC Tiftiisactlofis, vol 3, ¡го 5, 1973.

98. Te.Lc|fvoew V>.} buftfrni H. fluio¡nation oj syst&fn ii/idln^.crUwaUon. pp. 25-30. JIUQ. \Ьз 1971.100. bodtm Ъ. У. Stittciatecl p^o^Amminy: Я cpuantitciiiA/e assessment. Compuiei, pp. Jum , 1975.

99. HamiEbn M., Zzid'm S. Hifbn Oidntd Sofiwaie a me.tUdoÉo^ foi dzfining Sofiwtiie. IEEE Tiouns. on Soji-wme enyinwbing, vo£. SE-27 fto pp. 9-32, Mmcli, Î976.

100. Sta^ J. HIPO and Lhizgbadit pwgwm design. IBM Sp-ilfn, V0E.Î5, Ho 2, pp. 443-154, 1976.

101. L^tvcii H.Q. JlfiS: a hcftniyui in systems docum&nltiiiofi Database, vo£. j, ко -f, pp. 6-18, 1969.