Электронная библиотека диссертаций и авторефератов России
dslib.net
Библиотека диссертаций
Навигация
Каталог диссертаций России
Англоязычные диссертации
Диссертации бесплатно
Предстоящие защиты
Рецензии на автореферат
Отчисления авторам
Мой кабинет
Заказы: забрать, оплатить
Мой личный счет
Мой профиль
Мой авторский профиль
Подписки на рассылки



расширенный поиск

Формализация и представление знаний в интеллектуальных системах моделирования технологии сварки Бояров, Олег Дмитриевич

Данная диссертационная работа должна поступить в библиотеки в ближайшее время
Уведомить о поступлении

Диссертация, - 480 руб., доставка 1-3 часа, с 10-19 (Московское время), кроме воскресенья

Автореферат - бесплатно, доставка 10 минут, круглосуточно, без выходных и праздников

Бояров, Олег Дмитриевич. Формализация и представление знаний в интеллектуальных системах моделирования технологии сварки : автореферат дис. ... кандидата технических наук : 05.13.16 / АН СССР. Ленингр. ин-т информатики и автоматизации.- Ленинград, 1990.- 17 с.: ил. РГБ ОД, 9 90-5/2384-9

Введение к работе

- Тдол і .

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

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

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

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

исследований и технологической подготовки сварочного производства в целом.

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

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

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

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

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

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

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

  1. Практическая ценность и внедрение результатов. Разработан.! инструментальная система, состоящая из двух частей: системы управления базой знаний (СУБЗ) и системы общения с СУВЗ на синтаксически-ограниченном естественном языке, система реализована на языке TurboFroIog v.г.О в операционной системе MS-DOS v.3.30 на персональных ЭВИ IBM PC/XT/AT. Система использована при создании интеллектуальных систем моделирования в автоматизированных системах научных исследований НПО ЦНИИТМаш (г.Москва) и Волгодонском Филиале ВНИИАИ, В ПО "Атоммаш" создается интеллектуальная автоматизированная система технологической подготовки сварочного производства, в которой существенное повышение технического уровня проектируемых технологических процессов сварки достигается за счет использования формализованных научных знаний по технологии сварки.

  2. Апробация работы. Основные результаты диссертационной работы докладывались и обсуждались на Всесоюзной конференции "Автоматизированные системы управления в сварочном производстве" (г.Киев, 1982), конференции "Автоматизация проектирования технологических процессов" общества "знание" МВТУ им.Н.Э.Баумана (г.Москва, 1982), Всесоюзной научно- технической конференции

Проблемы сознания и использования мини- и микро-ЭВМ" (г.Вильнюс, 1985), Межотраслевой конференции "Разработка, внедрение и использование баз данных и баз знаний ЭВМ машиностроительного комплекса СССР" (р.Ростов-на-Дону, 1968), Всесоюзной конференции по искусственному интеллекту (г.Переяславдь-Залесский. 1966).

  1. Публикации. По материалам диссертации опубликовано 14 научных трудов.

  2. Структура и объем работы. Диссертационная работа состоит из введения, четырех плав и заключения ( 137 страниц машинописного текста, списка литературы (95 наименований на Id листах), восьми приложений на 45 страницах, 13 рисунков на 11 страницах.

Похожие диссертации на Формализация и представление знаний в интеллектуальных системах моделирования технологии сварки