Научная статья на тему 'Задача математического программирования для комплекса математических моделей'

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

CC BY
81
25
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
РАСПРЕДЕЛЕННАЯ ЗАДАЧА МАТЕМАТИЧЕСКОГО ПРОГРАММИРОВАНИЯ / ФУНКЦИИ ОБРАТНЫХ СВЯЗЕЙ / ЗАДАЧА ОПТИМАЛЬНОГО РАСПРЕДЕЛЕНИЯ РЕСУРСОВ

Аннотация научной статьи по математике, автор научной работы — Умнов Е.А., Умнов А.Е.

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

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

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

УДК 519.855

Е. А. Умное, А.Е. Умное

Московский физико-технический институт (государственный университет)

Задача математического программирования для комплекса математических моделей

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

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

Е. A. Umnov, А.Е. Umnov Moscow Institute of Physics and Technology (State University)

Mathematical programming problem for a complex of mathematical models

In this paper the feedback functions method is concidered. This method is used for solving the mathematical programming problems. The first-order method is used for solving parametric linkage problem. A numerical example of the procedure is given.

Key words: system of mathematical programming problems, feedback functions, problem of optimal distribution of resources.

Введение

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

Конкретным примером задачи этого типа может служить, например, задача оптимизации распределения ресурсов между различными отраслями экономики или же отраслевыми подсистемами. В последнем случае математическая модель каждой подсистемы рассматривается (с точки зрения управляющего субъекта, например, ЛПР - лица, принимающего решения) как некий «черный ящик», входными параметрами для которого являются объемы инвестируемых в подсистему ресурсов, а выходными служат количественные показатели эффективности функционирования данной подсистемы.

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

© Умнов Е. А., Умнов А. Е., 2017

(с) Федеральное государственное автономное образовательное учреждение высшего образования «Московский физико-технический институт (государственный университет)», 2017

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

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

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

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

Формальная постановка рассматриваемой задачи для блока с номером (У в = [1,Ж]) является задачей математического программирования следующего вида1:

максимизировать по Ж(£ ЕпМ функцию Е(Ж(и) (1)

при условиях /(ф и) ^ 0 Уг = [1,Ш(8)] , каждая из которых решается независимо в пространстве ЕП(е) при фиксированном векторе параметров и £ Ек, имеющего координатное представление ||и|| = || и\, У2, ..., ^к ||т. Допустим, что задачи (1) имеют решение вида х*3)(и^3)).

Рассмотрим также задачу:

к

максимизировать по и £ Е ^функцию ^ ^ ^ (х*3)(и),и) (2)

8=1

при условиях У^и) ^ 0 = [1, М] . Предположим, что допустимое множество задачи (2) содержится в О.

Далее для краткости задачи (1) будем называть задачами нижнего уровня, а задачу (2) именовать задачей верхнего уровня.

Основные затруднения, возникающие при использовании подобной двухуровневой модели, представляет задача (2), поскольку в формулировку ее условия входят зависимости х*3)(и), обладающие следующими специфическими свойствами.

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

2. Возможным несовпадением области определения зависимости х*з) (и) и множества О, поскольку система условий задачи нижнего уровня может оказаться противоречивой для некоторых и £ О.

3. Возможной нефункциональностью (неоднозначностью) зависимости х*3)(и) для тех и, при которых задача нижнего уровня имеет решение, но не единственное.

4. Негладкостью зависимости х*(и) в силу того, что условия задач нижнего уровня могут содержать ограничения типа «неравенство». Более того, даже существова-

1 Здесь и далее нижний индекс, заключенный в круглые скобки, служит номером элемента какого-то множества (например, числовой или векторной последовательности). Нижний же индекс без скобок является номером компоненты вектора или матрицы.

ние непрерывных производных у функций Е(х, и) ж /г(х, и) Уг = [1, т] достаточно высокого порядка не гарантирует гладкости (а иногда даже и непрерывности) зависимости х*(и), а значит, и входящих в формулировку задачи верхнего уровня условий.

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

Метод функций обратных связей

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

Пусть х £ Еп, Л £ Ет, а их координатные представления соответственно равны !М1 = II £1 £2 ... <Ы|Т) ||Л|| = || Х1 Х2 ... Ат||т. Тогда исходная задача линейного программирования будет иметь вид

п

максимизировать по {£1 ,£2,... ^(х) = азпри условиях: ^ ^ 0 У] = [1,п] и

3 = 1

п

Ь(х) = -(Зг + ^агз& < 0 У = [1,т]. (3)

3 = 1

Эту задачу будем именовать прямой задачей и обозначать ее решение как х*. Задача двойственная к прямой будет

т

минимизировать по {А1, Х2,..., Хт} С(Л) = ^ /ЗгХг при условиях: XI ^ 0 Уг = [1, т] и

г=1

т

д3(Л) = -а, + аИХг > 0 V j = [1,п]. (4)

г=1

Ее решение будем обозначать Л*.

Введем функцию Р(т, s) такую, что:

1°. функция Р(т, s) имеет Vt > 0 и V s непрерывные производные по всем своим аргументам до второго порядка включительно.

2°. Для всех т > 0 и Vs выполнены неравенства

дР д 2 Р

ж>0; 1? >0. (5)

3°. Р(т, s) > 0 Vs и любого т > 0, причем

1- -г-)/ ч Г S > 0 ,

lim Р(т, s) = <

Тv ' ' \ 0, s < 0.

Определим также функции Q(t, s) и R(t, s) такие, что Q(t, s) есть обратная по s к строго

дР(т, s) , Л дК(т, s) . .

монотонной по s функции -, а для функции R(т, s) верно -= Q(t, s) .

ds " ds

Тогда для пары взаимодвойственных задач (3) и (4) можно определить вспомогательную функцию:

п m п m

и(Т, X, Л) = £ (а^ - R(Т, )) + ^ (рг\г + R(T, Хг)) - ^ ^ аг^Хг, (6)

3 = 1 i=1 3 = 1 i=1

обладающую, как будет показано ниже, стационарной точкой на паре векторов х(т, и) € Ег' и Л(т, и) € Ет, являющихся решениями системы уравнений

-А + £ = Q(t, \г) Vi = [1, т],

3=1 (7)

т ___ х '

-о3 + £ ®-г3\г = - Q(t, i j) Vj = [1, n].

г=1

Кроме того, для метода функций обратных связей частные решения пары взимодвой-ственных задач (3) и (4) находятся по формулам

£* = lim l3(r) Vj = [1,п], (8)

А* = lim Лг(г) Vi = [1,ш].

Докажем это, использовав установленный в [3] факт строгой выпуклости U(т,х, Л) вверх по х и строгой выпуклости вниз по Л.

Л

тами будет существовать единственный конечный вектор ж(Л) с положительными компонентами, такой что условие gradxU (т, ж(Л), Л) = о, имеющее в силу (6) вид

=

Q(r, Ь (Л)) - а, + Y, аг3\г = 0 Vj = [1, П] , (9)

=1

означает (с учетом строгой выпуклости функции U(т,х, Л) вверх по ж), что ж (Л) = argmax U (т,х, Л).

X

Действительно, согласно определению функции Q(t, s), условия (9) равносильны равенствам

дР. ,

dj(Л) = —{т, -д3 (Л)) Vj = [1,п] , VЛ >0,

правые части которых существуют и определены однозначно.

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

п

Q(t, Аг(ж)) + Рг - ^ = 0 Vi = [1, m] (10)

3 = 1

и что Л (ж) = argmin U (т, х, Л) в силу строгой выпуклости U (т, х, Л) вниз по Л. л

Теперь найдем минимум U(т, ж(Л), Л) по Л. Из (6) мы имеем

п т п т

и(Т, ж(Л), Л) = £ [а3£3(Л) - R(T, £3(Л))) + £ + R(r, Хг)) - ^ ^ аг&(Л)Лг. (11) =1 =1 =1 =1

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

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

dU

— (т,ж(Л), Л) = 0 Vq = [1, m] ,

ОХд

которое после перегруппировки слагаемых и учета (9) принимает вид

(г, х.) - ±-

=1

ß. + Q[T,\q) aq3(3(Л) = 0 Vq = [1,m] , (12)

=1

где вектор с неотрицательными компонентами Л = argmin U (т, ж(Л), Л).

л

Наконец, в силу (9), получаем U (т,ж(Л), Л) = min max U (т,х, Л) = $)Q(r, (Л))-К(т, £3 (Л))

г=1 j=1

(13)

Теперь найдем max min U(т,х, Л). Рассуждая аналогично вышеизложенному, получаем, х л

что достаточное условие максимума U(т,х, Л(х)) по х имеет вид

-q(t, Щ - агк ) =0 Ук = [1, и] , (14)

=1

где вектор с неотрицательными компонентами ж = argmaxU(т,х, Л(х)). При этом, в сих

лу (10), получим

m п ^ ^

U(г, §, Л(§)) = max min U(г, х, Л) = ^ (&Ai(§) + R(t, \г(Щ + ^ (fjQ(г, ) - R(t, )) .

г=1 j=1

^ Л (15)

Покажем теперь, что из условий (10) и (12) следует равенство Л = Л (ж) , а из условий

(9) и (14) вытекает соответственно ж = ж ^ Л^ .Например, формулу ж = ж ^Л^ можно получить так: рассмотрим совместно равенства (9) и (14), заменив в последнем индекс к

m

-Q(T, Cj(Л)) = -<Tj + Еа^Лг У = [1,и],

=1

(г. I)

m

-Q[r, (j) = -<Tj + ЕагзЛг( (j) У = [1,и].

Первая группа этих равенств верна при любых положительных Х^ Уг = [1, т], в том числе

и при (^) Уг = [1, т] . Очевидно, что в этом случае правые части равенств оказываются одинаковыми. Но тогда будут равны и левые, то есть

q(T, Ij(Л)) =q(T,I) Уз = [1,и].

Последнее же равенство означает, что, в силу монотонности по s функции Q(r, s) , верны равенства ^ (Л) = ^ У j = [1, и], то есть ж = ж(Л).

Теперь из сопоставления формул (13) и (15) мы получаем, что

min max U (т, х, Л) = max min U (т, х, Л).

Л х х Л

U( , х, Л)

дифференцируемости этой функции, является для нее стационарной.

U( , х, Л),

gradxU ^т, х, Л J = о, gra^U ( т,х, Л ) = о,

равносильны в своей совокупности системе (7) при х(т) = ж и Л(т) = Л .

Приведем теперь краткий обзор основных свойств метода функций обратных связей, рассмотренных в [3, 4] и существенных для решения задачи распределенного моделирования (1) - (2).

Во-первых, имеет место предельное соотношение

Нш и(т,х, Л) = Р(х, Л),

где Р(х, Л) - стандартная функция Лагранжа для задачи (3).

Во-вторых, для регулярной пары взаимодвойственных задач (3) - (4) выполняются предельные соотношения типа (8):

£* = 1Ш £,(т) Vз = [1,п],

А* = 11ш \Лт) V г = [1, т],

где ^(т) и Аг (т) суть единственные решения системы уравнений (7).

Наконец, в [4] показано, что для нелинейной, локально выпуклой задачи:

максимизировать по ж € Еп гладкую целевую функцию Р(х, и)

при условиях: ^ ^ 0 V] = [1, п], Л(%, и) ^ 0 VI = [1, т], (16)

где функции /г(х,и) VI = [1, ш] достаточно гладкие, система (7) может быть приведена к виду

дР - -

—(х, Л, и) = - Я(т,\г) VI = [1, т] ,

ОЛг

дЬ. _

ч

—(х, Л, и) = Я(т,^) Vэ = [1,п] ,

и где Р(х, Л, и) = Р(х, и) — £ \ifi(x, и) - стандартная функция Лагранжа параметрической

г=1

задачи (16).

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

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

Вначале построим для модели в-й подсистемы в форме (1) вспомогательную ^-функцию:

т(в) т(в) п(в)

U(s)(т,X(s), Л(3),и) = Р(3)(Х(з),и) — ^ \г/(з)г(х{з),и) + ^ К(т,\{з)г) — ^ R(т,£(s)j),

=1 =1 =1

(17)

или

т(з) п(а)

U(s)(т,X(s), Л(3),и) = P(s)(x(s), Л(3),и) + ^ R(т, \(3)г) - ^ ■Ж^фО ,

=1 =1

дР . ,

где, как и раньше, (т,в) = Q(т,s), а Х(3), Л(3),и) - стандартная функция

Лагранжа. Вектор и в этих формулах один и тот же для всех

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

ди.

ди,

дХ,

= 0 У; = [1,п{з = 0 Уг = [1, т,3

(18)

можно рассматривать как определение неявно заданных вектор-функций х,3)(и), Л,3)(и).

С другой стороны, исходя из известной теоремы о системе функций, заданных неявно, в случае достаточной гладкости функций Р(3)(х,3),и) и 3^(х,3),и) Уг = [1, т,3)] в некоторой окрестности точки х,3) и Л,3) будут существовать непрерывные производные вида

дуп

V? = [1,Щ8

д\

(8)%

дип

V = [1,Ш(в)] Ур = [1,К],

-р ^^р значения которых находятся из следующего набора Ур = [1, К] систем линейных уравнений:

' д2и[з) д1(я), тм дЩя) д\(я)„ д2и,:

( )

пм

Е , .

1=1 Щз)]Щз)1 дРр Я=1 д^(8)3дХ(3)д дир

д2и[з) дЪ(Я)± д2и,Я) дх

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

( )

пм

Е

( )

( )

д 2и(з)

г=1 9Х(3)гд£(3)г дУр = дХ,3удХ,3)ч дУр

дХ(ф дУр

У3 = [1,Щз)

Уг = [1, т,3

Перейдем теперь к исследованию задачи верхнего уровня (2). Рассмотрим случай, когда целевая функция в ее постановке есть функция вида

к

Р(и) = ^ Р(8){х(з)(и),и) =1

а система ограничений получается объединением условий

¡(з)г {Х(з),и) < 0 Уг = [1,Ш(в)] У5 = [1,Ж] ,

с условиями У^и) ^ 0 = [1, М] .

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

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

В итоге, заменив в полученной формулировке зависимости х* з)(и) У в = [1,^ ] на их сглаженные аппроксимации Ж(3)(т,и), найденными при решении системы уравнений (18) и соответственно зависимости Л*з)(и) У в = [1, Ж] на аппроксимации Л,3)(т, и), получим V-функцию, для которой стационарная точка будет будет приближенным решением исходной модели. Иными словами, необходимо искать стационарную точку функции

N

и (т,и) = ^2 Щ8)(х( 8) (т, и), Л(8) (т, и), и).

3=1

(19)

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

и

При использовании наиболее простого варианта градиентного метода - поиска стационарной точки - необходимо в каждой пробной точке находить: 1°. Значение функционала и(т,и). 2°. Значения производных и У£ = [1, К].

Значения целевого функционала и (т, и) в процессе решения задачи верхнего уровня находятся по формуле (11). Для вычисления его градиента по компонентам вектора параметров используем правило дифференцирования сложной функции. В результате получим выражение

N

и= £ I +£

Щ.) , ^ Щ.) , ^ Щ.) дь

=1

дщ ^ д^ дщ ^ д\г дщ =1 =1

+ £

У* = [1,К].

(20)

Наконец, следует отметить, что если целевая функция задачи верхнего уровня равна сумме целевых функций задач нижнего уровня (то есть если цели функционирования всего комплекса согласованы с целями отдельных подсистем), то формулы (20) можно упростить, использовав условия стационарности (18). Результат этого упрощения таков:

и ,п = £ Щ,

=1

дщ

У* = [1,К].

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

Тот факт, что задача (2) может иметь содержательное и в достаточной степени неочевидное решение, иллюстрирует следующая модель. Для системы двух задач нижнего уровня: максимизировать по {£1, ^2} € Е2 функцию

4 £ 1 + 4 {2 ,

при условиях 0 ^ £1 ^ 4, 0 ^ £2 ^ 2, 6 + 2 6 < , 2 6 + 6 < ^2

и максимизировать по {^3, £4} € Е2 функцию

4£ 1 + 36 ,

(21)

(22)

при условиях 2 6 + £4 < Ъ , 6 + 2 {4 < щ

0 < £з < 4, 0 < {4 < 2,

решить следующую задачу верхнего уровня: наити неотрицательные значения параметров {ь*1, ^2 , Щ3 , Щ4 }) максимизирующих сумму целевых функций (21) и (22) при условиях:

+ ^2 = 16 , Щз + Щ = 15 .

Пусть {{*(щ1, щ2) £*(щ1, щ2) } и { £*(щ3, щ4) {4(щ3, Щ4) } решения задач (21) и (22), найденные при некоторых допустимых фиксированных значениях параметров. Тогда задача верхнего уровня будет иметь вид

максимизировать по { Щ1, 1*2 , Щ3 , Щ4 } функцию

^ = 4£**(Щ1, щ) + 4£*(Щ1, У2) + 4£з>3, щ) + 3£(ъ, щ),

при условиях Щ1 ^ 0 , Щ2 ^ 0 , ^ 0 , Щ4 ^ 0 , Щ1 +Щ2 = 16, Щ3 + Щ4 = 15 .

Графические представления зависимости целевой функции задачи верхних) уровня от параметров ^ и и-3 показаны на рис. 1 и 2. Само решение задачи (23) является неединственным и имеет вид

22 26

щ* = у - ^ щ*3 = Y + t 1303

С! = у + *, 8 = 2 -1,

У €

21

щ* =9 , щ* = 6

^3 =4 , £ = 1, а^* = 403.

Рис. 1. ЗО-прсдставлснис решения задачи (2)

Продемонстрируем теперь практическое использование описанного метода на примере решения системы задач (21) (23). Для упрощения (уменьшения числа индексов) формы

второй - обозначение г/.

Двойственные переменные обозначим соответственно при помощи А и у. Тогда согласно

и

и{1) (г, и) = 4£ 1 + 46 - (6 + 26 - 1/1) - ^2 (2£ 1 + & + - 16) --А3 (£ 1 - 4) - А4 (6 - 2) - К(т, 6) - К(г, 6) + +К(т, А1) + К(т, Х2) + К(т, Х3) + К(т, А4).

Здесь конкретно мы используем следующий тип функции обратной связи

, ч дК т ( Л «*»> = дк = 2 у - 1)

к( г, ») = 2 у - 1п8

^ - 1П ")

и

Рис. 2. Система изолиний решения задачи (2)

Условия стационарности (19) ^-функции первой подсистемы при фиксированном значении параметра VI:

ди1

дЦ~1

дЦ~1 дМ дЦ~1 д\2 ди1

д\~з

ди1

д\4

4 — \1 — 2X2 — Аз — — ( £1 — у

2 V £1 ,

4 — 2А1 — А2 — А4 — - ( (2 — ^

2 V

- - Т (- 1

— £1 — 2^2 + "1 + 0 —

2 \ Л1

- - Т (- 1

16 — — — »1 + ^2 — =-

4 — £1 2 — &

т - 1

+ 2 (Аз — V

т(- 1

+ 2 ^ — ъ

Аналогично ^-функция для второй подсистемы (22) будет иметь вид

и(2) (г, и) = 4щ + 3т/2 — Ц.1 (2^1 + Г12 — из) — № (Я1 +2Г12 + — 15) — —Ц-3 (Я1 — 4) — (т — 2) — Е(т, щ) — К(т, V2) + +Я(т, /ц) + Я(т, №) + Е(т, №) + Я(т, №).

Условия стационарности (19) и-функции второй подсистемы при фиксированном значении параметра щ:

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

дЩ дщ

дди2

д Г]2 дУ2 д/1 дУ2 д/2 ди2

д/з дУ2 д/4

= 4 - 2/ - /2 -/з - й - =- =

3 -/1 - 2/2 -/4 - 2 \ ]2 - =т

- 2 - ]2 + V3 + ^ | /1 - =

15 -]]г - 2]]2 - Уз + 2 I /2 - =г

4 - ]]Х 2 - ]2

+ 2

/з - =Г

+ 2(^4

1

]1. 1

]2, 1

/1. 1

/2, 1

Рз, 1

/4,

0, 0, 0, 0, 0,

Исходя из упрощенных формул (20) и равенства и(т, щ,из) = 11\(т+ и2(т, из), получаем, что для рассматриваемого комплекса двух подсистем

, ди - _

и»1 = дл = А1 -Х2>

, ди _ _

= т; = Л - /2. д^з

У'З

(24)

Использование в формул (24) позволяет реализовать градиентный метод поиска стационарной точки и-функции в пространстве параметров {щ, из}. Результаты вычислений для нескольких первых итераций из начальной точки Vц0) = 3, ^з(0) = 3 при т = 0.01 приведены в табл. 1-3, в записи которых использованы следующие обозначения:

Ё1 = 4^ + 4& , Ё2 = 4] 1 + 3% , Ё = Ё1 + Ё2,

ди ди

= , ▽"З = ^, "VI =

\

ди

)2 + (^ ,

VI

V У!

"3

V УЗ

II VII

, и1* = и1 + § 1ер ■ , из* = уз + § 1ер ■ •

Vз •

Таблица1

Поиск стационарной точки и-функции задачи (2) по параметрам ^ и и3

градиентным методом

0

Итер. V1 У3 (1 ^2 Ё1 А2 Аз А4

0 з.00 з.00 з.02 0.00 12.07 з.98 0.00 0.00 0.00

1 9.70 6.з7 2.15 2.01 16.6з 0.00 1.99 0.00 2.00

2 6.69 9.з7 з.98 1.з6 21.з4 1.40 1.19 0.21 0.00

3 6.76 8.86 з.91 1.4з 21.з4 1.з5 1.29 0.05 0.00

4 6.76 8.9з з.90 1.4з 21.з4 1.з5 1.29 0.05 0.00

Таблица2

Поиск стационарной точки U-функции задачи (2) по параметрам щи v3

градиентным методом

Итер. ni V2 F 2 ^2 ^3 ^4 F и

0 0.50 2.00 8.01 2.00 0.00 0.00 0.99 20.08 20.16

1 2.19 2.00 14.76 1.99 0.00 0.00 1.00 31.38 31.47

2 4.01 0.81 18.48 0.00 1.49 2.47 0.00 39.82 37.83

3 3.88 1.12 18.88 1.63 0.68 0.04 0.00 40.22 40.21

4 3.93 1.07 18.93 1.61 0.69 0.07 0.00 40.27 40.23

ТаблицаЗ

Поиск стационарной точки U-функции задачи (2) по параметрам щи v3

градиентным методом

Итер. Vn V^3 II V II WV1 WV3 Step ^1* ^3*

0 3.99 2.00 4.46 0.89 0.45 7.50 9.70 6.37

1 -1.99 1.99 2.82 -0.71 0.71 4.25 6.69 9.37

2 0.21 -1.48 1.50 0.14 -0.99 0.50 6.76 8.86

3 0.06 0.95 0.95 0.06 1 . 99 0.05 6.76 8.92

4 **** **** **** **** **** **** **** ****

Графическое представление траектории движения в пространстве параметров для задачи (2) показано белыми стрелками на рис. 2.

Литература

1. Евтушенко Ю.Г. Методы решения экстремальных задач и их применение в системах оптимизации. М.: Наука, 1982.

2. Федоров В.В. Численные методы максимина. М.: Наука, 1979.

3. Умное Е.А., Ум,нов А.Е. Метод параметрической линеаризации, использующий штрафные функции со всюду обратимой производной для решения пар двойственных задач // Труды МФТИ. 2011. Т. 3, № 1(9). С. 146-152.

4. Ум,нов Е.А., Ум,нов А.Е. Параметрический анализ в задачах математического программирования // Труды МФТИ. 2014. Т. 6, № 3(23). С. 73-83.

References

1. Evtushenko Ju.G. Methods of solution of extremal problems and their applications in systems of optimization. M.: Nauka, 1982. (in Russian).

2. Fedorov V.V. Numerical methods of maximin. M.: Nauka, 1979. (in Russian).

3. Umnov E.A., Umnov A.E. Parametric linearization method using penalty functions with everywhere invertable derivation. Proceedings of MIPT. 2011. V. 3, N 1. P. 146-152. (in Russian).

4. Umnov E.A., Umnov A.E. Parametric analysis in mathematical programming problems. Proceedings of MIPT. 2014. V. 6, N 2. P. 73-83. (in Russian).

Поступим в редакцию 17.10.2017

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