Классификация систем массового обслуживания и их основные элементы

      Следует заметить, что если закон распределения  времени обслуживания показательный, то при наличии нескольких обслуживающих устройств одинаковой мощности закон распределения времени обслуживания несколькими устройствами будет также показательным:

      

где n - количество обслуживающих устройств.

      Важным  параметром СМО является коэффициент загрузки , который определяется как отношение интенсивности поступления требований к интенсивности обслуживания v.

            (2)

      где a - коэффициент загрузки; - интенсивность поступления требований в систему; v - интенсивность обслуживания одного требования одним обслуживающим устройством.

      Из (1) и (2) получаем, что

      Учитывая, что  - интенсивность поступления требований в систему

в единицу  времени, произведение показывает количество требований, поступающих в систему обслуживания за среднее время обслуживания одного требования одним устройством.

      Для СМО с ожиданием количество обслуживаемых  устройств п должно быть строго больше коэффициента загрузки (требование установившегося или стационарного режима работы СМО) :

.

      В противном случае число поступающих  требований будет больше суммарной производительности всех обслуживающих устройств, и очередь будет неограниченно расти.

      Для СМО с отказами и смешанного типа это условие может быть ослаблено, для эффективной работы этих типов СМО достаточно потребовать, чтобы минимальное количество обслуживаемых устройств n было не меньше коэффициента загрузки :   
 
 
 
 
 
 
 
 
 
 
 
 

Раздел ІІ.Обслуживание с ожиданием

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

      СМО с ожиданием распространены наиболее широко. Их можно разбить на 2 большие  группы - разомкнутые и замкнутые. Эти системы определяют так же, как системы с ограниченным входящим потоком.

      К замкнутым относятся системы, в которых поступающий поток требований ограничен. Например, мастер, задачей которого является наладка станков в цехе, должен периодически их обслуживать. Каждый налаженный станок становится в будущем потенциальным источником требований на подналадку.

      В подобных системах общее число циркулирующих  требований конечно и чаще всего  постоянно.

      Если  питающий источник обладает бесконечным  числом требований, то системы называются разомкнутыми. Примерами подобных систем могут служить магазины, кассы вокзалов, портов и др. Для этих систем поступающий поток требований можно считать неограниченным.

      Мы  рассмотрим здесь классическую задачу теории массового обслуживания в  тех условиях, в каких она была рассмотрена и решена К.Эрлангом. на n одинаковых приборов поступает простейший поток требований интенсивности . Если в момент поступления имеется хотя бы один свободный прибор, оно немедленно начинает обслуживаться. Если же все приборы заняты, то вновь прибывшее требование становится в очередь за всеми теми требованиями, которые поступили раньше и ещё не начали обслуживаться. Освободившийся прибор немедленно приступает к обслуживанию очередного требования, если только имеется очередь. Каждое требование обслуживается только одним прибором, и каждый прибор обслуживает в каждый момент времени не более одного требования. Длительность обслуживания представляет собой случайную величину с одним и тем же распределением вероятностей F(x). Предполагается, что при x 0.

      

где - постоянная.

      Только  что описанная задача представляет значительный прикладной интерес, и  результаты, с которыми мы познакомимся, широко используются для практических целей. Реальных ситуаций, в которых  возникают подобные вопросы, исключительно много. Эрланг решил эту задачу, имея в виду постановки вопросов, возникших к тому времени в телефонном деле.

      Выбор распределения (1) для описания длительности обслуживания произведен не случайно. Дело в том, что в этом предположении задача допускает простое решение, которое с удовлетворительной для практики точностью описывает ход интересующего нас процесса. Распределение (1) играет в теории массового обслуживания исключительную роль, которая в значительной мере вызвана следующим его свойством:

При показательном распределении длительности обслуживания распределение длительности оставшейся части работы по обслуживанию не зависит от того, сколько оно уже продолжалось.

      Действительно, пусть означает вероятность того, что обслуживание, которое ужо продолжается время а, продлится еще не менее чем . В предположении, что длительность обслуживания распределена показательно, . Далее ясно, что и . А так как всегда и , и, следовательно,

      

Требуемое доказано.

Несомненно, что в реальной обстановке показательное время обслуживания является, как правило, лишь грубым приближением к действительности. Так, нередко время обслуживания не может быть меньше, чем некоторая определенная величина. Предположение же (1) приводит к тому, что значительная доля требовании нуждается лишь в кратковременной операции, близкой к 0. Позднее перед нами возникает задача освобождения от излишнего ограничения, накладываемого предположением (1). Необходимость этого была ясна уже самому Эрлангу, и он в ряде работ делал усилия найти иные удачные распределения для длительности обслуживания. В частности, им было предложено так называемое распределение Эрланга, плотность распределения которого дается формулой

где >0, a k— целое положительное число.

      Распределение Эрланга представляет собой распределение суммы k- независимых слагаемых, каждое из которых имеет распределение (1).

      Обозначим для случая распределения (1) через  время обслуживания требования. Тогда средняя длительность обслуживания равна

      

Это равенство  даст нам cпосоá оценки параметра по опытным данным. Как легко вычислить, дисперсия длительности обслуживания равна

2. Процесс обслуживания как марковский случайный процесс.

      В указанных нами предположениях о потоке требований и о длительности обслуживания задачи теории массового обслуживания приобретают некоторые черты, облегчающие проведение исследований. Мы отмечали уже вычислительную простоту. Теперь отметим более принципиальное соображение, которое станем развивать применительно к изучаемой задаче.

      В каждый момент рассматриваемая система может находиться в одном из следующих состоянии: в момент t в системе находятся k требовании (k=0, 1, 2, ...). Если k rn, то в системе находятся и обслуживаются k требований, а m-k - приборов свободны. Если k m, то m требований обслуживаются, а k-m находятся в очереди и ожидают обслуживания. Обозначим через состояние, когда в системе находятся k требований. Таким образом, система может находиться в состояниях ... Обозначим через — вероятность того, что система в момент t окажется в состоянии .

      Сформулируем, в чем заключается особенность изучаемых нами задач в сделанных предположениях. Пусть в некоторый момент наша система находилась и состоянии . Докажем, что последующее течение процесса обслуживания не зависит в смысле теории вероятностей от того, что происходило до момента . Действительно, дальнейшее течение обслуживания полностью определяется тремя следующими факторами:

      моментами окончания обслуживаний, производящихся в момент ;

      моментами появления новых требований;

      длительностью обслуживания требований, поступивших после .

В силу особенностей показательного распределения длительность остающейся части обслуживания не зависит от того, как долго уже продолжалось обслуживание до момента . Так как поток требований простейший, то прошлое не влияет на то, как много требований появится после момента . Наконец длительность обслуживания требований, появившихся после , никак не зависит от того, что и как обслуживалось до момента .

      Известно, что случайные процессы, для которых  будущее развитие зависит только от достигнутого в данный момент состояния и не зависит от того, как происходило развитие в прошлом, называются процессами Маркова или же процессами без последействия. Итак, система с ожиданием в случае простейшего потока и показательного времени обслуживания представляет собой случайный процесс Маркова. Это обстоятельство облегчает дальнейшие рассуждении.

3. Составление уравнений.

      Задача  теперь состоит в том, чтобы найти  те уравнения, которым удовлетворяют  вероятности  . Одно из уравнения очевидно, a именно для каждого t

                                        (2)

      Найдём сначала  вероятность того, что и момент t.+h все приборы свободны. Это может произойти следующими способами:

• в момент t все приборы были свободны и за время h новых требований не поступало;
• в момент t один прибор был занят обслуживанием требования, все остальные приборы свободны; за время h обслуживание требования было завершено и новых требований не поступило.

      Остальные возможности, как-то: были заняты два  или три прибора и за время h работа на них біла закончена - имеют вероятность о(h), как легко в этом убедится.

      Вероятность первого из указанных событий  равна

,

вероятность второго события

.

      Таким образом

.

Отсюда  очевидным образом приходим  уравнению

      Перейдём  теперь к составлению уравнений  для  при 1. Рассмотрим отдельно два различных случая: 1 и . Пусть в начале 1 . Перечислим только существенные состояния, из которых можно прийти в состояние в момент t+h. Эти состояния таковы:

      В момент t система находилась в состоянии , за время h новых требований не поступило и ни один прибор не окончил обслуживания. Вероятность этого события равна:

      В момент t система находилась в состоянии , за время h поступило новое требование, но ни одно ранее находившееся требование не было закончено обслуживанием. Вероятность этого события равна

      В момент t система находилась в состоянии , за время h новых требований не поступило, но одно требование было обслужено. Вероятность этого равна

 Все остальные мыслимые возможности  перехода в состояние  за промежуток времени h имеют вероятность, равную о(h).

      Собрав  воедино найденные вероятности, получаем следующее равенство:

 Несложные преобразования приводят от этого равенства к такому уравнению  для 1 ;