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.



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

«Ибрагимова Юлия Айдаровна Башкирская женщина в семье и обществе в первой половине XIX в. Специальность: 07.00.07 – этнография, этнология, антропология Автореферат диссертации на соискание ученой степени кандидата исторических наук Ижевск – 2004 Работа выполнена в Башкирском государственном университете Научные руководители: доктор исторических наук, профессор Янгузин Рим Зайнигабитович, кандидат исторических наук, профессор Асфандияров Анвар Закирович Официальные оппоненты :...»

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

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

«Умеренкова Анна Валерьевна ЛИНГВО-КОГНИТИВНОЕ МОДЕЛИРОВАНИЕ ЭФФЕКТА ОБМАНУТОГО ОЖИДАНИЯ Специальность 10.02.19 – теория языка АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата филологических наук Курск – 2009 Работа выполнена на кафедре теории языка Государственного образовательного учреждения высшего профессионального образования Курский государственный университет доктор филологических наук, профессор Научный руководитель : Сазонова Татьяна Юрьевна Официальные...»

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

«Баландина Елена Анатольевна СОЦИАЛЬНОЕ МИФОТВОРЧЕСТВО В КАЧЕСТВЕ СРЕДСТВА МАНИПУЛЯЦИИ СОЗНАНИЕМ (философский подход) Специальность 09.00.11 – социальная философия АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата философских наук Барнаул – 2006 Работа выполнена на кафедре философии Барнаульского государственного педагогического университета Научный руководитель : доктор философских наук, профессор Филиппов Василий Никифорович. Официальные оппоненты : доктор...»

«Роман Мария Юрьевна Указы главы Российского государства: теоретико-историческое исследование Специальности: 12.00.01 – теория и история права и государства; история учений о праве и государстве 12.00.02 – конституционное право; конституционный судебный процесс; муниципальное право АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата юридических наук Москва – 2014 2 Работа выполнена в Федеральном государственном научноисследовательском учреждении Институт...»

«РАЗУМОВ Денис Вячеславович ОБУЧЕНИЕ ТЕННИСИСТОВ 12-14 ЛЕТ ТАКТИКЕ РЕАЛИЗАЦИИ ПОДАЧИ 13.00.04 – теория и методика физического воспитания, спортивной тренировки, оздоровительной и адаптивной физической культуры АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата педагогических наук Набережные Челны - 2012 Работа выполнена на кафедре теории и методики физического воспитания и борьбы Набережночелнинского филиала ФГОУ ВПО Поволжская государственная академия физической...»

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

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

«Елецкий Станислав Викторович Вычислительные алгоритмы и комплексы программ нового поколения для решения задач проблемы цунами 05.13.18 – математическое моделирование, численные методы и комплексы программ АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук Новосибирск 2008 Работа выполнена в Институте вычислительных технологий СО РАН и в Новосибирском государственном университете на кафедре математического моделирования...»

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

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

«Голубев Николай Александрович Интегральный электростатический спектрометр с магнитной адиабатической коллимацией для установки по поиску массы нейтрино из -распада трития Специальность 01.04.01 приборы и методы экспериментальной физики Автореферат диссертации на соискание ученой степени кандидата физико-математических наук Москва – 2006 Работа выполнена в отделе экспериментальной физики Института ядерных исследований РАН....»

«Кузнецова Ольга Сергеевна Французский персонализм в европейском философском контексте XX века: основные дискуссии и влияния Специальность - 09.00.03 – история философии Автореферат диссертации на соискание ученой степени кандидата философских наук Москва 2009 Работа выполнена на кафедре истории философии факультета гуманитарных и социальных наук Российского университета дружбы народов. Научный руководитель : кандидат философских наук, доцент М.Л.Хорьков Официальные оппоненты...»

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

«Пономарёв Иван Николаевич МАТЕМАТИЧЕСКИЙ АППАРАТ И ПРОГРАММНЫЕ СРЕДСТВА КОНЦЕПТУАЛЬНОГО ПРОЕКТИРОВАНИЯ Специальность 05.13.18 — Математическое моделирование, численные методы и комплексы программ АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук Москва – 2007 Работа выполнена на кафедре концептуального анализа и проектирования Московского физико-технического института (государственного университета). Научный руководитель : доктор...»

«Шатихина Любовь Валентиновна Ахматова и Пушкин: к вопросу межтекстовых коммуникаций. Специальность – 10.01.01. – Русская литература. Автореферат диссертации на соискание ученой степени кандидата филологических наук Москва 2008 1 Работа выполнена на кафедре истории русской литературы ХХ века филологического факультета Московского государственного университета им М.В.Ломоносова доктор филологических наук, Научный руководитель профессор Авраменко Альберт Петрович доктор...»

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

«Белозубов Юрий Владимирович СИСТЕМА ТОПЛИВОПОДАЧИ ДИЗЕЛЯ С РАЗДЕЛЕННЫМИ ПРОЦЕССАМИ НАГНЕТАНИЯ И ДОЗИРОВАНИЯ 05.04.02 – Тепловые двигатели Автореферат диссертации на соискание ученой степени кандидата технических наук Волгоград – 2009 Работа выполнена в Волгоградском государственном техническом университете. Научный руководитель доктор технических наук, профессор Славуцкий Виктор Михайлович. Официальные оппоненты : доктор технических наук, профессор Прядко Владимир Алексеевич;...»






 
2014 www.av.disus.ru - «Бесплатная электронная библиотека - Авторефераты, Диссертации, Монографии, Программы»

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