Пример 3 и 4 моделей систем с дискретным временем


Пример 3.
Многолинейная система обслуживания с ожиданием. Система обслуживания состоит из N параллельно работающих приборов, на которые в моменты tn поступают требования θn = tn+1 — tn. Пусть ηn — время обслуживания n-го требования. Если все приборы заняты, то требования образуют очередь и в дальнейшем обслуживаются в порядке поступления. Если поступившее требование застало в системе свободным хотя бы один прибор, то оно сразу направляется на обслуживание (безразлично, на какой прибор).

Введем в рассмотрение вектор zn — (zn(1), …, zn(N)), где zn(k) —длительность интервала времени с момента поступления n-го требования до момента, когда впервые по меньшей мере k приборов станут свободными от требований, поступивших раньше n-го. Очевидно, 0 ≤ zn(1) ≤ … ≤ zn(N), a zn(l) — время ожидания n-м требованием начала обслуживания. Пусть е и 1—векторы размерности N, имеющие вид е= (1, 0, …, 0), 1 = (1,1, . .., 1). Тогда векторы zn+1 и zn связаны соотношением

zn+1 = R(znne — θn1)+, (6)

где запись (⋅)+ для вектора означает взятие неотрицательной части от каждой компоненты этого вектора, a R — оператор, упорядочивающий координаты вектора (к которому он применяется) по возрастанию.

Введем двумерный вектор ξn = (ηn, θn). Предположим, что {ξn} — последовательность независимых одинаково распределенных векторов, Н — первый квадрант плоскости. Тогда zn — марковский процесс с множеством состояний Z={(z(1), … z(N)): 0 ≤ z(1) ≤ z(2) ≤ … ≤ z(N)}. Пусть ||z|| = max z(j),
||ξ||= |η| + |θ|. Равенство (6) является частным случаем соотношения (1.5), причем, как следует из (6),

||R(ω + ηe — θ1)+ ≤ ||ω|| + |η|. (7)

и поэтому, если М(η)γ < ∞, γ > 0, то Мωn||γ < ∞ при любых n и ω ≥ 0. Производящий оператор А определяется равенством AV(ω) = М V[R(ω + ηe - θ1)+] — V(ω).

Если М|η| < ∞, то, как следует из неравенства (7), область DА содержит все функции V, растущие не быстрее линейной: |V(z)| ≤ L||z|| при некотором L > 0 (в частности, удовлетворяющие условию Липшица).

Пример 4.
Многофазная система обслуживания. Рассмотрим N последовательно расположенных однолинейных систем (фаз) типа, описанного в примере 2. При этом поток требований.
обслуженных на первом приборе, является входящим для второй фазы, выходящий поток второй фазы — входящим для третьей и т. д.

Пусть, как и выше, tn — момент поступления в систему n-го требования, θn = tn+1 — tn. Обозначим через ηn(k) время обслуживания (n+1)-ro требования на приборе k-й фазы, 1 ≤ k ≤ N. Пусть zn(k)—длительность пребывания n-го требования на первых k фазах, 1 ≤ k ≤ N. Тогда

zn+1(1) = 0 ∨ (zn(1)-θn) + ηn(1),

zn+1(k) =zn+1(k-1) ∨ (zn(k) — θn) + ηn(1),1 < k < N, (8) zn+1(N) =zn+1(N-1) ∨ (zn(N) — θn) + ηn(N)

Очевидно, 0 ≤ zn(1) ≤ zn(2) ≤ … ≤ zn(N). Введем в рассмотрение (N +1)-мерный вектор ξn = (ηn(1), …, ηn(N), θn), H — пространство (N+ 1)-мерных неотрицательных векторов. Предположим, что {ξn} — последовательность независимых одинаково распределенных векторов. Тогда, как следует из соотношений (8), процесс zn = (zn(1), …, zn(N))—однородный марковский вида (1.5) с множеством состояний Z = ((z(1), …, z(N): 0 ≤ z(1) ≤ … ≤ z(N)}. Пусть

||z|| = max|z(j)| =z(N), ||ξ|| = θ + ∑ηn(j).

Поскольку имеет место неравенство

|zn+1(j)| ≤ zn(j)|+ ∑ηn(j), (9)

то при max M(η(j))γ < ∞, γ > 0,имеет место Mzzn(j) < ∞ при всех n ≥ 0, 1 ≤ j ≤ N, z ∈ Z. Очевидно, равенство (8) можно записать в эквивалентной форме

zn+1 = F (zn,

ξn), где вид вектор-функции F = (F1 …, FN) определяется из (8): F1(zn, ξn) = max(0, zn(1) — θn) +ηn(1),
F2(zn, ξn) = max [max (0, zn(1) — θn) +ηn(1)],
и т. д.

Тогда вид производящего оператора А определяется равенством
AV(ω) = М V[F(ω, ξ)] — V(ω), где функция F задана соотношениями (19). Если mах М η(j) < ∞, то, как следует из неравенств (9), область DA содержит все функции, растущие не быстрее линейной: |V(z)| ≤ L|z| при некотором L > 0 (в частности, удовлетворяющие условию Липшица)


Комментарии запрещены.




Статистика