Научная статья на тему 'Особенности применения эталонных моделей для разметки временного ряда при распознавании состояний сложного объекта'

Особенности применения эталонных моделей для разметки временного ряда при распознавании состояний сложного объекта Текст научной статьи по специальности «Математика»

CC BY
316
72
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
сложный динамический объект / состояние объекта / распознавание состояний / стохастический временной ряд / разметка временного ряда / эталонная разметка временного ряда / object in uncertainty / object state / recognition of states / stochastic time series / marking of stochastic time series / etalon marking of stochastic time series

Аннотация научной статьи по математике, автор научной работы — Колесникова Светлана Ивановна

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

The model for marking the stochastic time series with non-linear trend on the basis of algebraic approach to correct algorithm synthesis has been introduced. It is the development of problem-oriented synthesis theory of taught algorithm families with the required properties. Algorithm family of reference time series marking was obtained, its properties were studied on the basis of the model. The numerical simulation data were given.

Текст научной работы на тему «Особенности применения эталонных моделей для разметки временного ряда при распознавании состояний сложного объекта»

УДК 519.7;519.81

ОСОБЕННОСТИ ПРИМЕНЕНИЯ ЭТАЛОННЫХ МОДЕЛЕЙ ДЛЯ РАЗМЕТКИ ВРЕМЕННОГО РЯДА ПРИ РАСПОЗНАВАНИИ СОСТОЯНИЙ СЛОЖНОГО ОБЪЕКТА

С.И. Колесникова

Томский политехнический университет Томский государственный университет систем управления и радиоэлектроники E-mail: skolesnikova@yandex.ru

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

Ключевые слова:

Сложный динамический объект, состояние объекта, распознавание состояний, стохастический временной ряд, разметка временного ряда, эталонная разметка временного ряда. Key words:

Object in uncertainty, object state, recognition of states, stochastic time series, marking of stochastic time series, etalon marking of stochastic time series.

Исторически оценки состояний сложных динамических объектов (СДО) основаны, главным образом, на методах моделирования сложных систем, теории анализа, обработки и оценивания сигнальной информации, методах технической диагностики, методах анализа и прогнозирования временных рядов, методах нелинейной динамики и распознавания образов [1, 2].

Современные исследования распознавания состояний сложных объектов связаны с работами [3] (автоматизация огрубленного численного исследования динамической системы на основе использования методов распознавания образов и статистического моделирования), [4] (распознавание последовательности состояний сложного источника, как чередование и наложение характерных последовательностей друг с другом), [5] (управление состояниями сложных технических объектов на основе полимодельного многокритериального описания) и многими др.

Направление, связанное с применением алгебраического подхода [2, 6-8] к решению некорректных задач, является основным при автоматическом построении алгоритмов для распознавания нежелательных ситуаций (предаварийных) динамических систем, и развивается в трудах ВЦ РАН как исследование и апробация технологии разметки временных рядов с позиций теоретико-множественного описания [2]. В основе алгебраического подхода лежит идея разметки точек ряда аксиомами (правилами). На этапе обучения строится система аксиом, а на этапе распознавания - каждому классу характерного поведения ставится в соответствие определенная последовательность аксиом. Ключевой проблемой является выбор системы аксиом для данной конкретной задачи. Следует отметить, что формализованный подход к разметке стохастического временного ряда (СВР) отсутствует (известны отдельные эвристические решения с использованием нейросетей и генетических алгоритмов [8].

Несмотря на развитость выше перечисленных технических и математических подходов, существует ряд нерешенных проблем, связанных с особенностями нелинейных и нестационарных СДО:

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

б) проблема моделирования нестационарных рядов в настоящее время в теоретическом плане не разрешена, а в практическом - производится «подгонкой» и не всегда успешно; в) нейросетевые методы, логические методы и методы нечеткой логики позволяют строить более точные модели в условиях ограниченного набора обучающих данных, но при этом характеризуются относительной сложностью практической реализации, высокими требованиями к ресурсам ЭВМ, ограничениями применимости в реальном времени.

Целью настоящей работы является представление результатов исследования применения существующих эталонных моделей [9—14] к решению задачи разметки СВР и распознавания состояний сложного объекта, под которым понимается объект, характеризующийся свойствами: отсутствие полного аналитического описания (недостаточность априорной информации для построения адекватной модели, структурно сложный объект); нелинейность имеющихся моделей описания и/или нестационарность сопровождающего его поведение процесса (временного ряда).

Прежде всего, в продолжение работ [15, 16] внесем ясность в вопрос об алгоритме (приложение [15]) и алгоритме из [16], который возник по вине автора данной работы: во-первых, в списках литературы работ [15, 16] вместо указанной работы под номерами 14, 17, соответственно, должна быть указана работа [14] того же автора; во-вторых,

первая строка в приложении работы [15] должна читаться так: «алгоритм формирования мета-эталонов [14]». Автор данной работы сожалеет о допущенной ошибке и приносит свои извинения автору работы [14].

В данной статье дается основное содержание модели и реализующих ее метода и алгоритма разметки СВР для выявления закономерностей в стохастических рядах (решающих правил) при решении задачи распознавания состояний сложных объектов [6, 7]; дается правило применения эталонных моделей [9-14] для разметки временного ряда, показавшее хорошие результаты при распознавании состояний электро-механического объекта, где время отклика системы принятия решения весьма критично. Представлены результаты программного моделирования и примеры практического применения построенной модели.

Основные понятия. Постановка задачи

Пусть Ь - линейное нормированное пространство всевозможных числовых последовательно -стей; дан временной ряд у1,...,уп,ур у'=1,и - аддитивная смесь изменяющейся со временем детерминированной составляющей хк и измерительного белого шума £§=0, £§2=а-/<а>:

У'=Х+'>0. (1)

Предполагается, для /-го фрагмента ряда (1) (интерпретируемого как состояние динамического объекта) процесс описывается моделью:

у/)=х/)+§</), ;>0, /=й, (2)

где х(1)=//)=/с/)0'А), Д>0, /(/)(0еЛ - некоторая неизвестная функция, описывающая поведение неслучайной составляющей х/ СВР.

Задача выделения тренда определяется пятеркой зафиксированных параметров 0(Ф,М,р,Ь$,о§2), где Ф=/к(0,к=1,И/} - множество функциональных зависимостей, домен алфавита разметки М={/ь..., /т}, р - система аксиом, Ь8 - обучающая выборка, и ставится как задача классификации: каждой точке ряда у должен быть сопоставлен символ из словаря разметки М (номер класса из множества классов).

Решение задачи на основе

проблемно-ориентированной теории

1. Модель разметки СВР. Модель разработана на основе проблемно-ориентированной теории синтеза корректных алгоритмов [2], базовым принципом которой является алгебраический подход [1] к построению корректных процедур обработки информации на базе некорректных эвристических алгоритмов.

Формализация моделиразметки состоит из двух этапов: 1) описание класса задач, критериев регулярности, разрешимости задачи разметки СВР и полноты; 2) построение эвристических алгоритмов решения задачи и корректирующих операций, на базе которых формируется корректная (безошибочная на прецедентах) процедура.

Определение 1. Стохастический вектор-объект определяется как вектор Yd=((t1,y1),^,(td,yd)), d>1, tyeR, Y=(tj,y)^R2, j Л>0, d>1, ¿1<...Ч, где y удовлетворяет (1), (2).

Определение 2. Объекты Yd=((t1,y1),.,(td,yd)), Yd=((t'1,y'1),...,(t'd,y'd)), d>0 статистически эквивалентны, если в условиях модели (1) из того, что y=xß)+^ (t), yj=xj(0+j) следует xj(t)=xj(t), j=1,d.

Определение 3. Разметки /1d, l2d - почти одинаковые (/^/Д если число позиций, в которых метки не совпадают (не размечены) (/0=0) меньше порогового значения.

Система аксиом называется корректной, если она удовлетворяет дополнительным ограничениям - требованиям полноты и однозначности. Система аксиом полна, если для любой точки исследуемого временного ряда найдется аксиома из системы аксиом, её размечающая; система аксиом удовлетворяет условию однозначности, если любая точка любого временного ряда может быть размечена лишь одной аксиомой.

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

2. Локальные системы аксиом разметки СВР. Условие корректности алгоритма А. Задача 0 выделения трендов заключается в синтезе такого алгоритма А, что для всех статистически эквивалентных вектор-объектов из любого обучающего поднабора алгоритм A дает почти одинаковые ответы. Для обеспечения разрешимости некорректной задачи разметки решаются два вопроса: 1) вопрос локализации аксиом и алгоритмов разметки и поиска оптимальной системы окрестностей; 2) вопрос регуляризации задачи разметки. Решение первого вопроса обеспечивается двумя локальными системами аксиом fi=[ßu}: система н={нЛ размечает скользящее окно ряда переменной длины, с величиной сдвига, равному размеру окна; система H=H2} размечает одну точку по окрестности O(yjj/1+1)=((tfl,yfl),...,(tj,yj)), i1 е[1,d], j>il.

Правило 1 разметки временного ряда (система аксиом н={нЛ). Аксиома

Hl: Q (Sd xMd хА') ^{0,1}

d =1

задается на d=(i2-i1+1) точках; точка (tj,yj)V/'e[/1,i2] является точкой с разметкой /=/и для отрезка [t;1,t;2], если в условиях (1) при фиксированных функциях ф, р имеют место:

(aA,...,<) = arg min СПф(а4', j),

а A'iR'k (

СПф (а Ai, j) = X Ф

ie{ j-d+i,...,j}

У -Z

Ai

a У -

(3)

ф - некоторая монотонно возрастающая на (0,<х>) функция, ф(0)=0, ф (x)=0 для любого x>0,

sup x

xeR *

W(x) <<ю, p(ak, aAk) =

\\ak -aAk\

u =

arg min p(a

k=1,nf

к), CrtXaAk(pk), j) < e

/0, CrWa Ak (pk ),j) > e

Wj'

(4)

aAk=aAk[/j,/2], ak - векторы AR- и DS-коэффициен-тов (авторегрессионной AR-модели и разностных схем), сопоставленные отрезку [t;1,ta], и функцииfk, соответственно; величина еф определяет точность подгонки (3) AR-модели для фиксированных ф, y.

Правило 2 разметки временного ряда (система аксиом ^2={д,2}). Аксиома ßu2=ßu2(O(Yj,d),ld,aAk) - бинарная функция, задаваемая на одной точке Yj=(tj,y¡) с окрестностью Oj^jy^),...,^:)) по правилу: точка (tj,yj) является точкой с разметкой lj=fu, если в условиях модели (1) имеют место (3), (4) при фиксированных функциях ф, р, где aAk=aAk j'j'+d-1], ak - векторы AR-коэффициентов и DS-коэффициентов, сопоставленные отрезку [tj,tj+d-i] и функции fk.

Основанием построения систем аксиом разметки является существование однозначного соответствия между функциями fk(t), k=1,nf сдробно-ра-циональным Z-преобразованием соответствующих последовательностей f/A)}, j>0 и значениями векторов DS-коэффициентов (разностных схем). Близость (по норме) векторов AR-коэффициентов (авторегрессии) и DS-коэффициентов определяет тип функции [17]; метод назван ARADS (Auto Regression, Adaptive algorithm, Difference Scheme).

Теорема 1 (Полнота и однозначность системы аксиом). Системы аксиом д={^„1}, ц={ци2}, определенных правилами 1 и 2, для разметки СВР, порожденного процессом типа (2), обладают свойствами полноты и однозначности.

На базе алгоритма разметки с вышеопределенными системами аксиом fi={ßu} разработан алгоритм скользящей реконструкции ряда как модификация широко известного метода Бока, основные положения которой следующие:

• используется идеология скользящего окна, размер и величина сдвига которого зависит от положения на временной оси анализируемого интервала;

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

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

• траектории сшиваются в скользящем режиме: в j-м окне строится новая траектория и подгоняется к построенной в (/'-1)-м окне, которая не изменяется (полагается окончательной) до момента началаj-го окна (начальное условие каждой следующей модели задано).

3. Регуляризация задачи разметки. Для решения вопроса регуляризации задачи разметки наряду с алфавитом Ma={l1a,.,lma} вводится алфавит M^ как основа регуляризирующей системы аксиом с прио-

ритетами до": аксиома /вф выполнима только тогда,

когда не выполнимы аксиомы_ {//у'гВ}:

Мф={/ф\ВеВ=(Вь.., Б,)}, Бе{1,..., т}, /=_/. Соответствующие алфавитам МасМф системы аксиом ¡ла, цф и разметки названы а(ф)--системой и а(ф)-размет-кой; обоснование способа регуляризации опирается на результаты теории информации [18, 19].

Определение 4. Условие статистической согласованности. а(ф)-разметки статистически согласованы при выполнении условий:

Р(1", 1ф) = P(lф)Р(1" / 1ф), ] е В;

Р(/°) = Х P(tf)P(j / /í),Vj = 1, m.

(5)

Определение 5. Условиерегуляризации. Алгоритм ф-разметки при фиксированных статистически согласованных алфавитах Ма, Мф назван корректным регуляризатором, если выполнены условия:

Р(1ф /1а) = 0, ] г В; Р(1ф /1а) > 0, ] е В;

Р(1ф /11) > 0, для В = {]}. (6)

Далее обозначено /в вместо /ф и ' вместо /а.

Определение 6. Задача разметки 0 ф-разрешима, если существует корректный алгоритм ф-разметки.

Поставлена задача оценивания распределения Ра=(ра1,.,рат) а-разметки по распределению Р=(Рф1,.",Рф) ф-разметки Р.

Определение 7. Условие асимптотической регулярности. ф-разрешимая задача разметки 0 является асимптотически регулярной тогда и только тогда, когда для любого допустимого набора возможных решений, порожденного корректным алгоритмом ф-разметки, существует а-разметка, вероятностное распределение которой Ра=(ра1,...,рт) является единственным, максимизирующим вероятность ф-разметки.

Теорема 2. (Критерий асимптотической регулярности) Задача разметки 0 асимптотически регулярна тогда и только тогда, когда для нее существует корректный алгоритм ф-разметки Аф, удовлетворяющий условиям (5), (6).

4. Правило разметки СВР на основе эталонных моделей. В качестве диагностических признаков для 1-го состояния 1=1,1, принимается набор эталонов состояний СДО, построение которых осуществляется по одному из следующих методов [9-14], для которых удобно использовать классификацию [20]:

1) методы ^о1р, А^о1р, FRiS-Stolp), основанные на FRiS-функции [9], суть применения которой означает получение оценок локальных плотностей классов в каждом объекте и вычисление отношений этих оценок; методы обладают хорошей обобщающей способностью; фактически этот же принцип применен и в методе мета-эталонов [14] с возможностью коррекции (дообучения) выборки;

2) метод опорных векторов SVM, в котором эталонами (опорными объектами) являются «пограничные» объекты; метод релевантных векторов RVM [12], отбирающий в качестве эталонов объекты, отстоящие от границы классов на определенном рас-

стоянии с целью избавления от шумовых объектов, что приводит к меньшему числу опорных объектов по сравнению с методом опорных векторов 8УМ [10, 11] и более высокой обобщающей способности;

3) метод отбора эталонов для алгоритма ближайшего соседа, основанный на минимизации функционала полного скользящего контроля [21], недостатком которого является низкая эффективность по времени.

Спецификой эталонной разметки временных рядов является «наложение» эталонов, связанное со смежностью фрагментов рядов при попарном рассмотрении состояний и способность эталонов выделять амплитуду шума (рис. 1), которая может быть весьма полезна при использовании метода эмпирической модовой декомпозиции [22], где, как известно, требуется ресурсоемкая операция интерполяции для построения огибающих.

Значение ряда, усл.ед. 1,2

1

0,8 0,6 0,4

Рис. 1. Эталоны FRiS-Stolp временного ряда при 15%-м шуме

Введем дополнительные определения и сформулируем систему аксиом.

Определение 8. Правило сопоставления г-му отрезку ряда длины bj j-го эталона Ej(bi,E]) назовем эталонной разметкой СВР.

Окрестность O(sh,dh) точки (называемой опорной) sh=(th,yh) - это вектор-объект:

O(sk,dh)=((tü,ya),^,(th,yk),^,(ta,ya))), jy2e{1,...,N},

г1<г2, he{ j2}, где величина dh=j2-j1+1 состоит из суммы размеров г2-j\ окрестности и опорной точки окрестности sh=(th,yh).

Определение 9. Совокупность вектор-объектов O={O(Sh,dh)}, Sh=(th,yh), O(Sh,dh)=((td-j+i,yd-j+i),.,(tj,yj)), h=1,N образует систему О-окрестностей.

Пусть сформирована система эталонов {Eu} по одному из существующих методов [9-14], зададим правило эталонной разметки СВР.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Правило 3 разметки временного ряда (система аксиом ^={мЛ). Аксиома ^u3=^u3(O(sh,dh),/d) - бинарная функция, задаваемая на dh=(j2-j1+1) точках; точка s^^^^he^^] является точкой с разметкой /h=Eu для отрезка [tj1,tj2], если в условиях (1) при фиксированных функциях р имеют место:

[arg min p(sh, Ek), р(sh, Ek) < eh, u = \ k=1- (4)

p(sh ,Ek ) ^ eh ,

где p(-h,Ek) - расстояние между усреднением по окрестности O(sh,dh) точки sh и эталоном Ek, величина eh определяет погрешность правила.

Система окрестностей O*d должна удовлетворять оптимальному решению трехкритериальной задачи [23]: 1) минимальность неопределенности ß-разметки вектор-объекта

Hß = -X ln( P(lB )) P(lB ),

BeB

O* = arg min Hß= arg max Xln(P(Ib)) P(h);

O eR O eR BeB

2) отсутствие (минимальность) ошибок на прецедентах, что выполнимо в случае корректности алгоритма ß-разметки; 3) максимальная скорость алгоритма разметки.

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

Показатель относительного сходства

Cr1 = X (rj - r'V (rmax - Гтт X

1=1

где n - объем обучающей выборки; г/, r} - расстояния j-го объекта из обучающей выборки до ближайшего объекта своего образа и до ближайшего объекта образа-конкурента, соответственно; rmax, rmin - максимальное и минимальное расстояния между объектами обучающей выборки (метод RELIEF [13]).

Показатель Cr2 на основе FRiS-функции [9]. Обозначим множества эталонов классов K1 и K2 через U1 и U2, соответственно, U1uU2= U. Вычисляем значения степени относительного сходства исследуемого нового объекта a* с ближайшими эталонами каждого из классов:

Pl/2 = Fu/V = *

r — r

p2/1 _ Fv/u =

где ги и ги - минимальные расстояния от объекта а* до ближайших и-го и и-го эталонов классов К1 и К2, соответственно, с учетом их весовых коэффициентов. Решение принимается в пользу максимального значения степени сходства 5=ащ шах(р,р2).

Показатель Сг3 эффективности (являющиеся числовым выражением информативности признаков) на основе нелинейной скаляризации нескольких показателей, характеризующих признаки [23, 24].

Вероятностные и статистические показатели информативности признаков:

• для случая нормального распределения значений признаков применяется критерий Фишера в виде отношения 0=|т1-т2|/(^1+^2), где т1, т2 и

й2 - математические ожидания и дисперсии первого и второго образов, соответственно;

• мера близости на основе коэффициента линейной корреляции г(11,12):р(11,12)=1-\г(11,12)\,

г^2) = ]^(уг)^(у), гдеШ) - нормированные и центрированные значения признаков г2для объектов выборки у=(у,...,у„);

0,2

0

0

0,01

0,02

0,03

0,04

р(ад)=0 тогда и только тогда, когда признаки связаны линейной зависимостью; • меры важности признаков на основе энтропийного критерия Шеннона и дивергенции Куль-бака, информационного критерия Акаике. 6. Алгоритмические композиции. Алгоритм разметки на основе системы аксиом 3 параметризуется видом используемых расстояний между объектом и эталоном, существенно влияющим на качество распознавания, рис. 2.

Формы графиков эффективности алгоритмов распознавания разных состояний сложных объектов (рис. 2) в зависимости от вида используемого расстояния А(р) свидетельствуют о наличии участков «хуже», «лучше», «соизмеримо» для одной и той же алгоритмической модели и являются основанием построения композиций алгоритмов С(А1(р),..,А(р)), где C - корректирующая операция [1, 2].

Точность распознавания, %

95

Значение ряда, усл.ед. 3000

90 85 80 "5

70 65 60

Л / \ /г——- '■- / —

/ \-

— г Г \...../ •

/ \ / / \ / V \ 4 \ / '] / !

/ \/ / v V

/ / /

/ Время, уел ед.

0.0 0.5 1.0 1.5 2.0

!,5 3.0 3.5 4.0 4.5

2500 2000 1500 1000 500 0

д

Время

80 100 120

♦ 1 образ. 10 эталонов

• 3 образ. 12 эталонов

Рис. 3.

20 40 60

^^Исходный ряд О 2 образ. 12 эталонов * 2 образ. 8 эталонов

Эталонная разметка временного ряда на примере сигнала частоты вращения ротора электродвигателя (период опроса непрерывных сигналов 840 мкс)

Таблица. Зависимость эффективности решающих правил от площади пересечения состояний при 30%-м шуме

Рис. 2. Динамика усредненной эффективности распознавания 4-х состояний по сигналу объекта тремя алгоритмами А(р) при фиксированной модели эталонов (Евклида (сплошная линия), Хемминга (пунктир), ЕпБ-функции [9] (точечная линия))

Численное моделирование на ПЭВМ

В таблице приведены результаты экспериментальных исследований зависимости эффективности решающих правил от площади пересечения состояний СДОдля обучающей выборки размером 104 объектов. Результаты являются средними по 20-и экспериментам.

На рис. 3 иллюстрируется возможность успешного применения эталонной модели для «кодирования» состояний СДО с последующим распознаванием состояний СДО, положительной особенностью которого является «разделение» отрезков, как реализаций образов состояний СДО, несмотря на их пересечение (30 %-е на рис. 3).

В таблице использовано обозначение типов эталонов, полученных по разным методам: E0 -эталоны обычного усреднения на заданном окне (фрагменте); Е, - эталоны-столпы на основе функции FRiS Ее - мета-эталоны [14]; ^ % - доля площади пересечения состояний (в %); ESVM - эталоны метода опорных векторов SVM; ERVM - эталоны метода релевантных векторов RVM; в качестве меры близости использовалась FRiS-функция [9].

5, % Эффективность распознавания состояний с применением эталонов, % Время обучения при шаге квантования 0,287, мкс Время распознавания, мкс

Е; Ед Е5М ЕКЧЫ Е0

0 99,9 99,0 91,9 98,8 99,9 32 406

10 98,8 99,4 90,8 99,8 99,3 34 450

20 98,1 97,1 89,1 98,1 97,0 48 690

30 97,4 97,0 77,4 97,4 86,4 65 701

40 96,5 96,0 76,5 96,3 54,1 85 1003

50 95,2 90,2 65,2 91,1 34,7 197 1690

В качестве показателя уровня шума использована относительная погрешность у

г-1 ±

П ,-1

У,-" У,

У,

• 100%,

где у1 - значение сигнала, уровень шума в котором измеряется; у! - истинное значение сигнала; п -объем наблюдений; данные приведены усреднением по 20-ти реализациям.

Выводы

Представлена модель разметки стохастического временного ряда с нелинейным трендом на основе алгебраического подхода к синтезу корректных алгоритмов. Результат исследования получен на базе развития [6, 7] проблемно-ориентированной теории синтеза обучаемых семейств алгоритмов выделения тренда в конечных плоских конфигурациях [2]. Построено правило эталонной разметки временного ряда. Достоинством композиций алгоритмов является способность решать задачи, связанные со сравнением динамических объектов, их классификацией и распознаванием состояний сложных объектов с неопределенностью в условиях минимальной априорной информации.

Работа выполнена при финансовой поддержке грантов РФФИ № 10-01-00462-а, 11-08-98071-р-Сибирь_а.

0

СПИСОК ЛИТЕРАТУРЫ

1. Журавлев Ю.И., Рудаков К.В. Об алгебраической коррекции процедур обработки (преобразования) информации // Проблемы прикладной математики и информатики. - М.: Наука, 1987. - С. 187-198.

2. Рудаков К.В., Чехович Ю.В. Алгебраический подход к проблеме синтеза обучаемых алгоритмов выделения трендов // Доклады РАН. - 2003. - Т. 388. - № 1. - С. 33-36.

3. Неймарк Ю.И., Таранова Н.Н., Теклина Л.Г. О возможностях изучения хаотических движений в конкретных динамических системах методами распознавания образов и математического моделирования // Математические методы распознавания образов: Сб. докладов XIV Всеросс. конф. - Владимирская обл., г. Суздаль, 21-26 сентября 2009 г. - М.: МАКС Пресс, 2009. -С. 422-425.

4. Грызлова Т.П. Формализация задачи распознавания последовательности состояний сложного источника // Математические методы распознавания образов: Сб. докладов XIV Все-росс. конф. - Владимирская обл., г. Суздаль, 21-26 сентября 2009 г. - М.: МАКС Пресс, 2009. - С. 333-337.

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

6. Колесникова С.И. Метод распознавания и оценивания состояний слабоформализованного динамического объекта на основе разметки временного ряда // Известия РАН. Теория и системы управления. - 2011. - № 3. - С. 3-14.

7. Колесникова С.И., Мертвецов А.Н. Метод разметки стохастического временного ряда // Труды Института системного анализа РАН. - 2011. - Т. 61. - № 1. - С. 48-59.

8. Васин Е.А., Костенко В.А., Коваленко Д.С. Автоматическое построение алгоритмов, основанных на алгебраическом подходе, для распознавания предаварийных ситуаций динамических систем // Искусственный интеллект. - 2006. - № 2. -С. 130-134.

9. Zagoruiko N.G., Borisova I.A., Dyubanov V.V., Kutnenko O.A. Methods of Recognition Based on the Function of Rival Similarity // Pattern Recognition and Image Analysis. - 2008. - V. 18. - № 1. - P. 1-6.

10. Cortes C., Vapnik V. Support-vector networks // Machine Learning. - 1995. - V. 20. - № 3. - P. 273-297.

11. Burges CJ.C A tutorial on support vector machines for pattern recognition // Data Mining and Knowledge Discovery. - 1998. -V. 2. - № 2. - P. 121-167.

12. Tipping M. Sparse Bayesian learning and the relevance vector machine // J. Machine Learning Res. - 2001. - № 1. - P. 211-244.

13. Kira K., Rendell L. The Feature Selection Problem: Traditional Methods and a New Algorithm // Conf. Artificial Intelligence (AA-AI-92). Proc. of the 10th Nat'l. Cambridge, Massachusetts, October 23-25,1992. - P. 129-134.

14. Volchenko E.V. Research of features in association of training sample objects to meta-objects // Pattern Recognition and Image Analysis. New Information Technologies (PRIA-9-2008): Proc. of the 9th Intern. Con. - Nizhni Novgorod, September 15-20, 2008. -V.1. - P. 291-294.

15. Колесникова С.И. Методы распознавания состояний динамических систем // Известия Томского политехнического университета. - 2010. - Т. 316. - № 5. - С. 55-62.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

16. Колесникова С.И., Волченко Е.В. Подход к сглаживанию и реконструкции формы состояний стохастического объекта на основе модели эталонов // Известия Томского политехнического университета. - 2010. - Т. 316. - № 5. - С. 34-40.

17. Семенычев В.К. Идентификация экономической динамики на основе моделей авторегрессии. - Самара: АНО «Изд-во СНЦ РАН», 2004. - 243 с.

18. Галлагер Р. Теория информации и надежная связь. - М.: Советское радио, 1974. - 720 с.

19. Шоломов Л.А. О собственной информации нечетких текстов // Нелинейная динамика и управление. Вып. 6. - М.: Физматлит, 2008. - 340 с.

20. Воронцов К.В. Лекции по методам оценивания и выбора моделей // Forecsys. 2007. URL: http:// www.ccas.ru/frc/papers/vo-ron04twim.pdf (дата обращения: 25.10.2010).

21. Иванов М.Н., Воронцов К.В. Отбор эталонов, основанный на минимизации функционала полного скользящего контроля // Математические методы распознавания образов: Сб. докладов XIV Всеросс. конф. - Владимирская обл., г. Суздаль, 21-26 сентября 2009 г. - М.: МАКС Пресс, 2009. - С. 119-122.

22. Huang N.E., Shen Z., Long S.R., Wu M.C., Shih H.H., Zheng Q., Yen N.C., Tung С.С, Liu H.H. The empirical mode decomposition and the Hilbert spectrum for nonlinear and non-stationary time series analysis // Proc. Royal. Soc. Lond. A. - 1998. - V. 454. -P. 903-995.

23. Колесникова С.И. Свойства корректной модификации метода парных сравнений // Интеллектуальные системы. - 2010. -Т. 14. - Вып. 1-4. - С. 183-202.

24. Колесникова С.И., Янковская А.Е. Оценка значимости признаков для тестов в интеллектуальных системах // Известия РАН. Теория и системы управления. - 2008. - № 6. -С. 135-148.

Поступила 17.03.2011 г.

i Надоели баннеры? Вы всегда можете отключить рекламу.