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

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

CC BY
180
67
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ПАРАМЕТРИЧЕСКАЯ ИДЕНТИФИКАЦИЯ / МЕТОД НАИМЕНЬШИХ КВАДРАТОВ / РАЗНОСТЬ ДРОБНОГО ПОРЯДКА / РАЗНОСТНЫЕ УРАВНЕНИЯ / PARAMETRIC IDENTIFICATION / LEAST SQUARES METHOD / DIFFERENCE OF FRACTIONAL ORDER / DIFFERENCE EQUATIONS

Аннотация научной статьи по математике, автор научной работы — Иванов Дмитрий Владимирович, Ширинов Ильдар Раджабович

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

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

Похожие темы научных работ по математике , автор научной работы — Иванов Дмитрий Владимирович, Ширинов Ильдар Раджабович

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

IDENTIFICATION OF MISO LINEAR DYNAMICAL SYSTEMS WITH DIFFERENCES OF FRACTIONAL ORDER IN THE PRESENCE OF NOISE OBSERVATIONS

An algorithm is proposed, which is a generalization of the method of least squares, which produces strongly consistent estimates of the parameters of linear dynamic systems with differences of fractional order in the presence of noise in the observation Input and output signals in the absence of information about the distribution of the noise.

Текст научной работы на тему «Идентификация многомерных по входу линейных динамических систем с разностями дробного порядка при наличии помех наблюдений»

2. Иванов Д.В., Кацюба О.А. О Состоятельности оценок параметров ARX систем дробного порядка с помехой в выходном сигнале // Стохастическая оптимизация в информатике. 2013. Т. 9. № 2. С. 21-32.

3. Иванов Д.В. Оценивание параметров линейных ARX-систем дробного порядка с помехой наблюдения во входном сигнал // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 2 (27). С. 43-50.

4. Деревицкий Д.П., Фрадков А.Л. Прикладная теория дискретных адаптивных систем управления. М.: Наука, 1991. 215 с.

5. Ljung L. Analysis of recursive stochastic algorithm // IEEE Trans. Aut. Control. 1977. V.AC-22. № 4. P. 551-575.

Поступила в редакцию 10 июня 2015 г.

Ivanov D.V., Salugin I.E. RECURSIVE IDENTIFICATION OF LINEAR DYNAMICAL SYSTEMS OF FRACTIONAL ORDER WITH NOISE OUTPUT SIGNAL

In this paper, we propose a recursive algorithm based on stochastic approximation method for estimating the parameters of linear dynamic systems with differences of fractional order in the presence of noise of observation in the output signal. Prove the strong consistency, the resulting estimates, subject to the constraints that do not require knowledge of the distribution of noise.

Key words: recursive identification; least squares method; the difference of fractional order; model output error; stochastic approximation.

Иванов Дмитрий Владимирович, Самарский государственный университет путей сообщения, г. Самара, Российская Федерация, кандидат физико-математических наук, доцент кафедры ме-хатроники в автоматизированных производствах, e-mail: [email protected]

Ivanov Dmitrii Vladimirovich, Samara State University of Transport Communications, Samara, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of the Mechatronics in Automated Production Department, e-mail: [email protected]

Салугин Иван Евгеньевич, Самарский государственный университет путей сообщения, г. Самара, Российская Федерация, аспирант кафедры мехатроники в автоматизированных производствах, e-mail: [email protected]

Salugin Ivan Evgenievich, Samara State University of Transport Communications, Samara, the Russian Federation, Post-graduate Student of the Mechatronics in Automated Production Department, e-mail: [email protected]

УДК 517.254

ИДЕНТИФИКАЦИЯ МНОГОМЕРНЫХ ПО ВХОДУ ЛИНЕЙНЫХ ДИНАМИЧЕСКИХ СИСТЕМ С РАЗНОСТЯМИ ДРОБНОГО ПОРЯДКА ПРИ НАЛИЧИИ ПОМЕХ НАБЛЮДЕНИЙ

© Д.В. Иванов, И.Р. Ширинов

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

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

Аппарат дробного математического анализа имеет множество приложений, таких как теория вязкоупругости, теория хаоса, фракталы, для описания диэлектрических материалов, электрохимических процессов, траффика в компьютерных сетях, теория автоматического управления. Достаточно часто модели таких процессов приходится строить по результатам наблюдений. Поэтому развитие методов идентификации непрерывных и дискретных систем дробного порядка является актуальной задачей. В настоящее время активно развиваются методы параметрической идентификации динамических систем, описываемых уравнениями с разностями дробного порядка. В [1,2] предложен метод оценивания динамической системы с помехой в выходном сигнале, обобщение метода на ARX (Autoregressive with exogenous input) систему дробного порядка с помехой в выходном сигнале дано в [3].

В данной статье дано обобщение результатов [3] на случай многомерной по входу линейной динамической системы дробного порядка с помехами во входных и выходных сигналах. Доказана сильная состоятельность, получаемых оценок параметров многомерных по входу линейных динамических систем дробного порядка при помехах класса мартингал-разность.

Постановка задачи. Рассмотрим линейную динамическую систему, описываемую следующими стохастическими уравнениями с дискретным временем i = ... — 1, 0,1,...:

(k)

* = Е Zi-! + £ £ ^A^y = * + & wf = + (f\ (1)

m=1 fc=1 m=1

где 0 < ai... < a, 0 < в(к)... < вп°, Г(а) = e-tta-1 dt, k =175,

A*»*i = £$=o(—1)j ( j ) Zi-j, Aemk)x(k) = £j=o(—j ^f) ,

j у ^ j

am \ Г(ат+1) ( в^0 \ Г (eife)+1)

г а+1)г (¿у г (,-+1)г(

¿г, У - ненаблюдаемая и наблюдаемая выходные переменные; жг,-ш(к) - ненаблюдаемая и наблюдаемая входные переменные; Сг,Сг(к) - помеха наблюдения в выходном и во входном сигнале; Предположим, что выполняются следующие условия:

1. Множество В с Мг+г1 + -+г1 , которому априорно принадлежат истинные значения параметров Ьо , ао устойчивой динамической системы является компактом.

2. Случайные процессы {£г} , |Сг(к) | являются мартингал-разностями и удовлетворяют следующим условиям:

Е (ег+1/^«) =0, Е (с^^) = 0 п.н.,

Е ((Сг+1)2 /Е«) < Ж, , Е ((сЖ)2^) < < п.н.

Е (£) < ж, Е (С2) < ж,Е ( (С^)') < ж,Е ( (Сг(к))^ < ж,

где — а-алгебры, индуцированные семействами случайных величин

С*^ ^ Тг| , Т = {t; t ^ 1, t € Zc -множество целых чисел}, , - случайные величины с Е (1,) < ж , Е < ж п.н.

3. {х(к)} статистически не зависит от {{г} , |Сг(к)} .

4. {Сг} ^С^} статистически не зависят между собой.

5. Помехи {{г} , |Сг(к)} и параметры системы ат, в«? удовлетворяют условиям:

Иш -1

N^^ N

N

ЕМ ^ (г)

г=1

Т

Иш -1-

N^^ N

N

,г=1

Т

/ Ъ^

... !г(11] \

V

(1г)

4гг) у

= Н,

Иш -1-

N—>оо N

N

Е(гк) / (гк)

К

,г=1

Т

Иш -1-

N—>оо N

N

,г=1

ЕЕ(Лгк) (Лгк)

Т

( 411к)

ЬМк) \

Я.

(к)

^[1Г1к) ... к) у

где ^ = ( Е5=о(-1Н 7 ) • • • ^5=0(-1П 7 ) 5

а1

аг

Т

Лгк) = ^Е5=о(-1)^ в7 ) ейЕ5=о(-1)5 (к)

(к) Т в (к) \ л(к) \

причем Я^ , Я^ положительно определены.

6. Входной сигнал х(к) является случайным процессом с Е = 0 , Е ^

= < то и истинные значения параметров Ьо , ао удовлетворяют условию

1

N

(г)

Т

Лх

Т

Иш —

N^^ N ^

г=1

= Я п.н.

где Лг) = ( Е5=о(-1)^ 7

Лх

Т

Т

(г)

Т

Лх

Т

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

лХ )

^.•••.Е ;=о(-1)М 7

аг

^г 5 1

Т

Л(гк) = Е5=о(-1)5

01'

(к)

в(к)

Т

(к)

г-5

77

причем Я существует, ограничена и положительно определена.

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

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

Система (1) может быть записана как линейная регрессия

Уг = ЛТ Оо + £г, (2)

, ч Т

(г) Т (г) Т

где Лг =

(г)

ЛУ

(г)

= { Л(г1) I Л(г2)

= I Лш Лш

лУг) = Е5=о(-1)

а1 7

Уг—-1,

£5=о(-1)5

аг 7

Лш Т

Т

Уг-5-1

5

= fzu-i)jf вГ Ukj.....Е;=o(-i)^ ^ ij

) \ (fc) ^ , аЛ e (fc)

<7=01 ^ J j у ^ ^ j I ^i-j

^o | "o ; > "0 — i "o > • • -^oj , a0 = ( aO1

00 = ( bT | aT )T , bo = (b01),..., b0rOT ' ao = ( a01) I • • • I a0d

(fc) I (0k) .(1) ,T (i) v-d f (fcAT (ik)

»0 = ( a0 ... ao J > = d - bo - Ek=i (^0 J ^c

T

^ = (Е5=о(-1)^' С*}) С*-;-. • • • ( "Г) С;

= (е;=О(-1)^ )^й,...,Е;=О(-1)^ ^)ей)"•

Определим оценку ) неизвестных параметров Ао из условия минимума суммы взвешенных квадратов обобщённых ошибок (^¿(Ь, а, г))2 :

. Д (Уг - А)2 л^

тш / --л--Т-Пл-• (3)

+ Ьтя,Ь + £и (а(*))Т н(к)а(к)

Теорема 1. Пусть некоторый случайный процесс {уг,г = ••• — 1, 0,1,...} описывается уравнением (1) с начальными нулевыми условиями и выполняются предположения 1-6. Тогда оценка ), определяемая выражением (3) с вероятностью 1 при N ^ ж , существует, единственная и является сильно состоятельной оценкой, т.е.

А^) —^ Ао

N^00

ЛИТЕРАТУРА

1. Иванов Д.В. Идентификация линейных динамических систем нецелого порядка с помехой в выходном сигнале // Вестник Тамбовского университета. Серия Естественные и технические науки. 2013. Т. 18. № 5-2. С. 2534-2536.

2. Ivanov D. V. Identification discrete fractional order linear dynamic systems with output-error // Proceedings International Siberian Conference on Control and Communications (SIBC0N'2013). Krasnoyarsk: Siberian Federal University. Russia, Krasnoyarsk, September 12-13, 2013. IEEE Catalog Number: CFP13794-CDR.

3. Иванов Д.В., Кацюба О.А. О Состоятельности оценок параметров ARX систем дробного порядка с помехой в выходном сигнале // Стохастическая оптимизация в информатике. 2013. Т. 9. № 2. С. 21-32.

4. Ivanov D. V. Identification discrete fractional order linear dynamic systems with errors-in-variables // Proceedings of IEEE East-West Design and Test Symposium (EWDTS'2013), Rostov-on-Don, Russia, September 27-30, 2013. P. 374-377.

Поступила в редакцию 10 июня 2015 г.

Ivanov D.V., Shirinov I.R. IDENTIFICATION OF MISO LINEAR DYNAMICAL SYSTEMS WITH DIFFERENCES OF FRACTIONAL ORDER IN THE PRESENCE OF NOISE OBSERVATIONS

An algorithm is proposed, which is a generalization of the method of least squares, which produces strongly consistent estimates of the parameters of linear dynamic systems with differences of fractional order in the presence of noise in the observation Input and output signals in the absence of information about the distribution of the noise.

Key words: parametric identification; least squares method; the difference of fractional order; difference equations.

Иванов Дмитрий Владимирович, Самарский государственный университет путей сообщения, г. Самара, Российская Федерация, кандидат физико-математических наук, доцент кафедры ме-хатроники в автоматизированных производствах, e-mail: [email protected]

Ivanov Dmitrii Vladimirovich, Samara State University of Transport Communications, Samara, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of the Mechatronics in Automated Production Department, e-mail: [email protected]

Ширинов Ильдар Раджабович, Самарский государственный университет путей сообщения, г. Самара, Российская Федерация, аспирант кафедры мехатроники в автоматизированных производствах, e-mail: [email protected]

Shirinov Ildar Radzhabovich, Samara State University of Transport Communications, Samara, the Russian Federation, Post-graduate Student of the Mechatronics in Automated Production Department, e-mail: [email protected]

УДК 519.6

ОБ ЭФФЕКТИВНОМ МЕТОДЕ РАСПАРАЛЛЕЛИВАНИЯ БЛОЧНЫХ

РЕКУРСИВНЫХ АЛГОРИТМОВ

© Е.А. Ильченко

Ключевые слова: параллельный алгоритм; децентрализованное управление; расширенная присоединенная матрица; Adjoint; система Mathpar; SPMD вычислительная парадигма; MPI; многопоточность; hybrid parallel programming model; C++; GMP. Дается описание общей схемы распараллеливания блочных рекурсивных алгоритмов, которая рассматривается на примере вычисления присоединенной матрицы, приводятся результаты экспериментов на вычислительном кластере «МВС-ЮСХ».

Рассмотрим пример блочного рекурсивного алгоритма. Даны две матрицы A, B , требуется найти их произведение. Разобьем матрицы A и B размером n = 2k на четыре равных блока:

% Ai\ /BQ Bi\ = (CQ C1N 4A2 A3J x VB2 B3/ ^2 Cs,

Введем префиксное обозначение для функции матричного умножения m(A, B) = C , тогда получим:

m(A B)= /m(Ao,Bo)+ m(Ai,B2) m(Ao,Bi)+ m(AbBs)\ (1)

m(A,B ) ^m(A2,Bo)+ m(As,B2) m(A2,Bi)+ m(As,BsV (±)

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

Рассмотрим блочный алгоритм обращения матрицы, имеющий сложность матричного

умножения [1,2]. Если M = ^^ ^^ является обратимой матрицей и A ее обратимый блок, то верно равенство:

м-i- /I -A-iC\ (I 0 \ / I 0\ /A- 0

M = 1 - I ) x vo (D - BA-iC)-V x V-B i) x V 0 I

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