Научная статья на тему 'Метод нелокального улучшения в полиномиальных задачах оптимального управления с терминальными ограничениями'

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

CC BY
180
43
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ЗАДАЧА ОПТИМАЛЬНОГО УПРАВЛЕНИЯ / ТЕРМИНАЛЬНЫЕ ОГРАНИЧЕНИЯ / НЕЛОКАЛЬНОЕ УЛУЧШЕНИЕ / OPTIMAL CONTROL PROBLEM / TERMINAL CONSTRAINTS / NON-LOCAL IMPROVEMENT

Аннотация научной статьи по математике, автор научной работы — Булдаев Александр Сергеевич, Трунин Дмитрий Олегович

Разработан новый подход к решению полиномиальных по состоянию задач оптимального управления с терминальными ограничениями. Предлагаемый метод обеспечивает нелокальное улучшение управления с выполнением всех терминальных ограничений на каждой итерации, не использует процедуру слабого или игольчатого варьирования управления и имеет возможность строго улучшать неоптимальные управления, удовлетворяющие принципу максимума. Работа выполнена при финансовой поддержке РФФИ (проекты 0701-90101, 08-01-00945).

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

Method of non-local improvement in polynomial optimal control problems with terminal constraints

A new approach is designed to solve polynomial in state optimal control problems with terminal constraints. The proposed method provides the non-local control improvement with all terminal constraints satisfied on each iteration without needle or weak variation and has an opportunity to improve extreme controls.

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

УДК 517.977 ББК 22.193

МЕТОД НЕЛОКАЛЬНОГО УЛУЧШЕНИЯ В ПОЛИНОМИАЛЬНЫХ ЗАДАЧАХ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ С ТЕРМИНАЛЬНЫМИ ОГРАНИЧЕНИЯМИ1

Булдаев А. С.2, Трунин Д. О.3

(Бурятский государственный университет, Улан-Удэ)

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

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

1. Введение

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

1 Работа выполнена при финансовой поддержке РФФИ (проекты 0701-90101, 08-01-00945).

2 Александр Сергеевич Булдаев, доктор физико-математических наук, профессор (buldaev@mail.ru).

3 Дмитрий Олегович Трунин, ассистент (hint@rambler.ru).

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

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

2. Постановка задачи

Рассматривается специальная полиномиальная по состоянию и линейная по управлению задача оптимального управления с одним терминальным ограничением:

(1) x = A( x, t)u + b(x, t), x(t0) = x0, u = u(t) e U, t e T = [t0, t1 ],

(2) F(u) = {c, x(t1)) ® min,

(3) xi(ti) = xi1,

в которой x = (x1(t), x2(t), ..., xn(t)) - вектор состояния; u = (u1(t), u2(t), ..., um(t)) - вектор управления; интервал T фиксирован, x0 e Rn, x11 e R, c = (c1, c2, ..., cn) заданы, причем c1 = 0. Матричная функция A(x, t) и вектор-функция b(x, t) предполагаются полиномиальными по x степени l > 1 и непрерывными по t на множестве Rn х T.

В качестве доступных управлений рассматривается множество V кусочно-непрерывных функций со значениями в выпуклом компактном множестве U с Rm:

V = {u e PCm(T): u(t) eU, t e T j .

Для каждого доступного управления v e V обозначим решение задачи Коши (1) при u = v(t) через x(t, v), t e T.

Определим множество допустимых управлений

W = {u e V: x1(t1,u) = x11 j.

Общая полиномиальная по состоянию и линейная по управлению задача оптимального управления с функциональными ограничениями-равенствами, в которой функционалы, задающие цель и ограничения, имеют соответственно вид Fo(u) ® min, Fi(u) = 0, i = 1,...,5, 5 > 1, фг (u) = j (x(O) + JT (di (x,t) + (gi (x,t),u))dt, i = 0,...,5,

сводится к задаче вида (1)-(3) с возможным увеличением размерности вектора состояния и степени полиномиальности.

Предполагается, что функции (p(x), i = 0, ., 5 являются многочленами степени l1 > 1 на Rn, функции di(x, t), gi(x, t),

i = 0, ., 5, полиномиальны по x степени l1 > 1 и непрерывны по t на Rn х T.

Для задачи (1)-(3) функция Понтрягина с сопряженной переменной p e R имеет вид

H(p,x,u,t) = H0(p,x,t) + (H1(p,x,t),u),

где H0(p,x,t) = (p, b(x,t)), H1(p,x,t) = A(x,t)Tp .

Рассмотрим нормальный функционал Лагранжа с множителем X e R:

L(u, l) = (c, x(t^) +x^) - x11) .

В соответствии с [1, 2] для приращения функционала Лагранжа

DvL(u,1) = L(v,1) - L(u, l) на паре доступных управлений u0, v имеет место формула (4) DvL(u0,1) = -J^H1(p(t,u0,v,1),x(t,v),t), v(t)-u0(t^dt.

Здесь p(t, u0, v, X), t e T - решение модифицированной сопряженной системы

<5> Р = -М -!(н„:)х - ...-!(...«Нх,*1,*1 ,

(6) рДО = -,

(7) Р (О = -с,-, * = 2, п ,

в которой частные производные по х подсчитываются при значениях аргументов х = х(г, и0), и = и°(0, : = х(г, V) - х(г, и0).

Отметим, что при I = 1 модифицированная сопряженная система совпадает со стандартной сопряженной системой и имеет вид

Р = ~Нх (Р, х, и, t).

Пусть ^, V, А), t е Т - решение стандартной сопряженной системы с начальными условиями (6), (7) при х = х(г, V), и = v(t>. Очевидно, что выполняется равенство

р(^ V, V, 1) = у, V, 1), t е Т.

Для управления и0 е К и параметра а > 0 образуем аналогично [2, 6] вектор-функцию

иа (р, х, t> = Ри (и> + аН1(р, х, t>), р е Яп, х е Яп ,

где Ри - оператор проектирования на множество и в евклидовой норме.

Функция иа(р, х, 0 непрерывна по совокупности (р, х) на Яп х Яп и кусочно-непрерывна по t е Т, причем имеет место оценка [2, 6]:

(8) (нДр, х, 0, иа(р, х, 0 - и°(0) > —||иа(р, х, 0 - и °(0|| .

' 'а11 11

Регулярный принцип максимума для допустимого управления и0 при некотором А е Я с помощью отображения иа представляется в форме

(9) и°(0 = иа (у(^и0,1>,х(^и0>,t), t е Т, а> 0.

Для выполнения регулярного принципа максимума достаточно проверить условие (9) хотя бы для одного а > 0.

3. Метод нелокального улучшения

Поставим задачу улучшения управления и0 е Ж: найти управление V е Ж со свойством Ф^> < Ф(и0).

Метод нелокального улучшения.

1. Для заданного а > 0 найдем решение (х^>, р(0), t е Т краевой задачи

х = А(х,{>иа(р,х, t> + Ь(х, t>, t е Т , х(^> = х0, x1(t1> = х1,

(10) р = - нх - нх. *)х-■..-¿(-« нх, ^х ■ :)х • *)х ■

р (t1> = -с!, * = 2, п, где частные производные по х подсчитываются при значениях аргументов х = х(^ и0), и = u0(t>, и : = x(t> - х(^ и0).

2. Сформируем управление v(t > = иа( р(0, x(t>, t >, t е Т.

Предположим, что решение (х(0, р(t>>, t е Т краевой задачи

(10) (возможно, не единственное) существует на Т. Понятно, что х(0 = х(^ V), t е Т и V е Ж.

Докажем свойство улучшения для выходных управлений. Действительно, решение р^>, t е Т является решением системы дифференциальных уравнений (5) при х = х(^ и0), и = и°(0, : = х(^ V) - x(t, и0) и удовлетворяет краевому условию (7). Обозначим 1 = -р1 (^ >, тогда р(t> = р(t, и0, V, 1 >, t е Т.

Из формулы приращения (4) и соотношения (8) следует, что выходное управление V обеспечивает невозрастание функционала Лагранжа с оценкой

Ь^, 1) - Ци0,1) <- — [ ^> - и»Г Л.

аТ11 11

Следовательно, в силу допустимости управлений и0, V, получаем

(11) Ф^> - Ф(и 0> < - - Г ||v(t > - и °(0||2 Л.

аТ

Рассмотрим множество управлений на выходе процедуры улучшения:

Ж (и0) = {V е Ж: v(t > = иа( р^, и0, v,Л>, х^, V >, t >, t е Т}.

Это множество характеризуется поточечным соотношением в пространстве управлений

v(t> = иа (р^,и0,vД>,х^,V),t>, t е Т .

Очевидным следствием этого соотношения является следующее утверждение.

Лемма. Управление и е Ж(и > тогда и только тогда, когда управление и0 е Ж удовлетворяет регулярному принципу максимума (9).

Таким образом, краевая задача улучшения (10) для управления и е Ж, удовлетворяющего регулярному принципу максимума, имеет хотя бы одно решение

х^> = х(^ и0), у(0 = у^, и0,Л>, t е Т, где 1 = -у1^1) .

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

ПМ. Если допустимое управление и оптимально, то в регулярном случае и0 е Ж(и0).

В терминах решения краевой задачи (10) данное утверждение можно переформулировать следующим образом.

ПМ. Если допустимое управление и0 оптимально, то в регулярном случае пара (х(, и0), и0, 1 >>, t е Т является решени-

ем краевой задачи (10).

Следствие 1. Если и е Ж не удовлетворяет регулярному принципу максимума и краевая задача (10) имеет решение, то выходное управление V е Ж(и0) строго улучшает и0 с оценкой (11>. 0

Следствие 2. Если и е Ж удовлетворяет регулярному принципу максимума, то в случае неединственности решения краевой задачи (10) выходное управление V е Ж(и0), V Ф и0 строго улучшает и0 с оценкой (11).

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

Условие А. Если допустимое управление и оптимально, то в регулярном случае

Ж(и0)={и0}.

В терминах решения краевой задачи (10) условие А формулируется следующим образом.

Условие А. Если допустимое управление и0 оптимально, то в регулярном случае пара (х(, и0), у^, и0, 1 >>, t е Т является единственным решением краевой задачи (10).

Очевидно, что регулярный принцип максимума является следствием условия А.

Выделим свойства краевой задачи (10), упрощающие ее по сравнению с краевой задачей принципа максимума.

1. В задаче (10) уравнения для сопряженных переменных являются полиномиальными степени (I - 1) по х и линейными по р.

2. В задаче (10) правые части для фазовых переменных являются непрерывными по совокупности аргументов (р, х)

пп

на Я х Я .

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

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

В случае, когда краевая задача улучшения не имеет решения, рассматриваемая процедура не действует и следует перейти к другим методам улучшения.

4. Вычислительные аспекты

Для решения краевой задачи (10) может быть применен подход возмущений, разработанный в [1].

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

Проиллюстрируем этот метод для квадратичной (I = 2) по состоянию задачи (1)-(3).

Соответствующая краевая задача улучшения имеет вид х = А(х,{>иа(р,х, t> + Ь(х, t>, t е Т , х(^> = х0, x1(t1> = х1,

(12) р = -Нх (р, x(t, и0), и 0(t >, t > -

- 2 Нхх (р, х^, и 0>, и 0(t >, t > (х - х^, и 0>) ,

р (tl> =-С! , * = 2, п .

Введем возмущенную краевую задачу с параметром е е [0, 1]: х = А(х,^иа(р,х, t> + Ь(х, t>, t е Т ,

x(to> = х0, Xl(tl> = х1,

(13) р = - Нх (р, x(t, и0), и 0(t >, t > -

- ^ Нхх (р, x(t, и0), и0 (t>, t > (х - x(t, и 0>),

р (t1> = -Сг, * = 2, п .

Исходная краевая задача (12) соответствует значению параметра возмущения е = 1. При е = 0 задача называется невозмущенной и имеет вид

х = А(х,{>иа(р,х, t> + Ь(х, t>, t е Т

х(^> = х0, Xl(tl> = х1,

(14) р = ~НХ (р, x(t, и 0>, и 0(t>, 0,

рг (0 = Сг, * = 2, п .

При этом сопряженная система совпадает со стандартной сопряженной системой.

Решение невозмущенной задачи (14) сводится к решению алгебраического уравнения с одним неизвестным.

Действительно, для параметра а е Я обозначим через р“(г, а), t е Т, решение задачи Коши

р = ~Нх (р, х^, и0), и0 ^>, t>,

А(0 = а , р, (tl> = -с, , г = 2, п .

Рассмотрим задачу Коши с непрерывной правой частью: х = А(х, t>uа(ра^,а), х,0 + Ь(х, t>, t е Т , х(^>=х0.

Пусть ха(^ а), ( т Т - решение этой системы. Пара (ха( а), ра(^ а>>, t е Т является решением невозмущенной краевой задачи (14) тогда и только тогда, когда выполняется условие

(15) ха (^, а) = х1 .

Таким образом, невозмущенная краевая задача сводится к алгебраическому уравнению (15) относительно параметра а е Я. Представим уравнение (15) в операторной форме:

Оа(а > = 0.

Для решения данного уравнения можно применить метод локализации корней с последующим применением метода бисекции [5]. При условии обоснования непрерывности оператора Оа на интервале локализации, метод бисекции обеспечивает глобальную сходимость к решению.

Для решения возмущенной краевой задачи (13) при е е (0, 1] аналогично [1] можно применить следующий итерационный процесс с индексом к > 0:

хк+1 = А(хк+1, t>иа(рк+1,хк+1, t> + Ь(хк+1, t>, t е Т,

хк+1(to> = х0, хк+1(tl> = х1,

(16) рк+ =-Нх (рк+1, х^ и0), и 0(t>, 0 -

-1 Нхх (рк ^ >, x(t, и0), и0 (0,0 (хк (t > - х^, и0 > ) ,

ркг +1(t1> = -Сг, * = 2, П .

В качестве начального приближения (х°(0, р°(0), t е Т, при к = 0 можно выбрать решение невозмущенной задачи (14).

На каждой итерации процесса (16) решается задача, по трудоемкости аналогичная невозмущенной (14).

Условия сходимости итерационного процесса (16) при фиксированном значении параметра е е [0, 1] к решению возмущенной краевой задачи при достаточно малых а > 0 обосновываются аналогично [1].

Расчет возмущенных задач начинается с расчета исходной краевой задачи, соответствующей значению параметра возмущения е = 1. Если соответствующий итерационный процесс (16) не сходится, то уменьшают значение параметра е до значения, обеспечивающего сходимость алгоритма (16) при достаточно малых а > 0. Далее полученное решение возмущенной задачи принимается в качестве начального приближения алгоритма (16) и значение параметра возмущения е увеличивают. Такими действиями можно улучшить практическую сходимость алгоритма возмущений при выборе достаточно малых а > 0.

На практике итерационный процесс возмущений (16) продолжается до первого улучшения целевого функционала Ф(ик > <Ф(и0), ик (0 = иа( рк (0, хк (0,0, t еТ , к > 0.

Далее расчет повторяется для краевой задачи улучшения нового управления.

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

5. Примеры

Пример 1. Улучшение управления, удовлетворяющего принципу максимума.

Рассмотрим задачу оптимального управления

x = u, x2 =— Xj2, |u(t)| < 1, t е T = [0, p],

1

2

x,(0) = 0, x2(0) = 0,

Ф(u) = x2(p) ® min, xj(p) = 0.

В данном случае

H = Piu - 2P2xi2, H0 = - 2P2xi2, Hi = Pj.

Поставим задачу улучшения допустимого управления u0(t) = 0, которому соответствуют фазовые траектории x,(t, u0) = 0, x2(t, u0) = 0, t е T и значение целевого функционала Ф(^) = 0. Тогда отображение ua с параметром а > 0 принимает вид

1, ар, > 1,

ua(p,x,t) = i-1, ар, <-1,

ap,, -1 < ap1 < 1.

Положим значение параметра проектирования а = 1 и применим процедуру нелокального улучшения. Соответствующая краевая задача улучшения, имеющая вид

x1 = ua(p, x, t), x2 =-2 x12, x1(0) = 0, x2(0) = 0, x1(p) = 0,

p1 = p2 X1, p 2 = 0, p2(p) =-1,

сводится к краевой задаче меньшей размерности:

x1 = ua( p, x, t), x1(0) = 0, x1(p) = 0,

p1 = -x1.

Отметим, что пара (p1(t) = 0, x1(t) = x1(t, u0) = 0) является решением краевой задачи. Таким образом, допустимое управление u0 удовлетворяет регулярному принципу максимума с множителем Лагранжа l = 0. При этом управление u0 является особым.

Покажем, что существует решение краевой задачи улучшения, отличное от указанного. Подберем решение, соответствующее условию |p1(t)| < 1, t е T.

В этом случае краевая задача улучшения принимает вид X = P1, X1(0) = 0, x(p) = О,

p1 = -X1 ■

Очевидно, что данная краевая задача имеет решения вида x1 (t) = C sin t, p1 (t) = C cos t, t є T, где C - произвольная постоянная, |C| < 1.

Таким образом, например, допустимое управление v(t) = cos t с соответствующими фазовыми траекториями

x1(t, v) = sin t, x2(t, v) = 1 (sin 2t - 2t), t є T, строго улучшает

S

исходное особое управление u0: Ф^) = - Р< Ф(u0) = 0.

Пример 2. Рассматривается линейная по состоянию задача оптимизации рекламной стратегии фирмы [7] :

X = au(1 - x) - bx, x(0) = x0, u(t) є [o, u+], t є T = [0, t1],

JT e~rt (cx - u )dt ® max,

x(t1 ) = x1.

Здесь x = x(t) - количество произведенного товара (объем выпуска); a, b, c, r, x1 - постоянные параметры. Управление u(t) є [0, u+], t є T определяет расходы фирмы на рекламу товара.

Ставится задача максимизации суммарной прибыли фирмы за период времени T с учетом расходов на рекламу.

Для удобства задача преобразовывалась к терминальной форме

XI = au (1 - x1) - bx1, X2 = e~rt (u - cx1), t є[0, t1 ], x1(0) = x0, x2(0) = 0, u(t) є[0, u+] ,

Ф0^ ) = x2 (t1 ) ® min ,

Ф1(u ) = x1(t1) - x1 = 0 .

Расчеты проводились при следующих значениях параметров задачи:

62

а = 2, Ь = 0,5, с = 2, г = 1, х0 = 0,75, х1 = 0,75, ы+ = 1, ?! = 1.

Для решения задачи применялись разработанный метод нелокального улучшения (МНУ) и известный метод штрафов, состоящий в решении последовательности квадратичных по состоянию задач без ограничений с квадратичным по состоянию целевым функционалом

Ф(и) = Фо(н) + /Ф12(и),

где у> 0 - параметр штрафа.

Для расчета вспомогательных задач без ограничений в методе штрафов применялись следующие алгоритмы:

1) метод условного градиента (МУГ) [3] с параметрическим поиском улучшающего управления по правилу золотого сечения;

2) метод игольчатой линеаризации (МИЛ) [6], в котором параметрический поиск улучшающего управления производится методом золотого сечения.

В качестве начального приближения во всех методах выбиралось и°(0 = 1.

Численное решение фазовых и сопряженных задач Коши производилось методом Рунге-Кутта переменного (5-6) порядка и шага. Абсолютная погрешность численного интегрирования задач Коши задавалась равной 10-10. Значения вычисленных управляющих, фазовых и сопряженных переменных в процессе расчета запоминались в узлах заданной равномерной сетки с шагом й дискретизации, равным 0,001, на интервале Т = [0, 1]. В промежутках между соседними узлами сетки значение управления принималось постоянным и равным значению в левом узле.

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

Метод возмущений для решения краевой задачи улучшения в МНУ применялся до первого улучшения управления. Для

решения вспомогательного алгебраического уравнения в методе возмущений применялся алгоритм бисекции с точностью 10-6.

Практическим критерием остановки расчета задачи во всех методах являлось условие

|ф(ик+1) -Ф(ик)| <М Ф(ик)|,

где к > 0 - номер итерации, М = 10-6.

Эффективность методов оценивалась суммарным количеством расчетных фазовых и сопряженных задач Коши. Сравнительные качественные и количественные результаты расчетов представлены в таблице 1.

В таблице 1 введены следующие обозначения: Ф0 - расчетное значение целевого функционала задачи; Ф1 - расчетное значение модуля терминального функционала; N - суммарное количество фазовых и сопряженных задач Коши. В примечании указано значение параметра штрафа у (для МИЛ и МУГ) и проекционного параметра а (для МНУ).

Расчетное управление во всех методах с точностью до десятых долей единицы времени является кусочно-постоянным с точкой переключения в момент ? = 0,5 с минимального значения на максимальное.

Таблица 1

Метод ^ * Фо ^ * Фі N Примечание

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

МУГ -0,5883189 7,9371х10"5 3639 100

МИЛ -0,5885496 4,3197х10"5 1218 100

МНУ -0,5882504 1,6391 х 10-5 64 10

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

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

[4] (без запаздывания):

Х = hlx1 - h2x1x2 - ux1, x2 = h4 (x3 - x2) - h8 x1x2, x3 = h3 x1 x2 - h5 (x3 -1), x4 = h6 x1 - h x4 ,

x1 (0) = xj > 0, x2(0) = 1, x3(0) = 1, x4(0) = 0, t e T = [0, t1], F0 (u) = x1 (t1) ® min,

JT x4 (t)dt - m = 0, m > 0 .

Переменная x1 = x1(t) характеризует инфекционное начало (вирус), переменные x2 = x2(t), x3 = x3(t) - защитные силы организма (антитела, плазмоклетки), x4 = x4(t) - степень поражения организма, h > 0, i = 1, ..., 8 - постоянные коэффициенты. Управление u(t) e [0, u ], t e T = [0, t1] характеризует интенсивность введения иммуноглобулинов, нейтрализующих вирус.

Начальные условия имитируют ситуацию заражения организма малой начальной дозой вирусов x10 в начальный момент времени t0 = 0. Управление u(t) = 0 соответствует отсутствию управляющего воздействия.

Значения коэффициентов для имитации острого вирусного заболевания взяты из работы [4] и имеют следующие значения h1 = 2, h2 = 0,8, h3 = 104, h4 = 0,17, h5 = 0,5, h6 = 10, h7 = 0,12, h8 = 8, m = 0,1 Начальная доза заражения x10 моделировалась значением 10-6.

При данном наборе параметров единица времени соответствует одним суткам. Максимальная интенсивность введения иммуноглобулинов моделировалась значением u = 0,5. Временной интервал T выбирался равным 20 суткам: t1 = 20.

Ставится задача с помощью введения иммуноглобулинов добиться минимальной концентрации вирусов к концу курса

лечения на заданном интервале времени при ограничении суммарной нагрузки поражения организма.

Интегральное условие введением дополнительной переменной по правилу

Х5 = х4, х5(0) = 0 сводилось к терминальному условию

Ф1(и) = х5(^) - т = 0 .

Для решения поставленной задачи применялись методы МУГ, МИЛ и МНУ, которые использовались для расчета задачи в предыдущем примере.

В качестве начального приближения во всех методах выбиралось и(0 = 0.

Абсолютная точность решения фазовых и сопряженных задач Коши методом Рунге-Кутта переменного (5-6) порядка и шага задавалась равной 10-10. Шаг равномерной сетки, в узлах которой запоминались значения вычисленных управляющих, фазовых и сопряженных переменных в процессе расчета выбирался равным 0,001.

Точность решения вспомогательной задачи параметрического поиска улучшающего управления в методах МИЛ и МУГ с помощью процедуры золотого сечения и точность решения вспомогательного алгебраического уравнения в методе возмущений для решения краевой задачи улучшения метода МНУ

принимались равными 10-5 .

Отметим, что применение известного метода стрельбы [5] для решения краевой задачи улучшения в методе МНУ приводило к вычислительной неустойчивости расчета, обусловленной различием характерных времен изменения переменных в модели на два порядка и достаточно большим интервалом времени Т.

Практическим критерием остановки расчета задачи во всех методах выбиралось условие

|ф(ик+1) - Ф(ик)| < М|ф(ик)|, Ф(и) = Ф0 (и) + уф12 (и), где к > 0 - номер итерации, М = 10-5.

Трудоемкость методов оценивалась количеством затраченных расчетных задач Коши. Сравнительные качественные и количественные результаты расчетов представлены в таблице 2, где Ф0 - расчетное значение целевого функционала задачи; Ф1 - расчетное значение терминального функционала; N -суммарное количество задач Коши. В примечании указывается значение параметра штрафа у (для МИЛ и МУГ) и проекционного параметра а (для МНУ).

Таблица 2

Метод Ф0 ^ * Ф1 N Примечание

МУГ 2,686698х10"19 1,85486х10-5 464 Ю-10

МИЛ 1,142279 х10'2° 5,84472х10-5 167 Ю-10

МНУ 1,172261 х 10-20 1,53479х10-5 88 1000

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

Расчетное управление с точностью до суток во всех методах является кусочно-постоянной функцией с точкой переключения с максимального значения на минимальное в момент ^ = 5 и обратного переключения в момент ^ = 14.

Сравнительные результаты расчетов показывают, что в рамках модельной задачи управления иммунным процессом построенный метод позволяет достигнуть заметного снижения трудоемкости решения по сравнению с известными локальными методами улучшения МИЛ и МУГ.

6. Заключение

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

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

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

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

2. Нелокальность улучшения управления.

3. Отсутствие трудоемкой операции слабого или игольчатого варьирования при поиске улучшающего управления.

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

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

Литература

1. БУЛДАЕВ А. С. Нелокальное улучшение управляемых

процессов методом возмущений. - Сер.: Оптимизация и управление. - Вып. 10. - Иркутск: Изд-во ИГУ, 2004. - 52 с.

2. БУЛДАЕВ А. С. Проекционные процедуры нелокального

улучшения линейно управляемых процессов // Известия ву-

зов. Математика. - 2004. - №1. - С. 18-24.

3. ВАСИЛЬЕВ О. В. Лекции по методам оптимизации. -Иркутск: Изд-во ИГУ, 1994. - 340 с.

4. МАРЧУК Г. И. Математические модели в иммунологии. Вычислительные методы и алгоритмы. - М.: Наука, 1991.

- 304 с.

5. САМАРСКИЙ А. А., ГУЛИН А. В. Численные методы. -М.: Наука, 1989. - 432 с.

6. СРОЧКО В. А. Итерационные методы решения задач оптимального управления. - М.: Физматлит, 2000. - 160 с.

7. SETHI S. P., THOMSON G. L. Optimal control theory. Applications to management science. - USA, Boston, 1981. -370 p.

METHOD OF NON-LOCAL IMPROVEMENT IN POLYNOMIAL OPTIMAL CONTROL PROBLEMS WITH TERMINAL CONSTRAINTS

Alexander Buldaev, Buryat State University, Ulan-Ude, Doctor of Science, professor (buldaev@mail.ru).

Dmitry Trunin, Buryat State University, Ulan-Ude, assistant (hint@rambler.ru).

Abstract: A new approach is designed to solve polynomial in state optimal control problems with terminal constraints. The proposed method provides the non-local control improvement with all terminal constraints satisfied on each iteration without needle or weak variation and has an opportunity to improve extreme controls.

Keywords: optimal control problem, terminal constraints, nonlocal improvement.

Статья представлена к публикации членом редакционной коллегии С.Н.Васильевым

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