Файл: Цирлин, А. М. Основы оптимального управления конспект лекций.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 23.10.2024

Просмотров: 64

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

214

Функции ^(^.J и ) положительны. Их выбор не только влия­ ет на скорость оходимости, но и позволяет учесть некоторые усло­

вия задечи. Так, е с л и ^ ( О )

и Ц

СТ ) фиксированы,

то

доста­

точно взпть^Ц - ), проходящим через

эти точки, а Ъ\(р)-\

(Т)=0.

Мы не останавливались на

деталях алгоритмов, выборе

их

рабо­

чих параметров, доказательстве сходимости и оценке скорости схо­

димости.

Не рассматривали и условия

типа

(24.2) в форме нера­

венств.

Некоторые из этих вопросов нетрудно учесть в

процессе

решения

конкретных

задач, другие

подробно

и тщательно

разобраны

в соответствующей

литературе С

А

1, С

 

t

ореди которой стоит особо выделить превосходную книгу Н.Н.Моисе­ ева.

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

ционалов^

дать возможность читателю с использованием

таблиц

1 5 . I , 15.2

самостоятельно записать численную процедуру

решения.

Упражнения.

1 . Конкретизировать алгоритм п.21.2 для задачи о максимуме функ­ ционала Г

о

со связями в форме нелинейного интегрального

уравнения.

2. Для функционала

 

 

 

7~ - та/

rni.Lrb J0

fX

и связей в форме дифференциальных уравнений

записать алгоритм

поиска решения

п. 21.3.

 

 

3. Для той se

задачи составить

функционал

/ V , записанный .

в п.21.4.

 

 

 


US

§ 22. О корректности постановки оптимальных аалач и ах регулядизации

Задачу естественно назвать корректно поставленной, если уоловия задачи однозначно определяют ее решение и последнее сущеотаует. Иначе говоря,должны быть выполнены требования суще­

ствования, единственности и устойчивости решения,

'

Не Оудем останавливаться на вопросе о существовании

решения,

так как обычно физический смыол задачи, еоли он не утерян при переходе к модели, гарантирует существование решения. Условие единственности связано с числом элементов множества!), в которых макоиыизируемый функционал достигает максимума. Ниже для просто­ ты будем считать, что оно выполнено.

Требование устойчивости состоит в том, чтобы при малых измене­ ниях условий задачи столь же мало менялооь и решение. На этом требовании остановимся подробнее. Здеоь можно выделить fpu основ­ ных вопроса.

1. Опасна ли неустойчивость решения?

2. Если да, то как узнать корректна ли поставленная перед нами задача?

3.Если задача оказалась некорректной,то как превратить ее в корректную (провести регуляризацию)? Обсудим оущео'л'во

каждого из этих

вопрооов.

 

 

 

Экстремальные

задачи можно разбить на две большие

категории.

I.Задачи, целью решения которых является величина

иаксишгзнру-

емого функционала Л

. Если в

окрестности оптимального решения

эта

величина мало чувствительна

к его изменениям, тем лучше.Зна-'

Ч Е Т

при

практической

реализации

найденного режима

неизбежные по»

рошности

не приведут

к большим потерям. Решение же

ней


216

не

очень важно. В подооных задачах устойчивость решения

часто

не

играет большой роли, так как палые изменения условий

задачи

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

аооть

решения Uj к

V,

определяется

разностью между максиму­

мом I

и I ( UA

).

А эта'метрика'как

правило,оказывается

слабой.

П. Задачи, в которых функционал есть

лишь индикатор

правиль­

ности

найденного

решения.

Условия такой

задачи можно--тракто­

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

жениям исходных данных, так и к вычислительным

погрешностям.

 

Близость

двух

решений

оценивается здесь равномерной "метрикой"

 

Уоловия,

гарантирующие корректность

задачи,

обычно

проверить

д о ­

вольно трудно

£

8

3*

Часто для

ответа на

вопрос

о

коррект­

ности постановки

задачи,

имея в виду

вычислительный

аспект,

дос­

таточно

воспользоваться

такими соображениями.

 

 

 

 

 

Пусть Kj U;) - решение, удовлетворяющее связям и доставляю­

щее функционалу I некоторое значение I ( Ut

).

Если

можно

найти

семейство решений 1L^(+), которые в равномерной "метрике" отли­

 

чаются от ^/((-fc) на конечную величину, причем уравнение связи

 

нарушается на

бесконечно

малую величину, и

разность I

( U.^

) -

I (

А

) по модулю также сколь угодно мала,

то

задача

постав­

лена

некорректно.

 

 

 

 

 

 

 

 

 


 

 

217

 

 

 

Приведем

в качестве примера

задачу определения характеристики

объекта по данным эксперимента.

Известен

экспериментально получен­

ный

очгнал

на выходе линейного

объекта

и сигнал, поданный

на

его вход

J^C-i). Требуется подобрать .чмпульсную характеристику

К

( - t , T )

так, чтобы функционал

 

 

 

о

 

 

был минимален, если

о

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

любого

решении из

 

(-i). Так, задача

определения К ( " t j t )

по

данным

эксперимента

не корректна, ибо любая из функций

 

 

 

 

 

=

1С, G r . t j + c U ^ & A . u ^

,22.4)

при достаточно большом

СО

и конечном d

доставляет функционалу

I Г и правой

части

уравнения

(22.2)

с точностью до <£ то же самое

значение,

что и

Kj

(

) .

Это связано

со сглаживающим

характе­

ром оператора свертки в (22.2) и интегрирования в (22.1)

и (22.3).

То же может наблюдаться

и в задаче

с конечномерным решением,

когда

изменение

одного

из

искомых переменных

можеа1 быть сколь

угодно

точно компенсировано изменением других переменных. Геомэтрически это означает,'что значения максимизируемой функции для некоторого

.конечного подмножества в пространствеX практически не отличаются.


22.2.. Некорректность по регулярный состцвляюшим решения Задача может быть корректна по одним и некорректна по другим

составляющим решения. Рассмотрим задачу оптимизации со связью, заданной в канонической форме

о

Здесь подинтегральное выражение функционала связи разбито на ре­

гулярную

и

сингулярную

части. Через

Х(4

~) обозначены

те

состав­

ляющие решения, которые входят как в

,

так

и г

/ г .

Состав­

ляющие

ве "U (t)

входят

только в регулярную-часть

подинтегрального

выражения функционала связи. По терминологии, принятой в § \Л ,

задача

регулярна

по

1А_

и сингулярна по

У

. Регулярность

вада-

чи по

U ( 4)

позволяет

испольаовать

для

линеаризации функционалов

I

и £fC£"

)

по

1L

скользящий

режим и расширить

множество

допусти

мах функций сравнения. Однако она же приводит к

некорректности за­

дачи

по

lL(h.

Действительно,

изменения

К (4)

конечные

по мо­

дулю,

но достаточно

высокочастотные

(аналогично

(22,ч))

сколь

угодно

мало

 

повлияют

на

величину

I

и

Cf(

Т" ) . Таким образом, ес­

ли задача

относится

ко

второму

из упомянутых выше

типов задач,

2 0

при постановке -(22.5),

 

(22 - 6)

нельзя

гарантировать

получение

устойчивого

 

решения

1-L*(

\_ ) . Между

тем

по

X

(4)

задача может

•быть корректна.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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