а) |
либо |
для некоторого |
т > 1 |
*6(41п-ь 4т], |
б) |
либо |
x 6 (4т, 4т+і] и в то |
же время или х£ (4n_i (т) , |
T ( 2 n ( ^ ) ] |
Для некоторого « > |
1, ИЛИ 1 ^ 2 ( 0 < ^ 2 . |
Положим
|
А2 |
= [О, |
7 ] \ А 2 . |
|
Для большей |
наглядности |
на рис. 15 приведена |
одна из возмож |
ных реализаций: а) и б) изображают |
процессы, |
протекающие на |
С-О |
|
|
|
|
|
а) |
|
|
|
|
|
|
|
1 |
|
|
|
Г,т(0>ОТ,т(в) |
|
|
|
üb. |
1) |
|
|
|
|
|
|
|
|
|
|
I |
t«Lo |
а) |
|
mi |
л) |
I |
|
te |
|
|
Рис. |
16 |
|
|
первом и втором объектах. Жирные линии соответствуют |
интер |
валам |
времени, когда |
прибор |
обслуживает соответствующий |
объект, |
в) изображает |
суммарный |
процесс, т. е. жирные |
линии |
соответствуют интервалам, когда прибор подключен к одному из первых дв^х объектов.
Ясно, что Аг состоит из конечного числа непересекающихся
интервалов. Следовательно, Аг тоже состоит из конечного числа непересекающихся интервалов.
Начиная с t = 0, нумеруем в порядке возрастания концы интер валов, образующих А2 . Положим 42) = 0. Первую после нуля точку,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
принадлежащую А2 , обозначим через tf\ |
следующую |
после |
^|2 ) |
точ |
ку |
из А 2 — через 42) |
и т. д. |
|
|
|
|
|
|
|
|
|
По индукции метод дает возможность |
определить шаг за шагом |
от |
і = |
1 до і = N все процессы |
Vt(ï). |
Зная |
числа |
{4°} |
и |
процесс |
Vt{t), |
по формулам |
(2.6) — (2.10) определяется процесс |
Vc+i |
(t). Для |
этого |
следует |
в формулах |
заменить индекс |
/ |
на і, |
а индекс 2 |
на |
і + |
1. Затем, |
аналогично |
построению |
А2 |
строятся |
множество |
А £ + і |
(і = 2, N— 1) и последовательность {4'+1)}- |
|
|
|
|
|
|
Считаем, что Vt, |
(t), Аг-, {4°} |
известны. |
|
Напомним, |
что А* со |
стоит |
из тех точек |
интервала |
[0, Т], в |
которых |
прибор |
занят |
обслуживанием первых |
і объектов; {№}— последовательность чи- |
сел, для которой t2h |
(k = 0, |
1, ...) являются |
моментами |
отключе |
ния |
прибора |
от |
обслуживания |
первых |
і |
объектов; |
t2h+i |
(k = 0, |
1, |
...)—моменты подключения |
прибора |
к |
какому-либо из |
первых і |
объектов. |
|
|
|
|
|
|
|
|
|
|
Vi(t), |
|
З а м е ч а н и е . |
Выше |
при |
определении |
процессов |
по |
следовательностей |
{t{n} |
и множеств Аі ( і=\, |
N |
мы никаких |
огра |
ничений |
на |
функции |
Q(t) |
и |
q%(t) |
не накладывали. На самом |
деле следует |
наложить |
на |
них условия, при выполнении которых |
последовательность |
{№\ |
при всех |
і |
является |
конечной. Следую |
щее первое условие |
регулярности |
функций qi(t) |
|
|
|
|
|
|
|
тqt(t)dt<оо, |
|
i=l,N, |
|
0 < Г < о о |
|
(1.11) |
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
|
|
|
является достаточным для ?:онечности последовательности |
{^л} |
при всех і и выполняется |
|
во |
всех |
практически |
интересных |
слу |
чаях. В дальнейшем условие (1.11) |
предполагается выполненным |
для всех 1=1, |
N. |
|
|
|
|
|
|
|
|
|
|
|
|
|
В. Периоды |
занятости. Обозначим |
через |
ХА^Х) индикатор |
мно |
жества |
А,-, т. е. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1, |
JCÇ Д „ |
|
|
|
|
|
|
|
|
|
|
* w |
- u , i * |
|
|
|
|
|
( 1 Л 2 > |
Тогда общее время занятости прибора первыми і объектами на |
отрез |
ке [О, Т] |
равно |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
zl(T) |
= jx&t(x)dx= |
£ |
[іШ-t^-x], |
|
(1.13) |
причем последнее слагаемое в сумме (1.13) может быть урезанным
интервалом Т—4&-ь |
где 2k — 1 индекс |
наибольшего из |
чисел |
tnl), |
не |
превосходящих Т. |
|
|
|
|
|
|
|
|
При i = N имеем |
общее |
время занятости прибора |
в |
проме |
жутке [О, Т]. |
і-тым объектом за промежуток [О, Т] |
|
|
|
Время занятости |
равно |
|
В Д 7 ) = 2 , ( 7 ) - 2 ^ ( 7 ) , |
i = |
l,N, zo (T) = 0. |
|
(1.14) |
Положим |
|
|
|
|
|
|
|
|
о#> = tn£) - |
tn% |
( n = |
1, 2, . . . ) , |
|
|
|
or„l) |
с нечетными нижними |
индексами соответствует |
длине |
не |
которого периода времени, когда прибор свободен от обслужива ния первых I объектов, а оп с четными нижними индексами соответствует периоду занятости прибора первыми і объектами.
Тогда
Ômax = max 02n, 6min = ГПІП 0 ^ ,
где
kt = max {n; 4« < 71},
дают максимальный и минимальный периоды занятости прибора
первыми і объектами. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Так как Д*_і er А* и A , _ b |
А* состоят |
из конечного числа |
интер |
валов, то множества |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
£>£ = |
Д £ П Л Ѵ - і |
= Л г \ Л ; - і |
|
|
|
|
(1.15) |
тоже |
состоят |
из конечного |
числа |
интервалов. |
Начиная |
с |
нуля, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ai) |
занумеруем |
в |
порядке |
возрастания |
концы |
интервалов |
йп , |
образующих Di. |
Таким |
образом, |
получим |
последовательность |
{d(n}, |
|
которая |
имеет тот же смысл для |
объекта і, что и |
после |
довательность |
{4''} |
для |
первых |
і |
объектов. |
Последовательности |
{<№}, |
і = 1 , N дают |
локальную |
картину |
процесса, |
происходящего |
на |
каждом |
|
объекте в |
отдельности. |
Если |
XDi |
(х) |
— индикатор |
множества |
Du то из |
(2.15) |
следует |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Щ (x) = |
Ui (х) — Хд,.! (х) |
|
|
|
|
|
и общее время занятости прибора объектов і по формуле |
(1.13) |
совпадает с ранее найденным значением |
(1.14). |
|
|
|
|
|
Числа |
ein — d2n—î {n = |
1, 2, . . . ) |
дают |
|
длины |
интервалов |
заня |
тости |
прибора обслуживанием объекта і. |
|
|
|
|
|
|
|
|
|
Г. Время ожидания. Чтобы получить |
времена |
ожидания |
начала |
обслуживания |
объектом I, |
вспомним, |
что |
на интервалах (t2m, |
4m+i] |
определялась |
последовательность |
чисел |
{х(п (m)}, |
n, m = |
1, 2, |
i = |
|
2~N. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
пт |
= min ОД |
Ѵ |
(tri) > |
4Г+,}. |
|
|
|
(1.16) |
Тогда |
времена |
ожидания |
Wm начала |
обслуживания объекта |
равны |
|
|
а # |
= |
max {0, |
|
- |
x $ m + i (m)}, |
|
m]— О, 1, . . . |
|
(1.17) |
|
Д. Оптимальная |
структура управления. Обозначим |
|
|
|
|
|
|
|
/ / ( Q ) = |
inf |
|
t = |
2JV, |
|
|
|
|
при |
фиксированном |
Q. |
|
*е[о,гі |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Задача заключается в выборе хотя бы одного такого «удов |
летворительного» Q, чтобы за промежуток |
[О, Т] объем ни |
одного |
из |
объектов |
не |
уменьшался |
до |
нижнего, |
т. е. |
f i ( Q ) > 0 . |
|
|
|
|
|
|
nk |
(kv |
. . . , |
kN) |
|
|
|
|
функций q^t), |
для |
которого |
|
|
|
|
|
|
|
Як, (t) |
> <7ft2 (t) > ... |
> qkN |
(t) |
при |
всех t € [sk, |
sk+i). |
|
Потребуем, |
чтобы |
функции |
qc(t) |
удовлетворяли |
в т о р о м у |
у с л о |
в и ю р е г у л я р н о с т и . |
Для каждого |
конечного |
Т > 0 |
существует |
конечное п, |
при котором |
|
|
|
|
|
|
|
|
|
|
|
|
s „ < 7 , < s n + i . |
|
|
|
(1.20) |
Обозначим |
через |
п(Т) |
число п, |
определяемое |
условием |
(1.20). |
Можно показать, |
что если |
г?.(Г)=0, |
то |
оптимальный |
порядок яо |
есть естественный |
порядок |
(1, 2, |
N), |
причем |
условия |
(1.18) |
удовлетворены |
на |
всем |
интервале (0, Г). Предположим, |
что за |
изменение порядка обслуживания объектов нам приходится пла
тить штраф £(яіяг) |
(если переходим |
от щ к я 2 ) . Тогда |
по |
прин |
ципу динамического программирования [129] стратегия |
оптималь |
ного |
управления |
определяется |
из |
следующего |
рекуррентного |
соотношения: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L{k)= |
|
т і п ( £ ( я * _ і я ) |
+ £ ( £ — 1 ) + |
АЕ (я)), |
|
|
(1.21) |
|
|
|
|
я |
|
|
|
|
|
|
|
|
|
|
где |
яь_і — управление, |
использованное |
на [k—1)-м |
шаге; |
|
|
L ( Ä _ i ) — минимальные потери |
до |
момента sfe_b полученные в |
|
процессе обслуживания объектов; |
|
|
|
|
|
Ль(я) — текущие |
потери |
системы |
от |
использования |
|
управле |
|
ния |
я |
в интервале [Sk, su+\). |
Если |
потери |
измеряются |
|
по |
штрафному |
времени |
и |
g(ni, |
я 2 ) = 0 |
для |
всех |
|
яі и яг, то из (1.21) |
следует, |
что оптимальное |
управ |
|
ление |
обслуживанием N |
объектов на k-том. |
отрезке |
|
времени |
[sk, |
sk+i) |
будет |
равняться я&. |
|
|
|
|
§ 2. Приоритетная система с ограничением на время ожидания
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
À. Описание системы. Аналог системы, изучаемой в настоя |
щем |
параграфе, |
в детерминированном |
случае подробно |
разобран |
в § 1 настоящей |
главы. |
|
|
|
|
|
|
|
|
|
|
|
Один прибор обслуживает вызовы N источников. Вызовы от |
источников после обслуживания |
возвращаются |
обратно |
в свои |
источники. В каждом |
источнике |
имеется ровно один вызов. Если |
в момент t в і-том |
источнике |
есть вызов, то он в промежутке |
[t, |
t + At) потребует |
обслуживания с |
вероятностью |
а,А^ + 0 |
(àt) |
и остается в источнике с вероятностью |
1—a.iAt + 0 (At) |
( t = l , |
N). |
Если в момент прихода вызова |
из і-того источника |
(t-вызова) |
на |
обслуживание |
прибор |
занят |
обслуживанием |
/-вызова, |
то |
при |
і < / |
обслуживание /-вызова |
прерывается |
и начинается |
обслужи |
вание |
t-вызова; |
при |
і > / |
t-вызов начнет |
обслуживаться |
сразу |
после |
того, как |
кончится |
обслуживание |
вызовов |
с |
номерами, |
меньшими чем і. Если перед началом обслуживания t-вызов ждал, то его обслуживание состоит из двух этапов с независи
мыми |
длительностями г\[1) и г\21) сл. в. Г|і° и ці^ имеют ф. р. В[1) |
(t) |
и |
B 2 l ) |
(t) соответственно. |
|
|
|
|
|
|
Если вызов обслуживается сразу, то обслуживание длится |
только |
один этап |
r\2l)(i=l,N). |
Время |
ожидания |
і-вызова |
не |
должно превышать сл. в. ^ с ф. р. |
1 — е ~ ѵ ^ ( ѵ £ > 0 ) ; |
в |
против |
ном случае вызов теряется. Если |
прерывание вызова |
произошло |
на |
втором этапе |
обслуживания, то вызов |
возвращается |
обратно |
в источник без дообслуживания, а если на первом, то вызов ожи дает начала нового двухэтапного обслуживания с неидентичным
обслуживанием заново. |
|
Основная цель параграфа — получение асимптотики |
времени |
до первой потери вызова при быстром обслуживании. |
Попутно |
находятся соотношения, определяющие период занятости и время пребывания вызова на приборе.
Б. Описание вспомогательной системы. При изучении основ
ной системы будет нужна следующая вспомогательная |
система |
обслуживания. |
|
|
|
|
|
|
|
|
|
Ненадежный |
прибор |
обслуживает |
один |
|
вызов |
(один |
источ |
ник). |
Времена |
«жизни» |
и |
восстановлений |
|
прибора |
образуют |
альтернирующий |
процесс |
восстановления |
и |
имеют |
ф. р. |
1 — е - с т ' ( а > 0 ) |
и E(t) |
соответственно. Если |
вызов |
находится в |
источнике, то время до его |
поступления |
на |
прибор |
распределено |
по экспоненциальному закону с параметром |
а > 0 . Если |
в момент |
поступления вызова прибор |
неисправлен, то |
вызов ждет до конца |
восстановления. |
Если время |
ожидания |
превосходит сл. в. £, где |
P{Z,<Ct} |
= 1—e~v t ( ѵ > 0 ) , |
|
то вызов теряется. В противном |
слу |
чае, после восстановления прибор сразу приступает к обслужива нию вызова. Если до начала обслуживания вызов ждал, обслу живание состоит из двух независимых этапов с ф. p. Bi(t) и B2(t) соответственно; если обслуживание началось сразу, то только из второго с ф. p. B2(t). При выходе прибора из строя на первом этапе обслуживания время ожидания вызова начинается заново; при прерывании же обслуживания на втором этапе вызов возвра щается обратно в источник.
В пунктах В—3 проводится исследование вспомогательной модели.
В. Разновидности периодов занятости. Промежуток времени с момента начала обслуживания или восстановления прибора до первого момента, когда прибор свободен и исправен, назовем «периодом занятости» системы и обозначим его через я. Через А обозначим событие, заключающееся в том, что на одном периоде занятости вызов не потерян.
Пусть П(г)—вероятность того, что за период занятости не наблюдалась потеря вызова и длительность этого периода не превосходит t, т. е.
П(/) = Р ( я < * , А}.
Через щ обозначим период занятости, начавшийся с восстановле ния прибора, при условии, что вызов находится в источнике; через яг — период занятости, начавшийся с момента поступления вызова из источника; я 3 — период занятости, начавшийся с двухэтапного обслуживания.
Положим
|
nl(t) |
= P{nl<t,A} |
( / = 1 , 2 , 3 ) . |
|
|
|
|
Г. Уравнения для периодов занятости. Считаем, что незави |
симо |
от функционирования системы |
наступают |
катастрофы, |
|
по |
ток которых является пуассоновым |
с |
параметром |
s>0. |
Тогда: |
Яі (s) — вероятность того, |
что период |
занятости |
начался |
с восста |
новления прибора и за весь период вызов не был потерян, |
а |
ката |
строфы |
не наступали; |
|
|
|
|
|
|
|
|
|
|
яг(«) (яз(s) )—вероятность того, |
что период |
занятости |
на |
чался с момента поступления вызова |
из |
источника |
(с |
двухэтап- |
ного обслуживания), а за весь период |
занятости |
вызов |
не |
был |
потерян и катастрофы |
не |
наступали; |
|
|
|
|
|
|
|
|
(çj(s-r-a)—вероятность |
|
того, что |
за |
время |
одного |
восстанов |
ления прибора вызов не поступал и не |
наступали |
катастрофы; |
cp(s + v)—вероятность |
того, что |
за |
время |
одного |
восстанов |
ления |
прибора вызов |
не будет потерян |
и не наступят |
|
катастрофы |
при условии, что в момент начала восстановления вызов ожидал обслуживания;
|
|
|
|
|
|
|
|
|
оо |
|
|
|
|
X |
|
|
|
|
|
— - — |
[ф(s + |
ѵ) — ф(s + |
а)] |
= |
j * e~sxdF(x) |
j*e - (* - «)v d[l — |
|
e~au] |
|
|
|
|
|
|
|
|
|
о |
|
|
|
|
о |
|
|
|
|
|
вероятность |
того, |
что |
|
за |
время |
|
одного |
|
восстановления |
при |
бора |
катастрофа |
|
не наступила, поступил |
вызов, но не был |
поте |
рян; |
ßi(s + o) |
— |
вероятность того, |
что |
на |
і-том |
этапе |
обслужива |
|
ния |
прибор |
не |
выйдет |
|
из |
строя |
и |
не |
наступят |
катастрофы; |
|
|
|
[1 — ß, (s-j'-a)] |
—вероятность |
того, |
что за |
t'-тый этап |
об- |
S + |
о |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
служивания |
прибор |
вышел |
из |
строя, |
а |
|
до |
выхода |
прибора |
из |
строя катастрофа |
|
не наступала. |
|
|
|
|
|
|
|
|
|
|
|
|
По формуле полной вероятности выписываются |
уравнения, |
связывающие функции |
|
я* (s): |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
" i (s ) = |
ф (s + a) |
4 |
|
-— |
[ф (s+ |
v ) |
— |
ф (s + |
a)] |
я 3 (s), |
|
|
|
|
|
|
|
|
|
|
a— v |
|
|
|
|
|
|
|
|
|
|
|
|
|
я 2 |
(s) |
= |
ß2 (s + |
o) + |
— f — |
[1 - |
ß 2 |
(s + |
a)] я г (s), |
|
|
|
|
|
|
|
|
|
|
|
S - p |
O" |
|
|
|
|
|
|
|
|
|
|
Щ (s) = |
ßx (s + с) я 2 (S) + |
|
— J — |
[ 1 _ |
ß (s + |
о)] ф (s + |
v ) |
я„ (s). |
|
|
24 З а к . 64 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
369 |
Функция it3(s) является вспомогательной, поэтому после, решив систему уравнений (3.1), выпишем лишь формулы для iti(s)
иJT 2 (S):
|
|
nt (s) |
ф (s + |
а) |
|
s+ст |
( l - ß t |
(s + o))9(s + |
v) |
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s-b-0 |
a— |
v |
[ф (s + v) — ф (s + |
a)J X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
[ Ф |
(s + |
v) - |
|
ф (s |
+ a)] ß x (s + 0) ß 2 (s |
+ |
0) |
|
|
|
|
|
|
a — v |
|
|
|
|
|
|
|
|
|
|
|
|
|
(2.2) |
|
|
X ßi(s + a ) ( l - ß 2 (s + 0 ) ) - |
|
( l - ß ^ s + o ^ s + v) |
|
|
|
л 2 |
(s) = |
ß 2 (*+<*) |
+ |
s-4-о |
( l - ß » ( s + o))9(s - |
•a)J |
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
v [ф(5 + |
Ѵ ) - ф ( * + |
А)]Мв + |
о) X |
|
|
|
|
|
|
s + |
0 |
a— |
(2.3) |
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X 1 |
( l _ ß l ( s + |
0 - ) ) ( p ( s + |
v ) j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S + 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
( l - ß 2 ( s |
+ 0))- |
S + |
0 |
Ф(5+ Ѵ ) |
( l - M s + 0 ) ) |
|
|
З а м е ч а н и е 1. |
В формулах |
(2.1) — (2.3) |
считаем |
аФѵ. |
Если афѵ, то |
вместо |
|
a |
[ф (s -f- v) — ф (s -|- a)] |
всюду следует брать |
а (— ф' (s - [ - a)). |
|
а— |
|
|
v |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Всюду, в дальнейшем, мы будем выписывать результаты для |
случая |
афѵ. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Д. Ф. р. периода |
занятости. С вероятностью —-— период |
заня- |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
а-\-а |
|
|
|
тости |
равен я х |
и с |
вероятностью |
——t— |
— я 2 . Поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
|
0 + |
а |
|
|
|
|
|
|
|
|
|
|
|
|
|
я |
о |
|
|
|
. |
а |
|
|
|
|
|
(2.4) |
|
|
|
|
|
|
a-j-a |
Я-j -| |
а-\-а |
я . |
|
|
|
|
|
|
|
|
|
|
|
|
" |
|
|
|
|
|
|
|
Ясно, |
что |
ф. р. П ^ ) , |
П2 (^), |
П(^) — несобственные |
ф. р. и |
|
|
|
Р (А) = |
П (оо) = |
я (0) = |
0 + |
• М О ) |
0 + а |
я 2 |
( 0 ) < 1 . |
(2.5) |
|
|
|
|
|
|
|
|
|
а |
|
|
|
|
|
|
На основании (2.2) и (2.3) |
|
|
|
|
|
|
|
|
|
|
|
|
|
я , (0) |
= |
Ф(а)[1 — Cl — ßi (о))ф(ѵ)1- |
|
|
|
[ Ф |
(v) - |
ф (a)] ßi (0) ß 2 (о) |
(2.6) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 — • |
|
[ Ф (v) - |
ф (a)] ß x |
(0) (1 - |
ß 2 |
(0)) - |
ф (v) (1 - |
(0)) |
|