Математическая энциклопедия - массового обслуживания теория

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

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

Напр., для такого типичного объекта М. о. т., как автоматические телефонные станции (см. Массового обслуживания система с отказами), одной из основных характеристик является доля вызовов получивших отказ, т. е. предел рпри (если он существует) отношения r(t)/e(t).числа r(t).вызовов, получивших отказ за время t, к общему числу e(t).вызовов, поступивших за это время. При этом предполагаются известными распределение интервалов времени между поступлениями вызовов и распределение времени обслуживания этих вызовов. Задание распределения случайной (управляющей) последовательности вместе с описанием алгоритма, по к-рому происходит эволюция системы массового обслуживания, и составляют исходные данные, характеризующие "локальные свойства" процесса обслуживания.

Аналогичным образом для массового обслуживания систем с ожиданием многоканальных изучаются предельные при распределения вероятностей для времени wn к-рое n-й по счету вызов, поступивший в систему, ожидал начала своего обслуживания с момента прихода, и для длины qn очереди в момент появления в системе n-го вызова. Рассматриваются также предельные распределения для длины очереди в момент времени t и др. При этом исходным опять является задание управляющей последовательности случайных величин (распределение интервалов и времени обслуживания) и алгоритм, определяющий работу системы массового обслуживания.

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

т. е. входящий поток является пуассоновским; 2) величины независимы, одинаково распределены и не зависят от Тогда определенная выше вероятность отказа рсуществует и равна

где р равно отношению математич. ожиданий

Для рассматриваемой системы отказ от одного из условий 1) 2) значительно усложняет или делает невозможным отыскание явных формул для числа р.

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