книги из ГПНТБ / Сейдж Э.П. Идентификация систем управления
.pdf2.4] |
ИДЕНТИФИКАЦИЯ Н ЕСТАЦ И О Н АРН Ы Х ОБЪ ЕКТО В |
41 |
•фЧ/ш, |
/ц) представляет преобразование Фурье от if1 (/<в, |
t). |
Если субспектры хорошо разделены, как здесь показано, то каждый из них можно выделить с помощью соответст вующих полосовых фильтров. Выходные сигналы этих фильтров можно затем демодулировать методами, обсуж давшимися выше в связи с определением и
|
'1 |
л Л |
Л л |
-Cl>2 -LO] |
О Ш] ш*> |
Рис. 2.4.2. Многочастотный спектр.
Можно вывести критерий, определяющий условия, при которых удается успешно провести измерения векто ров частотных преобразований (в предположении, что шу мы отсутствуют и фильтры идеальны). Перепишем (2.4.38) в *виде
Ф1 (to, 0 = 2 Oi/2 [V * ' + ( V 4 ')*], |
(2.4.39) |
i= l
обозначая звездочкой комплексно сопряженные величины и применим к обеим частям последнего равенства преобра зование Фурье
<2
У1(t o , 7» = 3 a ii'2 (г ( t o , i (м- — ®4)] + г [— t o , / ( ц + C0i)]}. i=l
(2.4.40)
Здесь Г означает преобразование Фурье от у. Если суб спектры не пересекаются, слагаемые в этом равенстве раз делены, откуда следует, что скалярное произведение
г + [to, / (р — »;)] Г [t o , i (Ц. + щ )] = 0 , |
к ф г, (2.4.41) |
для всех г = 1,2, ...,? . Можно показать, что при выполне нии этого условия не только каждый субспектр, формиру-
42 КЛАССИЧЕСКИЕ М ЕТОДЫ ИДЕНТИФИКАЦИИ f [ГЛ . 2*
ющийся около частоты сог, может быть отделен от других с помощыо полосовых фильтров, но и выходной сигнал
каждого из этих фильтров можно демодулировать для по |
|
лучения |
и {у1. |
Пример 2.4.1. Рассмотрим задачу идентификации си стемы, показанной на рис. 2.4.3. Предполагается, что на вход подается только тестовый сигнал и в стационарной
Рис. 2.4.3. Нестационарная динамическая система второго порядка.
части системы закончились переходные процессы. Струк тура системы подсказывает выбор такого пробного воз действия иг, чтобы щ = cos at. Тогда нестационарная часть системы может быть идентифицирована так, как буд то только она и исследуется, — не нужно вносить никаких изменений в изложенную выше теорию. Нетрудно пока зать, что правильней всет'о выбрать их = 2 cos coi —
— со sin <j)t. Образовав матрицу G и обратив ее, получим
■fm '
ь (t) _ -fnR— (^I1/nI).
Величины hi, /r и fi подлежат измерению обсуждав шимися выше методами. Реализация рассмотренной схе мы идентификации показана на рис. 2.4.4.
Проблема шума в этой схеме идентификации представ ляет определенный интерес и заслуживает краткого об суждения. Желательно достижение двух основных ре зультатов: минимизации влияния шума, возникающего на входе, и уменьшения влияния шума на оценки у, по лучаемые в условиях, когда не все компоненты х молено измерять непосредственно.
Шум на входе системы часто может быть известным уп равляющим воздействием, которое является «шумом»
2.4] |
И ДЕНТИФ И КАЦ И Я НЕСТАЦИОН АРН Ы Х ОБЪЕКТОВ |
43 |
V
Рис. 2.4.4. Схема моделирования процесса идентификации.
Рис. 2.4,5. Схема ликвидации шума с эталонной моделью.
4 4 |
КЛАССИЧЕСКИЕ МЕТОДЫ ИДЕНТИФИКАЦИИ |
[ГЛ . 2 |
постольку, поскольку рассматривается данный метод иден тификации. В отдельных случаях удается увеличить амп литуду тестового сигнала и (или) выбрать его максималь ную частоту значительно превосходящей частоту среза си стемы. При попытках использовать подобные «лекарства» следует соблюдать большую осторожность ввиду очевид ных отрицательных эффектов.
Более совершенный метод ослабления влияния вход ного шума основан на использовании следящей модели ис ходной системы, как показано на рис. 2.4.5. В этой схе ме уничтожения шума следящая модель настраивается как можно ближе к исследуемой системе. В этих условиях на вход вычислительной машины, производящей идентифи кацию, поступает реакция системы только на тестовый сигнал. Таким образом, мы получим разновидность мето да идентификации с эталонной моделью, обсуждаемого в разделе 2.5.
Итак, мы рассмотрели схему идентификации линей ных нестационарных динамических объектов. Этот метод представляется обещающим при использовании для иден тификации в реальном масштабе времени и особенно удачным для идентификации вне контура регулирования, когда моделирование физически нереализуемых фильтров позволяет достичь показателей идентификации, прибли жающихся к теоретическому максимуму.
Был предложен критерий выбора частот тестовых сиг налов, который можно использовать для оценки правдо подобности экспериментальных данных, полученных в от дельном конкретном процессе идентификации.
2.5. ОБУЧАЮЩИЕСЯ МОДЕЛИ
Одним из идейно наиболее простых и в то же время на иболее гибких методов идентификации является подход, называемый обычно методом обучающихся моделей или идентификацией с эталонной моделью. Основную идею этого подхода иллюстрирует рис. 2.5.1. Известный вход ной сигнал (или класс входных сигналов) подается на вхо ды исследуемой системы и модели, предназначенной для отслеживания неизвестных параметров системы. Разность двух выходных сигналов используется для настройки мо дели, и затем процедура повторяется. Обычно модель име-
2.5] ОБУЧАЮ Щ ИЕСЯ МОДЕЛИ 45
от фиксированную структуру, и настройке подвергается лишь конечное число параметров.
Этот процесс можно использовать и для идентификации непосредственно в контуре управления, разделяя входной сигнал на куски ограниченной длины и проводя собственно
идентификацию |
|
в промежутках между подачей на вход |
|||||||
двух |
соседних |
|
кусков. |
|
|
|
|
||
Эту |
процедуру |
можно |
|
Неизвестная |
|
уШ |
|||
использоватьи при нали |
|
система |
|
|
|||||
чии помех наблюдения, |
|
|
|
|
|||||
хотя проблемы, свя |
|
|
|
|
|||||
занные |
с оцениванием, |
|
|
|
|
||||
устойчивостью и неедин |
|
|
|
|
|||||
ственностью |
решения |
w(t) |
Вычислитель- |
^ |
/ |
||||
задачи идентификации, |
|||||||||
|
новустрой- |
||||||||
усложняют процесс раз |
|
стводлянаст- |
■*- |
ч |
|||||
|
ройпипара |
|
|
||||||
работки |
схемы |
|
иденти |
|
метров |
|
|
||
фикации. Если реаль |
|
|
|
|
|||||
ный исследуемый объект |
|
V |
|
|
|||||
слишком дорог, |
чтобы |
|
|
уЩ |
|||||
на нем экспериментиро |
|
Модель |
|
||||||
вать, желательно заме |
|
|
|
|
|||||
нить его набором реали |
Рис. |
2.5.1. Идентификация |
по мето |
||||||
заций входных и выход |
|||||||||
|
ду обучающейся модели. |
||||||||
ных сигналов. |
|
|
|
метода возникает ряд прак |
|||||
При |
использовании этого |
||||||||
тических |
проблем. Среди них: |
|
|
|
|||||
1)как выбирать структуру модели,
2)каким должен быть масштаб времени,
3)критерий оценки ошибок,
4)начальные условия,
5)стратегия подстраивания модели.
Рассмотрим все эти вопросы несколько подробнее. Проблема выбора модели — неотъемлемая часть почти
любого метода идентификации. Во многих практических задачах имеется значительная информация о физических процессах, протекающих в исследуемой системе, и основ ная цель состоит в определении конкретных значений па раметров. Если мы ничего не знаем о структуре системы, нам остается наугад выбрать несколько вариантов струк туры модели и посмотреть, не может ли один из них до статочно адекватно отражать наблюдаемое поведение ис
46 КЛАССИЧЕСКИЕ М ЕТОДЫ ИДЕНТИФИКАЦИИ [ГЛ. 2
следуемой системы. Конечно, первая ситуация предпочти тельнее, так как при этом мы можем «чувствовать» диапа зон возможных значений параметров и сразу поймем, не лишен ли полученный ответ физического смысла. Встре чаются также и ситуации, когда намеренно вводится в
рассмотрение модель, заведомо отличающаяся от истин ного описания системы. С таким случаем сталкиваются, например, при поиске наилучшей линейной модели сис темы, характеристики которой на самом деле оказались нелинейными. Линейная модель может понадобиться на некоторых этапах анализа или синтеза системы.
Использование записей входных и выходных реализа ций предоставляет возможность значительного ускоре ния модельного времени, так что процедура выбора зна чений параметров может быть завершена намного быстрее. Идентификация с эталонной моделью идеально приспособ лена для использования гибридной вычислительной тех ники, и в этом случае изменение масштаба времени не представляет затруднений. Разумеется, при моделирова нии на цифровых машинах масштабирование времени бес смысленно, так как в этом случае обычно нет никаких «часов истинного времени».
Поскольку оптимизация обучающихся моделей почти всегда осуществляется некоторой поисковой процедурой (в противоположность аналитическим методам), имеется значительное число критериев оценки погрешностей, каждый из которых можно использовать без существен ных различий в сложности вычислений. Среди возможных критериев — интеграл от квадрата ошибки, интеграл от абсолютной величины ошибки, различные варианты этих критериев с отличными от константы весовыми функция ми, а также средневзвешенные критерии более высокого порядка. Можно использовать минимаксный критерий, когда выбором параметров минимизируется максимальное значение ошибки. Вероятно, чаще всего используется критерий среднеквадратической ошибки, потому что он обычно приводит к более гладким функциям ошибок и, следовательно, к быстрой сходимости.
Если процесс идентификации основывается на ограни ченных во времени реализациях сигналов, необходимо вы брать начальные условия для модели. По возможности все измерения на реальной системе следует проводить при
2.6] ВИНЕРОВСКАЯ ТЕОРИ Я Н ЕЛ И Н ЕЙ Н Ы Х СИСТЕМ 47
известных начальных условиях, скажем, нулевых. Тогда выбор начальных условий для модели предопределен за ранее. Если это невозможно, начальные условия модели нужно рассматривать как дополнительные параметры, подлежащие оптимальному выбору.
Техника настройки параметров — едва ли не самая сложная часть метода идентификации с эталонной моделью. Возможными источниками затруднений являются: (1) наличие нескольких локальных минимумов или седловых точек; (2) повышенная чувствительность одних парамет ров и крайне низкая — других; (3) медленная сходимость для некоторых моделей и (4) отсутствие ортогональности, т. е. зависимость оптимальных значений одних парамет ров от других. Почти все известные методы поиска (Уайлд [146]) применялись в разное время в идентификации по обучающейся модели с той или иной степенью успеха. На^ иболее популярными и самыми удачными оказались слу чайный поиск и градиентные методы. Случайный поиск позволяет весьма эффективно отсекать локальные экстре мумы и находить решение при достаточно гладких поме хах. Градиентные методы*) сравнительно легко програм мируются и оказываются довольно эффективными, хотя и позволяют найти лишь локальный экстремум. Сочета ние случайного поиска (на первых шагах алгоритма) с градиентными методами, а также применение методов «крутого восхождения» и «перебора гребней» обычно поз воляют получить хороший алгоритм. Применение гради ентных методов к идентификации по обучающейся модели обсуждается далее в главе 4. К этой же теме относятся статьи Бландхола и Балхена [18], Эвели [36], Эйкхоффа [38], Марголиса и Леондеса [94], Менделя [103], Мишки на и Брауна [105].
2.6. ВИНЕРОВСКАЯ ТЕОРИЯ НЕЛИНЕЙНЫХ СИСТЕМ
Винеровская теория нелинейных систем представляет фактически экспериментальный метод, в котором неиз вестные параметры системы определяются как коэффици енты оператора в гильбертовом пространстве. Входной сиг нал системы раскладывается в ряд по функциям Лагерра,
*) См. главу 4.
48 КЛАССИЧЕСКИЕ МЕТОД i..7 ИДЕНТИФИКАЦИИ [ГЛ . 2
Эти функции получаются из полиномов Лагерра умноже нием на экспоненту, так что для многочлена Лагерра
Ln(t) = |
1 |
п = 1, 2, . . |
(2.6.1) |
(п — 1)! |
соответствующая п-я функция Лагерра определяется как
gn (0 = |
|
t > 0 , |
О, |
(2.6.2) |
|
|
f < 0. |
Функции gn (i) ортогональны при всех t ЕЕ [0, оо]. Прош лые значения входного сигнала можно представить рядом
и (— t) = |
2 |
vngn(t), |
0, |
(2.6.3) |
|
W—1 |
|
|
|
|
оо |
|
|
|
vn = |
^ |
и (— т ) ( т ) |
dx. |
(2.6.4) |
|
о |
|
|
|
Ясно, что необходимые нам коэффициенты Лагерра мож но получить, пропуская х (t) через цепочку линейных ди намических звеньев. Рассмотрим генерацию коэффициен тов Лагерра с помощью линейной системы с передаточной функцией, являющейся преобразованием Лапласа уравне
ния (2.6.1)
1 -1П-1
Gn(s) = |
(2.6.5) |
|
* + “9Г |
Эта система показана на рис. 2.6.1. Для полного исполь зования всех выгод разложения входного сигнала в ряд по функциям Лагерра, в излагаемой теории предполага ется, что для возбуждения системы на вход подается гаус совский белый шум. Можно показать, что при таком выбо ре входного сигнала функции Лагерра оказываются некор релированными гауссовскими случайными процессами с равными дисперсиями. Поскольку полиномы Эрмита ор тогональны при всех t Е= I— оо, оо], естественно восполь зоваться разложением оператора системы по функциям Эрмита. Для л-го полинома Эрмита т)„ (и) Винер определил (л 1)-ю функцию Эрмита как
# „ (и) = e-(u2/2)rin (ц). |
(2.6.6) |
2.6 |
ВИНЕРОВСКАЯ ТЕОРИ Я Н ЕЛ И Н ЕЙ Н Ы Х СИСТЕМ |
49 |
Винер показал, что формулы перехода от коэффициентов Лагерра входного сигнала к выходному сигналу можно записать в терминах функций Эрмита с помощью ряда
ОО ОО ОО
x(t) = lim 2 S |
••• 2 |
aU-hHi(ui) Hj(u2) ... H h(up). (2.6.7) |
|
|
P * * 00 i —1 3=1 |
h = l |
|
Его |
коэффициенты <ху...ь можно определить, умножая |
||
обе |
части уравнения |
на соответствующие произведения |
|
Рис. 2.6.1. Генерация коэффициентов Лагерра с помощью линейной системы.
функций Н п (и) и усредняя по t Е [— оо, оо]. Однако, благодаря выбору входного сигнала и формы разложения, необходимое усреднение можно осуществить путем опре деления корреляционной функции выхода системы и по линомов Эрмита. Например, можно показать, что
т
ац..л = (2я)р/2 lim |
^ и (t) % (иг) т)3 (щ )... % (ир) dt |
= |
Т-*оо |
_ т |
|
|
= (2n f 2u (t)v (i)‘. |
(2.6.8) |
Это уравнение резюмирует винеровскую эксперимен тальную теорию нелинейных систем. На рис. 2.6.2 пред ставлена схема вычислений, необходимых для реализа ции этого метода. Несмотря на кажущуюся простоту урав нений (2.6.8), приведенное выражение предполагает вы полнение, вообще говоря, бесконечного числа операций. Для практического использования винеровской теории необходимо обрезать все операции, связанные с предель ными переходами, как по отношению к продолжительности измерений, так и по отношению к числу членов в разло жении и (<). Анализ погрешностей, связанных с подоб ным усечением, был бы исключительно сложным. Кроме
50 |
КЛАССИЧЕСКИЕ МЕТОДЫ ИДЕНТИФИКАЦИИ |
[ГЛ . 2 |
того, дополнительные трудности связаны с особенностью описанной процедуры, неосуществимой в режиме нормаль ного функционирования, поскольку в течение длительного
Рис. 2.6.2. Схема для оценки коэффициентов Винера.
времени система должна подвергаться воздействию спе циальных тестовых сигналов. Далее, мы не рассматрива ем нестационарные и неустойчивые системы. Наконец, возникает необходимость перехода от коэффициентов Винера к параметрам системы дифференциальных урав нений, что часто оказывается непростой задачей. В цити руемых нами в библиографии работах можно найти много дополнительных деталей этого метода идентификации.
2.7.ЗАКЛЮЧЕНИЕ
Вэтой главе был исследован ряд методов идентифика ции, которые в прошлом использовались весьма эффектив но. Рассмотрены различные процедуры: от простых чис ленных алгоритмов решения уравнения свертки в разделе
2.2до более сложной методики изучения реакции на си нусоидальный входной сигнал для линейных нестационар
ных систем. Остальные главы книги посвящены исследо ванию так называемых современных подходов к задачам идентификации. Прежде чем заняться этим мы, однако, должны определить функции штрафа для задач идентифи кации, что и составляет содержание следующей главы.
