Спросить
Войти
УДК 519.8
П.А. Борисовский, *К. Делорм, *А. Долгий
Омский государственный университет им. Ф.М. Достоевского, г. Омск, Россия
*LIMOS UMR CNRS 6158, Ecole des Mines de Saint-Etienne, 158, cours Fauriel,
ТОЧНЫЙ АЛГОРИТМ БАЛАНСИРОВКИ ПРОИЗВОДСТВЕННОЙ ЛИНИИ С ПАРАЛЛЕЛЬНЫМИ МАШИНАМИ
Рассматривается задача проектирования производственной линии [1] для выполнения заданного набора операций по обработке однотипных деталей. Линия формируется в виде последовательности рабочих станций, каждая из которых состоит из одной или нескольких идентичных параллельных машин. Время обработки детали машиной включает в себя длительности выполняемых операций, а также длительности переналадок, необходимых при переключении машины с одной операции на другую. Для каждой станции должен существовать хотя бы один способ расположения детали, подходящий для всех операций этой станции (множества допустимых расположений для каждой операции заданы). Дополнительно могут быть заданы условия предшествования и совместимости операций.
Далее приводится описание входных данных задачи, и формулируются требования к проектированию линии.
N - множество операций.
G = (N, P) - граф, задающий частичный порядок на множестве операций: наличие дуги (i, j) П P означает, что операция i должна быть выполнена раньше, чем j (далее будет также использоваться обозначение i ^ j).
A - множество способов закрепления детали на машине.
Ai - множество способов закрепления детали, при которых возможно выполнение операции i. Для операций, выполняющихся на одной и той же станции, должен существовать хотя бы один подходящий для всех способ закрепления детали (условие расположения). n00 - максимальное количество операций на одной станции. т0 - максимальное количество станций. ti - длительность выполнения операции i. tj - длительность переналадки с операции i на операцию j.
T0 - максимальное время такта. Суммарное время выполнения операций и переналадок на станции, деленное на количество установленных на ней машин (время такта станции), не должно превышать Т0 .
IS - семейство множеств включений, каждое
является множеством операций,
которые должны выполнятся вместе на одной и той же станции.
ES - семейство множеств исключений, каждое
является множеством операций, которые не могут выполнятся вместе на одной и той же станции.
Для формирования линии необходимо определить требуемое количество станций и машин, каждую операцию назначить ровно на одну из станций и определить последовательность выполнения операций так, чтобы не нарушались условия времени такта, предшествований, включений и исключений. Общее количество машин на линии должно быть минимальным.
Данная задача была сформулирована в [1], где была предложена ее модель частично целочисленного линейного программирования и проведены эксперименты по решению задачи с помощью известного пакета CPLEX. Основной трудностью при использовании этого
подхода является слишком большое число бинарных переменных в модели, поэтому точное решение возможно только для задач небольшой размерности (в [1] рассматривались тестовые примеры с количеством операций не более двадцати).
В данной работе предлагается алгоритм точного решения задачи, основанный на ее сведении к задаче разбиения множества. Введем следующие обозначения. Пусть рабочая
станция отождествляется с множеством операций. Для рабочей станции ^ П N
обозначим
через Т(Ж) время работы одной ее машины (т.е. время выполнения операций и переналадок) при оптимальной последовательности операций. Назовем множество операций Ж оптимальной станцией, если выполняются следующие условия
к ПЖ ;
п ППТ(Ж) / То П Ппо .
Для оптимальной станции Ж определим ее стоимость как соответствует требуемому
количеству машин.
С(Ж) ППТ (Ж) / Т0 П , что
Назовем последовательность оптимальных станций Ь = (^1,-.,Л^т) допустимой линией, если т < то, каждая операция из N назначена ровно на одну станцию, и выполняются условия предшествования (остальные требования учтены в определении оптимальной станции). Стоимость линии определим как суммарную стоимость входящих в нее станций. Очевидно, что решением рассматриваемой задачи является допустимая линия минимальной стоимости.
Выпишем явно все оптимальные станции V={Ж1,...,ЖК} и определим ориентированный граф G = (УР^), задающий отношения предшествования для станций: наличие дуги
(Ж ,Ж ) ПР
V г 5 Р /
означает, что существуют такие операции
I Пшг и
] ПЖр , что I ^ ]. Заметим, что полученное отношение не является частичным порядком, так как в графе G могут существовать циклы. Пусть У обозначает множество всех циклов в G.
Введем бинарные переменные х1 ,..., хК так, что хр = 1 если станция Жр включена в линию. Пусть обозначает множество станций, содержащих операцию у. Тогда оптимальная линия находится решением следующей задачи целочисленного линейного программирования (ЦЛП).
П С (Жр ) Хр
П ш1п
Пхр П1, ] П1,...,| N
Пхр □ у 1, у ПУ;
Жр Пу
П х р Пто ;
хр П{0,1}, р П1,..., к;
Целевая функция (1) соответствует количеству машин на линии. Условия (2) означают, что каждая операция назначается ровно на одну станцию. Условия (3) гарантируют, что оптимальное решение не содержит циклов, поэтому станции могут быть упорядочены с соблюдением требований предшествования операций. Ограничения (4) задают максимальное количество станций.
Для генерации всех оптимальных станций применяется алгоритм динамического программирования, предложенный в [2] для решения задачи коммивояжера. Для множества операций Я, такого, что |Я| < п0 и операции
что значенияУ(/,5) известны для всех таких Я, что |Я| < т, тогда при |Я| = т, они вычисляются с помощью уравнений Беллмана:
считаем
Г (У, Я \\ {у})} .
Достаточно вычислить значения/(/,£) только в тех случаях, когда 1) условия исключений и расположения операций выполняются для {I} П Я ;
к,I П{/} ПЯ
У ПЯ ;
Время работы оптимальной станции вычисляется как
Т (Ж) ПШп{ / ( уж \\ {у})}.
При решении задачи (1)-(5) существенные трудности возникают, если количество оптимальных станций составляет несколько десятков тысяч, а количество ограничений (3) до с-тигает нескольких миллионов. Для решения задач такой размерности предлагается использовать алгоритм генерации ограничений. На первом шаге алгоритма решается задача ЦЛП без ограничений (3). Если в полученном решении нет циклов, то оно оптимально. Иначе, циклы найденные в решении добавляются в модель ЦЛП, и процесс повторяется. Если на некоторой итерации алгоритма задача ЦЛП оказалась неразрешима, то исходная задача также не имеет решения.
Предложенные алгоритмы были реализованы на ЭВМ. Поиск оптимальных станций запрограммирован на языке JAVA, алгоритм генерации ограничений - в системе моделирова15
ния GAMS (www.gams.com) с использованием модуля CPLEX для решения задач ЦЛП. Вычислительный эксперимент проводился на тридцати тестовых задачах из работы [1] с количеством операций равным 20 и различной плотностью дуг графа предшествований. С помощью предложенного метода удалось найти оптимальные решения всех задач, причем общее время работы алгоритмов динамического программирования и генерации ограничений составляло не более 30 секунд на ЭВМ с процессором Intel Celeron M 2.8 ГГц. В работе [1] представлены результаты решения этих же задач путем прямого применения пакета CPLEX. Время поиска решения задачи на сопоставимой по быстродействию ЭВМ составляло в среднем более трех часов, при этом во многих случаях оптимальность полученных решений не была установлена. Данное сравнение показывает убедительное преимущество предложенного метода решения задачи путем сведения к задаче разбиения и применения алгоритма генерации ограничений.
Работа частично поддержана грантом РФФИ 12-01-00122.
Библиографический список
УДК 532.529:655.225
