УДК 004.8(075.8)
ФАЗЗИФИКАЦИЯ СИГНАЛОВ НЕЛИНЕИНОИ СТОХАСТИЧЕСКОЙ СИСТЕМЫ
Докт. техн. наук, проф. ЛОБАТЫЙА. А., асп. АЛЬ-МАШХАДАНИМ. А.
Белорусский национальный технический университет
Все большее распространение получают системы нечеткой логики (СНЛ) в системах автоматического управления, системах принятия решения. Это обусловлено тем, что СНЛ дают возможность получать относительно простое решение задачи определения искомого сигнала при наличии большого числа неопределенностей в исходной информации, поступающей на вход системы. Кроме того, СНЛ в отличие от традиционных систем обработки информации способны учитывать при принятии решения «опыт эксперта» - априорно имеющуюся информацию, не поддающуюся формализации.
Типовая СНЛ включает в себя следующие основные блоки, приведенные на рис. 1.
х
vX
V(Y)
Блок
фаззификации вывода
I
Блок дефаззификации
Нечеткая база правил
Рис. 1. Система нечеткой логики
Функциональное назначение блоков СНЛ подробно описано в соответствующих источниках [1, 2]. Отметим только, что в блоке вывода на основе нечеткой базы правил производится основная обработка информации, представленной в виде нечетких множеств. Блок дефаззификации преобразует «нечеткую» (неконкретную) информацию в «четкую» (конкретную).
Получение с помощью СНЛ необходимого результата в значительной степени зависит от работы блока фаззификации, задачей которого является преобразование измеренных реальных данных (например, температуры, скорости, электрического тока и т. д.) в подходящие для этого значения лингвистических переменных, представляющих собой нечеткие подмножества, формализованные с помощью функций
принадлежности, изменяющихся в интервале [0,1].
Задача фаззификаци успешно решается тогда, когда значения входных переменных являются детерминированными (не зашумленны-ми). В этом случае фаззификация сводится к тому, что функция принадлежности ц(х, 0 будет равна единице в точке измерения входного параметра х(0 и нулю - во всех остальных точках.
В случае, когда входной сигнал является случайным, блок фаззификации должен преобразовывать в нечеткие числа вероятностные данные. При этом должна быть определена процедура преобразования вероятностного значения (вероятностной характеристики) в воз-можностное (функцию принадлежности).
Статистическая линеаризация системы. Пусть на вход СНЛ поступает векторный сигнал Х(?) с выхода нелинейной системы, на вход которой поступает векторный случайный сигнал £,(0 (рис. 2).
ад X(t) Y(t)
Ф(Х t) СНЛ
Рис. 2. Нелинейная стохастическая система
Динамическая стохастическая система описывается векторным нелинейным уравнением в виде [3]
Х(0 = Ф(Х, 0 + ^(0, Х(г0)=Х0, (1)
где Х(0 - в общем случае «-мерный случайный вектор (матрица-столбец); ф(Х, ^ - векторная детерминированная нелинейная функция с компонентами фь ф2, ..., ф„; £,(0 - вектор белого гауссова шума, имеющий математическое ожидание т£() и матрицу интенсивностей 0(?).
Следует заметить, что практически любую математическую модель системы с небелыми
Наука итехника, № 2, 2013
Y
шумами можно преобразовать в математическую модель с векторным аддитивным белым шумом путем расширения вектора состояния фазовых координат рассматриваемой системы.
Применив метод статистической линеаризации [3, 4] к векторной нелинейности ф(Х, t), получим линеаризованное уравнение
Mt) = %(mx^t) + K(mx,Qx,t)X°+^tl X(t0) = X0, (2)
где статистическая характеристика фо и матрица K статистических коэффициентов усиления зависят от вектора mx(t) и корреляционной матрицы 0x(t).
Применяя операцию математического ожидания к уравнению (2), получим нелинейное уравнение для вектора математического ожидания mx(t)
™х (О ~ Фо О, >е, > 0 + тс (О,
щ-Ю=щ0- (3)
Почленным вычитанием уравнения (3) из (2) получается линейное векторное дифференциальное уравнение относительно центрированной составляющей вектора состояния X\t)
X°{t0) = X°0. (4)
Уравнение для матрицы корреляционных моментов Qx(t)=M[X" (t)X)T (t)] получается дифференцированием Qx(t) и подстановкой в выражение для 6.Д0 соответствующих компонент выражения (4). После несложных преобразований, которые приведены в популярной литературе, уравнение для матрицы 0x(t) принимает вид
0, (О = К(тх, 9V, 09, (О + QJ<' (тх, 9V, 0 + G(t), 0.v('o) = 0.vo- (5)
Определение функции принадлежности выходных сигналов. Решение уравнений (3) и (5) позволяет получить вектор mx(t) и матрицу 0x(t). Если считать, что плотность вероятности распределения процесса X(t) гауссова, то этого вполне достаточно для определения «-мерной плотности вероятности f(x), которая имеет вид [4]
где Л (О - определитель матрицы (),(/): А (/) -окаймленный определитель, получаемый из А(0 путем приписывания одного (п + 1) столбца и (п + 1) строки, состоящих из членов л\-тЛ, х2-тх2, ..., х -тхп, 0.
Переход от плотности вероятности f (х) к функции принадлежности |i(x) предлагается производить путем нормирования f (х). При этом предполагается, что
f(xl, х2, ...,хя, t)
ц(х) =
Ль =mxl,x2 =тх2,...,х„ =mxn,t)
• (7)
/(Л, Х2' •••' Хп ■> 0 —
1
ехр
АЧо 2А(0
(6)
Так как для практического применения в СНЛ используются, как правило, одномерные функции ц(х), то получение их из многомерной плотности вероятности не составляет труда, учитывая, что распределение компонент х (*), х2(^), ..., хп(}) вектора X(/) также гауссово.
В скалярной форме статистически линеаризованные уравнения для математических ожиданий и корреляционных моментов компонент вектора X (^) имеют вид:
'»л, (0 - Ф,0 »0,»О + ть (0,
даЛ7(0) = даЛ711; (8)
п ./=1
где к,г=\,п.
Заметим, что матрица 0Г(О симметричная, поэтому 9н( (0 = 0л;(, (0 и число независимых
уравнений для корреляционных моментов рав-«(« + 1)
но —-—, где п - порядок исходной системы
уравнений (1).
Для типовых нелинейностей коэффициенты статистической линеаризации вычислены и приведены в соответствующих источниках [4]. Для нелинейностей любого вида статистическая характеристика нелинейности ф,, ,(/»„/); ) определяется по формуле [3]
Ф,о(ш„ Д. ) = ] 1)с1-х. (10)
^И Наука итехника, № 2, 2013
Статистические коэффициенты усиления К могут вычисляться двумя способами. По первому коэффициенты К1 = К-11 определяются на основе выполнения условия равенства математических ожиданий и дисперсий истинной и аппроксимируемой зависимостей. По второму способу коэффициенты К1 =К1{2) определяются на основе выполнения условия минимума среднего квадрата ошибки статистической аппроксимации соответствующей нелинейности Ф,(х):
1
K,
(2)
J ФГ(х)/(х, t)dx-^mx,Dx)\-, (11)
(тх, Dx) = J (х, -тх)фДдгЩдг, t)dx. (12)
Пример. В качестве примера рассмотрим систему автоматической стабилизации летательного аппарата (ЛА) по крену. Система стабилизации должна обеспечить полет ЛА с нулевым заданным углом крена, несмотря на воздействие возмущающего момента Мв, стремящегося развернуть ЛА относительно продольной оси [5]. Не вдаваясь в детали функциональной схемы, будем считать, что система управления содержит гироскопические измерительные устройства, измеряющие угол крена у и угловую скорость крена у. Показание гироскопических измерителей в виде суммарного напряжения и
и = к7у + к.у (13)
подается на привод элеронов. Полагая его быстродействующим безынерционным, запишем выражение для угла 5 отклонения элеронов
5 = ф(г/) =.
И<5м> \и\ > 5„.
(14)
График функции ф(и) приведен на рис. 3. Формула (13) и график (рис. 3) показывают, что угол отклонения элеронов 5 ограничен предельным значением 8М.
Уравнение движения ЛА относительно продольной оси имеет вид
^у=М+Мв, (15)
где ^ - момент инерции ЛА относительно продольной оси; М - аэродинамический мо-
мент; Мв - возмущающий момент, являющийся входной переменной. Из аэродинамики известно, что М зависит от движения ЛА по крену и от угла отклонения элеронов:
М=т;у+т% (16)
Коэффициенты т1 и тх зависят от конструкции ЛА, его скорости, высоты полета (плотности воздуха) и других характеристик.
8м -8„
и 8М -8м
Рис. 3. График функции ф(и)
Уравнения (13)-(16) определяют математическую информационную модель и оператор многомерной системы, имеющий выходные переменные у и 5 при одной входной переменной Мв. Если исключить промежуточные переменные у, и, 5, то эти уравнения приводятся к одному для одной выходной переменной у:
•4:7++ + ^7) =мв. (17)
Уравнение системы (17) перепишем в форме Коши:
71 (0 = 72(0; ъ(0) = ую; (18)
у2( :) = -^(0-а0ф) + х(:); у2(0) = у20, (19) где обозначено % = у; у2 = у;
т„
ап = -
уп
ах =——: х(1) - возмущение со стороны атмо-
х:
сферы, вызывающее ошибку стабилизации по крену, х(:) имеет математическое ожидание тх и случайную стационарную составляющую £°(0 - белый шум интенсивности О.
В уравнениях (18), (19) следует учесть, что
и(Т) = к уДО + ВДО ,
где к = к\ Т1=— - постоянная времени.
к„
(20)
ЛА должен иметь заданный крен у = ут. Для определения систематической ошибки крена
■■ Наука итехника, № 2, 2013
xx
(математического ожидания) и дисперсии составим уравнения для вероятностных моментов ту
и 9Г Предварительно статистически линеаризуем нелинейность ф(и), записав ее в виде
<р(м) = ф0 (тп, енн) + к1 (ти, 0„)(?/ - /п ), (21)
где ф0 и кх - статистические параметры линеаризации для данной нелинейности, зависящие пока от неизвестных ти и 9Н.
Подставляя (21) в уравнения (18)-(20) и применяя операцию математического ожидания в выписанных уравнениях, получаем:
щ (t) = т 2(t); щ(0) = щ0; (22)
riu (!) = - —axnu (t Ь a0<$0(mu Я u )+ mx (t m2 (0) = m2o; (23)
mu (0 = *| [m 1(0+ Tm 2(t)] |. (24)
Вычитая почленно из (18)-(20) уравнения (22)-(24), получаем уравнения для центрированных составляющих:
f°(t)=j°2(t); Ц(°)=Тло; f2(t) = -axf2(t)-ak (mu ,9 u )u0(t ) + ^(ty,
u0(t) = k[ y0(t) + Ту0(t
(25)
(26) (27)
Из выражений (25)-(27) в соответствии с (9) получаем систему дифференциальных уравнений для корреляционных моментов:
вц(г) = 2Ъи(1); 9П(0) = 9Ш; (28)
е12 =е22 -ад2-а0кмл,ж% + 7i,0i2);
е12(О)-012О;
(29)
Ъ22=2ар22-2а,\(ти А Ж(ви+ О;
е22(0) = е220; (зо)
Ъи=К2(Ъп+ ТА2+2Щ2); (31)
еп(0) = е0, е12(0) = 0, е22(0) = 0.
Интегрируя уравнения (22), (23) и (28)-(30), получаем все математические ожидания и ко-вариации, необходимые для вычисления ти и
9Н, в том числе систематическую ошибку крена /».,(/) = /н, (!) и дисперсию 0.,(/) = 0,, (/).
Наука
итехника, № 2, 2013_
Выражения для коэффициентов статистической линеаризации нелинейности типа (1 4) имеют вид [4]:
Ф0=5М (1 + я^Ф
Л л 1 + ml
V
о
- (1 - щ )Ф
/
г л ^
1 -щ о,
+
л/2п
кх= Ф
_1 1+»^ Т _\П-щ
i 1 л \ + т1
+ Ф
f 1 ^
т о ,
где = G» = VD«:
(32)
(33) Ф(х) =
1
__\е 2dt - функция Крампа.
V2tt Г,
Заметим, что коэффициент в дан-
ном случае вычисляется вторым способом (по критерию минимума среднего квадрата ошибки аппроксимации нелинейности), так как это несколько проще, чем по первому способу.
Считая плотность вероятности распределения фазовых координат нелинейной динамической системы гауссовой, имеем соответственно выражения для плотности вероятности /(у) и функции принадлежности и(у):
/(У) =
1
ji(y) = exp
exp
f (u-m^f Л 29
rt
Г (и-ту)2 Л 29,„,
(34)
(35)
Моделированием в среде MathCad проведено исследование разработанной методики определения функции |Лу). Интегрирование дифференциальных уравнений производили методом Эйлера при следующих условиях: Л, = 0,9; т\ =0,17; т] = 0,25; тх(0 = 0,09; К=3;Т\= 0,01; щ (0) = т2(0) = 0; 0 = 9.
Графики изменения математического ожидания и дисперсии угла крена ЛА т = т\к и
9 , = 91 \к от времени 4 представлены на рис. 4.
Графики изменения коэффициентов статистической линеаризации фОд,(/ин,9н) и к\к(тн,вн) в зависимости от ^ приведены на рис. 5.
Графики изменения плотности вероятности /¡(м) и /2(м) и функции принадлежности ¡л., (и)
и|д2(м) в моменты времени !\ = 0,01 си и = = 1,00 с, соответственно представлены на рис. 6.
Из рис. 4 и 6 видно, что при значительных шумах, действующих на систему, происходит
ml
0,05 0,04 0,03 0,02 0,01
резкое возрастание дисперсии параметра управления у и значительное расширение функции принадлежности ц(м) - повышение неопределенности параметра и.
4-
еп
0 0,2! 0,4 0,(5 0,8 t 1,0 0 0,2! 0,44 0,(5 0,8 t 1,0
Рис. 4. Математическое ожидание и дисперсия угла крена летательного аппарата
0
0,020 0.015 0,010 5х10~3
kl
1(2 1,0 0,.8 0,.( 0,.4 0,2
0,2 0,4 0,6 0,8 t 1,0
0,2 0,44 0,6 0,8 t 1,0
Рис. 5. Коэффициенты статистической линеаризации
/¡(и) Я")
1,0
0,5
Ui(f)
0,8
) 0(,6 I
) 0(,4 0,2 0
0
-1,0 -0,5 0 0,5 u 1,0 -10 -5 0 5 u 10
Рис. 6. Изменение плотности вероятности (а) и функции принадлежности (б)
В Ы В О Д Ы
Результаты исследований показывают, что применение статистической линеаризации нелинейностей и гауссовой аппроксимации плотности вероятности распределения фазовых координат нелинейной динамической системы, подверженной случайным воздействиям, позволяет вычислять функцию принадлежности выходных параметров данной системы. Такой подход может быть применен для решения широкого класса задач формирования сигналов управления в нечетких регуляторах.
Л И Т Е Р А Т У Р А
1. Ярушкина, Н. Г. Основы теории нечетких и гибридных систем / Н. Г. Ярушкина. - М.: Экономика и финансы, 2004. - 320 с.
2. Гостев, В. И. Проектирование нечетких регуляторов для систем автоматического управления / В. И. Гостев. - СПб.: БХВ-Петербург, 2011. - 416 с.
3. Казаков, И. Е. Статистическая теория систем управления в пространстве состояний / И. Е. Казаков. -М.: Наука, 1975. - 432 с.
4. Пупков, К. А. Методы классической и современной теории автоматического управления / К. А. Пупков, И. Д. Егупов. - М.: Изд-во МГТУ имени Н. Э. Баумана, 2004. - Т. 2: Методы современной теории автоматического управления. - 640 с.
5. Дмитриевский, А. А. Внешняя баллистика / А. А. Дмитриевский. - М.: Машиностроение, 2005. - 608 с.
Поступила 15.05.2012
■■ Наука итехника, № 2, 2013
б
а