Академический Документы
Профессиональный Документы
Культура Документы
Íà ïðàâàõ ðóêîïèñè
Íàó÷íûé ðóêîâîäèòåëü,
ä.ò.í., ïðîô. Â.Â. Äîìáðîâñêèé
Òîìñê, 2003
Îãëàâëåíèå
Ââåäåíèå 4
2
3
Çàêëþ÷åíèå 131
Áèáëèîãðàôèÿ 133
Ââåäåíèå
4
ÂÂÅÄÅÍÈÅ 5
Ìåòîäû èññëåäîâàíèÿ
Ñîäåðæàíèå ðàáîòû
Àïðîáàöèÿ ðàáîòû
Ïóáëèêàöèè
x = fxj x 2 R ; x x xg;
ãäå x; x ëåâûé è ïðàâûé êîíöû (íèæíÿÿ è âåðõíÿÿ ãðàíèöû) èíòåðâàëà
x ñîîòâåòñòâåííî. Ìíîæåñòâî âñåõ ïðàâèëüíûõ èíòåðâàëîâ îáîçíà÷àåòñÿ
÷åðåç IR [94]. (Ýëåìåíòû ìíîæåñòâà IR
íàçûâàþòñÿ òàêæå èíòåðâàëüíû-
ìè ÷èñëàìè.)
Äâà èíòåðâàëà (èíòåðâàëüíûõ ÷èñëà) ñ÷èòàþòñÿ ðàâíûìè, åñëè èõ îä-
17
ÃËÀÂÀ 1. Ýëåìåíòû èíòåðâàëüíîãî àíàëèçà 18
x=y() x = y; x = y:
Îòíîøåíèÿ ïîðÿäêîâ íà ìíîæåñòâå IR îïðåäåëÿþòñÿ ñëåäóþùåì îá-
ðàçîì
x y () x y; x y;
x < y () x < y;
x y () x y; x y:
\ ?
Ïåðåñå÷åíèå äâóõ èíòåðâàëîâ x è y ïóñòî, x y = , åñëè x < y èëè
y < x. Åñëè x; y èíòåðâàëû ñ íåïóñòûì ïåðåñå÷åíèåì, òî
x \ y = maxfx; yg; minfx; yg ;
x [ y = minfx; yg; maxfx; yg :
^ f g
Îïåðàöèè âçÿòèÿ òî÷íîé íèæíåé (x y = inf x; y ) è òî÷íîé âåðõ-
_ f g
íåé (x y = sup x; y ) ãðàíåé ïî âêëþ÷åíèþ îïðåäåëÿþòñÿ ñëåäóþùèì
îáðàçîì
x ^ y = maxfx; yg; minfx; yg ;
x _ y = minfx; yg; maxfx; yg :
Çàìå÷àíèå 1.1. Åñëè x; y åñòü îäíîìåðíûå èíòåðâàëû ñ íåïóñòûì
ïåðåñå÷åíèåì, òî x^y è x_y ñîâïàäàþò ñ x\y è x[y ñîîòâåòñòâåííî.
Îäíàêî, â îáùåì ñëó÷àå ýòî íå òàê.
wid x = x x:
Ñåðåäèíà èíòåðâàëà x åñòü ïîëóñóììà åãî êîíöîâ
mid x = + x :
x
2
Ðàññòîÿíèå ìåæäó èíòåðâàëàìè x; y íà IR
ââîäèòñÿ ðàâåíñòâîì
f
dist(x; y) = max x y ; x y : j jg
ÃËÀÂÀ 1. Ýëåìåíòû èíòåðâàëüíîãî àíàëèçà 19
Âåùåñòâåííûå ÷èñëà x 2R
îòîæäåñòâëÿþòñÿ ñ èíòåðâàëàìè íóëåâîé
øèðèíû (âûðîæäåííûìè èíòåðâàëàìè) x = [x; x]. Âûðîæäåííûå èíòåð-
âàëû, â îòëè÷èå îò âåùåñòâåííûõ ÷èñåë, îáîçíà÷àþòñÿ æèðíûì øðèô-
òîì, íàïðèìåð, 0 = [0; 0]; 0 0.2
Èíòåðâàëüíàÿ àðèôìåòèêà. Êëàññè÷åñêàÿ èíòåðâàëüíàÿ àðèôìå-
òèêà ÿâëÿåòñÿ àëãåáðàè÷åñêîé ñèñòåìîé hIR i
; +; ; ; = , íîñèòåëü êîòîðîé
åñòü ìíîæåñòâî ïðàâèëüíûõ èíòåðâàëîâ IR f j
= x = [x; x] x x; x; x , 2 Rg
à áèíàðíûå îïåðàöèè: ñëîæåíèå, âû÷èòàíèå, óìíîæåíèå, äåëåíèå, îïðå-
äåëåíû ñëåäóþùèì îáðàçîì
x ? y = fx ? yj x 2 x; y 2 yg;
f g
ãäå ? = +; ; ; = . Ðàçâåðíóòîå îïðåäåëåíèå èíòåðâàëüíûõ àðèôìåòè-
÷åñêèõ îïåðàöèé èìååò ñëåäóþùèé âèä
x + y = x + y; x + y ;
x y = x y; x y ;
xy = minfxy; xy; xy; xyg; maxfxy; xy; xy; xyg ;
(
[cx; cx]; åñëè c 0;
cx = c 2 R;
[cx; cx]; åñëè c < 0;
x=y = x 1=y; 1=y ; 0 62 y:
Ïðè ýòîì ÷åðåç èíòåðâàë ( x) îáîçíà÷àåòñÿ èíòåðâàë ( 1) x, òî÷êà äëÿ
îáîçíà÷åíèÿ óìíîæåíèÿ, êàê ïðàâèëî, îïóñêàåòñÿ.
x + (y + z) = (x + y) + z; x + y = y + x;
x (y z) = (x y) z; x y = y x:
Íóëåì ñëîæåíèÿ ÿâëÿåòñÿ ÷èñëî 0, à åäèíèöåé óìíîæåíèÿ ÷èñ-
ëî 1 (êîòîðûå, êàê îòìå÷àëîñü, îòîæäåñòâëÿþòñÿ ñ âûðîæäåííûìè
èíòåðâàëàìè [0; 0]; [1; 1]). Äðóãèìè ñëîâàìè,
x + 0 = 0 + x = x;
x 1 = 1 x = x:
x(y + z) xy + xz:
Äèñòðèáóòèâíîñòü (êîãäà âêëþ÷åíèå îáðàùàåòñÿ â òî÷íîå ðàâåí-
ñòâî)
x(y + z) = xy + xz
èìååò ìåñòî â íåêîòîðûõ ÷àñòíûõ ñëó÷àÿõ, íàïðèìåð, åñëè
x=x 2R
(èíòåðâàë x âûðîæäåííûé),
yz 0 (çíàêè èíòåðâàëîâ y; z ñîâïàäàþò),
y; z ñèììåòðè÷íûå èíòåðâàëû.
ÃËÀÂÀ 1. Ýëåìåíòû èíòåðâàëüíîãî àíàëèçà 21
x?y x ?y;
0 0
_
(X Y) 2 IR
n , â êîòîðîì (x y) = x
i _
i yi ; i = 1; n._
Ïðîèçâåäåíèå âåùåñòâåííîé ìàòðèöû C 2R
nm íà èíòåðâàëüíûé âåê-
òîð X 2 IR
m îïðåäåëÿåòñÿ ïðàâèëîì
m
X
(cx)i = cij xj ; i = 1; n:
j =1
Ïðîèçâåäåíèå äâóõ ìàòðèö X = (xij ) 2 IR nk è Y = (yij ) 2 IR km
îïðåäåëÿåòñÿ ñëåäóþùèì îáðàçîì
k
X
(xy)ij = xil ylj ; i = 1; n; j = 1; m:
l=1
Îïðåäåëåíèå 1.1. Èíòåðâàë (èíòåðâàëüíûé âåêòîð, ìàòðèöà) íàçû-
âàåòñÿ ôîðìàëüíûì ðåøåíèåì èíòåðâàëüíîãî óðàâíåíèÿ (ñèñòåìû óðàâ-
íåíèé), åñëè ïîäñòàíîâêà ýòîãî èíòåðâàëà â ðàññìàòðèâàåìîå óðàâíå-
íèå è âûïîëíåíèå âñåõ èíòåðâàëüíî-àðèôìåòè÷åñêèõ îïåðàöèé ïðèâî-
äÿò ê ðàâåíñòâó [64].
xy () x y; x y:
Íàïðèìåð, çàïèñü 0 x îçíà÷àåò, ÷òî x 0 x, à çàïèñü x 0
ýêâèâàëåíòíà x 0 x.
Ïðè ñðàâíåíèè äâóõ èíòåðâàëîâ x; y2 K R èìååò ìåñòî ñîîòíîøåíèå
xy () x y; x y:
x + y = [x + y; x + y];
(
[cx; cx]; åñëè c 0;
cx = c 2 R:
[cx; cx]; åñëè c < 0;
Êàæäûé ýëåìåíò x 2 KR
èìååò åäèíñòâåííûé îáðàòíûé ïî ñëîæåíèþ
ýëåìåíò opp x, êîòîðûé îïðåäåëÿåòñÿ ñëåäóþùèì îáðàçîì
opp x = [ x; x]:
Ýòîò ôàêò äåëàåò âîçìîæíûì, â îòëè÷èå îò êëàññè÷åñêîé èíòåðâàëü-
íîé àðèôìåòèêè, ïåðåíîñèòü ÷ëåíû èç îäíîé ÷àñòè óðàâíåíèÿ â äðóãóþ
"ñ ïðîòèâîïîëîæíûì çíàêîì". Îïåðàöèÿ, îáðàòíàÿ äëÿ ñëîæåíèÿ, íàçû-
âàåòñÿ îïåðàöèåé âíóòðåííåãî âû÷èòàíèÿ è èìååò âèä
x y = x + opp y = [x y; x y]:
Äëÿ òîãî, ÷òîáû âûïèñàòü ÿâíûå ôîðìóëû äëÿ óìíîæåíèÿ, âûäåëèì
âKR ñëåäóþùèå ïîäìíîæåñòâà:
 öåëîì KR [ [ [
= P Z ( P ) dual Z . Òîãäà óìíîæåíèå â èíòåðâàëüíîé
àðèôìåòèêå Êàóõåðà ìîæåò áûòü îïèñàíî Òàáëèöåé 1.1.
ßâíûå ôîðìóëû äëÿ óìíîæåíèÿ èç Òàáëèöû 1.1 ÿâëÿþòñÿ äîâîëü-
íî ãðîìîçäêèìè è èìåþò êóñî÷íûé õàðàêòåð. Ïîýòîìó â ðÿäå ñëó÷à-
åâ èñïîëüçóþò ôîðìóëó äëÿ èíòåðâàëüíîãî óìíîæåíèÿ, ïðåäëîæåííóþ
À.Â. Ëàêååâûì [28]
h
xy = (x y ) _ (x y ) (x y ) _ (x y );
+ + + +
i
(x y ) _ (x y ) (x y ) _ (x y ) ;
+ + + +
ÃËÀÂÀ 1. Ýëåìåíòû èíòåðâàëüíîãî àíàëèçà 26
f g f g
ãäå x+ = max x; 0 ; x = max x; 0 åñòü ïîëîæèòåëüíàÿ è îòðèöà-
_ f g
òåëüíàÿ ÷àñòè âåùåñòâåííîãî ÷èñëà x; x y = max x; y òî÷íàÿ âåðõíÿÿ
ãðàíü x; y .
Çàìåòèì, ÷òî, îïåðàöèè ñëîæåíèÿ è óìíîæåíèÿ íà îáëàäàþò ñâîé- KR
ñòâàìè êîììóòàòèâíîñòè è àññîöèàòèâíîñòè, òàê æå êàê è â êëàññè÷åñêîé
èíòåðâàëüíîé àðèôìåòèêå.
Îïåðàöèè âû÷èòàíèÿ è äåëåíèÿ â àðèôìåòèêå Êàóõåðà îïðåäåëÿþòñÿ
ïîäîáíî êëàññè÷åñêîé èíòåðâàëüíîé àðèôìåòèêå
x y = x + ( 1)y = [x y; x y];
x=y = x=y; x=y ; 0 62 pro y:
Àëãåáðàè÷åñêîå äåëåíèå (îïåðàöèÿ, îáðàòíàÿ óìíîæåíèþ) èìååò âèä
xy = x=y; x=y ; 0 62 pro y:
Çàìå÷àíèå 1.2. Ôîðìàëüíîå ðåøåíèå óðàâíåíèÿ
a x + b = c; a; b; c 2 K R ; 0 62 pro a;
èìååò âèä
c b c b
x = (c b) a = ; :
a a
Ñòîèò îòìåòèòü, ÷òî â àðèôìåòèêå Êàóõåðà ñîõðàíÿåòñÿ ìîíîòîííîñòü
èíòåðâàëüíûõ îïåðàöèé ïî âêëþ÷åíèþ
xx; yy =) x ? y x ? y
0 0 0 0
ÃËÀÂÀ 1. Ýëåìåíòû èíòåðâàëüíîãî àíàëèçà 27
äëÿ ? 2f g
+; ; ; = è ëþáûõ x; x ; y; y0
0
. 2 KR
Ñâÿçü ñëîæåíèÿ è óìíîæåíèÿ â àðèôìåòèêå Êàóõåðà îïèñûâàåòñÿ ñëå-
äóþùèì îáðàçîì
(
x(y + z) xy + xz; åñëè x ïðàâèëüíûé (ñóáäèñòðèáóòèâíîñòü);
x(y + z) xy + xz; åñëè x íåïðàâèëüíûé (ñóïåðäèñòðèáóòèâíîñòü):
28
ÃËÀÂÀ 2. Èíòåðâàëüíûå ìîäåëè ðàçìåðà ïàðòèè ñ íåïðåðûâíûì êîíòðîëåì 29
= [; ]; 2 IR ;
è ïîñòàâîê
= [; ]; 2 IR :
ßñíî, ÷òî ñèñòåìà ìîæåò ðàáîòàòü òîëüêî, åñëè
[a; b] = ; =
x x x x x x
a b 1 1
= ; = [ a; b ] = opp [a; b]: (2.7)
x 2 x2 x2 x2
Èñïîëüçóÿ ôîðìóëó (2.7), íàéäåì ÷àñòíûå ïðîèçâîäíûå ôóíêöèè
L(; ; s; Q) ïî Q; s è ïðèðàâíÿåì èõ íóëþ
@ L(; ; s; Q) 1 (h + p)s2 h( )
= 2 opp g + + = 0;
@Q Q 2 ( ) 2
@ L(; ; s; Q) (h + p)s
= h = 0:
@s Q ( )
Ïîëó÷àåì èíòåðâàëüíóþ ñèñòåìó íåëèíåéíûõ óðàâíåíèé îòíîñèòåëüíî
ïàðàìåòðîâ s è Q. Çàìåòèì, ÷òî ñòðîãîå ðàâåíñòâî íóëþ (èíòåðâàëüíî-
ìó íóëþ, 0 = [0; 0]) âûïîëíåíî òîëüêî â ñëó÷àå èíòåðâàëüíûõ çíà÷åíèé
ïàðàìåòðîâ s è Q. Ïîýòîìó áóäåì ðàññìàòðèâàòü ýòè ïàðàìåòðû êàê
ñîîòâåòñòâóþùèå èíòåðâàëû s; Q. Ñ ó÷åòîì ñäåëàííîãî çàìå÷àíèÿ ïîëó-
÷åííóþ ñèñòåìó ïåðåïèøåì â âèäå
1 opp g + (h + p)s2 + h ( ) = 0; (2.8)
2
Q 2 ( ) 2
(h + p) s h = 0; (2.9)
Q( )
ÃËÀÂÀ 2. Èíòåðâàëüíûå ìîäåëè ðàçìåðà ïàðòèè ñ íåïðåðûâíûì êîíòðîëåì 33
ãäå Q2 = Q Q.
Íàéäåì ôîðìàëüíîå ðåøåíèå [64] ñèñòåìû (2.8), (2.9), êîòîðîå ïîçâî-
ëèò çàòåì îïðåäåëèòü èíòåðâàëû äëÿ îïòèìàëüíîãî óïðàâëåíèÿ (s; Q).
Èç óðàâíåíèÿ (2.9) âûðàçèì èíòåðâàë s
h Q ( )
s= dual (2.10)
h+p
è ïîäñòàâèì åãî âûðàæåíèå â (2.8). Ñ ó÷åòîì ñâîéñòâ îïåðàöèè äóàëèçà-
öèè
x dual x
dual xy = dual x dual y; dual = ; (dual x) = dual x dual x;
2
y dual y
ïîñëå íåêîòîðûõ ïðåîáðàçîâàíèé ïîëó÷àåì
1 h2 Q2( ) h( )
opp g + dual + = 0:
2
Q 2(h + p) 2
Äîìíîæèâ îáå ÷àñòè ýòîãî èíòåðâàëüíîãî óðàâíåíèÿ íà èíòåðâàë dual Q2 ,
èìååì
h2 Q2( ) h( )
opp g + dual + dual Q2 = 0;
2(h + p) 2
è â ñèëó òîãî, ÷òî
opp (dual x) = x
äëÿ ëþáîãî èíòåðâàëà x 2 K R , ïîëó÷àåì
h2( ) 2 h( )
g opp Q + dual Q2 = 0; (2.11)
2(h + p) 2
Äàëåå, ðàññìîòðèì èíòåðâàëüíîå âûðàæåíèå
a dual x bx = (a b) dual x
äëÿ ëþáûõ èíòåðâàëîâ a; b; x 2 KR òàêèõ, ÷òî x > 0; (a b) > 0.
ÃËÀÂÀ 2. Èíòåðâàëüíûå ìîäåëè ðàçìåðà ïàðòèè ñ íåïðåðûâíûì êîíòðîëåì 34
Q 2( ) 2
Ïðè íåáîëüøîé øèðèíå èíòåðâàëà çàòðàò L òî÷êó çàêàçà s è ðàç-
ìåð ïàðòèè Q ìîæíî âûáèðàòü èç èíòåðâàëîâ s ; Q , íå îïàñàÿñü ñóùå-
ñòâåííûõ îòêëîíåíèé îò îïòèìàëüíîé ñòðàòåãèè ïðè ëþáûõ çíà÷åíèÿõ
èíòåíñèâíîñòåé ñïðîñà è ïîñòàâîê èç çàäàííûõ èíòåðâàëîâ ; .
Èíòåðåñíî òàêæå íàéòè, êàêèì áóäåò óðîâåíü ïðåäåëüíîãî çàïàñà S
â ñèñòåìå ïðè îïòèìàëüíîì óïðàâëåíèè (s ; Q), òî÷íåå ñêàçàòü, â êà-
êîì èíòåðâàëå îí áóäåò íàõîäèòñÿ. Ïîëó÷àåì S S, ãäå èíòåðâàë S 2
ÃËÀÂÀ 2. Èíòåðâàëüíûå ìîäåëè ðàçìåðà ïàðòèè ñ íåïðåðûâíûì êîíòðîëåì 36
îïðåäåëÿåòñÿ êàê
Q( )
S = s + ; (2.19)
Çàìåòèì, ÷òî åñëè èíòåðâàëû è âûðîæäåííûå, òî åñòü
= = ; = = , òî ïîëó÷åííûå ôîðìóëû äëÿ îïòèìàëüíî-
ãî óïðàâëåíèÿ (2.16), (2.17) è ñðåäíèõ çàòðàò â åäèíèöó âðåìåíè (2.18)
ïðåîáðàçóþòñÿ â ôîðìóëû (2.3), (2.4), (2.5) ñîîòâåòñòâóþùåé äåòåðìè-
íèðîâàííîé ìîäåëè.
> 0;
è ñïðàâåäëèâî äëÿ ëþáûõ ; , óäîâëåòâîðÿþùèõ (2.1).
Âûïîëíèì ïðåäåëüíûé ïåðåõîä ïðè p - !1
â ôîðìóëàõ (2.16), (2.17),
(2.18), áóäåì èìåòü
s = 0; (2.21)
r 2s s 3
Q =
2g pro 4
;
5; (2.22)
h
ÃËÀÂÀ 2. Èíòåðâàëüíûå ìîäåëè ðàçìåðà ïàðòèè ñ íåïðåðûâíûì êîíòðîëåì 37
g hQ( )
L = L(; ; Q ) = + =
Q " 2 #
g hQ( ) g hQ ( )
= + ; + : (2.23)
Q 2 Q 2
Èç (2.21) âèäíî, ÷òî íåäîñòà÷è ïîëíîñòüþ èñêëþ÷àþòñÿ, ÷òî ñîîòâåòñòâó-
åò òðåáîâàíèþ ìîäåëè îá îòñóòñòâèè äåôèöèòà â ñèñòåìå.
Òàêèì îáðàçîì, ïðè îòñóòñòâèè äåôèöèòà â ñèñòåìå ñ èíòåðâàëüíî
çàäàííûìè èíòåíñèâíîñòÿìè ñïðîñà è ïîñòàâîê , óäîâëåòâîðÿþùè-
ìè (2.1), çàêàç íà ïîñòàâêó ïîäàåòñÿ âñÿêèé ðàç, êîãäà óðîâåíü çàïàñà
ñòàíîâèòñÿ ðàâíûì íóëþ, à èíòåðâàë äëÿ îïòèìàëüíîãî ðàçìåðà ïàðòèè
îïðåäåëÿåòñÿ ôîðìóëîé (2.22). Ïðè ýòîì èíòåðâàë äëÿ çàòðàò çàäàåòñÿ
2
ôîðìóëîé (2.23), òî åñòü îïòèìàëüíîå óïðàâëåíèå (0; Q); Q Q; ãà-
ðàíòèðóåò, ÷òî ñðåäíèå çàòðàòû â åäèíèöó âðåìåíè áóäóò íàõîäÿòñÿ â
èíòåðâàëå L .
Èíòåðâàë äëÿ ïðåäåëüíîãî çàïàñà ïðè îïòèìàëüíîì óïðàâëåíèè (0; Q)
â ýòîì ñëó÷àå ïðèìåò âèä
S = Q
( )
: (2.24)
Çàìåòèì, ÷òî â âûðîæäåííîì ñëó÷àå ôîðìóëû äëÿ îïòèìàëüíîãî ðàç-
ìåðà ïàðòèè (2.22) è ñðåäíèõ çàòðàò â åäèíèöó âðåìåíè (2.23) ïðåîáðà-
çóþòñÿ â ôîðìóëû äåòåðìèíèðîâàííîé ìîäåëè ñ òî÷íî çàäàííûìè èí-
òåíñèâíîñòÿìè ñïðîñà è ïîñòàâîê ïðè îòñóòñòâèè äåôèöèòà
s
2g ;
Q =
h( )
r
L =
2gh( ) :
2.2.2 Ìîäåëü ñ èíòåðâàëüíî çàäàííîé èíòåíñèâíîñòüþ ñïðîñà,
ìãíîâåííûìè ïîñòàâêàìè è âîçìîæíîñòüþ äåôèöèòà
h + p)s hQ
L = L(; Q; s) = 1g +
( 2
+ hs =
"
Q 2 2 #
hQ
2
1 ( h + p)s 1 ( h + p)s hQ
2
= g +
+ 2 hs ; Q g + + 2 hs
: (2.28)
Q 2 2
S = s + Q: (2.29)
s = 0; (2.30)
r
Q =
2g hp; p i
; (2.31)
h "
g hQ g #
hQ
+ Q :
g h
L = L( ; Q) = + = + 2 ; Q (2.32)
Q 2 Q 2
Òàêèì îáðàçîì, ïðè îòñóòñòâèè äåôèöèòà â ñèñòåìå ñ èíòåðâàëüíî çà-
äàííîé èíòåíñèâíîñòüþ ñïðîñà > 0, ìãíîâåííûìè ïîñòàâêàìè è îòñóò-
ñòâèåì äåôèöèòà, çàêàç íà ïîñòàâêó ïîäàåòñÿ âñÿêèé ðàç, êîãäà óðîâåíü
çàïàñà ñòàíîâèòñÿ ðàâíûì íóëþ, à èíòåðâàë äëÿ îïòèìàëüíîãî ðàçìå-
ðà ïàðòèè îïðåäåëÿåòñÿ ôîðìóëîé (2.31). Ïðè ýòîì èíòåðâàë äëÿ çà-
òðàò çàäàåòñÿ ôîðìóëîé (2.32), òî åñòü îïòèìàëüíîå óïðàâëåíèå (0; Q);
2
Q Q; ãàðàíòèðóåò, ÷òî ñðåäíèå çàòðàòû â åäèíèöó âðåìåíè áóäóò
íàõîäÿòñÿ â èíòåðâàëå L.
Èíòåðâàë äëÿ ïðåäåëüíîãî çàïàñà ïðè îïòèìàëüíîì óïðàâëåíèè (0; Q)
â ýòîì ñëó÷àå ñîâïàäàåò ñ èíòåðâàëîì Q
S = Q: (2.33)
ÃËÀÂÀ 2. Èíòåðâàëüíûå ìîäåëè ðàçìåðà ïàðòèè ñ íåïðåðûâíûì êîíòðîëåì 40
è âîçìîæíîñòüþ äåôèöèòà:
ïåðèîäè÷åñêàÿ ñòðàòåãèÿ
T 2 2
! #
1 (h + p) S 2
p T
g+ + p S : (2.40)
T 2 2
Çàìåòèì, ÷òî åñëè èíòåðâàëû è âûðîæäåííûå, òî ôîðìóëû
(2.38), (2.39), (2.40) ïðåîáðàçóþòñÿ â ôîðìóëû ñîîòâåòñòâóþùåé äåòåð-
ìèíèðîâàííîé ìîäåëè [48, 49]
s
T =
2g(h + p) ;
hp ( )
s
S =
2gp ( ) ;
h(h + p)
s
L =
2ghp ( ) :
(h + p)
Ìîäåëü ñ èíòåðâàëüíî çàäàííîé èíòåíñèâíîñòüþ ñïðîñà, ìãíî-
âåííûìè ïîñòàâêàìè è âîçìîæíîñòüþ äåôèöèòà. Ïðè ìãíîâåí-
íûõ ïîñòàâêàõ ñïðàâåäëèâî (2.25).  ýòîì ñëó÷àå óñëîâèÿ (2.34), (2.37)
ïðèìóò âèä
> 0;
(h + p) p > 0
ñîîòâåòñòâåííî. Âûïîëíÿÿ äàëåå ïðåäåëüíûé ïåðåõîä ïðè - !1 â ôîð-
ìóëàõ (2.38), (2.39), (2.40), ïîëó÷àåì èíòåðâàëû äëÿ îïòèìàëüíîãî óïðàâ-
ëåíèÿ è ñîîòâåòñòâóþùèé èíòåðâàë çàòðàò
ÃËÀÂÀ 2. Èíòåðâàëüíûå ìîäåëè ðàçìåðà ïàðòèè ñ íåïðåðûâíûì êîíòðîëåì 43
2 3
s
T =
2g(h + p) 6 q 1 ;
1 7
4 q 5; (2.41)
p (h + p) p (h + p) p
2 3
r
S =
2gp 6 q 7
4 ; q 5; (2.42)
h+p (h + s) p (h + p) p
" !
1 g+ (h + p) S2 p T
L = L(; T; S) = + pS ;
T 2 2
! #
1 g + (h + p) S + p T p S :
2
(2.43)
T 2 2
> 0; (2.51)
ÃËÀÂÀ 2. Èíòåðâàëüíûå ìîäåëè ðàçìåðà ïàðòèè ñ íåïðåðûâíûì êîíòðîëåì 46
Ìåòîä Ìóðà. Èäåÿ ìåòîäà Ìóðà [1, 103] ñîñòîèò â ñëåäóþùåì. Ïóñòü
f (x1; x2; : : : xn) îáúåäèíåííîå ðàñøèðåíèå [1, 25, 68, 103] ôóíêöèè
f (x1; x2; : : : ; xn), ãäå
f (x1; x2; : : : xn) = f (x1; x2; : : : ; xn)j xi 2 xi; i = 1; n ;
à F(x1; x2; : : : xn ) åñòåñòâåííîå èíòåðâàëüíîå ðàñøèðåíèå [1, 25, 68, 103]
ôóíêöèè f (x1; x2; : : : ; xn) (F(x1; x2; : : : xn ) ïîëó÷àåòñÿ, åñëè âåùåñòâåí-
íûå ïåðåìåííûå x1; x2; : : : ; xn çàìåíèòü ñîîòâåòñòâóþùèìè èíòåðâàëà-
ìè, à âåùåñòâåííûå àðèôìåòè÷åñêèå îïåðàöèè èíòåðâàëüíî- àðèôìå-
òè÷åñêèìè).
Ðàçîáüåì êàæäûé èç èíòåðâàëîâ xi ; i = 1; n íà ðàâíûå ïîäûíòåðâàëû
òàê, ÷òî
[m
xi
xi = xij ; wid xij = :
j =1
m
Òîãäà,
[
f (x1; x2; : : : xn) = f (x1j1 ; x2j2 ; : : : ; xnj n
)
j1 ;j2 ;:::jn
[
F (x1j1 ; x2j2 ; : : : ; xnj n
)
j1 ;j2 ;:::jn
ÃËÀÂÀ 2. Èíòåðâàëüíûå ìîäåëè ðàçìåðà ïàðòèè ñ íåïðåðûâíûì êîíòðîëåì 47
=+
wid temp ; = ;
m
For j = 1 To m
= + widm
temp
;
=+
wid temp ; = ; Q = Q; s = s;
m
For j = 1 To m
= + widm
temp
; Q = Q; s = s;
For k = 1 To m
Qtemp ; s = s;
Q = Q + wid m
For l = 1 To m
s = s + wid stemp ;
m
âû÷èñëÿåì èíòåðâàë L ïî ôîðìóëå (2.18);
If L < L Then L = L, If L>L Then L = L;
s = s ;
Next l
Q = Q ;
Next k
= ;
Next j
= ;
Next i h i h i
âûâîäèì èíòåðâàëû Q = Q; Q ; s = [s; s ] è L = L; L .
ÃËÀÂÀ 2. Èíòåðâàëüíûå ìîäåëè ðàçìåðà ïàðòèè ñ íåïðåðûâíûì êîíòðîëåì 49
L = [143:75; 151:92]:
Ïðåäåëüíûé óðîâåíü çàïàñà áóäåò ïðèíàäëåæàòü èíòåðâàëó
S = [662:64; 809:85]:
2.5 Âûâîäû
53
ÃËÀÂÀ 3. Èíòåðâàëüíûå ìîäåëè ðàçìåðà ïàðòèè ñ ïåðèîäè÷åñêèì êîíòðîëåì 54
d(t) 2 D; t = 0; T 1; (3.2)
ãäå D 2 IR; D = D; D ; D 0.
Íà ñîñòîÿíèÿ ñèñòåìû x(t) è óïðàâëåíèÿ u(t) â ìîìåíò âðåìåíè t
íàêëàäûâàþòñÿ îãðàíè÷åíèÿ, êîòîðûå îáóñëîâëåíû âîçìîæíîñòÿìè
ñèñòåìû,
x(t) 2 X; t = 0; T ; (3.3)
u(t) 2 U; t = 0; T 1; (3.4)
ãäå X 2 IR ; X = 0; X ; U 2 IR ; U = 0; U .
Êðîìå òîãî, ïðåäïîëàãàåòñÿ ïîëíîå è ñâîåâðåìåííîå óäîâëåòâîðåíèå
ñïðîñà â ïðåäåëàõ êàæäîãî îòðåçêà [t; t +1); t = 0; T 1, òî åñòü äåôèöèò
çàïàñà â ñèñòåìå íå äîïóñêàåòñÿ.
x(T ) XT ; (3.7)
X + dual D 2 IR ; (3.9)
D U: (3.10)
x(t) X + dual D U;
ÃËÀÂÀ 3. Èíòåðâàëüíûå ìîäåëè ðàçìåðà ïàðòèè ñ ïåðèîäè÷åñêèì êîíòðîëåì 57
÷òî ýêâèâàëåíòíî
X X + dual D U;
îòêóäà èìååì
0 dual D U:
Äîáàâëÿÿ ê îáåèì ÷àñòÿì âêëþ÷åíèÿ opp( U) = dual U, ïîëó÷àåì
dual U dual D;
ñëåäîâàòåëüíî, D U, ÷òî äîêàçûâàåò óñëîâèå (3.10).
Äîñòàòî÷íîñòü. Ïóñòü âûïîëíåíû óñëîâèÿ (3.9), (3.10). Ïîñòðîèì
óïðàâëåíèå u(t) â ìîìåíò âðåìåíè t; t = 0; T 1 â âèäå (3.8) (â ñèëó
(3.9) âêëþ÷åíèå (3.8) èìååò ñìûñë). Ïîêàæåì ñíà÷àëà, ÷òî òàêîå óïðàâ-
ëåíèå ñóùåñòâóåò äëÿ ëþáîãî ñîñòîÿíèÿ x(t) 2
X. Äåéñòâèòåëüíî, èç
(3.8) èìååì
x(t) + u(t) D X;
êîòîðîå ãàðàíòèðóåò, ÷òî
Ââåäåì èíòåðâàëüíîçíà÷íóþ ôóíêöèþ [1, 25, 68, 103] X(a; b) = [a; b];
êîòîðàÿ îïðåäåëåíà äëÿ ëþáûõ a
b; a; b 2R
(X = X(0; X)). Òîãäà
îãðàíè÷åíèå (3.7), ó÷èòûâàÿ (3.3), ýêâèâàëåíòíî âêëþ÷åíèþ
x(T ) 2 XT ; (3.12)
X0 = X; (3.13)
XT + dual D 2 IR ;
òî åñòü
XT + dual D XT + dual D;
îòêóäà èìååì
D XT + D;
è, ñëåäîâàòåëüíî, D D
XT . Ñ äðóãîé ñòîðîíû XT X(0; X). Òîãäà, 2
òàê êàê D D 0 (â ñèëó òîãî, ÷òî D 2 IR
) è D D X (â ñèëó óñëîâèÿ
2
(3.9)), ïîëó÷àåì XT X(D D; X), ÷òî äîêàçûâàåò (3.14).
Äîñòàòî÷íîñòü. Ïîêàæåì ñíà÷àëà ïî èíäóêöèè, ÷òî
Xt + dual D 2 IR ; t = T; 0; (3.15)
Xt = Xt + dual D D Xt + dual D U;
òî âûïîëíåíî âêëþ÷åíèå Xt Xt 1 . Òîãäà
Xt + dual D Xt 1 + dual D;
è, ñëåäîâàòåëüíî, Xt 1 + dual D 2 IR , ÷òî è äîêàçûâàåò (3.15).
ÃËÀÂÀ 3. Èíòåðâàëüíûå ìîäåëè ðàçìåðà ïàðòèè ñ ïåðèîäè÷åñêèì êîíòðîëåì 60
x(T 1) 2 XT + dual D U:
Òîãäà, ñ ó÷åòîì (3.3) ïîëó÷àåì èíòåðâàë äîïóñòèìûõ ñîñòîÿíèé â ìîìåíò
T 1
\
XT 1 = (XT + dual D U) X;
äëÿ êîòîðûõ ñóùåñòâóåò äîïóñòèìîå íà èíòåðâàëå XT óïðàâëåíèå
u(T 1), ãàðàíòèðóþùåå (3.12). Ïî èíäóêöèè íåòðóäíî ïîêàçàòü, ÷òî
2
â ìîìåíò t; t = T 1; 0; äëÿ ëþáîãî x(t) Xt äîïóñòèìîå íà èíòåðâàëå
2
Xt+1 óïðàâëåíèå u(t) U ñóùåñòâóåò è îïðåäåëÿåòñÿ èç âêëþ÷åíèÿ
x(t) + u(t) 2 Xt+1 + dual D; (3.18)
Xmin
T = D D:
ÃËÀÂÀ 3. Èíòåðâàëüíûå ìîäåëè ðàçìåðà ïàðòèè ñ ïåðèîäè÷åñêèì êîíòðîëåì 61
2
Òîãäà äëÿ ëþáîãî x Xt ðåêóððåíòíîå ñîîòíîøåíèå äèíàìè÷åñêîãî ïðî-
ãðàììèðîâàíèÿ èìååò âèä
fT (x) = 0;
ãäå Xt è Ut îïðåäåëÿþòñÿ ñîîòíîøåíèÿìè (3.16), (3.20).
Òàêèì îáðàçîì, ïîëó÷àåì çàäà÷ó èíòåðâàëüíîãî äèíàìè÷åñêîãî ïðî-
ãðàììèðîâàíèÿ. Äëÿ åå ðåøåíèÿ ìîæíî èñïîëüçîâàòü ïîäõîä, ïðåäëî-
æåííûé â [10,11] äëÿ îïòèìèçàöèè ñèñòåì â óñëîâèÿõ èíòåðâàëüíîé íåîïðå-
äåëåííîñòè. Ñîãëàñíî [10, 11], ìàêñèìèííàÿ ìîäåëü îáåñïå÷èâàåò ãàðàí-
òèðîâàííûé ðåçóëüòàò ïðè ëþáîì çíà÷åíèè íåèçâåñòíîãî èíòåðâàëüíî
2
çàäàííîãî ïàðàìåòðà ñèñòåìû. Òîãäà äëÿ ëþáîãî x Xt èç (3.21) áóäåì
èìåòü
3.4 Ïðèìåð
XT = 1:
Äëÿ äàííîé ñèñòåìû óñëîâèÿ òåîðåì 3.1, 3.2 âûïîëíåíû. Èíòåðâàëû äî-
ïóñòèìûõ ñîñòîÿíèé ñèñòåìû èìåþò ñëåäóþùèé âèä
Ðèñóíîê 3.1: Äèíàìèêà èçìåíåíèÿ óðîâíÿ çàïàñà ïðè îïòèìàëüíîé ñòðàòåãèè óïðàâ-
ëåíèÿ (ëèíèÿ 1: x (0) = 0; = f3; 5; 0; 3; 2; 2g; d = (2; 3; 3; 2; 2; 3));
ëèíèÿ 2: x(0) = 4; = f0; 5; 0; 3; 3; 3g; d = (3; 3; 3; 3; 3; 2); ëè-
íèÿ 3: x(0) = 3; = f0; 5; 0; 4; 0; 2g; d = (2; 2; 2; 3; 2; 2); ëèíèÿ
4: x(0) = 2; = f4; 0; 5; 0; 2; 3g; d = (3; 2; 2; 3; 3; 2); ëèíèÿ 5:
x(0) = 1; = f5; 0; 5; 0; 3; 2g; d = (2; 3; 3; 3; 2; 3))
d(t) 2 Dt; t = 0; T 1;
ãäå Dt 2 IR ; Dt = Dt; Dt ; Dt 0. Èìåþò ìåñòî ñëåäóþùèå òåîðåìû.
Òåîðåìà 3.3. Äëÿ ëþáîãî ñîñòîÿíèÿ ñèñòåìû x(t) 2 X äîïóñòèìîå íà
èíòåðâàëå X óïðàâëåíèå ñ îáðàòíîé ñâÿçüþ u(t) = U (x(t); t),
2
u(t) U; â ìîìåíò âðåìåíè t; t = 0; T 1; ñóùåñòâóåò è îïðåäåëÿ-
åòñÿ èç âêëþ÷åíèÿ
X + dual Dt 2 IR ; (3.23)
Dt U: (3.24)
X0 = X;
XT 2 X(DT 1 DT ; X);
1
è ñïðàâåäëèâû âêëþ÷åíèÿ
Xt + dual Dt 1 2 IR ; t = T; 1;
ãäå Xt îïðåäåëÿåòñÿ èíòåðâàëüíûì ðåêóððåíòíûì ñîîòíîøåíèåì
\
Xt = (Xt+1 + dual Dt U) X; t=T 1; 0; (3.25)
XT = X(0; XT ):
Äîêàçàòåëüñòâà Òåîðåì 3.3, 3.4 ïîâòîðÿþò äîêàçàòåëüñòâà Òåîðåì 3.1,
3.2, ïîýòîìó â äàííîé ðàáîòå íå ïðèâîäÿòñÿ.
Ðåêóððåíòíîå ñîîòíîøåíèå (3.22) äëÿ îïðåäåëåíèÿ îïòèìàëüíîé ñòðà-
òåãèè ïðèìåò âèä
3.6 Âûâîäû
68
ÃËÀÂÀ 4. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, ñòàöèîíàðíûé ñïðîñ 69
ãî îïèñûâàåò óðîâåíü çàïàñà â i-îì óçëå ñåòè (íà i-îì ñêëàäå) â ìî-
ìåíò âðåìåíè t; u(t) 2R
q âåêòîð óïðàâëÿþùèõ âîçäåéñòâèé (óïðàâ-
ëåíèå), êîìïîíåíòû êîòîðîãî ïðåäñòàâëÿþò óïðàâëÿåìûå ïîòîêè â ñå-
òè â ìîìåíò âðåìåíè t; d(t) 2R
m âåêòîð íåóïðàâëÿåìûõ âîçäåé-
ñòâèé (ñïðîñ), êîìïîíåíòû êîòîðîãî îïèñûâàþò íåóïðàâëÿåìûå ïîòî-
êè â ñåòè â ìîìåíò âðåìåíè t; ñòðóêòóðà ñåòè îïðåäåëÿåòñÿ ñòðóêòóðîé
ìàòðèö B 2R nq ; E 2R
nm .
Îòíîñèòåëüíî ñïðîñà d(t) èçâåñòíî ëèøü òî, ÷òî îí ïðèíèìàåò çíà÷å-
íèÿ â çàäàííîì èíòåðâàëå
d(t) 2 D; t 0; (4.2)
ãäå D 2 IR
; D = D; D ; D 0.
Íà ñîñòîÿíèÿ çàïàñà x(t) è óïðàâëåíèÿ u(t) íàêëàäûâàþòñÿ îãðàíè-
÷åíèÿ, êîòîðûå îáóñëîâëåíû âîçìîæíîñòÿìè ñèñòåìû,
x(t) 2 X; t 0; (4.3)
u(t) 2 U; t 0; (4.4)
ãäå X 2 IR n; X = 0; X ; U 2 IR q ; U = 0; U .
Ïðèìåð äèíàìè÷åñêîé ñåòè. Ðàññìîòðèì ñèñòåìó ïðîèçâîäñòâà- ðàñ-
ïðåäåëåíèÿ, êîòîðàÿ îïèñûâàåòñÿ äèíàìè÷åñêîé ñåòüþ, ïðåäñòàâëåííîé
íà Ðèñóíêå 4.1 (ïðèìåð âçÿò èç ðàáîòû [78]). Ñåòü ñîñòîèò èç òðåõ óç-
ëîâ: óçëû 1, 2 ïðîèçâîäÿò ïðîäóêöèþ À è Â, êîòîðàÿ èñïîëüçóåòñÿ äëÿ
ïðîèçâîäñòâà ïðîäóêöèè ÀÂ â 3-åì óçëå. Óïðàâëÿåìûå ïîòîêè u1; u2
ÃËÀÂÀ 4. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, ñòàöèîíàðíûé ñïðîñ 70
C (xb) = h xb;
0
(4.6)
Ñòðàòåãèþ óïðàâëåíèÿ 2
(x(0)), êîòîðàÿ óäîâëåòâîðÿåò îïòè-
b (ãàðàíòèðóåò âêëþ÷åíèå (4.7)),
ìàëüíîìó äîïóñòèìîìó óðîâíþ çàïàñà x
áóäåì íàçûâàòü îïòèìàëüíîé äîïóñòèìîé ñòðàòåãèåé óïðàâëåíèÿ äëÿ
íà÷àëüíîãî ñîñòîÿíèÿ x(0) 2
X, à âðåìÿ ñêîðîñòüþ ñõîäèìîñòè
ñèñòåìû ê îïòèìàëüíîìó äîïóñòèìîìó óðîâíþ çàïàñà x b .
X(0; xb) ED 2 IR ;
òî åñòü
ED xb ED;
èëè x
b ED ED. Ñ äðóãîé ñòîðîíû xb 2 X, ñëåäîâàòåëüíî,
xb 2 ED ED; X
(â ñèëó óñëîâèÿ (4.9) ýòîò èíòåðâàë ïðàâèëüíûé).
Äàëåå, òàê êàê ôóíêöèÿ çàòðàò (4.6) ìîíîòîííî âîçðàñòàåò ïî x
b, òî
6
äëÿ ëþáîãî âåêòîðà h 0; h = 0; ìèíèìóì ôóíêöèè (4.6) äîñòàâëÿåò
xb = ED ED;
÷òî è òðåáîâàëîñü äîêàçàòü.
b
Çàìå÷àíèå 4.2. Äëÿ îïòèìàëüíîãî äîïóñòèìîãî óðîâíÿ çàïàñà x
âèäà (4.11) ñïðàâåäëèâî âêëþ÷åíèå
ñòðàòåãèè óïðàâëåíèÿ
2
Ïóñòü äëÿ ëþáîãî íà÷àëüíîãî ñîñòîÿíèÿ x(0) X ñóùåñòâóåò äîïóñòè-
ìàÿ íà èíòåðâàëå X ñòðàòåãèÿ óïðàâëåíèÿ. Äëÿ ñóùåñòâîâàíèÿ îïòè-
ìàëüíîé â ñìûñëå (4.7) äîïóñòèìîé ñòðàòåãèè óïðàâëåíèÿ ýòîãî äîñòà-
òî÷íî â äâóõ ñëó÷àÿõ:
ED + X(0; ) f BU g; (4.15)
ED = xb ED X ED;
ÿñíî, ÷òî äëÿ t = 1 âêëþ÷åíèå (4.17) ñïðàâåäëèâî. Äàëåå, ïóñòü (4.17)
ñïðàâåäëèâî äëÿ ïðîèçâîëüíîãî t; t 2. Ïîêàæåì, ÷òî îíî ñïðàâåäëèâî
äëÿ t + 1. Ðàññìîòðèì
ãäå
èëè
xe(t + 1) 2 ED; maxf ED; X ED tg : (4.21)
X ED t X ED;
ED = xb ED X ED;
ïîëó÷àåì âêëþ÷åíèå
ED; maxf ED; X ED tg ED; X ED :
Òàêèì îáðàçîì, x 2 2
e(t + 1) X ED, è x(t + 1) X äëÿ ëþáîãî çíà÷åíèÿ
2
d(t) D. Ïî Îïðåäåëåíèþ 4.1 óïðàâëåíèå u(t), óäîâëåòâîðÿþùåå (4.21),
ÿâëÿåòñÿ äîïóñòèìûì íà èíòåðâàëå X â ìîìåíò âðåìåíè t. Ñëåäîâàòåëü-
íî, óòâåðæäåíèå (4.17) èìååò ñèëó äëÿ ëþáîãî t 1.
2
Äàëåå, ïîêàæåì, ÷òî ñòðàòåãèÿ (x(0)), óäîâëåòâîðÿþùàÿ (4.17),
ÿâëÿåòñÿ îïòèìàëüíîé, òî åñòü, íà÷èíàÿ ñ íåêîòîðîãî ìîìåíòà âðåìå-
íè , âûïîëíåíî âêëþ÷åíèå (4.7). Ðàññìîòðèì ñëó÷àé, êîãäà i = 0
(xbi = Xi). Ïðè ýòîì âêëþ÷åíèå (4.17) ïðèìåò âèä
2
xei(t) EDi; max EDi; xbi EDi ; t 1:
ÃËÀÂÀ 4. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, ñòàöèîíàðíûé ñïðîñ 79
bi
Çàìåòèì, ÷òî x EDi = EDi, ñëåäîâàòåëüíî,
xei(t) 2 [ EDi; EDi] = X(0; xbi ) ED; t 1;
÷òî ãàðàíòèðóåò âêëþ÷åíèå xi (t) X(0; x 2
bi ); t
0 (ñ ó÷åòîì òîãî, ÷òî
2
xi(0) X(0; xbi )).
Äëÿ ñëó÷àÿ, êîãäà i > 0, íàéäåì ìîìåíò âðåìåíè , íà÷èíàÿ ñ êîòî-
ðîãî
) min (4.22)
u(t);
ïðè îãðàíè÷åíèÿõ
ïðè îãðàíè÷åíèÿõ
b, ðàñ-
Äëÿ äàííîé ñåòè îïòèìàëüíûé äîïóñòèìûé óðîâåíü çàïàñà x
ñ÷èòàííûé ïî ôîðìóëå (4.11), èìååò âèä
(4.26)
 êàæäûé ìîìåíò âðåìåíè t; t 0, ðåøàÿ çàäà÷ó (4.22), ïîëó÷àåì îï-
òèìàëüíîå óïðàâëåíèå u(t). Ðèñóíîê 4.2 ïîêàçûâàåò äèíàìèêó èçìåíå-
íèÿ çàïàñà â óçëàõ ñåòè ïðè îïòèìàëüíîé ñòðàòåãèè óïðàâëåíèÿ (x(0))
äëÿ íà÷àëüíîãî ñîñòîÿíèÿ çàïàñà x(0) = (130 120 150) . Âèäíî, ÷òî ñêî-
0
X ED 2 IR ; (4.29)
ED f BU g: (4.30)
AX = AX ED + ED AX ED + f BU g =
= fAX ED BU g fX ED BU g;
åñëè è òîëüêî åñëè âûïîëíåíî óñëîâèå (4.30). Ñëåäîâàòåëüíî, óïðàâëå-
íèå u(t) = U (x(t); t); u(t)2U, ãàðàíòèðóþùåå (4.28), ñóùåñòâóåò äëÿ
2
ëþáîãî x(t) X. Äîïóñòèìîñòü u(t) íà èíòåðâàëå X ñëåäóåò èç öåïî÷êè
ñîîòíîøåíèé
t 1 øòóê
t 1; (4.34)
ãäå I 2R nn åäèíè÷íàÿ ìàòðèöà. Òàê êàê âûïîëíåíû óñëîâèÿ (4.29),
(4.30), òî ïî Òåîðåìå 4.4 äëÿ ëþáîãî íà÷àëüíîãî ñîñòîÿíèÿ x(0) X 2
ñóùåñòâóåò äîïóñòèìîå óïðàâëåíèå òàêîå, ÷òî
2
xe(1) X ED = ED; X ED :
Ñ ó÷åòîì ñîîòíîøåíèÿ
ED = xb ED X ED;
ÿñíî, ÷òî äëÿ t = 1 âêëþ÷åíèå (4.34) ñïðàâåäëèâî. Äàëåå, ïóñòü (4.34)
ñïðàâåäëèâî äëÿ ïðîèçâîëüíîãî t; t 2. Ïîêàæåì, ÷òî îíî ñïðàâåäëèâî
äëÿ t + 1. Çàìåòèì, ÷òî óñëîâèå (4.31) ìîæíî ïðåäñòàâèòü â âèäå
X(AED; AED) + X(0; ) + X((I A)ED; 0) f BU g; (4.35)
ÃËÀÂÀ 4. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, ñòàöèîíàðíûé ñïðîñ 88
Ðàññìîòðèì
ãäå
xei(t + 1) 2
h n oi
EDi; max ED; i (X EDi(0)) (1
t
|
+ i +{z: : : + i }) i :
t 1
(4.39)
t øòóê
Êðîìå òîãî, ó÷èòûâàÿ ñîîòíîøåíèÿ
D E
it (Xi EDi) )i 0 < i 1 Xi EDi(t);
(1 + i + : : : + it 1
EDi; Xi EDi :
Òàêèì îáðàçîì, x 2
e(t + 1) X ED, è x(t + 1) X äëÿ ëþáîãî d(t) D. 2 2
Ïî Îïðåäåëåíèþ 4.1 óïðàâëåíèå u(t), óäîâëåòâîðÿþùåå (4.39), ÿâëÿåòñÿ
äîïóñòèìûì íà èíòåðâàëå X â ìîìåíò âðåìåíè t. Ñëåäîâàòåëüíî, óòâåð-
æäåíèå (4.34) èìååò ñèëó äëÿ ëþáîãî t 1.
2
Äàëåå, ïîêàæåì, ÷òî ñòðàòåãèÿ (x(0)), óäîâëåòâîðÿþùàÿ (4.34),
ÿâëÿåòñÿ îïòèìàëüíîé, òî åñòü, íà÷èíàÿ ñ íåêîòîðîãî ìîìåíòà âðåìå-
íè , âûïîëíåíî âêëþ÷åíèå (4.7). Ðàññìîòðèì ñëó÷àé, êîãäà i = 0
bi = Xi ). Ïðè ýòîì âêëþ÷åíèå (4.34) ïðèìåò âèä
(x
xei(t) 2
EDi; max EDi; it 1(xbi EDi) ; t 1:
Çàìåòèì, ÷òî
D E
it 1
(xb
i EDi) = it 1
( EDi) 0 < i 1; EDi 0 EDi;
ÃËÀÂÀ 4. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, ñòàöèîíàðíûé ñïðîñ 90
ñëåäîâàòåëüíî,
1 it : 1
= it (Xi EDi)
1
(4.40)
1 i i
Ïðîèçâîäíàÿ ôóíêöèè fi (t) ïî t èìååò âèä
!
i
0
i ln
[fi(t)]t = |{z}
t
|{z}i
1
X i ED i +
| {z } 1 i
0;
>0 0 EDi 0
| {z }
>0
| {z }
>0
ñëåäîâàòåëüíî, ôóíêöèÿ (4.40) óáûâàåò ïî t. Êðîìå òîãî,
1 i i
1 it 1
= i
t EDi + X
|i
(ED{zi EDi})
1
=
1 i i
=i
1 it 1
1 it 1
= it 1
( EDi) + it 1
i EDi + i i
t : 1
1 i i 1 i i
Íåòðóäíî ïîêàçàòü, ÷òî
2 3
1 ln
it 1
i
it
0
1
äëÿ
6
t6
1 i + 7
7 + 1;
1 i i 6
6 ln i 7
7
6 7
ÃËÀÂÀ 4. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, ñòàöèîíàðíûé ñïðîñ 91
ñëåäîâàòåëüíî,
2 3
ln
6
xei(t) 2 [ EDi; EDi] = X(0; xbi ) EDi; t 6
1 i + 7
7 + 1:
6
6 ln i 7
7
6 7
ln
1 i + i i 1
= lim = lim 1 1
= :
i !1 [ln i]
0
i
!i i +
ED Ax(t) + Bu(t) ED + ;
ED + X ED;
u(t) 2 U;
; : : : ; n 0;
1
i=0;
While i < 2n
U ED
If 9 u 2 j vi ( ) = Bu, Then i=i+1
Else Print Óñëîâèå (4.30) íå âûïîëíåíî, End;
Wend
Print Óñëîâèå (4.30) âûïîëíåíî;
End
Ðèñóíîê 4.3: Äèíàìèêà èçìåíåíèÿ çàïàñà â óçëàõ ñåòè ïðè óñòàðåâàíèè çàïàñà
A = Diag(1 ; 2; : : : ; n); 0 < i 1; i = 1; n; ó÷èòûâàåò óñòàðåâàíèå
ðåñóðñîâ â óçëàõ ñåòè.
Íåîáõîäèìî íàéòè îïòèìàëüíóþ â ñìûñëå (4.7) ñòðàòåãèþ óïðàâëå-
íèÿ, ãàðàíòèðóþùóþ ïîëíîå è ñâîåâðåìåííîå óäîâëåòâîðåíèå ñïðîñà (4.2)
ïðè îãðàíè÷åííûõ âîçìîæíîñòÿõ ñèñòåìû (4.3), (4.4).
Ïîñòàâëåííàÿ çàäà÷à ðåøàåòñÿ ïðèâåäåíèåì ñèñòåìû (4.42) ê âèäó (4.1).
Ââåäåì ðàñøèðåííûé âåêòîð ñîñòîÿíèé ñèñòåìû (4.42)
0 1
Ax(t)
B
B u(t 1) C
C
B u(t 2) C
(t) = B C:
B .. C
@ . A
u(t 4t)
Òîãäà èç (4.42) ïîëó÷àåì
ãäå
0 1
I Bb1 Bb2::: Bb4t 1 Bb4t
B C
B
B
0 I 0 ::: 0 0 C
C
R= B 0 0 I ::: 0 0 C;
B C
@ ::: ::: ::: ::: ::: ::: A
0 0 0 ::: I 0
Êðîìå òîãî,
R Re = Re R = I: (4.48)
Re (t + 1) = Re R R
e (t) + R e Gd(t); t 0;
e Hu(t) + R
e(t + 1) =
e e(t) + Hu e (t); t 0;
e (t) + Gd (4.49)
ãäå
e =Re R; H
e = Re H; Ge = Re G,
0 1
I 0 0 ::: 0 0 0P
4t B 1 0
E
1
s
B 0 0 0 ::: 0 0 C s =0
B 0 C
B C B I C B C
B C
e =
B 0 I 0 : : : 0 0 C ; He = B
C
0 C e B 0 C
B B C; G = B C:
B
B 0 0 I ::: 0 0 C C B
@
.
.. C
A
B
@ .. C
.
A
@ ::: ::: ::: ::: ::: ::: A
0 0 0 ::: I 0 0 0
P4t
Îïðåäåëèì ñìûñë s=0 Bs . Ïóñòü uj îïèñûâàåò j -ûé óïðàâëÿåìûé ïî-
òîê â ñåòè, êîòîðûé äåéñòâóåò ñ çàäåðæêîé íà s ïåðèîäîâ. Òîãäà âåêòîð
B0j uj (t) îïðåäåëÿåò äåéñòâèå uj íà ñîñòîÿíèå ñèñòåìû â ìîìåíò âðåìå-
íè t, à âåêòîð Bsj uj (t) â ìîìåíò âðåìåíè t + s, ãäå Bsj j -ûé ñòîëáåö
ÃËÀÂÀ 4. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, ñòàöèîíàðíûé ñïðîñ 98
 ýòîì ñëó÷àå
0 1 0 1 0 1 0 1
1 0 0 1
P
B0j = B
B 1 C; B = B 0 C; B = B 0 C
C B C B
; 4 t
B =
B 1C
2 A:
j j C s B C
@ 0 A 1 @2A @0A 2 s j =0@
0 0 3 3
P t
Èç ïðèìåðà âèäíî, ÷òî ñóììà ìàòðèö 4 s=0 Bs â ìîäåëè ñ çàïàçäûâà-
íèåì ïîñòàâîê (4.42) ñîîòâåòñòâóåò ìàòðèöå B â ìîäåëè ñ ìãíîâåííûìè
ïîñòàâêàìè (4.1).
Çàìå÷àíèå 4.8. Åñëè âñå óïðàâëÿåìûå ïîòîêè â ñåòè äåéñòâóþò ñ çà-
ïàçäûâàíèåì, òî äëÿ ëþáîãî j ñóùåñòâóåò k > 0 òàêîå, ÷òî
6
Bkj 0; Bkj = 0. È, íàîáîðîò, åñëè â ñåòè ñóùåñòâóåò "ìãíîâåííûé"
óïðàâëÿåìûé ïîòîê, òî ñîîòâåòñòâóþùèé ñòîëáåö ìàòðèö
Bs; s > 0; áóäåò íóëåâûì.
Çàìåòèì äàëåå, ÷òî ñ ó÷åòîì (4.48) èç (4.45) èìååì
y(t) = F R R e (t) = Fee(t);
P4t
ãäå B = s=0 Bs .
Îïðåäåëèì èíòåðâàë äîïóñòèìûõ çíà÷åíèé ôèêòèâíîãî çàïàñà
Y = [Y; Y] òàê, ÷òîáû äëÿ ëþáîãî çíà÷åíèÿ y(t) Y çíà÷åíèÿ x(t) 2
óäîâëåòâîðÿëè îãðàíè÷åíèþ (4.4). Èç (4.44) èìååì
4t
X
Ax(t) = y(t) Bbj u(t j );
j =1
ñëåäîâàòåëüíî, äîëæíî áûòü ñïðàâåäëèâî âêëþ÷åíèå
4t
X
y(t) Bbj U AX;
j =1
îòêóäà ïîëó÷àåì
4t
X
y(t) 2 AX + dual Bbj U;
j =1
òî åñòü
" 4t #
X
y(t) 2 Bbj U; AX = Y: (4.51)
j =1
Çàìå÷àíèå 4.9. Íèæíÿÿ ãðàíèöà èíòåðâàëà äîïóñòèìûõ çíà÷åíèé
ôèêòèâíîãî çàïàñà y (t) çàâèñèò îò âîçìîæíîñòåé óïðàâëåíèÿ. ×åì
áîëüøå U, òåì âûøå äîëæåí áûòü óðîâåíü ôèêòèâíîãî çàïàñà â ñå-
òè. Îáúÿñíÿåòñÿ ýòî ñëåäóþùèì. ×åì áîëüøå ñïðîñ â ñèñòåìå, òåì
áîëüøå òðåáóåòñÿ ðåñóðñîâ íà åãî óäîâëåòâîðåíèå. Åñëè óðîâåíü ôèê-
òèâíîãî çàïàñà îïóñòèòñÿ íèæå Y, òî çà âðåìÿ ïîñòàâêè â ñèñòåìå
ìîæåò âîçíèêíóòü äåôèöèò. Äëÿ òîãî, ÷òî óìåíüøèòü Y, íåîáõîäè-
ìî îãðàíè÷èòü âîçìîæíîñòè óïðàâëåíèÿ íà óðîâíå, äîñòàòî÷íîì äëÿ
ïîëíîãî è ñâîåâðåìåííîãî óäîâëåòâîðåíèÿ íåîïðåäåëåííîãî ñïðîñà
4t !
X
U = arg min c
0
Bbj U ;
U 2 U; j =1
ED f BU g
ãäå c 2R
n; c 6 f
0; c = 0; BU = x g f 2 Rj x = Bu; u 2 [0; U]g. Òîãäà
íåîáõîäèìûé óðîâåíü ôèêòèâíîãî çàïàñà Y óìåíüøèòñÿ äî âåëè÷èíû
b
P4t
j =1 Bj U .
ÃËÀÂÀ 4. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, ñòàöèîíàðíûé ñïðîñ 100
2
ãäå ye(t) [0; Y Y] (ñòîèò îòìåòèòü, ÷òî ýòî îãðàíè÷åíèå èìååò ñìûñë
òîãäà è òîëüêî òîãäà, êîãäà Y Y 0).
Ìîäåëè (4.1) è (4.52) ýêâèâàëåíòíû. Ñëåäîâàòåëüíî, óñëîâèÿ ñóùå-
ñòâîâàíèÿ è àëãîðèòì îïðåäåëåíèÿ îïòèìàëüíîé äîïóñòèìîé ñòðàòåãèè
äëÿ ñèñòåìû (4.52) èçâåñòíû. Îïòèìàëüíîå óïðàâëåíèå ñèñòåìîé (4.52) â
ñâîþ î÷åðåäü äàåò îïòèìàëüíîå óïðàâëåíèå äëÿ ñèñòåìû (4.42) ñ çàïàç-
äûâàíèåì óïðàâëåíèé.
4.7 Âûâîäû
102
ÃËÀÂÀ 5. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, íåñòàöèîíàðíûé ñïðîñ 103
ãî îïèñûâàåò óðîâåíü çàïàñà â i-îì óçëå ñåòè (íà i-îì ñêëàäå) â ìî-
ìåíò âðåìåíè t; u(t) 2Rq âåêòîð óïðàâëÿþùèõ âîçäåéñòâèé (óïðàâ-
d(t) 2 D(t); t 0;
ãäå D(t) 2 IRm èíòåðâàëüíûé âåêòîð, D(t) = D(t); D(t) ; D(t); D(t)
âåùåñòâåííûå âåêòîð-ôóíêöèè, òàêèå ÷òî
D(t) D; t 0; (5.2)
ãäå D 2 IR m; D 0.
Çäåñü, â îòëè÷èå îò ìîäåëåé Ãëàâû 4, ïðåäïîëàãàåòñÿ, ÷òî íåèçâåñòíûé
ñïðîñ èìååò íåñòàöèîíàðíûé õàðàêòåð (ñì. Ðèñóíîê 5.1).  ýòîì ñëó÷àå,
èíòåðâàë âîçìîæíûõ çíà÷åíèé ñïðîñà ìîæíî óòî÷íèòü è ïðåäñòàâèòü
åãî ãðàíèöû â âèäå íåêîòîðûõ ôóíêöèé âðåìåíè. Äàëåå áóäåò ïîêàçàíî,
÷òî òàêîå ïðåäñòàâëåíèå èíòåðâàëà íåîïðåäåëåííîñòè ñïðîñà ïîçâîëÿåò
óìåíüøèòü óðîâåíü çàïàñà â ñèñòåìå, à, ñëåäîâàòåëüíî, çàòðàòû íà åãî
õðàíåíèå.
x(t) 2 X; t 0;
u(t) 2 U; t 0;
ãäå X 2 IR n; X = 0; X ; U 2 IR q ; U = 0; U .
Îïðåäåëåíèå 5.1. Áóäåì íàçûâàòü ôóíêöèþ u(t) = U (x(t); t);
u(t) 2 U; äîïóñòèìûì íà èíòåðâàëå X óïðàâëåíèåì äëÿ ñîñòîÿíèÿ x(t)
â ìîìåíò âðåìåíè t, t 0, åñëè äëÿ ëþáîãî çíà÷åíèÿ ñïðîñà d(t) 2 D(t)
âûïîëíåíî âêëþ÷åíèå x(t +1) 2 X, ãäå x(t) îïðåäåëÿåòñÿ ðåêóððåíòíûì
ñîîòíîøåíèåì (5.1).
C (xb) = h xb;
0
(5.3)
X ED(t) 2 IR ; (5.6)
ED f BU g; (5.7)
X ED(t) 2 IR ; t 0; (5.9)
è (5.7), è x 2
b X äîïóñòèìûé óðîâåíü çàïàñà. Òîãäà ïî Îïðåäåëåíèþ 5.3
2
äëÿ ëþáîãî íà÷àëüíîãî ñîñòîÿíèÿ x(0) X ñóùåñòâóåò äîïóñòèìàÿ ñòðà-
2
òåãèÿ (x(0)) òàêàÿ, ÷òî
xb ED(t) ED(t); t 1 0;
îòêóäà èìååì
xb max ED(t) ED(t) :
t0
Ñ äðóãîé ñòîðîíû, x
b 2 X, ñëåäîâàòåëüíî,
xb 2 max
t0
ED(t) ED(t) ; X
(â ñèëó óñëîâèÿ (5.9) ýòîò èíòåðâàë ïðàâèëüíûé).
Äàëåå, òàê êàê ôóíêöèÿ çàòðàò (5.3) ìîíîòîííî âîçðàñòàåò ïî x
b, òî
6
äëÿ ëþáîãî âåêòîðà h 0; h = 0; ìèíèìóì ôóíêöèè (5.3) äîñòàâëÿåò
xb = max ED(t) ED(t) ;
t0
b
Çàìå÷àíèå 5.2. Äëÿ îïòèìàëüíîãî äîïóñòèìîãî óðîâíÿ çàïàñà x
âèäà (5.8) ñïðàâåäëèâû âêëþ÷åíèÿ
b)
Ïðåäñòàâèì èíòåðâàë X(0; x ED(t) â ñëåäóþùåì âèäå
X(0; xb) ED(t) = ED(t); xb ED(t) =
= ED(t); xb ED(t) ED(t) = [ ED(t); ED(t) + r(t)] ;
ÃËÀÂÀ 5. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, íåñòàöèîíàðíûé ñïðîñ 109
b
ãäå r(t) = x ED(t) ED(t) ; r(t) 0. Òîãäà âêëþ÷åíèå (5.12) ïðèìåò
âèä
ñòðàòåãèè óïðàâëåíèÿ
2
Ïóñòü äëÿ ëþáîãî íà÷àëüíîãî ñîñòîÿíèÿ x(0) X ñóùåñòâóåò äîïóñòè-
ìàÿ íà èíòåðâàëå X ñòðàòåãèÿ óïðàâëåíèÿ. Àíàëîãè÷íî ìîäåëÿì ïðè
èíòåðâàëüíî çàäàííîì ñòàöèîíàðíîì ñïðîñå, ðàññìîòðåííûì â Ãëàâå 4,
äëÿ ñóùåñòâîâàíèÿ îïòèìàëüíîé â ñìûñëå (5.4) äîïóñòèìîé ñòðàòåãèè
óïðàâëåíèÿ ýòîãî äîñòàòî÷íî â äâóõ ñëó÷àÿõ:
ÃËÀÂÀ 5. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, íåñòàöèîíàðíûé ñïðîñ 110
ED + X(0; ) f BU g; (5.14)
ED(t) ED(t 1) ; t 1; (5.15)
ED(t) ED(0) t; t 1; (5.16)
ãäå 2R
n; = X xb. Ïðè÷åì ñõîäèìîñòü ê îïòèìàëüíîìó äîïó-
ñòèìîìó óðîâíþ çàïàñà äîñòèãàåòñÿ íå áîëåå, ÷åì çà êîíå÷íîå ÷èñëî
øàãîâ
T = max
EDi EDi(0) + 1 + 1: (5.17)
i=1;n i
ÃËÀÂÀ 5. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, íåñòàöèîíàðíûé ñïðîñ 111
Ðàññìîòðèì
ãäå
(t) 2 X(0; );
(5.21)
e(t) 2 X(ED ED(t 1); 0):
Îïðåäåëèì âåêòîðà (t) è e(t) ñ êîìïîíåíòàìè
8
< i ; åñëè x ei(t) i
EDi(t) + ri(t),
i(t) = xei(t) + EDi(t) ri(t)
: max 0; ; èíà÷å;
(5.22)
ei(t) =
0; åñëè xei(t) i
EDi(t) + ri(t),
(*); èíà÷å;
(): ëþáîå çíà÷åíèå èç èíòåðâàëà X(EDi EDi(t 1); 0), ãàðàíòèðóþùåå
âêëþ÷åíèå
Ïîêàæåì, ÷òî (t) è e(t) âèäà (5.22) óäîâëåòâîðÿþò óñëîâèþ (5.21). Ñî-
ãëàñíî (5.22): i(t) ëèáî ïðèíèìàåò çíà÷åíèå i (âåðõíåé ãðàíèöû i-îé
êîìïîíåíòû èíòåðâàëà X(0; )); ëèáî ðàâíà íóëþ (íèæíåé ãðàíèöå i-îé
xei(t) + EDi(t) ri(t)
êîìïîíåíòû èíòåðâàëà X(0; )); ëèáî i(t) = > 0,
ïðè÷åì èç óñëîâèÿ x ei(t) i < EDi(t) + ri(t) ñëåäóåò, ÷òî
xei(t) + EDi(t) ri(t)
i(t) = < i, îòêóäà ïîëó÷àåì âêëþ÷åíèå
(t) 2 X(0; ). Ðàññìîòðèì äàëåå óòâåðæäåíèå (). Çäåñü, åñëè
xe (t) + EDi(t) ri(t)
i(t) = i > 0, òî âêëþ÷åíèå (5.23) ïðèìåò âèä
xei(t) i(t) ei(t) = EDi(t) + ri(t) ei(t) 2 [ EDi(t); EDi(t) + ri(t)]
ÃËÀÂÀ 5. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, íåñòàöèîíàðíûé ñïðîñ 113
ãäå x 2
ei(t) [ EDi (t 1); EDi (t)+ ri(t)] (ñ ó÷åòîì ïðåäïîëîæåíèÿ èíäóê-
öèè (5.18)). Ïîêàæåì, ÷òî äëÿ ëþáîãî çíà÷åíèÿ
xei(t) 2 [ EDi(t 1); EDi(t) + ri(t)] ñóùåñòâóåò òàêîå
2
ei(t) X(ED ED (t 1); 0), ÷òî âûïîëíåíî (5.24). Èçâåñòíî, ÷òî
i i
8x 2 x 9b 2 bj x b2a () x a + b:
Òîãäà ñîãëàñíî âêëþ÷åíèþ
îòêóäà ïîëó÷àåì
xe(t + 1) 2 ED(t); max f ED(t) + r(t); X ED(0) tg : (5.26)
ÃËÀÂÀ 5. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, íåñòàöèîíàðíûé ñïðîñ 114
EDi(t) EDi(0) 0; t 1;
ïîýòîìó ñïðàâåäëèâî ñîîòíîøåíèå
xei(t) 2 [ EDi(t 1); EDi(t 1) + ri(t 1)] = X(0; xbi ) EDi(t 1);
t 1;
2 bi ); t
÷òî ãàðàíòèðóåò âêëþ÷åíèå xi (t) X(0; x
0; (ñ ó÷åòîì òîãî, ÷òî
2
xi(0) X(0; xbi )).
Äëÿ ñëó÷àÿ, êîãäà i > 0 íàéäåì ìîìåíò âðåìåíè , íà÷èíàÿ
ñ êîòîðîãî
Ðàññìîòðèì ôóíêöèþ
xei(t) 2 [ EDi(t 1); EDi(t 1) + ri(t 1)] = X(0; xbi ) EDi(t 1);
t
ED i EDi(0) + i
+ 1;
i
îòêóäà ïîëó÷àåì
x(t) 2 X(0; xb); t max
EDi EDi(0) + 1 + 1 :
i=1;n i
| {z }
=T
÷òî ãàðàíòèðóåò
n
X
i ) min (5.27)
i=1 u(t); 1; : : : ; n
ïðè îãðàíè÷åíèÿõ
÷àåì ñîîòíîøåíèå
X ED X ED(t); t 0;
òîãäà, â ñèëó òîãî, ÷òî X ED 2 IR , ñïðàâåäëèâî (5.6).
Óñëîâèÿ (5.7), (5.14) ïðîâåðÿþòñÿ ïî àëãîðèòìó ConditionTest,
êîòîðûé ïðèâåäåí â Òàáëèöå 4.1 Ãëàâû 4.
2
ðîñòü ñõîäèìîñòè = 4, òàê êàê x(t) X(0; x
b); t 4.
ÃËÀÂÀ 5. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, íåñòàöèîíàðíûé ñïðîñ 118
ïðè îãðàíè÷åíèÿõ
Ðèñóíîê 5.3: Äèíàìèêà èçìåíåíèÿ çàïàñà â óçëàõ ñåòè ïðè âåñàõ (1,5,10)
ÃËÀÂÀ 5. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, íåñòàöèîíàðíûé ñïðîñ 120
X ED(t) 2 IR ; (5.31)
ED f BU g: (5.32)
EDi(t) EDi(0) 1 it
; t 1; i = 1; n; (5.35)
i(1 i) i
ÃËÀÂÀ 5. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, íåñòàöèîíàðíûé ñïðîñ 122
ãäå 2R
n; = X xb. Ïðè÷åì ñõîäèìîñòü ê îïòèìàëüíîìó äîïó-
ñòèìîìó óðîâíþ çàïàñà äîñòèãàåòñÿ íå áîëåå, ÷åì çà êîíå÷íîå ÷èñëî
øàãîâ
2 3
i
6 ln 7
T= max 666 (1 i)(i + EDi EDi(0)) + i 7
7 + 1: (5.36)
i=1;n
6
ln i 7
7
6 7
Ðàññìîòðèì
ãäå
(t) 2 X(0; );
(5.40)
e(t) 2 X(ED AED(t); 0):
Îïðåäåëèì âåêòîðà (t) è e(t) ñ êîìïîíåíòàìè
8
< i; åñëè i x ei(t) i EDi(t) + ri(t),
i(t) = ixei(t) + EDi(t) ri(t)
: max 0; ; èíà÷å;
(5.41)
ei(t) =
0; åñëè ixei(t) i EDi(t) + ri(t),
(*); èíà÷å;
Ïîêàæåì, ÷òî (t) è e(t) âèäà (5.41) óäîâëåòâîðÿþò óñëîâèþ (5.40). Ñî-
ãëàñíî (5.41): i (t) ëèáî ïðèíèìàåò çíà÷åíèå i (âåðõíåé ãðàíèöû
i-îé êîìïîíåíòû èíòåðâàëà X(0; )); ëèáî ðàâíà íóëþ (íèæíåé ãðàíèöå
ÃËÀÂÀ 5. Äèíàìè÷åñêèå ñåòåâûå ìîäåëè, íåñòàöèîíàðíûé ñïðîñ 124
8x 2 x 9b 2 bj x b2a () x a + b:
Òîãäà ñîãëàñíî âêëþ÷åíèþ
ei (t) i
 ñèëó óñëîâèÿ (5.34) íåðàâåíñòâî i x
EDi(t)+ ri(t) ñïðà-
âåäëèâî äëÿ xei(t)
EDi(t 1) + ri(t 1). Ñëåäîâàòåëüíî, èç (5.44),
ñ ó÷åòîì ïðåäïîëîæåíèÿ èíäóêöèè (5.37), èìååì
8h i
>
>
< EDi(t) + ri(t); i (Xi EDi(0)) (1 + i + : : : + i )i ;
t t 1
îòêóäà ïîëó÷àåì
h
xei(t + 1) 2
EDi(t);
n oi
max ED(t) + r(t); it (X EDi(0)) (1
|
+ i + :
{z
: : + t 1)
i } i
:
t øòóê
(5.45)
it(Xi
1 it
EDi(0)) (1+ i + : : : + it
)i = EDi(0))
1
it(Xi =
1 i i
= it(Xi EDi(t)) + it(EDi(t) EDi(0)) 1 i i
t
D
1E i
it(Xi EDi(t)) 0 < i 1 Xi EDi(t);
è, ó÷èòûâàÿ òî, ÷òî
ñëåäîâàòåëüíî, x ei (t + 1)2
Xi EDi(t), è xi(t + 1) Xi äëÿ ëþáî- 2
2
ãî d(t) D(t). Ïî Îïðåäåëåíèþ 5.1 óïðàâëåíèå u(t), óäîâëåòâîðÿþùåå
(5.45), ÿâëÿåòñÿ äîïóñòèìûì â ìîìåíò âðåìåíè t. Ñëåäîâàòåëüíî, óòâåð-
æäåíèå (5.37) èìååò ñèëó äëÿ ëþáîãî t 1.
2
Äàëåå, ïîêàæåì, ÷òî ñòðàòåãèÿ (x(0)), óäîâëåòâîðÿþùàÿ (5.37),
ÿâëÿåòñÿ îïòèìàëüíîé, òî åñòü, íà÷èíàÿ ñ íåêîòîðîãî ìîìåíòà âðåìå-
íè , âûïîëíåíî âêëþ÷åíèå (5.4). Ðàññìîòðèì ñëó÷àé, êîãäà i = 0
bi = Xi ). Ïðè ýòîì âêëþ÷åíèå (5.37) ïðèìåò âèä
(x
xei(t) 2 EDi(t 1); max EDi(t 1) + r(t 1); it (xbi EDi(0)) ;
1
t 1:
Çàìåòèì, ÷òî â ýòîì ñëó÷àå óñëîâèå (5.35) èìååò âèä
EDi(t) EDi(0) 0; t 1;
ïîýòîìó ñïðàâåäëèâî ñîîòíîøåíèå
xei(t) 2 [ EDi(t 1); EDi(t 1) + ri(t 1)] = X(0; xb) ED(t 1);
t 1;
÷òî ãàðàíòèðóåò âêëþ÷åíèå xi (t) X(0; x 2
bi ); t 0: (ñ ó÷åòîì òîãî, ÷òî
2
xi(0) X(0; xbi )).
Äëÿ ñëó÷àÿ, êîãäà i > 0, ïîëó÷àåì
h
2
xei(t) EDi(t 1);
n 1 it oi1
Ðàññìîòðèì ôóíêöèþ
(5.46)
1 i i
Ïðîèçâîäíàÿ ôóíêöèè (5.46) ïî t èìååò âèä
!
i
0
i ln
[fi(t)]t = |{z}
t X ED (0) +
1
|{z}i | i {z i } 1
0;
>0 0 EDi (0) 0 | {z }i
>0
| {z }
>0
ñëåäîâàòåëüíî, ôóíêöèÿ (5.46) óáûâàåò ïî t. Êðîìå òîãî,
1 it 1 =
fi(t) = it 1(Xi EDi(0) EDi(t 1) EDi(t 1) xbi )
1 i i
= it 1
ED (t 1) + xb (ED (t 1) ED (t 1)) + X xb +
i |i i {z i } | i {z }i
=ri (t 1) =i
1 it 1
+ EDi(t 1) EDi(0) =
1 i i
1 it 1
= ( EDi(t 1)+ri(t
it 1
(i+EDi(t 1) EDi(0))
1))+it 1
1 i i
EDi(t 1) + ri(t 1) + it (i + (EDi EDi(0)) 11 1 it 1
i i
:
Íåòðóäíî ïîêàçàòü, ÷òî
1 it 0 1
it 1
(i + (EDi EDi(0)) i
2
1 i 3
i
6 ln
(1 i)(i + EDi EDi(0)) + i 7
äëÿ t 6
6 7
7 + 1;
6
6
ln i 7
7
6 7
ñëåäîâàòåëüíî,
2
Òàêèì îáðàçîì, ñòðàòåãèÿ (x(0)), êîòîðàÿ óäîâëåòâîðÿåò (5.37),
ÿâëÿåòñÿ îïòèìàëüíîé, à ñêîðîñòü ñõîäèìîñòè ê îïòèìàëüíîìó äîïóñòè-
ìîìó óðîâíþ T , ãäå T îïðåäåëÿåòñÿ ñîîòíîøåíèåì (5.36).
Çàìå÷àíèå 5.5.  óñëîâèè (5.35) ïðè i = 1 èìååì
1 it D0E [1 it] tit
0
1
lim
! i (1 i )
= = lim = lim = t; i
i 1 0 ! [i (1 i)] ! 1 2i i 1
0
i
i 1
ln
(1 i)(i + EDi EDi(0)) + i
= lim = i
! [ln i]
0
i 1
i
5.6 Âûâîäû
131
ÇÀÊËÞ×ÅÍÈÅ 132
133
134
[22] Çàõàðîâ À.Â., Øîêèí Þ.È. Ñèíòåç ñèñòåì óïðàâëåíèÿ ïðè èí-
òåðâàëüíîé íåîïðåäåëåííîñòè ïàðàìåòðîâ èõ ìàòåìàòè÷åñêèõ ìî-
äåëåé // Äîêëàäû ÀÍ ÑÑÑÐ, 1988, ò. 299, 2 , ñ. 292-295.
[74] Blanchini F., Miani S., Pesenti R. Control policies for multi-
inventory systems with uncertain demand and setups // Proceedings of
the 40th IEEE Conference on Decision and Control. Orlando, Florida
USA, 2001, p. 1941-1946.
[99] Lovejoy W. Myopic policies for some inventory models with uncertain
demand distributions // Management Science, 1990, vol. 36, n. 6,
p. 724-738.
[110] Shary S.P. Interval Gauss-Seidel method for generalized solution sets
to interval linear systems // Reliable Computing, 2001, vol. 7, n. 2,
p. 141-155.
[115] Smagina E.M. A new approach to the modal regulator synthesis for
interval plant with scalar input // Reliable Computing, 1997, vol. 3,
p. 401-410.
145
[119] Wagner H., Whitin T. Dynamic version of the economic lot size
model // Management Science, 1958, vol. 5, n. 1, p. 89-96.
[121] Zipkin P. Models for design and control of stochastic, multi-item batch
production systems // Operations Research, 1986, vol. 34, p. 91-104.