Теория случайных процессов и системы массового обслуживания. Учебное пособие
.pdfМинистерство науки и высшего образования Российской Федерации
Санкт-Петербургский государственный архитектурно-строительный университет
Я. И. Белопольская, В. Ю. Васильчук
ТЕОРИЯ СЛУЧАЙНЫХ ПРОЦЕССОВ И СИСТЕМЫ МАССОВОГО ОБСЛУЖИВАНИЯ
Учебное пособие
Санкт-Петербург 2019
ÓÄÊ 519.2
Рецензенты:
д-р физ.-мат. наук, вед. науч. сотр. Н. В. Смородина (ПОМИ РАН); д-р физ.-мат. наук, профессор В. Б. Смирнова (СПбГАСУ)
Белопольская, Я. И.
Теория случайных процессов и системы массового обслуживания : учеб. пособие / Я. И. Белопольская, В. Ю. Васильчук, СПбГАСУ. СПб., 2019. 80 с.
978-5-9227-0963-7
В пособии рассматриваются марковские цепи и их приложения в теории систем массового обслуживания.
Предназначено для студентов специальности ¾Прикладная математика и информатика¿ всех форм обучения.
Табл. 6. Ил. 18. Библиогр.: 4 назв.
Рекомендовано Учебно-методическим советом СПбГАСУ в качестве учебного пособия
978-5-9227-0963-7
c Я. И. Белопольская, В. Ю. Васильчук, 2019c Санкт-Петербургский государственный архитектурно-строительный университет, 2019
3
1. Случайные величины и их характеристики
Основные определения. Результат любого случайного эксперимента можно характеризовать качественно и количественно. Качественный результат слу- чайного эксперимента случайное событие. Любая количественная характеристика, которая в результате случайного эксперимента может принять одно из некоторого множества значений, это случайная величина. Случайная величи- на является одним из центральных понятий теории вероятностей.
Для того чтобы задать случайную величину, нужно зафиксировать вероятностное пространство ( ; F; P ). Здесь множество событий, F заданная на
нем сигма-алгебра подмножеств и P вероятность, т. е. мера, заданная на F и обладающая свойством P ( ) = 1. Случайной величиной называется действительная числовая функция = (!), такая, что при любом действительном x
f! : (!) < xg 2 F:
Событие f! : (!) < xg принято записывать в виде f < xg.
Случайной величиной является число очков, выпавших при бросании игральной кости, или рост (в сантиметрах) случайно выбранного из учебной группы студента. В первом случае мы имеем дело с дискретной случайной вели- чиной (она принимает значения из дискретного числового множества M =
= f1; 2; 3; 4; 5; 6g), во втором случае с непрерывной случайной величиной (она
принимает значения из непрерывного числового множества из промежутка числовой прямой I = [100; 200]).
Функция распределения случайной величины и ее свойства
Если случайная величина, то функция F (x) = P ( < x) называется функцией распределения случайной величины . Здесь P ( < x) вероятность того, что случайная величина принимает значение, меньшее x. Каждая
случайная величина полностью определяется своей функцией распределения. Функция распределения любой случайной величины обладает следующими
свойствами:
F (x) определена на всей числовой прямой R;
F (x) не убывает, т. е. если x1 x2, òî F (x1) F (x2);
F ( 1) = 0; F (+1) = 1, ò. å. limx! 1 F (x) = 0 è limx!1 F (x) = 1;
F (x) непрерывна справа, т. е. limx!x0+0 F (x) = F (x0).
Функция распределения дискретной случайной величины
Если дискретная случайная величина, принимающая значения x1 < x2 < < : : : < xi < : : : с вероятностями p1 < p2 < : : : < pi < : : : , то таблица вида
4
Таблица 1
|
x1 |
x2 |
. . . |
xi |
p |
p1 |
p2 |
. . . |
pi |
называется распределением дискретной случайной величины. У дискретной случайной величины функция распределения ступенчатая. Математическое ожи-
дание дискретной случайной величины , имеющей распределение pk = P ( = = xk); k = 1; : : : ; n; вычисляется по формуле E = Pnk=1 xkpk; а дисперсия по формуле D = E[ E ]2.
Производящей функцией распределения pk = P ( = k) дискретной слу- чайной величины , принимающей неотрицательные целочисленные значения k = 0; 1; 2; : : : ; называется ряд
1 |
|
Xk |
jzj 1: |
(z) = zkpk; |
|
=0 |
|
Распределение вероятностей однозначно определяется своей производящей функ-
öèåé:
1 dk
pk = k! dzk (z)jz=0; k = 0; 1; 2; : : : :
С помощью производящей функции (z) могут быть вычислены начальные и
центральные моменты случайной величины; в частности, математическое ожидание и дисперсия определяются как
E = |
d |
(z)jz=0; D = |
d2 |
(z)jz=0 + |
d |
(z)jz=0 [ |
d |
(z)jz=0]2: |
dz |
dz2 |
dz |
dz |
Функция распределения и плотность вероятности непрерывной слу- чайной величины
Если функция распределения F (x) непрерывна, то случайная величина называется непрерывной случайной величиной. Если функция распределения непрерывной случайной величины дифференцируема, то более наглядное представление о случайной величине дает плотность вероятности случайной ве-
личины |
p (x), которая связана с функцией распределения F (x) формулой |
F (x) = |
x1 f (y)dy. |
R |
|
Математическое ожидание непрерывной случайной величины с плотностью вероятностей f (x) вычисляется по формуле E = R 11 yf (y)dy . Ïðè ýòîì åñ-
ли интеграл в правой части последнего равенства расходится, то говорят, что
5
случайная величина не имеет математического ожидания. Если случайная ве-
личина является функцией случайной величины , = g( ), то E = Eg( ) = = R11 g(y)f (y)dy.
Преобразование Лапласа
Преобразованием Лапласа плотности распределения f(x) неотрицательной непрерывной случайной величины называется функция
Z 1
F (s) = e sxf (x)dx; s > 0:
0
Плотность распределения однозначно определяется своим преобразованием Лапласа. Дифференцируя преобразование Лапласа по s в точке s = 0, можно
определить моменты случайной величины:
( 1)kE k = |
dkF (s) |
js=0; k = 1; 2; : : : : |
dsk |
Преобразование Лапласа F (s) суммы X = 1 + 2 + + n n независимых случайных величин равно произведению преобразований Лапласа слагаемых:
n
Y
F (s) = Fk(s):
k=1
Наиболее распространенные распределения дискретных и непрерывных случайных величин
Биномиальное распределение
Пусть проводится серия из n независимых испытаний, каждое из которых
заканчивается либо ½успехом либо ½неуспехом . Пусть в каждом испытании (опыте) вероятность успеха p, а вероятность неуспеха q = 1 p. С таким испы-
танием можно связать случайную величину n, значение которой равно числу успехов в серии из n испытаний. Эта величина принимает значения от 0 до n. Ее распределение называется биномиальным и определяется формулой Бернулли:
pk = P ( n = k) = Cnkpkqn k = |
n! |
|
|
; 0 < p < 1; k = 0; 1; : : : ; n; |
|
|
||
|
k!(n k)! |
|
E n = np; Dx = npq.
6
Пуассоновское распределение
Пуассоновское распределение c параметром l имеет случайная величина , принимающая целые неотрицательные значения k = 0; 1; 2; : : : с вероятностями
k |
1 |
||
|
|
e ; |
Xk |
pk = P ( = k) = |
|
pk = 1; |
|
|
k! |
=0 |
|
|
|
|
|
E = ; Dx = ; > 0.
Экспоненциальное (показательное) распределение
Непрерывная случайная величина имеет показательное распределение с параметром > 0, если она принимает только неотрицательные значения, а ее
плотность распределения p (t) и функция распределения F (t) имеют соответственно вид:
f (t) =
E = 1;
( |
|
|
|
e t; t 0; ; |
F (t) = |
||
0; |
t < 0; |
|
|
|
2 |
|
1 |
E 2 = |
|
; Ee s = Z0 |
|
2 |
|||
(0; |
e t; |
t < 0; |
|||
1 |
t 0; |
||||
e stf (t)dt = |
|
|
: |
||
s + |
|
||||
|
|
|
|
||
Гиперэкспоненциальное распределение
Непрерывная случайная величина имеет гиперэкспоненциальное распределение с параметром > 0, если она принимает только неотрицательные значе-
ния, а ее плотность распределения p (t) и функция распределения F (t) имеют соответственно вид:
|
(0; |
t < 0; |
|
(0; |
t < 0; |
p |
(t) = |
im=1 bi ie it; t 0; ; |
F (t) = |
P |
im=1 bi[1 e it]; t 0; |
|
P |
|
|
|
ãäå |
im=1 bi = 1. |
m |
bi |
||||
P |
1 |
||||||
Ïðè ýòîì |
tp (t)dt = i=1 |
i ; |
|||||
|
E = Z0 |
||||||
|
|
X |
|
|
|
|
|
|
1 |
m |
|
|
|
|
|
|
Z0 |
i=1 |
i |
||||
|
E 2 = |
t2p (t)dt = |
|
2bi ; |
|||
|
|
X |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
m |
sbi i i : |
||||
|
Ee s = Z01 e stp (t)dt = i=1 |
||||||
|
|
X |
|
|
|
||
7
Нормальное распределение
Нормальное распределение играет исключительно важную роль в теории вероятностей и математической статистике. Случайная величина нормально распределена с параметрами m и 2, если ее плотность распределения p (x) и функция распределения F (x) имеют соответственно вид:
p (x) = p2 e |
2 2 |
; |
F (x) = p2 Z1 e |
2 2 |
dy: |
||
1 |
|
(x m)2 |
|
1 |
x |
(y m)2 |
|
Распределение Эрланга
Распределением Эрланга k-го порядка называется распределение, описывающее непрерывную случайную величину X, принимающую положительные значения в интервале (0; +1) и представляющую собой сумму k независимых
случайных величин, распределенных по одному и тому же экспоненциальному закону с параметром . Функция и плотность распределения Эрланга k-го
порядка имеют вид:
k 1 |
( x)i |
|
|
( x)k 1 |
|||
Xi |
|
|
|
|
|
|
|
i! |
; |
fk(x) = |
(k |
|
1)! e x; |
||
Fk(x) = 1 e x |
|
||||||
=0 |
|
|
|
|
|
|
|
где > 0 и натуральное число k параметры распределения Эрланга.
При k = 1 распределение Эрланга вырождается в экспоненциальное, а при k ! 1 приближается к нормальному распределению. Преобразование Лапласа распределения Эрланга k-го порядка
F (s) = |
s + |
k |
||
: |
||||
|
|
|
|
|
Поскольку распределение Эрланга является двупараметрическим (с параметрами k и ), то оно может использоваться для аппроксимации реальных рас-
пределений по двум первым моментам.
Случайные процессы
Семейство случайных величин (t), зависящих от параметра t 2 T из некоторого множества T , называется случайным процессом. Параметр t часто имеет смысл времени. Если T = ft0; t1; : : : ; tng, то говорят о процессах с дискретным временем, а если T = [0; ], то говорят о процессах с непрерывным временем. Если множество V значений случайной величины (t) дискретно, V = fx1; : : : ; xmg, то (t) называют цепью.
8
Ниже мы будем рассматривать цепи с дискретным и непрерывным временем.
Рассмотрим в качестве примера пуассоновский процесс N(t) случайный процесс с непрерывным временем со значениями в бесконечном множестве V = = f0; 1; 2; : : : g, обладающий следующими свойствами:
1)N(0) = 0; P fN(t) = kg = e t ktk
k! ;
2) приращения N(t + t) N(t) и N(s + s) N(s) на непересекающихся интервалах 0 < t < t + t < s < s + s независимы.
2. Марковские цепи
Пусть N множество натуральных чисел, T > 0. Обозначим B(R) пространство
измеримых ограниченных борелевских функций, заданных на вещественной оси R, M(R) пространство ограниченных борелевских мер, определенных на бо-
релевской -алгебре BR. Для заданной случайной величины 2 R, функции f 2 B(R) и -подалгебры G -алгебры F пусть E[f( )jG] обозначает условное математическое ожидание случайной величины = f( ) относительно G.
Случайная величина 2 R порождает вероятностную меру , определен- ную соотношением (G) = P f! : (!) 2 Gg для любого борелевского подмножества G 2 BR. Пусть F обозначает -алгебру, порожденную случайными величинами ( ); 2 [s; T ].
Случайный процесс (t) 2 R называется марковским случайным процессом, если для любой измеримой ограниченной скалярной функции f(x) справедливо равенство
E[f( (t))jF ] = E[f( (t))j ( )]: |
(2.1) |
Для любого G 2 BR соотношение P (s; x; t; G) = P f (t) 2 Gj (s) = xg определяет переходную вероятность марковского процесса (t). Марковское свойство процесса (t) влечет за собой справедливость уравнения Чепмена Колмогорова Z
P (s; x; t; G) = P (s; x; ; dy)P ( ; y; t; G): (2.2)
R
Марковский процесс называют однородным по времени, если
P (s; x; t; G) = P (t s; x; G):
В случае когда множество значений процесса (t) дискретное множество V , например, V = f1; 2; : : : ; d1g или V множество целых чисел, случайный про-
9
цесс {(t) со значением в V называют однородной по времени марковской цепью, если справедливы соотношения
P f{(t + h) = lj (t) = lg = 1 qlh + o(h);
X
P f (t + h) = mj (t) = lg = qlmh + o(h); ãäå m 6= l; è ql = qlm:
m6=l
Примером марковской цепи с непрерывным временем и дискретным множеством состояний X = N является пуассоновскмй процесс N(t) с интенсивностью
, поскольку
P fN(t + h) = l + 1jN(t) = lg = h + o(h); P fN(t + h) = ljN(t) = lg = 1 h + o(h):
Для заданной марковской цепи {(t) обозначим plm(h) = P ({(t+h) = mj{(t) = = l) ее переходную вероятность и пусть P (h) матрица с элементами plm(h).
Если марковская цепь задана в терминах qlm, то важно иметь в виду, что ее переходные вероятности plm задаются соотношением
plm = |
qlm |
= |
qlm |
: |
ql |
Pm6=l qlm |
3. Цепи Маркова с дискретным временем
Пусть S1, S2; : : : ; Sk множество состояний некоторой физической системы. В любой момент времени система может находиться в одном состоянии и меняет свое состояние только в моменты t1, t2; : : : ; tn; : : : . Для однородных цепей Маркова вероятность pij перехода системы из состояния Si в состояние Sj çà один шаг зависит только от того, из какого состояния в какое осуществлялся переход.
Вероятности перехода pij образуют матрицу перехода P:
0
p11 p12
Bp21 p22
P = B
@: : : : : :
pn1 pn2
:: : p1n
:: : p2n
:: : : : :
:: : pnn
1
C
C:
A
Матрицу P называют матрицей перехода однородной цепи Маркова за один шаг. Матрица P обладает следующими свойствами:
à) 0 pij 1;
k
á) P pij = 1 (i= 1, 2, . . . , k).
j=1
10
Квадратные матрицы, для которых выполняются условия а) и б), называются стохастическими.
Вектор p~ = (p1; p2; : : : ; pk), ãäå pi = P (Si) вероятность появления состояния Si (i = 1, 2, : : : , k) в начальном испытании, называется вектором начальных вероятностей.
Свойства однородных марковских цепей полностью определяются вектором начальных вероятностей и матрицей вероятностей перехода. В некоторых слу- чаях вместо матрицы P используют ориентированный граф, вершинами которого являются состояния цепи, а стрелка, идущая от состояния Sk в состояние Sj
с числом pkj рядом с ней, показывает, что из состояния Sk возможен переход в состояние Sj с вероятностью pkj. В том случае, когда pkj = 0, соответствующее ребро не проводится. В случае однородных цепей Маркова с вектором начальных вероятностей появляется еще начальная вершина графа, которая соединяется с состоянием Sk ребром с числом pk рядом с ним.
Можно показать, что матрица перехода P(n) çà n шагов находится как Pn. Если из состояния Si система может перейти в состояние Sj с положитель- ной вероятностью за конечное число шагов, то говорят, что Sj достижимо из Si. Состояние Si называется существенным, если для каждого состояния Sj, дости- жимого из Sk; Sk достижимо из Sj. В противном случае Sk называется несуще-
ственным состоянием.
Пример 3.1. Частица, находящаяся на прямой, движется по этой прямой под влиянием случайных толчков, происходящих в моменты t1, t2, t3; : : : . Частица может находиться в точках с целочисленными координатами 1; 2; 3; 4; 5; в точ-
ках 1 и 5 находятся отражающие стенки. Каждый толчок перемещает частицу вправо с вероятностью p и влево с вероятностью q, если частицы не находятся
у стенки. Если же частица находится у стенки, то любой толчок переводит ее на единицу внутрь промежутка [1; 5]. Найти матрицу перехода P и ей соответ-
ствующий граф.
Решение. Пусть Sk, k = 1, 2, 3, 4, 5. Тогда граф перехода выглядит следующим образом (рис. 3.1).
