Элементами СМО являются:
Как правило, на практике имеют дело с так называемыми рекуррентными потоками, потоками, обладающими свойствами:
Первые два свойства мы определили ранее. Что касается ограниченного последействия, то оно заключается в том, что интервалы между поступающими заявками являются независимыми случайными величинами.
Рекуррентных потоков много. Каждый закон распределения интервалов порождает свой рекуррентный поток. Рекуррентные потоки иначе называют потоками Пальма.
здесь - интенсивность потока.
Название потока - пуассоновский - происходит от того,
что для этого потока вероятность появления заявок за интервал определяется законом Пуассона:
Именно такой поток предполагают проектировщики при разработке СМО. Вызвано это тремя причинами.
Во-первых, поток этого типа в теории массового обслуживания аналогичен нормальному закону распределения в теории вероятностей в том смысле, что к простейшему потоку приводит предельный переход для потока, являющегося суммой потоков с произвольными характеристиками при бесконечном увеличении слагаемых и уменьшении их интенсивности. То есть сумма произвольных независимых (без преобладания) потоков с интенсивностями является простейшим потоком с интенсивностью
Во-вторых, если обслуживающие каналы (приборы) рассчитаны на простейший поток заявок, то обслуживание других типов потоков (с той же интенсивностью) будет обеспечено с не меньшей эффективностью.
В-третьих, именно такой поток определяет марковский процесс в системе и, следовательно, простоту математического анализа системы. При других потоках анализ функционирования СМО сложен.
Часто встречаются системы, у которых поток входных заявок зависит от количества заявок, находящихся в обслуживании. Такие СМО называют замкнутыми (иначе - разомкнутыми). Например, работа мастерской связи объединения может быть представлена моделью замкнутой СМО. Пусть эта мастерская предназначена для обслуживания радиостанций, которых в объединении . Каждая из них имеет интенсивность отказов . Входной поток отказавшей аппаратуры будет иметь интенсивность :
где - количество радиостанций, уже находящихся в мастерской на ремонте.
Заявки могут иметь разные права на начало обслуживания. В этом случае говорят, что заявки неоднородные. Преимущества одних потоков заявок перед другими задаются шкалой приоритетов.
Важной характеристикой входного потока является коэффициент вариации:
где - математическое ожидание длины интервала;
- среднеквадратическое отклонение случайной величины (длины интервала) .
Для простейшего потока
Для большинства реальных потоков .
При поток регулярный, детерминированный.
Коэффициент вариации - характеристика, отражающая степень неравномерности поступления заявок.
Каналы (приборы) обслуживания. В СМО могут быть один или несколько обслуживающих приборов (каналов). Согласно с этим СМО называют одноканальными или многоканальными.
Многоканальные СМО могут состоять из однотипных или разнотипных приборов. Обслуживающими приборами могут быть:
Основная характеристика канала - время обслуживания. Как правило, время обслуживания - величина случайная.
Обычно практики полагают, что время обслуживания имеет экспоненциальный закон распределения:
где - интенсивность обслуживания, ;
- математическое ожидание времени обслуживания.
То есть процесс обслуживания - марковский, а это, как теперь нам известно, дает существенные удобства в численно-математическом моделировании.
Кроме экспоненциального встречаются -распределение Эрланга, гиперэкспоненциальное, треугольное и некоторые другие. Это нас не должно смущать, так как показано, что значение критериев эффективности СМО мало зависят от вида закона распределения вероятностей времени обслуживания.
При исследовании СМО выпадает из рассмотрения сущность обслуживания, качество обслуживания.
Каналы могут быть абсолютно надежными, то есть не выходить из строя. Вернее, так может быть принято при исследовании. Каналы могут обладать конечной надежностью. В этом случае модель СМО значительно сложнее.
Очередь заявок. В силу случайного характера потоков заявок и обслуживания пришедшая заявка может застать канал (каналы) занятым обслуживанием предыдущей заявки. В этом случае она либо покинет СМО не обслуженной, либо останется в системе, ожидая начало своего обслуживания. В соответствии с этим различают:
Исследователя обычно интересуют такие статистические характеристики, связанные с пребыванием заявок в очереди:
Встречаются случаи, когда заявки проходят через несколько СМО: транзитная связь, производственный конвейер и т. п. В этом случае выходящий поток является входящим для следующей СМО.
Входящий поток первой СМО, пройдя через последующие СМО, искажается и это затрудняет моделирование. Однако, следует иметь в виду, что при простейшем входном потоке и экспоненциальном обслуживании (то есть в марковских системах) выходной поток тоже простейший.Если время обслуживания имеет не экспоненциальное распределение, то выходящий поток не только не простейший, но и не рекуррентный.
Заметим, что интервалы между заявками выходящего потока, это не то же самое, что интервалы обслуживания. Ведь может оказаться, что после окончания очередного обслуживания СМО какое-то время простаивает из-за отсутствия заявок. В этом случае интервал выходящего потока состоит из времени незанятости СМО и интервала обслуживания первой, пришедшей после простоя, заявки.
В системах с отказами есть поток необслуженных заявок. Если в СМО с отказами поступает рекуррентный поток, а обслуживание - экспоненциальное, то и поток необслуженных заявок - рекуррентный.
В многоканальных СМО могут образовываться очереди свободных каналов. Количество свободных каналов - величина случайная. Исследователя могут интересовать различные характеристики этой случайной величины. Обычно это среднее число каналов, занятых обслуживанием за интервал исследования.
Таким образом, по признакам, влияющим на функционирование, СМО может принадлежать к одному из типов в соответствии с приводимой классификацией (рис. 2.10).
Для обозначения простых (однофазных) СМО используется символика, предложенная Кендаллом:
- входящий поток заявок: - рекуррентный поток; - простейший поток с показательным законом распределения вероятностей; - регулярный или детерминированный поток (с постоянными интервалами между моментами поступления заявок).
- случайная длительность обслуживания: или - рекуррентное обслуживание с одной и той же функцией распределения для разных каналов; - показательное обслуживание; - регулярное обслуживание.
- количество обслуживающих каналов. Если n > 1, то система называется многоканальной.
- количество мест для ожидания заявок в очереди. Если , то СМО с потерями (без ожидания); - система с неограниченным ожиданием; - система с ограниченным числом мест для ожидания.
Боев В.Д., Сыпченко Р.П. Компьютерное моделирование