1.3 Графы состояний СМО

При анализе случайных процессов с дискретными состояниями и непрерывным временем удобно пользоваться вариантом схематичного изображения возможных состояний СMO (рис. 6.2.1) в виде графа с разметкой его возможных фиксированных состояний. Состояния СМО изображаются обычно либо прямоугольниками, либо кружками, а возможные направления переходов из одного состояния в другое ориентированы стрелками, соединяющими эти состояния. Например, размеченный граф состояний одноканальной системы случайного процесса обслуживания в газетном киоске приведен на рис. 1.3.

л₀₁ л₁₂

л₁₀ л₂₁

Рис. 1.3. Размеченный граф состояний СМО

Система может находиться в одном из трех состояний: S₀ -канал свободен, простаивает, S₁ -- канал занят обслуживанием, S₂- канал занят обслуживанием и одна заявка в очереди. Переход системы из состояния S₀ в S_l происходит под воздействием простейшего потока заявок интенсивностью л ₀₁ а из состояния S_l в состояние S₀ систему переводит поток обслуживания с интенсивностью л ₀₁. Граф состояний системы обслуживания с проставленными интенсивностями потоков у стрелок называется размеченным. Поскольку пребывание системы в том или ином состоянии носит вероятностный характер, то вероятность:p_i(t) того, что система будет находиться в состоянии S_i в момент времени t, называется вероятностью i-го состояния СМО и определяется числом поступивших заявок k на обслуживание.

Случайный процесс, происходящий в системе, заключается в том, что в случайные моменты времени t₀, t_1, t₂,..., t_k,..., t_n система оказывается в том или другом заранее известном дискретном состоянии последовательно. Такая. случайная последовательность событий называется Марковской цепью, если для каждого шага вероятность перехода из одного состояния S_t в любое другое Sj не зависит от того, когда и как система перешла в состояние S_t. Описывается марковская цепь с помощью вероятности состояний, причем они образуют полную группу событий, поэтому их сумма равна единице. Если вероятность перехода не зависит от номера к, то марковская цепь называется однородной. Зная начальное состояние системы обслуживания, можно найти вероятности состояний для любого значения к-числа заявок поступивших на обслуживание.