Разработка проблемно-ориентированного языка программирования, основанного на процессном методе описания имитационных систем, и его реализация с использованием СУБД КОМПАС тема автореферата и диссертации по математике, 01.01.10 ВАК РФ

1. Введение

2. Проектирование проблемно-ориентированного языка программирования, основанного на процессном методе описания имитационных систем.

2.1. Обзор языка.

2.1.1. Массивы.

2.1.1.1. Идентификатор

2.1.1.2. Список.

2.1.1.3. Массив

2.1.1.4. Вырезки массива

2.1.1.5. Древовидное представление массива.

2.1.1.6. Массивы произвольного ранка.

2.1.2. Процессы.

2.1.2.1. Переменные процесса

2.1.2.2. Тело процесса.

2.1.2.3. Правило формирования тела процесса.

2.1.2.4. Данные процесса

2.1.3. Балансы

2.1.3.1. Тело баланса

2.1.3.2. Продукт баланса

2.1.4. Блоки

2.1.4.1. Процессы блока

2.1.4.2. Балансы блока

2.1.4.3. Общие переменные блока

2.1.5. Задачи

2.1.5.1. Критерий задачи

2.1.5.2. фиксация переменных

2.1.5.3. Размещение ЛП-массивов.

2.1.6. действия языка

2.2. Йотация и терминология.*.

2.3. Лексика.

2.4. Идентификаторы, имена, числа.

2.5. Определение синтаксиса и семантики основных операторов.

2.5.1. Оператор ПОСТАВИТЬ

2.5.2. Описание массива

2.5.3. Описание вырезок.

2.5.4. Описание вырезки.

2.5.5. Вырезка

2.5.6. Модификация списка.

2.5.7. Описание процесса

2.5.8. Данные

2.5.9. Описание числовых значений.

2.5.10. Значения элементов.

2.5. II. Описание баланса.

2.5.12. Описание переменных блока.

2.5.13. Общие блока

2.5.14. Описание блока

2.5.15. Описание задачи

2.5.16. Оператор ЗАМЕНИТЬ

2.5.17. Модификация баланса

2.5.18. Модификация блока

2.5.19. Оператор УБРАТЬ.

2.6. Методика моделирования на ПРИМе.

2.6.1. Язык схем.

2.6.2. Примеры моделей, описанных на ПРИМе.

2.6.3. Проведение имитационных экспериментов.

2.6.3.1. Смена параметров модели

2.6.3.2. Изменения в описаниях объектов блока.

2.6.3.3. Переход к нескольким расчетным периодам.

2.6.3.4. Смена критерия

2.6.3.5. Модификация описаний массивов.

2.7. дополнительные операторы

2.7.1. Дополнительные операторы автономного режима.

2.7.1.1. Оператор выдачи описания объектов.

2.7.1.2. Оператор печати содержимого базы данных системы.

2.7.1.3. Оператор запуска задачи на счет

2.7.2. Дополнительные операторы пред транслируемо го режима и;

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

2.7.2.2. Параметры процесса

2.7.3. Дополнительные операторы интерактивного режима.

2.7.3.1. Оператор массив

7.3.2. Оператор вырезка.

2.7.3.3. Оператор процесс.

2.7.3.4. Оператор данные

2.7.3.5. Оператор баланс

2.7.3.6. Оператор блок.

2.7.3.7. Оператор задача.

2.7.3.8. Оператор счет задачи

3. Разработка и реализация языка модуля терминального доступа и аппарата процедур баз данных СУБД КОМПАС.

3.1. Язык модуля терминального досюда СУБД КОМПАС.^

3.1.1. Общие правила и элементы ШВД

3.1.1.1. Генерация МВД

3.1.1.2. Вход и выход из МВД.

3.1.1.3. Ввод с терминала

3.1.1.4. Переменные, операнды

3.1.2. Операторы ЯВД

3.1.2.1. Операторы ЯМД.

3.1.2.2. Операторы ввода-вывода.

3.1.2.3. Операторы управления процессом вычислений.

3.1.2.4. Оператор запуска последовательности

ДУБНА - приказов

3.1.3. Реализация операторов ЯВД

• - . па

3.1.3.1. Организация библиотечных аапросов. " ВО

3.1.3.2. Реализация операторов ЯМД в Я1Щ.

3.1.3.3. Реализация операторов ввода-вывода

3.1.3.4. Реализация стекового механизма в операторах запуска и исполнение библиотечных запросов.

3.2. Аппарат процедур баз данных СУБД КОМПАС - механизм расширения стандартного ЯМД

3.2.1. Анализ предложений по процедурам БД

3.2.2. Аппарат процедур БД СУЕД ДОМПАС

3.2.3. Реализация аппарата процедур ЕД

4. Реализация ПРИМа с использованием СУБД КОМПАС

4.1. Проектирование логической структуры базы данных (схемы)

4.1.1. Отношения типа один ко многим.

4.1.2. Петлевой набор .^

4.1.3. Отношения типа многие ко многим.

4.1.4. Представление ориентированного графа.

4.1.5. Соответствие между описанием языка и схемой БД.

4.2. Этапы проектирования и реализации компилятора ПРИМа. 4.2.1. Проектирование схемы ПРИМа.^¡З

4.2.1.1. Подсхема массива.^

4.2.1.2. Подсхема процесса

4.2.1.3. Подсхема баланса

4.2.1.4. Подсхема блока.

4.2.1.5. Подсхема задачи

4.2.1.6. Целостность

4.2.2. Реализация основных операторов языка с использо -ванием аппарата процедур ВД . -^

4.2.3. Генерация ЛП-задачи

4.2.4. Реализация дополнительных операторов интерактивного режима.

4.2.5. Режимы использования компилятора.ПО

4.3. Описание экспериментальной версии компилятора. ПО 5. Заключение.

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

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

Развитие вычислительной техники шло совместно с совершенствованием методов исследования сложных систем. Естественным ито -гом этих разработок явилось возникновение новой научной дисциплины, получившей название ^системный анализ" [22] •

Особое место в методах системного анализа"занимает имитация. Под имитацией принято понимать изучение объектов исследования путем проведения экспериментов с реализованными на ЭВМ математическими моделями этих объектов [13J .

Обеспечить имитационный эксперимент (ИЭ) призвана имитаци онная система (ИС) [24] , следовательно, она должна содержать систему моделей, адекватно описывающую исследуемый объект с соответствующими алгоритмами их расчета, средства для описания вариантов моделей, вспомогательные, сервисные функции для наг лядного ведения экспериментов (средства визуализации и анали за полученного решения), а также единый (под все решаемые в ЙС задачи) банк данных.

Перечисленные требования к ИС определяют её архитектуру. Обычно выделяют следующие подсистемы [12] ;

- блок описания моделей и порождения новых вариантов;

- блок интерпретации полученных результатов: средства визуализации и анализа найденного.решения;

- блок верификации моделей: средства анализа адекватности модели исследуемому объекту;

- блок постоптимизационного анализа: средства для формального изучения модели.

Указанные блоки функционируют в рамках единой системы над общим банком данных» Каждый блок обладает своими средствами общения, предоставляемыми пользователю. Совокупность всех этих средств составляет входной язык ИС. Такой язык включает в себя язык моделирования (ЯМ) - на нем можно определять модели,порож дать новые варианты и представлять простейшим образом результаты расчетов. Основу ЯМ составляют два множества: множество объектов и множество действий. Программа на ЯМ, определяющая ИБ, -это последовательность описаний объектов и действий с ниш. Семантика описания объектов заключается в представлении математических соотношений модели (МСМ)»связывающих в виде равенств

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

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

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

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

ЯМ стали развиваться с начала 60-х годов с возникновением имитации как метода исследования сложных систем, поведение которых зависит от случайных величин. Поэтому первые языки моделирования: СИМСКРИПТ [42] , ГПСС [43,44] , СИМУЛА [8] , СЛЭНГ [б] были ориентированы на описание моделей дискретных событий. Основу этих языков составляют объекты, имеющие прямые аналоги в теории систем массового обслуживания. Различают постоянные и временные объекты - первые эквивалентны обннным переменным универсальных языков программирования, а вторые могут объединяться в списки - для этого в языке определены специальные операторы действия с временными объектами. Модель в таких языках моделирования описывается в виде совокупности событий, связанных по времени операторами управления. Результатом имитационного эксперимента является множество статистических характеристик, формируемых автоматически в процессе счета программы, описывающей данный ИЭ. Приведенные ЯМ отражают ранний подход к имитации, когда в процессе ИЭ случайным образом изменялись некоторые параметры ш-цели, а множество МСМ было неизменным на протяжении всего ИЭ, юэтому в таких языках моделирования отсутствуют шдирцирующие ¡действия. При необходимости изменить соотношения модели нужно написать новую программу. Что касается возможностей алгоритмической обработки первичных данных, то эти вопросы по-разному решены в перечисленных языках: СИМУЛА, как универсальный язык программирования, допускает произвольную алгоритмическую обработку первичных данных, а в остальных имеются средства для связи с подпрограммами, написанными на универсальных языках про -граммирования.

Все языки моделирования по виду определения МСМ можно разбить на два класса: в языках первого класса МСМ являются самостоятельными объектами языка, а для языков второго класса типично неявное представление МСМ,

В языке дМНАМО £ 34 ^модель описывается явно: программа на этом языке состоит из последовательности описания уравнений,причем одни и те же переменные мо1ут входить в разные уравнения. Специальный вид уравнений позволяет статически спланировать последовательность вычисления значений переменных модели.

Можно обобщить принцип явного описания модели - по такому пути пошли разработчики языка УТОПИСТ [26J - на этом языке допускается описание модели в виде совокупности произвольных алгебраических соотношений, в том числе и в виде неявных функций. После определения модели язык позволяет ставить задачи типа "найти значения каких-либо переменных при условии, что значения некоторых других фиксированы".

Современный подход к имитации складывался постепенно: сначала имитационные модели рассматривались как альтернатива оптимизационным моделям - и это не случайно, потому что первые системы, ориентированные на решение задач математического программирования, возникли с появлением трансляторов с универсальных языков программирования фОРЗРАН, АЛГОЛ и создавались в виде библиотек стандартных алгоритмов. Явным недостатком такой организации программ и данных является то, что библиотечные алгоритмы требуют для своей работы данные фиксированной структуры, поэтому для реализации какого-либо ИЭ с моделью необходимо в одной программе описать модель с использованием библиотечных алгоритмов, определив требуемые данные в требуемом виде, а затем далее описать сам ИЭ* Кроме того, сложность оптимизационных моделей (прежде всего вычислительная сложность поиска оптимального решения) смещает акценты работы с такими моделями.

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

Типичным представителем таких систем является ШШ [I ] • Ограниченностью такого подхода является то, что разработчик вынужден писать программы, реализующие ИЭ, на входном языке паке -та и, если он оказывается неудовлетворительным для решения каких-либо задач ИЭ, то возникает необходимость расширения языка пакета новыми возможностями - эта задача не всегда имеет прием-лимые решения.

Среди систем, ориентированных на решение задач математического программирования, наиболее развитыми являются системы линейного программирования [^1,2,7,45^, во-первых, вследствие простоты определения математических соотношений линейных моделей, во-вторых, из-за наличия эффективных методов решения линейных задач большой размерности.

Большинство систем таю го типа, например [I, 2.] , ориентировано на какую-либо стандартную форму записи задачи линейного программирования и тогда объектами входного языка системы так или иначе являются массивы правых частей, двусторонних ограничений на переменные, типов ограничений и типов переменных, матри -цы ограничений и так далее. Модель формируется в терминах опре -деления значений этих массивов.

В системе МАГИС2Р, реализованной в ВЦ АН СССР, применяется явный способ определения модели в виде обычных математических соотношений. Пользователь должен определить две процедуры: вычисления невязок и градиента, выполнить некоторые системные соглашения, и тогда система сгенерирует текст программы на АЛГОЛе [15 ] , которая будет реализовывать описанный вариант модели и ИЭ.'

Так как параметрам и переменным модели ставятся в соответствие переменные АЛГОЛ-про граммы, то при такой организации обработку первичной информации можно вести средствами АЛГОЛа.

С возникновением и развитием машин третьего поколения по -явились новые технические возможности для организации ЙЭ с оптимизационными моделями. От пакетной обработки к диалоговым системам - вот современное направление развития систем, ориентированных на решение задач математического программирования. Одними из первых систем такого типа были интерактивная система линейного программирования [45] и система диалогового планирования ДИСПЛАН [7] • Что касается диалоговых систем для решения задач нелинейного программирования (НЛП), то в [17] , оценивая пер -спективы развития таких систем для решения задач большой размерности (типичная ситуация для имитации), высказывается лишь предположение, что количество таких систем в ближайшие несколько лет возрастет, при этом подчеркивается необходимость прове -дения Экспериментальных работ в этом направлении. В [23]также отмечается необходимость тщательной проработки самого диалога, то есть тех средств, которые даются пользователю для оператив -ной работы.

Интерактивные системы НЛП находятся в настоящее время в стадии становления, однако уже разработаны ряд систем этого типа, например, ДМОО [ 25 ^ , НЕДОПТ [20] - интерактивная система, использующая систему НЕДИС [31] для описания имитационных моделей и их вариантов.

Приведенные интерактивные системы - новый шаг на пути к созданию средств, обеспечивающих ИЗ с оптимизационными моделями. Системы [20], [25] позволяют в диалоге менять те или иные параметры модели, более того, в ДИСО [25J разработаны специальные операторы, позволяющие управлять поиском оптимального решения, меняя методы оптимизации в процессе диалогового счета.

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

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

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

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

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

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

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

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

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

Особое место в этих вопросах занимает проблематика баз данных [9|, [19], £39] . Характеризуя отличия систем, поддерживающих :базы данных и файлы в [19] подчеркивается, что преимущества баз данных проявляются прежде всего в неизбыточности, независимости, взаимосвязанности данных, их защите и возможности одно -временного доступа из разных задач.

Указанные свойства систем баз данных позволяют проектиро -вать ИС на новой архитектурной основе. Рассмотрим преимущества такой организации ИС. Каждая подсистема ИС функционирует по своей подсхеме, выделенной из общей схемы данных ИС. Концепция схем и подсхем, разработанная в предложениях КОДАСИЛ [39] , наиболее близко отражает многоцелевую направленность ИС на использование данных различными группами пользователей при работе в соответствующих подсистемах ИС. Независимость программ, каждая из которых работает по своей подсхеме, позволяет автономно разрабатывать ИС, кроме того, при внесении новых свойств в систему ранее разработанные программные средства не изменяются.

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

Идея включающего языка оказала плодотворное воздействие на развитие практических систем баз данных [£?] • Первоначальные предложения КОДАСМ [39] по реализации языка манипулирования данными (ЯМД) как расширения какого-либо стандартного языка программирования на практике были заменены более простыми и не менее удобными средствами организации прикладной программы, в которую операторы ШД включаются текстуально. При такой ор -ганизации прикладная программа обрабатывается в два прохода: сначала она предтранслируется, а затем поступает на вход транслятора включающего языка. Передача данных из БД в прикладную программу и наоборот осуществляется через рабочую область, которая оформляется в прикладной программе по соответствующей подсхеме с учетом включающего языка, таким образом переменные рабочей области могут обрабатываться средствами включающего языка и, следовательно, обеспечивается алгоритмическая обработка первичных данных.

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

5. Заключение.

Работа посвящена проектированию проблемно-ориентированного языка программирования ПРИМ, основанного на процессном методе описания имитационных систем и его реализации с использованием СУВД КОМПАС. Основные результаты диссертации заключаются в следующем :

I. Разработан специализированный проблемно-ориентированный язык программирования ПРИМ. Объекты языка предназначены для определения линейных моделей, представленных процессными .схемами. Язык процессных схем наиболее близок к языку специалиста по моделируемой области, но не являющемуся математиком-программистом.

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

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

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

1.4. Компилятор ПРИМа может работать в трех режимах: пред-транслиру емом с включаюдим языком, интерактивном, автономном. Предтранслируемый режим удобен на этапах алгоритмической обработ

- из ки первичных данных и анализа полученного решения, когда описания объектов и действий на ПРИМе совмещаются с работой ва включающем языке в одной прикладной программе. В интерактивном режиме совместно с основными операторами языка можно использовать вспомогательные операторы, позволяющие вести диалог "по инициативе ЭВМ11. Автономный режим применяется, когда работа ведется только средствами ПРИМа, например, при масоовой загрузке базы данных системы новыми моделями*

2. Для реализации интерактивного и предтранслируемого режимов использования компилятора ПРИМа в СУВД КОМПАС разработаны и реализованы: язык модуля терминального доступа и аппарат процедур баз данных. Эти средства спроектированы как универсальные, настраивающиеся на конкретные подсхемы.

2.1. Язык модуля терминального доступа (ЯМВД) - расширение к языка манипулирования данными. Наряду с операторами ЯМД допускается использование следующих операторов:

- ввода-вывода;

- определения библиотечных запросов на ЯМЗД;

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

- управления процессом вычислений.

- запуска последовательности приказов мониторной системы ДУБНА.

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

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

3. Разработана методика проектирования проблемно-ориентированного языка программирования методом сведения всевозможных отношений между объектами языка к стандартным отношениям между объектами схемы. Проектирование схемы и языка представлено в виде последовательности итераций сведения представления объектов языка к объектам схемы и наоборот.

4. Реализована экспериментальная версия ПРйМа, включающая в себя:

- модуль, реализующий автономный режим использования компилятора с дополнительныпи операторами автономного режима;

- модуль, являющийся генератором ЛП-задачи со специализированным интерфейсом между СУЩ КОМПАС РгЛП/БЭСМ-б;

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

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

Кроме того, на ЯМТД реализованы дополнительные операторы интерактивного режима в виде библиотечных запросов. Что касается предтранслируемого режима, то допускается пработа по подсхеме ПРШа стандартными средствами СУВД КОМПАС.

Содержание диссертации докладывалось на:

1. Всесоюзном Симпозиуме "Автоматизация производства пакетов прикладных программ (Автоматизация производства трансляторов )м, Таллин, 1980.

2. Семинаре "Диалог в автоматизированных системах", ВДНТП, Москва, 1981.

3. Семинаре-совещании Мф'Ш с СЭИ АН СССР "По разработке методов и моделей текущего планирования и оперативного управления топливно-энергетическим комплексом", Москва, 1982.

4. Второй Всесоюзной конференции "Банки данных". Ташкент, 1983.

1. Богданов A.B., Демин Б,С, и др. Состав и функциональная характеристика пакета математического программирования. -Управляющие системы и машины, 1976, № 2, с. 40-42.

2. Бурова Н.К., Станевичене Л.И., Станевичюс А.-И.А., Шкляр П.Э. Система линейного программирования ЛП/£ЭШ-6.-М.: ВЦ АН СССР, 1981, 127 с.

3. Вейнеров О.М., Казаров М.С., Латышев М.И. Методы и средства автоматизации проектирования логических структур баз данных.-Зарубежная радиоэлектроника, 1980, № 2, с. 33-48.

4. Величко И.В. Система управления базами данных/ШЬМА. М.: ВЦ АН СССР, 1980, 71 с.

5. Вирт Н. Язык программирования ПАСКАЛЬ. Пересмотренное сообщение. В кн.; Алгоритмы и организация решения экономических задач. Вып. 9. - М.: Статистика, 1977, с. 52-86.

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

7. Глушков В.М., Олеярш Г.Б. Диалоговая система планирования ДИСПЛАН. Управляющие машины и системы, 1976, № 4, с.123-124.

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

9. Дейт К. Введение в системы баз данных. М.: Наука, 1980, 464<

10. Иванилов Ю.П. Процессное представление имитационных систем. I.- Изв. АН СССР. Техническая кибернетика, 1980, № 3, с. 12-25

11. Иванилов Ю.П. Ядро имитационной системы (упрощенный вариант).-Изв. АН СССР. Техническая кибернетика, 1980, № 4, с.12-20.

12. Иванилов Ю.Л. Элементы системного анализа, Долгопрудный, МФТИ, 1980, 83 с.

13. Иванилов Ю.П., Лотов A.B. Математические модели в экономике. М.: Наука, 1979, 304 с.

14. Иванилов Ю.П., Урахчин А.Ф. Описание языка процессной имитации (ПРИМ). М.: ВЦ АНСССР, 1984, 65 с. В печати.

15. Курочкин В.М. и др. Система БЭСМ-АЛГОЛ. Инструкция по программированию. М.: ВЦ АН СССР, 1974, 55 с.

16. Бобров A.B., Папиашвили М.Р., Тихомиров С.Е., Урахчин А.ф., Филиппов В.И. Сетевая СУБД КОМПАС-БЭСМ. Банки данных: Тезисы докладов Второй Всесоюзной конференции. Секция 2: Программное обеспечение банков данных. - Киев: ИК АН УССР, 1983, с. 132-135.

17. Лэсдон Л. Математическое программирование задач большой размерности. В кн.: Методологические основы и математические методы. T.I.-M.: Мир, 1981, с. 291-326.

18. Мазный Г.Л. Программирование на БЭСМ-6 в системе "Дубна".-М.: Наука, 1978, 272 с.

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

20. Марьянович Т.П., Петросян A.A., Распопов В.Б. Диалоговый метод в направленном имитационном моделировании. Кибернетика, 1978, № 3, с. 56-62.

21. Мияновский С.Д., Стогний A.A., Вопросы автоматизации проектирования баз данных. Управляющие машины и системы, 1979, № 6, с. 29-35.

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

23. Моисеев H.H. Математика ставит эксперимент. М.: Наука, 1979, 224 с.-24. Моисеев H.H., Евтушенко Ю.Г., Краснощеков П.С., Павловский Ю.М Имитационные системы. Экономика и организация промышленного производства, 1976, № 6, с. 39-45.

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

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

26. Олле Т.В. Предложения КОДАСйЛ по управлению базами данных.-М.: финансы и статистика, 1981, 286 с.

27. Пирин Р.И. Язык ПАСКАЛЬ монитор и его использование. -М.: ВЦ АН СССР, 1978, 55 с.

28. Серебряков В.А. Метапроцессор в системе ЛОРД. Обработка символьной информации № 2. М.; ВЦ АН СССР, 1975, с. 31-46.

29. Серебряков В.А., Урахчин А.ф. Организация диалогового управления ППП с помощью системы ЛОРД. Автоматизация производства пакетов прикладных программ (автоматизация производства тран1. V ■ « ' сляторов). Тезисы докладов. Таллин, 1980, с.144-148.

30. Система программирования НЩИС.- Киев, ИК АН УССР, 1975, ч. I, 205 е., ч. П, 189 с.

31. Урахчин А.Ф. Реализация языка процессной имитации (ПРИМ).

32. Филиппов Б.И. Реализация сетевой СУЩ на базе архивной системы МАРС-6. Управляющие системы и машины, 1980, te I, с. 103-106.

33. Филиппов В.И. Руководство по СУБД КОМПАС М.; ВЦ АН СССР, 1981, 46 с.

34. Филиппов В.И. Система управления базами данных КОМПАС. -В кн.: Прикладная информатика. № I. М.: финансы и статистика, 1982, с. 42-54.

35. Филиппов В.И., Урахчин А.ф. Язык модуля терминального доступа сетевой СУЩ КОМПАС. Материалы семинара "Диалог в автоматизированных системах". -М.: МДНТП, 1981, с.81-87.

36. Язык описания данных КОДАСИЛ, М.: Статистика, 1981, 183с.40. А^а^киы^ /14.Л4 .аЛ. R.

37. Л илЛ я^гПлалЛ-. -{у JbstaJa^Z.41. , eV. SG-QtTAL Si. /) a^jrbOcuM^ qJaAcl cbf+'u* к0"->

38. U^OSbesL oaaJ QesJiJefrUMbU} л/.f, р.5~£0-5~?Г

39. В-, jU^k^Sibz U. M. A JiAcyU^t'iH^ S>TNSC£lPr -Cjoouu^oj^c . IBM > T-743. yy^bdoH. . J. jfiuJL^o^ Zl^u^JtoJre^ . IBM ffrL^A T.J , ff.1jP.ii-3 i. , .

40. SasLuud^SL T. AJPSS III fl^-e^cuodcd J^mML^clZ puSLprO^ friAs^aJtn. . X2> Mfyb-he^ Т., ИгС. 4 t /I/. 3, 196$t />• J-?4-120

41. HS. SaJ-íiK. tJ-, ЛХг T.j (foU. PtiUi^ ^jfr^fbct^i^'uJ^ . flsfrï^tk Jd^rttoAMd /J^M ■46. Sl^ndcf^ Uj^ffU- ¿Ц. t^^ip. 1С.47. frh/ÍT /уз/S PMC ЪВ/^S Aé^^f J-fJ^^'^ !¿ef»b¿ F&r ÛruJUbAc'^ OVL Aw-UbHOù,I