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

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

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

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

Добавлен: 23.10.2024

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

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

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

 

 

 

 

6f

 

 

 

и,подотавиэ

новое значение

ь//

в

/2 , искать наксииум

этой

функции

по

-V .

 

 

 

 

 

Вычисление максимума на V выражения

 

 

 

г i j х 2

+ 0, 4

-

0,4 х 2

 

вновь приводит

в точку

(2.2)

 

 

 

J2 » 0,4 - 0,6 « -0,2

 

 

 

 

и т . д . дс тех пор, пока в точке безусловного макоимума

X? не

будет удовлетворено уравнение

о вязи,

 

7 . 4 ,

Метод штрафных функций

 

Задачу о максимуме

qj/нкции

Ja

(X) при уоловнях (7.1)

и огра­

ничениях

/?j

(Х)

£

 

 

 

 

 

о

 

17.Б)

МОЕНО овеоти к задаче безусловного макоимума, введя ж целевую

функцию добавочные влагаемые, штрафующие за нарушение уоловяй (7.1), (7.15). Получившаяся целевая функция круто обрывается за границами мнржеотва Л (рнс.7.1).

Сообщенный крятерий оптимальнооти выглядит оледувшим оорааои:

где функции //j

таковы, что при выполнении уоловка (7.15) они

равны нулю, а при их нарушений положительны. Примером такой функ­

ции может быть

(рио.7.2)

+

( 7 .Г7)

али любая четная отепень о& этого выражения. Kj и Kg-

достаток

но большие положительные множители. Решение задачя о наксвмзОДс


6 г

/ 0

6 v

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

росте

Ej

ж Kg . Однако при этом обобщенная целевая функция содержит

крутые "гребни8 именно в окрестности искомого решения, что

 

сильно

затрудняет

поиск.

 

 

 

 

 

 

 

 

 

7.5.

метод проектирования

градиенте

 

 

 

 

 

При поиске в задаче о ограничениями приходится контролиро­

вать, находится ля текущая точка в пределах области V , опре­

деляемой соотношениями (7.15).

 

 

 

 

 

 

 

Еоли некоторое соотноиевве

P^i

нарушается, его

оледует

акйючвть в число связей и двигаться вдоль границы области V.

При атом, однако, условный градиент функции

с учетом

усло­

вия

(7.1)

и градиент

функции

 

 

должны

образовывать острый

угол, т ' . е . увеличение

| - с

с

учетом

только

связей

(7.1)

 

должно

приводить

к росту

 

.

Если

вааимное расположение

этих векторов, о котором можно судить по знаку их скалярного

произведения, изменилось

и угол

оказался тупым, происходит

отход

от границы

 

= 0 внутрь

области

V

и соответст*увщее

ограничение

отбрасывается. Но при нарушении

одновременно не­

скольких ограничений положительности скалярных произведений вектора условного градиента и градиентов каждого из ограниче­ ний недостаточно. Дело в той, что,в отличие от числа связей, число ограничений неограничено. И если, например, для двумер­

ного

вектора

^

окажутся

нарушенными одновременно два

ограни­

чения, то,на

первый взгляд,

точка

пересечения

кривых Fj=U и

р £ =

0 (рис.7.3)

определит

решение. В действительности

далеко

не всегда так. Лело з том,

что в

точке локального

максимума

 

^ ь

на 3? любое

направление,

составляющее острый

угол с

У

/

а значит, приводящее к росту

J.

, не должно

вести внутрь

Д,


г . е . не

должно

уменьшааь функциа

Fj .

Иначе

говоря,

( р и с ? . 4 ) ,

вое вектора, лежащие по правую сторону

от

прямой М//,

нор­

мальной

градиенту

J.o

, должны образовывать

острый

угод о гра­

диентами

 

 

 

 

 

 

 

 

 

 

 

 

 

На рио„7.8 вто условие не выполнено, так как вектор

7 Л

не

зенит внутри угла,

оорааованного

VР,

и

V

^

,

на

рисунке

 

7.4

оно

выполнено.Таким образом, еоли

острый yros

7 /0

о

V F*j

 

необходим для движения по границе,

то

для

оотавовки

алгоритма нужно, чтобы гыпояняиооь условие

 

 

 

 

 

 

где

-

нарушанвые

ограничения, а

вое

 

^

^

0.

Мы не

 

учитывали в этих рассуждениях наличие связей (7 . 1) .

В действи­

тельное та

речь

всюду должна идти ие о

градиенте

J-0

,

в об

 

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

опра да дле­

но то СВЕЭЯМЕ,

Для

вычисления условного

градиента

моаат

быть

 

жшольвовезд

функция Лагранжа (7.2).*

 

 

 

 

 

 

 

7.6.

Поиск

селлозой

точки функции Загранки

 

 

 

 

 

Раосшотрениыо выне алгоритм потока седловой точка функциа дагранжа при нзднчин связей йогу* оыть ияподьвозаны и в случае ограничений (7.15) о той раанвцеа, что множители Лагранаа,

стоящие в

R

при функциях

, оаш ограничены (иенаве ига

равны нуда), как етого требует теорема Нуяа-Тавкера.

Причем,

не

обязательно учитывать see ограничения, вводя

соответствующие слагаемые в функцию Лагранжа. Часть ограни­

ченна

определять множество ¥

допустимых вааченнй век­

тора X

в иродеосе поиска.

 


64

Подюдя ьтог поисковым процедурам определения условного маноимума, отметим, что в общем случав мы при конечном числе

шагов

никогда не когеи быть уверены

найдена

ли

достаточно

малая

окрестность абсолютного максимума

J0

( X ) на

Л .

Кроме

того, поисковые процедура, рассмотренные в

этом

параграф

$9, оущеотвеяно оонованы на гаадкости

функций

J-b

,

_ / < ^ и

Pj

, когда малым отклонениям аргумента соответствуют малые

отклонения функции, и о уменьаением шага

поиска

направления

градиентов функций в соседних точках траектории поиска сбли­ жаются .

Поэтому наряду о методами поиска интересно рассмотреть и

вторую

группу

алгоритмов,

основанных

на

исследовании эадачи

ю всей

допустимой

области

изменения

переменных.

 

 

7.7.

Получение

верхней

оценки решения

 

 

 

Б п.6.5 было

показано,

что максимум функции Jt(X)

на J

не превышает наксимума функции Лагранжа

Р

по

X на

любом

множестве

V Э t)

, какие

бы значения множителей

/ / ,

удсвдет*

воряющие

(6.7),не

были приняты.

 

 

_

 

 

Практически важно так выбирать вектор J

в £

или

вектор^

функцию jj<3.)

в

Q

, чтобы верхняя

оценка

решения была воз­

можно ближе к истинному решению. Один из подходов для рацио­

нального

выбора

 

 

 

 

 

 

Разобьем все составляющие вектора X на две группы

- своОод\

ные

Х0

и

зависимые Хд

так,что

значения

через

уравне­

ния

связей

(7.1)

определяют

Х 3

. Будем считать, что

множе­

ство

Vj

определяется ограничениями (7.15). Если удастся выб­

рать

J

 

или J

(X)

так,

чтобы функция

Лагранжа

 

*

JtCxJ/iW

( 7 . 1 8 )


 

 

 

 

 

 

 

 

 

 

65-

 

 

 

 

 

 

 

 

 

не

зависела

на

 

от Хд, то достаточно найти Хс

из

усдовия

 

максимума

$

 

,

подставить

полученное значение

Хс*

в

урав­

нении связей

и

определить

истинное

решение

(

X*,

Хд •').'•

 

Максимум

R.

 

по

. Ус*

даст

верхнюю

оценку, в точности

совпа­

дающую с

решением. Действительно, функция R. максимальна цо

 

 

и

Xj

 

,

причем от последней составляющей она не зави­

сит. Это

значит,

что

максимальное

значение

Q.

одно

и

то

ке

 

для

многих точек

аножестла

V j

,

в

том

числе

н

для элемен­

тов

его подмножества

Л.

На Л

же максимум

 

R

и

 

совпадают.

Таким образом, оценка в точности совпадает с решением.

 

 

 

Рисунок 7.5,а иллюстрирует приведенные рассуждения. Линия K/V

максимального

значения

R

по

 

 

параллельна

плоскости

J(

.

Решением

J(

* является

точка

пересечения

проекции

ICV на

плос­

кость X

с множеством

Л,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотренный случай является идеальным, можно, однако, на­

деяться получить

хорошую оценку

решения,

если

выбирать jf

или

j)

(X )

так, чтобы на некотором достаточно просто организо­

ванном множестве V, включающем JJ, максимум

Q

по

свободным

 

составляющим

X

возможно меньше зависел от остальных состав­

ляющих. Тогда

абсолютный^максимум

•£

на У не должен

сильно

от­

личаться

от

максимума

 

&

на Л

^-5" ,30^}.

 

 

 

 

 

 

 

 

7.8.

Конкретизируем

последнее

предположение,

дав оценку

 

 

 

 

 

 

решения снизу.

 

 

 

 

 

 

 

 

 

 

 

 

Нижней

оценкой решения может служить "вообще говоря~

значе­

ние

функции

J-0

для

любого

допустимого

значения

аргумента.

И если априорк

известно,

что

некоторое допустимое

значение

 

недалеко от оптимального, то этот способ получения оценки

 

вполне приемлем.