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

ВВЕДЕНИЕ.

Глава I. 01ГГИМЙЗАЩЯ И АВТОМАТИЗАЦИЯ ПРОЦЕССА ПОДГОТОВКИ ВЫХОДНЫХ ДАННЫХ И ФОРМ ИХ ПРЕДСТАВЛЕНИЯ

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

§ 1,2. Описание алгоритма обработки запросов на получение данных.

§ 1.3. Постановка задачи оптимизации .алгоритмов

Глава 2 • МЕТОДЫ ОПТИМИЗАЦИИ АЛГОРИТМОВ.

§ 2Д. Постановка задачи минимизации числа операторов

§ 2.2. Поиск допустимого решения в случае линейной канонической формы

§ 2.3. Поиск допустимых решений в некоторых других случаях.

§ 2.4. Решение задачи в случае произвольного алгоритма

§ 2.5. Решение задач оптимизации алгоритмов с использованием метода ветвей и границ

Глава 3. ОБРАБОТКА ЗАПРОСОВ

§ 3.1. Организация обработки данных.

§ 31.2. Контроль входной информации.

§ 3.3, Формирование программ обработки данных на основе анализа входной информации

§ 3.4. Анализ запросов.

§ 3.5. Задача обработки нескольких запросов

Глава 4. АВТОМАТИЧЕСКОЕ ПРОЕКТИРОВАНИЕ ФОРМ ТАБЛИЧНЫХ

ДОКУМЕНТОВ.

§ 4.1. Постановка задачи.

§ 4.2. Эвристический алгоритм решении задачи . . . IGI

§ 4.3. Решение задачи распределения слов

§ 4.4. Применение обучающейся программы дал решения задачи автоматического проектирования форм документов.ПО

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

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

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

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

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

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

- выбор оптимальной последовательности обработки группы запросов на основе введенной меры близости запросов;

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

- автоматический синтез программ обработки данных на основе требований к выходным данным»

Связь с планом научных работ«, Работа над диссертацией выполнялась в соответствии с планом научных исследований по естественным и общественным наукам на 1981-1985гг. АН СССР по проблеме 1.12.12 "Проблемы теории автоматизации проектирования" и планом научно-исследовательских работ Института проблем управления по теме № 9-79/37 "Методы и средства проектирования АСУ в условиях АРЙУС" (Номер государственной регистрации - 79062180).

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

Полученные результаты могут быть использованы в АСУ различного класса и назначения.

Реализация: результатов работы« Разработанные в диссертации методы, алгоритмы и программы использованы: I) в Московском институте электромеханики и автоматики при создании многомашинных комплексов отладки программ управляющих ЦВМ систем управления специального назначения, 2) в Кишиневском ПКБ АСУ при разработке АСУ на Тираспольском заводе "Молдавизолит", 3) в Московском Метрополитене при разработке автоматизированной системы материально-технического снабжения, 4) в Ярославском филиале ШЙПИэкономики при разработке ИАСУ "Отраслевая система подготовки строительства Минводхоза СССР, 5) в Кишиневском управлении "МОЛДАСУМЕБЕЛЬ" при создании многоуровневой автоматизированной системы управления предприятиями мебельной и деревообрабатывающей промышленности Молдавской ССР.

45Основные результаты диссертационной работы докладывались на Всесоюзном семинаре "Автоматизация проектирования систем управления" (Звенигород, 1977г.), на Всесоюзном семинаре по методам синтеза типовых модульных систем обработки данных (Звенигород, 1981г.), на Всесоюзном совещании "Оптимизационные задачи в АСУ" (Нальчик, 1981г.), на Всесоюзном совещании "Автоматизация проектирования и конструирования" (Ленинград, 1983г,), на Республиканском семинаре "Проектирование проблемно-ориентированных комплексов" (Киев, 1982г.), на Научно-техническом семинаре "Проблемно-ориентированные диалоговые комплексы" (Кишинев, 1983г.), на конференциях молодых ученых Института" проблем управления (1976, 1978, 1980гг.), на семинарах Института проблем управления. Апробация работы в целом проводилась на межлабораторном семинаре

Института проблем управления.

Автором опубликовано по теме диссертации II печатных ра

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

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

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

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

В заключении приведены основные выводы по работе.

ЗАКЛЮЧЕНИЕ

В работе получены следующие основные результаты:

1. Разработаны методы, алгоритмы и программы оптимизации структурированных алгоритмов, описанных на языке алгоритмических алгебр. В качестве целевой функции рассматривается время реализации алгоритма, число типов функциональных операторов, в качестве ограничений - ограничения на параметры алгоритма.

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

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

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

5. Разработан алгоритм автоматического синтеза программы обработки данных на основе входных сообщений,

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

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

8. Полученные в работе научные результаты использованы в практической разработке ряда АСУ.

1. Алексеев О.Г., Бабаев A.A., Володось И.Ф. Метод ветвей и границ в задаче оптимизации быстродействия программ для управляющих ЦВМ. - УСиМ, 1977, Ш 4, с. 34-38.

2. А.шшова Т.Т., Сергиенко И.В. О формализации и решении некоторых задач эффективной организации вычислительного процесса в системах обработки данных. Кибернетика, 1973,5, с. II-18.

3. А.*хипова Т.Т., Рощин В.А., Сергиенко И.В. О решении одного класса задач организации вычислительного процесса в системах обработки данных. Кибернетика, 1973, Л 4, с.118-123.

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

5. Баряоу Р., Прошан Ф. Математическая теория надежности. -М,: Сов. радио, 1969.

6. Б«!ллман Р. Динамическое программирование. -М.: ИЛ, 1963.

7. Бсллман Р., Дрейфус С. Прикладные задачи динамического программирования. М.: Наука, 1965.

8. Б«!рж К. Теория графов и ее применение. М.: ИЛ, 1962.

9. Болтянский В#Г. Оптимальное управление дискретными систе-MciMH. М# : Наука, 1973.

10. Бондарь Ю.В., Сафонов И.В. Об одном методе оптимального использования алгоритмической избыточности. Автоматика и

11. BIчислительная техника, 1975, №3, с. 26-29.

12. Брэндон Д.Х. Организация работы на вычислительном центре. Д:ер. с англ./ -М.: Статистика, 1970.

13. Бурков В.Н. Основы математической теории активных систем.-М, : Наука, 1977.

14. Бусленко Н.П., Калашников В.В., Коваленко И.Н. Лекции по теории сложных систем. -М.: Сов. радио, 1973.

15. Бусленко Н.П. Моделирование сложных систем. М.: Наука, IS78.

16. Вггнер Г. Основы исследовании операций. Т. 2. М.: Мир, XS73.

17. Гсрмейер Ю.Б. Введение в теорию исследовании операций. -М«: Наука, 1971.

18. Гемэди Э.Х., Глебов Н.И., Перепелица В;А. Алгоритмы с оценке ми для задач дискретной оптимизации. Проблемы кибернетики, 1975, вып. 31, с. 35-42.

19. Гслынтейн Е.Г., Юдин Д.Б. Задачи линейного программирования транспортного типа. -М.: Наука, 1969.

20. Глушков В.М., Гладун В.П., Лозинский Л .С., Погребинский C.B. Обработка информационных массивов в автоматизированных системах управления. Киев: Наукова думка, 1970.

21. Глушков В.М. Теория автоматов и формальное преобразование микропрограмм. Кибернетика, 1965, 5, с. ЗЛ7.

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

23. Гэри М.Р., Джонсон Д.С. Вычислительные машины и труднорешаем ые задачи. М.: Мир, 1982.

24. Виленкин СЛ., Трахтенгерц ЭЛ. Математическое обеспечение управляющих вычислительных машин. М.: Энергия, 1972.

25. Данилов В;Л. Об одном способе документирования данных в автоматизированных системах. УСиМ, 1975, В I, с. 32-39.

26. Дейт К. Введение в системы баз данных. /Пер. с англ./ М.: Наука, 1980.

27. Евтушенко Ю.Г. Методы решения экстремальных-задач и их применение в системах оптимизации. -М.: Наука, 1982.

28. Емельянов H.E., Марченко H.B. Программирование алгоритмов обработки табличной информации. Труды Третьей зимней школы по математическому программированию и смежным вопро-сш. Вып. И. - М.: ЦЭМИ АН СССР, 1970, с. 300-513.

29. Зуев Г.М., Марков В.В. Оптимизация управления моделирующей системой. В сб.: Модели управляющих систем. - М.: Институт проблем управления, 1976, с. 65-75.

30. Иванов В.В. Проблема оптим1зацЕ1 обчислень. В1сник АН УССР, Киев, 1971, 9.

31. Кдаанов В.Г. Математическое программирование. -М.: Наука, 1975.

32. Кг.рп P.M. Сводимость комбинаторных проблем. Кибернетический сборник. Новая серия, 1975, вып. 12, с. 16-38.

33. К*ут Д. Искусство программирования для ЭШ. I. Основные алгоритмы. -М.: Мир, 1976.

34. Kjtc С,А. Сложность процедур вывода теорем. Кибернетически сборник. Новая серия, 1975, вып. 12, с. 5-J5.

35. Еонвей Р.В., Максвелл В.Л., Миллер Л.В. Теория расписаний. М.: Наука, 1975.

36. Кострюков A.C., Собельман В .И. Язык для описания таблиц. Со.: Цифровая вычислительная техника и программирование. -М,: Сов. радио, 1969, № 5.

37. Корбут A.A., Финкелыптейн Ю.Ю. Дискретное программирование.- Ы.: Наука, 1969.

38. Ксченов A.A. Специализированный алгоритмический язык документирования (САЯД). В сб.: Алгоритмы и организация решения экономическихбзадач. - М.: Статистика, 1973, вып. I.

39. Криницкий H.A. Равносильные преобразования алгоритмов и щюграммирование. -М.: Сов. радио, 1970.

40. Криницкий Н.А., Миронов Г.А., Фролов Г.Д. Автоматизированные информационные системы. -М.: Наука, 1982.

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

42. Крриленко В.Т., Левченко С;Н., Сафонов И.В. Надежностная оптимизация алгоритмов методом ветвей и границ. В сб.: Алгоритмы, программное и техническое обеспечение автоматизированного управления производством. - Киев: Институт ав-тэматики, 1978, с. 57-68.

43. Куцык Б.С. Структура данных и управление. М.: Наука, 1975.

44. Лившин В .Л. Стандартная программа редактирования и печати документов. Программирование, 1975, № 2, с. 38-44.

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

46. Л. шаев В.В. Распределение ресурсов в вычислительных системах. М.: Статистика, 1979.

47. Лшаев В;В., Колин К.К., Серобровский Л.А. Математическое обеспечение управляющих ЦВМ. -М.: Сов. радио, 1972.

48. Липаев В.В. Надежность программного обеспечения АСУ. М.: Экергоиздат, 1981.

49. Литл, Мурти, Суини, Кэррел. Алгоритм для решения задачи. коммивояжера. Экономика и математические методы, 1965, т, I, вып. I.

50. Ллсдон Дж. Оптимизация больших систем. М.: Наука, 1975.

51. Мамиконова ОД, Реализация диалогового режима реляционной модели банка данных. Автоматика и телемеханика, 1978,1. J£ 3, с. 152-155.

52. Мг1Миконова O.A., Широколава B.C. Автоматическое конструирование оптимальной формы технического документа. В сб.: Имитация процессов управления. -М.: Институт проблем управления, 1978, с. 56-64.

53. Мгияиконова О .А, Автоматизация проектирования форм документов. В сб.: Управление техническими и организационными системами с применением вычислительной техники /Под ред. Я„З.Цыпкина. - М.: Наука, 1979, с. 74-79.

54. Мгшшжова O.A. Автоматизация процесса проектирования форм документов. В сб.: Автоматизация проектирования систем управления /Под ред. В, А .Трапезникова. - М.: Статистика, 1979, с. 103-109.

55. Мамиконова O.A. Задача распределения слов при автоматическом построении документа. Автоматика и телемеханика, 1981, $ 3, с. 163-169.

56. Мамиконова O.A. Проектирование форм табличных документов на ЭШ. Тезисы докладов Всесоюзного совещания по методам синтеза типовых модульных систем обработки данных. - М.: Институт проблем управления, 1981, с. 54.

57. Мгдаиконова O.A. Автоматическое конструирование табличных документов. Автоматика и телемеханика, 1982, № 3, с. 129134.

58. М)шиконова O.A. Автоматический синтез программы по входной информации. П-е Всесоюзное совещание "Автоматизация проектирования и конструирования". Тезисы докладов. - М.: Институт проблем управления, 1983, с. 51-52.

59. Маииконова O.A. Контроль входных сообщений в диалоговом режиме. -В кн.: Проблемно-ориентированные диалоговые комплексы. Тезисы докладов Республиканского научно-технического семинара. Кишинев: Институт математики с ВЦ АН МССР, 1933, с. 91-93.

60. Мартин Дж. Организация баз данных в вычислительных системах. -М.: Мир, 1978.

61. Месарович М., Мако Д., ТакахараИ. Теория иерархических многоуровневых систем. М.: Мир, 1973,

62. Месарович М., Такахара И. Общая теория систем: математические основы. -М.: Мир, 1978.

63. МидоуЧ. Анализ информационно-поисковых систем. ~М.: Мир, 1970.

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

65. Михалевич B.C., Волкович В .Л. Вычислительные методы иссле-дсвания и проектирования сложных систем. М.: Наука, 1982.

66. Мвхалевич B.C., Кукса А.И. Методы последовательной оптимизации в дискретных сетевых задачах распределения ресурсов.-М.: Наука, 1983.

67. Моисеев H.H. Методы оптимизации. М.: ВЦ АН СССР, 1969.

68. Мсисеев H.H. Численные методы в теории оптимальных систем.-М.: Наука, 1971.

69. Мсисеев H.H. Элементы теории оптимальных систем. М.: Нау-Kc., 1975.

70. Моисеев H.H. , Иванилов Ю.П., Столярова Е.М. Методы оптимизации. -М.: Наука, 1978.

71. Мяннисалу М.А., Тыугу Э.Х. Язык описания задач УТОПИСТ. -УСиМ, 1974, Л I, с. 80-84.

72. OJ■лe Т.В. Предложения КОДАСШГ по управлению базами данных.- М.: Финансы и статистика, 1981.

73. Петров В.И., Селезнев М.В. Автоматизация процесса проектирования и печати табличных документов. Программирование, 1<>79, X 3, с. 81-86.

74. Понтрягин Л.С., Болтянский В.Г., Гамкрелидзе Р;В,, Мищенко Е.Ф. Математическая теория оптимальных процессов. М.: Физматгиз, 1961.

75. Праченко В.Д., Семик В.П., Тютвина Н.Д., Чижов К.А. Система выдачи табличной информации. Программирование, 1975, $ I, с. 48-52.

76. Ппеничный Б.Н., Данилин Ю.М. Численные методы в экстремальных задачах. -М.: Наука, 1975.

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

78. Сг^фонов И.В. 0 формализованном надежностном анализе алгоритмических процессов. УСиМ, 1973, № 6, с. 92-95.

79. С;1фонов И.В., Карась В.М. Обеспечение надежности функционирования и развитие АСУ/Надежностная оптимизация алгоритмов.- Киев: Знание, 1974.

80. С«1фонов И.В. Надежностное проектирование структурно-алгоритмических систем. Киев: Знание, 1975.

81. С;афонов И.В. Оптимизационное проектирование структурно-алгоритмических систем. Киев: Знание, 1978.

82. Сафонов И.В. Оптимизационные задачи проектирования систем управления. Киев: Знание, 1979.

83. С.афонов И.В. Оптимизация при автоматизированном проектиро-в;ании систем управления. В сб.: Автоматизация проектирования систем управления. -М.: Финансы и статистика, 1981, с. 51-62.

84. Сазонов И.В., Мамиконова О .А. Оптимизация структурированных: алгоритмов и программ» В сб.: Средства реализации сиз тем программирования. Сб. научных трудов. - Киев: Ж АН ЗШ\ 1983, с. I04-III.

85. Сеяетков С.Н., Волков Б.Г. Хранение и поиск данных в ЭВМ. -М.: Сов. радио, I97I.

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

87. Сизтема генератора отчетов для ЭВМ иМинск-32" /Пол, ред. М.Савинкова. -М.: Статистика, 1975.

88. Тазаев B.C., Шкурба В.В. Введение в теорию расписаний. -М.: Наука, 1975.

89. Трапезников В .А. Управление и научно-технический прогресс. -М.: Наука, 1983.

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

91. Трахтенгерц Э,А. Локальная оптимизация программ в автоматизированных системах управления. В сб.: Автоматизация управления промышленными предприятиями. - Киев: Техника, 1972.

92. Тимофеев Б.Б. и др. Алгоритмизация в автоматизированных системах управления. Киев: Техника, 1972.

93. Ульман Дж. Основы систем баз данных. М.: Финансы и статистика, 1983.

94. ЦЕиркун А.Д. Структура сложных систем. -М.: Сов. радио, 1975.

95. ЦЕиркун А .Д. Основы синтеза структуры сложных систем. М.: Неука, 1982.

96. Фаткин Ю.М., Чекалина Г.В. Универсальная моделирующая система I. Методология построения моделирующей системы, Автоматика и телемеханика, 1975, $ 10, с. I05-II9.

97. Фаткин Ю.М., Чекалина Г.В. У|тверсальная моделирующая система П. Реализация универсальной моделирующей системы.

98. Автоматика и телемеханика, 1976, $3, с. 121Л32.

99. Фаткин Ю.М. Универсальная моделирующая система. Проблемы построения и функционирования. В кн.: Модели управляющих систем. -М,: Институт проблем управления, 1976, с. 5-20.

100. Фанкельштейн Ю;Ю. Приближенные методы и прикладные задачи дискретного программирования. -М.: Наука, 1976.

101. Фишер ФЛ., Свиндл Д.Ф. Системы программирования. /Пер. с аагл./- М.: Статистика, 1971.

102. Флорес А. Программное обеспечение. /Пер. с англ. под ред. В.М.Курочкина. -М.: Мир, 1971.

103. Широколава В.С, Формирование "эмоционального" состояния для организации логических процедур поиска экстремума. -В кн.: Модели управляющих систем. М.: Институт проблем управления, 1976, с. 21-41.

104. Эпштейн ВД. Структура информационного отображения промышленных объектов. Автоматика и телемеханика, 1971, В 8, с. 131-146.

105. Эпштейн В.Л. АРИУС автоматизация разработки интегрированных управляющих систем-(принципы и программа). - М.: Институт проблем управления, 1977.

106. Эпштейн ВД., Сеничкин В .И. Языковые средства архитектора АЗУ. -М.: Энергия, 1982.

107. Эпштейн ВД. Процедура описания форм документов и таблиц. Препринт. -М.: Институт проблем управления, 1982.

108. Эиштейн В.Л. АРЙУС. Автоматизация проектирования баз дан-нзсс и пакетов прикладных программ. Препринт. М. : Институт проблем управления, 1983.

109. Kimskal J.B. On the Shortest Spanning Subtree of a Graph and the Travelling Salesman Problem, Proc. Amer. Math. Soc., 7, No.1, pp. 48-50, 1956.

110. Martin J. Software for Application Development without Conventional Programming. Software world, 1983, v. 14, No. 1, pp. 14-20.

111. Newman P.S. Towards an Integrated Development Environment. -Т.Ш SYSTEM Journal, 1982, v.21, No.1, pp. 81-107.

112. Nxnamaker J.P., Konsynsky B.R., Но T., Singer C. Computer-Alded Analysis and Design of Information Systems. Communications ACM, 1976, v.19, No.12, pp. 674-687.

113. Prim R.C. Shortest Connection Networks and Some Generalizations, Bell System Techn. J., pp. 1389-1401, 1957.

114. Tse Т.Н., Pong L. A Review of System Development Systems. -The Australian Computer Journal, 1982, v. 14, No.3, pp. 99-Ю9.

115. Wang C.P., Wedekind H.H. Segment Synthesis in Logical Data Base Design. IBM J. Res. and Dev., v.19, No.1, pp. 71-78, Jan. 1975.

116. ZIoof M.M. Query-by-Example: a data base language. IBM SYSTEM JOURNAL, No.4, pp. 325-343, 1977.1. Утверждав: •

117. Применение методики и комплекса программ оптимизации позволило организовать принципиально по новому функционирование комплекса ' отладки программ и обеспечило построение программного обеспечения комплекса отладки программ на минп-ЗВл*

118. Начальник планового отдела В.Л.Петров

119. Начальник лаборатории "^^¡Р ^ Г.И.Макаренко | г у:1. УТВЕРЗДАЮ"

120. Зам. директора Института проблем управленияо личном творческом участии О.А.Мамиконовой в разработке и внедрении "Методика оптимизации алгоритмов."

121. ДмрфММтШ^о ПКБ АСУ £Х /ууЩЙ vjbll. Миронов -" 1903 г. '1. АКТо' внедрении результатов научных исследований Мамиконовой O.A. "Автоматизированная система подготовки выходных документов в АСУ".

122. Разработанные алгоритмы и программы внедрены при разработке АСУ на Тираспольском заводе "Молдавизолит".

123. Использование разработанных алгоритмов позволило уменьшить трудоемкость разработки системы и сократить сроки разработки инфор-1 мационного и программного обеспечения на 12%.

124. Разработка методов автоматизированной подготовки выходных данных системы и оптимизации форм их представления выполнена сотрудником Института проблем управления г/.амиконовой О .А

125. Годовой народно-хозяйственный экономический эффект от внедрения предложенных методов, алгоритмов и программ составляет около 50 тыс.руб.1. Завлабораторией В 17утвЕрдао *

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

127. Начальник отдела ^-J-^r-r^проектирования" • . в.И.Гоникберг1. Ведущий инженер, *к.э.н. naZ^9^ Т.С.Вольчева