Файл: 12.3. Примеры решения задач по системам массового обслуживания.docx
ВУЗ: Смоленский областной казачий институт промышленных технологий и бизнеса
Категория: Лекция
Дисциплина: Моделирование систем
Добавлен: 19.11.2018
Просмотров: 1889
Скачиваний: 46
ПРИМЕР выполнения и оформления заданий по СМО
СМО представляет собой техническое устройство, состоящее из двух узлов, которые могут независимо друг от друга выходить из строя. Граф системы массового обслуживания представлен на рис. 10.
Рис. 10.
СМО может находиться в следующих состояниях:
S1 – оба узла исправны, техническое устройство выполняет свои функции;
S2 – первый узел исправен и работает, второй – неисправен;
S3 – первый узел неисправен, второй узел исправен;
S4 – оба узла неисправны, техническое устройство ремонтируется.
λ1 – поток неисправностей первого узла;
μ1 – поток ремонтов первого узла;
λ2 – поток неисправностей второго узла;
μ2 – поток ремонтов второго узла.
Каждому из состояний можно поставить в соответствие вероятность нахождения СМО в данном состоянии:
- S1 соответствует вероятность p1;
- S2 соответствует вероятность p2;
- S3 соответствует вероятность p3;
- S4 соответствует вероятность p4.
По графу системы массового обслуживания составляем систему уравнений Колмогорова (1), по которой можно определить вероятности состояний системы. Для этого следует исключить одно из уравнений системы, затем решить полученную неоднородную систему линейных уравнений любым методом (Крамера, Гаусса).
(1)
Рассмотрим пример имитационной модели, позволяющей исследовать описанную выше СМО. Имитационная модель разработана средствами VBA for Excel и табличного процессора MS Excel. Интерфейс имитационной модели представлен на рис. 1.
Рис. 1. Интерфейс имитационной модели
Основными элементами управления имитационной модели исследования параметров СМО являются кнопки, с которыми связаны соответствующие макросы. Основные функции и операции, реализованные в имитационной модели СМО:
- ввод показателей СМО (количества каналов обслуживания, интенсивности потоков неисправностей узлов технического устройства, интенсивности потоков ремонтов узлов технического устройства);
- формирование системы уравнений Колмогорова (см. систему уравнений 1);
- расчёт главного определителя системы уравнений Колмогорова;
- расчёт первого определителя системы уравнений Колмогорова;
- расчёт второго определителя системы уравнений Колмогорова;
- расчёт третьего определителя системы уравнений Колмогорова;
- расчёт четвёртого определителя системы уравнений Колмогорова;
- расчёт вероятностей состояний СМО: p1, p2, p3, p4;
- расчёт относительной пропускной способности СМО (q).
Для ввода параметров СМО используется объект UserForm1, который вызывается по нажатию одноимённой кнопки (см. рис. 2).
Рис. 2. Форма ввода параметров СМО
Для выполнения все указанных выше функций имитационной модели записываются макросы в автоматическом режиме. Для этого выбирают пункт меню «Сервис», закладку «Макрос» - «Начать запись». Именуют макрос, затем выполняют требуемую для расчётов последовательность действий, после чего нажимают кнопку или закладку «Макрос» - «Остановить запись». Для расчёта определителей используется математическая функция МОПРЕД(), которая в режиме макроса вычисляет нужный определитель.
Статические эксперименты в построенной моделью двухканальной СМО с отказами можно выполнять, варьируя параметры СМО (интенсивности потоков неисправностей узлов технического устройства и потоков их ремонтов). Можно пронаблюдать как изменение параметров СМО влияет на результаты её функционирования – на вероятности состояний, относительную пропускную способность.
В повседневной жизни к системам массового обслуживания относятся телефонные и автозаправочные станции, билетные кассы, торговые предприятия, парикмахерские, мастерские и т.п. В таких системах два основных потока: входной — поток заявок и выходной поток обслуживания. Поток заявок образуют клиенты (покупатели), желающие приобрести какой-либо товар. Выходной поток образуют продавцы, обслуживающие покупателей. Если интенсивность обслуживания мала, то образуется очередь. Последнюю можно ликвидировать или быстро сократить, используя несколько каналов обслуживания (несколько телефонных аппаратов, билетных касс, торговых точек и т.д.).
Для того, чтобы понять, как решаются такие задачи массового обслуживания, рассмотрим сначала основные понятия и определения.
Теория систем массового обслуживания (СМО) впервые была разработана датским математиком А. К. Эрлангом применительно к запросам, поступающим на телефонную станцию. Поэтому основные понятия и определения сохраняются из практики обеспечения телефонной связи независимо от фактического назначения конкретной СМО.
Системы массового обслуживания предназначены для обслуживания потока заявок или требований, поступающих на вход в случайные моменты времени. Каждая СМО состоит из некоторого числа каналов обслуживания, в качестве которых в зависимости от вида системы могут выступать: линии связи, приемные пункты, рабочие точки, подъездные пути, испытательные стенды, технологические агрегаты, ремонтные бригады и т.д. Выполнение поступившей заявки, т.е ее обслуживание, продолжается некоторое время (тоже случайное), после чего канал освобождается и готов принять следующую заявку.
Поступающие на вход системы массового обслуживания требования-заявки следуют одно за другим и образуют непрерывный поток событий. Конечно, невозможно заранее предсказать, например, когда какому-то абоненту вздумается позвонить по телефону своему партнеру, но если рассматривать всех абонентов телефонной станции, то несмотря на случайный характер каждого отдельного события, за 1 час (60 мин) было, например, 30 телефонных вызовов, то в среднем одна заявка приходится на интервал в 2 мин. Следовательно, среднее число событий в единицу времени — интенсивность потока λ — будет равна 0.5.
В простейшем потоке интенсивность является постоянной величиной, т.е λ=const во времени. Такие простейшие потоки называются стационарными.
Системы массового обслуживания могут быть двух типов: СМО с отказами, в которых заявка, поступившая в тот момент, когда все каналы заняты, получает отказ и не обслуживается; СМО с ожиданием, в которых каждая заявка, прибывшая в систему, когда в ней нет свободных каналов, остается и ожидает, пока освободится какой-нибудь канал и ее возьмут на обслуживание. По аналогии с системами обслуживания населения ожидающие заявки называют очередью.
Основы теории СМО рассмотрим на примере. Пусть производственная система состоит из двух устройств, каждое из которых производит одну и ту же продукцию. Устройства в ходе работы могут выйти из строя (отказать). Отказавшее устройство немедленно начинают ремонтировать. Рассматриваемая система имеет четыре состояния:
S1 — оба устройства работают;
S2 — первое устройство ремонтируется (после отказа), второе работает;
S3 — второе ремонтируется, первое работает; S4 — оба ремонтируются.
Граф состояний такой производственной системы будет следующим (рис. 3):
μ2
Рис. 3. Граф состояний производственной системы
Переходы S1 - S2; S2 – S4; S1 - S3; S3 – S4 совершаются в результате происходящих в системе отказов. Обратные переходы являются следствием ремонтных работ. Отказы и окончания — являются случайными величинами.
Пусть λ1 — интенсивность потока отказов первого устройства; λ2— интенсивность потока отказов второго устройства; μ1 — интенсивность потока окончаний ремонтов первого устройства; μ2 — интенсивность потока окончаний ремонтов второго устройства.
Рассмотрим конкретное состояние, например S1. Из этого состояния возможны переходы в состояния S2 и S3 — с суммарной вероятностью λ1 + λ2, отнесенной к единице времени. В стационарном режиме интенсивность потока событий равна вероятности за конечный промежуток времени, деленной на этот промежуток времени. Таким образом, число уходов из состояния S1, в единицу времени в рассматриваемом коллективе систем равно:
Здесь видно общее правило: совершаемое в единицу времени число переходов Si в Sj равно произведению числа систем в состоянии Si (в исходном состоянии) на вероятность перехода, отнесенную к единице времени. Мы рассмотрели уходы из состояния S1.
Приходы в это состояние совершаются из S2 и S3. Поскольку рассматривается стационарный режим, то числа уходов и приходов для каждого состояния должны быть сбалансированы. Следовательно:
Рассматривая баланс уходов и приходов для каждого из четырех состояний и сокращая в уравнениях общий множитель N, получаем следующие уравнения относительно вероятностей р1, р2, р3, р4:
Нетрудно убедиться, что четвертое уравнение может быть получено сложением первых трех. Вместо этого уравнения воспользуемся уравнением: p1 + р2 + р3 + р4 = 1, которое означает, что система с достоверностью находится в каком-либо из четырех состояний. Таким образом, приходим к системе уравнений:
Это уравнения Колмогорова, записанные для системы, граф состояний которой показан на рис. 13. Рассуждая аналогичным образом, можно составить уравнения Колмогорова и для других СМО.
Примеры задач с СМО
Решая эту систему уравнений, находим: р1= 0.4; р2 = 0.2; р3 = 0.27; р4 = 0.13, Это означает, что в среднем 40% времени оба устройства работают одновременно (состояние S1 на рис. 13); 20% времени работает только первое устройство, а второе при этом ремонтируется (состояние S2); 21% времени работает только второе устройство, а первое при этом ремонтируется (состояние S3); 13% времени оба устройства одновременно находятся в состоянии ремонта (состояние S4). Нетрудно подсчитать доход, которой дает система из двух рассматриваемых устройств в единицу времени:
(5 + 10) х 0.4 + 5 * 0.2 + 10х 0.27 = 9.7 усл. ед.
Предположим, что предлагается некоторая рационализация, позволяющая вдвое сократить время ремонта либо первого, либо второго устройства. По ряду причин рационализацию можно применить только к одному из устройств. Спрашивается, какое устройство следует выбрать, первое или второе? Это конкретный пример практической ситуации, когда пользуясь теорией массового обслуживания, надо обосновать принятие решения.
Допустим, что выбирается первое устройство. В результате рационализации интенсивность потока окончаний ремонтов этого устройства увеличивается вдвое, так что теперь μ1= 4, а остальные интенсивности остаются прежними: λ1=1, λ2= 2, μ2= 3. Уравнения Колмогорова принимают теперь следующий вид:
Решая эту систему, находим: p1 = 0.48; р2= 0.12; р3= 0.32; р4 = 0.08. С учетом полученных вероятностей определим доход, который теперь будет давать рассматриваемая система:
(5 + 10) х 0.48 + 5 х 0.12 + 10 х 0.32 = 11 усл. ед.
Если же мы выберем второе устройство, то в результате рационализации удвоится интенсивность μ2 . В этом случае: λ1 = l, λ2 = 2, μ1 = 2, μ2 = 6. Уравнения Колмогорова примут вид:
Решая эту систему уравнений, находим: р1 = 0.5; р2 = 0.25; р3 = 0.17; p4 = =0.08. Подсчитываем доход: (5+ 10) х 0.5 + 5 х 0.25+ 10 х 0.17= 10.45 усл. ед.
Таким образом, мы видим, что выгоднее применить, рационализацию к первому устройству.
Теперь рассмотрим систему массового обслуживания с отказами. Самый простой пример СМО с отказами — это автоматическая телефонная станция. Если вызываемый абонент занят, то даются короткие гудки и ожидать бесполезно. В зависимости от степени необходимости в обслуживании заявки либо покидают систему, либо обращаются повторно. Одноканальная система массового обслуживания — это самая простая СМО, на которой можно рассмотреть основные закономерности ее работы.
На вход системы поступает поток заявок с интенсивностью λ. Заявка, поступившая в момент, когда система свободна, сразу же берется на обслуживание. Следующая заявка, прибывшая в момент, когда канал обслуживания занят, получает отказ. Время обслуживания заявки имеет случайную продолжительность, но имеется какое-то среднее значение, в результате чего на выходе образуется поток обслуживания с интенсивностью μ. Наглядно поток обслуживания можно представить таким образом, что если бы канал обслуживания был непрерывно загружен, то из него выходил бы поток обслуженных заявок (рис. 4).
Рис.
4. Поток заявок и поток обслуживания в
системе массового
обслуживания
Если среднее время обслуживания одной заявки (в примере с телефонной станцией это средняя продолжительность одного разговора) составляет 0.5 мин, то интенсивность потока обслуживания μ = 1/0.5 = 2. Одноканальная СМО может находиться только в одном из двух состояний: So — свободна, S1, — занята. Граф состояний, показывающий возможные переходы из одного состояния в другое, изображен на рис. 5.
Рис.
5. Граф одноканальной СМО с отказами
Возможность нахождения СМО в свободном состоянии S0 определяется какой-то, пока нам неизвестной вероятностью р0. Соответственно р1 — это вероятность того, что система находится в занятом состоянии S1. Так как система может находиться только в одном из двух состояний, то в каком-то из них она всегда находится, поэтому сумма вероятностей равна единице:
Чтобы система могла пребывать в этих двух состояниях, воздействия, выводящие ее из состояния S0, должны уравновешиваться воздействиями, возвращающими систему обратно в это состояние. Величина каждого воздействия определяется произведением интенсивности потока на соответствующую вероятность, т.е. Из этого выражения определяем:
Учитывая,
что сумма вероятностей всегда равна
единице, получим:
Основные параметры СМО с отказами: относительная пропускная способность и абсолютная пропускная способность, а также вероятность получения отказа. Относительная пропускная способность q определяется вероятностью того, что в момент заявки канал свободен и она будет обслужена, т.е. для одноканальной системы q = р0. В пределе, когда процесс уже установился значение относительной пропускной способности СМО будет равно
Абсолютная пропускная способность А определяется произведением относительной пропускной способности на интенсивность потока требований: А = q λ. В пределе она становится равной
Вероятность того, что заявка будет обслужена, определяется р0, а вероятность отказа — р1,. Таким образом, вероятность того, что канал будет занят:
Другой пример. Сборочный участок производит в один час 90 блоков, т.е. интенсивность потока λ = 1.5 блоков в 1 мин. На этом участке работает контролер, который выборочно проверяет изготовленные блоки аппаратуры, средняя продолжительность контрольных операций s = 1.25 мин. Если в момент прибытия очередного блока контролер занят, то этот блок сразу же перелается на дальнейшие операции без промежуточного контроля. Производство непрерывное и продолжается до обнаружения дефекта в одном из блоков, в этом случае технологический процесс останавливается и выясняются причины неисправности.