CC BY
53
Распределение ресурсов в иерархических системах транспортного типа с интервальными значениями критериев оптимальности
М.Х. Прилуцкий, У.С. Колосовская Нижегородский государственный университет им. Н.И. Лобачевского
Аннотация: Рассматривается проблема многокритериального распределения ресурсов в иерархических системах транспортного типа с интервальными значениями критериев оптимальности. Строится общая математическая модель, в рамках которой ставятся задачи многокритериальной оптимизации. Решение поставленных задач находится путем поиска «оптимальных» вершин многомерного многозначного куба, где каждая вершина куба определяет свою систему линейных алгебраических двусторонних неравенств транспортного типа. Решение многокритериальной задачи осуществляется сведением её к однокритериальной, путем задания на множестве вершин многомерного многозначного куба некоторых порядков. В основе предлагаемых схем решения лежит процесс последовательной проверки на совместность системы, описывающей ограничения на допустимые значения распределяемого ресурса. В качестве примера прикладной задачи рассматривается задача объемно-календарного планирования для подразделений предприятия.
Ключевые слова: иерархическая система транспортного типа, распределение ресурсов, многоиндексная система линейных алгебраических неравенств, многокритериальная оптимизация, многомерный многозначный куб.
Введение
Широкий класс прикладных задач связан с проблемой эффективного распределения ограниченных ресурсов. При постановке задач распределения ресурсов обычно задаются директивные показатели, к достижению определённых значений которых необходимо стремиться. Учет этих показателей осуществляется с помощью так называемых контролируемых ограничений, от выполнения которых зависит эффективность функционирования системы, что приводит к постановке многокритериальных многоиндексных задач транспортного типа.
В работе для формализации критериев оптимальности предлагается указывать границы для величин отклонений от заданных директивных показателей, в которых эти величины являются «отличными», «очень хорошими», «хорошими», «удовлетворительными» и др. Отсюда следует, что функции отклонений от директивных показателей должны быть кусочно-
постоянными. Тогда такие функции разбивают множество величин отклонений по каждому критерию на области качества отклонений.
В работе предлагаются эффективные алгоритмы решения поставленных многокритериальных задач путем поиска «оптимальных» вершин некоторых подмножеств многомерного (по количеству критериев) многозначного (по количеству областей качества отклонений) куба [1], где каждая вершина куба определяет свою систему линейных алгебраических двусторонних неравенств транспортного типа.
В качестве примера многокритериальной многоиндексной задачи транспортного типа рассмотрим задачу объемно-календарного планирования для подразделений предприятия [2-6].
Необходимо определить на заданный период планирования программу производства в объёмных показателях, удовлетворяющую некоторым заданным характеристикам. Пусть I - множество номеров подразделений предприятия, J - множество номеров заказов, К - множество номеров изделий, £ - множество номеров деталей, Т - множество номеров тактов планирования. Обозначим через Офг объём работ, оставшийся невыполненным в подразделении I по заказу у изделию к детали £ в такт планирования г; Бук£г - объем работ, запланированный к выполнению по заказу у изделию к детали £ в такт г; Сы и С+ы - минимальный и максимальный объем работ, который должен быть выполнен по изделию к детали £ в такт г, 0 < Сы < С; и - минимальный и максимальный объем работ, который должен быть выполнен такт г по изделию к, 0 < П~ы < Б+ы; Е- и Е+ - минимальный и максимальный объем работ, который должен быть выполнен всеми подразделениями в такт г в планируемом периоде, 0 < Е- < Е+; О - общий объем запланированных работ; I е I, у е J, к е К, £ е 8„
г е Т.
Тогда формально задача объёмно-календарного планирования для подразделений предприятия может быть поставлена как задача определения таких величин Хукм (объём работ, который будет выполнен в подразделении I по заказу у изделию к детали £ в такт планирования г), I е I, у е J, к е К, s е S, г е Т, для которых выполняются ограничения:
ЕЕЕЕЕ у=о (1)
ге1 jеJ кеК £е$ геТ
Е-<ЕЕЕЕ У < Е+, г е Т (2)
¡е1 кеК зе8
О- < ЕЕЕУ < , к е К,г е Т (3)
¡е1 jеJ зе8
С-г < ЕЕ Хм < с+ш, к е К,£ е 5,г е Т (4)
¡е1 jеJ
Е > Вм, у е J, к е К, £ е 5, г е Т (5)
ге1
0 < Хукг < у , ге I, у е J, к е К, £ е 5, г е Т, (6)
с учетом минимизируемых критериев, которые в рассматриваемой постановке определяются контролируемыми ограничениями системы. В качестве контролируемых ограничений, могут выступать, например, ограничения на объемы работ, которые должны быть выполнены по тактам планирования.
В качестве других примеров могут быть рассмотрены: задача объемно-календарного планирования при проведении лесотранспортных работ [7], задача транспортно-технологического освоения лесосырьевой базы [8], многопродуктовая транспортная задача с промежуточными пунктами [4], задача переработки газового конденсата [9].
Для всех таких задач общим является то, что варьируемые параметры математической модели являются многоиндексными; ограничения математической модели представляют собой систему линейных алгебраических в общем случае двусторонних неравенств транспортного
типа (коэффициенты перед переменными принадлежат множеству {0, 1, -1}), каждое из которых получается суммированием по некоторым индексам; функции, формализующие критерии оптимальности, определяются контролируемыми ограничениями.
Функции критериев мы будем задавать в виде кусочно-постоянных функций, которые разбивают множество величин отклонений по каждому критерию на области качества отклонений. Будем считать, что функции, определяющие критерии оптимальности, имеют одинаковую область значений, равную множеству целых чисел от 0 до р (0 - «превосходно», 1 -«отлично», 2 - «очень хорошо», и т.д., р - «удовлетворительно»).
Постановка многокритериальной задачи
Перенумеровав переменные и ограничения рассматриваемой задачи, получим:
Д < £х; < Б, г = 1,...,д, (7)
]'ед (г)
где 0 < Аг < Бг < да, Q(i) - множество индексов, по которым происходит суммирование для ограничения г, Х е Ям, Ху - объемы распределяемого ресурса (для задачи объёмно-календарного планирования - это объемы выполняемых работ), а д - число всех ограничений, г = 1,...,д, у = 1,...,N. Не уменьшая общности, будем считать, что первые п ограничений являются контролируемыми и определяют критерии рассматриваемой многокритериальной задачи распределения ресурсов.
Как и в [6], рассмотрим функцию ^ (£ ху), определенную на
уеЪ(г)
множестве ^ со значениями из {0, 1, ...,р}. Для каждого контролируемого ограничения г рассмотрим совокупность вложенных друг в друга сегментов
^, с +1, = 0,р-1, р > 1, г = 1,...,п. Тогда ^( £ху) = гг, если £ху е , но
jеQ(i) ^(0
£ х} £ . Введенная функция ^ ( £ х}) отображает пространство ^ на
jеQ(i) )
множество вершин п-мерного (по числу контролируемых ограничений) р + 1-ичного куба (по количеству областей "качества" отклонений от заданных величин).
Общая задача распределения ресурсов ставится следующим образом: требуется найти вектор х, удовлетворяющий ограничениям (7), с учетом минимизируемых критериев ( £ ху) = ti, ti е {0,1,..., р}, г = 1,..., п.
уе<2(0
Задача поиска оптимальной вершины многомерного многозначного
куба
Решение поставленной многокритериальной задачи будем осуществлять сведением её к однокритериальной. Для этого зададим на множестве вершин куба некоторый полный порядок п. При этом поиск решения будем осуществлять на различных подмножествах вершин куба, которые определяются в зависимости от условий постановок конкретных прикладных задач.
Множество вершин п-мерного р + 1-ичного куба обозначим ¥(р+1)>п. Каждой вершине куба V = у2,..,уп) поставим в соответствие систему Б(у)
линейных алгебраических неравенств, всегда включающую в себя совокупность неконтролируемых ограничений из (7), и п ограничений, зависящих от вершины куба: если V =;, то ограничение с номером г преобразуется в ограничение £ху е sti, г = 1,...,п. Пусть также заданы
jеQ (г)
вершина куба V+ е У(р+1),п, 1-ая координата которой определяет предельно допустимое значение 1-ого критерия оптимальности; и вершина куба ^ е У(р+1)п, 1-ая координата которой определяет значение 1-ого критерия
оптимальности, к которому необходимо стремиться, I = 1,..., п. Полагаем, что
V; < у+ , I = 1,...,П и Г* V+ . Через У(Г, ) = {V| V- <V <v+, I = 1,...,п, V еР^}
обозначим множество таких вершин куба, координаты которых принимают значения из соответствующего интервала, определяемого заданными вершинами куба V-, V + е У(р+1)п. Таким образом, нас будут интересовать только
те вершины куба, которые принадлежат множеству V(V~, V +).
Тогда задача распределения ресурсов будет заключаться в определении такого ^-мерного вектора х0, для которого Ai < Ех° < В, г = 1,..., q, и для любого X, для которого Аг < Еху < В, г = 1,..., q,
Уе6(0 У Уей(г)
выполняется отношение ^ ( Е х0 )пFi ( Е х ), при условиях ( Е ху) = гi,
ует) у уеЪ(г) у уеЪ(г)
гг е {V-,V-+1,...,vг+}, г = 1,...,п. Здесь и далее вершину V0 = Е х0), Е х0),...,¥п( Е х0)) будем называть оптимальной вершиной
уеб(1) уед (2) jеq(n)
на множестве V (V-, V +).
Зададим также на множестве вершин куба двузначную функцию g (V), принимающую значение 1, если система Б(у) совместна и 0 в противном случае. Для функции g(V) выполняется: если для вершин куба Д и V имеет место Д >у (покомпонентно), то g(Д) > g(V), отсюда функция g(V) является монотонной. Таким образом, для решения задачи распределения ресурсов необходимо уметь решать две задачи: задачу поиска оптимальной вершины многомерного многозначного куба и задачу проверки на совместность систем двусторонних линейных алгебраических неравенств транспортного типа.
Решение задачи поиска оптимальной вершины многомерного
многозначного куба
В качестве порядка п выберем лексикографическое отношение порядка:
—1 ^2 1 2 7 1 1 2
V тогда и только тогда, если уг = уг , I = 1,...,£, V+1 < V+1.
В [6] предложен алгоритм решения задачи поиска оптимальной вершины многомерного многозначного куба для случая, когда V + = (р, р,..., р), а V"= (0,0,...,0). Для множества вершин V(V-, V +) этот алгоритм включает в себя следующие шаги. На первом шаге среди вершин вида (у1, у+ , у3+ ,...,у+), находится такое значение V0, у" е{у-, 1..., }, которое обеспечивает g(v10, v+, Vз+,..., v+) = 1, и V0 < для всех тех v0 е^-, V-+1..., v1+}, для которых g(v1, v+, v+,...,v+) = 1. На втором шаге среди вершин вида (У, v2, v3+,...,v+) аналогично находится вторая координата оптимальной вершины, v2 е{^, V-+1..., v+}. На п -ом шаге находим искомую оптимальную на множестве V(V-, V +) вершину. Так как функция g (V) является монотонной, то, используя на каждом шаге двоичный поиск по соответствующей этому шагу координате вершины куба, алгоритм решения поставленной задачи будет
п
включать в себя порядка п + £ [^2^+- V-)] проверок совместности систем
г=1
ограничений типа (7).
Иногда при функционировании системы могут возникать дополнительные условия, тогда нас может интересовать не всё множество вершин V(V-, V +), а только некоторое его подмножество Ж. В этом случае будем рассматривать задачу поиска оптимальной на подмножестве Ж вершины. Рассмотрим следующую схему построения множества Ж.
Пусть дополнительными условиями для рассмотренной задачи объёмно-календарного планирования являются следующие условия:
££££ хгМ ^ ££ ££ у+1,; е т, (8)
ге1 уеЗ кеК зеЗ ге1 ¿еЗ кеК яеЗ'
- общий объем выполненных работ в текущий такт не должен превышать объема, работ, выполненного в предыдущий такт. Данные условия являются естественными в случае, когда работы последующего такта планирования
напрямую зависят от объёмов работ, выполненных на текущем такте планирования.
Для построения множества Ж, в силу V- * V +, можем найти координату
— +
с наименьшим по порядку номером £ такую, что: V < V и тахV- < у+, £ = 1, •••,п . Далее, используя двоичный поиск по координате £
г=1, £ -1
(согласно изложенной выше схеме поиска оптимальной вершины куба) найдём значение V.
Вначале полагаем: м/ = у+, / = 1,...,£ -1, / = £ +1,...,п, = Затем
найдём такое значение £?, что V- < V <у+ , £1 = £ +1,...,п. Если £] не найдено,
завершаем процесс построения множества Ж. В противном случае, если г -текущий шаг построения множества Ж, г = 1,2,..., тогда г-ая вершина Ж имеет
вид: = м/г-1, / = 1,...,£1 -1, / = £1 +1,...,п; м1^ = V, откуда в силу м1^ = V < ,
+ г-1 г ^ г-1 —**-1 • л I ттг \
= м^ следует, что м^ < м^ , и, значит, справедливо м п м , г = 1, Ж |.
Множество Ж содержит не более п элементов.
Для решения задачи поиска оптимальной вершины среди вершин множества Ж, предложим следующую вычислительную процедуру. В силу м п мг-1, г = 1, Ж |, организуем двоичный поиск по элементам множества Ж и найдём такое наибольшее значение г, которое обеспечивает g(w) = 1, г = 1, Ж |. Тогда V0 = м , причём g(wl+1) = 0, если г *| Ж |. Алгоритм решения поставленной задачи будет включать в себя порядка /og2| Ж проверок совместности систем ограничений типа (7).
Решение задачи проверки на совместность систем двусторонних линейных алгебраических неравенств транспортного типа
В общем случае для исследования вопроса совместности системы типа (7) можно воспользоваться классическими вычислительными методами
линейной алгебры [10]. Также возможно применить хорошо зарекомендовавший себя [2] релаксационный метод ортогональных проекций Агмона-Моцкина [11-12]. Однако, учитывая транспортную специфику рассматриваемых систем, для их проверки на совместность можно воспользоваться специальными, более эффективными методами ([2]).
Так для задачи объёмно-календарного планирования система (1)-(6) моделируется корневым ориентированным деревом, в котором ограничение (1) соответствует корню дерева, ограничения (6) - листьям, ограничения (2)-(5) - промежуточным вершинам дерева. Согласно [13], для исследования совместности этой системы может быть использована теорема о «приведенных границах». Тогда проверка на совместность системы ограничений (1)-(6) потребует линейного числа операций относительно переменных рассматриваемой задачи.
Численный пример
Рассмотрим задачу объемно-календарного планирования для подразделений предприятия, где I = {1, 2}, I = {1}, К = {1}, Б = {1, 2}, Т = {1, 2}, и система ограничений имеет вид:
Система 1.
2 2 2
14<£££хШЛ * 14:
г=1 х=1 t=1
8 <£ £ хгШ1 * 14,
г=1 «=1
5 <£ £ Хш 2 < 13;
г=1 «=1
22
22
6 Ш1 < 18,4 <££хгШ 2 < 14
(9)
(10) (11) (12)
г=1 «=1
2
г=1 «=1
4 <£ хг1111 < 14,3 <£ хг1Ш < 10,2 <£ хг1112 < 9,3 <£ хШ22 < 7; (13)
1=1 1=1 1=1 г=1
2 <Ё хти < 14,4 <Ё хШ21 < 14,1 <Ё хтп < 14,0 < £ хг1122 < 14;
г=1
г=1
0 < хшп < 5,0 < Х21111 < 10, 0 < хШ21 < 7, 0 < Х21121 < 2,
0 < *1Ш2 < 4, 0 < *21112 < 3, 0 < ХШ22 < 1, 0 < *21122 < 5"
Соответствующее этой системе дерево изображено на рис. 1.
(14)
(15)
(16)
Рис. 1. - Корневое ориентированное дерево, моделирующее систему
ограничений (9)-(16) Пусть в качестве контролируемых ограничений выступают ограничения (10)-(11) на объемы работ, которые должны быть выполнены по тактам планирования. Пусть совокупности вложенных интервалов для контролируемых ограничений (10)-(11) имеют вид:
[8, 8] С [8, 9] С [8, 12] С [8, 13] С [8, 14] и
[11, 13] С [10, 13] С [8, 13] С [6, 13] С [5, 13], соответственно.
Здесь р = 4 и задача моделируется двумерным пятеричным кубом, каждая вершина которого определяется двумерным вектором с компонентами из множества {0, 1, 2, 3, 4}. Будем предполагать, что контролируемое ограничение (10) лексикографически предпочтительнее ограничения (11). Пусть также V- = (0,1) и V + = (4,3).
=1
Прежде чем приступить к решению задачи 1, проверим на совместность систему 2, которая отличается от системы 1 только
ограничением (11), которое теперь имеет вид 6 < 13. Согласно
2 2
X,, г—1 х=1
теореме о «приведенных границах» [13] система 2 совместна, поэтому можем начать поиск оптимальной вершины куба.
На первом шаге работы алгоритма среди вершин вида (у1, 3), у1 е {0, 1, 2, 3, 4}, найдём наименьшую по лексикографическому порядку вершину куба. Рассмотрим вершину куба (2, 3). Соответствующая этой
вершине система ограничений 3 отличается от системы 2 только
2 2
ограничением с номером (10), которое теперь имеет вид 8 хгШ1 < 12.
Воспользовавшись теоремой о «приведенных границах» [13], можем установить совместность системы 3. Рассмотрим вершину куба (0, 3). Соответствующая этой вершине система ограничений 4 отличается от
системы 3 только ограничением с номером (10), которое теперь имеет вид
22
8 <££хг1Ы < 8. Согласно теореме о «приведенных границах» [13] система 4
совместна.
На втором шаге работы алгоритма аналогичным образом определим, что оптимальной (по введённому лексикографическому порядку) вершиной будет вершина (0, 3). Оптимальным решением задачи является следующее
решение. х11111 — 2, Х21111 — 2, Х11121 — 2, Х21121 — 2, Х11112 — 2, Х21112 — 1, Х11122 — 1, Х21122 — 2.
Заключение
В статье рассмотрена проблема распределения ресурсов в иерархических системах транспортного типа. Решение поставленной многокритериальной задачи осуществляется сведением её к однокритериальной, путем задания на множестве вершин многомерного
многозначного куба некоторых порядков, при этом поиск решения осуществляется на различных подмножествах вершин куба. В качестве примера прикладной задачи, формализуемой как задача распределения ресурсов в иерархических системах транспортного типа, рассмотрена задача объемно-календарного планирования для подразделений предприятия.
Литература
1. Прилуцкий М.Х., Костюков В.Е. Оптимизационные задачи объёмно-календарного планирования для нефтеперерабатывающих предприятий // Системы управления и информационные технологии. 2007. №2.1(28). С. 188192.
2. Афраймович Л.Г., Прилуцкий М.Х. Многоиндексные задачи распределения ресурсов в иерархических системах // Автоматика и телемеханика. 2006. №6. С. 194-205.
3. Прилуцкий М.Х., Власов С.Е. Многокритериальные задачи объемного планирования. Лексикографические схемы // Информационные технологии. 2005. №7. С. 61-66.
4. Афраймович Л.Г., Прилуцкий М.Х. Поиск потока в несовместных транспортных сетях // Управление большими системами. 2009. №24. С. 147168.
5. Афраймович Л.Г., Прилуцкий М.Х. Многоиндексные задачи оптимального планирования производства // Автоматика и телемеханика. 2010. №10. С. 148-155.
6. Прилуцкий М.Х. Многокритериальные многоиндексные задачи объёмно-календарного планирования // Известия академии наук. Теория и системы управления. 2007. №1. С. 78-82.
7. Кузнецов А.В., Скрыпник В.И., Крупко А.М. Принципы подхода к объемному календарному планированию при проведении лесотранспортных
работ // Инженерный вестник Дона, 2012, №2 URL: ivdon.ru/ru/magazine/archive/n2y2012/881.
8. Шегельман И.Р., Кузнецов А.В., Скрыпник В.И., Баклагин В.Н. Методика оптимизаций транспортно-технологического освоения лесосырьевой базы с минимизацией затрат на заготовку и вывозку древесины // Инженерный вестник Дона, 2012, №4 URL: ivdon.ru/magazine/archive/n4p2y2012/1284.
9. Prilutskii, M.Kh. and V.E. Kostyukov, 2012. Optimization models of gas and gas condensate processing. Automation and Remote Control, 72(8), pp. 345349.
10. Черников С.Н. Линейные неравенства. М.: Наука, 1968. 488 с.
11. Agmon, S., 1954. The relaxation method for linear inequalities. Canadian Journal of Mathematics, 6(3), pp. 382-392.
12. Motzkin, T.S. and I.J. Schoenberg, 1954. The relaxation method for linear inequalities. Canadian Journal of Mathematics, 6(3), pp. 393-404.
13. Прилуцкий М.Х. Распределение однородного ресурса в иерархических системах древовидной структуры // Труды международной конференции «Идентификация систем и задачи управления SICPR0'2000». М.: Институт проблем управления им. В. А. Трапезникова РАН, 2000. С. 2038-2049.
References
1. Prilutskii M.Kh., Kostyukov V.E. Sistemy upravleniya i informatsionnye tekhnologii. 2007. №2.1(28), pp. 188-192.
2. Afraymovich L.G., Prilutskii M.Kh. Multiindex resource distributions for hierarchical systems. Automation and Remote Control. 2006. №6, pp. 194-205.
3. Prilutskii M.Kh., Vlasov S.E. Multicriteria Tasks of Volumetric Planning Lexicographic Schemes. Information Technologies. 2005. №7, pp. 61-66.
4. Afraymovich L.G., Prilutskii M.Kh. Upravlenie bol'simi sistemami. 2009. №24, pp. 147-168.
5. Afraymovich L.G., Prilutskii M.Kh. Multiindex optimal production planning problems. Automation and Remote Control. 2010. №10, pp. 148-155.
6. Prilutskii M.Kh. Multicriterial multi-index resource scheduling problems. Journal of Computer and Systems Sciences International. 2007. №1, pp. 78-82.
7. Kuznetsov A.V., Skrypnik V.I., Krupko A.M. Inzenernyj vestnik Dona (Rus), 2012, №2 URL: ivdon.ru/ru/magazine/archive/n2y2012/881.
8. Shegel'man I.R., Kuznetsov A.V., Skrypnik V.I., Baklagin V.N. Inzenernyj vestnik Dona (Rus), 2012, №4 URL: ivdon.ru/magazine/archive/n4p2y2012/1284.
9. Prilutskii, M.Kh. and V.E. Kostyukov, 2012. Optimization models of gas and gas condensate processing. Automation and Remote Control, 72(8), pp. 345349.
10. Chernikov S.N. Lineynye neravenstva [Linear inequalities]. M.: Nauka, 1968. 488 p.
11. Agmon, S., 1954. The relaxation method for linear inequalities. Canadian Journal of Mathematics, 6(3), pp. 382-392.
12. Motzkin, T.S. and I.J. Schoenberg, 1954. The relaxation method for linear inequalities. Canadian Journal of Mathematics, 6(3), pp. 393-404.
13. Prilutskii M.Kh. Trudy mezhdunarodnoy konferentsii «Identifikatsiya sistem i zadachi upravleniya SICPRO'2000» [Proceedings of The International Conference "Systems Identification and Control Problems" (SICPR0'2000)]. M.: Institut problem upravleniya im. V.A. Trapeznikova RAN, 2000, pp. 2038-2049.
