Многолинейная система обслуживания с ожиданием. Дадим теперь пример системы, по конструкции более простой, чем КЛП Гнеденко — Коваленко, но не укладывающейся в эту схему.

Рассмотрим систему массового обслуживания (в другом представлении она была рассмотрена в примере 3), состоящую из N приборов, на которую через независимые одинаково распределенные случайные промежутки времени поступают требования. Обозначим Н(х) функцию распределения этих промежутков. Длительности обслуживания отдельных требований на приборах не зависят от остальных случайных величин, «управляющих» системой, и имеют одну и ту же (для всех приборов и требований) функцию распределения В(х). Будем характеризовать состояние системы вектором z = (v, z^v), v = 0, 1, …, где компоненты вектора z имеют следующий смысл: v — число требований, находящихся в системе, z^v(1)—время, оставшееся до поступления очередного требования,
z^v(j), 1 < j ≤ N ∧ v + 1 — времена, оставшиеся до окончания обслуживании требований, находящихся на приборах. По своему смыслу все дополнительные координаты положительны и убывают с единичной скоростью. В момент обращения в нуль координаты z^v(1) (что соответствует поступлению в систему требования) значение основного состояния увеличивается на 1, первая дополнительная координата принимает случайное значение с распределением Н, остальные координаты сохраняют свои значения и порядок, а общее число дополнительных координат остается неизменным, если v ≥ N и увеличивается на 1, если v < N. В последнем случае новая координата является случайной величиной с распределением В. В момент обращения в нуль z^v(j), j > 1, эта координата «удаляется» из записи вектора состояния, и значение v уменьшается на 1. Если при этом было v ≤ N, то больше никаких изменений не происходит. Если же было v > N, то размерность z^v не изменяется благодаря тому, что к «уменьшенному» вектору приписывается случайная величина, распределенная по закону В (что соответствует началу обслуживания очередного требования).

В этом описании следует сделать очевидные дополнения для случая, когда в нуль обращаются несколько дополнительных координат.

Ограничимся лишь формализацией данного процесса в виде КЛП. Именно, рассматриваемую модель можно получить из КЛП общего вида путем следующих ограничений:

Г_v = {z^v > 0}, |v|=N∧v + 1, v^v(j) = -1, 1 ≤ j ≤ |v|,

λ(z) =0 (следовательно, Р⁽¹⁾ не определяется).

Тогда для V∈D_A имеем

AV (v, z^v) = V (v, z^v)

Пусть z* = (v, z^v_*), где z^v_* (i) = 0 при i = j₁, …, j_m и z^v_*(i) > 0 при i ≠ j₁, …, j_m, 1 ≤ j₁ < ... < j_m ≤ |v|. Обозначим через z^v(j₁, …, j_m) вектор, получающийся из z^v «удалением» координат с номерами j₁, …, j_m причем, если b = (b₁, …, b_k), то (b)_p = (b₁, …, b_k).

Тем самым показано, что данная модель системы массового обслуживания представлена в виде КЛП.

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