Научная статья на тему 'ЗАДАЧА ОПТИМИЗАЦИИ ПРОИЗВОДСТВА ДЛЯ НАЗЕМНЫХ КОСМИЧЕСКИХ КОМПЛЕКСОВ С КРИТЕРИЯМИ В ФОРМЕ КВАНТИЛИ И ИНТЕГРАЛЬНОЙ КВАНТИЛИ'

ЗАДАЧА ОПТИМИЗАЦИИ ПРОИЗВОДСТВА ДЛЯ НАЗЕМНЫХ КОСМИЧЕСКИХ КОМПЛЕКСОВ С КРИТЕРИЯМИ В ФОРМЕ КВАНТИЛИ И ИНТЕГРАЛЬНОЙ КВАНТИЛИ Текст научной статьи по специальности «Математика»

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

Аннотация научной статьи по математике, автор научной работы — Кибзун Андрей Иванович, Чернобовов Алексей Игоревич

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

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

Похожие темы научных работ по математике , автор научной работы — Кибзун Андрей Иванович, Чернобовов Алексей Игоревич

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

Текст научной работы на тему «ЗАДАЧА ОПТИМИЗАЦИИ ПРОИЗВОДСТВА ДЛЯ НАЗЕМНЫХ КОСМИЧЕСКИХ КОМПЛЕКСОВ С КРИТЕРИЯМИ В ФОРМЕ КВАНТИЛИ И ИНТЕГРАЛЬНОЙ КВАНТИЛИ»

Электронный журнал «Труды МАИ». Выпуск № 52

www. ша1. ги^аепсеЛгМу/

УДК 519.2

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

квантили1

Кибзун А.И., Чернобровов А.И.

Аннотация

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

Ключевые слова

стохастическое программирование; квантиль; интегральная квантиль; квазиградиентный алгоритм; стохастическая аппроксимация

Введение

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

Частью наземных космических комплексов являются вспомогательные объекты и технические средства (азотно-кислородные заводы, аэродромы, хранилища компонентов

1 Работа выполнена при поддержке Российского фонда фундаментальных исследований (проекты 11-07-00315-а, № 11-07-90407-Укр_ф_а, 11-07-13102-офи-м-2011-РЖД) и государственного финансирования целевых программ «Научные и научно-педагогические кадры инновационной России» (Мероприятие 1.2.2, Госконтракт № 14.740.11.1128).

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

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

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

Квантильный критерий (VaR или Value-at-Risk) характеризует уровень потерь, который гарантируется с заданной вероятностью. Критерий в форме интегральной квантили (СVaR или Сonditional-Value-at-Risk) характеризует усредненные потери, в неблагоприятных случаях (с вероятностью, которая задана). Существуют также более сложные постановки, которые используют оба этих критерия [5].

1. Основные определения

Пусть Ф(и, X): Ет X Е5 ^ Е 1 непрерывная по совокупности аргументов действительная функция потерь, где X — случайный вектор с реализациями в Е5 и абсолютно непрерывной функцией распределения Рх(х), индуцирующей вероятностную меру ?(•), определенную на борелевских множествах из Е5. В дальнейшем везде предполагается, что Ф (и, X) для всех X Е Е5 определена на выпуклом компакте и с Ет с ненулевой мерой Лебега тезти > 0. Определим функцию вероятности Ру (и) А Р[Х: Ф (и, X) <ф}, <р Е Е1, функцию квантили (VaR) уровня а

(ра(и) А шт{ф: Ру(и) >а], а Е (0,1), (1)

функцию интегральной квантили (СVaR) уровня а

гРа (и) А 1-а £ <рр (и) ар, а е (0,1), (2)

определим также «верхний» СVaR уровня а

гр+ (и) А М[Ф(м,Х)\Ф(и,X) > <ра(и)]. (3)

Приведем теорему, которая показывает между (1), (2), (3). Теорема 1[6]. Если для некоторого и е и выполнено условие \фа (и)| < <х>, то функция тра (и) представима в виде

Фа (и) = Ла(и)фа(и) + (1 - ¿аООЖ (и) (4)

где

¿а (и)

_ Руа(и)(и)~а

1-а

Для оценки квантили и интегральной квантили в данной работе будут использоваться выборочные статистики. Будем считать, что для любого и е и есть возможность получить выборку {Ф(и, XI )}П=1 объёма п функции Ф(и, X). Обозначим через {Ф^и)}^ вариационный ряд выборки, т.е. расположенные в порядке возрастания порядковые статистики

Ф(1)(М) < Ф(2)(^) <■■■< Ф(п)(и)

На основе данного вариационного ряда сконструируем выборочную оценку квантили

[3]:

где

Фа,п(и) А Ф(\)(и), (5)

( ап, ап е М,

1 А \[ап] - 1, ап г М, (6)

где [^ — обозначает целую часть числа Выборочная оценка интегральной квантили:

Фа,п(и) А 1-а(П-а) Ф(\)(и) + Ф+,п(и), (7)

где

Ф+,п(и~) Ап-1^'П=1+1Ф(})(и) является выборочной оценкой «верхнего» СУаЯ уровня а.

Для построения выборочной оценки (7) используется разложение (4).

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

Пусть Ф (и, х) — это доход НКС, взятый с обратным знаком, при инвестировании и и реализации вектора случайного спроса х.

В качестве модели возможных убытков будем рассматривать функцию Ф(и, X) = -YljiiUiXi,

где Xi — случайная величина, отражающая спрос на i-ый вид продукции; щ — объем инвестиций в i-ый вид продукции;

Естественными выглядят следующие предположения о множестве ограничений: Щ > 0, т.е. инвестиции не могут быть отрицательными; Yj=iui < С,т.е. суммарный объем инвестиций ограничен.

Без ограничения общности можно положить С = 1 и расчитывать доли инвестиций. Введем обозначение для множества допустимых стратегий

U А {u\Z1JL1 Щ< 1, щ> 0, i = 1/m}. (8)

Сформулируем постановки задач.

Задача оптимизации дохода с критерием в форме квантили

u<a = argm\nueu^a(u), (9)

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

Задача оптимизации дохода с критерием в форме интегральной квантили

А arg minueu фа (и). (10)

Такая постановка означает, что необходимо найти такие стратегии (распределение объема инвестиций в различные виды продукции), при которых средние потери в неблагоприятных случаях (вероятность наступления которых 1 — а) будут минимальны.

3. Алгоритмы решения задач с критерием в форме квантили и в форме

интегральной квантили

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

функции квантили. Исследование выпуклости квантили является достаточно сложной задачей [3,8].

В отличие от квантильного критерия, для критерия в форме интегральной квантили значительно проще проверить выпуклость [9].

Теорема 2 [9]. Если выпукла Ф(и,х) по и на выпуклом множестве и с Мт для всех х е М, то функция тра (и) также выпукла по и на выпуклом множестве.

В [10] предложен стохастический квазиградиентный алгоритм минимизации функции квантили и показана его сходимость с вероятностью единица. В алгоритме используется процедура рандомизированного проектирования.

Опишем оператор рандомизированного проецирования Пи(и) на область и е. Оператор рандомизированного проецирования - это отображение П и(и): Мт ^ и £, где и £ -^-окрестность области и. П и(и) задается следующим соотношением

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

Ве А {ие е ие: \\ие - еи - и|||| < £}.

На практике нахождение решения такой задачи может быть достаточно трудоемким, поэтому ее можно заменить следующей операцией. Сначала строится обычная проекция на область, затем выбирается случайным образом точка из шара радиуса , и затем для нее строится обычная проекция на область. Такая замена никак не повлияет на сходимость, однако может существенно ускорить решение задачи. Будем обозначать такое проецирование П и ( ик+1).

Алгоритм 1.

0. Установим значения начальных параметров: р0 - длина рабочего шага; 80 -начальный параметр вычисления градиента; п0 - начальный объем выборки случайной величины X; £ - параметр разброса оператора рандомизированного проектирования; Ь - большая константа; К - минимальное число шагов, которое должен сделать алгоритм; 1, 2 - параметры остановки алгоритма. Полагаем начальное значение шага алгоритма к •= 0. Выбираем стартовую точку из области допустимых значений и0 е и.

1. Генерируем выборку {Х^^,..., ХПк} случайной величины X объема пк. Подставляем выборку в функцию ФI А Ф(ик, Х^) и упорядочиваем эти значения, чтобы

е , и г и,

получить вариационный ряд Ф^) < Ф^) < — < Ф(Пк). Вычисляем тра,пк(ик) по формуле (7).

2. Используем выборку объема пк из предыдущего шага алгоритма для построения выборочных оценок фа,пк(Щ, ■ ■■, Щ — 8к,..., йт), фаПк(й1, ■ ■., щ + 5к, ■ ■., йт), / = 1 ,т, где щ, имеют равномерное распределение на отрезках [щ — 8к, щ + 8к], / = 1, т . Вычисляем стохастический квазиградиент:

т

^(ик, $к) — 21 ^ [Фа,пк(Щ, ■ ■■, Щ — 8к, ■■., Ит) — Фа,пк(Щ, ■ ■■, Щ + 8к, ■■., Ит)] ^ к 1=1

3. Если У ик, 8к)|| < Ь, то вычисляем следующую точку по формуле ик+1 ■= ик — Рк((ик, 8к), иначе выбираем любую ик+1 £ и (случайным образом) и переходим к шагу 6.

4. Если ик+1 £ и, то переходим к шагу 5, иначе ик+1 = П и(Пк+х).

5. Если выполнен критерий остановки, то счет окончен, иначе к •= к + 1. В качестве критерия остановки предлагается использовать одновременное выполнение следующих условий:

к > К; \гра,пк(ик) — Фа,пк(ик-1)\ < £1; I^ — Щ-Л < £2;

\фа, пк (и к-1) Фа, Пк

(ик-2)\ < £1; 1 Пк-1 —и-к-21 < £2;

6. Пересчитываем значения параметров рк-= 8к-= 1° ; пк-=[п0к2+е] и

к к '2+е

переходим к шагу 1.

В [10] доказана теорема о сходимости данного алгоритма с вероятностью единица, если функция Ф(и,X) удовлетворяет ряду требований. Для формулировки теоремы потребуется ввести дополнительное обозначение Уд (и) — [<р(и)\ <р(и) > <ра (и) — 5), где 8 -достаточно малое число.

Теорема 3 [10]. Если выполнены следующие условия:

1. Функция Ф (и, X) является выпуклой по и на компакте ие для всех х £ М;

2. ~фа (и) является липшицевой функцией на выпуклом компакте ие;

3. для каждого и £ т1:(У) функция вероятности Р^ (и) дважды дифференцируема по

ф и эти производные ограничены, (и) > 0 для всех <р(и) (и) для

каждого и £ ие;

4. Гф(<РР(и)) = 0(1 —Ю

5. Существует у > 1, такое что М[|Ф( и,Х)\г] < го для всех и е ие.

6. швз{(и,х) еи£ X М5: Ф(и,Х) =(р} = 0

Тогда последовательность ик сходится к решению задачи (10) с вероятностью единица.

Для ускорения алгоритма 1 можно предпринять ряд мер.

Выбор начальной точки предлагается осуществлять алгоритмом, предложенным в [9] и развитым в [11] для дискретных распределений. Численные эксперименты показывают [12], что такой подход дает хорошее приближение к решению задачи (10). Данный алгоритм сводит задачу минимизации интегральной квантили к задаче выпуклого (линейного, в частном случае) программирования. При этом необходимо генерировать выборку большого размера. Эту же выборку можно в дальнейшем использовать при построении выборочных оценок.

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

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

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

4. Использование интегральной квантили для построения верхней оценки

квантили

Из теоремы 1 следует, что для функции потерь квантиль всегда не превосходит интегральную квантиль. Также легко показать, что тр а (и) < гр+(и) [6]. Таким образом, верно следующее неравенство

(ра(и) < гра (и) < гр++(и). (11)

Теорема 4. Если для некоторого и е и функция Ф (и, X) ограничена, тогда при а 1 разность квантили и интегральной квантили функции Ф(и,Х) стремится к нулю \ (ра(и) -

'Фа00! - 0.

Доказательство. Из условия ограниченности Ф( и,Х) следует существование и ограниченность квантили и интегральной квантили. (ра(и) — Ф(и, шахзирр(Х)) при а — 1. Т.е. при - 1 значение квантили стремится к функции Ф( , ) в точке, соответствующей максимальному значению носителя меры.

Рассмотрим предел

lima—i (и) = lima—i М[Ф(и,;0|Ф(и,;0 > (ра(и)] = = М[Ф(и,;0|Ф(и,;0 > Ф^.шахБирр^))] = 0.

Поскольку вероятность !Р[Ф(и,Х) > Ф(и, max supp(X))} = 0.

Теперь покажем, что lima—1ipa (и) = Ф(и, maxsupp(X)). Для этого достаточно заметить, что в разложении (4), limа—1 Ха(и) = 1. Таким образом, limа—1(гра (и) — (ра(и)) = lim a—i(<Pa — <Ра (Ц)) = 0.

Теорема 5. Если для некоторого и Е U функция Ф(и,Х) ограничена, тогда для любого и Е U при а — 1 разность выборочной оценки квантили и выборочной оценки интегральной квантили функции Ф( и,Х) стремится к нулю \фа,п(и) — гРа,п(и)\ — 0.

Доказательство. Из условия ограниченности Ф( и,Х) следует ограниченность порядковых статистик. Очевидно, что lima—11 = n, где I определена по формуле (6).

Тогда предел выборочной оценки квантили по равен последней порядковой статистике:

lim а—1Фа,п(Ц) = Ф(и)(^)-

Рассмотрим предел выборочной оценки интегральной квантили по а:

lima—i $а,п(и) = lima—i (¿Q — о) Ф(1)(и) + i+i Фф(и)) = = lim(¿6 — а) Ф(п)(и)) + lima—i (-;—%]= i+i Ф(])(м)) = Ф(п)(и~) + 0 =

= Ф(п)('Ч).

Таким образом, предельные оценки квантили и интегральной квантили совпадают. Из этого следует доказательство теоремы.

Эти теоремы иллюстрируют корректность применения интегральной квантили для оценки сверху квантили.

5. Примеры

Пример 1. Необходимо выбрать оптимальную стратегию инвестирования в 3 различные проекта (т = 3), при которой убытки будут минимальны с заданной вероятностью а = 0.95, и стратегию, при которой средние потери в неблагоприятных случая (вероятность наступления которых 0.05) будут минимальны. Объем инвестиций равен 1 (С = 1). При этом спрос на каждый вид продукции является случайным. Будем считать, что спрос характерезутся случайными величинами X i, i = 1,3. Они независимы в совокупности и

имеют нормальное распределение с параметрами Х1~Ж(2,1), Х2~Ж(2,1), Х3~Ж(3,1). Т.е. необходимо решить задачу квантильной оптизации (9) с ограничениями (8) и оптимизации с критерием в форме интегральной квантили (10) с ограничениями (8).

Для данного случая функция квантили является выпуклой, это следует из свойств нормального распределения. Функция интегральной квантили выпукла по теореме 2.

Решение задачи (9), полученное стохастическим квазиградиентым алгоритмом минимизации функции квантили

и(( = (0.2013,0.2009,0.5978), фа{и() = —1.5039.

Решение задачи (10), полученное алгоритмом 1

0% = (0.2351,0.2342,0.5307), фа(и%) = —1.2166 .

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

Фа{р-а) = —1.4911, также легко убедиться, что отклонение от оптимального значения меньше 1%!

Пример 2. Рассмотрим аналогичный пример, только с другими распределениями, для случайных велечин. Пусть Х^, / = 1,35 независимы в совокупности и Х1, Х2 имеют нормальное распределение с параметрами Х1~Ж(2,1), Х2~Ж(2,1), а Х3 имеет экспоненциальное распределение Х3~£(5).

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

Решение задачи (10), полученное алгоритмом 1 = (0.3423,0.3420,0.3157), фа(й%) = —0.8509 .

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

= (0.3423,0.3420,0.3157), фа(и%) = —1.1209,

Фа{р-а) в данном случае является верхней оценкой оптимального значения критерия задачи (9), согласно теореме 3 и неравенству (11).

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

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

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

Библиографический список

1. http://www.tsenki.com/ - сайт Центра эксплуатации объектов наземной космической инфраструктуры.

2. Малышев В.В., Кибзун А.И. Анализ и синтез высокоточного управления летательными аппаратами. М.: Машиностроение, 1987.

3. Кибзун А.И., Кан Ю.С. Задачи стохастического программирования с вероятностными критериями. М.: Физматлит, 2009.

4. Rockafellar R.T, Uryasev S. Conditional value-at-risk for general loss distribution // J. Banking & Finance, 2002. No.26. P. 1443 - 1471.

5. Кибзун А.И., Чернобровов А.И. Алгоритм решения обобщенной задачи Марковица // АиТ, 2011, № 2, С. 77 - 92.

6. Кибзун А.И., Кузнецов Е.А. Сравнение критериев VaR и CVaR // АиТ, 2003, № 7, С. 153 - 165.

7. Кибзун А.И., Матвеев Е.Л. Стохастический квазиградиентный алгоритм минимизации функции квантили // АиТ, 2010, № 6, 64 - 78.

8. Prekopa A. Stochastic Programming. - Dordrecht: Kluwer, 1995

9. Rockafellar R.T., Uryasev S. Optimization of conditional value-at-risk // Journal of Risk, 2000, Vol.2, No. 3, P. 21 - 51

10. Кибзун А.И., Чернобровов А.И. Стохастический квазиградиентный алгоритм минимизации функции интегральной квантили // АиТ, 2012, № 2

11. Величко А.С., Нурминский Е.А. Прямодвойственная декомпозиция задачи о репликации портфеля рыночных активов // АиТ, 2004, № 2, 170-178

12. Chernobrovov A.I. Optimization of the CVaR by a Stochastic Quasigradient Algorithm // 14th International Student Olympiad on Automatic Control, Russia, 21-23 September, 2011. P.100-104.

Сведения об авторах

КИБЗУН Андрей Иванович, профессор Московского авиационного института (национального исследовательского университета), д.ф.-м.н., тел.: (499)158-41-13; e-mail: kibzun@mail.ru МАИ, Волоколамское ш., 4, Москва, А-80, ГСП-3, 125993.

ЧЕРНОБРОВОВ Алексей Игоревич, аспирант Московского авиационного института (национального исследовательского университета), тел.: (499) 158-41-13; e-mail: 4ernobrovov@mail.ru. МАИ, Волоколамское ш., 4, Москва, А-80, ГСП-3, 125993 .

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