Категорный подход при формировании полимодельных комплексов сложных систем

Размещено на http://www.allbest.ru/

Категорный подход при формировании полимодельных комплексов сложных систем

Н.Г. Губанов

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

Особенностью прикладных задач управления ЖЦ сложных объектов является высокий уровень неопределённости при формировании и принятии организационных и технических решений. В совокупности со сложноорганизованной априорной информацией, обусловленной полимодельным характером [1], междисциплинарное решение задачи формирования, представления и квалиметрии знаний о сложных технических объектах видится чрезвычайно важным. В этой связи с практической точки зрения видится перспективным использование эвристических методов анализа для поиска закономерностей между данными, а интерпретацию результатов сводить к математическим моделям с целью применения развитых аппаратов обработки полученных данных.

Конструктивным подходом к интеграции различных видов моделей объекта является применение методов категорно-функторного анализа. Данный подход позволяет сохранить целостность представления объекта за счёт инвариантности способа полимодельного описания объекта и свести исследования задач одного вида к задачам другого вида. Например, в [1] приводится функтор, отображающий категорию графов в категорию динамических моделей. В настоящее время есть информация о ряде функторных зависимостей, позволяющих обеднять или, напротив, обогащать категории, осуществляя соответственно декомпозицию или агрегирование информационных структур. Источником формирования данных структур является вывод из базы знаний (БЗ) сложного объекта.

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

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

Алгоритм формирования построен на основе иерархической таксономии, где иерархия - это многоуровневая структура, в которой объекты, находящиеся в одном таксоне на некотором уровне, остаются в одном таксоне на всех последующих, более высоких уровнях [2]. Описание представим в виде графа , где m - уровень иерархии, l - идентификатор графа. Каждая l-ная вершина m-ноro уровня характеризуется структурным индексом, равным числу примыкающих к ней ребер и индексом вершины . Весовой индекс вершин определённого уровня равен сумме индексов вершин, входящих в эту вершину из предыдущего уровня. Число уровней иерархий, определяющее подробность описания , прямо пропорционально силе гипотезы .

Измерение расстояний между данными структурами базируется на подходе оценки расстояния между иерархиями через сложность наследования - превращения одной иерархии в другую с применением набора операций, которые заключаются в добавлении или удалении вершин и связей между ними. Каждая операция имеет свою стоимость . Оптимальному переводу соответствует последовательность элементарных операций, определяющих сложность превращения одной структуры в другую [4]. Соответственно необходимо определение двух видов близости - характеристика структурной близости иерархий и характеристика различия по весу таксонов иерархических структур. Расстояние по виду структуры заключается в расчёте сложности замены вершины одного на вершину другого, требуемой в процессе превращения структуры одного объекта в другой. Для оценки замены всех вершин заданного уровня первого на все вершины заданного уровня второго используем определение суммарного расстояния между наиболее похожими парами. Проведя сравнение всех уровней первого объекта со всеми уровнями второго, получим матрицу величин редакционного расстояния между уровнями сравниваемых иерархий. Редакционным расстоянием между структурами является стоимость оптимального перевода уровней структуры первого объекта в соответствующие уровни структуры второго. Расстояние по весовым индексам определяется путём нахождения оптимального решения методом динамического программирования [2]. Суть данной задачи состоит в формировании механизма наследования - преобразовании всех уровней одного объекта в соответствующие уровни другого. Вычисляется суммарное расстояние весов между наиболее похожими парами. Затем формируется матрица редакционных расстояний, и на ней строится оптимальный путь перевода одного объекта в другой.

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

Различают два периода ЖЦ СТО: период развития системы и период целевого функционирования с постепенно развивающейся деградацией. Каждый период разделяют на различные этапы. Период развития СТО связан с научно-исследовательской, проектной и производственной деятельностью, а для случая целевого функционирования с развивающейся деградацией профессиональная деятельность направлена на сохранение во времени заданных показателей эффективности.

Вид системы определяется соответствующими категориями представления профессиональной деятельности: профессиональных функций; профессиональных задач и алгоритмов их решения. Управление знаниями связано с формированием ряда организационно-технических систем , где u - система управления, m - объект управления, c - среда. Количество систем определяется конкретной БТС, но, как правило, обязательно присутствие проектной, производственной и эксплуатационной систем. Соответственно будем различать:

систему проектирования , где - управление проектными работами, - проектная модель БТС, - проектная среда;

производственную систему , где - управление производственными работами, - производственная модель БТС, - производственная среда;

эксплуатационную систему , где - управление эксплуатацией объекта, - модель эксплуатации СТО, - эксплуатационная среда. Управляющие системы представляют собой человеко-машинные комплексы профессиональных коллективов и инструментальных средств. Соответственно БЗ СТО строится на основе полимодельного описания с учетом этапа ЖЦ СТО, соответствующей среды и вида деятельности .

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Охтилев М.Ю., Соколов Б.В., Юсупов P.M. Интеллектуальные технологии мониторинга и управления структурной динамикой сложных технических объектов. М.: Наука, 2006. 410 с: ил., ISBN - 5-02-033789-7.

2. Загоруйко Н.Г. Прикладные методы анализа данных и знаний. М.: Высшая школа, 1999.

Размещено на Allbest.ru