8.2. Потоки событий. Уравнения Колмогорова
В настоящее время теоретически наиболее разработаны и удобны в практических приложениях методы решения таких задач массового обслуживания, в которых поток требований является простейшим (пуассоновским).
Для простейшего потока частота поступления требований в систему подчиняется закону Пуассона, то есть вероятность поступления за время t, ровно k требований задается формулой:
Pk=e-λt
где λ – параметр потока (интенсивность – среднее число требований, поступивших в систему за единицу времени).
Простейший поток обладает тремя основными свойствами: ординарностью, стационарностью и отсутствием последействия.
Ординарность потока означает практическую невозможность одновременного поступления двух и более требований. Например, достаточно малой является вероятность того, что из группы станков, обслуживаемых бригадой ремонтников, одновременно выйдут из строя несколько станков.
Стационарным называется поток, вероятные характеристики которого не зависят от времени. Например, математическое ожидание числа требований, поступающих в систему в единицу времени, является величиной постоянной и называется интенсивностью потока. Таким образом, вероятность поступления в систему определенного количества требований в течение заданного промежутка времени t зависит от его величины и не зависит от начала его отсчета на оси времени.
Отсутствие последействия означает, что число требований, поступивших в систему до момента t, не определяет того, сколько требований поступит в систему за время t + t.
Например, если на ткацком станке в данный момент произошел обрыв нити, и он устранен ткачихой, то это не определяет того, произойдет новый обрыв на данном станке в следующий момент или нет, тем более это не влияет на вероятность возникновения обрыва на других станках.
Вероятность того, что на временном интервале t = τ не поступит ни одного требования p0 определяется как:
p0 = e-λτ.
Тогда вероятность того, что на этом же временном интервале появится хотя бы одно требование определяется соотношением
p(t) = 1 – p0 = 1 – e-λτ.
Вероятность попадания на элементарный временной интервал, т.е. когда τ = Δt, хотя бы одного события (требования) потока, можно определить, заменив функцию e-λτ двумя первыми числами её разложения в ряд Маклорена по степеням Δt. Действительно:
p(Δt) = 1 –e-λΔt ≈ λ Δt.
Важной характеристикой СМО является время обслуживания требований в системе. Время обслуживания является, как правило, случайной величиной и, следовательно, может быть описано законом распределения. Наибольшее распространение в теории и, особенно в практических приложениях, получил экспоненциальный закон. Для этого закона функция распределения вероятностей имеет вид:
р (t<T)=F(t)=1 – е-t,
т.е. вероятность того, что время обслуживания не превосходит некоторой величины t, где μ – интенсивность потока обслуживания требований в системе (среднее число требований, обслуженных в единицу времени).
Очевидно, что вероятность обслуживания хотя бы одного требования за элементарный временной отрезок будет определяться как:
p(Δt) = 1 –e-Δt ≈ μλ Δt.
При анализе случайных процессов с дискретными состояниями пользуются графиком состояний, где прямоугольником изображаются состояния, а переходы из состояния в состояние – стрелками. У стрелок обычно проставляются значения интенсивностей λij (μij) перехода системы из состояния Si в состояние Sj, которые происходят под воздействием простейших потоков событий.
Рассмотрим систему, которая может находиться в двух состояниях: S0 – система исправна; S1 – система находится в состоянии отказа и ремонтируется (рис. 8.1).
S0
S1
λ
μ
Рис. 8.1. Граф системы
Будем характеризовать состояние системы (S0,S1) вероятностями состояния р0 (t) и р1 (t). Очевидно, что
р0 (t) +р1 (t) = 1.
Найдем вероятность того, что система в момент (t+Δt) будет находиться в состоянии S0.
Это возможно, во-первых, в том случае, если система в момент времени t с вероятностью р0(t) находилась в состоянии S0 и за время Δt из него не вышла. Вероятность выхода системы за время Δt из состояния S0 в состояние S1 определяется как λ· Δt. Противоположная вероятность (что система не выйдет из S0) определяется как (1 – λΔt). Вероятность того, что система, находившаяся в состоянии S0 с вероятностью р0(t), за время Δt не выйдет из него, равна по теореме умножения вероятностей
р0(t) (1 – λΔt).
Во-вторых, система в момент времени t находилась с вероятностью р1(t) в состоянии S1 и за интервал времени Δt с вероятностью μ·Δt перешла в состояние S0, т.е.
р1(t)· μΔt.
Вероятность р0(t + Δt) нахождения системы в состоянии S0 момент времени (t + Δt) по какому-либо из двух рассмотренных способов равна сумме рассмотренных вероятностей
р0(t + Δt) = р0(t) (1 – λΔt)+ р1(t) μΔt
Преобразуем соотношение к виду
Переходя к пределу при Δt→0, получим
По аналогии составляется уравнение, описывающее вероятность того, что система в момент (t + Δt) будет находиться в состоянии S1, но проще это найти из условия нормирования
р0 (t) +р1 (t) = 1.
С учетом этого условия система уравнений для двух состояний графа имеет вид
Задав начальные условия, можно решить систему уравнений и найти систему функций времени рi(t), где i – номер состояния.
Для достаточно большого значения t распределение вероятностей стабилизируется и практически не зависит от времени, т.е.
Тогда система уравнений упрощается (стационарный режим)
Откуда вероятности состояний установившегося процесса определяются как
В частности, если μ=2; λ=1, то Р0=0,67; Р1=0,33. Таким образом, в среднем система будет находиться в рабочем состоянии 67%, а в состоянии ремонта 33% времени.
В общем случае система уравнений Колмогорова может быть составлена по следующему алгоритму.
1. В левой части каждого уравнения стоит производная вероятности i-го состояния.
2. В правой части каждого уравнения стоит:
2.1. Сумма произведений вероятностей всех состояний, из которых идут стрелки в i-е состояние, на интенсивности соответствующих потоков событий.
2.2. Минус суммарная интенсивность всех потоков, выводящих систему из данного состояния, умноженная на вероятность i-го состояния.
Система Колмогорова состоит из независимых уравнений и условия нормирования.