7

Марковские процессы со счётным пространством состояний

[33/100%]
Показать
LaTeX
Задача 7.1

Рассмотрим систему массового обслуживания M/M/1, представленную на рисунке 7.4. Всюду предполагаем, что X0=iX_{0} = i, где i>0i > 0. Цель этого упражнения — понять связь между интервалом ожидания до следующего перехода состояния и интервалом до следующего поступления заявки в систему M/M/1. Ваши объяснения в следующих пунктах могут и должны быть очень краткими.

?
(a)

Объясните, почему ожидаемый интервал ожидания E[U1∣X0=i]\mathbb {E}\left[U_{1} \mid X_{0} = i\right] до следующего перехода состояния равен 1/(λ+μ)1/(\lambda +\mu ).

(b)

Объясните, почему ожидаемый интервал ожидания U1U_{1}, при условии X0=iX_{0} = i и X1=i+1X_{1} = i+1, равен

E[U1∣X0=i,X1=i+1]=1/(λ+μ). \mathbb {E}\left[U_{1} \mid X_{0} = i, X_{1} = i+1\right] = 1/(\lambda +\mu ).

Покажите, что E[U1∣X0=i,X1=i−1]\mathbb {E}\left[U_{1} \mid X_{0} = i, X_{1} = i-1\right] имеет то же значение.

(c)

Пусть VV — момент первого поступления заявки после момента 00 (оно может произойти как до, так и после момента WW первого ухода из системы). Покажите, что

E[V∣X0=i,X1=i+1]=1λ+μ, \mathbb {E}\left[V \mid X_{0} = i, X_{1} = i+1\right] = \frac{1}{\lambda +\mu }, E[V∣X0=i,X1=i−1]=1λ+μ+1λ. \mathbb {E}\left[V \mid X_{0} = i, X_{1} = i-1\right] = \frac{1}{\lambda +\mu }+\frac{1}{\lambda }.
(d)

Используя решение пункта (в) вместе с вероятностью перехода вверх или вниз в цепи Маркова, покажите, что E[V]=1/λ\mathbb {E}\left[V\right] = 1/\lambda. Замечание: вы уже знаете, что E[V]=1/λ\mathbb {E}\left[V\right] = 1/\lambda. Цель здесь — показать, что решение пункта (в) согласуется с этим фактом.

Примечание.
?

В пункте (в) используйте отсутствие последействия у экспоненциальной случайной величины и тот факт, что VV при условии X1=i−1X_{1} = i-1 есть время до первого ухода плюс оставшееся время до поступления.

Задача 7.2

Рассмотрим марковский процесс, для которого вложенная марковская цепь является цепью размножения--гибели с вероятностями перехода Pi,i+1=2/5P_{i,i+1} = 2/5 для всех i≥0i \geq 0, Pi,i−1=3/5P_{i,i-1} = 3/5 для всех i≥1i \geq 1, P01=1P_{01} = 1, и Pij=0P_{ij} = 0 в остальных случаях.

?
(a)

Найдите стационарные вероятности {πi;i≥0}\left\{ \pi_{i}; i \geq 0\right\} для вложенной цепи.

(b)

Предположим, что интенсивность перехода νi\nu_{i} из состояния ii, для i≥0i \geq 0, задана как νi=2i\nu_{i} = 2^{i}. Найдите интенсивности переходов {qij}\left\{ q_{ij}\right\} между состояниями и найдите стационарные вероятности {pi}\left\{ p_{i}\right\} для марковского процесса. Объясните эвристически, почему πi≠pi\pi_{i} \neq p_{i}.

(c)

Объясните, почему для этого процесса не существует приближения с дискретизацией времени. Затем усеките вложенную цепь до состояний от 00 до mm и найдите стационарные вероятности для приближения с дискретизацией времени усечённого процесса.

(d)

Покажите, что при m→∞m \rightarrow \infty стационарные вероятности для последовательности приближений с дискретизацией времени стремятся к вероятностям pip_{i} из пункта (б).

Задача 7.3

Рассмотрим марковский процесс, для которого вложенная марковская цепь является цепью рождения--гибели с переходными вероятностями Pi,i+1=2/5P_{i,i+1} = 2/5 для всех i≥1i \geq 1, Pi,i−1=3/5P_{i,i-1} = 3/5 для всех i≥1i \geq 1, P01=1P_{01} = 1, и Pij=0P_{ij} = 0 в остальных случаях.

?
(a)

Найдите стационарные вероятности {πi;i≥0}\left\{ \pi_{i}; i \geq 0\right\} для вложенной цепи.

(b)

Предположим, что интенсивность перехода из состояния ii, для i≥0i \geq 0, задаётся как νi=2−i\nu_{i} = 2^{-i}. Найдите интенсивности переходов {qij}\left\{ q_{ij}\right\} между состояниями и покажите, что не существует решения в виде вероятностного вектора {pi;i≥0}\left\{ p_{i}; i \geq 0\right\} для уравнений стационарного режима процесса pjνj=∑ipiqijp_{j}\nu_{j} = \sum_{i}p_{i}q_{ij} для всех j≥0j \geq 0 при условии ∑ipi=1\sum_{i}p_{i} = 1.

(c)

Покажите, что ожидаемое время между посещениями любого заданного состояния ii бесконечно. Найдите ожидаемое число переходов между посещениями любого заданного состояния ii. Покажите, что, начиная из любого состояния ii, возврат в состояние ii в конечном счёте происходит с вероятностью 11.

(d)

Рассмотрим приближение этого процесса с дискретизацией по времени с шагом δ=1\delta = 1. Нарисуйте граф получившейся марковской цепи и объясните, почему она обязательно должна быть нуль-возвратной.

Задача 7.4

Рассмотрим марковский процесс для очереди M/M/1, заданный на рисунке 7.4.

?
(a)

Найдите вероятности стационарного процесса (как функцию ρ=λ/μ\rho = \lambda /\mu) из (7.15), а также как решение (7.23). Убедитесь, что оба решения совпадают.

(b)

В оставшихся пунктах упражнения предположим, что ρ=0.01\rho = 0.01, что гарантирует (для наглядности) что состояния 00 и 11 намного более вероятны, чем остальные состояния. Предположим, что процесс работает уже очень долгое время и находится в стационарном режиме. Объясните своими словами разницу между π1\pi_{1} (стационарной вероятностью состояния 11 во вложенной цепи) и p1p_{1} (стационарной вероятностью того, что процесс находится в состоянии 11). Более явно, какие эксперименты можно было бы (многократно) провести над процессом, чтобы измерить π1\pi_{1} и p1p_{1}.

(c)

Теперь предположим, что вы хотите запустить процесс в стационарном режиме. Покажите, что невозможно выбрать начальные вероятности так, чтобы и процесс, и вложенная цепь начинали в стационарном режиме. Какая версия стационарности ближе к вашему интуитивному представлению? (Здесь нет правильного ответа, но важно понимать, что понятие стационарности не так просто, как может показаться.)

(d)

Пусть M(t)M(t) — число переходов (считая как поступления, так и уходы), происходящих к моменту времени tt в этом марковском процессе, и предположим, что вложенная марковская цепь начинает в стационарном режиме в момент времени 00. Пусть U1,U2,…U_{1}, U_{2}, \ldots — последовательность интервалов пребывания между переходами (где U1U_{1} — время до первого перехода). Покажите, что эти случайные величины одинаково распределены. Покажите на примере, что они не являются независимыми (т.е. M(t)M(t) не является процессом восстановления).

Задача 7.5

Рассмотрим марковский процесс, изображённый ниже. Переходы помечены скоростью qijq_{ij}, с которой эти переходы происходят. Процесс можно рассматривать как одноканальную систему массового обслуживания, где поступления становятся всё более редкими по мере увеличения длины очереди. Слово среднее по времени ниже относится к предельному среднему по времени вдоль каждой траектории процесса, за исключением множества траекторий вероятности 00.  {#fig-1 width="70%"}

?
(a)

Найдите среднюю по времени долю времени pip_{i}, проведённого в каждом состоянии i>0i > 0, через p0p_{0}, а затем найдите p0p_{0}.

(b)

Найдите решение в замкнутой форме для ∑ipiνi\sum_{i}p_{i}\nu_{i}, где νi\nu_{i} — скорость, с которой происходят переходы из состояния ii. Покажите, что вложенная цепь является положительно возвратной при любом выборе λ>0\lambda > 0 и μ>0\mu > 0, и объясните интуитивно, почему это должно быть так.

(c)

Для вложенной марковской цепи, соответствующей этому процессу, найдите стационарные вероятности πi\pi_{i} для каждого i≥0i \geq 0 и вероятности переходов PijP_{ij} для каждых i,ji, j.

(d)

Для каждого ii найдите как средний по времени интервал, так и среднее по времени число переходов состояний между последовательными посещениями ii.

Примечание.
?

Подсказка к (а): сначала найдите уравнение, связывающее pip_{i} и pi+1p_{i+1} для каждого ii. Может также помочь вспомнить разложение exe^{x} в степенной ряд.

Задача 7.6
?
(a)

Пусть UnU_{n} — длина nn-го интервала пребывания для марковского процесса, стартующего в стационарном состоянии, с P{X0=i}=πi\mathbb {P}\left\{ X_{0} = i\right\} = \pi_{i}. Покажите, что E[Un]=∑kπk/νk\mathbb {E}\left[U_{n}\right] = \sum_{k}\pi_{k}/\nu_{k} для каждого целого nn.

(b)

Пусть SnS_{n} — момент nn-го перехода. Покажите, что P{Sn≥nβ}≤(∑kπk/νk)/β\mathbb {P}\left\{ S_{n} \geq n\beta \right\} \leq (\sum_{k}\pi_{k}/\nu_{k})/\beta для всех β>0\beta > 0.

(c)

Пусть M(t)M(t) — число переходов марковского процесса к моменту времени tt, при условии, что X0X_{0} находится в стационарном состоянии. Покажите, что P{M(nβ)≥n}≥1−(∑kπk/νk)/β\mathbb {P}\left\{ M(n\beta ) \geq n\right\} \geq 1-(\sum_{k}\pi_{k}/\nu_{k})/\beta.

(d)

Покажите, что если ∑kπk/νk\sum_{k}\pi_{k}/\nu_{k} конечна, то равенство lim⁡t→∞M(t)/t=0\lim_{t \rightarrow \infty }M(t)/t = 0 с вероятностью 1 невозможно. (Заметьте, что это равносильно доказательству того, что из lim⁡t→∞M(t)/t=0\lim_{t \rightarrow \infty }M(t)/t = 0 с вероятностью 1 следует ∑kπk/νk=∞\sum_{k}\pi_{k}/\nu_{k} = \infty.)

(e)

Пусть Mi(t)M_{i}(t) — число переходов к моменту времени tt при старте в состоянии ii. Покажите, что если ∑kπk/νk\sum_{k}\pi_{k}/\nu_{k} конечна, то равенство lim⁡t→∞Mi(t)/t=0\lim_{t \rightarrow \infty }M_{i}(t)/t = 0 с вероятностью 1 невозможно.

Задача 7.7
?
(a)

Рассмотрим процесс, изображённый на рисунке ниже. Процесс стартует с X(0)=1X(0) = 1, и для всех i≥1i \geq 1 выполняется Pi,i+1=1P_{i,i+1} = 1 и νi=i2\nu_{i} = i^{2}. Пусть SnS_{n} — момент, когда происходит nn-й переход. Покажите, что

E[Sn]=∑i=1ni−2<2для всех n. \mathbb {E}\left[S_{n}\right] = \sum _{i=1}^{n}i^{-2} < 2 \qquad \text{для всех } n.

 {#fig-1 width="60%"}

(b)

Используя неравенство Маркова, покажите, что P{Sn>4}≤1/2\mathbb {P}\left\{ S_{n} > 4\right\} \leq 1/2 для всех nn. Покажите, что вероятность бесконечного числа переходов к моменту времени 44 не меньше 1/21/2.

Примечание.
?

Указание к (а): оцените сумму сверху, начиная с i=2i = 2, интегрируя x−2x^{-2} от x=1x = 1.

Задача 7.8
?
(a)

Рассмотрим марковский процесс с множеством состояний {0,1,…}\left\{ 0, 1, \ldots \right\}, в котором интенсивности переходов {qij}\left\{ q_{ij}\right\} между состояниями задаются как qi,i+1=(3/5)2iq_{i,i+1} = (3/5)2^{i} для i≥0i \geq 0, qi,i−1=(2/5)2iq_{i,i-1} = (2/5)2^{i} для i≥1i \geq 1, и qij=0q_{ij} = 0 в остальных случаях. Найдите интенсивность выхода νi\nu_{i} из состояния ii для каждого i≥0i \geq 0 и найдите вероятности переходов {Pij}\left\{ P_{ij}\right\} для вложенной марковской цепи.

(b)

Найдите решение {pi;i≥0}\left\{ p_{i}; i \geq 0\right\} с ∑ipi=1\sum_{i}p_{i} = 1 для уравнений стационарного процесса (7.23).

(c)

Покажите, что все состояния вложенной марковской цепи являются невозвратными.

(d)

Объясните своими словами, почему решение из пункта (б) не является в каком-либо смысле набором стационарных вероятностей.

Задача 7.9

Пусть qi,i+1=2i−1q_{i,i+1} = 2^{i-1} для всех i≥0i \geq 0 и пусть qi,i−1=2i−1q_{i,i-1} = 2^{i-1} для всех i≥1i \geq 1. Все остальные интенсивности переходов равны 00.

?
(a)

Решите уравнения стационарного режима и покажите, что pi=2−i−1p_{i} = 2^{-i-1} для всех i≥0i \geq 0.

(b)

Найдите вероятности переходов для вложенной цепи Маркова и покажите, что эта цепь нуль-возвратна.

(c)

Для произвольного состояния ii рассмотрим процесс восстановления, для которого марковский процесс начинается в состоянии ii, а восстановления происходят при каждом переходе в состояние ii. Покажите, что для каждого i≥1i \geq 1 математическое ожидание интервала между восстановлениями равно 22.

(d)

Покажите, что математическое ожидание числа переходов между последовательными входами в состояние ii бесконечно. Объясните, почему это не означает, что за конечное время может произойти бесконечное число переходов.

Примечание.
?

Подсказка к (в): используйте теорию восстановления с вознаграждением.

Задача 7.10
?
(a)

Рассмотрим двухстанционный марковский процесс из примера 7.3.1 с q01=λq_{01} = \lambda и q10=μq_{10} = \mu. Найдите собственные значения и собственные векторы матрицы интенсивностей переходов Q\mathbf{Q}.

(b)

Если Q\mathbf{Q} имеет M\mathsf{M} различных собственных значений, дифференциальное уравнение d[P(t)]/dt=[Q][P(t)]d[P(t)]/dt = [Q][P(t)] можно решить с помощью уравнения

[P(t)]=∑i=1Mν→ietλip→iT, [P(t)] = \sum _{i=1}^{\mathsf{M}}\overrightarrow {\nu }_{i}e^{t\lambda _{i}}\overrightarrow {p}_{i}^{\mathsf{T}},

где p→i\overrightarrow {p}_{i} и ν→i\overrightarrow {\nu }_{i} — левый и правый собственные векторы собственного значения λi\lambda_{i}. Покажите, что это уравнение даёт то же решение, что и приведённое для примера 7.3.1.

Задача 7.11

Рассмотрим трёхстанционный марковский процесс, изображённый ниже; число, указанное на ребре (i,j)(i,j), равно qijq_{ij} — интенсивности перехода из ii в jj. Предположим, что процесс находится в стационарном режиме.  {#fig-1 width="45%"}

?
(a)

Является ли этот процесс обратимым?

(b)

Найдите pip_{i} — среднюю по времени долю времени, проведённого в состоянии ii, для каждого ii.

(c)

Дано, что в момент времени tt процесс находится в состоянии ii; найдите среднюю задержку от tt до момента, когда процесс покинет состояние ii.

(d)

Найдите πi\pi_{i} — среднюю по времени долю всех переходов, ведущих в состояние ii, для каждого ii.

(e)

Предположим, что в момент времени tt процесс находится в стационарном режиме. Найдите стационарную вероятность того, что следующим состоянием, в которое войдёт процесс, будет состояние 11.

(f)

Дано, что в момент времени tt процесс находится в состоянии 11; найдите среднюю задержку до первого возврата процесса в состояние 11.

(g)

Рассмотрим произвольный неприводимый марковский процесс с конечным числом состояний, для которого qij=qjiq_{ij} = q_{ji} для всех i,ji, j. Либо покажите, что такой процесс обратим, либо приведите контрпример.

Задача 7.12
?
(a)

Рассмотрим систему массового обслуживания M/M/1 с интенсивностью поступления λ\lambda, интенсивностью обслуживания μ\mu, μ>λ\mu > \lambda. Предположим, что очередь находится в стационарном режиме. Дано, что в момент времени tt происходит поступление заявки; найдите вероятность того, что система находится в состоянии ii непосредственно после момента tt.

(b)

Предполагая дисциплину обслуживания FCFS (в порядке поступления) и при условии, что непосредственно после указанного поступления в системе находится ii клиентов, охарактеризуйте время до ухода этого клиента как сумму случайных величин.

(c)

Найдите безусловную плотность вероятности времени до ухода этого клиента.

Примечание.
?

Подсказка к (в): вы знаете (из разбиения пуассоновского процесса), что сумма геометрически распределённого числа независимых одинаково распределённых экспоненциальных случайных величин имеет экспоненциальное распределение. Воспользуйтесь той же идеей здесь.

Задача 7.13
?
(a)

Рассмотрим очередь M/M/1 в стационарном режиме. Предположим, что ρ=λ/μ<1\rho = \lambda /\mu < 1. Найдите вероятность Q(i,j)Q(i,j) при i≥j>0i \geq j > 0 того, что в момент времени tt система находится в состоянии ii и что до следующего поступления происходит i−ji-j уходов.

(b)

Найдите ПМФ состояния непосредственно перед первым поступлением после момента tt.

(c)

Существует хорошо известный принцип теории массового обслуживания, называемый PASTA — «пуассоновские поступления видят усреднённые по времени характеристики» (Poisson Arrivals See Time Averages). Опираясь на полученные выше результаты, дайте более точную формулировку того, что означает этот принцип для случая очереди M/M/1.

Задача 7.14

Небольшая букмекерская контора имеет место не более чем для двух клиентов. Потенциальные клиенты поступают по пуассоновскому закону со средней интенсивностью десять клиентов в час; они заходят внутрь, если есть свободное место, и уходят навсегда, не возвращаясь, в противном случае. Букмекер обслуживает принятых клиентов по порядку, затрачивая на каждого клиента экспоненциально распределённое время со средним 44 минуты.

?
(a)

Найдите стационарное распределение числа клиентов в конторе.

(b)

Найдите интенсивность, с которой потенциальным клиентам отказывают в обслуживании.

(c)

Предположим, букмекер нанимает помощника; теперь букмекер и помощник, работая вместе, обслуживают каждого клиента за экспоненциально распределённое время со средним 22 минуты, но в конторе есть место только для одного клиента (а именно того, кого обслуживают). Найдите новую интенсивность, с которой клиентам отказывают в обслуживании.

Задача 7.15

В этой задаче рассматривается вариант простого ветвящегося процесса в непрерывном времени.

Рассмотрим популяцию примитивных организмов, которые только размножаются и умирают. А именно, популяция начинается в момент времени 00 с одного организма. Этот организм имеет экспоненциально распределённое время жизни T0T_{0} с параметром μ\mu (то есть P{T0≥τ}=e−μτ\mathbb {P}\left\{ T_{0} \geq \tau \right\} = e^{-\mu \tau }). Пока этот организм жив, он порождает новые организмы согласно пуассоновскому процессу интенсивности λ\lambda. Каждый из этих новых организмов, пока он жив, порождает других организмов. Время жизни и интенсивность рождаемости для каждого из этих новых организмов независимы и одинаково распределены с соответствующими характеристиками первого организма. Все эти и последующие организмы рождаются и умирают таким же образом, снова независимо от всех остальных организмов.

?
(a)

Пусть X(t)X(t) — число (живых) организмов в популяции в момент времени tt. Покажите, что {X(t);t≥0}\left\{ X(t); t \geq 0\right\} является марковским процессом, и укажите интенсивности переходов между состояниями.

(b)

Найдите вложенную марковскую цепь {Xn;n≥0}\left\{ X_{n}; n \geq 0\right\}, соответствующую марковскому процессу из пункта (а). Найдите вероятности переходов для этой марковской цепи.

(c)

Объясните, почему марковский процесс и марковская цепь выше не являются неприводимыми.

(d)

Для целей анализа добавьте дополнительный переход интенсивности λ\lambda из состояния 00 в состояние 11. Покажите, что марковский процесс и вложенная цепь являются неприводимыми. Найдите значения λ\lambda и μ\mu, при которых модифицированная цепь является положительно возвратной, нуль-возвратной и невозвратной.

(e)

Предположим, что λ<μ\lambda < \mu. Найдите стационарные вероятности процесса для модифицированного марковского процесса.

(f)

Найдите среднее время возврата между посещениями состояния 00 для модифицированного марковского процесса.

(g)

Найдите среднее время T‾\overline{T} вымирания популяции в исходном марковском процессе.

Примечание.
?

Замечание к (в): Большинство результатов, которые вы видели для марковских процессов, предполагают, что процесс неприводим, так что будьте осторожны, не используя эти результаты в данном упражнении.

Замечание к (ж): Мы уже видели раньше, что удаление переходов из марковской цепи или процесса для создания поглощающего состояния может облегчить нахождение среднего времени возврата. Здесь показан противоположный пример: добавление выхода из поглощающего состояния позволяет легко найти время возврата.

Задача 7.16

Рассмотрим систему разделения заданий между компьютерами, показанную ниже. Входящие задания поступают слева в виде пуассоновского потока. Каждое задание, независимо от других заданий, требует предварительной обработки в системе 1 с вероятностью QQ. Задания в системе 1 обслуживаются в порядке поступления (FCFS), и времена обслуживания последовательных заданий, поступающих в систему 1, независимы и одинаково распределены по экспоненциальному закону со средним 1/μ11/\mu_{1}. Задания, поступающие в систему 2, также обслуживаются в порядке поступления, и последовательные времена обслуживания независимы и одинаково распределены по экспоненциальному закону со средним 1/μ21/\mu_{2}. Времена обслуживания в двух системах независимы друг от друга и от моментов поступления заданий. Предположим, что μ1>λQ\mu_{1} > \lambda Q и μ2>λ\mu_{2} > \lambda. Предположим, что объединённая система находится в стационарном режиме.  {#fig-1 width="65%"}

?
(a)

Является ли входной поток системы 1 пуассоновским? Объясните.

(b)

Являются ли оба входных потока, поступающих в систему 2, пуассоновскими? Объясните.

(c)

Приведите совместную стационарную вероятностную функцию числа заданий в двух системах. Кратко объясните.

(d)

Какова вероятность того, что первое задание, покидающее систему 1 после момента времени tt, совпадает с первым заданием, поступившим во всю систему после момента времени tt?

(e)

Какова вероятность того, что первое задание, покидающее систему 2 после момента времени tt, прошло через систему 1 и поступило в систему 1 после момента времени tt?

Задача 7.17

Рассмотрим следующую комбинированную систему массового обслуживания. Первая система массового обслуживания — это M/M/1 со скоростью обслуживания μ1\mu_{1}. Вторая система массового обслуживания имеет независимые одинаково распределённые экспоненциальные времена обслуживания со скоростью μ2\mu_{2}. Каждый уход из системы 1 покидает всю систему с вероятностью 1−Q11-Q_{1} и поступает в систему 2 с оставшейся вероятностью Q1Q_{1}. Система 2 имеет дополнительный пуассоновский входной поток со скоростью λ2\lambda_{2}, независимый от входов и выходов первой системы. Каждый уход из второй системы независимо покидает объединённую систему с вероятностью Q2Q_{2} и вновь поступает в систему 2 с вероятностью 1−Q21-Q_{2}. Для пунктов (a), (b), (c) предположим, что Q2=1Q_{2} = 1 (то есть обратной связи нет).  {#fig-1 width="65%"}

?
(a)

Охарактеризуйте процесс уходов из системы 1, поступающих в систему 2, и охарактеризуйте общий процесс поступлений в систему 2.

(b)

Предполагая обслуживание в порядке поступления (FCFS) в каждой системе, найдите стационарное распределение времени, которое клиент проводит в каждой системе.

(c)

Для клиента, проходящего через обе системы, покажите, почему время в каждой системе не зависит от времени в другой; найдите распределение суммарного времени пребывания в системе для такого клиента.

(d)

Теперь предположим, что Q2<1Q_{2} < 1. Является ли процесс уходов из объединённой системы пуассоновским? Какие из трёх входных процессов в систему 2 являются пуассоновскими? Какие из входных процессов независимы? Обоснуйте свои рассуждения, но не пытайтесь дать формальные доказательства.

Задача 7.18

Предположим, что цепь Маркова с вероятностями переходов {Pij}\left\{ P_{ij}\right\} обратима. Предположим, что мы изменяем вероятности переходов из состояния 00 с {P0j;j≥0}\left\{ P_{0j}; j \geq 0\right\} на {P0j′;j≥0}\left\{ P_{0j}'; j \geq 0\right\}. Считая, что все PijP_{ij} при i≠0i \neq 0 остаются неизменными, каким наиболее общим способом можно выбрать {P0j′;j≥0}\left\{ P_{0j}'; j \geq 0\right\}, чтобы сохранить обратимость? Ваш ответ должен явно указывать, как изменяются стационарные вероятности {πi;i≥0}\left\{ \pi_{i}; i \geq 0\right\}. Ваш ответ также должен указывать, какое отношение эта задача имеет (если имеет) к униформизации обратимых марковских процессов.

?
Примечание.
?

Подсказка: если заданы PijP_{ij} для всех i,ji, j, то одного дополнительного параметра достаточно, чтобы задать P0j′P_{0j}' для всех jj.

Задача 7.19

Рассмотрим замкнутую сеть массового обслуживания на рисунке ниже. Имеются три клиента, которые обречены вечно циркулировать между узлом 11 и узлом 22. Оба узла используют обслуживание в порядке поступления (FCFS) и имеют независимые одинаково распределённые экспоненциальные времена обслуживания. Времена обслуживания в одном узле также независимы от времён обслуживания в другом узле и не зависят от того, какой клиент обслуживается. Сервер узла ii имеет среднее время обслуживания 1/μi1/\mu_{i}, i=1,2i = 1, 2. Для конкретности предположим, что μ2<μ1\mu_{2} < \mu_{1}.  {#fig-1 width="40%"}

?
(a)

Систему можно представить четырёхсостоянческим марковским процессом. Нарисуйте его графическое представление и обозначьте на нём отдельные состояния и интенсивности переходов между ними.

(b)

Найдите стационарную вероятность каждого состояния.

(c)

Найдите среднюю по времени скорость, с которой клиенты покидают узел 11.

(d)

Найдите среднюю по времени скорость, с которой данный клиент циркулирует по системе.

(e)

Обратим ли марковский процесс? Предположим, что обратный марковский процесс интерпретируется как замкнутая сеть массового обслуживания. Чему в обратном процессе соответствует уход из узла 11 в прямом процессе? Можно ли сопоставить переходы одного клиента в прямом процессе с переходами одного клиента в обратном процессе?

Задача 7.20

Рассмотрим систему массового обслуживания M/G/1 с дисциплиной обслуживания "последним пришёл — первым обслужен" (LCFS) с прерыванием и дообслуживанием (preemptive resume). То есть клиенты прибывают согласно пуассоновскому процессу интенсивности λ\lambda. Вновь прибывший клиент прерывает обслуживаемого клиента и сам поступает на обслуживание. Когда обслуживание клиента завершается, он покидает систему, а клиент, который был прерван уходящим клиентом, возобновляет обслуживание с того места, на котором остановился. Например, если клиент 11 прибывает в момент времени 00 и требует 22 единицы обслуживания, а клиент 22 прибывает в момент времени 11 и требует 11 единицу обслуживания, то клиент 11 обслуживается с момента времени 00 до 11; клиент 22 обслуживается с момента времени 11 до 22 и покидает систему, после чего клиент 11 завершает обслуживание с момента времени 22 до 33. Пусть XiX_{i} — время обслуживания, требуемое ii-м клиентом; величины XiX_{i} являются н.о.р. случайными величинами с математическим ожиданием E[X]\mathbb {E}\left[X\right]; они не зависят от моментов прибытия клиентов. Предположим, что λE[X]<1\lambda \mathbb {E}\left[X\right] < 1.

?
(a)

Найдите среднее время между периодами занятости (т.е. время до появления нового прибытия после того, как система становится пустой).

(b)

Найдите усреднённую по времени долю времени, в течение которого система занята.

(c)

Найдите среднюю продолжительность E[B]\mathbb {E}\left[B\right] периода занятости.

(d)

Кратко объясните, почему клиент, начинающий период занятости, остаётся в системе в течение всего периода занятости; используйте это, чтобы найти ожидаемое время пребывания в системе клиента при условии, что этот клиент прибывает, когда система пуста.

(e)

Существует ли какая-либо статистическая зависимость между временем пребывания данного клиента в системе (т.е. временем от прибытия клиента до его ухода) и числом клиентов в системе в момент прибытия данного клиента?

(f)

Покажите, что ожидаемое время пребывания клиента в системе равно E[B]\mathbb {E}\left[B\right].

(g)

Пусть CC — ожидаемое время пребывания клиента в системе при условии, что время обслуживания XX этого клиента равно 11. Найдите (через CC) ожидаемое время пребывания клиента в системе при условии X=2X = 2. Повторите для произвольного X=xX = x.

(h)

Найдите константу CC.

Примечание.
?

Подсказка к (в): используйте (а) и (б).

Подсказка к (ж): сравните клиента с X=2X = 2 с двумя клиентами, у каждого из которых X=1X = 1.

Подсказка к (з): используйте (е) и (ж); не проводите никаких громоздких вычислений.

Задача 7.21

Рассмотрим систему массового обслуживания с двумя классами клиентов, типа AA и типа BB. Клиенты типа AA прибывают согласно пуассоновскому процессу интенсивности λA\lambda_{A}, а клиенты типа BB прибывают согласно независимому пуассоновскому процессу интенсивности λB\lambda_{B}. В очереди имеется сервер с дисциплиной FCFS и экспоненциальными н.о.р. временами обслуживания интенсивности μ>λA+λB\mu > \lambda_{A}+\lambda_{B}. Охарактеризуйте процесс уходов клиентов класса AA; объясните подробно.

?
Примечание.
?

Подсказка: рассмотрите объединённый процесс прибытий и разумно подойдите к тому, как отбирать клиентов типов AA и BB.

Задача 7.22

Рассмотрим систему массового обслуживания LCFS с прерыванием и возобновлением обслуживания (preemptive resume), в которой имеются два класса заявок. Заявки типа AA поступают по пуассоновскому процессу с интенсивностью λA\lambda_{A}, а заявки типа BB — по пуассоновскому процессу с интенсивностью λB\lambda_{B}. Время обслуживания заявок типа AA распределено экспоненциально с параметром μA\mu_{A}, а заявок типа BB — экспоненциально с параметром μB\mu_{B}. Каждое время обслуживания независимо от всех остальных времён обслуживания и от всех моментов поступления заявок.

Определим "состояние" системы в момент времени tt как строку типов заявок, находящихся в системе в момент tt, в порядке их поступления. Так, состояние ABAB означает, что в системе находятся две заявки, одна типа AA и другая типа BB; заявка типа BB поступила позже, поэтому она обслуживается. Множество возможных состояний, возникающих при переходах из состояния ABAB, таково:

ABAABA, если поступает ещё одна заявка типа AA.

ABBABB, если поступает ещё одна заявка типа BB.

AA, если обслуживаемая заявка (BB) покидает систему.

Заметим, что всякий раз, когда обслуживание заявки завершается, возобновляется обслуживание заявки, поступившей последней из оставшихся, поэтому состояние изменяется путём удаления последнего элемента строки.

?
(a)

Нарисуйте граф состояний процесса, показав все состояния с двумя или менее заявками и несколько состояний с тремя заявками (пустое состояние обозначьте EE). Нарисуйте стрелку, помеченную соответствующей интенсивностью, для каждого перехода между состояниями. Объясните, почему это состояния марковского процесса.

(b)

Обратим ли этот процесс? Объясните. Предполагайте положительную возвратность.

(c)

Охарактеризуйте процесс уходов заявок типа AA из системы (то есть, являются ли они пуассоновскими, образуют ли они процесс восстановления, с какой интенсивностью они уходят и т.д.?).

(d)

Выразите стационарную вероятность P{A}\mathbb {P}\left\{ A\right\} состояния AA через вероятность пустого состояния P{E}\mathbb {P}\left\{ E\right\}. Найдите вероятность P{AB}\mathbb {P}\left\{ AB\right\} и вероятность P{ABBA}\mathbb {P}\left\{ ABBA\right\} через P{E}\mathbb {P}\left\{ E\right\}. Используйте обозначения ρA=λA/μA\rho_{A} = \lambda_{A}/\mu_{A} и ρB=λB/μB\rho_{B} = \lambda_{B}/\mu_{B}.

(e)

Пусть QnQ_{n} — вероятность того, что в системе находится nn заявок, как функция от Q0=P{E}Q_{0} = \mathbb {P}\left\{ E\right\}. Покажите, что Qn=(1−ρ)ρnQ_{n} = (1-\rho )\rho^{n}, где ρ=ρA+ρB\rho = \rho_{A}+\rho_{B}.

Примечание.
?

Указание к (б): если существует переход из состояния SS в состояние S′S', то как число переходов из SS в S′S' связано с числом переходов из S′S' в SS?

Задача 7.23
?
(a)

Обобщите задачу 7.22 на случай, когда имеется mm типов заявок, каждый с независимым пуассоновским потоком поступлений и независимым экспоненциальным временем обслуживания. Пусть λi\lambda_{i} и μi\mu_{i} — соответственно интенсивность поступления и интенсивность обслуживания заявок ii-го типа. Пусть ρi=λi/μi\rho_{i} = \lambda_{i}/\mu_{i} и предположим, что ρ=ρ1+ρ2+⋯+ρm<1\rho = \rho_{1}+\rho_{2}+\cdots +\rho_{m} < 1. В частности, покажите, как и прежде, что вероятность нахождения в системе nn заявок равна Qn=(1−ρ)ρnQ_{n} = (1-\rho )\rho^{n} для 0≤n<∞0 \leq n < \infty.

(b)

Рассмотрите заявки из пункта (а) как заявки единственного типа с пуассоновским потоком поступлений интенсивности λ=∑iλi\lambda = \sum_{i}\lambda_{i} и с плотностью распределения времени обслуживания ∑i(λi/λ)μiexp⁡(−μix)\sum_{i}(\lambda_{i}/\lambda )\mu_{i}\exp (-\mu_{i}x). Покажите, что математическое ожидание времени обслуживания равно ρ/λ\rho /\lambda. Заметим, что вы тем самым показали, что если распределение времени обслуживания может быть представлено как взвешенная сумма экспонент, то распределение числа заявок в системе при обслуживании по дисциплине LCFS совпадает с таковым для очереди M/M/1 с тем же средним временем обслуживания.

Задача 7.24

Рассмотрим сеть массового обслуживания типа Джексона с kk узлами, модифицированную так, что каждый узел ii имеет ss обслуживающих приборов вместо одного. Каждый прибор в узле ii имеет экспоненциально распределённое время обслуживания с параметром μi\mu_{i}. Внешняя интенсивность поступления в узел ii равна ρi=λ0Q0i\rho_{i} = \lambda_{0}Q_{0i}, и каждая заявка, выходящая из узла ii, переключается на узел jj с вероятностью QijQ_{ij} и покидает систему с вероятностью Qi0Q_{i0} (как в тексте). Пусть λi\lambda_{i}, 1≤i≤k1 \leq i \leq k, — решение, при заданном λ0\lambda_{0}, системы уравнений

λj=∑i=0kλiQij,1≤j≤k, \lambda _{j} = \sum _{i=0}^{k}\lambda _{i}Q_{ij}, \qquad 1 \leq j \leq k,

и предположим, что λi<sμi\lambda_{i} < s\mu_{i}; 1≤i≤k1 \leq i \leq k. Покажите, что стационарная вероятность состояния m→\overrightarrow {m} равна

P{m→}=∏i=1kpi(mi), \mathbb {P}\left\{ \overrightarrow {m}\right\} = \prod _{i=1}^{k}p_{i}(m_{i}),

где pi(mi)p_{i}(m_{i}) — вероятность состояния mim_{i} в очереди (M,M,s)(M,M,s).

?
Примечание.
?

Указание: просто обобщите рассуждение из текста на случай нескольких обслуживающих приборов.

Задача 7.25

Предположим, что марковский процесс с множеством состояний AA обратим и имеет стационарные вероятности pip_{i}, i∈Ai \in A. Пусть BB — подмножество AA, и предположим, что процесс изменён путём положения qij=0q_{ij} = 0 для всех i∈B,j∉Bi \in B, j \notin B. Предполагая, что новый процесс (начинающийся в BB и остающийся в BB) неприводим, покажите, что новый процесс обратим, и найдите его стационарные вероятности.

?
Задача 7.26

Рассмотрим систему массового обслуживания с двумя классами клиентов. Заявки клиентов типа AA поступают по пуассоновскому потоку с интенсивностью λA\lambda_{A}, а заявки клиентов типа BB — по пуассоновскому потоку с интенсивностью λB\lambda_{B}. Время обслуживания клиентов типа AA распределено экспоненциально с параметром μA\mu_{A}, а для типа BB — с параметром μB\mu_{B}. Каждое время обслуживания независимо от всех остальных времён обслуживания и от всех моментов поступления заявок.

?
(a)

Сначала предположим, что имеется бесконечно много одинаковых приборов и каждая новая заявка немедленно поступает на свободный прибор и начинает обслуживаться. Пусть состояние системы задаётся парой (i,j)(i,j), где ii и jj — числа клиентов типа AA и типа BB соответственно, находящихся на обслуживании. Нарисуйте граф переходов состояний для i≤2,j≤2i \leq 2, j \leq 2. Найдите стационарное распределение вероятностей {p(i,j);i,j≥0}\left\{ p(i,j); i,j \geq 0\right\} для этого марковского процесса.

(b)

Предположим для оставшейся части упражнения, что имеется некоторое конечное число mm приборов. Клиенты, прибывающие в момент, когда все приборы заняты, получают отказ. Найдите стационарное распределение вероятностей {p(i,j);i,j≥0,i+j≤m}\left\{ p(i,j); i,j \geq 0, i+j \leq m\right\} через p(0,0)p(0,0) для этого марковского процесса.

(c)

Пусть QnQ_{n} — вероятность того, что в некоторый заданный момент времени в стационарном режиме на обслуживании находится nn клиентов. Покажите, что Qn=p(0,0)ρn/n!Q_{n} = p(0,0)\rho_{n}/n! при 0≤n≤m0 \leq n \leq m, где ρ=ρA+ρB\rho = \rho_{A}+\rho_{B}, ρA=λA/μA\rho_{A} = \lambda_{A}/\mu_{A} и ρB=λB/μB\rho_{B} = \lambda_{B}/\mu_{B}. Найдите p(0,0)p(0,0).

Примечание.
?

Указание к (а): Заметьте, что клиенты типа AA и типа BB не взаимодействуют друг с другом.

Указание к (б): Скомбинируйте (а) с результатом упражнения 7.25.

Задача 7.27
?
(a)

Обобщите упражнение 7.26 на случай, когда имеется KK типов клиентов, каждый с независимым пуассоновским потоком поступлений и независимым экспоненциальным временем обслуживания. Пусть λk\lambda_{k} и μk\mu_{k} — интенсивность поступления и интенсивность обслуживания соответственно для клиентов kk-го типа, 1≤k≤K1 \leq k \leq K. Пусть ρk=λk/μk\rho_{k} = \lambda_{k}/\mu_{k} и ρ=ρ1+ρ2+⋯+ρK\rho = \rho_{1}+\rho_{2}+\cdots +\rho_{K}. В частности, покажите, как и ранее, что вероятность наличия в системе nn клиентов равна Qn=p(0,…,0)ρn/n!Q_{n} = p(0,\ldots ,0)\rho^{n}/n! при 0≤n≤m0 \leq n \leq m.

(b)

Рассматривайте клиентов из (а) как единый тип клиентов с пуассоновским потоком поступлений интенсивности λ=∑kλk\lambda = \sum_{k}\lambda_{k} и плотностью обслуживания ∑k(λk/λ)μkexp⁡(−μkx)\sum_{k}(\lambda_{k}/\lambda )\mu_{k}\exp (-\mu_{k}x). Покажите, что математическое ожидание времени обслуживания равно ρ/λ\rho /\lambda. Заметьте, что тем самым вы показали, что если распределение обслуживания можно представить в виде взвешенной суммы экспонент, то распределение числа клиентов в системе совпадает с распределением для очереди M/M/m/m с тем же средним временем обслуживания.

Задача 7.28

Рассмотрим систему массового обслуживания M/D/m/m с дискретным временем. Процесс поступления заявок бернуллиевский с вероятностью λ≪1\lambda \ll 1 поступления в каждую единицу времени. Имеется mm обслуживающих приборов; каждая поступившая заявка занимает прибор, если какой-либо прибор свободен, а иначе заявка отбрасывается. Если заявка поступает на прибор, она занимает его в течение dd единиц времени, после чего покидает систему; dd — некоторая целая константа, одинаковая для каждого прибора.

Пусть nn, 0≤n≤m0 \leq n \leq m — число обслуживаемых в данный момент заявок, и пусть xix_{i} — число единиц времени, в течение которых ii-я из этих nn заявок (в порядке поступления) находится на обслуживании. Таким образом, состояние системы можно записать как (n,x→)=(n,x1,x2,…,xn)(n, \overrightarrow {x}) = (n, x_{1}, x_{2}, \ldots , x_{n}), где 0≤n≤m0 \leq n \leq m и 1≤x1<x2<⋯<xn≤d1 \leq x_{1} < x_{2} < \cdots < x_{n} \leq d.

Пусть A(n,x→)A(n, \overrightarrow {x}) обозначает следующее состояние, если текущее состояние — (n,x→)(n, \overrightarrow {x}) и поступает новая заявка, занимающая прибор. То есть

A(n,x→)=(n+1,1,x1+1,x2+1,…,xn+1)при n<m и xn<d, A(n, \overrightarrow {x}) = (n+1, 1, x_{1}+1, x_{2}+1, \ldots , x_{n}+1) \qquad \text{при } n < m \text{ и } x_{n} < d, A(n,x→)=(n,1,x1+1,x2+1,…,xn−1+1)при n≤m и xn=d. A(n, \overrightarrow {x}) = (n, 1, x_{1}+1, x_{2}+1, \ldots , x_{n-1}+1) \qquad \text{при } n \leq m \text{ и } x_{n} = d.

То есть новая заявка получает одну единицу обслуживания к следующему моменту состояния, а все старые заявки получают ещё по одной единице обслуживания. Если самая старая заявка получила dd единиц обслуживания, то она покидает систему к следующему моменту состояния. Заметим, что возможна ситуация, когда заявка, получившая к текущему моменту dd единиц обслуживания, покидает систему и заменяется новой заявкой в этот же момент (т.е. второе уравнение выше при n=mn = m, xn=dx_{n} = d). Пусть B(n,x→)B(n, \overrightarrow {x}) обозначает следующее состояние, если либо заявка не поступает, либо новая заявка отбрасывается:

B(n,x→)=(n,x1+1,x2+1,…,xn+1)при xn<d, B(n, \overrightarrow {x}) = (n, x_{1}+1, x_{2}+1, \ldots , x_{n}+1) \qquad \text{при } x_{n} < d, B(n,x→)=(n−1,x1+1,x2+1,…,xn−1+1)при xn=d. B(n, \overrightarrow {x}) = (n-1, x_{1}+1, x_{2}+1, \ldots , x_{n-1}+1) \qquad \text{при } x_{n} = d.
?
(a)

Выдвинем гипотезу, что обратная цепь для этой системы также является системой массового обслуживания M/D/m/m с дискретным временем, но состояние (n,x1,…,xn)(n, x_{1}, \ldots , x_{n}) (0≤n≤m0 \leq n \leq m, 1≤x1<x2<⋯<xn≤d1 \leq x_{1} < x_{2} < \cdots < x_{n} \leq d) имеет иную интерпретацию: nn по-прежнему число заявок, но xix_{i} теперь — оставшееся время обслуживания, требуемое заявке ii. Объясните, как эта гипотеза приводит к следующим уравнениям стационарного режима:

λπn,x→=(1−λ)πA(n,x→),n<m,xn<d, \lambda \pi _{n,\overrightarrow {x}} = (1-\lambda )\pi _{A(n,\overrightarrow {x})}, \qquad n < m, x_{n} < d, λπn,x→=λπA(n,x→),n≤m,xn=d, \lambda \pi _{n,\overrightarrow {x}} = \lambda \pi _{A(n,\overrightarrow {x})}, \qquad n \leq m, x_{n} = d, (1−λ)πn,x→=λπB(n,x→),n≤m,xn=d, (1-\lambda )\pi _{n,\overrightarrow {x}} = \lambda \pi _{B(n,\overrightarrow {x})}, \qquad n \leq m, x_{n} = d, (1−λ)πn,x→=(1−λ)πB(n,x→),n≤m,xn<d. (1-\lambda )\pi _{n,\overrightarrow {x}} = (1-\lambda )\pi _{B(n,\overrightarrow {x})}, \qquad n \leq m, x_{n} < d.
(b)

Используя эту гипотезу, найдите πn,x→\pi_{n,\overrightarrow {x}} через π0\pi_{0}, где π0\pi_{0} — вероятность того, что система пуста.

(c)

Проверьте, что указанная выше гипотеза верна.

(d)

Найдите выражение для π0\pi_{0}.

(e)

Найдите выражение для стационарной вероятности того, что поступающая заявка отбрасывается.

Примечание.
?

Указание к (б): Используйте третье и четвёртое уравнения стационарного режима выше; ваш ответ должен зависеть от nn, но не от x→\overrightarrow {x}.

Задача 7.29

Такси курсирует между тремя пунктами. Достигнув пункта 11, оно с равной вероятностью направляется далее в пункт 22 или 33. Достигнув пункта 22, оно с вероятностью 1/31/3 направится в 11 и с вероятностью 2/32/3 — в 33. Из пункта 33 оно всегда направляется в 11. Средние времена между пунктами ii и jj: t12=20t_{12} = 20, t13=30t_{13} = 30, t23=30t_{23} = 30. Предположим экспоненциальное время обслуживания и что tij=tjit_{ij} = t_{ji}.

?
(a)

Найдите (предельную) вероятность того, что последней остановкой такси был пункт ii, i=1,2,3i = 1, 2, 3.

(b)

Какова (предельная) вероятность того, что такси направляется в пункт 22?

(c)

Какую долю времени такси едет из пункта 22 в пункт 33?

Примечание.
?

Примечание к (в): По прибытии в пункт такси немедленно отправляется дальше.

Задача 7.30
?
(a)

Предположим, что марковский процесс из задачи 7.5 изменён следующим образом: всякий раз, когда процесс входит в состояние 00, время, проводимое перед выходом из состояния 00, теперь является равномерно распределённой случайной величиной, принимающей значения от 00 до 2/λ2/\lambda. Все остальные переходы остаются прежними. Для этого нового процесса определите, образуют ли последовательные моменты входа в состояние 00 моменты восстановления, образуют ли последовательные моменты выхода из состояния 00 моменты восстановления, и образуют ли последовательные входы в любое другое заданное состояние ii моменты восстановления.

(b)

Для каждого ii найдите как усреднённый по времени интервал, так и усреднённое по времени число всех переходов состояний между последовательными посещениями ii.

(c)

Является ли этот модифицированный процесс марковским в том смысле, что P{X(t)=i∣X(τ)=j,X(s)=k}=P{X(t)=i∣X(τ)=j}\mathbb {P}\left\{ X(t) = i \mid X(\tau ) = j, X(s) = k\right\} = \mathbb {P}\left\{ X(t) = i \mid X(\tau ) = j\right\} для всех 0<s<τ<t0 < s < \tau < t и всех i,j,ki, j, k? Объясните.

Задача 7.31

Рассмотрим систему массового обслуживания M/G/1 с пуассоновскими поступлениями интенсивности λ\lambda и математическим ожиданием времени обслуживания E[X]\mathbb {E}\left[X\right]. Пусть ρ=λE[X]\rho = \lambda \mathbb {E}\left[X\right], и предположим, что ρ<1\rho < 1. Рассмотрим модель полумарковского процесса для системы массового обслуживания M/G/1, в которой переходы происходят в моменты ухода из системы, а состояние — это число клиентов сразу после ухода.

?
(a)

Предположим, что коллега вычислил стационарные вероятности {pi}\left\{ p_{i}\right\} пребывания в состоянии ii для каждого i≥0i \geq 0. Для каждого i≥0i \geq 0 найдите стационарную вероятность π\pi состояния ii во вложенной марковской цепи. Дайте решение как функцию от ρ\rho, πi\pi_{i} и p0p_{0}.

(b)

Вычислите p0p_{0} как функцию от ρ\rho.

(c)

Найдите πi\pi_{i} как функцию от ρ\rho и pip_{i}.

(d)

Совпадает ли pip_{i} со стационарной вероятностью того, что система массового обслуживания содержит ii клиентов в заданный момент времени? Объясните подробно.

Задача 7.32

Рассмотрим очередь M/G/1, в которой интенсивность поступлений равна λ\lambda, а распределение времени обслуживания равномерно на (0,2W)(0, 2W), причём λW<1\lambda W < 1. Определим полумарковскую цепь, следуя схеме для очереди M/G/1 из раздела 7.8.1.

?
(a)

Найдите P0jP_{0j} для j≥0j \geq 0.

(b)

Найдите PijP_{ij} для i>0i > 0; j≥i−1j \geq i-1.

Задача 7.33

Рассмотрим полумарковский процесс, для которого вложенная марковская цепь неприводима и положительно возвратна. Предположим, что распределение интервалов между восстановлениями для одного состояния jj арифметическое с шагом dd. Покажите, что распределение интервалов между восстановлениями для всех состояний арифметическое с тем же шагом.

?