CC BY
135
УДК 004.942
05.00.00 Технические науки
ВОССТАНОВЛЕНИЕ МОДЕЛИ ДИНАМИЧЕСКОЙ НЕЛИНЕЙНОЙ СИСТЕМЫ ПО ПОРОЖДАЕМОМУ ЕЙ ВРЕМЕННОМУ РЯДУ
Власенко Александра Владимировна к.т.н., доцент кафедры компьютерных технологий и информационной безопасности [email protected]
Жданов Андрей Андреевич
аспирант кафедры компьютерных технологий и
информационной безопасности
ФГБОУ ВО «Кубанский государственный
технологический университет», 350002,
Российская Федерация, г. Краснодар, ул.
Московская 2
Главной задачей при анализе временных рядов является реконструкция породившей этот ряд динамической системы. Для наглядного представления характера поведения динамической системы, описываемой нестационарным временным рядом, предложен метод «фазового портрета». Приемлемое описание фазового пространства динамической системы можно получить, если взять вместо реальных переменных системы векторы задержек, составленные из значений ряда в последовательные моменты времени. Восстановление в заданном классе системы дифференциальных или разностных уравнений осуществляется на базе скалярного временного ряда наблюдаемого процесса. С целью устранения погрешности измерения и представления с хорошей точностью положения объекта в текущий, будущий или какой-либо из прошедших моментов предложено применения фильтра Калмана, использующего известную математическую модель динамики объекта
Ключевые слова: МАТЕМАТИЧЕСКАЯ МОДЕЛЬ, ДИНАМИЧЕСКАЯ НЕЛИНЕЙНАЯ СИСТЕМА, ФАЗОВОЕ ПРОСТРАНСТВО, АТТРАКТОР, ФИЛЬТР КАЛМАНА
Рок 10.21515/1990-4665-129-007
UDC 004.942 Technical sciences
RESTORATION OF A MODEL OF A DYNAMIC NONLINEAR SYSTEM FROM THE TIME SERIES GENERATED BY IT
Vlasenko Aleksandra Vladimirovna Cand.Tech.Sci., associate professor of the Department of computer technologies and information security e-mail: [email protected]
Zhdanov Andrey Andreevich
postgraduate student of the Department of computer
technologies and information security
Kuban state technological university,
Krasnodar, Russia
The main task in the analysis of time series is the reconstruction of the dynamical system that generated this series. To illustrate the nature of the behavior of a dynamic system described by a nonstationary time series, a «phase portrait» method is proposed. An acceptable description of the phase space of a dynamical system can be obtained if we take instead of real variables of the system delay vectors composed of the values of the series at consecutive moments of time. Restoration in a given class of a system of differential or difference equations is performed based on the scalar time series of the observed process. In order to eliminate the measurement error and accurately represent the position of the object in the current, future, or any of the past moments, it is proposed to apply the Kalman filter using the known mathematical model of object dynamics
Keywords: MATHEMATICAL MODEL, DYNAMIC NONLINEAR SYSTEM, PHASE SPACE, ATTRACTOR, KALMAN FILTER
Введение
Оправдываемость прогноза поведения системы в будущем во многом зависит от способности модели выявить такие факторы, которые
носят антисистемный, деструктивный характер в перспективе, даже если локально они системны. Таким образом, в процессе моделирования динамических систем нас интересуют так называемые «параметры порядка» - те параметры (факторы), которые на анализируемом этапе определяют характер поведения системы или процесса. Даже малые изменения параметров порядка могут приводить к глобальным изменениям процесса [1].
Математическая модель динамической системы считается заданной, если введены параметры системы, определяющие однозначно ее состояние, и указан закон эволюции [2].
Для наглядного представления характера поведения динамической системы, описываемой нестационарным временным рядом, воспользуемся качественным методом «фазового портрета».
Фазовый портрет - это траектория движения системы в фазовом пространстве. Фазовое пространство образовано всеми параметрами, необходимыми для описания системы. Точка фазового портрета определяется значениями параметров в конкретный момент времени и представляет собой «изображение» элемента временного ряда [1].
То множество значений параметров, которые будут у системы в установившемся режиме, называются аттракторами, установившийся режим как бы «притягивает» систему. Под аттракторами следует понимать те реальные структуры в открытых нелинейных средах, на которые выходят процессы эволюции в этих средах в результате затухания в них переходных процессов» [3].
Вне зависимости от типа детерминированной диссипативной системы, существует только четыре типа аттракторов: «точечный аттрактор», «циклический (периодический) аттрактор»,
«квазипериодический аттрактор», «странный аттрактор». Тип аттрактора определяет наши возможности в прогнозировании [1].
Первые три из перечисленных типов аттракторов являются детерминированными. Зная положение системы, в какой-то момент времени установившегося режима, мы всегда можем предсказать с любой точностью положение системы для любого момента времени [1].
Процессы в странных аттракторах оказываются неустойчивыми и не позволяют прогнозировать на достаточно большое время. Начав движение при очень малом расхождении параметров, процессы очень быстро удаляются друг от друга [1].
Все фазовое пространство нелинейной динамической системы оказывается поделенным между бассейнами притяжения аттракторов. Под воздействием внешних возмущений становится возможен переход из бассейна притяжения одного аттрактора в бассейн другого аттрактора. В ходе такого перехода может поменяться структура динамической системы и характер ее движения, если произошел переход к аттрактору другого типа [1].
Моделирование динамики нелинейных систем
При анализе временных рядов главной задачей является реконструкция породившей этот ряд динамической системы. В соответствии с теорией Такенса-Мане приемлемое описание фазового пространства динамической системы можно получить, если взять вместо реальных переменных системы (которые могут быть неизвестны вообще) ^-мерные векторы задержек, составленные из значений ряда в последовательные моменты времени. При выполнении условия [4]:
Л >2^ + 1, (1)
где de - размерность вложения, возможно реконструировать фазовое пространство системы. При условии стационарности временного ряда на базе этой реконструкции строится прогноз его дальнейшей динамики.
Пусть Х0(;) - временная последовательность экспериментально измеренных величин. Рассмотрим фазовое пространство, образованное переменными [Хк(;)}, где к=1, ..., п-1. Некоторое мгновенное состояние системы в этом пространстве соответствует точке, а последовательность таких состояний, проходимая системой во времени, определяет некоторую кривую - фазовую траекторию. Если динамика системы сводится к системе детерминистических уравнений, то с течением времени в системе устанавливается какой-то постоянный режим. Это находит свое отражение в сходимости семейств фазовых траекторий к некоторому подмножеству фазового пространства - аттрактору или особой точке [5].
Первый шаг состоит в определении подходящего набора переменных, образующих фазовое пространство. Для этого удобно развернуть исходную временную последовательность Х0(;) в ряд наборов с последовательно возрастающими сдвигами, определенными как величины, кратные некоторой фиксированной задержке ф (ф=тД;, где т - целое и Д; - интервал между последовательными выборками). Кроме того, выбирая из набора экспериментальных данных N эквидистантных точек, мы приходим к следующему набору дискретных переменных [5]:
При должном выборе т можно ожидать, что эти переменные будут линейно независимыми, что и требуется для определения фазового пространства. И все эти переменные можно получить из единственной временной последовательности, относящейся к Х0(;), определенной экспериментально [6].
Таким образом, имеющейся в нашем распоряжении информации достаточно для того, чтобы выйти за рамки исходной временной последовательности и развернуть динамику системы в многомерном фазовом пространстве.
Введем следующее векторное обозначение [6]: пусть X обозначает точку фазового пространства с координатами {Х0(^),...,Хо(и+(п-1)ф)}. Так устанавливается начало отсчета X для всех имеющихся данных, и можно вычислить расстояние от этой точки до остающихся N-1 точек: \Xi-Xjl.
Это позволяет сосчитать число точек в фазовом пространстве, отстоящих от X на расстояние, не превышающее некоторую заданную величину г.
Повторяя этот процесс для всех значений ¡, можно вычислить следующую величину [6]:
где и - функция Хевисайда: и(х)=0, при х<0 и и(х)=1, при х>0 [7].
Отклонение С(г) от нуля служит мерой влияния точки XI на положение других точек. Поэтому функцию С(г) можно рассматривать как интегральную корреляционная функция аттрактора.
Зафиксируем некоторое малое е и воспользуемся им в качестве своеобразного метра для зондирования структуры аттрактора. Если последний представляет собой линию, то, очевидно, число пробных точек, расстояние которых до заданной точки не превышает г, должно быть пропорционально г/е. Если же аттрактор представляет собой поверхность, то число таких точек должно быть пропорционально (^е) .
В более общем случае, если аттрактор представляет собой d-мерное многообразие, то число точек должно быть пропорционально (г/е)d.
(3)
Поэтому можно ожидать, что при сравнительно малых г функция С(г) должна изменяться как степенная.
Иными словами, размерность аттрактора d дается наклоном зависимости 1п С (г) от 1п г в определенном диапазоне г [6]:
В работах Грибкова Д. предложен метод нахождения первых производных динамического процесса на основе ортогонализирующей процедуры перехода к базису собственных векторов ковариационной матрицы. Показана возможность применения этого метода к решению задачи построения дифференциальных уравнений динамической системы с хаосом по наблюдаемому временному ряду одной ее переменной.
Решение обратной задачи нелинейной динамики, т.е. восстановление в заданном классе системы дифференциальных или разностных уравнений по скалярному временному ряду наблюдаемого процесса, можно разделить на три основных этапа:
1) построение базиса независимых переменных, временная эволюция которых удовлетворяла бы некоторой системе дифференциальных уравнений;
2) построение общей модели исследуемой системы в выбранном классе дифференциальных уравнений и при заданном типе нелинейности;
3) редукция и уточнение модельных уравнений на основе требования глобальной устойчивости исследуемой системы.
В работах по восстановлению уравнений динамики излагается метод построения базиса производных динамического процесса, которые в качестве независимых переменных используются при восстановлении динамической системы по одномерному временному ряду.
Обозначим наблюдаемый процесс, генерируемый некоторой динамической системой, через х(;). Определим вектор состояния п-мерной динамической системы, задавая отсчёты наблюдаемого процесса через достаточно малый интервал времени ф\ Х(х,хт, От) £ , где
х=х(;), Х]ф=х(]+;ф), ]=1,...,^1, где ЩЫ>п) - размерность Евклидова пространства вложения.
В общем случае переменные х]-ф е Н, {¡=1,... ,N-1) не являются ортогональными в смысле [6]:
т
(5)
где //-вещественное Гильбертово пространство, I Ф ], Т » т.
Утверждение 1. Произвольная система собственных векторов = 01и>---г11нч)>(}- = 1,--ч71} ковариационной матрицы N наблюдаемого процессах^) порождает линейное преобразование координат Р\ Ил Дп:
= ■5.:, (6)
в результате которого новые переменные х[ ЕН являются ортогональными в Н для любого £ Ф / [6]:
(7)
Используя полученный результат, выясним структуру новых переменных х[ . Рассмотрим для наглядности случай трехмерной динамической системы (п=3). Для простоты выберем размерность N пространства вложения, равную трем.
Вектор состояния динамической системы, заданный в момент
Л
времени /, и каждый из собственных векторов ковариационной матрицы С
записываются в виде: Х{х1 хт1х2т)15101^г^2г11а) соответственно.
Учитывая условие ортогональности (7) и то, что при ~ — 7-_-_ = 7:: = 7-^- = 7: = имеем [6]:
7
Первое слагаемое в выражении (8) равно нулю в силу ортогональности любых двух собственных векторов. Заметим, что ¡1 = /3 при Т Учитывая это, перепишем (8) в следующем виде [6]:
Используя уравнение (9), условия ортогональности и нормировки собственных векторов, получим систему линейных уравнений вида [6]:
Новые переменные = (К, ) запишутся в виде [6]:
Условие ортогональности (7) выполняется для всех новых переменных (11). Из (11) следует также, что вторая и третья новые переменные пропорциональны с точностью до д(т2) первой и второй производной от х по времени соответственно.
Для переменных х, с точностью до в выявлении скрытых
переменных в обратной задаче нелинейной динамики получено [6]:
(12)
где ск- константы.
Так, в частности, для N=5 точность аппроксимации производных возрастает до о(т4).
Утверждение 2. Соотношение (10) позволяет построить по одномерному временному ряду модель динамической системы, где задача сводится к поиску минимума функционала вида [6]:
2
-: ^ (13)
где N0 - число точек исследуемого временного ряда.
Задача (13) решается методами усвоения данных: вариационным или с помощью Калмановской фильтрации.
Усвоение данных методом Калмановской фильтрации
Фильтр Калмана использует известную математическую модель динамики объекта, которая описывает, какие вообще изменения состояния объекта возможны, чтобы устранить погрешности измерения и представить с хорошей точностью положение объекта в данный момент (фильтрация), в будущие моменты (предсказание), или в какие-то из прошедших моментов (интерполяция или сглаживание). Теоретическим основам и истории развития фильтров Калмана посвящены работы [8-10].
Рассмотрим основные обозначения:
.... - вектор переменных искомого анализа (размерности т);
Первое приближение, как правило, является краткосрочным прогнозом, стартовавшим с предыдущего шага усвоения [11]:
где М - оператор модели, у - шаг усвоения.
И первое приближение, и наблюдения содержат априори неизвестную ошибку по отношению к истинному состоянию системы. Обозначим истинное состояние системы (размерности т) в точках модельной сетки х\ тогда [11]:
вектор переменных первого приближения.
(14)
X^ — X*
(15)
(16)
где у0 - вектор наблюдений,
Н - оператор наблюдений (проектирует из модельного пространства в пространство наблюдений),
¿ч - вектор ошибок первого приближения, ;,. - вектор ошибок наблюдений.
Вектор анализа ха также содержит некоторую ошибку [11]:
Задача усвоения данных состоит в том, чтобы найти анализ, минимизирующий ошибку £п.
Будем полагать, что ошибки модели, первого приближения и наблюдений независимы [12]. Кроме того, в исследованиях по усвоению данных обычно считается, что [11]:
1) ошибки наблюдений и первого приближения гауссовы (имеют гауссово распределение);
2) средние ошибки наблюдений и первого приближения равны
нулю:
(17)
< ЕЬ >= 0,< £г >= 0,
Решением задачи является [11]:
(18)
При этом оптимальная весовая матрица К [10]:
Ансамбль полей первого приближения генерируется из ансамбля начальных условий, распределенных согласно результатам предыдущего анализа. На каждом шаге усвоения матрица ковариаций ошибок первого приближения аппроксимируется статистикой, полученной по ансамблю первых приближений.
Рассмотрим ансамбль первых приближений
хь = {хЬ1,:х;Ь21... , хЬк], где к - размерность ансамбля. Вычислим среднее по ансамблю:
^ = (20)
Матрица ковариаций ошибок первого приближения, рассчитанная по ансамблю, имеет вид:
Матрица ковариаций ошибок анализа определяется выражением:
Ансамбль наблюдений {у0^, 1= 1,2,..., Л] представим в виде:
у-.: = у- - с(22)
где - псевдослучайный гауссовский шум с нулевым математическим
ожиданием и ковариациями, соответствующими матрице Я.
Матрица весов К применяется к каждому участнику ансамбля первых приближений и каждому набору наблюдений. Тогда анализ получают следующим образом:
При стремлении числа к членов ансамбля к бесконечности матрица ковариаций ошибок анализа представляется точно: Ра = (/ — КН^РЬ . Когда размер ансамбля невелик, возмущение наблюдений ухудшает точность анализа.
Мы видим возможность построения частных моделей динамических систем на основе дискретных отображений, которые будут описывать возможную неоднозначность поведения прогнозируемой величины в зависимости от параметров описываемого нелинейного динамического процесса. Для разработки на базе модели ансамблевого вероятностного прогноза может быть использована методика возмущения начальных (исходных) данных.
1. Полунин Ю.А., Тимофеев И.Н. Нелинейные политические процессы / Ю.А. Полунин, И.Н. Тимофеев. - М.: МГИМО-Университет, 2009 - 204 с.
2. Ефимов И.Н., Морозов Е.А., Селиванов К.М. Компьютерное моделирование динамических систем. - Ижевск: Институт компьютерных исследований, 2014. 134с.
3. Пригожин И. Философия нестабильности // Вопросы философии. - М., 1991. - № 6. - С. 46-52.
4. Лоскутов А.Ю. Анализ временных рядов: курс лекций. URL: http://chaos.phys.msu.ru/loskutov/PDF/Lectures_time_series_analysis.pdf (дата обращения 20.02.2017).
5. Сенкевич Ю. И. К вопросу о выборе методов обработки электрофизиологических сигналов // Врач и информационные технологии. 2007. №6. URL: http://cyberleninka.ru/article/n/k-voprosu-o-vybore-metodov-obrabotki-elektrofiziolo-gicheskih-signalov (дата обращения: 10.04.2017).
6. Иванов А. И. Математическое моделирование процессов самоорганизованного принятия решений в малых группах. URL: http://www.exponenta.ru/educat/referat/XXIkonkurs/1/work.rar (дата обращения
(23)
Список литературы
25.03.2017).
7. Бессонов А. А. Методы и средства идентификации динамических объектов / А. А. Бессонов, Ю.В. Загашвили, А.С. Маркелов. - Л.: Энергоатомиздат, 1989. - 328 с.
8. Cohn S. An introduction to estimation theory // Journal of the Meteorological Society of Japan. - 1997. - Vol. 75. - P. 257-288.
9. A local ensemble Kalman filter for atmospheric data assimilation / E. Ott, B. R. Hunt, I. Szunyogh et al. // Tellus. - 2004. - Vol. 56A. - P. 415-498.
10. Evensen G. Data assimilation. The ensemble Kalman filter. Berlin. Heidelberg: Springer-Verlag, 2007. 279 p.
11. Красюк Т.В. Усвоение данных: конкуренция методов и проблема усвоения спутниковых наблюдений. URL: http://method.meteorf.ru/publ/tr/tr348/krasuk.pdf (дата обращения 01.03.2017).
12. Tsyrulnikov M.D. Stochastic modelling of model errors: a simulation study // Quart. J. R. Meteorol. Soc. - 2005. - Vol. 131, Issue 613 (October 2005. Part C). - P. 33453371.
References
1. Polunin YU.A., Timofeyev I.N. Nelineynyye politicheskiye protsessy / YU.A. Polunin, I.N. Timofeyev. - M.: MGIMO-Universitet, 2009 - 204 s.
2. Yefimov I.N., Morozov Ye.A., Selivanov K.M. Komp'yuternoye modelirovaniye dinamicheskikh sistem. - Izhevsk: Institut komp'yuternykh issledovaniy, 2014. 134s.
3. Prigojin I. Filosofiya nestabil'nosti // Voprosy filosofii. - M., 1991. - № 6. - S.
46-52.
4. Loskutov A.YU. Analiz vremennykh ryadov: kurs lektsiy. URL: http://chaos.phys.msu.ru/loskutov/PDF/Lectures_time_series_analysis.pdf (data obrashcheniya 20.02.2017).
5. Senkevich YU. I. K voprosu o vybore metodov obrabotki elektrofiziologicheskikh signalov // Vrach i informatsionnyye tekhnologii. 2007. №6. URL: http://cyberleninka.ru/article/n/k-voprosu-o-vybore-metodov-obrabotki-elektrofiziologiches-kih-signalov (data obrashcheniya 10.04.2017).
6. Ivanov A.I. Matematicheskoe modelirovanie protsessov samoorganizovannogo prinyatiya resheniy v malyh gruppah. URL: http://www.exponenta.ru/educat/referat/XXIkon kurs/1/work.rar (data obrashcheniya 25.03.2017).
7. Bessonov A.A. Metody i sredstva identifikatsii dinamicheskikh ob"yektov / A.A. Bessonov, YU.V. Zagashvili, A.S. Markelov. - L.: Energoatomizdat, 1989. - 328 s.
8. Cohn S. An introduction to estimation theory // Journal of the Meteorological Society of Japan. - 1997. - Vol. 75. - P. 257-288.
9. A local ensemble Kalman filter for atmospheric data assimilation / E. Ott, B. R. Hunt, I. Szunyogh et al. // Tellus. - 2004. - Vol. 56A. - P. 415-498.
10. Evensen G. Data assimilation. The ensemble Kalman filter. Berlin. Heidelberg: Springer-Verlag, 2007. 279 p.
11. Krasyuk T.V. Usvoyeniye dannykh: konkurentsiya metodov i problema usvoyeniya. URL: http://method.meteorf.ru/publ/tr/tr348/krasuk.pdf (data obrashcheniya 01.03.2017).
12. Tsyrulnikov M.D. Stochastic modelling of model errors: a simulation study // Quart. J. R. Meteorol. Soc. - 2005. - Vol. 131, Issue 613 (October 2005. Part C). - P. 33453371.
