CC BY
64
Горюнова Валентина Викторовна
Пензенский артиллерийский инженерный институт.
E-mail: gvv17@ya.ru.
440028, г. Пенза, ул. Беляева, д. 33, кв.17, тел.: (905)3675366.
Доцент, к.т.н.
Gorjunova Valentina Victorovna
Penza artillery engineering institute.
E-mail: gvv17@ya.ru.
Street Beljaeva, д.33 sq. 17, Penza, 440028, Russia, Phone: (905)3675366. Assistant professor, Cand. Eng. Sc.
Володин Константин Игоревич
Пензенская государственная технологическая академия.
E-mail: gvv17@ya.ru.
440605, г. Пенза, пр. Байдукова 1-а, тел.(905)3650856.
Аспирант.
Volodin Konstantin Igorevitch Penza state technological academy.
E-mail: gvv17@ya.ru.
Bajdukova avenue, 1, Penza, 440605, Russia, Phone: (905)3650856. Post-graduate student.
УДК 004.89.002.53
В.В. Горюнова
РАЗРАБОТКА СОБЫТИЙНО-ПРОДУКЦИОННОЙ МОДЕЛИ ОНТОЛОГИЙ ДИАГНОСТИЧЕСКИХ СИСТЕМ
В статье представлены аспекты разработки онтологий диагностических систем на основе математического аппарата сетей Петри и систем продукций. Рассматриваются аспекты модульной онтологической системной технологии (МОСТ-технологии), определяющей механизм проектирования, функционирования и разработки декларативных онтологических модулей (ДОМ).
Онтологии; декларативное моделирование; базы знаний; сети Петри; продукционные системы.
V.V. Goryunova
DEVELOPMENT OF EVENT-DRIVEN PRODUCTION MODELS OF
ONTOLOGY
In this article the aspects of development of ontology are presented on the basis of the body of mathematics of Petri nets and production systems. The aspects of the modular ontological system technology (MOST - TECHNOLOGY), determining the mechanism of design, function and development of the declarative ontological model are considered (DOM).
Ontology; declarative modeling; bases of knowledge; petri nets; production systems.
Введение. Понятие онтологии и онтологического анализа вошли в процедуры и стандарты моделирования производственных, эксплуатационно-
технологических процессов и диагностических процессов. Онтологическое иссле-
дование сложных систем позволяет накопить ценную информацию об их работе, результаты анализа которой имеют решающее значение для проведения процесса реорганизации существующих и построении новых систем. Практическая разработка онтологических структур функциональной диагностики показала, что системы обработки знаний продукционного типа (продукционные системы) [1] являются хорошим средством создания онтологий, использующих базы знаний сложной структуры, и в настоящее время заметно стремление применять продукционные системы для широкого круга задач инженерии онтологий.
Модификация базовых структур продукционных систем при решении задач инженерии онтологий проводится в двух основных направлениях. Первое - исследование общих принципов и теории продукционных систем, направленное на дальнейшее развитие архитектуры и мощности систем, в основе которых лежат онтологические представления. Второе - разработка конкретных онтологических систем, являющихся специализированными реализациями онтологий.
Требования к реализации событийно-продукционных моделей онтологий. Обычно под системой обработки знаний продукционного типа (продукционной системой) имеется в виду определенный метод организации вычислительного процесса, при котором программа преобразования некоторой информационной структуры 8 задается в виде организованного или неорганизованного множества правил-продукций, каждое из которых представляет собой пару: «Условие применимости — действие». Условие применимости правила специфицирует некоторые требования к текущему состоянию структуры 8, а действие содержит описание тех операций над 8, которые надо произвести, если С удовлетворяет этим требованиям.
Общая постановка задачи при использовании продукционных систем для создания онтологий формулируется следующим образом. Задается текущее управляющее состояние (поток) и целевое поисковое состояние (образ). Взаимодействие потоков и образов порождает последовательность событий в онтологической системе. Система на основе заложенных в нее продукционных знаний ищет возможные пути достижения поискового целевого состояния для образа по текущему управляющему состоянию потока. Событийно-продукционная модель представляет новую стратегию управления поиском решений в пространстве событий на основе формального аппарата сетей Петри: процедура разрешения конфликта сводится к проверке активированных параллельных продукций на корректность, осуществляемой известными алгоритмами анализа сетей Петри [2].
Интерпретатор представляет собой ту часть продукционной системы, которая наиболее широко варьируется в разных программных проектах, но в общем виде его можно рассматривать как поисковый процесс, состоящий из двух фаз: выбора продукции и ее применения. При выборе каждой новой продукции и осуществляемом при этом поиском по образцу происходит полная переоценка текущего управляющего состояния системы (события). Таким образом, продукционная система должна чутко реагировать на любые изменения событий в вычислительной среде и при необходимости менять свое поведение в течение одного цикла. С другой стороны, такая гибкость системы требует дополнительных затрат времени для переоценки состояния базы. Эти требования удовлетворяются при использовании графового представления событийно-продукционной модели, в качестве надстройки к интерпретатору и правил выполнения сетей Петри, в качестве стратегии управления.
N - сеть Петри специального вида [3], N = <Р,Т,1,0,М0>,
где Р={рШ=1-и} - множество позиций;
Т={тШ=1-ш} - множество переходов;
1=Р*Т— {0,1} - входная функция инцидентности;
О=т*Р—{0,1} - выходная функция инцидентности;
М0: Р—{0,1} - начальная маркировка;
8 - множество декларативных информационных образов, представляемых таблицами, 8={б1/1=1 -п} ;
Б - множество логических формул, Р={йЛ=1-п};
а:Р— 8 - отображение, задающее "нагрузку" позиций сети информационными сущностями;
Ь:Т— Б - отображение, задающее "нагрузку" переходов логическими формулами.
Подобная стратегия управления даёт возможность ввести понятие параллельно-последовательной продукционной системы и, безусловно, является развитием высокопараллельных структур продукционных систем.
Важным фактором реализации событийно-продукционной модели является введенное на ^сети понятие модуля: связный фрагмент слоя сети N. имеющий строго одну корневую вершину [3].
Такой подход дает возможность осуществить модульный принцип реализации событийно-продукционной модели в виде декларативных онтологических модулей (ДОМ), реализуемых средствами продукционных систем и ввести понятие редукционного модуля в реализации [4].
Помимо указанных качеств, свойства модели в сочетании со свойствами продукционных систем дополнительно позволяют использовать в программной реализации следующие принципы:
- преимущественных возможностей или взаимодополняемости субъектов проектирования и ЭВМ, которые состоят в преимущественной и первоочередной реализации в системе соответствующих достоинств каждой из сторон;
- построения и функционирования открытых систем, структура которых обеспечивает: непрерывную эволюцию, расширяемость системы для адаптации к неизбежно меняющимся условиям проектирования;
- иерархической многоуровневой и модульной организации системы с распределением функций между модулями, структуры которых максимально независимы, автономны, имеют функционально замкнутые выделяемые части, обеспечивая повышение производительности, надежности функционирования и уменьшение общей сложности построения системы;
- поэтапного синтеза системы как целеориентированного целостного единства путем последовательного определения и описания состава;
- максимальной унификации и типизации при построении компонент, выборе элементов и средств системы.
Состав и функции компонент реализации декларативного онтологического модуля. ДОМ-модуль состоит из четырех компонент [4]
В - БЛ8Б-компоненты (база),
Я - ЯиЬБ-компоненты (правила),
О - 0К0А№2Б-компоненты (управление),
С - САЬСиЬАТБ-компоненты (расчеты).
Формально ДОМ=<В, Я, О, С>.
Свойства событийно-продукционной модели и возможности реализации
ДОМ-модулей позволяют формулировать архитектуру модульной иерархической редукционной системы [5].
Заключение. Среди достоинств событийно-продукционной модели основными являются следующие:
а) универсальность метода программирования;
б) естественная модульность организации знаний;
в) легкость и естественность спецификации продукционных знаний, простота их модификации и расширения.
Кроме того, асинхронность, недетерминированность и естественная параллельность ДОМ-модулей делает их весьма перспективными для реализации на параллельных ЭВМ.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Farquhar A., Fikes R., Rice J. The Ontolingua server: A tool for collaborative ontology construction // International Journal of Human-Computer Studies, 46(6), P. 707-728, 1997.
2. Горюнова В.В. Методика разработки гипертестовых систем военно-технического назначения // Известия ТулГУ. Сер. «Проблемы специального машиностроения». Вып. 8.
- Тула: Изд-во ТулГУ, 2005.
3. Горюнова В.В. Модульная технология в интеллектуальных информационных системах // Научно-технический сборник статей «Динамика гетерогенных структур», вып.№4.
- 2008. - Пенза, ПГУ, 2008.
4. Горюнова В.В. Модульная онтологическая системная технология в управлении промышленными процессами // Приборы и системы. Управление, контроль, диагностика.
- 2008. - №2. - С. 59-64.
5. Горюнова В.В. Декларативное моделирование распределенных систем управления промышленными процессами // Приборы и системы. Управление, контроль, диагностика.
- 2009. - №10. - С. 62-70.
Горюнова Валентина Викторовна
Пензенский артиллерийский инженерный институт.
E-mail: gvv17@ya.ru
440028, г. Пенза, ул. Беляева, д. 33, кв. 17, тел.: (905)3675366.
Доцент, к.т.н.
Gorjunova Valentina Victorovna
Penza artillery engineering institute.
E-mail: gvv17@ya.ru.
Street Beljaeva, д.33 sq. 17, Penza, 440028, Russia, Phone: (905)3675366.
Assistant professor, Cand. Eng. Sc.
УДК 681.323:621.391
О.Г. Дьякова
ОЦЕНКА ЧУВСТВИТЕЛЬНОСТИ ДИФФЕРЕНЦИАЛЬНЫХ ОПЕРАТОРОВ ПРИ РАЗЛИЧНОЙ ОРИЕНТАЦИИ ПЕРЕПАДА ЯРКОСТИ
ИЗОБРАЖЕНИЯ
В работе представлены модели дифференциальных операторов на основе гладких функций, осуществляющих формирование контурного сигнала объектов на изображении путем дифференцирования исходного сигнала в направлении градиента перепада яркости и
