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

• Манвелян, Армен Рафаелович
• кандидат технических наук
• 1983

Оглавление диссертации кандидат технических наук Манвелян, Армен Рафаелович

ВВЕДЕНИЕ

ГЛАВА I.

1.2 1.

Выводы по

ГЛАВА П.

Выводы по

ГЛАВА Ш.

АНАЛИЗ СУЩЕСТВУЮЩИХ СРЕДСТВ ИНФОРМАЦИОННОГО ОБЕСПЕЧЕНИЯ ПРИКЛАЛДЫХ ПРОГРАММ АВТОМАТИЗИРОВАННЫХ СИСТЕМ ОБРАБОТКИ ДАННЫХ

Автоматизированная система плановых расчетов как средство управления социалистической экономикой

Анализ структур АСОД и возможность их использования в АСПР

Автоматизированный банк данных как составная

часть АСПР :

Анализ форм поддерживаемых СУБД моделей данных

Анализ языковых средств информационного обеспечения и проблемы их реализации первой главе и постановка задачи исследования

МЕТОДЫ ОРГАНИЗАЦИИ СТРУКТУР ХРАНЕНИЯ ДАННЫХ В ИНФОРМАЦИОННЫХ БАЗАХ АСПР Выбор и обоснование формы концептуальной модели БД в условиях ее функционирования в составе АСПР

Выбор и обоснование формы физической организации БД

Определение оптимальных значений параметров алгоритма размещения данных на ВЗУ

Методика определения оптимального состава инвертированных списков данных второй главе

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

3.1 Схема реализации языкового интерфейса между пользователями АСПР и СУБД

3.2 Алгоритмы планирования процедур реализующих поисковые предписания непроцедурных языков

3.3 Процедурные языки общения с АБД и некоторые вопросы их реализации

Выводы по третьей главе

ГЛАВА 1У. РАСПОЗНАВАНИЕ И ИНТЕРПРЕТАЦИЯ ДИРЕКТИВНЫХ ТЕКСТОВ АСПР

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

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

4.3 Метод ускорения процесса распознавания информационных языков

Выводы по четвертой главе

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

Решениями ХХУ, ХХУТ съездов, а также постановлениями ноябрьского 1980 г. пленума ЦК КПСС намечена обширная программа совершенствования планового управления социалистической экономикой, охватывающая все аспекты этой многогранной проблемы. В этой связи за последние годы значительно возрос объем плановой работы? расширился круг планово-экономических задач, решаемых в процессе составления государственных планов и контроля за ходом их выполнения. При этом стали актуальными такие задачи, качественное и своевременное решение которых невозможно традиционными методами, без широкого применения экономико-математического моделирования* современных методов и средств обработки данных. Следовательно, стало насущной необходимостью использование ЭВМ при составлении народнохозяйственных планов.

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

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

Отличительной особенностью АСПР, выделяющей их среди автоматизированных систем обработки данных (АСОД), является необходимость обеспечения:

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

- удобства непосредственного общения с АСПР пользователей различной квалификации;

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

- эффективности функционирования системы в условиях большой динамичности объемов и структур хранимых в АСПР данных.

Накопленный опыт создания АСОД традиционными средствами показал, что продолжительность их разработки составляет при общей стоимости 0,5-^8 млн. рублей от трех до пяти лет;1 что примерно соответствует времени морального старения принятых при их проектировании основных научно-технических решений.

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

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

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

Для достижения этой цели необходимым является решение следующих основных задач:

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

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

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

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

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

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

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

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

- предложена схема распознавания информационных языков, позволяющая их простую модификацию в процессе эксплуатации

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

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

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

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

Работа состоит из четырех глав; заключения и приложений.

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

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

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

В четвертой главе представлены: метод распознавания и интерпретации предложений информационных языков*,' структура и алгоритм функционирования разработанной на его основе языковой подсистемы средств информационного обеспечения; состав операторов метаязыка;3 а также метод ускорения процесса распознавания и реализованной на его основе алгоритм.'

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

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

ВЫВОДЫ ПО ЧЕТВЕРТОЙ ГЛАВЕ

В данной главе рассмотрены вопросы разработки подсистемы распознавания и интерпретации директивных текстов пользователей.

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

Разработанный внутренний язык системы позволяет:

- описывать допустимые грамматические конструкции используемых ИЯ в форме, близкой к ЕНФ;

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

- при общении на информационных языках использовать синонимы хранящихся в БД системы идентификаторов "понятий";

- обеспечивать простоту и достаточную глубину семантического анализа за счет наличия в нем средств манипулирования РД БД;

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

-управлять моментами подключения семантических (интерпретирующих) подпрограмм.

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

Язык не ограничивает сложность описываемых с его помощью грамматических конструкций ИЯ.

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

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

ЗАКЛЮЧЕНИЕ

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

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

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

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

- представлять в БД существующие между реальными объектами отображаемой ПО сложные и разнородные взаимосвязи в форме,- которая делает возможным эффективный контроль и доопределение запросов пользователей к БД;

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

Аналогичность структур разделов знаний и данных позволяет использовать единый механизм манипулирования данными хранящимися в обоих разделах и обеспечить компактность хранения данных путем выделенного хранения у "понятий" РЗ общих для их экземпляров данных.

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

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

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

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

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

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

7. На основе предложенного метода распознавания директивных текстов пользователей разработан внутренний язык системы, позволяющий: а) описывать допустимые грамматические конструкции исполь зуемых информационных языков в форме, близкой к ЕНФ; б) обеспечивать простоту и достаточную глубину семантического анализа за счет наличия в нем средств манипулирования РЗ, БД; в) обеспечивать возможность повышения эффективности распознающих программ как за счет совмещения этапов синтаксического и семантического анализа, так и комбинирования различных методов грамматического разбора; г) управлять моментами подключения семантических (интерпретирующих) подпрограмм. Это дает возможность описывать на данном языке алгоритмы очередности подключения программных модулей АСПР в легко модифицируемой форме;

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

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

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

Разработанные методы и средства информационного обеспечения прикладных программ применяются в настоящее время в ВЦ Академии наук Армянской ССР в п/я А 3908, в ЕНПВНИИЭГАЗПРОМ и ИНЭУМ.

Внедрение результатов подтверждаются соответствующими актами (приложение 6).

Список литературы диссертационного исследования кандидат технических наук Манвелян, Армен Рафаелович, 1983 год

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

2. Абрамян А.А. Главный труд Канта. Ереван: Айастан, 1981. - 68с.

3. Авен И.О. Что такое АСУ? -М.: Наука, 1981. 171с.

4. Автоматизированная система плановых расчетов /Под ред. Лебединского Н.П. -М.: Экономика, 1980. 375с.

5. Алексеев О.Г., Бабаев А.А. Метод ветвей и границ в задаче распределения массивов по уровням памяти ЭВМ. Управляющие системы и машины, 1978, № I, с.55-97.

6. Альберт А. Регрессия, псевдоинверсия и рекурсивное оценивание. М.: Мир, 1977.- 220с.

7. Андон Ф.И. и др. Основные положения системы управления базами данных "ОКА". -Управляющие системы и машины, 1977, № 2, с. 72-93.

8. Арлазаров В.Л., Емельянов С.Е., Шаринов А.Н. Сравнительное описание программных средств вывода. -В кн.: Алгоритмы и организация решения экономических задач. М.: Статистика, 1977, вып. 10, с.59-69.

9. Арлазаров В.Л. и др. Информационная система ИНЭС. -Автоматика и телемеханика, 1979, № 6, с.109-121.

10. Баннов В.А. и др. Интерактивная программа обработки запросов для системы ОКА. -В кн. Вопросы проектирования банков данных. Киев, Наукова-думка, 1977, с.3-8.

11. Безруков Н.Н. Модификация языка Флойда-Эванса. -Программирование, 1979, № 4, с.53-64.

12. Белинский А.С., Микулин Л.И., Найденова Е.Я., Чер-воненкис А.Я. Диалоговая информационно-справочная система для планирования и управления в транспортных системах "ДИСПУТ". -Автоматика и телемеханика, 1981, А^ 3, с.152-162.

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

14. Белобродский А.В. Информационно-поисковая система широкого применения. -^Управляющие системы и машины, 1978, №5, с.35-39.

15. Белоногов Г.Г., Богатырев В.П. Автоматизированные информационные системы. М.: Сов.Радио, 1973. -273с.

16. Бесшапов В.П., Шарков С.В. Системы представления лингвистических знаний. -В кн.: Вопросы кибернетики. М. :АН СССР, 1979, с.17-24.

17. Биркгоф Г., Барти Т. Современная прикладная алгебра. -М.: Мир, 1976. -400 с.

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

19. Брябрин В.М., Веселов Е.Н., Сенин Г.В. Реализация модельной базы данных. -М.: ВЦАН СССР, 1979. -20с.

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

21. Брусенков И.В., Михалкин В.г., Пурвин Ю.В., Окулов М.С. Программная система управления базами данных СИНБАД. -В кн.: Алгоритмы и организация решения экономических задач. М.: Статистика, 1975, вып. 6, с. 74-90.

22. Будячевский И.А., Виттих В.А. База данных для систем автоматизации экспериментов, Управляющие системы и машины, 1979, № I, с.24-27.

23. Бунаков В.Ю., Фомина А.Л. Некоторые проблемы математического обеспечения АСУ на современном этапе. -В кн.: Алгоритмы и организация решения экономических задач. М.: Статистика, 1978, вып. II, с. 5-19.

24. Вангарден Ф. Трансляция языков программирования. -М.: Мир, 1977. 190с.

25. Вентцель Е.С. Теория вероятностей. -М.: Наука,1969.576с.

26. Вентцель Е.С., Овчаров Л.А. Теория вероятностей. -М.: Наука, 1973. -365с.

27. Вельбицкий И.В. и др. R -технологический комплекс программиста БЭСМ-6. -Управляющие системы и машины, 1976, с. 29-33.

28. Вельбицкий И.В., Ковалев А.Л. Метасистема СТЭЛЗ. Принципы эволюционного развития языков программирования. -Управляющие системы и машины, 1980, № I, с. 56-60.

29. Вербитский В.Л. Система лингвистического анализа в естественно-языковой диалоговой системе. В кн.: Проектирование интеллектуальных систем. М.: Атомиздат, 1980, с.З-П.

30. Виноград Т. Программа, понимающая естественный язык. -М.:Мир, 1976, -290с.

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

32. Вольфенганген В.Э., Кузин Л.Т., Саркисян В.И. Реляционные методы проектирования банков данных. -Киев: Вища школа, 1979. -I84c.

33. Гендель Е.Г., Левин М.А. Оптимизация технологии обработки информации в АСУ. -М.: Статистика, 1977. -238с.

34. Гладун В.П., Сакунов И.А. Организация словаря в обучаемых системах обработки текстов естественных языков. Кибернетика, 1981, № 4, с. 125-129.

35. Гречко В.О. Система управления базами данных "Поиск".-Управляющие системы и машины, 1978, № 5, с.58-63.

36. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. -М.: Мир, 1975. -544с.

37. Грасуолд Р., Попонски И., Поудж Дж. Язык программирования СН0Б0Л-4. -М.: Мир, 1980. -268с.

38. Гришина Т.М., Пирин С.И., Серебряков В.А. ЯРУС расширяемая система программирования. -В кн.: Теория языков и методы построения систем программирования: Труды симпозиума. -Киев, Алушта, 1972, с.72-76.

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

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

41. Джад Д. Работа с файлами. -М.: Мир, 1975. -144с.

42. Додонов С.Б. Принципы построения проблемно-ориентированных САПР в машиностроении. Кибернетика, 1981, № I,с. 55-59.

43. Дубовская Н.И. TRA -Метаязык для построения языковых процессоров. Кибернетика, 1981, № 3, с.97-104.

44. Дудкина Л.В., Сумарокова Т.Н. и др. Система управления базой данных "БАНК". В кн.: Алгоритмы и организация решения экономических задач. М.: Статистика, 1976, .№ 8, с.76-94.

45. Жуков О.В. Генерация пакетов программ. В кн.: Магттематическое обеспечение ЭВМ и АСУ. М.: МЭСИ, 1977, с.50-59.

46. Зайцев Н.Г. Общесистемное математическое обеспечение ЭВМ третьего поколения для обработки данных. М.: Статистика, 1980. - 224с.

47. Замулин А.В. БОЯЗ язык программирования, ориентированный на работу с базами дцнных. - В кн.: Алгоритмы и организация решения экономических задач. М.: Статистика, 1978, вып. 12, с. 40-67.

48. Заполоцкий Д.Е., Карпенко С.М., Кузин Л.Т., Песков В.И., Штейман Д.М. Принципы построения и архитектура пакета прикладных программ. Управляющие системы и машины, 1978, А'з I, с. 8-14.

49. Золотарев А.Е., Пергудов А.И. О принципах построения ИПС с динамическим развитием инверсной схемы поиска. Программирование, 1978, № 2, с.33-37.

50. Ивличев В.П., Тупченко А.В. Некоторые вопросы разработки программного обеспечения диалоговых систем. Управляющие системы и машины, 1978, № 5, с. 42-47.

51. Игцатенко Б.В., Павловский В.И., Самофалов К.Г. Язык комуникация и обработка данных информационной системы КОД. -Электронное моделирование, 1980, № 2, с.28-34.

52. Ильинский Н.И., Кузин Л.Т., Стрижевский B.C. Интеллектуальная система программирования. М.: АН СССР ИСПКП "Кибернетика", 1980. -32с.

53. Информационные системы общего назначения /Под ред. Ющенко Е.Л. -М.: Статистика, 1975. -470с.

54. Калисниченко Л.А., Рамъялг А.Е. Логика отображения сетевой модели данных в реляционную. Программирование, 1979, № 2, с.73-83.

55. Карпов В.Г., Эпельштейн В.В. Автоматическое построение алгоритмов решения одного класса задач, описанных на языке соотношений. -В кн.: Методы оптимизации и их приложения. Иркутск: СЭИ, 1974, с.112-149.

56. Касаткин A.M. О представлении знаний в системах искусственного интеллекта. -Кибернетика, 1979, № 2, с.57-65.

57. Катков В.А., Рар А.Ф. Программирование на языке ЭПСИЛОН. -Новосибирск: Наука, 1972. -137с.

58. Катцан Г. Операционные системы. -М.: Мир, 1976. -471с.

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

60. Кембел-Келли М. Введение в макросы. -4/1.: Сов. радио, 1978. -150с.

61. Кендалл М.Дж., Стыоарт А. Статистические выводы и связи. -М.: Наука, 1973. -878с.

62. Когаловский М.Р., Когутовский В.В., Макальский К.И., Виноградов М.М. Мультимодельная система управления базами данных МУССОН. -В кн.: Прикладная информатика. М.: Финансы и статистика, 1981, вып. I, с.211-228.

63. Коган Б.И. Синтаксический анализ контекстно-свободних грамматик с использованием отношений старшинства. -Кибернетика, 1982, № I, с.69-74.

64. Козьмин А.А. Представление знаний в системе интеллектуального доступа к данным на основе прагматизаций семантических процедур. -М.: АН СССР НСПКП "Кибернетика", 1980. -23с.

65. Корн Г., Корн Т. Справочник по математике. -М.: 1977. -831с.

66. Королев Э.И. Системные требования к лингвистическому обеспечению автоматизированных информационных систем. Научно-техническая информация, серия 2, 1981, 1J? 10, с.1-5.

67. Коссо В.П., Кузнецов И.Е., Сумарокова Т.Н. ПАРМА -сетевая СУБД на основе рекомендаций КОДАСИЛ. -В кн.: Прикладная информатика. М.: Финансы и статистика, 1981, вып.1, с.104-117.

68. Котов Р.Г., Якушин Б.В. Языки информационных систем. -М.: Наука, 1979. -304с.

69. Кочин Ю.Я. Организация инвертированного поиска в динамических массивах. -Автоматика и телемеханика, 1980, № 5, с.164-171.

70. Красилов А.А. Система команд машины грамматического разбора. -Программирование, 1978, № 2, с.17-25.

71. Кузин Л.Т. Интеллектуальные банки данных. -В кн.: Вопросы кибернетики. М.: АН СССР НСПКП "Кибернетика", 1979, с.5-16.

72. Кунце Ю. Введение семантических критериев в синтаксические правила. Научно-техническая информация, серия 2, 1981, № 6, с.30-^3.

73. Лавров С.С., Капустина Е.Н., Селюн М.И. Расширяемый язык АЕВ. -В кн.: Обработка символьной информации. М.: ВЦ АН СССР, 1976, вып. 3, с.49-63.

74. Леч Ю. Из опыта автоматизированной реализации на ЭВМ специальных языков при помощи системы ДЕПО. -Жур. Вычислительной техники и математической физики, 1976, № 2, с.37-39.

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

76. Литвинов В.А. Некоторые методы обработки файлов в памяти прямого доступа и оценка их эффективности. -Управляющие системы и машины, 1978, 1з5, с. 12-19.

77. Литвинов В.А., Крамаренко В.В. Организация информационной базы для стандартной процедуры проверки совместимости данных (логического контроля). -Управляющие системы и машины, 1979, № 4, с.27-32.

78. Лобуш И.Х. Некоторые замечания о представлении знания в системах обучения /Труды 1У Международной объединенной конференции по искусственному интеллекту, р.10. Применение искусственного интеллекта. М., 1975, с. 10.103-10.ИЗ.

79. Любимов Ю.Б. Математическое обеспечение для организации информационных связей между задачами АСУ. -Управляющие системы и машины, 1978, М, с.38-41.

80. Майерс Т. Надежность программного обеспечения. -М.: Мир.1980. -360с.

81. Маккиман У., Хорнинг Дж., Уотерман Д. Генератор компиляторов. -М.: Статистика. 1980. -527с.

82. Манвелян А.Р. Программный блок распознавания и интерпретации текстов информационных языков автоматизированных систем обработки данных. -Информационный листок серия 1306.01, Ереван: АрмНИИИНТИ, 1982.

83. Манвелян А.Р. Система управления словарной базой. -Информационный листок серия 1302.02, Ереван: АрмНИИНТИ, 1982.

84. Манукян Э.Н., Манвелян А.Р. Архитектура и возможностинедетерминированной базы данных, поддерживаемой в диалоговой информационной системе "АНИ", -Известия АН АрмССР, серия технических наук ХХХ1У, 1981, № 5, с.42-46.

85. Манукян Э.Н., Манвелян А.Р. Организация размещения данных на внешних запоминающих устройствах в автоматизированных системах обработки данных. -Труды ЕрПИ им. К. Маркса, серия АВТ, 1980, вып. 5, с.65-75.

86. Манукян Э.Н., Манвелян А.Р., Карапетян К.Г. Метод ускорения процесса распознавания текстов директивного характера в диалоговых системах. -Вопросы радиоэлектроники; серия ЭВТ, 1980, вып. 15, с.120-125.

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

88. Матулис В.А., Чаплинскас А.А. Базовая система "ВИЛЬНЮС" для построения пакетов программ сетевого планирования и управления. В кн. Вопросы обработки данных на базе ЕС ЭВМ. -М.: 1977, с.56-58.

89. Маурер У. Введение в программирование на языке ЛИСП. -М.: Мир, 1976, 104с.

90. Махотенко Ю.А. Информационное обеспечение систем автоматизированного проектирования новой техники. Научно-техническая информация, серия 2, 1981, МО, с.11-16.

91. Медник С., Донован Дж. Операционные системы. -М.: Мир, 1978, 792с.

92. Мелещук С.В. Об одном типе контекстных условий языков программирования. -Программирование, 1979, №1, с.26-30.

93. Мидоу Ч. Анализ информационных систем. -М.: Прогресс,1977.

94. Микулич Л.И. Диалог в автоматизированных системах планирования. -В кн.: Проблемы планирования в транспортных системах. М.; Ин^г проблем управления, 1976, с.83-101.

95. Михалевич B.C., Бакаев Л.А., Крамаренко Р.П. Интегрированная система организации данных для решения задач анализа транспортных сетей. -Киев: ИК АН УССР, 1977.-30с.

96. Михелев В.М., Вершубский В.Ю. АСТРА язык для записи алгоритмов системного программирования и трансляции. -М.:1. ИБМ АН СССР, 1974. -30с.

97. Москаленко В.М., БАЗИС базовая информационная система для ЭВМ М 4030. -Приборы и системы управления, 1975, №1,с.18-23.

98. Мэристэ М.Б. Методы реализации атрибутных схем в системах построения трансляторов (обзор). -Программирование, 1980, №5, с.40-49.

99. Мясников В.А. Задачи и перспективы развития производства и использования вычислительной техники в народном хозяйстве страны. -В кн.: Алгоритмы и организация решения экономических задач. М.: Статистика, 1979, вып. 13, с.6-28.

100. Мяснянкина В.в., Жерносек Л.М. Пакет прикладных программ автоматизации документирования выходной информации на базе ОС ЕС ЭВМ (ППП АДИ). -В кн.: Алгоритмы и организация решения экономических задач. М.: Статистика, 1978, вып. 12, с.67-78.

101. Одриковский Н.И. Некоторые вопросы организации информационной базы в задачах машинного проектирования АСУ. -В кн.: Вопросы системного программирования. Еиев. 1977, с.73-82.

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

103. Парасюк И.Н., Сергиенко И.В., Тукалевская Н.И. Универсальная система обработки данных на ЭВМ (система УСОД).

104. Управляющие системы и машины., 1974, №2, с.59-64.

105. Парницкий В.И. Об организации многоатрибутных файлов. ^Кибернетика, 1981, №5, с.29-33.

106. Пейган Ф. Практическое руководство по АЛГОЛ-68. -М.: Мир, 1978. -240с.

107. Перегудов А.Н. Структура и программное обеспечение информационно-поисковой системы с динамическим развитием инверсной схемы поиска. Дис. . канд.тех.наук. -М.: 1979. -171с.

108. Поспелов Г.С. Искусственный интеллект и АСУ. -В кн.: Вопросы кибернетики. М.: АН СССР НСПКП "Кибернетика", 1977,с. 27-34.

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

110. Прямкова Р.Г., Ройтман А.И. Некоторые вопросы разработки программного обеспечения систем обработки данных на базе системы "ОКА". -В кн.: Вопросы обработки данных на базе ЕС ЭВМ. М.: Энергия, 1978, с.-30-32.

111. Пурвин Ю.В., Михайлов Ж.А., Демидов И.В., Циган-ков Ю.И. Система управления базами данных СЕДАН. -М.: Финансы и статистика, 1981. -101с.

112. Размыслов Ю.П. Язык VSLM в реляционной модели Кодда. -В кн.: Алгоритмы и организация решения экономических задач. М.: Статистика, 1978, вып. II, с.20-25.

113. ИЗ. Расторгуев Г.Г. Отбор информации из автоматизированных банков данных и возможности его оптимизации. -Управляющие системы и машины, 1979, №6, с.41-47.

114. Руденко 10.М., Семенов А.П., Сертун В.А. Проектирование языка запросов с использованием RFK. -Управляющие системы и машины. 1980, Щ, с.99-102.

115. Руднев Е.А., Рыбаков Ф.П. Организация и реализация пакета программ для ввода данных на естественном языке. -Управляющие системы и машины, 1980, № I, с.114-116.

116. Савинков В.М. и др. Использование систем управления базами данных в АСУ (краткий обзор). -В кн.: Алгоритмы и организация решения экономических задач. М.: Статистика, 1979, ЩЗ, с.29-38.

117. Савинков В.М., Соколова Р.А. Основные положения языка РПГ-32. -В кн.: Алгоритмы и организация решения экономических задач. М.: Статистика, 1973, вып. 2, с.44-57.

118. Самедова М.А. Алгоритм и программная реализация семантико-синтаксического анализа нормализованных текстов. -Программирование, 1978, №2, с.38-48.

119. Сахацкая В.Б., Хорхолюк И.В., Элланская Л.В. Основные средства и возможности системы IMS/2 -В кн.: Информационные системы с базами данных сложной логической структуры. Киев.:

120. ИК АН УССР, 1976, с.25-36.

121. Сенин Г.В. Анализ естественного языка под управлением семантической сети. -М.: АН СССР НСПКП "Кибернетика", 1980.-27 с.

122. Сенин Г.В. Ленгвистический процессор для работы с прикладными базами данных. -В кн.: Банки информации для принятия решений. М.: ВЦ АН СССР, 1976, с.97-103.

123. Сергиенко И.В., Стукало А.С. и др. Структура и организация ППП статистической обработки данных на ЕС ЭВМ. -Программирование, 1980, М, с.48-54.

124. Собельман В.И., Старчеус Т.М. Средства печати таблиц в системе обработки данных. -В кн.: Алгоритмы и организациярешения экономических задач. М.: Статистика, 1978, вып. 12, с.12-25.

125. Солтон Дж. Динамические библиотечно-информационные системы. -М.: Мир, 1979. -550с.

126. Столяров Г.К., Дрибас В.П. Основные требования к банкам данных. -^Управляющие системы и машины, 1974, №2, с.40-48.

127. Турчин В.Ф. Метаалгоритмический язык. -Кибернетика, 1968, JM, с.29-32.

128. Уинстон П. Искусственный интеллект. -М.: Мир, 1980. -519с.

129. Филиппова М. Об одном методе реализации динамически возникающих ассоциация в иерархических и сетевых базах данных. -Кибернетика, 1980, В2, с. 100-103.

130. Фридлендер Ф.Л., Савинков В.М. Пакет прикладных программ СУБД НАБОБ. -В кн.: Алгоритмы и организация экономических задач. М.: Статистика, 1978, вып.12, с.25-40.

131. Фу К.С. Структурные методы в распознавании образов. -М.: Мир, 1977.-319с.

132. Халилов А.И. Некоторые вопросы организации баз данных в сложных системах автоматизированного управления. -Кибернетика, 1981, ЖЗ, с.40-45.

133. Химмельбау Д. Прикладное нелинейное программирование. -М.: Мир, 1975. -534с.

134. Хомский Н. Формальные свойства грамматик. В кн.: Кибернетический сборник. Новая серия. М.: Мир, 1969, вып. 6, с.65-98.

135. Хомский Н. Трим модели описания языка. -В кн.: Кибернетический; сборник. М.: Иностранная литература, 1961, вып. 2,с. 237-266.

136. Хопгуд Ф. Методы компиляции. -М.: Мир, 1972, -160с.

137. Цаленко М.Ш. Реляционные модели баз данных. -В кн.: Алгоритмы и организация решения экономических задач. М.: Статистика, 1977, вып. 9, с. 18-34.

138. Шенк Р., Абельсон Р. Сценарий, планы и знание /Труды ГУ Международной объединенной конференции по искусственному интеллекту. 6. Общение с ЭВМ на естественном языке. -М.: 1975, с. 6.208-6.220.

139. Штаркман B.C. Макропроцессоры /Труды Всесоюзного семинара по вопросам макрогенерации. -Тбилиси: 1975, с.107-112.

140. Шураков В.В. Основные понятия и классификация математического обеспечения. -М.: Статистика, 1974, 72с.

141. Юрчанко А.С. Об одном алгоритме динамического распределения памяти. -Кибернетика. 1981, Ж, с.45-54.

142. Юрченко А.С. Методы динамического распределения нестраничной памяти. -Управляющие системы и машины, 1978, №5, с.63-74.

143. MSI/X3/SPARC Study group on Date Base Management Systems "Interium report" FDT Buletin of G-CM SIGMOD 7, N 21, 140» 1975;

144. Antonaeci P. et. al. AQL: A problem-solving Query Language for relational data-base. IBM jorn. of res. develop., v. 22, N. 5, 1978, p. 541-559.

145. Ash W., Sibbey E. TRAMP An interpretive associative processor with deductive capabilities. Proc. AGM 23rd Nat Conf.» 1968.

146. Astrahan M.M. et. al. System R: Relational approach to database management. — Trans, on database systems, v. I,

147. N 2, aune* 1976, p. 97-137.

148. Bachman et. al. A general—purpouse programing systems for random aecoss memories. Proc. AFIPS 19b4 foil joint computer conference, v. 26, p. 411-422.

149. Blasgen H.W. et. al. System R: An architectural overview. IBM system Journal, 1981, v. 20, N I, p. 41-62.

150. Brooker R.A. et. al. The Compiler compiler. Ann. review. Automatic programming, 1963, N 3* p. 53-71.

151. Boehm B.W. Software engineering. IEEE trans, on comput. 1976, N 12, P. 1226-1241.

152. Chamberlin D.D. Relational data-base management systems. — Gomputong surveys,, 1976, v. 8, N I, p. 43—66.

153. Childs D. Descraptlon of a set theoretic data structure. Proс FICC v. 33, 1968.

154. Codd E.A. Farther normalization of data base relational model. — Couramt Computer Science symposia series,v. b, Englewood Cliffs. K.J. prentice Hall* 1972.

155. Codd E.A. Relational model of data for large shared data hanks. CACM, v. 13, N 6, 1970.

156. Cztarnik B. et. al. ZETA: A relational data hase management systems. — Proc. ACM pacific conference, San Francisco, April, 1975.

157. Data Base Task Group of CODASTL programming language commiteereport April* 1971.

158. Diane C.P. Smith Conversion and the CODASYL framework. International coference on very large data base. Morth Holland, 1978, p. 133-134.

159. Feldman J.A. A formal semantics for computer languages. CACM, v. 9, И t, 1966.

160. Feldman J.A., Rovner P. An Algol-based associative language. CACM, v. 12, N 8, 19 69.

161. Galler B.A., Perils A.J. A proposal for definitions In ALGOL. CACM, v. 10, N 4, 1967.

162. Garvlck J.V. GPL. At truly general purpose language. CACM, v. II, N 9, 1968.

163. Gibbons Т.К. et. al. DBMS: user experience In the USA. national Computing centre Limited, 1975, 81p.

164. Groshalz, ., Urbach B. GOLEM-2: e"n system zur Wiedergewinnung von information, Yerf'ahrenshbesdireibung. Siemens Schruftenreige. Data Praxis:, Bestell Nr. D 14/4317,

165. Irons E.T. Experience with an extensible language.-CACM, v. 13, N I, 1970.

166. Kalimichenko L.A. Toward data discription language for ffiata base with pertly determined schema. — IFIP TC-2 Working tecnical in dept evaluation of the DDL" 1975„Belgium.

167. Knuth D.E. Semantics of context free languages.-Management systems theory* 2, 2, 1968, p. 127-146.

168. Lenman H. Interpretation of Natural language in an information system. IBM Jpur. of res. develop, v.22, M 5, I978„ p. 560-572.

169. Lewis P.M., Eosenkrantz D.J., Stearns E.E. Attributed translations. — Journal of Computer and System Science„ 1974, v. 9, И 3, p. 279-307.

170. Manola F. A review of the 1978 CODASTL data-spa-sifications. — International conference on very large database. Nort Holland, 1978, p. 232-242.

171. Manola P. On relating the CODASYL database language and the ANSI/SPARC framework. — International conference on very large database. North Holland, 1978, p. 132.

172. Senko M.E. Data structures and data accessing in database systems. Past, present, future. IBM system Journal, И 3, 1977, p. 208-257.

173. Shmid H., Swanson J. On th.e semantics of the relational data model. Proc. ACM SIGMOD International conference on the management of data. 1975.

174. Siemens System 4004. SESAM. verfahrensbeschrei-bang Bestell - Nr D14/40031.

175. Tanaka K. Le Viet С et. al. A file organization suitable for relational database operations. Lect. Notes Computer Sei, 1979» 75, p. 193-227.

176. Taylor R.W., Prank R.H. CODASTL database management systems. ACM Computing syrveys. v. 8, И I, 1976,p. 67-104.

177. Whithey V.A. Relational data management system (EDMS). International system CIONS IY (ed. J.T. Tow) New York, Plenum Press, 1974.

178. Wite Y.R., Presser L.G. Structured language for tranclator constraction. ~ The Computer Journal, v. 18,1. N I, 1975.

179. Wulf W.A., Russel D.B.» Haberman A.N. BLISS a language for system programming. CACM, v. 14, 2 12, 1972, p. 780—790»

180. Zloof M. Query By Example. Proc. NCC 44, May 1975у p. 273-281.

181. СПИСОК ОСНОВНЫХ ОБОЗНАЧЕНИЙ

182. АБД Автоматизированный банк данных

183. АСПР — Автоматизированная система плановых расчетов

184. АСОД — Автоматизированная система обработки данных1. БД — База данных

185. ЕНФ — Бэкуса нормальная форма

186. ВЯС — Внутренний язык системы1. ИО Информационный объект1. ИС Информационная система1. ИЯ — Информационный языкмт — Множество, триадппп — Пакет прикладных программпо Предметная область

187. СП — Специальная программа

188. СУБД — Система управления базами данныхтмо — Теоретико-множественная операция

189. ЯМД — Язык манипулирования данными