Разработка системы языковых и программных средств структурных исследований тема диссертации и автореферата по ВАК РФ 05.13.06, кандидат технических наук Бачурин, Андрей Степанович

  • Бачурин, Андрей Степанович
  • кандидат технических науккандидат технических наук
  • 1984, Ленинград
  • Специальность ВАК РФ05.13.06
  • Количество страниц 200
Бачурин, Андрей Степанович. Разработка системы языковых и программных средств структурных исследований: дис. кандидат технических наук: 05.13.06 - Автоматизация и управление технологическими процессами и производствами (по отраслям). Ленинград. 1984. 200 с.

Оглавление диссертации кандидат технических наук Бачурин, Андрей Степанович

ВВЕДЕНИЕ.

ГЛАВА I. Задачи структурных исследований при моделировании сложных систем.

1.1. Математические модели и исследование сложных систем.

1.2. Проблемы технологии моделирования сложных систем. Системное моделирование

1.3. Объекты структурных исследований. Примеры их построения и использования при решении задач системного моделирования

1.3.1. Примеры задач структурных исследований, связанных с моделями системной динамики.

1.3.2. Примеры задач структурных исследований, связанных с моделями метода графов связей.

Выводы

ГЛАВА 2. Разработка требований к системе языковых и программных средств структурных исследований.

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

2.2. Языки обработки графов.

2.3. Метод разработки программных средств на основе абстрактных типов данных

2.4. Требования,предъявляемые к системе языковых и программных средств структурных исследований.

Выводы.

ГЛАВА 3. Разработка архитектуры системы языковых и программных средств структурных исследований

3.1. Состав и функции компонент системы языковых и программных средств структурных исследований.

3.2. Логическая организация среды хранения информации пользователя.

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

3.3.1. Типы организации пакетов прикладных программ

3.3.2. Модель предметной области пакета прикладных программ. Форма обращения к пакету

3.4. Язык пользователя системы языковых и программных средств структурных исследований

3.4.1. Операторы действия

3.4.2. Справочные операторы.

3.4.3. Служебные операторы.

3.5. Взаимодействие монитора с информационно-справочной службой

Выводы.

ГЛАВА 4. Пакеты прикладных программ системы языковых и программных средств структурных исследований

4.1. Агрегация понятий

4.2. Операции обработки понятий

4.2.1. Модели декомпозиции и агрегации понятий

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

4.3. Организация хранения экземпляров понятий в среде хранения информации.

4.4. Пакеты прикладных программ сложной структуры.

4.5. Требования к системе управления программами и данными в интерактивной среде

Выводы

ГЛАВА 5. Опыт реализации программного обеспечения структурных исследований.

5.1. Состав и особенности функционирования БСМЦ СОД/СИМ.

5.2. Формы организации прикладного программного обеспечения БСМЦ СОД/СИМ.

5.3. Опыт применения БСМЦ СОД/СИМ для разработки ППП структурных исследований.

5.4. Использование ППП структурных исследований при расчете систем подачи и распределения воды

5.4.1. Применение ППП при исследовании схемы системы водоснабжения.

5.4.2. Применение ППП для построения математической модели системы водоснабжения

5.5. Перспективы развития БСМЦ СОД/СИМ.

5.6. Методика разработки ППП СПС/СИ в операционной среде БСМЦ СОД/СИМ

Выводы

Рекомендованный список диссертаций по специальности «Автоматизация и управление технологическими процессами и производствами (по отраслям)», 05.13.06 шифр ВАК

Введение диссертации (часть автореферата) на тему «Разработка системы языковых и программных средств структурных исследований»

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

Диссертационная работа выполнялась по программе научных исследований, предусмотренных координационным планом АН СССР по проблеме "Системный анализ,исследование операций и имитационное моделирование" (1.12.8)»Проблематика и результаты диссертационной работы определялись также договорами о научно-техническом сотрудничестве ЛЭТИ им .В, И. Ульянова (Ленина) с Техническим университетом и Высшей инженерной школой г.Дрездена (ОДР) на 1975-1984 г.г.

Настоящая работа является составной частью исследований по проблемам технологии и инструментальных средств системного моделирования, выполняемых в ЛЭТИ им .В. И.Ульянова (Ленина) в рамках хоздоговоров с организациями г.Ленинграда.

Существенное влияние на содержание и задачи диссертационной работы оказали научные труды В.М.Брябрина, Ю.А.Бухштаба, A.A.

Вавилова, Д.М.Гвишиани, С.В.Емельянова, А.П.Ершова, В .В .Калашникова, Б.Лисков, Н.Н.Моисеева, А.А.Самарского, Б.Г.Тамма,Э.Х.Тыугу.

Целью диссертации является разработка научных основ построения СПС/СИ,определение путей реализации СПС/СИ и пакетов прикладных программ (ППП),функционирующих под управлением СПС/СИ в условиях МЦ.

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

1. На основе анализа процесса и объектов структурных исследований, современных средств разработки программного обеспечения сформулированы требования к СПС/СИ, которые учитывают концептуальный уровень специалистов,выполняющих структурные исследования в МЦ.

2. Определены и обоснованы архитектурные принципы построения СПС/СИ как системы,предназначенной для управления функционированием совокупностью ППП в процессе структурных исследовании,для хранения и предоставления по запросам пользователя результатов работы ППП. Разработан машинно-независимый язык высокого уровня для управления ППП.Предложено использовать интерактивную среду в качестве среды функционирования СПС/СИ .Выдвинуты требования к системе управления программами и данными в интерактивной среде (СУПДИС), предоставляемой МЦ.

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

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

5. Предложена методика разработки ППП СПС/СИ с ручным и автоматическим планированием вычислительного процесса,обеспечивающая реализацию ППП в машинно-независимой форме.Предложенная методика ориентирована на использование возможностей СУ1ЩИС, которая в настоящее время реализуется при участии автора для МЦ ЦНИИ "Румб" и ГОИ им.С.И.Вавилова.

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

1. Предложен эффективный комплекс средств построения, и управления функционированием программного обеспечения структурных исследований. Наличие в составе СПС/СИ развитых возможностей для проблемной ориентации программного обеспечения, хранения информации пользователя и выдачи справочной информации позволяет организовывать работу пользователей МЦ на уровне понятий,операций над понятиями,экземпляров понятий,связей между экземплярами понятий.

2. Обеспечен широкий выбор средств программирования ППП СПС/СИ за счет использования интерактивной среды в качестве среды функционирования СПС/СИ,что позволяет применять на практике современные языковые и программные средства структурных исследований, внедрять в промышленности новые перспективные приемы структурных исследований.

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

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

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

Были реализованы ППП структурных исследований КОНТУР,ПУТИ, ДОСТИЖИМОСТЬ,СВЯЗНОСТЬ.Расчетный годовой экономический эффект от эксплуатации этих ППП составляет 29,3 тыс.рублей (по методике, утвержденной "Центрпрограммсистем" от 18.12.1980г.). ППП внедрены в эксплуатацию в составе прикладного программного обеспечения моделирующих центров ГОИ им.С.И.Вавилова и ЦНИИ "Румб".

Диссертационная работа состоит из введения,пяти глав,заключения и списка литературы.

Похожие диссертационные работы по специальности «Автоматизация и управление технологическими процессами и производствами (по отраслям)», 05.13.06 шифр ВАК

Заключение диссертации по теме «Автоматизация и управление технологическими процессами и производствами (по отраслям)», Бачурин, Андрей Степанович

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

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

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

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

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

5. Решены основные вопросы реализации и предложена методика разработки ППП СПС/СИ с ручным и автоматическим планированием вычислений в операционной среде СУЦЦИС, которая реализуется в настоящее время в ЛЭТИ им.В.И.Ульянова (Ленина) для МЦ ЦНИИ "Румб" и ГОИ им.С.И.Вавилова и удовлетворяет всем требованиям к СУЦЦИС, выдвинутым в диссертации.

6. Произведена адаптация основных архитектурных решений СПС/СИ к условиям СУЦЦИС СОД/СИМ, в рамках которой реализованы ППП структурных исследований КОНТУР, ДОСТИЖИМОСТЬ, СВЯЗНСХЗТЬ,ПУТИ.Расчетный годовой экономический эффект от эксплуатации ППП составляет

29,3 тыс.рублей (по методике,утвержденной "Центрпрограммсистем" от 18.12.1980 г.).

- 183 -ЗАКЛЮЧЕНИЕ

Список литературы диссертационного исследования кандидат технических наук Бачурин, Андрей Степанович, 1984 год

1. Абрамов H.H. Водоснабжение.-M.:Стройиздат, 1982.-440с.

2. Абрамов H.H. Надежность систем водоснабжения.-М. :1. Стройиздат,I979.-23IC.

3. Аврамчук Е.Ф.,Бачурин А.С.,Отвагин П.Е. и др. Решение вычислительных задач в процедуральной дедуктивной системе .-В кн.: Автоматизация экспериментальных исследований и проектирование систем управления.Вып.5.Л.:Л1У,1980,с.48-60.

4. Аврамчук Е.Ф.,Ляшенко H.H. »Фомин Б.Ф. Структурная управляемость систем с параметрическими связями.-В кн.:Теория сложных систем и методы их моделирования: Труды семинара.М.:ВНИИСИД984, с.3-14.

5. Автоматизация реакторных расчетов /М.Н.Зизин,В.А.Загацкий, Т.А.Темноева, Л.Н.Ярославцева.-М. :Атомиздат, I974.-I04c.

6. Агамирзян И.Р. .Иванов A.C. Процедурные механизмы абстракции.-В кн. : Записки научных семинаров Л0МИ.Т.Ш.Л.:Наука,1981, с.5-30.

7. Ахо А.,Ульман Дж. Теория синтаксического анализа,перевода и комшшщии.Т.2.Компиляция.-М.:Мир,1978.-487с.

8. Бакаев A.A.,Костина Н.И.,Яровицкий Н.В. Имитационные модели в экономике.-Киев:Наукова думка, 1978.-304с.

9. Банатр М.,Кувер А.,Эрман Д.,Рэналь М. Абстрактные типы и множественность их представлений при исполнении.-В кн.:Теория и практика программного обеспечения ЭВМ.Т.1.Новосибирск:ВЦ СО АН СССР, 1981, с.109-125.

10. Басакер Р.,Саати Т. Конечные графы и сети.-М.:Наука,1974. -368с.1.. Бачурин A.C.,Исаев А.Е,,Отвагин П.Е.,Фомин Б.Ф, Страничный метод доступа для Фортрана и ПЛ/I в ОС ЕС ЭВМ.-Программирование,1983,ЖЕ,с.27-32.

11. Бачурин A.C.,Николаев М.И. О построении программного обеспечения системного моделирования в модульной системе прикладных программ СОД/СИМ.-Изв. ЛЭТИ.Науч.тр. /Ленингр. электротехн. ин-т им.В.И.Ульянова (Ленина),1981,вып.287,с.18-24.

12. Бачурин A.C.»Николаев М.И.,Туровский В.П. Построение ППП для решения задач системного моделирования в системе СОД/СИМ.-В кн.:Методы синтеза и планирования развития структур сложных систем:Тез.докл.П Всесоюзн.семинара.Т.2.Ташкент, 1981,с.64-65.

13. Бачурин A.C.,Николаев М.И.,Фомин Б.Ф.,Шония О.Б. Управление прикладным программным обеспечением в системе СОД/СИМ.-В кн.: Автоматизированные системы управления. Тбилиси:Сабчота Сакартвело, I98Ieo.I06-II0.

14. Берж К. Теория графов и ее применения.-М.:Иностранная литература, 1962.-319с.

15. Бехренс В.В. Динамика использования природных ресурсов.-В кн.Современные проблемы кибернетики.М.:Знание, 1977,о.25-40.

16. Богданов A.A. Всеобщая организационная наука:Тектология.-М. :Книга,1925-1929.-Т.1.1925.300с. ;Т.2.1927.252с. ;Т.3.1929.221с.

17. Браун. Непосредственное применение правила циклов к графам связей.-В кн.применение теории графов связей в технике. М.:Мир,1974,с.84-94.

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

19. Браун П. Обзор макропроцессоров.-М.: Статистика, 1975 .-80с.

20. Брэшан Л.М. и др. Пакет программ по линейному программированию в терминах служб.-В кн.:Системы программного обеспечения решения задач оптимального планирования:Тез.докл.У Всесоюзн.симпозиума. М.:ЦЭМИ АН СССР,1978,с.192-193.

21. Брябрин В.М. Ф-язык формализм для представления знаний в интеллектуальной диалоговой системе.-В кн. прикладная информа-тика.Вып.1 .М.: Статистика, 1981, с .73-103.

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

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

24. Бухштаб Ю.А. Система ВОПРОС-ОТВЕТ (краткое описание и входной язык).-М., 1975.-26с. (Препринт/ИПМ АН СССР: ЖЕ04).

25. Бухштаб Ю.А.,Камынин С.С. Система В0ПР0С-0ТВЕТ-2 и ее возможности.-М., 1978.-20с. (Препринт/ИПМ АН СССР: №50).

26. Бухштаб Ю.А. и др. Об одном подходе к разработке интеллектуальных пакетов.-М.,1980.-24с. (Препринт/ИПМ АН СССР: №70).

27. Вавилов A.A. Структурный и параметрический синтез сложных систем.-Л.:ЛЭТИ,I979.-94с.

28. Вавилов A.A.,Фомин Б.Ф.,0твагин П.Е. Базовая система языковых и программных средств моделирующего центра.-В кн.: Теория сложных систем и методы их моделирования:Труды семинара. М.:ВНИИСИ,I983,с.65-78.

29. Вагнер Г. Основы исследования операций.T.I.-M.:Мир,1972. -336с.

30. Васин О.В. Специализированный язык и программная система для решения задач на графах.-В кн. .'Вопросы кибернетики.Теория релейных устройств и конечных автоматов.М.:АН СССР,1975,с.71-76.

31. Винер Н. Кибернетика или управление и связь в животном и машине.-М.:Сов.радио,1968.-326с.

32. Воденин Д.Р. Применение служб для решения задач календарного планирования в диалоговом режиме.-7с.-Деп.в ВИНИТИ 10 апреля 1979 г.,№ 1249-79.

33. Воденин Д.Р.,Романовский И.В. Программирование в терминах служб.-Кибернетика, 1979, №5, с.70-75.

34. Гвишиани Д.М. Теоретико-методологические основания системных исследований и разработка проблем глобального развития.

35. В кн.:Системные исследования.Методологические проблемы:Ежегодник 1982:Наука,1982,с.7-25.

36. Геловани В.А.,Пионтковский А.А.,Юрченко В.В. О задаче управления в глобальной модели V/0RLD-3 .-М.:ИЛУ, 1975.-46с.

37. Гиг Дж.ван. Прикладная общая теория систем.-М. :Мир,1981.-T.I.336с.,-Т.2.731с.

38. Гилман Л.,Роуз А. Курс АЛЛ:диалоговый подход.-М.:Мир, 1979.-526с.

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

40. Горстко А.Б. Математическая модель экосистемы Азовского моря. -М.: Знание, 1979.-64с.

41. Григас Г.К. Кластероподобный стиль программирования на языке ПЛ/I.-B кн.:Алгоритмы и организация решения экономических задач .Вып. I4.M.: Статистика, 1980, с. 96-102.

42. Григас Г. Некоторые возможности абстракции данных в языке ПЛ/1 (подмножество ДОС/ЕС).-В кн.'Автоматизация процессов планирования и управления.Вып.5.Вильнюс:ИМК АН Лит.ССР, 1977,с. 139-146.

43. Григас Г.,Купчюнас Г. Абстрактные типы данных.-В кн. программирование ЭВМ.Вып.З.Вильнюс:ИМК АН Лит.ССР,1980,с.9-47.45. 1^рова Л. И., Сахаров С. С. Прикладные программы. -М.: Статистика, I980.-280C.

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

45. Данилов-Данильян В.И.,Рыбкин A.A. Моделирование: системно-методологический аспект.-В кн. Системное моделирование.Методологические проблемы: Ежегодник 1982. М.:Наука, 1982,с. 182-210.

46. ДИЛОС диалоговая система для взаимодействия с ЭВМ на естественном языке/В. Г. Абрамов,В .М.Брябрин, М.Г.Пховелишвили, Г.В.Сенш,А.А.Элигулашвили.-М.:ВЦ АН СССР, 1979.-80с.

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

48. Ефимов Е.И. Решатели интеллектуальных задач.-М.:Наука, 1982.-320с.

49. Загацкий Б.А. Прикладные программы для ЕС ЭВМ.-В кн.: Системное программирование.Ч.2.Новосибирск,1973,с.I6I-I77.

50. Замулин A.B. Построение СУБД на основе ориентированного языка программирования.-В кн.:Перспективы развития в системноми теоретическом программировании.Новосибирск:ВЦ СО АН СССР,1978, с.199-201.

51. Зыков A.A. Гиперграфы .-Успехи математических наук, 1974, т.29,вып.6(180),с.89-154.

52. Иванов A.C. Об организации служб.-В кн.:Записки научных семинаров Л0МИ.Т.1С32.Л.:Наука,1980,с.19-26.

53. Иванов A.C. Использование механизма параметров процедурного типа в модульной организации пакетов.-В кн.:Записки научных семинаров Л0МИ.Т.90.Л. :Наука,1979,с.24-38.

54. Илюшин А.И.,Штаркман B.C. Абстрактные типы данных.-В кн.: Перспективы развития в системном и теоретическом программировании. Новосибирск:ВЦ СО АН СССР,1978,с.188-198.

55. Илюшин А.И.,Штаркман B.C. Об одном способе построения прикладного уровня программного обеспечения сетей ЭВМ.-Программирование,1979,с.34-43.

56. Имитационное моделирование производственных систем/Под ред.А, А.Вавилова.-М.: Машиностроение ;Берлин: Техника, 1983.-416с.

57. Йодан Э. Структурное проектирование и конструирование про грамм.-М.: Мир, 1979.-416с.

58. Карпов В.Я.,Корягин Д.А. Пакеты прикладных про грамм.-М.:3нание,1983.-64с.

59. Кафаров В.В.,Ветохин В.Н. Основы построения операционных систем в химической технологии.-М. :Наука,1980.-430с.

60. Кафаров В.В.Дорохов И.Н. Системный анализ процессов химической технологии.Топологический принцип формализации.-М.:Наука, 1979.-399с.

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

62. Кемпбел-Келли М. Введение в макросы.-М.:Сов.радио,1978.-152с.

63. Кикачейшвили Г.Е. Расчет оптимальных параметров систем подачи и распределения воды.-Тбилиси:Сабчота Сакартвело,1980.-200с.

64. Клыков Ю.И. Ситуационное управление большими системами.-М.:Энергия,1974.-136с.

65. Клыков Ю.И.,Горьков Л.Н. Банки данных для принятия решений . -М.: Сов. радио, 1980.-208с.

66. Кодама С. и др. Теория матриц для инженеров,занимающихся вопросами управления.-Сисутэму-то сэйгё,1972,т.16,№8,с.641-648 (яп.).

67. Кофман А. Введение в прикладную комбинаторику.-М.:Наука, 1975.-480с.

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

69. Кузин Л.Т. Основы кибернетики.Т.2.Основы кибернетических моделей.-М.:Энергия,1979.-584с.

70. Левин Д.Я. Программирование в системе СЕТЛ /Проект СЕТЛ. Вып.1.-Новосибирск, 1978.-28с. (Препринт/ВЦ СО АН СССР: Н38).

71. Маленво Э.Статистические методы эконометрии.-М.:Статистика, 1975 1976.- Т.I.1975.423с.;Т.2.1976.325с.

72. Маркевичюс Р. Конструирование языковых средств обработки графов (сетей) на основе АЛГ0Л-68.-В кн.:Автоматизация процессов планирования и управления.Вып.5.Вильнюс:ЙМК АН Лит.ССР,1977,с.33-59.

73. Маркевичюс Р. Об использовании абстрактных типов данных для манипулирования графами.-В кн. .'Программирование ЭВМ.Вып.I. Вильнюс:ИМК АН Лит.ССР,с.9-25.

74. Маркевичюс P.A. Реализационные свойства абстрактных типов данных.-В кн.:Алгоритмы и организация решений экономических задач.Вып.14.М.: Статистика, 1980, с. 102-109.

75. Маркевичюс Р. Реализация процессора абстрактных типов данных для Ассемблера.-В кн. программирование ЗВМ.Вып.З. Вильнюс:ИМК АН Лит.ССР,1980,с.49-85.

76. Маркевичюс Р. Языки программирования для обработки графов. -В кн.:Автоматизация процессов планирования и управления.Вып.5. Вильнюс:ИЖ АН Лит.ССР,1977,с.9-31.

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

78. Математическое обеспечение ЕС ЭВМ .Вып. 5.-Минск: ИМ АН БССР, 1974.- 286с.

79. Машинный эксперимент,анализ и обработка данных в диалоговых системах имитации/Под ред.чл.-кор. АН СССР А.А.Вавилова.1. Л.:ЛЭТИ,1979.-76с.

80. Моисеев H.H. Математик задает вопросы.(Приглашение к диалогу) ,-М. ¡Знание, I974.-I92c.

81. Моисеев H.H. Математические задачи системного анализа.-М. .-Наука, 1981 .-488с.

82. Мэзон С.,Циммерман Г. Электронные цепи,сигналы и системы. -М.:Иностранная литература, 1963.-620с.

83. Наппельбаум Э.Л. Системный анализ как программа научных исследований структура и ключевые понятия.-В кн.:Системные исследования. Методологические проблемы: Ежегодник I979.M.:Наука, 1980,с.55-77.

84. Отвагин П.Е. Разработка базовой системы языковых и программных средств для моделирующего центра.-Дис. . канд.техн. наук.-Л.,1982.-192с.

85. Отвагин П.Е.,Бачурин A.C. Об организации программного обеспечения имитационного моделирования и проектирования АСУ ТП. -В кн.¡Математическое,алгоритмическое и техническое обеспечение АСУ ТП:Тез.докл.П Всесоюзн.межвуз.н.-т.конфЛ.2.Ташкент,1980,с.67-68.

86. Оптнер С.Л. Системный~анализ для решения деловых и промышленных проблем. М.:Сов.радио, 1969. - 216с.

87. Пирогов Г.Г.»Федоровский Ю.П. Проблемы структурного оценивания в эконометрии.-М.:Статистика, 1979.-327с.

88. Плоткин А.Н., Фомин Б.Ф. О рекуррентных алгоритмах получения передаточных матриц и определителей комплексов системных графов.-Изв .ЛЭТИ.Науч .тр./Ленингр. электротехн.ин-т им.В .И.Ульянова (Ленина),1982,вып.312,с.II3-I2I.

89. Попков Ю.С.,Посохин M.B.,I*yTHOB А.Э.,Шмульян Б.Л. Системный анализ и проблемы развития городов.-М. :Наука, 1983.-512с,

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

91. Прикладные задачи теории графов:Сб.науч.тр./Моек.энерг. ин-т .Был .556 .-М.: МЭИ, 1981 .-7бс.

92. Применение теории графов связей в технике.-М.:МирД974.-95с.

93. Программно-математическое обеспечение имитационного моделирования организационно-экономических и технологических производственных систем/ Е.Ф.Аврамчук,А.С.Бачурин,Ю.М.Г'урин,М.И.Николаев,П.Е.Отвашн,Б.Ф.Фомин.-Л. :ЦНЩ "Румб", 1983,-77с.

94. Рендер Ю.,Медоуз Д. Динамика производства твердых отхо-дов.-В кн. ¡Современные проблемы кибернетики.М.:Знание, 1977,с. 41-64.

95. СИМ.ППП "ДОСТИЖИМОСТЬ".Спецификация. (589.0000.00102-01),1982.-4с.

96. СИМ.ППП "ДОСТИЖИМОСТЬ" .Ведомость эксплуатационных документов. (589.0000.00102-01 20 01),1982.-Зс.

97. СИМ.ППП "ДОСТИЖИМОСТЬ".Формуляр. (589.0000.00102-01 30 01),1982.-27с.

98. СИМ.ППП "ДОСТИЖИМОСТЬ".Общее описание. (589.0000.00102-01 31 01) ,1982.-Ис.

99. СИМ.ППП "ДОСТИЖИМОСТЬ".Обслуживание пакета.Руководство системного программиста. (589.0000.00102-01 32 01), 1982.-22с.

100. СИМ.ППП "ДОСТИЖИМОСТЬ" .Руководство программиста. (589.0000.00102-01 33 01),1982.-136с.

101. СИМ.ППП "ДОСТИЖИМОСТЬ".Описание языка. (589.0000.00102-01 35 01),1982.-41с.

102. СИМ.ППП "ДОСТИЖИМОСТЬ" .Порядок и методика испытаний. (589.0000.00102-01 51 01),1982.-17с.

103. СИМ.ППП "КОНТУР".Спецификация. (589.0000.00101-01), 1981.-4с.

104. СИМ.ППП "КОНТУР".Ведомость эксплуатационных документов.589.0000.00101-01 20 0I),I98I.-3c.

105. СИМ.ППП "КОНТУР".Формуляр.(589.0000.00101-01 30 01),1981.-26C.

106. СИМ.ППП "КОНТУР".Общее описание. (589.0000.00101-01 31 0I),I98I.-IIc.

107. СИМ.ШШ "КОНТУР".Обслуживание пакета.Руководство системного программиста.(589.0000.00101-01 32 0I),I98I.-I7c.

108. НО. СИМ.ШШ "КОНТУР".Руководство программиста. (589.0000.00101-01 33 0I),I98I.-II9c.

109. СИМ.ШШ "КОНТУР".Описание языка. (589.0000.00101-01 35 0I),I98I.-39c.

110. СИМ.ППП "КОНТУР" .Порядок и методика испытаний. (589.0000.00101-01 51 0I),I98I.-I3c.

111. СИМ.ШШ "ПУТИ" .Спецификация. (589.0000.00105-01), 1983.-4с.

112. СИМ.ППП "ПУТИ" .Ведомость эксплуатационных документов. (589.0000.00105-01 20 01),1983.-3с.

113. СИМ.ППП "ПУТИ".Формуляр.(589.0000.00105-01 30 01),1983.-26с.

114. СИМ.ШШ "ПУТИ".Общее описание.(589.0000.00105-01 31 01), 1983.-Юс.

115. СИМ.ППП "ПУТИ".Обслуживание пакета.Руководство системного программиста.(589.0000.00105-01 32 01),1983.-15с.

116. СИМ.ППП "ПУТИ".Руководство программиста. (589.0000.00105-01 33 01),1983.-90с.

117. СИМ.ШШ "ПУТИ".Описание языка.(589.0000.00105-01 35 01), 1983.- 38с.

118. СИМ.ППП "ПУТИ" .Порядок и методика испытаний. (589.0000.00105-01 51 01),1983.-12с.

119. СИМ.ШШ "СВЯЗНОСТЬ" .Спецификация. (589.0000.00103-01),1982.-4с.

120. СИМ.ППП "СВЯЗНОСТЬ" .Ведомость эксплуатационных документов.(589.0000.00103-01 20 01),1982.-Зс.

121. СИМ.ППП "СВЯЗНОСТЬ".Формуляр. (589.0000.00103-01 30 01), 1982.-27с.

122. СИМ.ППП "СВЯЗНОСТЬ".Общее описание. (589.0000.00103-01 31 01),1982.-12с.

123. СИМ.ППП "СВЯЗНОСТЬ".Обслуживание пакета.Руководство системного программиста.(589.0000.00103-01 32 01),1982.-19с.

124. СИМ.ППП "СВЯЗНОСТЬ".Руководство программиста. (589.0000.00103-01 33 01),1982.-Ю9с.

125. СИМ.ППП "СВЯЗНОСТЬ".Описание языка. (589.0000.00103-01 35 01),1982.-38с.

126. СИМ.ППП "СВЯЗНОСТЬ" .Порядок и методика испытаний. (589.0000.00103-01 51 01),1982.-15с.

127. СИМ.СПО.Спецификация. (589.0000.00000-01), 1981 .-6с.

128. СИМ.СПО.Ведомость эксплуатационных документов. (589.0000.00000-01 20 01),1981.-4с.

129. СИМ.СПО.Формуляр.(589.0000.00000-01 30 01),1981.-27с.

130. СИМ.СПО.Общее описание.(589.0000.00000-01 31 01),1981.-21с.

131. СИМ.СПО.Обслуживание системы.Руководство системного программиста.(589.0000.00000-01 32 01),1981.-15с.

132. СИМ.СПО.Монитор СОД/СИМ.Руководство программиста. (589.0000¿00000-01 33 01),1981.-62с.

133. СИМ.СПО.Страничный метод доступа.Руководство программиста. (589.0000.00000-01 33 02),1981.-33с.

134. СИМ.СПО. Под готовка прикладных программ для работы в системе.Руководство программиста.(589.0000.00000-01 33 03),1981.-35с.

135. СИМ.СПО.Утилиты.Руководство программиста.589♦0000,00000-01 33 04),1981.-26с.

136. СИМ.СПО.Язык управления программами и данными.Описание языка.(589,0000.00000^01 35 ОТ),1981.-82с.

137. СИМ.СПО.Порядок и методика испытаний. (589.0000.00000-01 51 01),1981.-15с.

138. Суда Н. Соединения систем.-Сисутэму-то сэйгё,1978,т.22, №Ы,с.675-682 (яп.).

139. Тамм Б.Г. ,Тыугу Э.Х. Пакеты программ.-Техническая кибернетика, 1977,№5,с.III-I24.

140. Теория графов:Сб.науч.тр./Моск.энерг.ин-т.Вып.178.-М.:МЭИ,1972.-162с.

141. Теория графов:Сб.науч.тр./Моск.энерг.ин-т.Вып.250.-М.: МЭЙ, 1975.-147с.

142. Теория графов:Сб.науч.тр./Моск.энерг.ин-т.Вып.348.-М.:МЭИ,1977.-122с.

143. Теория графов:Сб.науч.тр./Моск.энерг.ин-т.Вып.415.-М.:МЭИ,1979.-128с.

144. Технология системного моделирования Дчеб.пособие под ред.чл.-кор.АН СССР А.А.Вавилова.-Л. :ЛЭТИ, 1982.-64с.

145. Тыугу Э.Х. Решение задач на вычислительных моделях.-ЖВМ и МФ АН СССР, 1970, т.10,№3, с.716-733.

146. Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления. Т. I .-М.: Наука,1969.-608с.

147. Форрестер Дж.В. Антиинтуитивное поведение сложных систем. -В кн.Современные проблемы кибернетики.М.:3нание,1977,с.9-25.

148. Форрестер Дж.В. Динамика развития города.-М. ¡Прогресс, 1974.-287с.

149. Форрестер Дж.В. Мировая динамика.-М. ¡Наука, 1978.-168с.

150. Форрестер Дж.В. Основы кибернетики предприятия.-М.: Прогресс, 1971.-340с.

151. Харари Ф. Теория графов.-М.:Мир, 1973.-300с.

152. Хусаинов B.C. Макросредства в языке Ассемблера ЕС ЗВМ.-М.:Статистика,1978.-94с.

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

154. Шевелев Ф.А. Таблицы для гидравлического расчета стальных, чугунных, асбестоцементных, пластмассовых и стеклянных водопроводных труб.-М.:Стройиздат,1973.-113с.

155. Шоу А. Логическое проектирование операционных систем.-М.: Мир, 1981 .-360с.

156. Эшби У.Р. Введение в кибернетику.-М.:Иноотранная литература, 1959.-432с.159.t>zrkouflte $.Ш1-Ьгарк Information Retrieval Language-Desijn o| Syntax.-In: Software Engineering. Vol.Z. H-1:

157. Burns y.R. Converting Signal Жугаркъ to Forrester Schematics and Converting Forrester Schematics to Di(lerentiat Equations.-IEEE Transactions on Systems,ftan^ncL Cybernetics, mi, Volt, Ho. Wr p. 695-W.

158. The Computer 1oumat,№9f Vol.ZZJo.^ p.

159. Crespi-Reqhlzzi S.f Morpuryo R. A Grapl Teory Oriented Extension to ALGOL.- Calcoto, 1962, Vol 5, Ho. 5/4, p. m-№.169.(¡Cover K., Silverman L.M. Characterization of structural controU ability,.-IEEE Trans, koto mat, Contr., W9, Vol kC-Zi, iloj,p.

160. King, C.A. A braph-Ueoretic Programmina1.nauaae.-In: ftraph Theory and Computing.N-h Academic Press, WZ, p. 63-*5.

161. Lin C.T. Structural controUalitity.-IiEBTwns.

162. Automat.Contr., /W, Vol AC-(9, A/o.3,p. ZOl-208.

163. LLskovb. An Introduction ioCLV.-lnz HevT

164. T)iredlons in Algorithmic Languages -t9?S.Roc£jfu€ncort: XRJ A, p. m-456.175. liskovb., Snyder A., Atkinson R., Schatfert C. Abstraction Mechanisms in CLV.-Communicationsof He A CM, Wf, Vol. ZO, tio.8, p. 56

165. Liskofb. et ai. CLU Reference ManuaLberlin etc. : iprlntjer, 1984.- flip.

166. Rheinioldi MX., Basili V.R., Mesttengi C.K. On a Programming Language for Graph Algorithms.—61 r, WZ7 Vol. /2 Jo. p. 220-m.

167. Rosenhra R.C. A User's faide to EHPORT-V.-H-l: Vofin VllUy, *W.-Wp.181. 5amm et IE. Roster of Programming Langua^er |or Wt.- Computing Reviews, 1M, VoLi5Jo.^,p. W-M.

168. Sammet IE. Roster of Programming Languagers ¡or MM- W5.~ Communications of the ACM, W6, Vol. WJo.tt, p. 655-669.

169. Thissen W. Investigations into the V/orld3 Model: Me Capital and Res our et íu6systen¿.-TEEE Transactions on Systems, Man, and Cyêernetics, W6, Vol. 6, Ato. 6, p.

170. WuW k/.A., London R.L, $hav/ft. An Introduction to the Construction and Verification ofr-Alpfiard Programs.- IEEE Transactions on Software Engineering W6, Vot.Z, Ño.p.25S-Z61

171. Ztoojf M.M.,de JonpS.P. 3he System fir business Automation ($BA): Programming Language,Communications efr the ACM,{9WfVol.20, tío. 6,p. 325-336.

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