WikiDer > Остаточное время - Википедия

Residual time - Wikipedia

В теории процессы обновления, часть математической теории вероятностей, остаточное время или время повторения вперед это время между любым моментом ${ displaystyle t}$ и следующий эпоха рассматриваемого процесса продления. В контексте случайных блужданий это также известно как превышение. Другой способ сформулировать остаточное время - «сколько еще времени нужно ждать?».

Остаточное время очень важно в большинстве практических приложений процессов обновления:

В теория массового обслуживания, он определяет оставшееся время, в течение которого вновь прибывающий заказчик в непустую очередь должен дождаться обслуживания.^[1]
В беспроводная сеть, он определяет, например, оставшееся время жизни беспроводной связи по прибытии нового пакета.
В надежность исследований, он моделирует оставшийся срок службы компонента.
и Т. Д.

Формальное определение

Пример эволюции процесса обновления с время выдержки S_я и время прыжка J_п.

Рассмотрим процесс продления ${ Displaystyle {N (т), т geq 0 }}$ , с время выдержки ${ displaystyle S_ {i}}$ и время прыжка (или эпохи обновления) ${ displaystyle J_ {i}}$ , и ${ Displaystyle я в mathbb {N}}$ . Время выдержки ${ displaystyle S_ {i}}$ являются неотрицательными, независимыми, одинаково распределенными случайными величинами, и процесс обновления определяется как ${ Displaystyle N (T) = sup {n: J_ {n} leq t }}$ . Затем к заданному времени ${ displaystyle t}$ , однозначно соответствует ${ Displaystyle N (т)}$ , такое, что:

{ Displaystyle J_ {N (t)} leq t

В остаточное время (или дополнительное время) дается временем ${ Displaystyle Y (т)}$ из ${ displaystyle t}$ к следующей эпохе обновления.

{ Displaystyle Y (t) = J_ {N (t) +1} -t. ,}

Распределение вероятностей остаточного времени

Пусть кумулятивная функция распределения времени выдержки ${ displaystyle S_ {i}}$ быть ${ Displaystyle F (t) = Pr [S_ {i} leq t]}$ и напомним, что функция обновления процесса ${ Displaystyle m (t) = mathbb {E} [N (t)]}$ . Затем в течение определенного времени ${ displaystyle t}$ , кумулятивная функция распределения ${ Displaystyle Y (т)}$ рассчитывается как:^[2]

{ Displaystyle Phi (x, t) = Pr [Y (t) Leq x] = F (t + x) - int _ {0} ^ {t} left [1-F (t + xy ) right] dm (y)}

Дифференцируя по ${ displaystyle x}$ , функция плотности вероятности может быть записана как

{ Displaystyle фи (х, т) = е (т + х) + int _ {0} ^ {т} е (и + х) м '(т-и) ду,}

где мы заменили ${ Displaystyle и = т-у.}$ Из элементарной теории обновления, ${ Displaystyle м '(т) rightarrow 1 / му}$ в качестве ${ Displaystyle т rightarrow infty}$ , куда ${ displaystyle mu}$ среднее значение распределения ${ displaystyle F}$ . Если рассматривать предельное распределение как ${ Displaystyle т rightarrow infty}$ , при условии, что ${ displaystyle f (t) rightarrow 0}$ в качестве ${ Displaystyle т rightarrow infty}$ , мы имеем предельный pdf как

{ displaystyle phi (x) = { frac {1} { mu}} int _ {0} ^ { infty} f (u + x) du = { frac {1} { mu}} int _ {x} ^ { infty} f (v) dv = { frac {1-F (x)} { mu}}.}.

Аналогично, совокупное распределение остаточного времени равно

{ Displaystyle Phi (x) = { frac {1} { mu}} int _ {0} ^ {x} [1-F (u)] du.}

Для больших ${ displaystyle t}$ , распределение не зависит от ${ displaystyle t}$ , что делает его стационарным распределением. Интересным фактом является то, что предельное распределение времени прямого повторения (или остаточного времени) имеет ту же форму, что и предельное распределение времени обратного повторения (или возраст). Это распределение всегда имеет J-образную форму с нулевой модой.

Первые два момента этого предельного распределения ${ displaystyle Phi}$ находятся:

{ displaystyle E [Y] = { frac { mu _ {2}} {2 mu}} = { frac { mu ^ {2} + sigma ^ {2}} {2 mu}} ,}

{ displaystyle E [Y ^ {2}] = { frac { mu _ {3}} {3 mu}},}

куда ${ displaystyle sigma ^ {2}}$ это дисперсия ${ displaystyle F}$ и ${ displaystyle mu _ {2}}$ и ${ displaystyle mu _ {3}}$ это его второй и третий моменты.

Парадокс времени ожидания

Дело в том, что ${ displaystyle E [Y] = { frac { mu ^ {2} + sigma ^ {2}} {2 mu}}> { frac { mu} {2}}}$ (за ${ displaystyle sigma> 0}$ ) также известен как парадокс времени ожидания, парадокс проверки или парадокс теории обновления. Парадокс возникает из-за того, что среднее время ожидания до следующего обновления, если предположить, что контрольный момент времени ${ displaystyle t}$ равномерно выбирается случайным образом в пределах интервала между обновлениями, больше среднего интервала между обновлениями ${ displaystyle { frac { mu} {2}}}$ . Среднее ожидание ${ displaystyle E [Y] = { frac { mu} {2}}}$ только тогда, когда ${ displaystyle sigma ^ {2} = 0}$ , то есть когда обновления всегда пунктуальны или детерминированы.

Особый случай: марковские времена выдержки

Когда время выдержки ${ displaystyle S_ {i}}$ экспоненциально распределены с ${ Displaystyle F (т) = 1-е ^ {- лямбда т}}$ , остаточные времена также имеют экспоненциальное распределение. Это потому ${ Displaystyle м (т) = лямбда т}$ и:

{ displaystyle Pr [Y (t) leq x] = left [1-e ^ {- lambda (t + x)} right] - int _ {0} ^ {t} left [1 -1 + e ^ {- lambda (t + xy)} right] d ( lambda y) = 1-e ^ {- lambda x}.}

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

Связанные понятия

Тексты по теории обновления обычно также определяют проводить время или обратное время повторения (или текущее время жизни) как ${ Displaystyle Z (т) = т-J_ {N (т)}}$ . Его распределение можно рассчитать аналогично распределению остаточного времени. Точно так же общая продолжительность жизни представляет собой сумму времени обратного повторения и времени прямого повторения.

Navigation