Реферат: Оптимизация структуры стохастического графа c переменной интенсивностью выполнения работ
Название: Оптимизация структуры стохастического графа c переменной интенсивностью выполнения работ Раздел: Рефераты по науке и технике Тип: реферат | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Л. П. Костина, канд. физ. - мат. наук Санкт - Петербургский государственный университет Задача распределения ресурсов (нескладируемого типа) на cтохастических сетях (параллельные проекты) сформулирована как обусловленная переменной структурой графа. Предложенный метод решения обеспечивает получение экстремального графа для случая, когда каждая работа многопроектной разработки может выполняться с переменной интенсивностью использования ресурсов. Принципиально новый подход к решению задачи распределения ресурсов на сетях позволяет совершить качественный скачок в области математического обеспечения автоматизированных систем управления, так как создаются предпосылки для использования всех достижений сетевого планирования при управлении ресурсами, которые выполняют параллельные проекты. 1. Введение. Все известные теории решения задач распределения ресурсов на сетях базируются на комбинаторике, которая приводит либо к анализу бесконечного числа вариантов, либо к привлечению эвристики. Прежде чем приступить к распределению ресурсов производят расчет сетевых графиков, каждый из которых построен на основании технологии и принятой организации работ по каждому проекту. Затем полученные таким образом показатели, а также критические пути используются в качестве подсобного инструмента с целью обеспечения работ ресурсами и получения расписания их выполнения в планируруемом периоде времени [1, 2, 3, 4, 5]. Необоснованность традиционного решения можно легко показать на примерах, иллюстрирющих возникающие при этом парадоксы[6], причина которых состоит в том, что при распределении ресурсов между работами возникают связи по использованию одного и того же ресурса. Поскольку возможны различные варианты перехода каждой единицы ресурса с одной работы на другую, то задача нахождения ресурсных связей многовариантна ( обусловлена переменной структурой графа ). Каждый вариант распределения ресурсов определяет топологию сетевой модели, которая характеризуется своими параметрами. Оптимальный вариант определяет оптимальную топологию сетевой модели согласно выбранному критерию. Следовательно при традиционном подходе к решению задачи распределения ресурсов на сетях трудаемкая работа, требующая участия коллек-тива и затрачиваемая на составление сетевых графиков, а также их расчета на ЭВМ, выполняется впустую. Кроме того, поскольку конечной целью при этом является получение расписания выполнения работ, то сетевая модель вообще выпадает из управления [7, 8, 9, ]. Неудачные попытки ввести в сетевое планирование нескладируемой ресурс привели к затуханию интереса к данному направлению. В настоящее время в научной литературе внимание в основном уделяется задачам загрузки оборудования и построение расписаний [10, 11, 12, 13, 14, 15]. 2. Постановка. Задачу распределения ресурсов на сетях, базой которой является принципиально новая теория, сформулируем на примере проектной организации. Тематический план проектной организации содержит как новые проекты, так и переходящие из плана предыдущего года. Каждый проект представлен в виде элементарных составляющих работ с указанием множества условий ( под множеством условий понимаются другие работы того же самого проекта, результаты каждой из которых, согласно технологии проектирования, необходимы для того, чтобы начать данную). При этом каждый проект может содержать такие работы, от результатов которых зависит дальнейшее развертывание проектирования проекта. Иначе говоря, нельзя полностью определить технологию проектирования проекта, поскольку результат некоторых работ влияет на последующий ход его реализации. Такие работы мы будем называть решающим результатом. В одном проекте может быть несколько решающих результатов. Введение решающих работ позволяет принимать в расчет альтернативы, которые возникают на некоторых этапах реализации проекта [16]. Каждой альтернативе приписана априорная вероятность. Каждая работа помимо взаимоcвязи с другими работами согласно технологии проектирования характеризуется видом ресурса, которым она может выполняться, а также трудоемкостью. Каждый ресурс специализированного подразделения характеризуется его наличием и пределами потребления данного ресурса на различных работах. Требуется определить стохастическую сетевую модель, отображающую многопроектную разработку с учетом ресурсов. Введем условные обозначения:
Прежде чем дать математическую формулировку задачи, введем определения: 1. Под ресурсным графом мы понимаем сетевую модель, отображающую многопроектную разработку с учетом ресурсов. 2. Под установлением между работами связей по ресурсам мы понимаем указание для j-й работы множества ресурсных условий Zj
, 3. Путь, имеющий продолжительность Tm
, 4. Путь, имеющий продолжительность 5. Путь ресурсного графа, имеющий продолжительность . . (1) (2) (3) (4) (5) При заданном начальном состоянии системы V(t0
) в момент времени t0
необходимо найти в области, определяемой ограничениями: (2) Положение j-й работы в графе (1) определяется указанием множества ресурсных условий Zj
, . Обоснованность критерия (1) следует из определения ресурсов нескладируемого типа, которые отпускаются порциями ?квантами¦.Для них характерно то, что неиспользованная или неэффективно использованная часть каждой порции в каждый момент времени пропадает и не переносится на другое время. Физически критерий (1) означает, что число выполненных работ с учетом их весовых коэффициентов за любой интервал времени должно быть максимальным. Согласно ограничению (2) у-я работа не может начаться раньше окончания своих условий. Для начала любой работы необходимо, чтобы к данному моменту времени были выполнены технологические условия а также свободны ресурсы, обеспечивающие ее выполнение. Ресурсы могут переходить с других работ, которые также для данной работы являются условиями Система функционирует в дискретном времени и ее состояние в каждый момент определяется набором числовых параметров: ni
, Zj
, Принимаются следующие допущения: 1) каждая работа может выполняться с переменной интенсивностью использования ресурсов; 2) выполнение работ может прерываться, даже если они не закончены. Они будут завершены позднее. . В [17] рассматривается случай, когда каждая работа может производиться с постоянной интенсивностью использования ресурсов, и объем работы, выполняемой в единицу времени является случайной величиной. Для решения сформулированной задачи предложена процедура типа динамического программирования, cогласно которой состояние системы изменяется в соответствии с одношаговой функцией переходов. Cтроится последовательность технологических комбинаций, каждая из которых для каждого решающего результата включает одну возможность развертывания проекта или одну альтернативу с заданной вероятностью. Распределение ресурсов для каждой технологической комбинации осуществляется по одной и той же схеме, которая приводится ниже. Результатом решения является экстремальный граф, определяемый распределением ресурсов, что создает предпосылки для. расчета вероятностей конечных исходов, а также критических путей обычным образом. Знание вероятностей конечных исходов, а также сроков их выполнения дает возможнось получить представление о ходе реализации многопроектной разработки с учетом ее выполнения ограниченным количеством ресурсов в условиях неопределенности. Для решения задачи, обусловленной переменной структурой графа, используется метод последовательных назначений, применяемый в обычных задачах целочисленного программирования [18]. 3. Алгоритм. Основные идеи алгоритма представлены пунктами 1 Пусть G1- множество работ, каждую из которых необходимо включить в ресурсный граф. 1. Принять 2. Определить множество работ свободных в данный момент времени от условий согласно технологии проектирования проектов. (6) 3. Проверить выполняется ли условие если нет, то принять 4. Принять 5. Построить вектор-строку возможных приращений целевой функции (1).
(7) где Физически 6. Определить максимальное приращение целевой функции (1). (8) 7. Проверить выполняется ли условие если нет 8. Зафиксировать работу для возможного назначения ресурсов. (9) 9. Проверить выполняется ли условие 10. Осуществить назначение ресурсов на j -ю работу. (10) (11) При очередном назначении накапливается число ресурсов, а также выполняемый объем работы в единицу времени. 11. Изменить число свободных ресурсов. (12) 12. Проверить, не исчерпаны ли свободные ресурсы. Если В противном случае 13 Проверить, выполняется ли условие При оптимальном распределении ресурсов в каждый момент времени 14. Выделить из множества (13) 15. Определить множество работ, начало которых совпадает с моментом времени (14) 16. Выделить работы для каждой из которых число назначенных ресурсов на шаге
(15) Работы множества 17. Определить множество. работ (16) 18 Зафиксировать код j-й работы множества (17) .19. Определить срок начала работ множества (18) (19) 20. Вычислить продолжительность выполнения работ множества (20) (21) 21. Определить срок окончания работ множества (22) (23) 22. Для работ множества (24) 23. Проверить выполняется ли условие если нет, то принять 24. Определить множество работ, для каждой из которых возможны ресурсные условия (25)
В дальнейшем такие части, на каждой из которых число ресурсов постоянно, рассматриваются как самостоятельные работы. 25. Проверить выполняется ли условие 26. Определить возможное число ресурсов, которые могут переходить на j - ю работу множества (26) (27) 27. Определить множество работ, каждая из которых может стать ресурсным условием. (28)
. Ресурсными условиями на шаге 28. Зафиксировать код работы и вид ресурса для работ множества (29) (30) 29. Определить число ресурсов, которые могут переходить с работы множества (31) (32) 30. Распределить работы множества (33) (34) 31 Исключить из множества (35) 32. Определить множество работ, обеспеченных ресурсами, но окончание каждой из которых еще не наступило. (36) 33. Проверить, выполняется ли условие В связи с различной продолжительностью работы, начавшиеся выполняться позже, могут раньше закончиться. В этой связи для определения момента появления новых работ, свободных от технологических условий, необходимо рассматривать все работы, обеспеченные ресурсами. 34. Проверить выполняется ли условие 35. Исключить из множества (37) 36. Определить не выполненный объем j - ой работы множества (38) 37. Определить продолжительность j-й работы множества (39) 38. Определить срок окончания j-й работы множества (40) 39. Включить в множество ресурсных условий окнченную часть j- й работы к моменту времени (41) 40. Зафиксировать минимальное значение срока окончания работ множества (42) 41. Выделить из множества (43) 42. Запомнить число освободившихся ресурсов с работ множества (44) 43. Исключить работы множества (45) 44. Исключить работы множества (46) (47) 45. Присоединить оконченные работы в момент времени t2 к работам, каждая из которых окончилась ранее. (48) 46. Включить работы множества (49) 47. Определить множество работ, каждая из которых на шаге (50) 48. Пронумеруем работы множества
49. Определить код работы в ресурсном графе с учетом разбивки работ на части. (51) В ресурсном графе части работ , на каждой из которых число ресурсов постоянно, рассматриваются как самостоятельные работы. 50. Произвести перекодирование условий работ множества 51. Проверить выполняется ли условие если нет 52. Конец. 4. Пример. На разработку, состоящую из 2-х параллельно выполняемых проектов, выделено два различных вида ресурсов по 2 единицы каждого. Исходные данные решения задачи приведены в табл. 1, где код работы Каждой альтернативе приписана aприорная вероятность: 0,7, 0,3. Требуется в области Таблица 1. Исходные данные.
Таблица 2. Экстремальный ресурсный граф.
Обоснованность задания критерия оптимальности (1) в виде графа следует из теоремы 1. . Теорема1 Для того чтобы продолжительность выполнения всех работ многопроектной разработки с учетом ресурсов равнялась бы продолжительности критического пути, необходимо и достаточно, чтобы между работами ресурсного графа были установлены связи по ресурсам при соблюдении технологических условий предшествования работ в качестве ограничений. Доказательство теоремы дается в предпололожении, что чило ресурсов для каждой работы фиксировано. . Достаточность.Пусть продолжительность критического пути ресурсного графа равна продолжительности выполнения всех работ с.учетом ресурсов. Предположим, что при этом между работами ресурсного графа не установлены связи по ресурсам. В таком случае не для всех цепочек работ, образуемых ресурсными связями, гарантировано . Необходимость. Пусть между работами ресурсного графа установлены связи по ресурсам. Продолжительность самого длинного пути L, который назван критическим, определит продолжительность выполнения всех работ многопроектной разработки. Получение экстремального графа алгоритмом, включающим пункты Теорема 2. Если все функции Cостояние системы меняется в моменты времени Пронумеруем работы множества А2 . функция (1) примет вид (52) (52) Пусть в соответствии с условием теоремы (53) (54) Рассмотрим матрицу (55). (55) Физически В силу вогнутости функций (56) С вводом элементов матрицы (55) функция (52) примет вид (57). (57) Это следует из (53), если представить (58) Преобразуем матрицу (59) Элементы ряда (59) обладают тем важным свойством, вытекающим из (56), что если (60) В силу отмеченного выше свойства (59) очевидно, что (61) Значение Таким образом, при распределении ресурсов последовательно двигаясь по наибольшим приращениям функции (52) мы на каждом шаге получаем оптимальный план. Ресурсы на работу Список литературы 1 . Х. Ахьюджа. Cетевые методы управления в проектировании и производстве. М.: Наука, 1979. 2. Cборник III-го Bcесоюзного симпозиума по проблемам планирования и управления научными исследованиями и разработками. М.: ЦЭМИ. 1975. 3. Применение пакетов прикладных программ по экономико - математическим методам в АСУ. М.: Статистика, 1980. 4 Глушков В. М. , Михалевич В. C. и др. Управляющий этап // Управляющие системы и машины. Киев: Ин-т кибернетики АН УССР, 1989. N3. С. 5-7. 5. Основные положения по разработке и применению систем сетевого планирования и управления. М. , Экономика. 1974. 6. Костина Л. П. Причины парадоксов при распределении ресурсов на сетях в книге Х. Ахьюджа ? Сетевые методы управления в проектировании и производстве¦ (под ред. В.В Калашникова. М. , 638 c). Деп. организацией п / а А - 1420 МРС ?ТТЭ¦. Сер.0. Вып. 18, Д05134 от 5 августа 1982 г. 7. Fersko-Weis H. Projekt management software // PC Magazine. 1988. November 15. p. 178-226. 8. Fersko-Weis H. High-end proekt managers make the plans // PC magazine 1989 May 16 p. 155-195. 9. С. В. Кохова. Некоторые динамические задачи распределения ресурсов на сетевых графиках с переменными объемами работ // Вестник Московского университета. сер.15. Вычислительная математика и кибернетика. 1991. N1. C. 48-57. 10. Kouveles P., Lee H.L. Block angular structures and the loading problem in flexible manufakcturing systems // Oper. Res. 1991.V.39. N4. P. 666- 676. 11. Rogers V.R. White K. P. Algebraic, Mathematical Programming, and Notwork Models of the Deterministig Job-shop Scheduling Problem //IEEE Trans. on Systems, Man, and Cybernetics.1991.V. 21. N3. P.693-697. 12. В. И. Левин. Оптимизация расписаний в системах с неопределенными временами обработки // Автоматика и телемеханика. 1995. N2. C. 99-110. 13. В.Н.Калачев, Б. В. Немчинов, В.Е. Кривоножко. Зфдачи планирования в гибких производственных системах // Автоматика и телемеханика. 1995. N6. C. 155-164. 14. П. И. Шарыгин. Оценки приближенного решения одной задачи календарного планирования // Дискретный анализ и исследование операций. Новосибирск: Ин-т математики СО РАН, 1995, т. 2. N1, 57-67. 15. А. В. Кононов. О расписаниях работ на одной машине с длительностями нелинейно зависящими от времени // Дискретный анализ и исследование операций. Новосибирск Ин-т математики СО РАН, 1995, т. 2 N1, 21-35. 16. А. Кофман, Г. Дебазей. Сетевые методы планирования и их применение. М. : Прогресс, 1968 17. Костина Л. П. Математическое построение сетевой модели многотемной разработки. //Теоретический семинар ?Проблемы совершенствования управления научно-техническим прогрессом¦. Московский университет. 1975. С. 253-256. 18. Дымарский Я. С., Прудовский Б. Д. Сталбо А. К. //Вопросы оптимизации в исследовании операций. Труды в/ч 30895. Вып. 99. C. 153-162. 19. Костина Л. П. Опыт создания АСУ проектной организацией на базе методов распределения ресурсов на сетях, обусловленных переменной структурой графа. Деп. организацией п/я А-1420 МРС ?ТТЭ¦, серия 0, вып. 18, Д05135 от 5 августа 1982 г. 20. Костина Л. П. Постановка проблемы оптимального распределения ресурсов на стохастических сетях со сложной пространственно-временной структурой. //Вестник Санкт -Петербургского университета. Сер.1. 1992. Вып. 2 (8). С. 15-19. 21. Костина Л. П. Метод решения задачи оптимального распределения ресурсов на стохастических сетях со сложной пространнственно-временной структурой. //Вестник Санкт-Петербургского университета. Сер. 1. 1992. Вып. 3 (15). |