Главная страница Случайная страница
КАТЕГОРИИ:
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
В. Примеры случайных процессов
|
|
1. Процесс Пуассона. Рассмотрим простейший поток случайных событий, наступающих в интервале времени (0, t). Напомним свойства простейшего потока (см. гл. VI, § б):
1) стационарность (вероятность появления k событий за время t зависит только от k и t);
2) отсутствие последействия (вероятность появления k событий в течение промежутка времени (Т, T+t) не зависит от того, сколько событий и как появлялось до момента Т);
3) ординарность (вероятность появления более одного события за малый промежуток времени Δ t есть бесконечно малая более высокого порядка, чем Δ t, т. е. Pk> 1(Δ t) =o (Δ t), где 
Поставим своей задачей найти вероятность Pk (t) появления k событий за время длительности t. Для упрощения вывода используем следствие, которое можно получить из приведенных выше свойств:
4) вероятность того, что за малое время Δ t наступит ровно одно событие, пропорциональна Δ t с точностью до бесконечно малой высшего порядка относительно Δ t:
P 1(Δ t) =λ Δ t + 0 (Δ t)(*)
а) Найдем вероятность Р0 (t) того, что за время длительности t не наступит ни одного события. Для этого примем во внимание, что на промежутке t+ Δ .t не наступит ни одного события, если на каждом из двух промежутков t и Δ t не появится ни одного события.
В силу свойств 1 и 2, по теореме умножения,
P0 (t+ Δ t) =P0 (t) P0 (Δ t). (**)
События «за время Δ t не появилось ни одного события», «появилось одно событие», «появилось более одного события» образуют полную группу, поэтому сумма вероятностей этих событий равна единице:
P0 (Δ t) +P 1(Δ t) +Pk> i (Δ t)=l.
Учитывая, что Pk> i (Δ t)= 0 (Δ t) (свойство 3), P 1(Δ t) = λ Δ t + 0 (Δ t) (свойство 4), имеем
P0 (Δ t) =1- λ Δ t- 0 (Δ t). (***)
Заметим, что, перейдя к пределу при Δ t→ 0, найдем
Р0 (0)=1. (****)
Подставим (***) в (**):
P0 (t+ Δ t) =P0 (t) [1 – λ Δ t - 0 (Δ t)].
Отсюда
P0 (t+ Δ t) - P0 (t) = - λ P0 (t)Δ - 0 (Δ t) P0 (t)
Разделив обе части равенства на Δ t и перейдя к пределу при Δ t→ 0, получим дифференциальное уравнение
Р’0 (t) = - λ Р0 (t),
общее решение которого
Р0 (t)=Се- λ t.
Используя (****), найдем, что С=1 и, следовательно,
Р0 (t)=е- λ t.
Итак, вероятность того, что за время (не появится ни одного события, найдена.
б) Найдем вероятность P 1(t) появления за время t ровно одного события. Для этого определим вероятность того, что за время t +Δ t событие появится один раз. Так будет в двух несовместных случаях:
1) событие наступит за время t и не наступит за время Δ t,
2) событие не наступит за время t и наступит за время Δ t. По формуле полной вероятности,
P 1(t+ Δ t) = P 1(t) P0 (Δ t) + P0 (t) P 1(Δ t).
Заменим P 1(Δ t)и P0 (Δ t) соответственно по формулам (*) и (***), перенесем P 1(t)в левую часть равенства, разделим обе его части на Δ t и перейдем к пределу при Δ t→ 0. В итоге получим линейное неоднородное уравнение первого порядка
P` 1(t) + λ Р 1(t) = λ e-λ t
Учитывая начальные условия, найдем С=0 и, следовательно,
P 1(t) = (λ t) e-λ t (*****)
Итак, вероятность того, что за время t появится ровно одно событие, найдена.
в) Найдем вероятность Р 2(t) появленияза время t ровно двух событий. Для этого определим вероятность того, что за время t+ Δ t событие появится два раза. Так будет в трех несовместных случаях: 1) событие наступит 2 раза за время t и не наступит за время Δ t, 2) событие наступит 1 раз за время t и I раз за время Δ t, 3) событие не наступит за время t и наступит 2 раза за время Δ t.
По формуле полной вероятности,
P 2(t+ Δ t) = P 2(t) P0 (Δ t) + P 1(t) P 1(Δ t) + P0 (t) P 2(Δ t).
Заменим P0 (t), P 1(Δ t) и P 1(t) соответственно по формулам (***), (*) и (*****); примем во внимание условие 4; перенесем Р 2(t) в левую часть равенства, разделим обе его части на Δ t и перейдем к пределу при Δ t→ 0. В итоге получим дифференциальное уравнение
P` 2(t) + λ Р 2(t) = λ 2 еe-λ t
Решив это уравнение, найдем вероятность того, что за время t появится ровно два события:
Аналогично можно получить вероятность того, что за время t наступит k событий:
Таким образом, если события, наступающие в случайные моменты времени, удовлетворяют указанным выше условиям, то число событий, наступающих за фиксированное время t распределено по закону Пуассона с параметром λ t. Другими словами, если Х (t)—число событий простейшего потока, наступивших за время t, то при фиксированном t функция Х (t) есть случайная величина, распределенная по закону Пуассона с параметром λ t. Функцию Х (t), называют случайным процессом Пуассона. Очевидно, каждая реализация Х (t) есть неубывающая ступенчатая функция.
Процесс Пуассона широко используется при решении многих задач практики и особенно в теории массового обслуживания.
Замечание. Длительность времени между появлениями двух последовательных событий простейшего потока (случайная величина Т) распределена по показательному закону. Действительно, убедимся, что функция распределения случайной величины Т имеет вид
F (t) = 1 - e-λ t.
События Т < t и T≥ t противоположны, поэтому
Р (Т < t)+ Р (Т≥ t) = l,
или
F (t) +P (Т≥ t) =1.
Отсюда
F (t) = 1 - P (Т≥ t).
P (Т≥ t)есть вероятность того, что за время длительности t не появится ни одного события потока; эта вероятность, как показано выше, равна е-λ t.
Итак,
F (t) = 1 - е-λ t.
что и требовалось доказать.
2. Винеровский процесс. Известно, что если в жидкость погрузить маленькую частицу, то она под влиянием ударов молекул жидкости будет двигаться по ломаной линии со случайными направлениями звеньев. Это явление называют броуновским движением по имени английского ботаника Р. Броуна, который в 1827 г, открыл явление, но не объяснил его. Лишь в 1905 г. А. Эйнштейн описал броуновское движение математически. В 1918 г. и в последующие годы американский ученый Н. Винер построил математическую модель, более точно описывающую броуновское движение. По этой причине процесс броуновского движения называют винеровским процессом.
Прежде чем определить винеровский процесс, введем предварительно понятия нормального процесса и процесса с независимыми приращениями.
Случайный процесс Х (t) называют нормальным (гауссовым), если совместное распределение Х (t 1), Х (t 2), …, Х (tk) является нормальным для каждого k и всех ti (i =1, 2,..., k). Нормальный процесс полностью определяется его характеристиками: математическим ожиданием и корреляционной функцией.
Случайный процесс Х (t) называют процессом с независимыми приращениями, если его приращения на неперекрывающихся интервалах взаимно независимы, т.е. случайные величины Х (t 2) - Х (t 1), X (t3) - Х (t 2),..., Х (tk) - Х (tk- 1) для t 1 < t 2 < …< tk взаимно независимы. Процесс с независимыми приращениями определяется распределением приращений Х (t) —Х (s) для произвольных t и s. Если приращение Х (t) —Х (s) зависит только от разности t —s, то процесс называют процессом со стационарными приращениями.
Винеровским процессом (процессом броуновского движения) называют нормальный случайный процесс Х (t) с независимыми стационарными приращениями, для которого Х (0)=0, M [ X (t)] =0, M [ X (t)2] =σ 2 4 для всех t > 0.
Важное значение винеровского процесса состоит в том, что он используется при изучении многих других случайных процессов.
3. Марковский случайный процесс. Используем терминологию, введенную в гл. XXII, § 1. Пусть в каждый момент времени некоторая система может находиться в одном из состояний E 1, E 2, … (число состояний конечно или счетно). Если система случайно переходитизодного состояния, например Ei, в другое, например Ej, то говорят, что в системе происходит случайный процесс. Если при этом вероятность перехода из состояния Ei в состояние Ej зависит только от состояния Еi, и не зависит от того, когда и как система пришла в это состояние, то случайный процесс Х (t) называют марковским. Другими словами, если для каждого момента времени t0 протекание случайного процесса Х (t) в будущем (при t > to) определяется его настоящим (значением Х (t0) и не зависит от прошлого (от значений Х (t) при t < t0, то Х (t) — марковский случайный процесс.
Различают марковские процессы с дискретным множеством состояний (число состояний конечно или счетно, переходы из состояния в состояние происходят скачком) и с непрерывным множеством состояний, а также различают процессы с дискретным временем (моменты переходов фиксированны) и с непрерывным временем (моменты переходов случайны).
В качестве примера рассмотрим процесс обслуживания простейшего потока заявок системой массового обслуживания с ожиданием (в такой системе заявка «становится в очередь», если все каналы заняты) и показательным временем обслуживания; покажем, что этот процесс является марковским.
Допустим, что в момент времени t0 система находилась в некотором определенном состоянии (обслуживается некоторое число заявок, причем обслуживание каждой из них уже длилось определенное время). Назовем условно «будущим обслуживанием» обслуживание для моментов времени t > t0, которое определяется:
а) длительностью оставшегося времени обслуживания
заявок, поступивших до момента t0;
б) числом заявок, которые поступят после момента t0;
в) длительностью обслуживания этих заявок. Убедимся, что будущее обслуживание не зависит от того, как происходило обслуживание до момента t0.
Действительно:
а) длительность оставшегося времени обслуживания заявок, которые уже обслуживались в момент t0, не зависит от времени обслуживания в силу характеристического свойства показательного распределения;
б) число заявок, которые поступят после момента t0, не зависит от числа заявок, которые поступили до момента t0, в силу свойства отсутствия последействия простейшего потока;
в) длительность обслуживания заявок, поступивших после момента t0, очевидно, не зависит ни от числа заявок, которые поступили до момента t0, ни от длительности обслуживания каждой из них.
Итак, будущий процесс обслуживания (при t > t0) зависит только от состояния системы в момент t0 и не зависит от того, как протекала работа системы до момента t0. Другими словами, процесс обслуживания простейшего потока заявок системой с ожиданием и показательным законом времени обслуживания является марковским процессом.