Русская Википедия:Теория массового обслуживания
Теория массового обслуживания, или теория очередей (Шаблон:Lang-en), — раздел теории вероятностей, целью исследований которого является рациональный выбор структуры системы обслуживания и процесса обслуживания на основе изучения потоков требований на обслуживание, поступающих в систему и выходящих из неё, длительности ожидания и длины очередей[1]. В теории массового обслуживания используются методы теории вероятностей и математической статистики.
История
Теорию потока однородных событий, которая легла в основу теории массового обслуживания, разработал советский математик А. Я. Хинчин[2].
Первые задачи теории массового обслуживания (ТМО) были рассмотрены сотрудником Копенгагенской телефонной компании, ученым Агнером Эрлангом, в период между 1908 и 1922 годами. Стояла задача упорядочить работу телефонной станции и заранее рассчитать качество обслуживания потребителей в зависимости от числа используемых устройств.
Имеется телефонный узел (обслуживающий прибор), на котором телефонистки время от времени соединяют отдельные номера телефонов друг с другом. Системы массового обслуживания (СМО) могут быть двух видов: с ожиданием и без ожидания (то есть, с потерями). В первом случае вызов (требование, заявка), пришедший на станцию в момент, когда занята нужная линия, остается ждать момента соединения. Во втором случае он «покидает систему» и не требует внимания СМО.
Системы массового обслуживания представляют собой эффективный математический инструмент для исследования широкого круга реальных социально-экономических[3] и демографических процессов[4].
Поток
Однородный поток
Шаблон:Main Поток заявок однороден, если:
- все заявки равноправны,
- рассматриваются только моменты времени поступления заявок, то есть факты заявок без уточнения деталей каждой конкретной заявки.
Поток без последействия
Поток без последействия, если число событий любого интервала времени (<math>t</math>, <math>t+x</math>) не зависит от числа событий на любом другом не пересекающемся с нашим (<math>t</math>, <math>t+x</math>) интервале времени.
Стационарный поток
Поток заявок стационарен, если вероятность появления n событий на интервале времени (<math>t</math>, <math>t+x</math>) не зависит от времени <math>t</math>, а зависит только от длины <math>x</math> этого участка.
Простейший поток
Однородный стационарный поток без последействий является простейшим, потоком Пуассона.
Число <math>n</math> событий такого потока, выпадающих на интервал длины <math>x</math>, распределено по Закону Пуассона:
- <math>P(n,x) = \frac{(\lambda x)^n e^{-\lambda x}}{n!}.</math>
Пуассоновский поток заявок удобен при решении задач ТМО. Строго говоря, простейшие потоки редки на практике, однако многие моделируемые потоки допустимо рассматривать как простейшие.
Нормальный поток
Cтационарный поток без последействий, для которого интервалы между событиями распределены по нормальному закону, называется нормальным потокомШаблон:Sfn: <math>f(t)=\frac{1}{\sqrt{2\pi} \sigma_{t}}\exp{-\frac{1}{2} \left ( \frac{t-m_{t}}{\sigma_{t}} \right )^{2} }</math>.
Поток Эрланга
Потоком Эрланга <math>k</math>-го порядка называется стационарный поток без последействий, у которого интервалы между событиями представляют собой сумму <math>k+1</math> независимых случайных величин, распределенных одинаково по экспоненциальному закону с параметром <math>\lambda</math>Шаблон:Sfn. При <math>k=0</math> поток Эрланга является простейшим потоком.
Плотность распределения случайной величины T-интервала между двумя соседними событиями в потоке Эрланга <math>k</math>-го порядка равна: <math>f_{k}(t)=\frac{\lambda (\lambda t)^{k}}{\Gamma(\alpha)}\exp{-\beta t}</math>, <math>t>0, \alpha \geqslant 1</math>.
Гамма-поток
Гамма-потоком называется стационарный поток без последействий, у которого интервалы между событиями представляют собой случайные величины, подчиненные гамма-распределению с параметрами <math>\alpha</math> и <math>\beta</math>: <math>f(t)=\frac{\beta^{\alpha} t^{\alpha - 1}}{k!}\exp{-\lambda t}</math>, <math>t>0</math>, где <math>\Gamma(\alpha)=\int_{0}^{\infty}x^{\alpha-1}\exp{-x}dx</math>Шаблон:Sfn.
При <math>\alpha = k + 1</math> гамма-поток является потоком Эрланга <math>k</math>-го порядка.
Мгновенная плотность
Мгновенная плотность (интенсивность) потока равна пределу отношения среднего числа событий, приходящихся на элементарный интервал времени (<math>t</math>, <math>t+x</math>) к длине интервала (<math>x</math>), когда последний стремится к нулю.
- <math>\lambda (t) = \lim_{x\to 0}\left(\frac{M(t+x)-M(t)}{x}\right)</math>
или, для простейшего потока,
- <math>\lambda = \frac{M(x)}{x},</math>
где <math>M(x)</math> равно математическому ожиданию числа событий на интервале <math>x</math>.
Формула Литтла
- <math>N^{*} = \lambda T.</math>
Среднее число заявок в системе равно произведению интенсивности входного потока на среднее время пребывания заявки в системе.
См. также
Примечания
Литература
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Гнеденко Б. В., Коваленко И. Н. Введение в теорию массового обслуживания. — М.: Издательство «Наука», Главная редакция физико-математической литературы, 1966. — 432 с. — 12000 экз.
- ↑ Теория массового обслуживания // Математический энциклопедический словарь. — М.: «Советская энциклопедия», 1988, стр. 327—328
- ↑ Шаблон:Книга
- ↑ Афанасьева Л. Г.,Руденко И. В. Системы обслуживания GI|G|∞ и их приложения к анализу транспортных моделей // Теория вероятностей и её применение. — 2012. Т. 57 Вып. 3. — С. 427—452.
- ↑ Носова М. Г. Автономная немарковская система массового обслуживания и ее применение в задачах демографии: дис. … канд. физ.мат. наук: 05.13.18. — Томск, 2010. — С. 204.
