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

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

CC BY
126
41
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ИДЕНТИФИКАЦИЯ / ЭВОЛЮЦИОННЫЕ СТРАТЕГИИ / СТРУКТУРА / ПАРАМЕТРЫ / ДИНАМИКА / IDENTIFICATION / EVOLUTION STRATEGIES / STRUCTURE / PARAMETERS / DYNAMIC

Аннотация научной статьи по математике, автор научной работы — Охорзин В. А., Рыжиков И. С.

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

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

Похожие темы научных работ по математике , автор научной работы — Охорзин В. А., Рыжиков И. С.

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

HYBRID MODIFIED EVOLUTION STRATEGIES METHOD FOR DYNAMIC SYSTEM IDENTIFICATION

The article covers linear and nonlinear parametric dynamic system identification approach, that is based on evolutionary strategies algorithm, and method of linear dynamic system structure identification.

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

УДК 005; 519.7; 303.732

В. А. Охорзин, И. С. Рыжиков

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

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

Ключевые слова: идентификация, эволюционные стратегии, структура, параметры, динамика.

В данной статье рассматривается решение безусловной экстремальной задачи

Q(a) ® шш, а е Я", (1)

а

где Q(•): Я" ® Я - целевая функция, определенная в некоторой области пространства Я". В общем случае считается, что целевая функция является многоэкстремальной и ее вид неизвестен.

Метод эволюционных стратегий представляет собой стохастический процесс поиска экстремума, который реализуется операциями селекции, рекомбинации, мутации, определенными на множестве решений (популяции).

Решение задачи представляется некоторым набором -хромосомой. Таким образом, для популяции объема N каждая хромосома Н1,, = 1, N представлена набором параметров объекта ор, и набором стратегических параметров 5р, [1]:

Н, =< щ, эр1 > , оР, = (о1 ^.^ о‘д х •Р_=(, ..•_< X

где о) е Я, 5. е Я, , = 1, N, ) = 1, q.

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

I, = (Н,/в(ор,)), і = 1,N.

В данной статье функция пригодности определяется в следующем виде:

їв (0Р) = | ч ’ б(0Р) - °. (2)

1 + в(ор)

Сформируем множество мощности N в некотором шаре В(с) = {х є Я": |\х - с|| < г} пространства Я”, где параметры с и г, равно как и метрика в (1), выбираются исследователем. Данное множество является начальной популяцией. Отметим заранее, что заданный радиус шара не ограничивает пространство, на котором будет происходить поиск.

Далее будем формировать новую популяцию того же объема посредством последовательного выполнения операций эволюции. В этой статье мы не будем рассматривать общепринятые операции рекомбинации и селекции, которые подробно описаны, например, в [1]. Оговорим только, что нами рассматривались типы селекции, стандартные для генетического алгоритма: ранговая и

турнирная, в то время как классический метод эволюционных стратегий предполагает лишь пропорциональную селекцию.

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

Операция мутации также была модифицирована. Пусть t е Я" - случайный вектор, каждая координата которого равна 1 с вероятностью рт и 0 с вероятностью 1 - рт . Определим диагональную матрицу Т размера

п хп , Т. . = 5. . • t., ,,) = 1,п. Тогда модифицируем опе-

рацию мутации следующим образом:

ор. = ор1 + Т • N(0, ), (3)

5Р. = spi + Т • N(0,1), (4)

где N (т, ст2) - нормально распределенная случайная ве-

” —2

личина с математическим ожиданием т и дисперсией ст .

После формирования новой популяции объема N для первых по элементов упорядоченного по Q(opi) множества I используем метод покоординатного спуска для уточнения решения, полученного стохастическим алгоритмом.

Таким образом, предлагаемый в данной статье алгоритм является гибридным, поскольку он сочетает в себе две различных по своей природе поисковых процедуры: случайный поиск и метод покоординатного спуска, и модифицированным, так как в нем изменены операции мутации (3) и (4) и селекции.

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

( 2 ^

х" = -х' + а0 • • х), х0 =1

Пусть реализация решения этого уравнения с неизвестными значениями параметров а задана на сетке {х,, ti},, = 1,5. По критерию

^ (х, - х, (а))2

1з(а) = -

s -1

(5)

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

tj,, = 1,5, будем определять качество решения задачи определения параметров а.

Покажем, что данный критерий в пространстве параметров а0, а1 является многоэкстремальной функцией (рис. 1 и 2).

Рис. 1. Линии равного уровня критерия (5) в пространстве параметров а0, а1, при а0 = [0,10], а1 = [-5,10]

Рис. 2. Линии равного уровня критерия (5) в пространстве параметров а0,а1, при а0 = [40,50], а1 = [30,50]

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

ровно два индивида подвергаются локальному улучшению. В таком случае если изначально выборка сформирована в шаре В(0) с радиусом 15, то надежность алгоритма составляет 95 % при параметрах а0 = 2, а1 = 1. С удалением центра шара от начала координат надежность решения падает, но находятся значения параметров, доставляющие локальный минимум функционалу. В таких локальных точках критерий (5) достигает значения 0,01.

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

Очевидно, что при отсутствии априорной информации о значениях этих параметров можно получить совершенно разные решения задачи идентификации с разными значениями критерия (5). Аналогичная ситуация имеет место при решении краевых задач оптимального управления методом пристрелки, особенно если решения дифференциальных уравнений имеют колебательный характер [2]. Альтернативой обычно применяемому методу многократного спуска в этом случае является предлагаемый эволюционный метод, позволяющий с некоторой вероятностью найти решение многоэкстремальной задачи и определить не только значение параметров динамической системы, но и ее структуру среди заданного множества структур. __

Пусть дана выборка объема 5, т. е. {у,, и1, ti},, = 1,5, где у1 е Я - измеренный выход динамической системы в момент времени tj, = и($1)- управляющее воздей-

ствие. Также известно, что система описывается линейным дифференциальным уравнением вида

ак • х(к-1 + ак-1 • х(к-1) + к + а0 • х = Ь • и^), (6)

х(0) = х0.

По данным выборки у, необходимо определить параметры системы а,,, = 0, п, и ее порядок, который будем считать ограниченным, т. е. т < М, М е Г. Также предположим, что в канале измерения выхода системы действует помеха X :М(X) = 0, Б(Х) <¥, т. е.

У, = х(Х) + х,.

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

Будем считать, что для системы любого порядка ее коэффициент при старшей степени равен 1:

х(*) + ^ • х( к-1) +...+^ • х=—• иа),

или

д*-1).

хК"' + ак • хч" ‘' +... + а1 • х = Ь • и(t).

Решение задачи идентификации будем искать через решение дифференциального уравнения порядка т < к,

такого что

X(m) + am • x(m 4 +... + a1 • X = a0 • и(/),

x(0) = Xo,

с параметрами a = (0 ... 0 am ... a1 a0)Te Rn, т. е. n = M +1, которые доставляют экстремум выбранной функции:

Л (a) = XIУ _ X(/,■)

/=1

12 (a) = max |.у,. - X(/,.)|

® min,

aeRn

® min.

a=a aeRn

(7)

(8)

Поскольку целевые функции (7) и (8) принимают только неотрицательные значения, то функцию пригодности можно представить в виде

(ор) =-----1----, ) = 1,2.

1 + 1) (ор)

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

1 • N.

5

оценку пригодности при числе спусков свыше

10

ность мутации а = (0 0 1 2

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

Пример 2. В условиях, при которых была решена предыдущая задача, для системы

х"' + 2 • х" + 2 • х' + х = 1^) при аналогичных настройках алгоритма было найдено решение а = (0 0 4 0 1,85 1)Т. Полученная модель (рис. 4) неплохо аппроксимирует исходное облако точек, однако определяется системой меньшего порядка и, соответственно, с другими параметрами и большим значением критерия, равным 0,216.

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

Пример 1. Пусть исходная система задана уравнением четвертого порядка

х+ х” + 2 • х' + х = и^), и^) = 1^).

Решим задачу идентификации при 5 = 100, Т = 5, П(Х) = 0,003(3). Считаем, что М = 5, тогда поиск будет осуществляться на пространстве Я6.

После прогонки алгоритма со следующими настройками: 100 поколений по 100 индивидов, турнирная селекция объемом — • N, дискретная рекомбинации и вероят-= 1

рт = 6 - было найдено решение

1,04 1)Т , т = 3. Поиск происходил по критерию (8), значение которого составило 0,199. График решения задачи идентификации и исходной выборки (рис. 3) показывает, что найденная модель полностью соответствует истинному описанию объекта.

■ ’ J ‘

1 L J-jfг- "■ '

_ 1

I SJH,Г ’ - -

■ &Г

" 1 у

■ .

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

Рис. 4. Система с найденными параметрами и исходная выборка для примера 2

Отметим, что сходимость параметров к истинным значениям может увеличиться с повышением информативность выборки. Иными словами, увеличивая объем, частоту снятия данных и время наблюдения за объектом, можно значительно повысить качество решения задачи.

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

Библиографические ссылки

1. Beyer H.-G. Evolution strategies [Electronic resource] // Scholarpedia : site. URL: http://www.scholarpedia.org/ article/Evolution_strategies (date of visit: 29.11.2010).

2. Охорзин В. А. Прикладная математика в системе MathCAD : учеб. пособие ; Сиб. гос. аэрокосмич. ун-т. Красноярск, 2004.

Рис. 3. Система с найденными параметрами и исходная выборка для примера 1

V A. Okhorzin, I. C. Ryzhikov

HYBRID MODIFIED EVOLUTION STRATEGIES METHOD FOR DYNAMIC SYSTEM IDENTIFICATION

The article covers linear and nonlinear parametric dynamic system identification approach, that is based on evolutionary strategies algorithm, and method of linear dynamic system structure identification.

Keywords: identification, evolution strategies, structure, parameters, dynamic.

© Охорзин В. А., Рыжиков И. С., 2010

УДК 519.872 621.312 519

С. С. Бежитский, Е. А. Головенко, В. А. Горемыкин, М. В. Первухин

О РЕШЕНИИ ЗАДАЧИ ОПТИМАЛЬНОГО ВЫБОРА ПАРАМЕТРОВ ПИТАНИЯ ЛИНЕЙНОЙ ИНДУКЦИОННОЙ МАШИНЫ ГЕНЕТИЧЕСКИМ АЛГОРИТМОМ С ЛОКАЛЬНЫМ ПОИСКОМ*

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

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

Постановка задачи оптимизации структуры ЛИМ.

Линейные индукционные машины (ЛИМ) с повышенным рабочим зазором широко используются в металлургии с целью повышения производительности и энергетической эффективности плавильно-литейных агрегатов. Увеличение рабочего зазора обусловлено необходимостью расположения теплоизоляции между индуктором и рабочим телом (расплавом металла). Наличие в ЛИМ значительного немагнитного зазора определяет особенности их конструкции и режимы работы. В частности, для эффективной работы ЛИМ существенными становятся продольный и поперечный краевые эффекты, которые значительно усложняют расчеты при проектировании и моделировании функционирования ЛИМ классическими методами. Следовательно, возникает необходимость в применении численного имитационного математического моделирования с использованием коммерческих пакетов, которые позволяют учитывать краевые эффекты при изучении процессов, происходящих в ЛИМ [1].

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

*Работа выполнена при финансовой поддержке ФЦП «Научные и научно-педагогические кадры инновационной России на 2009-2013 гг.» (НИР НК136П/3).

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

Рис. 1. Общий вид плоской ЛИМ

При питании плоской ЛИМ переменным током в зазоре между сердечником и рабочим телом возникает бегущее магнитное поле, подобное вращающемуся полю асинхронной электрической машины. Это магнитное поле индуктирует в металле токи, что приводит к возникновению электромагнитных сил, под действием которых развивается усилие и металл приходит в движение [1].

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