WWW.DISS.SELUK.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА
(Авторефераты, диссертации, методички, учебные программы, монографии)

 

Разработка метода и средств представления модели знаний в задачах автоматизированной конструкторско-технологической подготовки производства

На правах рукописи

ЕЛИСЕЕВА НАТАЛЬЯ ВЛАДИМИРОВНА

РАЗРАБОТКА МЕТОДА И СРЕДСТВ ПРЕДСТАВЛЕНИЯ МОДЕЛИ

ЗНАНИЙ В ЗАДАЧАХ АВТОМАТИЗИРОВАННОЙ

КОНСТРУКТОРСКО-ТЕХНОЛОГИЧЕСКОЙ ПОДГОТОВКИ

ПРОИЗВОДСТВА

Специальность 05.13.06 – Автоматизация и управление технологическими процессами и производствами (технические системы)

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата технических наук

Москва –

Работа выполнена на кафедре «Информационные технологии и вычислительные системы» в ГОУ ВПО Московский государственный технологический университет «СТАНКИН»

Научный руководитель: кандидат технических наук доцент Колчин А.Ф.

Официальные оппоненты: доктор технических наук профессор Султан-заде Н.М.

кандидат технических наук доцент Овсянников М.В.

Ведущая организация: ОАО «Раменское приборостроительное конструкторское бюро»

Защита состоится «6» ноября 2007 года в 9.00 часов на заседании Диссертационного совета К 212.142.01 при ГОУ ВПО Московском государственном технологическом университете «СТАНКИН» по адресу:

127994, г. Москва, Вадковский пер., д. 3а.

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

С диссертацией можно ознакомиться в библиотеке ГОУ ВПО МГТУ «СТАНКИН».

Автореферат разослан «5» октября 2007г.

Ученый секретарь диссертационного совета, к.т.н. Тарарин И.М.

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность темы. В настоящее время становится все более актуальной необходимость консолидации, формализации и повторного использования накопленных знаний специалистов различных областей, в том числе и в области конструкторско-технологической подготовки производства (КТПП).

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




В автоматизированных системах, создаваемых в 70-е и 80-е годы, модель знаний специалиста представлялась в виде строгого алгоритма и была ориентирована на достаточно узкий класс решаемых задач. Расширение такой модели требовало больших затрат на модификацию и поддержку автоматизированной системы. При реализации идей искусственного интеллекта появившиеся методы представления модели знаний специалиста (на основе семантических сетей, фреймов, продукций) позволили сделать первые шаги на пути формирования баз знаний. Основным недостатком данных методов была фрагментарность описываемых знаний. Более того, интерпретация (семантика) каждого такого фрагмента описывалась в технической документации к системе либо оставалась индивидуальным знанием разработчика и не была формализована, что не позволяло использовать фрагменты знаний для решения более широкого класса задач.

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

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

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

Цель работы. Целью работы является повышение эффективности процесса проектирования и развития автоматизированных систем КТПП за счет разработки метода представления модели знаний специалиста на основе онтологического подхода.

Для достижения поставленной цели в работе решена научная задача, заключающаяся в разработке представления знаний специалиста для автоматизированных систем КТПП и включающая:

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

разработку метода представления модели знаний специалиста для решения задач автоматизированной КТПП;

разработку онтологического представления компонентов модели знаний специалиста в области КТПП;

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

Научная новизна:

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

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

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

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





Практическая ценность:

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

разработаны алгоритмы выбора онтологии задачи и метода при решении задач параметрического проектирования;

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

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

Апробация работы. По материалам работы сделаны доклады на VI-ой, VIII-ой научных конференциях МГТУ "СТАНКИН" и "Учебно-научного центра математического моделирования МГТУ "СТАНКИН" – ИММ РАН", Москва, 2003, 2005; XIII-ой международной конференции "Информационные средства и технологии", Москва, 2005, опубликована статья в научнотехническом журнале "Информационные технологии в проектировании и производстве", Москва, 2006 г.

Результаты работы использовались в учебном курсе по дисциплине "Интеллектуальные системы", обсуждались на заседаниях кафедры ИТиВС.

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

Структура и объем работы. Диссертация состоит из введения, 4 глав, заключения, списка литературы из 68 наименований. Работа содержит страниц машинописного текста, включая 27 рисунков,11 таблиц.

ОСНОВНОЕ СОДЕРЖАНИЕ РАБОТЫ

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

В первой главе проведен анализ существующих методов создания автоматизированных систем (АС) конструкторско-технологической подготовки производства, методов и средств представления знаний специалиста.

Основными этапами развития методов создания автоматизированных систем являются:

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

2. Решение проблемы компьютерного представления геометрической информации и автоматизация графических работ.

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

4. Развитие и поддержка интеллектуальных автоматизированных систем решения предметных задач с минимальным участием системных аналитиков и программистов.

Значительный вклад в разработку методов и средств автоматизации конструкторско-технологической подготовки производства внесли Соломенцев Ю.М., Цветков В. Д., Митрофанов В.Г., Капустин Н.М., Норенков И.П., Павлов В.В., Волкова Г.Д., Султан-заде Н.М., Косов М. Г., Сосонкин В.Л. и другие.

В результате анализа современных АС были выявлены их следующие проблемы:

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

отсутствие представления и средств интерпретации семантической составляющей модели предметной области;

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

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

Проведенный анализ этих методов представления знаний показал, что они имеют такие недостатки, как:

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

отсутствие адекватного представления семантики проблемной области;

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

ориентированность представления знаний на среду реализации.

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

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

Использование в АС онтологического подхода расширяет возможности специалиста по развитию и поддержке определенной в ней модели знаний.

Исследования в области онтологического представления знаний связаны с именами таких отечественных и зарубежных ученых, как:

Поспелов Д.А., Клещев А.С., Хорошевский В.Ф., Гаврилова Т.Л., Грубер Т., Гуарино Н., Сова Д., Фензель Д., Мотта Е. и других.

В процессе анализа средств представления модели знаний на основе онтологического подхода были рассмотрены такие средства, как: Protg, TOVE, Cyc, Ontolingua, KACTUS, SHOE, IBROW. Основным недостатком данных систем является высокая стоимость адаптации для использования в предметной области КТПП.

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

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

В наиболее общем виде онтология выглядит следующим образом:

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

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

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

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

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

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

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

2. Модель представляет и поддерживает семантику понятий и отношений модели знаний специалиста. В модели выявлены и зафиксированы все логические взаимосвязи, как между фактами внутри одной компоненты модели знаний, так и между компонентами модели знаний в целом.

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

В соответствии с рассмотренными принципами в работе предложена технология решения специалистом предметных задач в области КТПП на основе онтологического подхода:

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

Следует отметить, что библиотека задач описывает задачи обобщенно и включает в себя онтологии основных классов решаемых задач, независимо от предметной области их возникновения. Однако, так как задача изначально возникает в рамках определенной предметной области через интерфейс "Задача – Предметная область" онтология обобщенной задачи на первом этапе заполняется конкретными предметными данными, которые служат начальными условия для решения задачи.

2. Далее на основе выбранной онтологии задачи определяется онтология метода решения или набора методов, допустимых для ее решения. С этой целью используется интерфейс взаимодействия "Задача – Метод решения". Если задача является достаточно сложной, то для подбора нужного метода решения она декомпозируется на некоторое множество подзадач. Также и при решении конкретной задачи в методе могут выделяться некоторые подзадачи, которые, в свою очередь, решаются соответствующими, как правило, разными методами.

3. На заключительном этапе совокупность онтологий задачи и метода объединяется с онтологией предметной области для наполнения конкретными данными. Эта процедура осуществляется с помощью интерфейса взаимодействия "Метод решения – Предметная область".

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

Третья глава посвящена разработке онтологического представления компонентов модели знаний для решения задач в области КТПП.

Предложенная в работе технология разработки онтологического представления компонентов модели знаний специалиста была продемонстрирована на примере решения задачи проектировочного и проверочного расчета одноступенчатой прямозубой цилиндрической передачи (схема представлена на рисунке 4, где: 1 – ведущий вал, 2 – ведомый вал, z1 – число зубьев шестерни, z2 – число зубьев колеса).

Рис. 4. Одноступенчатая прямозубая передача одноступенчатой прямозубой передачи. Начальные данные: крутящий момент на ведомом валу T2=363,93 Нм; частота вращения ведомого вала n2=293мин-1; передаточное число u=5; продолжительность работы (часы) t=длительный.

В результате были разработаны две "статические" онтологии:

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

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

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

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

Понятия:

Цель: Осуществление проверочного расчета передачи.

Входные параметры: передаточное число (u), крутящий момент на ведомом валу (T2), частота вращения ведомого вала (n2), продолжительность работы (t).

Имеет значения: u=5; T2=363,93; n2=293; t=длительный.

Выходные параметры: контактное напряжение.

Отношения:

Ограничения: максимальное контактное напряжение.

Требования: продолжительность работы.

Аксиомы:

Модель параметрического проектирования определяет однозначное отображение параметров на значения.

Модель параметрического проектирования закончена, когда все параметры означены.

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

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

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

На следующем этапе определяется стратегия поиска решения задачи, путем выбора одного из стандартных методов решения для задач рассматриваемого класса. К стандартным методам решения задач параметрического проектирования, рассмотренным в работе, относятся:

"Предложить и возвратиться", "Предложить и улучшить", группа методов "Предложить и пересмотреть", "А*-алгоритм", "Стратегия восхождения вверх". Для всех из них были разработаны онтологии, которые объединены в библиотеку методов.

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

Представленный на рисунке 5 алгоритм выбора метода решения учитывает два критерия выбора: отсутствие нарушенных ограничений (согласованность) и оптимальность (локальная/глобальная).

При этом знания, необходимые для выбора метода решения из библиотеки методов, формируются в онтологии интерфейса "Задача – Метод решения", которая имеет следующий вид:

Импортируемые онтологии: онтология класса задач, онтология метода решения.

Список переименований:

Передаточное число (u), крутящий момент на ведомом валу (T2), частота вращения ведомого вала (n2), продолжительность работы (t) Входной элемент проектирования.

Контактное напряжение Выходной элемент проектирования.

Осуществление проверочного расчета Компетентность метода.

Продолжительность работы Предусловия на параметры.

Максимальное контактное напряжение Постусловия на параметры.

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

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

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

Разработка онтологий методов решения задач производилась на основе анализа структуры задачи параметрического проектирования, поэтому онтология метода "Предложить и пересмотреть" для решения задачи проектирования цилиндрической зубчатой передачи имеет следующий вид:

Компетентность метода:

Полнота: допускается наличие неозначенных параметров.

Оптимальность: нет.

Согласованность: нет (допускаются нарушенные ограничения).

Предусловия на параметры: продолжительность работы.

Постусловия на параметры: максимальное контактное напряжение.

Пространство проектирования:

Элементы проектирования:

Входные: передаточное число (u), крутящий момент на ведомом валу (T2), частота вращения ведомого вала (n2), продолжительность Значения: u=5; T2=363,93; n2=293; t=длительный.

Выходные: контактное напряжение.

Контекст проектирования: расширение, исправление нарушенных ограничений.

Базовый компонент проектирования: параметр, ограничение.

Оператор проектирования: оператор расширения проектирования, корректирующий оператор.

Правила:

Если контекст – расширить, то базовый компонент – параметр, оператор – расширяющий.

Если контекст – пересмотреть, то базовый компонент – ограничение, оператор – корректирующий.

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

Упрощенный вариант онтологии предметной области проектирования цилиндрических передач имеет вид:

Предметная категория: Цилиндрическая передача.

Отношения:

Состоит из: шестерня, колесо, ведомый вал, ведущий вал.

Имеет атрибуты: передаточное число (u), межосевое расстояние (a), модуль (m), суммарное число зубьев (z), контактное напряжение (н).

Имеет значение: передаточное число [1.0, 1.25, 1.6, 2.0, 2.5,......., 11.2] Имеет значение: модуль [1.25, 1.5, 2.0, 2.5, 3.0,….., 14.0] Правила:

Правило определения действующего и максимального контактного напряжения.

Правило определения межосевого расстояния.

Аксиомы:

Передаточное число есть частное от деления числа зубьев колеса на число зубьев шестерни.

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

Для наполнения онтологии метода "Предложить и пересмотреть" предметными знаниями, представленными в онтологии предметной области проектирования цилиндрических передач, использовался интерфейс "Метод – Предметная область". На рисунке 6 приведена схема процесса решения задачи проектирования прямозубой цилиндрической передачи.

Рис 6. Схема процесса решения задачи проектирования сформирована следующая онтология:

Импортируемые онтологии: онтология метода решения "Предложить и пересмотреть", онтология предметной области.

Список переименований:

Параметр проектирования: Материал шестерни Предметная категория: Шестерня; Материал колеса Предметная категория:

Значения параметра проектирования Значения атрибута предметной категории "Шестерня"; Значения атрибута предметной категории "Колесо".

Предусловия на параметры Значения исходных данных задачи:

продолжительность работы передачи.

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

Оператор проектирования Предметные правила: правило выбора материала шестерни и колеса.

В результате выполнения этой процедуры получаем: материал шестерни – Сталь 40Х, колеса – Сталь 45.

Онтология для процедуры расчета значений ширины колеса и шестерни имеет вид:

Список переименований:

Параметр проектирования: Ширина шестерни Предметная категория: Шестерня; Ширина колеса Предметная категория:

Колесо.

Значения параметра проектирования Значение атрибута предметной категории "Шестерня", Значение атрибута предметной категории "Колесо".

Предусловия на параметры Предметная категория "Цилиндрическая передача": значение атрибута "Межосевое расстояние", Предметная категория "Колесо": значение атрибута "Коэффициент ширины колеса".

Постусловия на параметры Допустимые значения атрибута предметной категории: допустимые значения ширины шестерни и колеса.

Оператор проектирования Предметные правила: правило определения ширины шестерни и колеса.

В результате выполнения этой процедуры получаем: ширина колеса – b2=ba*a=0,4*160=64 мм; ширина шестерни – b1=1,12*b2= 1,12*64 =71,68 мм.

Полученные значения округляем до ближайшего числа из ряда по ГОСТ 6636-69: b2=63 мм, b1=71 мм.

Формирование онтологии и выполнение остальных процедур процесса решения реализуется аналогично.

В четвертой главе описана реализация предложенного метода представления и моделирования знаний специалиста в области КТПП. На основе предложенного метода была разработана структура программного комплекса (рисунок 7), состоящая из трех функциональных блоков: архива проектов, блока моделирования онтологического представления знаний, базы данных, и отражающая процесс преобразования исходной информации о задаче на входе в онтологическую модель проектного решения и получение экземпляра проектного решения на выходе.

Рис. 7. Структура программного комплекса моделирования знаний База данных предназначена для хранения библиотек обобщенных онтологических представлений модели знаний.

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

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

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

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

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

/*Цилиндрическая передача*/ СP:понятие, отношение [[размерность 4; понятия Sh:шестерня, K:колесо, VedVal:ведущий вал, VedomVal:ведомый вал]] u:атрибут /* передаточное число*/ [содержание [тип_значения "real"; допустимые_значения (1.0,....,11.2)]] /*Правило определения действующего контактного напряжения */ SIGMAHP:правило [размерность 6; атрибуты (t, m, z1, z2, ksibd, mat, dk) /*Аксиома. Передаточное число есть частное от деления z2/z1*/ uaks:аксиома [размерность 3; атрибуты (u, z1, z2)] Для программного комплекса моделирования знаний специалиста был реализован функциональный блок, относящийся к части интерфейса системы и предоставляющий возможность по созданию и редактированию онтологических представлений компонентов модели знаний специалиста. В качестве среды реализации была выбрана программная среда Java, в которой был создан графический редактор "KBEdit". Созданный графический редактор представляет онтологию в виде дерева, состоящего из понятий и отношений между ними, которые задаются правилами и аксиомами. При этом для упрощения процесса построения онтологий компонентов модели знаний специалистом в редактор были занесены созданные в работе онтологические представления этих компонентов на языке F-логики, используемые в качестве шаблонов.

Примеры форм интерфейса графического редактора представлены на рисунке 8:

Рис. 8. Вид интерфейсов графического редактора "KBEdit"

ВЫВОДЫ

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

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

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

3. Организованные в виде библиотек описания знаний о задачах, методах решения и предметной области могут использоваться для решения широкого спектра задач КТПП с использованием различных методов решения.

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

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

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

СПИСОК РАБОТ, ОПУБЛИКОВАННЫХ ПО ТЕМЕ ДИССЕРТАЦИИ

1. Елисеева Н.В. Библиотека проблемно-решающих методов. // Материалы VI-й научной конференции МГТУ "СТАНКИН" и "Учебно-научного центра математического моделирования МГТУ "СТАНКИН" – ИММ РАН", М. 2003г., с. 107-110.

2. Елисеева Н.В. Моделирование опыта специалистов-проектировщиков. // Материалы VIII-й научной конференции МГТУ "СТАНКИН" и "Учебнонаучного центра математического моделирования МГТУ "СТАНКИН" – ИММ РАН", М. 2005г., с. 82-84.

3. Елисеева Н.В., Колчин А.Ф. Моделирование опыта проектировщика. // Материалы XIII-ой международной конференции "Информационные средства и технологии", Министерство образования и науки Российской Федерации, Международной академии информатизации, Московский энергетический институт (технический университет), МГТУ "СТАНКИН", Москва, 2005г., с. 201-204.

4. Колчин А.Ф., Елисеева Н.В. Представление модели знаний специалистапроектировщика на основе онтологического подхода. // Научнотехнический журнал "Информационные технологии в проектировании и производстве" №3, Москва, 2006 г., с. 66-69.



Похожие работы:

«КАТИЛОВ ЕВГЕНИЙ КОНСТАНТИНОВИЧ МЕХАНИЗМ ФУНКЦИОНИРОВАНИЯ ВРЕМЕННОГО ВИРТУАЛЬНОГО ЭКОНОМИЧЕСКОГО КЛАСТЕРА НА БАЗЕ ПРОМЫШЛЕННОГО ПРЕДПРИЯТИЯ (на примере ОАО Нижнекамскшина) Специальность 08.00.05 Экономика и управление народным хозяйством (экономика, организация и управление предприятиями, отраслями, комплексами. Промышленность) АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата экономических наук Санкт-Петербург - 2014 Диссертационная работа выполнена в федеральном...»

«Касаев Таймураз Тамазович РЕАЛИЗАЦИЯ ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ В ЭКОНОМИКЕ СОВРЕМЕННОЙ РОССИИ Специальность 08.00.01 - Экономическая теория АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата экономических наук Томск – 2012 2 Работа выполнена в ФГБОУ ВПО Новосибирский государственный архитектурно строительный университет (Сибстрин) кандидат экономических наук, профессор Научный руководитель : Семенихина Валентина Анатольевна Официальные оппоненты : доктор...»

«Базуев Виктор Павлович МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ТЕЧЕНИЯ БИТУМНОДИСПЕРСНЫХ СИСТЕМ В ТРУБАХ И КАНАЛАХ, ПРОЦЕССОВ МОДИФИЦИРОВАНИЯ БИТУМОВ И ПОЛУЧЕНИЯ БИТУМНЫХ ЭМУЛЬСИЙ В КАВИТАЦИОННО-СМЕСИТЕЛЬНОМ ДИСПЕРГАТОРЕ Специальность 01.02.05 – Механика жидкости, газа и плазмы Автореферат диссертации на соискание ученой степени кандидата физико-математических наук Томск – 2011 Работа выполнена в Томском государственном архитектурно-строительном университете доктор физико-математических...»

«ГУМЕРОВ АНВАР ВАЗЫХОВИЧ ФОРМИРОВАНИЕ СТРАТЕГИИ РАЗВИТИЯ ПРЕДПРИНИМАТЕЛЬСКИХ СТРУКТУР С ИСПОЛЬЗОВАНИЕМ ИНСТРУМЕНТОВ МЕНЕДЖМЕНТА КАЧЕСТВА Специальность 08.00.05 – Экономика и управление народным хозяйством (экономика предпринимательства; стандартизация и управление качеством продукции) АВТОРЕФЕРАТ диссертации на соискание ученой степени доктора экономических наук Казань - 2013 Работа выполнена на кафедре территориальной экономики ФГАОУ ВПО Казанский (Приволжский) федеральный...»

«Маштакова Наталья Андреевна Договор об участии в долевом строительстве многоквартирных домов и иных объектов недвижимости: теория, практика, перспективы развития Специальность 12.00.03- Гражданское право; предпринимательское право; семейное право; международное частное право Автореферат диссертации на соискание ученой степени кандидата юридических наук Екатеринбург - 2012 Работа выполнена на кафедре гражданского права Федерального государственного бюджетного образовательного...»

«УМАРАЛИЕВ РАДЖАБ ШАМСОВИЧ АВТОМАТИЗАЦИЯ И МОДЕЛИРОВАНИЕ ТЕХНОЛОГИЧЕСКОГО ПРОЦЕССА ОБЖИГА КЕРАМИЧЕСКОГО КИРПИЧА В ТУННЕЛЬНОЙ ПЕЧИ Специальность 05.13.06 – Автоматизация и управление технологическими процессами и производствами (промышленность) АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук Москва - 2012 Работа выполнена на кафедре Автоматизированные системы управления в Федеральном государственном бюджетном образовательном учреждении высшего...»

«КОНЕВ Евгений Викторович НЕМЦЫ ЗАПАДНОЙ СИБИРИ В 1940 – 1990-е гг. (на материалах Кемеровской, Новосибирской и Томской областей) Специальность 07.00.02 – отечественная история АВТОРЕФЕРАТ диссертации на соискание учёной степени кандидата исторических наук Томск–2002 2 Работа выполнена на кафедре истории и документоведения историче ского факультета Томского го сударственного университета Научный руководитель : доктор историче ских наук,...»

«ФЛЮГЕЛЬ Франк МЕТОДИКА ПОСТРОЕНИЯ ОБОБЩЕННЫХ МАТЕМАТИЧЕСКИХ МОДЕЛЕЙ ГРУЗОПОДЪЕМНЫХ КРАНОВ С ГРУЗОМ НА ПРОСТРАНСТВЕННОМ КАНАТНОМ ПОДВЕСЕ Специальность 05.05.04 - Дорожные, строительные и подъемно - транспортные машины Автореферат диссертации на соискание ученой степени кандидата технических наук Санкт - Петербург 2002 Работа выполнена в Санкт-Петербургском государственном техническом университете. Научный руководитель : доктор технических наук, профессор А. Н. Орлов...»

«СОЛДАТОВА ЮЛИЯ ВИКТОРОВНА УПРАВЛЕНИЕ ЛОГИСТИЧЕСКИМИ ПРОЦЕССАМИ ПРИ РЕАЛИЗАЦИИ ДЕВЕЛОПЕРСКИХ ПРОЕКТОВ Специальность 08.00.05 – Экономика и управление народным хозяйством (логистика) АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата экономических наук Санкт-Петербург - 2013 2 Работа выполнена в Федеральном государственном образовательном учреждении высшего профессионального образования Уральский федеральный университет имени первого Президента России Б.Н. Ельцина....»

«БРЫКИН БОРИС ВИТАЛЬЕВИЧ МОДЕЛИРОВАНИЕ ХАРАКТЕРИСТИК ВОЗДУШНЫХ УПЛОТНЕНИЙ ГТД МЕТОДАМИ ВЫЧИСЛИТЕЛЬНОЙ ГАЗОВОЙ ДИНАМИКИ Специальность 05.07.05 Тепловые, электроракетные двигатели и энергоустановки летательных аппаратов АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук Москва- 2012 Работа выполнена в Московском авиационном институте (национальном исследовательском университете) (МАИ). Научный руководитель : доктор технических наук, профессор Леонтьев...»

«Барсуков Александр Валерьевич ВЛИЯНИЕ ТИПОВ СЕМЕЙНОГО ВОСПИТАНИЯ НА ФОРМИРОВАНИЕ САМООТНОШЕНИЯ У ПОДРОСТКОВ С АСОЦИАЛЬНЫМ ПОВЕДЕНИЕМ 19.00.10 - коррекционная психология АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата психологических наук Нижний Новгород - 2011 1    Работа выполнена в Государственном образовательном учреждении высшего профессионального образования Нижегородский государственный педагогический университет на кафедре возрастной и педагогической...»

«АБАШКИН Антон Александрович КРАЕВЫЕ ЗАДАЧИ ДЛЯ ОБОБЩЕННОГО ДВУОСЕСИММЕТРИЧЕСКОГО УРАВНЕНИЯ ГЕЛЬМГОЛЬЦА 01.01.02 дифференциальные уравнения, динамические системы и оптимальное управление Автореферат диссертации на соискание ученой степени кандидата физико-математических наук Казань 2013 Работа выполнена на кафедре Высшая математика ФГБОУ ВПО Самарский государственный архитектурно-строительный университет Научный руководитель : Репин Олег Александрович, доктор...»

«ГОЛОВАНЬ Наталья Сергеевна Государственная жилищная политика в городах Кемеровской области (1943 – конец 1950-х гг.) Специальность 07.00.02 – Отечественная история Автореферат диссертации на соискание ученой степени кандидата исторических наук Томск – 2006 3 Работа выполнена на кафедре истории России и политологии ГОУ ВПО Томский государственный архитектурно-строительный университет Научный руководитель : доктор исторических наук, профессор Валерий Павлович Андреев...»

«Лукашевич Надежда Кимовна ПОВЫШЕНИЕ ЭФФЕКТИВНОСТИ СТРОИТЕЛЬСТВА ДОРОГ В СТЕСНЕННЫХ УСЛОВИЯХ ПРИМЕНЕНИЕМ БЕЗРАЗЛЕТНОГО ВЗРЫВНОГО РЫХЛЕНИЯ СКАЛЬНЫХ ГРУНТОВ 05.23.11 – Проектирование и строительство дорог, метрополитенов, аэродромов, мостов и транспортных тоннелей Автореферат диссертации на соискание ученой степени кандидата технических наук Хабаровск – 2010 Работа выполнена в ГОУВПО Тихоокеанский государственный университет Научный руководитель : кандидат технических наук,...»

«БУРАВЧЕНКО Ирина Леонидовна Конституционно-правовой статус избирателя в Российской Федерации Специальность 12.00.02 - конституционное право; муниципальное право АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата юридических наук Москва - 2010 2 Работа выполнена и рекомендована к защите на кафедре государственного строительства и права Федерального государственного образовательного учреждения высшего профессионального образования Российская академия государственной...»

«ДЬЯКОВ Константин Анатольевич УСТРОЙСТВО ЗАЩИТНЫХ СЛОЕВ ПОКРЫТИЙ АВТОМОБИЛЬНЫХ ДОРОГ ИЗ КОМПЛЕКСНО-МОДИФИЦИРОВАННЫХ ОТКРЫТЫХ БИТУМОМИНЕРАЛЬНЫХ СМЕСЕЙ Специальность 05.23.11 – Проектирование и строительство дорог, метрополитенов, аэродромов, мостов и транспортных тоннелей АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук Волгоград 2005 Работа выполнена в Ростовском государственном строительном университете. Научный руководитель : доктор технических...»

«ВАСИЛЬЕВ Антон Николаевич ПОВЫШЕНИЕ КОНКУРЕНТОСПОСОБНОСТИ СТРОИТЕЛЬНОГО ПРЕДПРИЯТИЯ ЗА СЧЕТ ФОРМИРОВАНИЯ ЭФФЕКТИВНОГО ОРГАНИЗАЦИОННО-ЭКОНОМИЧЕСКОГО МЕХАНИЗМА УПРАВЛЕНИЯ ИННОВАЦИОННО-ИНВЕСТИЦИОННЫМИ ПРОЦЕССАМИ Специальность 08.00.05 - Экономика и управление народным хозяйством: экономика, организация и управление предприятиями, отраслями, комплексами (строительство); управление инновациями и инвестиционной деятельностью АВТОРЕФЕРАТ диссертации на соискание ученой степени...»

«КРОТКОВ ГЛЕБ ИГОРЕВИЧ КОМПЛЕКСНАЯ ОЦЕНКА КОРПОРАТИВНОЙ РЕСТРУКТУРИЗАЦИИ НЕФТЕСЕРВИСНЫХ УСЛУГ (НА ПРИМЕРЕ ОАО ТАТНЕФТЬ) Специальность 08.00.05 – Экономика и управление народным хозяйством (экономика, организация и управление предприятиями, отраслями, комплексами - промышленность) Автореферат диссертации на соискание ученой степени кандидата экономических наук Москва 2012 1 Диссертационная работа выполнена на кафедре производственного менеджмента Российского государственного...»

«ДРЕВСКАЯ Александра Михайловна МОДЕЛИРОВАНИЕ ПРОЦЕССОВ УПРАВЛЕНИЯ ПРОЕКТАМИ СОЗДАНИЯ ОБЪЕКТОВ КОММЕРЧЕСКОЙ НЕДВИЖИМОСТИ Специальность 08.00.05 - Экономика и управление народным хозяйством: экономика, организация и управление предприятиями, отраслями, комплексами (строительство) АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата экономических наук Санкт-Петербург 2009 2 Работа выполнена на кафедре экономики и менеджмента недвижимости ГОУ ВПО Санкт-Петербургский...»

«ЧЕБОКСАРОВ АЛЕКСЕЙ НИКОЛАЕВИЧ СОВЕРШЕНСТВОВАНИЕ ТЕХНИЧЕСКИХ СРЕДСТВ ДИАГНОСТИРОВАНИЯ ДВИГАТЕЛЕЙ СИЛОВЫХ УСТАНОВОК И ГИДРОАГРЕГАТОВ ДОРОЖНО-СТРОИТЕЛЬНЫХ МАШИН 05.05.04 – Дорожные, строительные и подъемно-транспортные машины АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук Омск – 2011 Работа выполнена на кафедре Эксплуатация и сервис транспортнотехнологических машин и комплексов в строительстве Сибирской государственной автомобильно-дорожной...»








 
© 2013 www.diss.seluk.ru - «Бесплатная электронная библиотека - Авторефераты, Диссертации, Монографии, Методички, учебные программы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.