Кононенко И.В. Анализ устойчивости решений в задачах формирования стратегии развития предприятия с алгоритмическими и аналитическими целевыми функциями и ограничениями / И.В. Кононенко, Н.В. Шатохина // Управлшня проектами та розвиток виробництва: Зб.наук.пр. - Луганськ: вид-во СНУ iм. В.Даля, 2004. - № 3(11). - ^138-144._
УДК 519.6
И.В. Кононенко, Н.В. Шатохина
АНАЛИЗ УСТОЙЧИВОСТИ РЕШЕНИЙ В ЗАДАЧАХ ФОРМИРОВАНИЯ СТРАТЕГИИ РАЗВИТИЯ ПРЕДПРИЯТИЯ С АЛГОРИТМИЧЕСКИМИ И АНАЛИТИЧЕСКИМИ ЦЕЛЕВЫМИ ФУНКЦИЯМИ И ОГРАНИЧЕНИЯМИ
На примере однокритериальной дискретной динамической задачи поиска оптимального плана развития предприятия, модель которой содержит представления, сочетающие аналитические и алгоритмические зависимости в целевой функции и ограничениях, разработан подход к анализу устойчивости решения задачи в случае изменения коэффициентов целевой функции, левых и правых частей ограничений. Рис. 1, ист. 7.
Ключевые слова: стратегическое управление, дискретная динамическая оптимизация, устойчивость решения, допустимое решение, перспективное решение, алгоритмические и аналитические модели.
1.В. Кононенко, Н.В. Шатохша
АНАЛ1З СТ1ЙКОСТ1 РОЗВ'ЯЗКУ В ЗАДАЧАХ ФОРМУВАННЯ СТРАТЕГИ РОЗВИТКУ П1ДПРИСМСТВА З АЛГОРИТМ1ЧНИМИ ТА АНАЛ1ТИЧНИМИ Ц1ЛЬОВИМИ ФУНКЦ1ЯМИ Й ОБМЕЖЕННЯМИ
На прикладi однокритериальноТ дискретно! динамiчноí задачi пошуку оптимального плану розвитку пщприемства, модель якоТ мютить представлення, що поеднають аналiтичнi й алгорт^чы залежност в цтьовм функцп й обмеженнях, розроблений пщхщ до аналiзу стiйкостi розв'язку задачi у випадку змiни коефщен^в цiльовоТ функцiТ, лiвих i правих частин обмежень. Рис. 1, дж. 7.
I.V. Kononenko, N.V. Shatokhina
SOLUTION STABILITY ANALYSES IN TASKS OF ENTERPRISE DEVELOPMENT STRATEGY FORMING WITH ANALYTIC AND ALGORITHMIC CRITERION FUNCTIONS AND RESTRICTIONS
On single-criterion discrete dynamic task of optimal enterprise development plan search as an example, an approach to decision task stability analyses is developed. Task model contains expressions, combining analytic and algorithmic dependences in criterion function and restrictions. Approach to task solution stability analyses in case of coefficients changes in criterion function, left and right components of restrictions is created.
Постановка проблемы. В настоящее время для разработки эффективных и адекватных реальным процессам методов поиска стратегии развития
"Управлшня проектами та розвиток виробництва", 2004, № 3(11)
1
предприятий целесообразно применение аппарата математического программирования, в том числе дискретной оптимизации. Параллельно с созданием новых эффективных методов решения подобных задач большое практическое значение приобретают вопросы анализа устойчивости получаемых решений. Актуальность данной проблемы обусловлена наличием неопределённости в исходных данных, которая может быть связана не только с погрешностями и неточностями в описаниях некоторых характеристик и параметров задачи, но и с изменением величин во времени.
Методики проведения исследований устойчивости решений для непрерывных задач представлены достаточно полно. Вопросы устойчивости для задач линейного программирования изучались в работах [1, 2]. Однако для целочисленных задач данная проблема не менее актуальна, ей посвящен ряд работ отечественных и зарубежных авторов [3]. Ранее авторами для решения задач развития производственной системы были предложены модель и метод решения однокритериальной задачи оптимизации процесса развития производства с алгоритмической целевой функцией, алгоритмическими и аналитическими ограничениями. Следующим этапом развития данного направления стала формулировка модели задачи выбора стратегии развития предприятия в однокритериальной постановке с учётом возможности осуществления мероприятий по увеличению спроса на выпускаемую продукцию и предложен алгоритм ее решения. В работе [4] были предложены модель и метод решения многокритериальной динамической немарковской задачи выбора стратегии развития предприятия с учетом рисков, присутствующих в процессе функционирования производственно-экономической системы. Для решения сформулированной задачи ранее был предложен метод, основанный на сочетании идей метода неявного перебора и метода уступок.
Целью данной работы является создание подхода для осуществления анализа устойчивости решения, постоптимального и параметрического анализа на примере однокритериальной дискретной задачи поиска оптимального плана развития предприятия, модель которой содержит представления, сочетающие аналитические и алгоритмические зависимости в целевой функции и ограничениях.
Основная часть. Рассмотрим понятие устойчивости задачи. Существует целый ряд различных интерпретаций термина «устойчивость» [1, 2]. Остановимся кратко на нескольких из них.
Для задачи:
Ь = (с, х) ^ тах
- , (1)
Ах < Ь, х > 0
построим возмущенную задачу:
Ь = (с(б), х) ^ тах
А(б)х < Ь(б), х > 0, (2)
где (б) - параметр, который позволяет формализовать механизм действия возмущения, б > 0 .
При изменениях параметра (б) задача (2) отклоняется от задачи (1).
Для с (б), А(б), Ь (б) выполняются условия:
2
"Управлшня проектами та розвиток виробництва", 2004, № 3(11)
||А(б) - А|| < б, ||Ь(б) - Ь|| < б , ||с(б) - С < б .
(3)
Говорят, что задача (2) принадлежит окрестности б, если выполняются условия (3). Иными словами, выполнение условия (3) определяет степень
отклонения (либо близости) задачи (2) к (1).
* *
Пусть X - множество решений задачи (1), / - её значение в оптимуме,
* *
X (б) , / (б) - аналогичные величины для возмущенной задачи. Определение №1:
Задачу (1) назовём устойчивой, если существует такое бо > 0, что для
Уб,0 < б < б0 , задача (2) имеет решение.
Иначе, задача (1) устойчива, если она имеет решение, а также имеет решение любая задача, полученная из неё путём незначительных изменений параметров.
Определение №2:
Задачу (1) назовём устойчивой по функционалу, если она устойчива и для
V£ > 0 3 б > 0, и как только выполняются условия (3),
/ (б) - /
<£ .
Определение №3:
Задачу (1) назовём устойчивой по решению, если она устойчива и для V£ > 0 3 б> 0, что как только выполняются условия (3) для
* *
Vx (б) е X (б) х (б) - х <£.
найдётся
*
х е X ,
удовлетворяющее условию
В данной работе будем трактовать анализ устойчивости следующим образом.
Определение №4:
Под анализом устойчивости будем понимать определение допустимых интервалов изменения исходных данных, в пределах которых оптимальное решение и значение целевой функции останутся неизменными.
Параллельно с анализом устойчивости целесообразно проведение постоптимального анализа, т.е. выявления активных ограничений, сдерживающих улучшение решения; и параметрического анализа, заключающегося в исследовании изменения решения в зависимости от изменения некоторых параметров.
Перейдём к описанию подхода к анализу устойчивости в рамках проведения постоптимального анализа полученного решения на примере однокритериальной динамической задачи с алгоритмической целевой функцией, алгоритмическими и аналитическими ограничениями и булевыми переменными. Рассматривается случай изменения коэффициентов целевой функции, левых и правых частей ограничений. Воспользуемся общей идеей подхода к анализу устойчивости решений задач целочисленного линейного программирования при использовании метода ветвей и границ, а также некоторыми понятиями и теоремами из теории линейного программирования.
В рассматриваемой задаче необходимо максимизировать дисконтированную прибыль планового периода, при этом уложиться в
"Управлшня проектами та розвиток виробництва", 2004, № 3(11)
3
зарабатываемые и выделенные на развитие средства, а также обеспечить необходимую производственную мощность с учётом прогнозов спроса на производимую продукцию. Рассматриваемая задача, назовём её «З», имеет следующий вид:
T Н (Л ^ M tн I
F = I1ЦГВ\% — I IzJtxJt — I X zшcxшc —
t=lh=1 t=1J=1 t=lu =1
— ® пред + Л пред — Ипред ^ тах ,
э^, t = 1Т, h = 1Н,
M t M t
^ = ^—11Щ—1 +РР,—1 + ^ + I IЛ^+l—gxJp — I +l—gxJp +
у =1р=t+1—g у=1р=t+1—g I t I t _
+ I IЛ+1—gxupc — I Х^м+1—gxupc, St > 0, г = 1, т,
и =1р =+1—g и =1р=t+1—g
хп е{0,1}, у = 1, М , ? = й, хи,с е{0,1}, и = Ц, ? = 1,7,
0 - с с 0 -
Х]1 = , у = 1,М, Ли, = X Ш , и = 1,I, t = 2-&3-&...,0,
М I _
I Л]1 ^1 I ^1 t =1,,н ,
У=1 и=1
I I I т
где zу, = I®угЩ+г—1 — IЛугЩ+г—1 + IИуг Iak , г=1 г=1 г=1 к ^+г—1
I = 1 — t + шш^ + g — 1,Т),
I I I т
2Ш = I®uг Щ+г—1 — IЛиг Щ+г—1 + IИиг Iak ,
г=1 г=1 г=1 к=,+Г—1
I = 1 — Г + шш^ + g — 1,Т).
Здесь X^ - булева переменная, равная 1, если в ¿-м году планового
периода внедряется у-й вариант развития производства, и 0 - в противном
. • 1 с
случае; у - номер варианта развития производства, у = 1, т ; хш - аналогичная
переменная, связанная с вариантами по увеличению спроса, и - номер варианта работ по увеличению спроса; А^ - производственная мощность по Л-му типу
продукции в году Остальные переменные задачи сохранили тот же смысл, что и в работе [4].
Выделим величины, в процессе определения которых могут возникать неопределённости и неточности. Будем предполагать, что погрешности могут
4
"Управлшня проектами та розвиток виробництва", 2004, № 3(11)
возникнуть в задании коэффициентов целевой функции, левых и правых частей »(к)
ограничений. Это В^ - величина спроса на производимую продукцию Л-го
о (к)
типа продукции в году £ З - запланированный объём выпуска Л-го типа
продукции в году £ ^ - объём средств, выделенных на развитие; 2jt -значение затрат при принятии варианта, связанного с увеличением
с
производственных мощностей; - значение затрат при принятии варианта,
связанного с развитием спроса; (Оjr - величина единовременных затрат, необходимых для реализации у-го варианта увеличения производственных мощностей в г-м году; Лjr - величина остаточной стоимости основных
с
фондов, выбывших в г-м году при реализации варианта у ; (иг - величина единовременных затрат, необходимых для реализации и-го варианта развития
спроса в г-м году; Лиг - величина остаточной стоимости основных фондов,
выбывших в г-м году при реализации варианта и. Сформулируем задачу «З+» следующего вида:
T H л\ л\ tн M tH I
F=Z ZЦ ,Bt at — Z Zz +nxit - Z Z^ х-*' -
c + c
t Bt "t ZZ zjtxjt ZZ zut xut t=1h=1 t=1 j=1 t=lu=1
— ® пред + Лпред — Ипред ^ max , (4)
3(h)+ t = it , h=IH, (5)
M t
St = St—liât—1 +PFt—1 + Kt + + Z Z Л +,t+l—gxjp —
j=1p=t+1—g
m t i t i t
Z Z wjt+1—gxjp + Z Z ЛC +1—xvp° — Z Z wCli++1—g XupC , j=1p=t+1—g u=1p=t+1—g u=1p=t+1—g
St > 0, t = 1, T , (6)
xjt e {0,1}, j = 1, M, t = 1, t, xutc e {0,1}, u = \J, t = 1, t, 0 - c c 0 -
xjt = xjt, j = 1,M, Xut = X ut , u = 1,I, t = 2-g,3-g,...,0,
"Управлшня проектами та розвиток виробництва", 2004, № 3(11)
5
М I
X и ^ 1, > ХС
Е Х]( ^ 1, Е Хп1 ^ 1 г = 1, гн . (7)
7=1 и=1
^ + С+ О (Л) + ^С+
Здесь гр , , 3 , Ю7,г+1_р , г+1_р - значения
параметров модели, которые максимально изменены в большую сторону; 15 (Л) + 77-+ 7Г+ 7ГС +
В , Кг , Л 7, Г+1_р , Л и, Г+1_р - в меньшую сторону.
Допустимая область задачи «З+» содержится в допустимой области задачи «З». Пусть X , X = (X рг 7 = 1,М , г = 1,Т - оптимальное решение задачи
«З+»; /орг - значение целевой функции в оптимуме; / - рекордное значение целевое функции; /' - нижняя граница для изменения значений целевой функции, которое может быть достигнуто на переменных, не входящих в
частичное решение; / + г ^ + ги1С - значение целевой функции для проверяемого частичного решения.
~ + С+ о (Л)+ „ + „С+
При уменьшении гр , 2ы , Зг , Ю7, г+1_р , Юи, г+1_р и
Г, (Л) + тг+ тт+ ТТС +
увеличении В , К , Л 7, г+1_р , Л и, г+1_р оптимальное решение
задачи «З+» может быть найдено повторным анализом всех частичных решений и их расширений.
Рассмотрим основные шаги алгоритма анализа устойчивости в ходе решения задачи «З+».
1. Проверяем на допустимость каждое рассматриваемое в процессе решения задачи «З+» частичное решение (см. рис.1). Таким образом, формируем множества частичных решений, для которых не выполняется какое-
либо ограничение задачи, например, вг Л - множество частичных решений, для
которых не выполняется одно ограничение (5) для ^го года и Л-го типа продукции. Параллельно запоминаем критические значения варьируемых параметров, соответствующих этим частичным решениям.
2. Осуществляем проверку рассматриваемых частичных решений задачи «З+» на перспективность. Для этого на всех этапах ветвления, при отсечении неперспективных ветвей, требуем, чтобы они и дальше оставались не перспективными при изменениях рассматриваемых параметров с точки зрения полученного оптимума задачи.
6
"Управлшня проектами та розвиток виробництва", 2004, № 3(11)
Остановимся на втором этапе более подробно. Необходимо отметить, что в процессе его осуществления проверка перспективности частичных решений идет параллельно для двух случаев.
2.1. Для ситуации, когда погрешности и неточности возникают в
c d (h)
коэффициентах целевой функции: z jt , zut , .
2.2. Для аналогичной ситуации, но с величинами, формирующими
ограничения рассматриваемой задачи: 3th, Kt, Оjr , Лjr , СОurc ,
Л c
J1 ur .
В обоих случаях для частичных решений, для которых в процессе оптимизации согласно алгоритму, предложенному в работе [4], выполняется
условие f + Zjt + zutc + f ' > f *, и соответствующего варьируемого
параметра, например 3^( ), определяем критическое значение 0(h)5 . Данное критическое значение должно быть таким, что при величине изменения
Д 3t< 0(h)5 ни одно из допустимых решений задачи линейного
программирования, формируемой в ходе реализации алгоритма неявного перебора для поиска нижних границ [4], не имело значения целевой функции
f ', при котором f + Zjt + Zutc + f '< fopt [5].
Существенное различие в упомянутых выше ситуациях заключается в том,
что приращения в параметрах целевой функции и ограничениях по-разному
сказываются на решении и результирующем оптимальном значении прибыли.
Так, для ограничений линейного вида согласно теореме Гейла и третьей
теоремы двойственности [6, 7] можно утверждать, что при выполнении условий
* (h) * теоремы Гейла f (Д31v )) = f .
"Управлшня проектами та розвиток виробництва", 2004, № 3(11 )
7
При рассмотрении приращений в целевой функции /* (Л^-,) = /* + [3], где ЛЗ,^, кг^ - новые, измененные значения
з, т и у.
3. Производим сравнение найденных перспективных решений с оптимумом. Для выполнения условия о сохранении оптимального решения оптимальным требуем, чтобы перспективные решения оставались хуже оптимума. Найденные лучшие перспективные решения запоминаем в качестве вспомогательной информации.
4. Для формирования результирующей области устойчивости решений рассматриваемой задачи используем информацию о критических значениях, полученных на шаге 1, а также критических значениях изменений параметров в целевой функции и ограничениях, найденных на шаге 2.
Выводы. Описан подход к анализу устойчивости целочисленной задачи оптимизации плана развития предприятия в однокритериальной постановке на основе метода неявного перебора с учетом возможного варьирования параметров в целевой функции, левых и правых частях ограничений.
Результаты работы будут использоваться при разработке алгоритма поиска оптимальной стратегии развития сахарного завода и анализе устойчивости полученного решения.
ЛИТЕРАТУРА
1. Ашманов С.А. Условия устойчивости задач ЛП. // Журнал вычислительной математики и математической физики, - 1981. Т.21, №6, С. 1402-1410.
2. Гольштейн Е.Г., Юдин Д.Б. Новые направления в линейном программировании. - М.: Сов. радио, 1966. - 524с.
3. Сергиенко И.В. Математические модели и методы решения задач дискретной оптимизации. - К.: Наук. думка, 1988.- 471 с.
4. Кононенко И.В., Шатохина Н.В. Метод решения многокритериальной задачи формирования плана развития предприятия с учетом рисков // Открытые информационные и компьютерные технологии. - Харьков: НАКУ "ХАИ".- 2003. Вып. 20. - С. 185-193.
5. Кононенко И.В., Смолин П.А. Анализ устойчивости решения динамической задачи с алгоритмическими ограничениями // Математическое и компьютерное моделирование в машиностроении: Сб. науч. тр. - Киев, 1994. - С. 48-55.
6. Ланкастер К. Математическая экономика. - М.: Сов. радио, 1972. - 464с.
7. Гейл Д. Теория линейных экономических моделей. - М.: Изд-во иностр. лит., 1969. -398с.
Стаття надмшла до редакцп 25.07.2004 р.
8
"Управлшня проектами та розвиток виробництва", 2004, № 3(11)