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



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

Разработка инструментальных средств поддержки версий в базах данных знаний САПР Корочкова, Инна Германовна

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

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

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

Корочкова, Инна Германовна. Разработка инструментальных средств поддержки версий в базах данных знаний САПР : автореферат дис. ... кандидата технических наук : 05.13.12 / Моск. горный ин-т.- Москва, 1993.- 20 с.: ил. РГБ ОД, 9 93-1/3129-9

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

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

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

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

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

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

На основе анализа состояния вопроса в области интеллектуализации САПР, в настоящей работе поставлена цель:

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

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

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

разработать язык описания процесса порождения версий;

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

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

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

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

Работа выполнялась в рамках темы 12.9.1.1.15 "Создание элементов автоматизированного проектирования и управления горнодобывающими предприятиями" программы РАН исследований в области естественных наук до 2000 г., раздела 6 "Разработка теоретических основ проектирования и создания автоматизированных и роботизированных технол гий добычи и переработки твердых полезных ископаемых" программы Министерства науки, высшей школы и технической политики РФ "Экологически чистое горное производство" на 1989-1992 гг., госбюджетной темы "Разработка концепций и принципов математического и программного обеспечения САПР и управления в горном делі. на основе искусственного интеллекта", и двух хоздоговорных тем (ном. гос. регистрации 019000044. /,01920012443).

Научная ноьизна работы заключается ь разработке:

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

формализовать процесе многовариантного автоматизированного проектирования;

языков"х средств высокого уровня описания процесса порождения версий, основанных на предложенной модели версий;

Р-сетей - теоретико-сетевой модели представ-шия динамики квазипараллельного выполь.ния процесса порождения версий;

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

Практическая ценность работы состоит в разработке:

архитектуры комплекса программных средств поддержки процесса многовариантного проектирования;

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

Результаты работы внедрены в практику создания интеллектуальной САПР мотор-редукторов в НПЦ "ПЕКО" при Ижевском механическом институте и интеллектуиіьной САПР спецтехнологий проходки вертикальных стволов подземных сооружений в тресте "Шахтспецстрой". Применение указанных результатов позволило описать процесс управления проектированием на языке высокого уровня, выделив это описаній в отдельный программный компоненту избежать вмешательства в программы проектирую шх подсистем. В результате внедрения качество проектов повысилось на 5% за счет оптимизации процесса проектирования.

Апробация работы.Содержание и основные результаты работы доложены и обсуждены на: XV Международном симпозиуме "Логическое управление. Интеллектуальные информационные технологии и стратегии" (Москьа, .992 г.), XIII.XIV Всесоюзных симпозиумах "Логически і управление с использованием ЭВМ" и XII, XIII і.оординації-оннь.... совещаниях "Математическое обеспечение интеллектуальных систем САПІ'-ГАП" (Симеиз, 199С г., Новый Свет, 1991 г.), научно-технической конференции "Разработка и внедрение САПР и АСТПП в машиностроении" (Ижевск , 1990 г.) .

Публикации. Осногчое содержаї іе работы отражено в 5 публикациях.

Объем и структура диссертации. Диссертация состоит и. введения, четырех глав и заключения . Она содержит 135 страниц машинописного текста, включает 35 рисунков и список литературы из 79 наименований.

Похожие диссертации на Разработка инструментальных средств поддержки версий в базах данных знаний САПР