Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
Íà ïðàâàõ ðóêîïèñè
Íàó÷íûé ðóêîâîäèòåëü,
ä.ò.í., ïðîô. Â.Â. Äîìáðîâñêèé
Òîìñê, 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) ïîëó÷àåì