Организация проблемно-ориентированного программного обеспечения в моделирующем комплексе тема автореферата и диссертации по математике, 01.01.10 ВАК РФ

ВВЕДЕНИЕ.

1. АНАЛИЗ ВОЗМОЖНЫХ СПОСОБОВ ОРГАНИЗАЦИИ ПРОБЛШНО-ОРИЕНТИР ОВАННЫХ .■СРЕДСТВ АВТОМАТИЗАЦИИ ПРОЕКТИРОВАНИЯ ДИСКРЕТНЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ. II

1.1. Задачи проектирования дискретных вычислительных систем и автоматизация процесса проектирования . II

1.2. Анализ структур проблемно-ориентированного программного обеспечения

1.2.1. Организация библиотек прикладных программ

1.2.2. Организация пакетов прикладных программ

1.2.3. Организация систем программирования с проблемной ориентацией

1.2.4. Организация интегрированных систем программирования

1.2.5. Организация инструментальных систем программирования

1.2.6. Сравнительный анализ проблемно-ориентированного программного обеспечения

1.3. Выводы.

1.4. Цель и задачи работы

2. МОДЕЛИ ОРГАНИЗАЦИИ ПРОБЛЕМНОГО МАТЕМАТИЧЕСКОГО ОБЕСПЕЧЕНИЯ В МОДЕЯИРУЩЕМ КОМПЛЕКСЕ.

2.1. Классификация проблемных областей в моделирующем комплексе

2.2. Структура вычислительных проблемных областей

2.2.1. Модель интегрированной вычислительной проблемной области, организованной в виде информационной системы.

2.2.2. Модель интегрированной вычислительной проблемной области, организованной в виде алгоритмической системы.

2»2.3. Модель неинтегрированной вычислительной проблемной области, организованной в виде классификации онной. системы.

2.2.4. Процесс решения методоориентированной задачи в вычислительной проблемной области

2.2« 5» Оценки времени планирования.

2.2.6. Процесс решения информационно-справочной и генерационной задачи в вычислительной проблемной области.

2.3. Структура оценочных проблемных областей

2.3.1. Модель оценочной проблемной области, организованной в виде грамматической системы.

2.3»2. Модель оценочной проблемной области, организованной в виде табличной системы

2.3.3. Процесс решения методоориентированной задачи в оценочной проблемной области

2.4. Структура специализированных проблемных областей,

2.4.1. Модель специализированной проблемной области

2.4.2. Процесс решения функциональной задачи в специализированной проблемной области

2.5. Выводы.

3. ЯЗЫКОВЫЕ СРЕДСТВА ПРОБЛЕМНО-ОРИЕНТИРОВАННОГО

ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ МОДЕЛИРУЮЩЕГО КОМПЛЕКСА.

3.1. Функции, структура и состав языковых средств

3.2. Средства описания и коррекции моделей проблемных областей .,.

3.2.1. Утверждения описания моделей вычислительных и специализированных проблемных областей

3.2.2. Утверждения описания моделей оценочных проблемных областей

3.2.3. Препроцессорные утверждения

3.3. Средства решения задач.

3.3.1. Доступ к модели проблемной области

3.3.2W. Утверждения подготовки и решения функциональной и методоориентированной задачи.

3.3.3. Утверждения подготовки и решения информационносправочной и генерационной задачи

3.4. Выводы.

4. ПРОГРАММНАЯ РЕАЛИЗАЦИЯ ПРОБЛЕМНО-ОРИЕНТИРОВАННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В МОДЕШРУВДЕМ КОМПЛЕКСЕ АЛСИМ-2. 1274.1. Структура проблемно-ориентированного программного обеспечения.

4.2. Реализация операторов интерфейса с языками программирования и моделирования.

4.2.I, Синтаксис и семантика операторов интерфейса

4.2»2. Реализация операторов интерфейса

4.3. Реализация проблемного препроцессора

4.4. Реализация средств описания модели проблемной области.

4.5. Реализация средств описания модели задачи

4.6. Реализация средств решения задачи.

4.7. Практическое использование проблемно-ориентиро-рованного обеспечения

4.7.1. Задача последовательного планирования эксперимента

4.7.2. Задача анализа систем массового обслуживания

4.7.3. Задача анализа надежности оборудования сложных технических систем

4.7.4. Внедрение результатов работы

4.8. Выводы

ЗАКЯКМЕНИЕ

СПИСОК ОСНОВНОЙ ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ.

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

Следует отметить, что при проектировании дискретных вычислительных систем с увеличением уровня интеграции элементной базы все более возрастает удельный вес работ, относящихся к системному этапу проектирования. Применение имитационного моделирования на этом этапе усложняется вследствие расширения круга решаемых задач, моделей, используемых при их решении, и методов, поддерживающих имитационное моделирование. С целью повышения эффективности использования средств имитационного моделирования на системном этапе проектирования дискретных вычислительных систем создается комплексное математическое обеспечение (МО) проектирования - моделирующие комплексы. При разработке такого МО возникает ряд специфических задач, одной из которых является организация проблемно-ориентированных средств, используемых при исследовании моделей проектируемых и эксплуатируемых систем. Требования, предъявляемые к функциональным возможностям и способу организации проблемно-ориентированных средств моделирующего комплекса, в основном сводятся к следующим: постоянно расширяющийся круг проблемных (предметных) областей, поддерживающих метод имитационного моделирования; интегрированиесть проблемных, областей;, ориентация на работу со сложными структурами данных; высокий уровень автоматизации вычислительного процесса и др. Анализ ранее разработанного проблемно-ориентированного программного обеспечения, определяемого в литературе как системы программирования с проблемной ориентацией / 105 /, проблемно-ориентированные системы / 13 /, пакеты прикладных программ / 36 /, инструментальные системы программирования / 105 /, интегрированные системы программирования / 105 /, показывает, что ни одна из них не удовлетворяет полному перечню указанных выше требований.

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

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

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

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

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

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

1. Семинары Научного Совета по проблеме "Кибернетика" АН УССР / 1978-1983 г.г./.

2. Семинары, проводимые Республиканским Домом экономической и научно-технической пропаганды общества "Знание" УССР совместно с Институтом кибернетики АН УССР:

Методология, проектирования сложных систем и систем моделирования" / Киев, 1979 ?,/',

Математическое моделирование сложных систем" / Киев, 1980 г./»

Методы и средства имитационного моделирования и их использование при анализе сложных технических систем" / Киев, 1981 г»/.

3. Всесоюзная научно-техническая конференция "Математическое, программное и информационное обеспечение АСУ ТП"/Черновцы,1977 г./.

4. Всесоюзный семинар "Вероятностные вычислительные методы и средства" / Москва, 1978 г./.

5. Международный симпозиум социалистических стран "Технические и программные средства ЕС ЭВМ и СМ ЭВМ" Д1осква, 1979 г./.

6. Третье объединенное совещание и школа-семинар "Моделирование развивающихся систем" /Яремча, 1982 г,/.

7» Всесоюзная школа молодых ученых "Методы создания программного обеспечения и технической реализации высокопроизводительных

ЭВМ" /Киев, 1982 г./.

8. Научно-техническая конференция "Цифровое машинное моделирование сложных технических систем" /Пенза, 1983 г./.

9. Четвертый всесоюзный семинар "Моделирование дискретных управляющих и вычислительных систем" /Свердловск, 1984 г. /.

По теме диссертации опубликовано 9 печатных работ общим объемом 53 страницы и I рукописная работа объемом 310 страниц.

Объем и структура работы» Диссертация состоит из введения, четырех глав,, заключения, списка использованной литературы и приложений, Работа изложена на 142 страницах машинописного текста, иллюстрируется 10 рисунками и 4 таблицами. Список литературы содержит 131 наименование.

Основные результаты, полученные в работе, заключаются в следующем.

1. Исследованы потребности моделирующего комплекса в проблемном математическом обеспечении на основании анализа задач проектирования дискретных вычислительных систем.

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

3. Предложены модели организации для всех выделенных типов проблемных областей.

4. Разработаны алгоритмы организации процессов решения методоориентированных, функциональных, генерационных и информационно-справочных задач Ж, включающих следующие возможности: автоматическую постановку задач для сопряженных проблемных областей и их решение; конструирование алгоритмов решения задач в ВПО ИС; классификацию структурных моделей; преобразование структурных представлений динамических моделей в программы имитации; обмен информацией между переменными проблемной области и эксплуатационными базами данных проекта; получение справочной информации о методах решения методоори-ентированных задач; формирование ВПО с моделью в виде ИС на основе фрагмента исходной НВПО КЛС, выбранного для решения конкретной методоориенти-рованной задачи при получении справки о методах ее решения.

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

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

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

8. Реализованы и включены в состав процессора базового языка ПС специальные программные средства интерфейса базового языка со ;тандартными языками программирования ОС ЕС и языком моделирования ЯК, а также средства обработки препроцессорных утверждений ПОЯ.

9. Результаты исследований, приведенных в диссертационной ра-5оте, внедрены в трех организациях с суммарным экономическим эффектом 95,9 тысяч рублей в год в рамках следующих программных зредств: базового языка МОШ-2/2 и пакета прикладных программ "Статистика" .

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

ЗАКЛЮЧЕНИЕ

Одна из важнейших задач разработки комплексного МО проектирования ДВС, организованного в виде моделирующего комплекса, состоит в создании проблемно-ориентированной системы программирования. Введение в состав Ж такой структурной единицы обеспечивает автоматизацию разработки программ, которые реализуют решение задач проектирования, сформулированных в непроцедурном виде с использованием проблемных терминов пользователя Ж. В работе предлагается решение этой задачи в рамках моделирующего комплекса АЛСИМ-2 /61/ , ориентированного на системный этап проектирования ДВС и обеспечивающего следующие возможности: использование для описания систем моделей со сложными способами представления; применение для построенных моделей широкого круга методов исследования, включающих как аналитические, так и имитационные подходы; включение в банк данных развитой информационной базы прототип-ных проектных решений.

1. Основные направления экономического и социального развития ¡ССР на I98I-I985 годы и на период до 1990 года. Правда, 1981,марта.

2. Алферова З.В. Теория алгоритмов. М.:Статистика, 1973,-!64 с.

3. Анофренко И.К., Божкова Г.И., Романов В.М. Транслятор с роблемно-оривнтированного языка автоматизированной системы постро-!ния АСУП. В кн.: Теория и методы автоматизации проектирования 5Ложных систем. Шнек : ИТК АН БССР, 1977, с.20-21.

4. Ахо А., Ульман Д. Теория синтаксического анализа, перевода1 компиляции. T.I. Синтаксический анализ. М. : Мир, 1978. - 613с.

5. Бабаев И.О., Новиков Ф.А., Петрушина Т.И. Язык ДЕКАРТ -входной язык системы СПОРА. Прикладная информатика : Сб. статей. L : Финансы и статистика, 1981, вып. I, с. 35 - 73.

6. Басс Л.П., Зусман И.Х., Камынин С.С. и др. Средства описа-шя расчетных цепочек в языке системы ПНФ. М., 1981. - 24 с. -Препринт/ Мн-т прикл. матем. АН СССР; № 2).

7. Башмаков И.Н., Бесфамильный М.С., Тимофеев И.А. Генератор вычислительных схем пакетов прикладных программ. Тр. МЭИ/ Московский энергет. ин-т, 1975, вып. 221. Применение и использование выделительных машин, с. 22-29.

8. Башмаков И.Н., Бесфамильный М.С. Математический аппарат описания модели предметной области пакета прикладных программ. -Тр. МЭИ/ Московский энергет. ин-т, 1975, вып. 221. Применение и использование вычислительных машин, с. 16-21.

9. Башмаков И.Н. Пакеты прикладных программ новая компонента архитектуры математического обеспечения ЭВМ третьего поколения. - Тр. МЭИ/ Московский энергет. ин-т, 1975, вып. 221. Применение и использование вычислительных машин, с. 5-15.

10. Башмаков И.Н., Бесфамильный М.С. Принципы построения пакетов прикладных программ. Тр. МЭИ/Московский энергет. ин-т, 1972, вып. 118. Применение и использование вычислительных машин, с. 59-66.

11. Бавдев Н.К. Об одном методе построения проблемно-ориентированной системы. УСиМ, 1980, № 6, с. 60-62.

12. Бежанова М.М. Анализ и систематизация встроенных проблемно-ориентированных систем. УСиМ, 1981, JK 4, с.ПЗ-118.

13. Бежанова М.М., Москвина Л.А. Система построения и функционирования ППП. Новосибирск, 1980. - 27 с. -(Препринт/Выч. центр СО АН СССР; № 244).

14. Беличенко В.И., Романов В.М. Проблемно-ориентированный язык постановки задач РЕФ. В кн. : Вопросы системного программирования. Киев: ИК АН УССР, 1977, с. 45-56.

15. Берестовая С.Н., Перевозчикова О.Л., Романов В.М., Юденко Е.Л. Конструирование систем программирования обработки данных. М.:Статистика, 1979.- 268с.

16. Берестовая С.Н., Верник Л.В., Перевозчикова О.Л. Структура и основные приемы реализации системы для решения задач пользователями-непрофессионалами. УСиМ, 1977, Ж5, с.68-73.

17. Берзтисс А.Т. Структуры данных. М.:Мир, 1974. - 407с.

18. Бернатович О.В., Литвинов В.В., Подчасова E.H., Суслов В.Ю. Пакет программ обработки экспериментальных данных. УСиМ, 1979,6, с. I2I-I25.

19. Болье Л. Методы построения компиляторов. В кн. : Языки программирования. М. : Мир, 1972, с. 82-277.

20. Братчиков И.Л. Синтаксис языков программирования. М. : Наука, 1975. - 232с.

21. Браун П. Макропроцессоры и мобильность программного обеспечения. М. : Мир, 1977. - 254 с.

22. Бухштаб Ю.А., Горлин А.И., Камынин С.С. и др. Об одном методе планирования расчетных цепочек. Программирование, 1981, № 3, с. 34-38.

23. Вальковский В.А., Малышкин В.Э. К уточнению понятия непроцедурных языков программирования. Кибернетика, 1981, № 3,с. 55 58.

24. Васин Ю.Н., Неумоин В.М. Средства управления информацией в моделирующем комплексе АЛСИМ-2. Киев : общество "Знание" УССР, 1980. - 24 с.

25. Гавршюв М.А., Девятков B.B., Пупырев Е.И. Логическое 1роектирование дискретных автоматов. М. : Наука, 1977. - 352 с.

26. Гладкий A.B. Формальные грамматики и языки. М. : Наука, 973. - 366 с.

27. Глушков В.М., Гусев В.В., Марьянович Т.П., Сахнюк М.А. 1рограммные средства моделирования непрерывно-дискретных систем. -£иев : Наукова думка, 1975. 151 с.

28. Глушков В.М., Калиниченко Л.А., Марьянович Т.П., Москален-£0 В.М., Сахнюк М.А. СЛЭНГ система программирования для моделирования дискретных систем. - Киев: ИК АН УССР, 1969. - 413 с.

29. Глушков В.М., Капитонова Ю.В., Летичевский A.A. Автоматизация проектирования вычислительных машин. Киев : Наукова думка, 975. - 231 с.

30. Глушков В.М., Капитонова Ю.В., Летичевский A.A. Теоретические основы проектирования дискретных систем. Кибернетика, 977, № 6, с. 5 - 20.

31. Глушков В.М., Цейтлин Г.Е., йценко Е.Л. Алгебра, языки зрограммирование. Киев : Наукова думка, 1978. - 319 с.

32. Гордин А.И. О некоторых методах планирования вычислитель-зого процесса. Программирование, 1975, № 6, с. 49-55.

33. Гурова Л.й., Сахарова С.С. Прикладные программы. М. : Статистика, 1980. - 280 с.

34. Дал У., Мгархауг Б., Ныогард К. СИМУЛА-67 универсальный 1зык программирования. - М. : Мир, 1969. - 99 с.

35. Дал У., Дейкстра Э., Хоор К. Структурное программирование. М. : Мир, 1975. - 248 с.

36. Донован Д. Системное программирование. М. : Мир, 1975. -540 с.

37. Елин B.C., Омонин В.Ю., Скрыдлов Н.В., Сомин Н.В. Системадля разработки больших программных комплексов. Программирование, 1977, № 2, с. 55-59.

38. Жук К.Д., Тимошенко A.A., Доленко Т.Н. Исследование структур и моделирование логико-динамических систем. Киев : Наукова думка, 1975. - 196 с.

39. Закревский А.Д. Алгоритмы синтеза дискретных автоматов. -М. : Наука, 1971. 511 с.

40. Зизин М.Н., Загацкий Б.А., Темноева Т.А., Ярославцева Л.Н. Автоматизация реакторных расчетов. М. : Атомиздат, 1974. - 103 с.

41. Ильинский Н.И., Кузин Л.Т., Стрижевский B.C. Интелектуаль-ная система программирования. M., 1980. - 20 с. - Препринт / Научный Совет по компл. проблеме кибернетики АН СССР.

42. Карелов C.B., Поляков А.К. СМОК универсальный макрогенератор синтаксического типа для разработки языковых конверторов. -Программирование, 1983, № 3, с. 25.

43. Карпинка Е.С. Программное обеспечение ведения диалога в пакетах программ, В кн. : Программное обеспечение экстремальных задач и пакеты прикладных программ. Сб. научн. тр. Киев: Ин-т кибернетики АН УССР, 1982, с. I0I-II0.

44. Кахро М.И., Калья А.П., Тыугу Э.Х. Инструментальная система программирования ЕС ЭВМ (ПРИЗ). М. : Финансы и статистика, 1981. - 158 с.

45. Кахро М.И., Мяннисалу М.А., Саак Ю.П., Тыугу Э.Х. Система программирования ПРИЗ. Программирование, 1976, № I, с.38-46.

46. Котов В.Е. Введение в теорию схем программ, Новосибирск: Наука, 1978. - 258 с.

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

48. Криштопа И.В., Непомнящий Б.Д., Перевозчикова О.Л, Ющен-ко Е.Л. ДИСУППП диалоговая система управления специализированными пакетами прикладных, программ. - Кибернетика, 1980, № 2, с. 7076.

49. Круг Г.К., Брыкин С.Н., Кисенкова H.A. и др. Диалоговая система планирования эксперимента и обработки результатов измерений ¿DIPLEX . Тр. МЭИ/Moск. энерг. ин-т, 1978, вып. 359. Автоматизация научных, исследований, с. 3-7.

50. Круг Г.К., Козлова Г.А., Полотнов М.М., Фомин Г.А. Пакет прикладных программ ПЛАНЭКС для решения задач планирования эксперимента на ЕС ЭВМ. Тр. МЭИ/Моек, энерг. ин-т, 1979, вып. 339. Автоматизация научных, исследований, с. 7-12.

51. Кубарева О.Г. Планирование и интерпретация вычислительного процесса. В кн.: Математическое обеспечение автоматического проектирования (синтез логических сетей). Свердловск: УНЦ АН СССР, 1984, с. 24-32.

52. Кубарева О.Г., Чистов В.П. Интеллектуальный интерфейс САПР. В кн. : Математическое обеспечение автоматического проектирования (синтез логических сетей). Свердловск: УНЦ АН СССР, 1984, с. 3-15.

53. Лаврищева Е.М. Методика модульного изготовления програм-шых агрегатов. Кибернетика,1980, № 2, с, 77- 81.

54. Лаврищева Е.М., Грщенко В.И. Связь разноязыковых модулей з ОС ЕС. М. : Финансы и статистика, 1982. - 127 с.

55. Лебедев В.Н. Введение в системы программирования. М. : Статистика, 1975. - 312 с.

56. Липаев B.B. Состояние и проблемы производства программного обеспечения для систем управления и обработки информации. УСиМ, 1980, № I, с. 9-15.

57. Литвинов В.В. Математическое обеспечение проектирования вычислительных систем и сетей. Киев: Техника, 1982. - 176 с.

58. Литвинов В.В. О структуре моделирующего комплекса.

59. В кн. : Вопросы проектирования автоматизированных моделирующих и управляющих систем. Куйбышев: Куйбыш. политехи, ин-т, 1978, с. I06-II3.

60. Литвинов В.В. Технология проектирования на базе моделирующего комплекса АЛСИМ-2. Киев: Общество "Знание" УССР, 1979. -24 с.

61. Литвинов В.В., Волощук А.Г. Язык конструирования структурных моделей системы АЛСИМ-2. Киев: Общество "Знание" УССР, 1980.24 с.

62. Литвинов В.В., Даценко Т.И., Суслов В.Ю. Технология проектирования в моделирующем комплексе. Вопросы кибернетики : Сб. по материалам симпозиума, 1979, вып. 54. Вероятностные вычислительные методы и средства, с. 120-125.

63. Литвинов В.В., Козырь А.Ф., Дубровина Е.В., Панчук А.Н., Сёмик А.П. Система моделирования АЛСИМ-БЭСМ инструкция для пользователей. Киев: Ж АН УССР, 1974. - 181 с.

64. Литвинов В.В., Суслов В.Ю. Об одном подходе к организации структуры специализированных подсистем в моделирующем комплексе. -Электронное моделирование, 1982, А* I, с. 12-18.

65. Литвинов В.В., Шевченко С.Н., Суслов В.Ю., Гара В.К. Об оценке времени планирования процесса решения задач в пакетах прикладных программ, используемых при моделировании систем. -Электронное моделирование, 1981, № 3, с. 58-61.

66. Максимей И.В., Семишин Ю.А. Об автоматизации моделирования сетей массового обслуживания с динамической структурой. УСиМ, 1981, № 6, с. 16-22.

67. Мальцев А.И. Алгебраические системы. М.: Наука, 1970. -392 с.

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

69. Матросов В.М., Васильев С.Н., Диваков О.Г., Тятюшкин А.И. О технологии моделирования и оптимизации сложных систем. В кн.: Пакеты прикладных программ. Методы и разработки. Новосибирск, Наука, 1981, с. 21-35.

70. Мельников И.А., Мяртин К.О., Прууден Э.В. и др. Метасистема для создания информационно-связанных специализированных систем программирования. Кибернетика, 1974, № 6, с. 69-74.

71. Миллс X. Программирование больших систем по принципу сверху вниз. В кн. : Средства отладки больших систем. М. : Статистика, 1977, с. 41-54.

72. Михалевич B.C., Сергиенко И.В., Лебедева Т.Т. и др. Пакет прикладных программ ДИСПРО, предназначенный для решения задач дискретного программирования. Кибернетика, 1981, № 3, с. II7-I37.

73. Модзолевский В.И. Средства имитационного моделирования вмоделирующем комплексе АЛСИМ-2. Киев: Общество "Знание" УССР, 1981. - 48 с.

74. Мяннисалу М.А., Тыуту Э.Х., Унт М.И., Фуксман В.Л. Язык УТОПИСТ. В кн. : Алгоритмы и организация решения экономических задач. М.: Статистика, 1977, вып. 10, с. 80-112.

75. Набор программ для ЭЦВМ "Мир". Киев: Наукова думка, 1971. - 228 с.

76. Надпорожская Е.В., Егоров С.К. Библиотека процедур на языке ИНФ. Л.: Р1аука. Ленингр. отделение, 1975. - 192 с.

77. Нейлор Т. Машинный имитационный эксперимент с моделями экономических систем. М.: Мир, 1975. - 500 с.

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

79. Норенков И.П. Введение в автоматизированное проектирование технических устройств и систем. М.: Высшая школа, 1980. - 311 с.

80. Опарин Г.А., Феоктистов Д.Г. Генерация управляющей программы пакета прикладных программ в метасистеме САТУРН. В кн. Пакеты прикладных программ.Технология разработки. Новосибирск: Наука, 1984, с. 4-14.

81. Опарин Г.А. К теории планирования вычислительного процесса в пакетах прикладных программ. В кн. : Пакеты прикладных программ. Методы и разработки. Новосибирск, Наука, 1981, с. 5-20.

82. Основы теории вычислительных систем : Учебное пособие для вузов. М.: Высшая школа, 1978. - 408 с.

83. Пакет прикладных программ экспериментальной обработки данных "Статистика" / Спец.констр.бюро математ.машин и систем ин-та кибернетики АН УССР; авт.изобр.Бернатович 0.В.Литвинов В.В.Подчасо-ва E.H.»Суслов В.Ю. Зарегестр. в РФАП 6 февр. 1979 г., tè 5015.

84. Панфилов И.В., Половко A.M. Вычислительные системы. М.: Воветское радио, 1980. - 304 с.

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

86. Парасюк И.Н., Сергиенко И.В. О некоторых задачах модульного анализа при проектировании пакетов программ. УСиМ, 1982, № 4, с. 89-94.

87. Попов Э.В., Фирдман Г.Р. Алгоритмические основы интеллектуальных роботов и искусственного интеллекта. М.: Наука, 1976. -456 с.

88. Пратт Т. Языки программирования : разработка и реализация. М. : Мир, 1979. - 574 с.

89. Программы на ЭЦВМ Минск 2. Программы по математической статистике. - Таллин : ин-т кибернетики АН ЭстССР, 1966. - 127 с.

90. Романов В.М., Ющенко Е.Л.Методы и системы автоматизированного проектирования программ обработки данных. Киев: Ж АН УССР, 1980. - 42 с.

91. Сборник научных программ на ФОРТРАНЕ. Т.1. Статистика. М.: Статистика, 1974. 316 с.

92. Семенков О.И., Волошин Ю.И., Максимей И.В. Конструктор имитационных моделей вычислительных систем и комплексов. В сб.: УП Всес. школа-семинар по вычис. сетям : Тезисы докладов. 4.2. М.,1983, с. 242-247.

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

94. Сергиенко И.В., Стукало A.C., Вагис А.Г., Парасюк И.Н. Структура и организация пакета прикладных программ статистической обработки данных на ЕС ЭВМ. Программирование, 1980, А1? 4, с. 8492.

95. Соловьева Л.А., Корнилова Г.Ф. Способы организации пакетов прикладных программ (информационные материалы по математическому обеспечению ЭВМ). Свердловск : ИММ УНЦ АН СССР, 1979. 78 с.

96. Суслов В.Ю., Тара В.К. Организация проблемного математического обеспечения в моделирующем комплексе АЛСИМ-2. Киев: Общество "Знание" УССР, 1981. - 24 с.

97. Тамм Б.Г., Тыугу Э.Х. О создании проблемно-ориентированного программного обеспечения. Кибернетика, 1975, № 4, с. 76-85.

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

99. Тыугу Э.Х. Генератор программ в модульной системе программирования. Кибернетика, 1974, № 6, с. 74-78.

100. Тыугу Э.Х. На пути к практическому синтезу программ. -Кибернетика, 1976, № 6, с. 34-43.

101. Тыугу Э.Х. Решатель вычислительных задач. Журнал вычислительной математики и математической Физики. Т.II, 1971, № 4, с. 992-1004.

102. Тыугу Э.Х. Решение задач на вычислительных моделях. -Журнал вычислительной математики и математической физики. Т.10, 1970, № 3, с. 716-734.

103. Холл А. Опыт методологии для системотехники. М.: Сов. радио, 1975. 447 с.

104. Хьюз Д., Мичтом Д. Структурный подход к программированию.- М.: Мир, 1980. 278 с.

105. Шеннон Р. Имитационное моделирование систем искусство и наука. М.: Мир, 1978. - 302 с.

106. Шрайбер Т.д. Моделирование на М.: Машиностроение, 1980. - 592 с.

107. Эхасалу Э. Информационный граф для системы ЗТР- №Р- Тр. вычис. центра Тартуского ун-та/ 1981, № 46, с. 22-49.

108. Юрин О.Н. Единая система автоматизации проектирования ЭВМ. М.: Сов. радио, 1976. 175 с.

109. Яблокова Т.Л. Автоматизация расчета систем массового обслуживания в моделирующем комплексе. Электронное моделирование, 1981, № 4, с. 21-25.

110. Рбс/еъ Р£ех ¿а/ь^оа^ея. ~ Тл/оьта<?1о/гр. 225?-24/.

111. PfyUz XI., fiozcK/eM Ж ¿¡Te¿¿

112. Pzèc . luí. Jb¿c-/cC,a¿ M,

113. Jqs&'/ip ¿on, / C. y /S£J>/ уэ ¿o£126. ¿W X Spätre /»»éb'oeS. Же sioée о/ ¿A ¿n, nvmctt'eoc / A/eccs fietsy

114. Jd¡Q¿</ Л. С. Jt desc fite/ves ûs л* éas/f /ог pc&àcit. />t<7cesj>0'H,j>p. 9-tt.

115. J/nío/f M. Exc'sàeuce о/ a (ra* ¿CbjnftfzSr*

116. J</t¿<?¿c ei/czjs tecets/bre ¿y

117. Se¿t ~ Л/г/z Joe. Je С ßzc/jreS'&J' /у б F //<?/s s ' s

118. JPSS. ¿/.S, ¿»„et ¿pee. A/JbJ/ yo. ¿S/ - yjf ш130.97?, f 62<?

119. Te*4oe«r»., «ets/ej, S ^ ^^ y- ocafet/ Jof¿«,* te Sece/Zy*,* .a & Mo с с fe/? ¿fea yo. *?<?£ sé'<f