Создание моделей слабо структурированных объектов на базе сетей фреймов
Диссертация
Разработанные принципы автоматизированного построения моделей слабо структурированных найдут применение цри создании АСНИ, САПР, АСУ Ш. Система ДИАСС внедрена в УИ САПР МЭЙ. Результаты работы: методика построения моделей слабо структурированных объектов, принципы и алгоритмы диалогового взаимодействия пользовате лей и ЭВМ внедрены в АСУ ТП сварки корпусных конструкций. Ожидаемый экономический… Читать ещё >
Содержание
- ГЛАВА I. ОБЗОР ПОДХОДОВ К ПОСТРОЕНИЮ МОДЕЛЕЙ ОБЪЕКТОВ И СРЕДСТВ МАНИПУЛИРОВАНИЯ ИМИ В АВТОМАТИЗИРОВАННЫХ СИСТЕМАХ
- 1. 1. " Особенности задач, решаемых человеком на начальных этапах исследования в САПР, АСНЙ, АСУ ТП. 10 1*2* Требования в моделям объектов в САПР, АСНИ и
- АСУ ТП
- 1. 3. Требования к средствам манипулирования моделями объектов
- 1. *4. Декларативные представления знаний об объектах* 23 1.5″ Процедуральные представления знаний об объектах 31 1.6. Смешанные представления знаний об объектах
- 1. 7. * Выводы
- 2. 1. Возможности фреймов для представления модели предметной области в САПР
- 2. 2. Абстрактные модели слабо структурированных объектов и их интерпретация в САПР
- 2. 3. Разработка фреймовых структур для представления моделей объектов в базе знаний
- 2. 4. Исследование возможностей языка Р#/,/ЕС для представления моделей слабо структурированных объектов в базе знаний
- 2. 5. Вывода
- 3. 1. «Абстрактные модели проектных операций и проектных процедур
- 3. 2. Выбор формальной модели проектного цроцесса на начальных этапах цроектирования
- 3. 3. Представление модели процесса проектирования в базе знаний
- 3. 4. Исследование возможностей т^/ЕС для отображения проектных процедур в базе знаний
- 3. 5. вывода
- 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. 1. Разработка фреймов структур базы знаний. Цб
- 5. 2. Формирование ТЗ на синтез ОУ ЭВМ
- 5. 3. Программная реализация проектных процедур согласно методике вариантного синтеза ОУ ЭВМ
- 5. 4. Организация базы знаний и библиотеки прикладных црограмм в составе АСУ Ш сварки корпусных конструкций
- 5. 5. Вывода
Список литературы
- Материалы Ш1 съезда КПСС.-М.: Политиздат, 1981. — 223 с.
- Башмаков И.А., Гайфуллин Э. Ш., Климов В. Е. Некоторые проблемы организации и применения систем автоматизированного проектирования. -Тр. /Моск. энерг. ин-т, 1977, вып. 349, с. 5−14.
- Глушков В.М., Капитонова Ю. В., Летичевский A.A. Автоматизация проектирования вычислительных машин.-Киев:.Наукова думка, 1975. 231с.
- Автоматизация поискового конструирования (искусственный ин-телект в машинном проектировании). /Под ред. А. Й. Половинкина. -М.: Радио и связь, 1981. 344с.
- Дворянкин A.M., Половинкин А. И., Соболев А. Н. Методы синтеза технических решений. М.: Наука, 1977. 103с.
- Павлов В.В. Математическое обеспечение САПР в цроизводстве летательных аппаратов. М.: 1978, МФТИ.- 67с.
- Мальцев А.И. Алгебраические системы. М.: Наука, 1970.
- Руководящий документ. Общие принципы разработки математи -ческих моделей объекта цроектирования.- М.: ВНЙИНМаш, 1979. -92с.
- ГОСТ 23 501.0−79. Системы автоматизированного проектирования. Основные положения. Введ. 01.01.80. — В кн.: ГОСТ 23 501–79 и др., с. 1−5. Группа Т58 СССР.
- Глушков В.М., Капитонова Ю. В., Летичевский A.A. О применении метода формализованных технических заданий к проектированию программ обработки структуры данных. Программирование, 1978,1. В 6, с. 3I-344.
- Башмаков И.А., Бесфамильный М. С., Принципы построения пакетов прикладных"программ. Тр./Моск. энерг. ин-т, 1972, вып.118, с.59−66,
- Кузин Л.Т. Основы кибернетики. Т.2. М.: Энергия, 1979. -584с.
- ГОСТ 23 501.11−79. Системы автоматизированного проектирования. Общие требования к лингвистическому обеспечению.вед. 01.01.80. — В кн.: ГОСТ 23 501.0−79 и др., с.5−10. Группа Т58 СССР.
- SSocgEe G.R. у &xfoeritne/bts usiik a Deductitre,
- 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
- Computer Соп^гг-егрсв- CLmer, Tecieratlon, tfnfobm. Process JscL. j J964, 2,6, pp. 5ГУ-520.
- Green, C. y ЯарЬаеб В.? The Use o? faieotem Plrcvin>g
- Слейгл Д. Искусственный интеллект: Пер. с англ. /Ред. Г. Е. Поздаяк. М.: Мир, 1973. — 319с.
- Хопгуд Ф. Методы компиляции: Пер. с англ. /Ред. Э.Х.Люби-мский, В. В. Мартынюк. М.: Мир, 1972. — 160 с.
- Берэтисс А.Т. Структуры данных. Пер. с англ. М.: Статистика, 1974. — 408с.
- Крюков A.A. Исследование и разработка метода автоматизированного построения информационных моделей объектов управления: Автореферат канд. дисс. М.: МЭИ, 1980. — 20с.
- Энциклопедия кибернетики.- Киев: Главная редакция Украинской советской энциклопедии, 1974. 620 с.
- ДзегеленбК~И-Иг Метод проектирования дискретных систем в растущем пространстве параметров. Тр./Моск. энерг. ин-т, 1977, вып. 349, с.24−28.
- Дзегеленок И.И. Механизмы активной адаптации. Изв. АН СССР. Техническая кибернетика, 1971, М, с.9−13.
- Федюшин В.В. Исследование и разработка проблемно-ориентированных систем программирования: Автореферат канд. дисс. М.: МЭЙ, 1980. — 20с.
- 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
- ЯиЩ*>оп/ g F QJJ-i: Oi РъосеЖиъаХ
- Catcatue* fob dP^tccLtiae OLlfetfvMcLZ /tote У5, Пожлъ&еъ SW3. 29-/?Zc Ъгъ/bott 2., ^ss^ouv?. <ГАе СОШШЯ Reference /Паш/а^ a J tfierrw 259, MIT Project ГПЛС, may 19?.Z
- Базисный РЕФАЛ и его реализация на вычислительных машинах Вып. 5.-М.- ЦНИШИА. СС, 1977. 40с.
- Вемури P.M. Некоторые вопросы автоматизации цроектирова-ния систем передачи данных: Автореферат канд. дисс. М.: МЭИ, 1974. — 20 с. 32. fteure? а., ¿-¿-топ Нт> Со/прш±ег Зстцеа±Согь og Human, Thinking, SoU/ъСе, ?961, Р-Р.20Н -20J9.
- Зг&ез 2. у /liMsofb и/, STRIPS: а Пеигаррго-ссскг io tUe CLppElcatLoib Ткеоьет, ръоо-ir^ Ln> Рьо&Ве/гь, Ct^ijcaal
- Метода поиска новых технических решений. /Ред. А.И.Поло-винкин. 1ошкар-0ла, 1976. — 198с.
- Бояркин В.А., Дворянкин A.M., Николаев С. А. О некоторых задачах поиска рациональных технических решений. Там же, с.10-П.
- Николаев С.А. Поиск решений на И-ИЛИ дереве с учетом совместимости вершин. Там же, с.11−12.
- QuiZ&LcLtb M-R. Jemanttc trie тогу.? (On,: Semantic (9nsfolm, atL0Sb Ptocessln$? /Псллку т, (eci), M.I.T. Ръм*. Сост, ШсСд. е, mass., .
- Брябрин B.M. Универсальная семантическая память в системе ЛОРД. В кн.: Обработка символьной информации. Вып. 2, М.: ВЦ- 147 -АН СССР, 1975. с. 5−21.
- Шенк Р. Обработка концептуальной информации: Пер. с англ. /Ред. В. М. Брябрин. М.: Энергия, 1980. — 360с.
- Кънчев Д.Р. Разработка системы управления данными как компоненты комплекса инвариантных средств автоматизации проектирования: Автореферат канд. дисс.-М.: МЭЙ, 1975. 20с.
- Александров А.М. Исследование методов и алгоритмов создания инвариантной системы централизованного хранения и управления базами данных: Автореферат канд. дисс.- М.: МЭИ, 1978.- 20с.
- Гладун В.П. Эвристический поиск в сложных средах. Киев: 1977, Наукова думка. — 168с.
- Кузнецов И.П. Кибернетические диалоговые системы. М.: Наука, 1976. — 293с.
- Кузнецов И.П. Механизмы обработки семантической информации. М.: Наука, 1978. — 174с.
- Клыков Ю.И. Ситуационное управление большими системами. -М.: Энергия, 1974. 135с.
- Информационно-поисковая система „БИТ“ Киев: Наукова думка, 1968, — 219с.
- Коэн Ф., Милопулос Д., Борджида А. Некоторые аспекты представления знаний. Труды 1У Международной конференции по искусственному интеллекту. Т.2. М.: Научный совет по комплексной цроб-леме „Кибернетика“, 1975. — с. 41−62.
- ХендриксГ.Г. О расширении применяемости семантических сетей введением разбиений, Труды 1У Международной конференции по искусственному интеллекту. T.I. М.: Научный совет по комплексной проблеме „Кибернетика“, 1975. — с. 190−206.
- Минский М. Фреймы для представления знаний: Пер. с англ. /Ред. Ф. М. Кулаков, М.: Энергия, 1979. — 151с.
- Вольфенгаген В.Э., Вязьмин С. А., Рыбина Г. В. Фреймы в системе представления знаний. В сб.: Информационно-программное обеспечение систем искусственного интеллекта. М., МДНТП, 1978, с.18--26.
- Bo?wur 2> G. t Wi/wflUlcL ein- (Dtr&urie*iTo? JCRl Cofrrutiire. ?cUnsce, Ш. rl? i, jg??.57. %
- Папиае. аI тети) 4og, MIT, frune. ?97?.58 e St г/?с /У., СХп, SxamLrudio-n of a Ftame- Stшсtuted Reptesentationdem.Pwceedlrop oftAe 12СЯ1-Г9
- Брябрин B.M., Веселов E, H., Семин Г. В. Реализация модельных баз данных. М.: ВЦ АН СССР, 1979. — 22с.
- Попов Э.В. Система взаимодействия с ЭВМ на ограниченном русском языке. Программирование, 1978, № 4.
- Бакланов В.М., Попов Э. В. Понимание фраз ограниченного русского языка. Изв. АН СССР, Техническая кибернетика, 1978, М.
- Попов Э.В., Родионов Е. В. Алгоритмы синтеза предложений ограниченного русского языка из семантических сетей. Изв. АН СССР, Техническая кибернетика, 1978, $ 6.
- Тыугу Э.Х. Программы и системы программирования: Системы Программирования ПРИЗ. Уч.пособие.- Таллин, ТПИ, 1977. 24с.
- Байдун В.В. 0 реализации языка на ЕС ЭВМ.- В кн.: Представление знаний в системах искусственного интеллекта. М., ЭДЦНТП, 1980. — с.106−113.
- Отчет о НИР „Исследование интерпретирующей LISP -системы для решения задач искусственного интеллекта“. Часть 3. Программная реализация фреймов. $ гос.per. 78 001 853, МЭИ, 1980. 57с.
- Семенов В.В. Семантические фреймовые сети как модели предметной области для САПР САУ. В кн.: Представление знаний в системах искусственного интеллекта, М., ЩНТП, 1980, с. II7-I22.
- Арменский А.Е., Рыбина Г. В. Представление знаний в интеллектуальной системе управления библиотекой программных модулей.1. Там же, с.34−41.
- Кузин Л.Т., Дубинина В. Г. Интеллектуальная система цроек -тирования сетей ЭВМ.- В кн.: Проектирование интеллектуальных систем. Атомиздат, 1980, с.63−67.
- Лозовский В.С. Ситуационная и дефиниторная семантика системы представления знаний. Кибернетика, 1979, № 2, с.98−101.
- Мартин Д. Организация баз данных в вычислительных системах: Пер. с англ. /Ред. А. Л. Щерс.- М.: Мир, 1978.- 616с.
- Цаленко М.Ш. Реляционные модели базы данных (обзор). В кн.: Алгоритмы и организация решения экономических задач. М."Статистика, 1977. Вып.9, с.18−35, вып.10, с.16−28.
- Поспелов Д.А. Логико-лингвистические модели в системах управления. -М.: Энергоиздат, 1981. 232с.
- Кахро М.И., Калья А. П., Тыугу Э. Х. Инструментальная система программирования ЕС ЭВМ (ПРИЗ). М.: Финансы и статистика, 1981. 158с.
- Федоров В.В. Итеративные циклы и диалог в автоматизированном цроектировании. Изв. АН СССР, Техническая кибернетика, № 3,1982, с. 59−66.
- Поспелов Г. С. Системный анализ и искусственный интеллект.-М.: ВЦ АН СССР, 1980. 48с.
- Поспелов Г. С. Некоторые воцросы реализации диалоговых систем планирования, управления и проектирования. М.: ВЦ АН СССР, 1980. — 48с.
- Рафаэл Б. Думающий компьютер: Пер. с англ. /Ред.В.Л.Стефа-нюк. М.: Мир, 1979. — 407с.
- Зш$тагъ .}CL Сотрите?, ?Tlode-I
- CLcjfyuiS?tL04b. OLI Series, 80. 5-th, Qniezrwdioruie c^Urd &→*#еьегъсе> ей, OviCfiual. PwxedXnps the
- Co^e^ce,
- Ларичев О.И. Наука и искусство цринятия решений. М.: Наука, 1979. — 158с.
- Долматова Л.М. Вариантный метод автоматического синтеза функциональных схем типовых операционных узлов ЭВМ: Автореферат канд. дисс. М.: МЭЙ, 1977. — 20с.
- Потемкин И.О. Автоматизация синтеза функциональных схем.- М.: Энергоиздат, 1981. 88с.
- Брябрин В.М. Диалоговая информационно-логическая система.- В кн.: Модели данных и системы баз данных. М., Наука, 1979, с. 200−220.
- Башмаков И.А. Пакеты прикладных программ новая компонента архитектуры математического обеспечения ЭВМ третьего поколения. Тр. /Моск. энерг. ин-т, 1975, вып. 221, с. 5−15.
- Codd Е. p. &JctendLag ike 2ata Mas г -tio
- Башмаков И.А., Огнев И. В., Кънчев Д. Р. Формализованное описание данных в автоматизированной системе проектирования запоминающих устройств. Тр. /Моск. енерг. ин-т, вып. 247, 1975, с. 74−81.88ж ailmo^ И. fteurzll Л. HeiLlistic ри) ёЗе<�т/
- Jo-fatn-cf: ~£Ае next acLisccMie ¿-п- opeAscctoo-ruъелгалвА,.- О^/эеь. Яе$ ?4581 lto?.6. ga
- Оптнер С. Системный анализ для решения деловых и промыт -ленных проблем. Пер. с англ.- М.: Советское радио, 1969.
- Брябрин В.М. Ф-язык формализм для представления знанийв интеллектуальной диалоговой системе.- В кн.: Прикладная инфор -матика. М., Финансы и статистика, 1981, вып. I, с. 73−103.
- Яоёгг-U ColoLsteln, T.P. ffUDGE cl АпоигвесСде &ctj&ci ^ъо^&гтъ. Ръос, 5-tA, <9/v. ?foinst Cojtjzeze/ice on, U^ti^dua^ SntetCcge/vce, Came, mass., /9??,
- Семенова E.T. Языки программирования (язык Z/»?/?I.5).-M.: МЭИ, 1977. 86c.- r ¦, «*
- Сираи И. Гетерархическая программа распознавания многогранников. В кн.: Интегральные работы, вып. 2. Пер. с англ. и япон.: М., top, 1975, с.182−190.
- Уинстон П. Искусственный интеллект: Пер. с англ. /Ред. Д. А. Поспелов. М.: Мир, 1980. — 519с.
- Ройтман У.Р. Познание и мышление. Пер. с англ. М.: Мир, 1968.
- Хант Э. Искусственный интеллект. Пер. с англ. /Ред. В. Л. Стефанюк. М.: Мир, 1978. — 558с.
- Башмаков И.А., Кузнецова Т. Н., Нарыков B.C. Подходы к формализации задач эскизного проектирования при создании систем автоматизированного проектирования.- /Тр. Моск. энерг. ин-т, 1979, вып. 438, с.127−135.
- ZusLcAJf P. mob/zAoeogy о/fî-ï-Opuê-lCtse /дОиг&Ъ?-fTlOsfbO'^a^/arA'S -tri ОЪ/эfi^sea-v&U, У* J, JoRlety moï-/otvo&-jflzaJелъсА, Pas, а ole^a, Caufot^Uct / 49 в Si
- Глушков В.М. Диалог с вычислительной машиной. Возможности и перспективы. УСиМ, 1974, Щ, с.5−9.
- Брановицкий В.И., Довгялло A.M. Диалог человека с ЭВМ: основные понятия и определения, УС и М, М, 1978, с. 3−8.
- Лозовский B.C. О некоторых аспектах человеко-машинного диалога. Изв. АН СССР, Техническая кибернетика, № 3, 1981, с. 147−156.
- Довгялло A.M. Диалог пользователя и ЭВМ. Основы проектирования и реализации.-Киев: Наукова думка, 1981.- 232с.
- Диалог человека и ЭВМ: системы конструирования алгоритмов решения задач. /В.И.Брановицкий, А. М. Догялло, В. В. Жуков, С. П. Кудрявцева.-УС и М, 1979, № 5, с.18−23.
- Брановицкий В.И., Никитин А. И. Диалог человека и ЭВМ. Ориентация диалоговой системы на уровень подготовки пользовате -ля.- УС и М, 1982, с.57−59.
- Rouse UJ. В. Design oj? mew-computet i/vtetсисгзоъ onicn-e interactive Pwc.
- EE, uve. 66. J&S. P-P- 84-У-Я5?107. dairies ВЛ%, Ta, ce?/ P.V., Jome experience, in. interact? ere Mfatem cLeireSoferrt&nt asn>c? ар1э&асис&4ъ. Рыс IEEEJ 975, roe. es, p. 894
- Башмаков И.А., Саркисян А. П. Развитие диалоговых средств в человеко-машинных системах обработки данных.- Тр. Доек, энерг. ин-т, 1980, вып. 485, с.47−53.
- Воёыиг/ Я. Q.} Kaplan, Я. fray fcotman ЯЛ, Т-^ютрзоп, И. Cutset biCno^ixiei 7*. G-L/SJ a ^Pto^m-e.гои-егь «ft-iagog fystem, .CLit?fitia? Л^еЩдепсе, 1/977, гг. 8, j>n>2. p.p.
- ПО. Рыбина Г. В., Строганова H.A., Фардзинова М. М., Храмов А. Н Системы цредставления знаний с использованием фреймов.-Вопросы кибернетики, 1979, № 55, с, 32−48.
- Отчет о НИР «Разработка базового программного обеспечения да систем представления знаний в ЭВМ» Часть I. Исследование техники представления знаний с помощью FRL. МЭИ, I98I.-63C.
- Автоматизация проектно-конструкторских работ и технологической подготовки производства в машиностроении. /Под ред. Семен-кова О.И., Минск, Высшая школа, 1976, т.1. 351с.
- Глушков В.М. и др. Человек и вычислительная техника.- Киев.: Наукова думка, 1970.- 317с.
- Общеотраслевые руководящие методические материалы по созданию систем автоматизированного проектирования: (постановление ГКНТ СССР от 2 июня 1978 г., № 230)/ГКНТ СССР.- M.,'l978.- 46с.
- Дмитриева Н.В. Обзор существующих подходов к построению моделей объектов проектирования.- Рук. деп. в ВИНИТИ 17.09.81, J& 4498−81 (Деп.) 16с.
- Дмитриева Н.В. Средства манипулирования моделей объектов проектирования в САПР.- Рук. деп. в ВИНИТИ 17.09.81, № 4499−81 (Деп.) 22с.
- Дмитриева Н.В. Исследование фреймовых структур для цредставления модели предметной области в САПР. В кн.: Применение математических методов в вычислительной техники в управлении: Ред. К. Л. Камкаиидзе, Тбилиси, Мицниераба, 1983, с.39−48 (в печати).
- Дмитриева Н.В. Использование фреймовых структур для автоматизации начальных этапов проектирования. В кн.: Тезисы докладов Всесоюзной научно-технической конференции «Корпус-83» (г.Николаев, июнь 1983 г.), с. 25.