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

ВВЕДЕНИЕ.

ГЛАВА I. ОБЗОР ПОДХОДОВ К ПОСТРОЕНИЮ МОДЕЛЕЙ ОБЪЕКТОВ И СРЕДСТВ МАНИПУЛИРОВАНИЯ ИМИ В АВТОМАТИЗИРОВАННЫХ

СИСТЕМАХ.

1.1« Особенности задач, решаемых человеком на начальных этапах исследования в САПР, АСНЙ, АСУ ТП . 10 1*2* Требования в моделям объектов в САПР, АСНИ и

АСУ ТП.

1.3. Требования к средствам манипулирования моделями объектов.

1*4. Декларативные представления знаний об объектах* • 23 1.5« Процедуральные представления знаний об объектах 31 1.6. Смешанные представления знаний об объектах

1.7* Выводы.

ГЛАВА 2. ФРЕЙМЫ ДЛЯ ПРЕДСТАВЛЕНИЯ МОДЕЛЕЙ СЛАБО СТРУКТУРИРОВАННЫХ ОБЪЕКТОВ

2.1. Возможности фреймов для представления модели предметной области в САПР .;.

2.2. Абстрактные модели слабо структурированных объектов и их интерпретация в САПР.

2.3. Разработка фреймовых структур для представления моделей объектов в базе знаний.

2.4. Исследование возможностей языка Р#/,/ЕС для представления моделей слабо структурированных объектов в базе знаний.

2.5. Вывода.

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

3.1 «Абстрактные модели проектных операций и проектных процедур

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

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

3.4. Исследование возможностей т^/ЕС для отображения проектных процедур в базе знаний.

3.5. вывода.

ГЛАВА 4. СРЕДСТВА ИНВАРИАНТНОГО ЯДРА САПР ДШ ПРЕДСТАВЛЕНИЯ ШДЕМ ОБЪЕКТОВ ПРОЕКТИРОВАНИЯ И МАНИПУЛИРОВАНИЯ ИМИ В СИСТЕМЕ ДйАСС

4.1. Требования к организации человеко-машинного диалога на начальных этапах цроектирования.

4.2. Организация человеко-машинного диалога в системе ДЙАСС .Ю

4.3. Алгоритм проектирования для задачи структурного синтеза ОП.

4.4. Программная реализация системы ДИАСС.

4.4.1. Программный блок АНАЛИЗАТОР.•••••• Ю

4.4.2. Программный блок СИНТЕЗ.

4.4.3. Программный блок ИНФОРМАТОР. III

4.4.4. Программный блок ПРОЕКТИРОВЩИК.

4.4.5. Программный блок ФОРМИРОВАТЕЛЬ-ОТВЕТА

4.5. Выводы.

ГЛАВА 5. ВОПРОСЫ ПРИМЕНЕНИЯ РЕЗУЛЬТАТОВ РАЗРАБОТКИ В

САПР и АСУ ТП.

5.1. Разработка фреймов структур базы знаний. Цб

5.2. Формирование ТЗ на синтез ОУ ЭВМ.

5.3. Программная реализация проектных процедур согласно методике вариантного синтеза ОУ ЭВМ.

5.4. Организация базы знаний и библиотеки прикладных црограмм в составе АСУ Ш сварки корпусных конструкций

5.5. Вывода.

В директивных материалах ХХУ1 съезда КПСС указывается, что решение задач 11-ой пятилетки предусматривает широкое внедрение автоматизации научно-исследовательских и проектно-конструкторских работ и производственных процессов. Однако в настоящее время в связи со все возрастающей сложностью исследуемых объектов увели -чивается и время создания автоматизированных систем научных ис -следований (АСНИ), систем автоматизированного проектирования (САПР), автоматизированных систем управления технологическими процессами (АСУ TÍI) .Отсюда следует требование повышения эффективности разрабатываемых систем (сокращение сроков и трудоемкости их разработки). Это можно достичь путем решения проблемы создания моделей исследуемых объектов и средств манипулирования моделями для всех этапов исследования - от начальных до заключительных. В решение указанной проблемы большой вклад внесли отечественные ученые: В.М.Глушков, В.А.Трапезников, В.Н.Скурияин, И.В.Прангш-вили, Г.С.Поспелов, Й.П.Норенков, К.Д.Жук, Э.Х.Тыугу, О.Л.Смирнов, А.И.Половинкин, В.В.Девятков, Д,А.Поспелов, О.И.Семенов, А.И.Сбло-довников, Г.С.Чхартишвили, В.В.Павлов и многие другие. Однако выполненные исследования не решили всех вопросов, связанных с этой проблемой. Так, в многочисленных работах, посвященных её решению (например, [2,3,4,5,6,7] ), обычно рассматриваются заключи -тельные этапы исследования или разработки, такие как.моделирование и оптимизация хорошо структурированных объектов. Задачи,возникающие на начальных этапах исследования,наиболее часто требуют создания моделей слабо структурированных объектов и сейчас в большинстве случаев решаются без привлечения ЭВМ на основе лишь опыта и интуиции исследователей. Такой подход не решает вопросов повышения качества и эффективности разрабатываемых изделий, а в некоторых случаях из-за ошибок, допущенных на начальных этапах, приводит к увеличению сроков исследования.

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

Эта задача была поставлена в соответствии с общесоюзной целе -вой программой 0.Ц.027 работ по САПР и АСНИ (задания 05.11 и 05.13) и комплексной целевой программой работ Минвуза СССР по САПР.

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

- наличие системы общения на ограниченном естественном языке (ОЕЯ) либо непроцедурном языке с пользователем, не имеющем специальной программистской подготовки;

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

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

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

В качестве средства представления моделей объектов предлагается использовать сети фреймов.

Из сформулированной цели вытекают следующие задачи:

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

2. Выработка требований к средствам описания и манипулирования моделями объектов на этапах создания и функционирования САПР,АСНИ и АСУ ТП.

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

4. Разработка функциональной структуры диалоговой автоматизированной системы структурного синтеза (ДЙА.СС).

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

6. Разработка программной реализации системы ДЙАСС.

7. Демонстрация возможностей системы на примере задачи синтеза операционных устройств ЭВМ,

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

Из анализа требований, предъявляемых к модели объекта проек -тирования Л МОП) и модели процесса проектирования (МПП) на начальных этапах проектного процесса, делается вывод, что для создания моделей объектов наиболее подходящим является аппарат смешанных представлений, а именно - фреймов.

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

Предлагается функциональная структура диалоговой автоматизированной системы структурного синтеза, входящей в инвариантное ядро учебно-исследовательских (ЗГИ) САПР МЭИ. Анализируется ст руктура МПО в базе знаний система и фреймовая организация МОП,

Исследуются возможности языков ЕС и /^¿/ЕС для представления формальных моделей объектов.

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

Обосновывается выбор конкретной методики проектирования на этапе синтеза структуры ОД и формулируются принципы программной реализации модели проектного процесса в целом.

Описываются и анализируются возможности языков IISP /ЕС и /7?//ЕС для представления модели проектного процесса в целом и унифицированных проектных процедур, обеспечивающих функционирование важнейших типовых метапроцессов работы с данными в САПР.

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

В пятой главе рассматриваются вопросы применения результатов разработки в САПР и АСУ ТП. Продемонстрированы возможности сис -теш ДЙАСС на примере задачи синтеза сумматора, приведен пример диалога в ходе проектирования этого устройства.

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

Выявлены классы задач, на решение которых ориентированы предложенные банк данных и библиотека программ.

Основные научные и практические результаты работы:

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

2. Дана интерцретадия введенных моделей в терминах фреймовых цредставлений. Показано, что использование языков И$Р/ЕС и с позволяет дать единые средства для описания моделей и манипулирования ими, существенно уцрощаадие их программную реализацию.

3. Сформулированы требования к средствам для представления мог " ' . делей ОД и МПО на начальных этапах проектирования. Показано, что этим требованиям удовлетворяют сети фреймов.

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

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

6. Предложена функциональная структура системы ДИАСС. Прог -раммная реализация системы выполнена на языках и Л?//ЕС на технических средствах ЭВМ ЕС-1033, алфавитно-цифровом дисплее ЕС-7920 в рамках ОС ЕС.

Возможности системы были цродемонстрированы на примере задачи структурного синтеза 07 ЭШ.

7. Система ДИАСС внедрена в Уй САПР МЭИ. Результаты работы : методика построения моделей объектов, принципы и алгоритмы диалогового взаимодействия пользователей и ЭШ внедрены в АСУ ТП сварки корпусных конструкций. Ожидаемый экономический эффект от внедрения 60 тыс.рублей.

5.5. Выводы

1. Для задачи синтеза ОУ ЭВМ разработаны фреймовые структуры базы знаний, описаны средства //^¿/ЕС, используемые при их разработке.

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

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

5. Программная реализация системы ДИАСС была выполнена на языке и /ЕС на технических средствах ЭВМ ЕС-ЮЗЗ алфавитно-цифровом дисплее ЕС-7920 в рамках ОС ЕС.

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

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

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

Было проведено исследование, заключающееся в анализе тенденций применения ЭВМ на начальных этапах исследования в САПР, АСУ ТП, АСНИ, разработке формальных моделей слабо структурированных объектов и их интерпретации для областей проектирования и технологической подготовки производства, выборе модели проектного процесса и средств программной реализации указанных моделей в САПР, и на данной основе - практической реализации системы ДЙАСС с демонстрацией ее возможностей на примере задачи синтеза ОУ ЭВМ.

Основные научные и практические результаты работы:

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

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

3. Дана интерпретация введенных моделей в терминах Дюймовых представлений, исследованы возможности программной реализации моделей данного класса объектов. Показано, что использование языков //<57?/ЕС и /ЕС позволяет дать единые средства для описания моделей и манипулирования ими, существенно упрощающие их программную реализацию,

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

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

6. Разработан и программно реализован алгоритм цроектирования дан задачи структурного синтеза объекта, позволяющий кроме названной решать задачи, связанные с перестройкой МПО и (или) баз данных пользователей.

7. Предложена функциональная структура системы ДИАСС. Программная реализация системы выполнена на языках //«5^/ЕС и

ВС на технических средствах ЭВМ ЕС-ЮЗЗ, алфавитно-цифровом дисплее ЕС-7920 в рамках ОС ЕС. Результаты работы использовались в САПР для синтеза операционных устройств ЭВМ и в АСУ ТП СКК цри определении структуры базы знаний.

8, Разработанные принципы автоматизированного построения моделей слабо структурированных найдут применение цри создании АСНИ, САПР, АСУ Ш. Система ДИАСС внедрена в УИ САПР МЭЙ. Результаты работы: методика построения моделей слабо структурированных объектов, принципы и алгоритмы диалогового взаимодействия пользовате лей и ЭВМ внедрены в АСУ ТП сварки корпусных конструкций. Ожидаемый экономический эффект от внедрения составил 60 тыс.рублей. Возможные направления продолжения данной работы:

1. Создание интерфейса между системой ДИАСС и библиотеками прикладных программных модулей, написанных на других языках црог-раммирования, широко использующихся в САПР: ФОРТРАНе, Р/ /I и т.д.

2. Развитие диалоговых средств системы.

3. Развитие программной реализации системы ДИАСС - реализация дерева синтеза ОП, дерева диалога в режиме формирования ТЗ на синтез ОП и т.д.).

1. Материалы Ш1 съезда КПСС.-М.: Политиздат, 1981. - 223 с.

2. Башмаков И.А., Гайфуллин Э.Ш., Климов В.Е. Некоторые проблемы организации и применения систем автоматизированного проектирования. -Тр. /Моск. энерг. ин-т, 1977, вып. 349, с. 5-14.

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

4. Гаврилов М.А., Девятков В.В., Пупырев Е.И. Логическое проектирование дискретных автоматов. Языки, методы, алгоритмы.- М.: Наука, Главная редакция физико-математической литературы, 1977. -352с.

5. Автоматизация поискового конструирования (искусственный ин-телект в машинном проектировании). /Под ред. А.Й.Половинкина. -М.: Радио и связь, 1981. 344с.

6. Дворянкин A.M., Половинкин А.И., Соболев А.Н. Методы синтеза технических решений. М.: Наука, 1977. 103с.

7. Павлов В.В. Математическое обеспечение САПР в цроизводстве летательных аппаратов. М.: 1978, МФТИ.- 67с.

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

9. Руководящий документ. Общие принципы разработки математи -ческих моделей объекта цроектирования.- М.: ВНЙИНМаш, 1979. -92с.

10. ГОСТ 23501.0-79. Системы автоматизированного проектирования. Основные положения. Введ. 01.01.80. - В кн.: ГОСТ 23501-79 и др., с. 1-5. Группа Т58 СССР.

11. Глушков В.М., Капитонова Ю.В., Летичевский A.A. О применении метода формализованных технических заданий к проектированию программ обработки структуры данных. Программирование, 1978,1. В 6, с. 3I-344.

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

13. Кузин Л.Т. Основы кибернетики. Т.2. М.: Энергия, 1979. -584с.

14. ГОСТ 23501.11-79. Системы автоматизированного проектирования. Общие требования к лингвистическому обеспечению. ^вед. 01.01.80. - В кн.: ГОСТ 23501.0-79 и др., с.5-10. Группа Т58 СССР.

15. SSocgEe G.R. у &xfoeritne/bts usiik a Deductitre,

16. Question, CLnsu/etln-g Pt&g-bctm,, Comm-. CUCM, 9,1965, p. p. 79Л ~ ?9S> 16 • Ra,p/hae£> ВOL £?ттг,ри£еу> Ръосрьат, url^t/v " Ufvderf'teubds? proceedings ofi the goint

17. Computer Соп^гг-егрсв; CLmer, Tecieratlon, tfnfobm. Process JscL.j J964, 2,6, pp. 5ГУ-520.

18. Green, C.y ЯарЬаеб В. ? The Use oß faieotem Plrcvin>g <oß the 26 гс1 Cotvßer-e^ee oß the CLsso -ctatiofb Computing /?la.ckin,eb(fi Baltimore

19. Слейгл Д. Искусственный интеллект: Пер. с англ. /Ред. Г.Е.Поздаяк. М.: Мир, 1973. - 319с.

20. Хопгуд Ф. Методы компиляции: Пер. с англ. /Ред. Э.Х.Люби-мский, В.В.Мартынюк. М.: Мир, 1972. - 160 с.

21. Берэтисс А.Т. Структуры данных. Пер. с англ. М.: Статистика, 1974. - 408с.

22. Крюков A.A. Исследование и разработка метода автоматизированного построения информационных моделей объектов управления: Автореферат канд. дисс. М.: МЭИ, 1980. - 20с.

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

24. Энциклопедия кибернетики.- Киев: Главная редакция Украинской советской энциклопедии, 1974. 620 с.

25. ДзегеленбК~И;Иг Метод проектирования дискретных систем в растущем пространстве параметров. Тр./Моск. энерг. ин-т, 1977, вып. 349, с.24-28.

26. Дзегеленок И.И. Механизмы активной адаптации. Изв. АН СССР. Техническая кибернетика, 1971, М, с.9-13.

27. Федюшин В.В. Исследование и разработка проблемно-ориентированных систем программирования: Автореферат канд. дисс. М.: МЭЙ, 1980. - 20с.

28. Heujitt C.t KzsctLptLon, CLttd Theotetizatariettas (UtLibCf ^fvenvcctcL) of PLAWER : Oi ¿ап^ссаде 9koving *ТАеоге/тъ$ and ffbCLrwpulcitubg in, ее %o£o£. M. I. T. Jick. %ep, ctr-T%~<28&t

29. ЯиЩ*>оп/ g F QJJ-i: Oi РъосеЖиъаХ

30. Catcatue* fob dP^tccLtiae OLlfetfvMcLZ /tote У5, Пожлъ&еъ SW3. 29-/?Zc Ъгъ/bott 2., ^ss^ouv £ . <ГАе СОШШЯ Reference /Паш/а^ a J tfierrw 259, MIT Project ГПЛС, may 19?.Z

31. Базисный РЕФАЛ и его реализация на вычислительных машинах Вып. 5.-М.- ЦНИШИА.СС, 1977. 40с.

32. Вемури P.M. Некоторые вопросы автоматизации цроектирова-ния систем передачи данных: Автореферат канд. дисс. М.: МЭИ, 1974. - 20 с.32. fteure££ а., ¿¿топ Нт> Со/прш±ег Зстцеа±Согь og Human, Thinking, SoU/ъСе, ¿961, Р-Р.20Н -20J9.

33. Зг&ез 2.у /liMsofb и/, STRIPS: а Пеигаррго-ссскг io tUe CLppElcatLoib Ткеоьет,ръоо-ir^ Ln> Рьо&Ве/гь , Ct^ijcaal

34. Метода поиска новых технических решений. /Ред. А.И.Поло-винкин. 1ошкар-0ла, 1976. - 198с.

35. Бояркин В.А., Дворянкин A.M., Николаев С.А. О некоторых задачах поиска рациональных технических решений. Там же,с.10-П.

36. Николаев С.А. Поиск решений на И-ИЛИ дереве с учетом совместимости вершин. Там же, с.11-12.

37. QuiZ&LcLtb M-R. Jemanttc trie тогу. ? (On, : Semantic (9nsfölm,atL0Sb Ptocessln$ ß /Псллку т, (eci), M.I.T. Ръм*. Сост,ШсСд.е, mass., .

38. Брябрин B.M. Универсальная семантическая память в системе ЛОРД. В кн.: Обработка символьной информации. Вып. 2, М.: ВЦ- 147 -АН СССР, 1975. с. 5-21.

39. Шенк Р.Обработка концептуальной информации: Пер. с англ. /Ред. В.М.Брябрин. М.: Энергия, 1980. - 360с.

40. Кънчев Д.Р. Разработка системы управления данными как компоненты комплекса инвариантных средств автоматизации проектирования: Автореферат канд. дисс.-М.: МЭЙ, 1975. 20с.

41. Александров А.М. Исследование методов и алгоритмов создания инвариантной системы централизованного хранения и управления базами данных: Автореферат канд. дисс.- М.: МЭИ, 1978.- 20с.

42. Гладун В.П. Эвристический поиск в сложных средах. Киев: 1977, Наукова думка. - 168с.

43. Кузнецов И.П. Кибернетические диалоговые системы. М.: Наука, 1976. - 293с.

44. Кузнецов И.П. Механизмы обработки семантической информации. М.: Наука, 1978. - 174с.

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

46. Информационно-поисковая система "БИТ" Киев: Наукова думка, 1968, - 219с.

47. Коэн Ф., Милопулос Д., Борджида А. Некоторые аспекты представления знаний. Труды 1У Международной конференции по искусственному интеллекту. Т.2. М.: Научный совет по комплексной цроб-леме "Кибернетика", 1975. - с. 41-62.

48. ХендриксГ.Г. О расширении применяемости семантических сетей введением разбиений, Труды 1У Международной конференции по искусственному интеллекту. T.I. М.: Научный совет по комплексной проблеме "Кибернетика", 1975. - с. 190-206.

49. Минский М. Фреймы для представления знаний: Пер. с англ. /Ред. Ф.М.Кулаков, М.: Энергия, 1979. - 151с.

50. Вольфенгаген В.Э., Вязьмин С.А., Рыбина Г.В. Фреймы в системе представления знаний. В сб.: Информационно-программное обеспечение систем искусственного интеллекта. М., МДНТП, 1978, с.18--26.

51. Boßwur 2> G.t Wi/wflUlcL ein- (Dtr&urie*iToß JCRl Cofrrutiire. ¿cUnsce, Ш. rl?i , jg??.57. %<r?£ebts B.t GoMstein, I.R,t Wie &Я1

52. Папиае. аI тети) 4og, MIT, frune. ¿97?.58 e St г/¿с /У., СХп, SxamLrudio-n of a Ftame- Stшсtuted Reptesentation ^dem.Pwceedlrop oftAe 12СЯ1-Г9

53. Брябрин B.M., Веселов E,H., Семин Г.В. Реализация модельных баз данных. М.: ВЦ АН СССР, 1979. - 22с.

54. Попов Э.В. Система взаимодействия с ЭВМ на ограниченном русском языке. Программирование, 1978, №4.

55. Бакланов В.М., Попов Э.В. Понимание фраз ограниченного русского языка. Изв. АН СССР, Техническая кибернетика, 1978, М.

56. Попов Э.В., Родионов Е.В. Алгоритмы синтеза предложений ограниченного русского языка из семантических сетей. Изв. АН СССР, Техническая кибернетика, 1978, $6.

57. Тыугу Э.Х. Программы и системы программирования: Системы Программирования ПРИЗ. Уч.пособие.- Таллин, ТПИ, 1977. 24с.

58. Байдун В.В. 0 реализации языка на ЕС ЭВМ.- В кн.: Представление знаний в системах искусственного интеллекта. М., ЭДЦНТП, 1980. - с.106-113.

59. Отчет о НИР "Исследование интерпретирующей LISP -системы для решения задач искусственного интеллекта". Часть 3. Программная реализация фреймов. $ гос.per. 78001853, МЭИ, 1980. 57с.

60. Семенов В.В. Семантические фреймовые сети как модели предметной области для САПР САУ. В кн.: Представление знаний в системах искусственного интеллекта, М., ЩНТП, 1980, с. II7-I22.

61. Арменский А.Е., Рыбина Г.В. Представление знаний в интеллектуальной системе управления библиотекой программных модулей.1. Там же, с.34-41.

62. Кузин Л.Т., Дубинина В.Г. Интеллектуальная система цроек -тирования сетей ЭВМ.- В кн.: Проектирование интеллектуальных систем. Атомиздат, 1980, с.63-67.

63. Лозовский В.С. Ситуационная и дефиниторная семантика системы представления знаний. Кибернетика,1979, №2, с.98-101.

64. Мартин Д. Организация баз данных в вычислительных системах: Пер. с англ. /Ред. А.Л.Щерс.- М.: Мир, 1978.- 616с.

65. Цаленко М.Ш. Реляционные модели базы данных (обзор). В кн.: Алгоритмы и организация решения экономических задач. М.»Статистика, 1977. Вып.9, с.18-35, вып.10, с.16-28.

66. Поспелов Д.А. Логико-лингвистические модели в системах управления. -М.: Энергоиздат, 1981. 232с.

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

68. Попов Э.В. Общение с ЭВМ на естественном языке. М.: Наука, Главная редакция физико-математической литературы, 1982.-360с

69. Федоров В.В. Итеративные циклы и диалог в автоматизированном цроектировании. Изв. АН СССР, Техническая кибернетика, № 3,1982, с. 59-66.

70. Поспелов Г.С. Системный анализ и искусственный интеллект.-М.: ВЦ АН СССР, 1980. 48с.

71. Поспелов Г.С. Некоторые воцросы реализации диалоговых систем планирования, управления и проектирования. М.: ВЦ АН СССР, 1980. - 48с.

72. Рафаэл Б. Думающий компьютер: Пер. с англ. /Ред.В.Л.Стефа-нюк. М.: Мир, 1979. - 407с.

73. Зш$тагъ .}CL Сотрите?, ¡Tlode-Í

74. CLcjfyuiS¿tL04b . OLI Seríes,80. 5-th, Qniezrwdioruie c^Urd &>*#еьегъсе> ей, OviCfiual . PwxedXnps the

75. Co^e^ce, <r.4, Я, MIT, Сапъёи^е PbassacA^ztti, US/},

76. Ларичев О.И. Наука и искусство цринятия решений. М.: Наука, 1979. - 158с.

77. Долматова Л.М. Вариантный метод автоматического синтеза функциональных схем типовых операционных узлов ЭВМ: Автореферат канд. дисс. М.: МЭЙ, 1977. - 20с.

78. Потемкин И.О. Автоматизация синтеза функциональных схем.- М.: Энергоиздат, 1981. 88с.

79. Брябрин В.М. Диалоговая информационно-логическая система.- В кн.: Модели данных и системы баз данных. М., Наука, 1979, с. 200-220.

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

81. Codd Е. p. &JctendLag ike 2ata Mas г -tio<rwc£ mo-de£ to Captиге /note , PLCM, Ttansabtiori/S orv fioctaBase Jy^te^s,iro£. У9ГЯ, /^p.

82. Башмаков И.А., Огнев И.В., Кънчев Д.Р. Формализованное описание данных в автоматизированной системе проектирования запоминающих устройств. Тр. /Моск. енерг. ин-т,, вып. 247, 1975,с. 74-81.88ж ailmo^ И. fteurzll Л. HeiLlistic ри)ёЗе<т/

83. Jo-fatn-cf : ~£Ае next acLisccMie ¿п- opeAscctoo-ruъелгалвА,.- О^/эеь . Яе$ ¿4581 lto£.6. ga

84. Оптнер С. Системный анализ для решения деловых и промыт -ленных проблем. Пер. с англ.- М.: Советское радио, 1969.

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

86. Яоёгг-U \ ColoLsteln, T.P. ffUDGE cl АпоигвесСде &ctj&ci ^ъо^&гтъ. Ръос, 5-tA, <9<n,te*>/v. ¡foinst Cojtjzézê/ïce on, U^ti^dûa^ SntetCcge/vce, Camé, mass., /9??,

87. Семенова E.T. Языки программирования (язык Z/«£/?I.5).-M.: МЭИ, 1977. 86c.- r ■ , » *

88. Берж К. Теория графов и ее применения: Пер. с фр. /Ред. И.А.Вайнштейн. М.: Издательство иностранной литературы, 1962. -319с.

89. Сираи И. Гетерархическая программа распознавания многогранников. В кн.: Интегральные работы, вып. 2. Пер. с англ. и япон.: М., top, 1975, с.182-190.

90. Уинстон П. Искусственный интеллект: Пер. с англ. /Ред. Д.А.Поспелов. М.: Мир, 1980. - 519с.

91. Ройтман У.Р. Познание и мышление. Пер. с англ. М. : Мир, 1968.

92. Хант Э. Искусственный интеллект. Пер. с англ. /Ред. В.Л.Стефанюк. М.: Мир, 1978. - 558с.

93. Башмаков И.А., Кузнецова Т.Н., Нарыков B.C. Подходы к формализации задач эскизного проектирования при создании систем автоматизированного проектирования.- /Тр. Моск. энерг. ин-т, 1979, вып. 438, с.127-135.

94. ZusLcÂJf P. mob/zAoéogy о/fîïOpuêlCtse /дОиг&Ъ?-fTlOsfbO'^a^/arA'S -tri ОЪ/эfi^sea-v&U, У* J, JoRlety moï/otvo&jflzaJелъсА , Pas а ole^a, Caùfot^Uct / 49 в Si

95. Глушков В.М. Диалог с вычислительной машиной. Возможности и перспективы. УСиМ, 1974, Щ, с.5-9.

96. Брановицкий В.И., Довгялло A.M. Диалог человека с ЭВМ: основные понятия и определения, УС и М, М, 1978, с. 3-8.

97. Лозовский B.C. О некоторых аспектах человеко-машинного диалога. Изв. АН СССР, Техническая кибернетика, № 3, 1981 ,с. 147-156.

98. Довгялло A.M. Диалог пользователя и ЭВМ. Основы проектирования и реализации.-Киев: Наукова думка, 1981.- 232с.

99. Диалог человека и ЭВМ: системы конструирования алгоритмов решения задач. /В.И.Брановицкий, А.М.Догялло, В.В.Жуков, С.П.Кудрявцева.-УС и М, 1979, №5, с.18-23.

100. Брановицкий В.И., Никитин А.И. Диалог человека и ЭВМ. Ориентация диалоговой системы на уровень подготовки пользовате -ля.- УС и М, 1982, с.57-59.

101. Rouse UJ. В. Design oj? mew-computet i/vtetсисгз ^оъ onicn-e interactive Pwc.

102. EE, uve. 66. J&S. P-P- 84-У-Я5?107. dairies ВЛ%, Ta,ce¡/ P.V., Jome experience, in. interact ¿ere Mfátem cLeireSoférrt&nt asn>c¿ ар1э&асис&4ъ. Рыс IEEEJ </975, roe. es,p. 894

103. Башмаков И.А., Саркисян А.П. Развитие диалоговых средств в человеко-машинных системах обработки данных.- Тр. Доек, энерг. ин-т, 1980, вып. 485, с.47-53.

104. Воёыиг/ Я. Q.} Kaplan, Я. fray fcotman ЯЛ, Т-^ютрзоп, И. Cutset bíCno^ixieí 7*. G-L/SJ a ^Pto^m-e. ^гои-егь "ft-iagog fystem, .CLit¿fitia£ Л^еЩдепсе, 1/977, гг. 8, j>n>2. p.p.

105. ПО. Рыбина Г.В., Строганова H.A., Фардзинова М.М., Храмов А.Н Системы цредставления знаний с использованием фреймов.-Вопросы кибернетики, 1979, №55, с,32-48.

106. Отчет о НИР "Разработка базового программного обеспечения да систем представления знаний в ЭВМ" Часть I. Исследование техники представления знаний с помощью FRL. МЭИ, I98I.-63C.

107. Автоматизация проектно-конструкторских работ и технологической подготовки производства в машиностроении. /Под ред. Семен-кова О.И., Минск, Высшая школа, 1976, т.1. 351с.

108. Глушков В.М. и др. Человек и вычислительная техника.- Киев.: Наукова думка, 1970.- 317с.

109. Общеотраслевые руководящие методические материалы по созданию систем автоматизированного проектирования: (постановление ГКНТ СССР от 2 июня 1978г., №230)/ГКНТ СССР.- M.,'l978.- 46с.

110. Дмитриева Н.В. Обзор существующих подходов к построению моделей объектов проектирования.- Рук. деп. в ВИНИТИ 17.09.81, J& 4498-81 (Деп.) 16с.

111. Дмитриева Н.В. Средства манипулирования моделей объектов проектирования в САПР.- Рук. деп. в ВИНИТИ 17.09.81, № 4499-81 (Деп.) 22с.

112. Дмитриева Н.В. Исследование фреймовых структур для цредставления модели предметной области в САПР. В кн.: Применение математических методов в вычислительной техники в управлении: Ред. К.Л.Камкаиидзе, Тбилиси, Мицниераба, 1983, с.39-48 (в печати).

113. Дмитриева Н.В. Использование фреймовых структур для автоматизации начальных этапов проектирования. В кн.: Тезисы докладов Всесоюзной научно-технической конференции "Корпус-83" (г.Николаев, июнь 1983 г.), с.25.