Научная статья на тему 'Задача маршрутизации, в которой функции стоимости и «Текущие» ограничения зависят от списка заданий'

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

CC BY
145
26
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
МАРШРУТ / МЕГАПОЛИС / УСЛОВИЯ ПРЕДШЕСТВОВАНИЯ / ROUTE / MEGALOPOLIS / PRECEDING CONDITION

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

Рассматривается «аддитивная» задача последовательного обхода мегаполисов в условиях, когда и функции стоимости, и «текущие» ограничения зависят от списка невыполненных или, напротив, уже выполненных заданий. Упомянутые особенности возникают при исследовании таких инженерных задач как задача о демонтаже энергоблока АЭС, выведенного из эксплуатации, и задача об управлении инструментом при листовой резке деталей на машинах с числовым программным управлением (ЧПУ). В статье излагается алгоритмический вариант процедуры на основе динамического программирования, доведённый до реализации на ПЭВМ.

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

ROUTE PROBLEM IN WHICH COST FUNCTIONS AND «CURRENT» CONSTRAINTS DEPEND FROM TASKS LIST

Under conditions when both cost functions and «current» constraints depend from tasks list, the «additive» problem of the sequential circuit of megalopolises is considered (it is possible that tasks are not fulfilled or conversely already fulfilled). The above-mentioned singularities arise under investigation of the following engineering problems: the problem about dismantling of energy block of atomic electric station revealed from exploitation and the problem of the control under leaf cutting of details on machines with numerical programmed control (CNC). In article, algorithmic variant of the dynamic programming procedure is presented; this variant was realized on PC.

Текст научной работы на тему «Задача маршрутизации, в которой функции стоимости и «Текущие» ограничения зависят от списка заданий»

Physics and Mathematics, chief researcher; Ural Federal University named after the First President of Russia B.N. Yeltsin, Ekaterinburg, the Russian Federation, Professor, e-mail: chentsov@imm.uran.ru

УДК 519.6

ЗАДАЧА МАРШРУТИЗАЦИИ, В КОТОРОЙ ФУНКЦИИ СТОИМОСТИ И «ТЕКУЩИЕ» ОГРАНИЧЕНИЯ ЗАВИСЯТ ОТ СПИСКА ЗАДАНИЙ

© А.А. Ченцов, А.Г. Ченцов

Ключевые слова: маршрут; мегаполис; условия предшествования.

Рассматривается «аддитивная» задача последовательного обхода мегаполисов в условиях, когда и функции стоимости, и «текущие» ограничения зависят от списка невыполненных или, напротив, уже выполненных заданий. Упомянутые особенности возникают при исследовании таких инженерных задач как задача о демонтаже энергоблока АЭС, выведенного из эксплуатации, и задача об управлении инструментом при листовой резке деталей на машинах с числовым программным управлением (ЧПУ). В статье излагается алгоритмический вариант процедуры на основе динамического программирования, доведённый до реализации на ПЭВМ.

1. Сводка общих обозначений

Семейством называем множество, все элементы которого сами являются множествами. Сопоставляем всякому множеству Н семейство V(Н) всех подмножеств (п/м) Н и семейство Р'(Н) = V(Н) \ {0} (△ — равенство по определению, 0 — пустое множество) всех непустых множеств из V(Н); Еш(Н) есть ёе£ семейство всех конечных множеств из V'(Н). Всякой упорядоченной паре (УП) г сопоставляем её первый элемент р^(г) и второй элемент рг2(г), однозначно определяемые условием г= (рг1 (г),рг2(г)). Если а,Ь и

с — объекты, то (а,Ь,с) = ((а, Ь),с) (триплет есть УП специального вида). Для всяких трёх множеств А, В и С, как обычно, А х В х С = (А х В) х С. Полагаем N = {1; 2;...} и N° △ {0}и N

РТд △ {г € N01 (р < г)&(г < д)} Ур € N0 Уд € N0;

через ^+[Т] обозначаем множество всех (вещественнозначных) функций, действующих из

непустого множества Т в [0, = {£ € М| 0 ^ £} (М — вещественная прямая).

Непустому конечному множеству К сопоставляем его мощность |К| € N и (непустое)

множество (Ы)[К] всех биекций множества 1, |К| на К; пусть |0| △ 0.

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

Фиксируем непустое множество X, х° € X, число N € N N ^ 2, а также М1 € € Пп(Х),..., МN € Пп(Х) — мегаполисы, подлежащие посещению из х°. Пусть

(х° € МУ] € Т^) &(Мр П Мя = 0 Ур € Т^ Уд € \ {р}).

1521

Фиксируем также отношения М1 € Р'(М1 х М1),..., М^ € х М^). Полагаем, что

(при ? € ) УП г € Му определяют возможные варианты выполнения работ, связанных с посещением Му. Итак, рассматриваем процессы вида

ж° ^ г1 € Ма(1) ^ ... ^ € М«^); (1)

д

здесь а € Р, где Р = (Ы)[1,Ж], Выбор а может быть стеснён дополнительными ограничениями в виде условий предшествования. Если ? € 1, N то Шу △ {рг1(г) : г € Му} € Р'(Му) и Му △ {рг2(г) : г € Му} € Р'(Му). Тогда

N N

X △ {ж°} и ^ М*) € Пп(Х), X △ {ж°} и (у) М*) € Пп(Х).

-=1 -=1

Пусть N △ Р'(17Ж), А : X х N ^ Р'(М1),..., ^ : X х N ^ Р'(MN). При 3 € Т^ж € € X и К € N множество Ау (ж, К) исчерпывает возможности очередного перемещения из ж в Му в условиях, когда К — список ещё не выполненных заданий. Полагаем далее, что А (ж, К) П Шу = 0 Уж € X УК € N V? € К. В этой связи отметим, что при ж € X, К € N и 3 € К

Ау(ж, К) △ {г € Му| рг1(г) € Ау(ж, К)} € Р'(Му).

Полагая, что ^ — множество всех отображений (кортежей) из 0, N в X х X, введём при а € Р множество

^а △ {(**),да € ^ (г° = (ж°, ж°)) & (г* € М«№ У* € М) & & (рг1(гв) € Аа(в) (рг2(гв-1), {а(*) : í € }) Уз € Т^) } (2)

всех возможных траекторий (трасс), согласованных с а (имеются в виду процессы типа (1), осложнённые условиями на перемещения, связанными с ). Множества (2)

являются непустыми и конечными.

Фиксируем множество К € Р(1,Ж х 1,Ж), для которого УК° € Р'(К) 3г° € К° : рг1 (г°) = рг2(г) Уг € К°. Тогда [1, ч.2]

А △ {а € Р| а-1 (рг1(г)) < а-1 (рг2(г)) Уг € К} € Р'(Р)

определяет множество всех маршрутов (перестановок 1,Ж), К -допустимых по предшествованию, а Ю △ {(а, z) € А х Z| z € Д^,} € Рт(А х Z) — множество всех допустимых решений (ДР) формулируемой ниже экстремальной задачи.

Фиксируем с € х X х N1, С1 € х X х ЭД,...^ € х X х N1 и

/ € Я.^^]. Функция с используется для оценивания внешних перемещений, функции С1,... ,CN — для оценивания (внутренних) работ, связанных с посещением мегаполисов, а функция / — для оценивания терминального состояния. Если а € А и (г^О-^ом € , то

△ N _

СаК^еб^ = Е Крг2(г4-рг1(г^ {а(в) : 3 € }) +

4=1

+СаИ(г4, {а(в) : в € ¿7^})]+/(pг2(гN))€ [0, (3) В качестве основной рассматриваем следующую задачу:

Са [(г-)г£б,ж1 -► min, а € A, (гi)гgб,W € ^ (4)

1522

обладающую непустым конечным множеством оптимальных решений. 3. Алгоритм на функциональном уровне

Для решения задачи (4) применяем вариант ДП, соответствующий идейно [1, §4.9], а также [2, 3]. Введём в рассмотрение оператор I [1, (2.2.27), (2.2.28)], действующий в N (см. [1, (2.2.1)]), а также семейство Я [1, (4.9.1)], множества которого ранжируем по мощности, конструируя Я« △ {К € Я| 8 = |К|} € Р'(0) Уз € ТЖ Ясно, что Ям = {1^}

(синглетон) и Я1 = {{¿} : £ € 1,Ж \ К^}, где К1 △ {рг1(г) : г € К}. Если ] € 2,^ то Я,-1 = {К \{к} : К € Я, € 1(К)}, где отображение I, действующее в N соответствует [1, (2.2.28)]. Тем самым определена рекуррентная процедура

Як ^ Як-1 ^ • • • ^ Я1

построения семейств существенных списков.

Следующий этап — построение слоёв пространства позиций А°,, А1,..., Ак, где

А^ {(х, 0): х € У Мг};

г£1М\Кх

так же просто определяется : = {(х°, 1, (синглетон, содержащий УП (х°, 1, N)). Если же в € 1, N — 1 и К € Я«, то последовательно определяются множества

^(К) △ ] € ^ \ К| {]} и К € Я^+1},

Мв[К] △ и М,, Вв[К] △ {(х, К) : х € Мв[К]}.

з&МЮ

Тогда «промежуточные» слои определяются следующим образом:

А3 △ У Вв[К] Ув € 1, N — 1.

к&дв

Каждый из слоёв А°, А1,...,Ак — непустое п/м X х V (1,N). На каждом таком множестве определяется вещественнозначная функция; для этого используется рекуррентная процедура, опирающаяся на легкопроверяемое свойство

(рг2(г),К \{] })€ Аs-l Ув € ^ У(х, К) € А3 У] € 1(К) Уг € А, (х,К). (5) Требуемая конкретная рекуррентная процедура конструирования функций

г° €^+[В°],^1 €^+[Ам] (6)

имеет следующий вид: г° определяется выражением

г°(х, 0) = /(х) Ух € и Мг;

г£1М\К1

если же s € то преобразование vs-i в vs с учётом (5) определяется выражением

Vs(x,K) = min min [с(ж, pr1(z),K +cj(z, K)+Vs-i (pr2(z),K\{j})] V(x,K) € Ds. (7)

jeI(K) zeAj)

1523

После выполнения N этапов, характеризуемых посредством (7), все функции (6) будут най-

д

дены и, в частности, будет определено значение V = зд(ж°, 1, N), что вполне соответствует определению DN. Более того, можно показать, что V является глобальным экстремумом задачи (4):

V = 1ШП тп СаК^о^Ь (8)

а€А

Построение оптимального решения на основе (г>1,..., гп). Полагаем z(°) △ (ж°, ж°); с учётом (7), (8) выбираем П1 € 1(1, N) и z(1) € АЧ1 (ж°, ) так, что

V = с(ж°, pгl(z(1)), ХТ^+Сп!(z(1), + гN-l(pг2(z(1)), \ {т}). (9)

Тогда (см. (5)) (рг2^(1)), 1,N\ {^})€ DN-1. С учётом (7) выбираем п2 € 1(1, N \ {п1}) и z(2) € Ап2 (рг2^(1)), 1,N \ {^}) так, что

гN-1(рг2(z(1)), ^ \ {П1})= c(pг2(z(1)), pгl(z(2)), \ {П1}) +

+СП2 ^(2), ^ \ {П1}) + гN-2 (р^(2)), ^ \ {П1; П2}), (10)

где согласно (5) (рг2^(2)), 1,N \ {п1; п2})€ DN-2. Из (9), (10) вытекает, что

V = с(ж°, рг1 ^(1)), ^^(рг^^), pг1(z(2)), \ {П1}) + +СП1 (z(1), +СП2 (z(2), \ {П1}) +гN-2 (рг2(z(2)), \ {П1; П2}) . (11)

Далее процедуру выбора, подобную (9), (10) следует продолжать вплоть до исчерпывания полного списка 1,^ После исполнения N шагов, подобных (9), (10), будут построены

маршрут п △ (пу^да € А и трасса ^^о^ € ^ такие, что ДР (п, ^'^ео^) € О оптимально в задаче (4) (при N = 2 упомянутая оптимальность следует из (11)).

4. Вычислительная реализация

Одна из конкретных постановок, вкладывающаяся в вышеупомянутую общую схему, связана с маршрутизацией движения инструмента при листовой резке на машинах с ЧПУ. Имеется в виду резка плоских деталей, граница которых разбивается всякий раз в сумму замкнутых кривых, именуемых ниже контурами; при этом резке каждого внешнего контура должна предшествовать резка внутренних. Резка осуществляется по эквидистантам, то есть с «запасом».

Мегаполисы образуются посредством дискретизации вторичных эквидистант, близких по отношению к эквидистантам, по которым осуществляется резка: при данной дискретизации намечаются пары точек «в составе» точки врезки и точки выключения инструмента. Зависимость от списка заданий возникает по следующей причине: новые точки врезки должны выбираться на достаточном расстоянии от «пустот», образовавшихся за счёт уже вырезанных деталей (соображение, связанное с жесткостью листа). Здесь в явном виде присутствует зависимость от списка К уже выполненных заданий, который, однако, имеет вид К = 1, N \ К, где К — список оставшихся заданий, связанных всякий раз с резкой по эквидистанте контура (в данном случае N — общее число контуров). В итоге реализуется возможность сведения к постановке, рассматриваемой в предыдущих разделах. Данный вариант задачи был смоделирован на ПЭВМ; построенные алгоритм и программа позволяет решать задачи, где N ~ 31, |К| ~ 20 (при этом функции стоимости предполагались независящими от списка заданий, что соответствует исходной содержательной задаче; в отношении же «текущих» ограничений вышеупомянутая зависимость сохранена).

1524

ЛИТЕРАТУРА

1. Ченцов А.Г. Экстремальные задачи маршрутизации и распределения заданий: вопросы теории. М.Ижевск: НИЦ «Регулярная и хаотическая динамика», 2008. 238 с.

2. Ченцов А.Г. К вопросу о маршрутизации комплекса работ // Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки. 2013. Вып. 1. C. 59-82.

3. Ченцов А.Г., Ченцов А.А. Динамическое программирование в задаче маршрутизации с ограничениями и стоимостями, зависящими от списка заданий // Доклады Академии наук. 2013. Т. 453. № 1. C. 20-23.

БЛАГОДАРНОСТИ: Работа выполнена при финансовой поддержке РФФИ (гранты № 13-01-00304, № 15-01-07909, № 14-08-00419).

Поступила в редакцию 19 мая 2015 г.

Chentsov A.A., Chentsov A.G. ROUTE PROBLEM IN WHICH COST FUNCTIONS AND «CURRENT» CONSTRAINTS DEPEND FROM TASKS LIST

Under conditions when both cost functions and «current» constraints depend from tasks list, the «additive» problem of the sequential circuit of megalopolises is considered (it is possible that tasks are not fulfilled or conversely already fulfilled). The above-mentioned singularities arise under investigation of the following engineering problems: the problem about dismantling of energy block of atomic electric station revealed from exploitation and the problem of the control under leaf cutting of details on machines with numerical programmed control (CNC). In article, algorithmic variant of the dynamic programming procedure is presented; this variant was realized on PC.

Key words: route; megalopolis; preceding condition.

Ченцов Александр Георгиевич, Институт математики и механики им. Н.Н. Красовского УрО РАН, г. Екатеринбург, Российская Федерация, член-корреспондент РАН, доктор физико-математических наук, главный научный сотрудник; Уральский федеральный университет им. первого Президента России Б.Н. Ельцина, г. Екатеринбург, Российская Федерация, профессор, e-mail: chentsov@imm.uran.ru

Chentsov Alexandr Georgiyevich, Institute for Mathematics and Mechanics named after N.N. Kra-sovskii of UB RAS, Ekaterinburg, the Russian Federation, Corresponding Member of RAS, Doctor of Physics and Mathematics, chief researcher; Ural Federal University named after the First President of Russia B.N. Yeltsin, Ekaterinburg, the Russian Federation, Professor, e-mail: chentsov@imm.uran.ru

Ченцов Алексей Александрович, Институт математики и механики им. Н.Н. Красовского УрО РАН. г. Екатеринбург, Российская Федерация, кандидат физико-математических наук, e-mail: chentsov@binsys.ru

Chentsov Alexey Aleksandrovich, Institute for Mathematics and Mechanics named after N.N. Kra-sovskii of UB RAS, Ekaterinburg, the Russian Federation, Candidate of Physics and Mathematics, e-mail: chentsov@binsys.ru

1525

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