Timed continuous Petri nets and optimization via linear programming
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Timed continuous Petri nets and optimization via linear programming Bruno Gaujal — Alessandr0 Giua. N° 4583 October, 2002. ISSN 0249-6399. ISRN INRIA/RR--4583--FR+ENG. THÈME 1. apport de recherche.
(3)
(4)
(5)
(6)
(7) "!#$%&' (*) " !' +',* #+ -.0/1243657/98057: ; < :>=@?0?0571A.0B43DCE/5 FHG9IJKLNMPOQSRTKSUWVYXZK[\RT]YR^[_IJKSR `baTcWd^K[eFa_fgc ∗. †. O\Uihjh7cWaT[ekYK&aTK0lmGjKamlmGjKn7oprqisutvMxwNly[_cWz7Ka0{Y|W}W}@|&M~tWphUiWK0R Z 'S jWW n[TGjfRh9Uih7Ka0{
(8) KlcWn9RTfkYKaUvkjK[TKSaTJfgnjfR^[_fgl#[TfgJKSk4lcunu[_fnrVjcuV9R`'K[Ta_fHnjK[JcYkYK G9Ka_K,lcunY9fly[_RNU[NhjUWlK0R\UWaTK,RTcWgWK0kzr]#V9RTfgnj#R[_Ui[TfgcWn9UWaT]#aTcuVY[Tfgnjh9UWa_UWJK[TKSa_RSKRTGjcGjc [_cvlcWJhjVY[_K[TG9KR[_Ui[TfgcWn9UWaT]v9a_fnja_Ui[TK cuaUW%[TamUin9RTf[TfgcWn9RrfgUDgfgnjKSUWahja_cWua_UWJJfgnj{'RTcUWR,[Tc kjK[TKSaTJfgnjK%[TGjKHcWhj[TfgJUWYaTcuVY[TfgnjNh9UiamUiJK[TKamR¡[_G9U[¢JUXYfgJf£SK%[_GjK
(9) 9a_fnjNamU[TK0R¤fgn9UWg]W{i
(10) KHkYfgR_lVRTR [_GjK"a_KU[TfgcWnR%f[TGDkYfR_la_K[TK&`K[_aTfnjK[mR ¥D¦@§©¨_ª,« ¬'W® cun@[Tfgn@V9cWV9RH`K[_aTf¡n9K[_RS{jcuhY[TfgJUi¯a_cWVY[_fn99{rfgnjK0Uiahja_cWua_UWJJfgnj ¯° ±³²µ´¶E·¹¸¶H²µ´%ºm»µ´E¼º^½yºm²µ»¾ºm¿³»µ·Àºm´
(11) º"Á·^´E·ºmÁ>ÃE±ZÁ·^Äi¼yÁ¶¼mů¶>±³·\ÆYºm¿i¼yÁEº_¶>¼y²µÁ>·Ndz·e»È ÉËÊ0Åg¼yÁÂÌeº_¶>²µÍSγ·edzÎÏ9ºmÁ>ºm»µ»µÐ^»µ²µ´EÌ· ÑÒyÒmÓ9Ô ÕyÕTÖyÖyÖ9×ËØ_Ù0ÚÛTÜ_ÝÞTÙ9×ßyàÕ_á³âTã³ä å7÷ æ·Ä³ç ºmÆ@Á¶>è̼yÊ@·^Êé¶Nêë%¼mÅ ì'廵»µÐ^»µ·^·Ã^Ç@¶>ÁÂÈ ²µÉÃT¶Eºmºm»»µ²µ·yºméiÊ0ëyÇ íyîyå ëm»µêH·^ù¸S¶E¸SÁ¼yâʳÆ@²µÃ è¼yå ÊÀÊ Ãò ·^²µÇ³Ê0·¹·¸&·^Á²µïSÊ éò ðéÁ>ºmøʳʳÃ^² · ½ä ·^Á>å ´>Ìe² ¶Ëèºm²µ»¼mñjÅ
(12) ¿0ù¡Á>γº Ê0ò ¼»µ²¾ä ºmò Á>ºm²Îmé'óEúyºmí0»õô'ûüy·^îʳ´ÂöËù¡» èº ¼yò Ê »µ²¾äºmÅÁÁ>²éɶEºm» è ä å Ìeºm²µ»ñ ò ²µÎºô'Ç0²µ·· ä γÊ0²µÃTº ä ² ¶ ∗. †. Unité de recherche INRIA Rhône-Alpes 655, avenue de l’Europe, 38330 Montbonnot-St-Martin (France) Téléphone : +33 4 76 61 52 00 — Télécopie +33 4 76 61 52 52.
(13) #
(14)
(15) e ! "'
(16) )# "!Z'" !!' +',*" ) ,y'
(17) UWn9RlK[UiaT[TflgKW{njcuV9RZlcWn9RTfkYQa_cWn9RK0RZa_QSRTKSUWVYX4kYKv`K[Ta_f&lcWn@[_fnrV9R[TKJh7cWa_fgRTQSR kjQ[TKSaTJfgnjfR^[_KSRkjUWn9RHK0R@ VjKSgRHgKSR\lcWnj9fõ[mRkjUinRHK0RHhjgUulK0RRcunu[a_QSRTcWgV9R
(18) KnVY[_fgfgR_Uin@[ekYK0RaTcuVY[_UWWK0R R[_Ui[TfgcWnjnUifgaTK0R e cWVRbJcWn@[_aTcun9RblcWJJKn@[%lUWglVjgKabgKSRb[_UWVYXkYKe[_famR%Kna_QufJK\R[_Ui[TfgcWnjn9UWfa_Kh7cWVja [_cWVY[_KSR,K0R[_a_UWn9Rf[TfgcWnRrfgU6Vjn hja_cWua_UWJJKgfnjQ0UifgaTKue cuV9RJcunu[_aTcun9R,UWV9R_RfblcWJJKn@[lSUilVjgKa gKSR\h9UiamUiJI[Ta_KSRekYKaTcuVY[_UWWK@ Vjf'kYcWnjn9Kn@[ÀgKSR\JKSfggKVjamRe[mUiVYXDkYK,[Tfga_RS nYn¯{©njcWV9RÀkYfRTlVY[Tcun9RegKSR a_KU[_fcun9R@ Vjf¯KXYfR^[_Kn@[eU³WK0l\gKSRa_QSRTKSUWVYXZkYK&`K[_aTfkjfgR_la_K[mR « 0 ¨ # OQ0RK0UiVYXZkYK"`K[Ta_flcunu[_fnrV9RS{Ya_cWVY[mUiWKNcWhj[TfgJUW>{Yh9aTcuWamUiJJU[TfgcWnZfgnjQSUWfa_K.
(19) t.
(20) !"
(21) $# %. &. # b . HF G9fgR
(22) h9UWhKSaekYKSUWgR
(23) f[TG#[TGjK&hja_cWzjgKJ cW'kYK[TKSaTJfgnjfn9UWnZcuhY[TfgJUi¡R^[mU[_fcun9Uia_]JcrkjKÀcWcWh7KamU[_fcun cuaeUR]YR[TKJ kYKSR_la_fz7KSkzr]ZUlcun@[Tfgn@V9cWV9R%[TfgJKSk`K[_aTf¡n9K[S FHG9KJcYkYKS¢%Klcun9RTfgkYKSa&fgRN[m(U 'WKSn6 a_cWJ UWnUWa[_fgl*K ) (p +zr] cWG9Kn-, .
(24) (/ [,lcun9RfR[_RNciHU#h9gUulK10 [_a_UWn9RTfõ[_fcun4n9K[ZGjKSaTK[_GjKUWa_l
(25) KfgWG@[S{
(26) [TG9K6JUi2a '@fgnj ciU hjUWlK6Uin9k[_GjKD9a_fn9 lcWV9nu[_KacW&U [_a_UWn9RTfõ[_fcun UWaTKnjcW[,a_KSR[Ta_fgl[TKSkv[_c6fn@[_KWKSa"UigVjKSR,zjVY[,JU³]6[m(U 'uKnjcWnnjKSuUi[TfgWKaTK0UiUWVjK0R{'fE Ku{
(27) KG9U³uK"9Vjfk @V9UWn@[Tf[TfgKSReJcrfgnj a_cWJ hjUWlK,[Tc#hjgUulKamU[_GjKa\[TG9UWnkYfRTlaTK[TK,[T3c 'uKn9RS 4 aTKSK0UWRTK kjKU³] fRÀUuRTRTcYlfU[TK0k#[TcK0UWlmGDhjUWlK {a_Kh9aTK0RKSnu[_fn9[TGjK,[TfgJK[TGU[\[_GjKVjfgkD[TG9Ui[ÀKn@[_KamRefg RTh7Kn9kZδfnZ[TGjKNhjUWlKNz7K cWa_K\f[lUin#zK&U³pUifggUWzjgK[Tc9a_Ke[TG9KNcuVY[Th9VY[%[_a_UWn9RTfõ[_fcun9RwÀn[_GjK&lcWn@[_a_UWaT]u{ n9ckYKU³]fgRUWR_RcYlfgUi[TKSkv[_c6[TG9K[TamUinRf[TfgcWn9RS6 5 eci[_K[_G9U[Uin K uV9fUigKn@[,JcYkYKS
(28) lcWVjkz7KZWfgWKSn UuRTRTcYlfU[_fnjUaTKSK0UWRTKNkjKU³][TcKSUulmGZ[_a_UWn9RTfõ[_fcun¯ 7 i. i. δ. Uia2'@fgnjfgn 8. p Mp (τ ). 1. HF fgJK ¤fgWV9aTKL39 ucWgVY[TfgcWnci'[TG9K"JUWa:'rfgnjfnDUlcunu[_fnrVjcuV9RH`K[_aTf \K[ δ. '¤ fgWVja_KZLkYfRh9gU³]YRNUWKSaT]DRTfJhjgKlcWn@[_fnrVjcuV9Re[_fJK0k`K[_aTfnjK[Nf[TG UZkjKU³] δ UWR_RcYlfgUi[TKSkf[TG [_GjKNhjgUulK&Uin9k#Uinfgnjf[TfUi¡JUia2'rfn9K @V9UW[_ccunjK39 M (0) = 1 G9fglmG#fgRHUWR_RTVjJKSk[_cUWaTa_fuKÀUi[b[TfgJK fgn[TGjK"hjUWlKW 0 FHG9KKWcuVj[TfgcWn K @V9U[_fcun9;R 5 <p 7=0>5>?q 7NWfgWKnfgAn @YKSly[_fcun |#kjKSR_la_fz7KUig¢hc@RTRTfgzjKKSWcuVY[_fcun9RNciRVlmG UZnjK["fgn6[_Ka_JRNcW9a_fnjlcuVjn@[TKam"R 9eU9a_fgnj#lcWVjn@[TKSa Z (τ ) KXYhja_KSR_RK0Re[_GjKlVjJVjgUi[TfgWK @V9Uin@[Tf[^] cWH9aTfgnjDcW
(29) [_a_UWn9RTfõ[_fcun t fgn [TGjK[TfgJKZfn@[TKSaTUW [0, τ ] D¤jcWa[TGjKZRTfgnjWgK[TamUin9RTf[TfgcWn ciH[TG9KnjK[fn j. j. Ê jê yî. BB C 1D>E.
(30) p.
(31)
(32) /.
(33). WVja_KLef[%Gjcugk9R Z(τ ) = 0 fõ τ < δ {YUink Z(τ ) ≤ M (0) = 1 f τ ≥ δ ¢FHGjKeUigVjK\cW©[TGjKÀJUWa:'rfgnj fgnhjUWlK p lUWnUWgRTczK"a_f[[TKSnDUWR M (τ ) = M (0) − Z(τ ) FHGrV9RS{Y[_GjK"KucWgVY[TfgcWnci'[TG9K"JUW:a 'rfgnjfnhjUWlK p UË[_Ka[_fJK 0 fgRenjci[eVjn9f @VjKS]kYKSR_la_fz7KSkfgn[TGjfR JcYkYKS> [lcuVjk cWggcUinr] cie[_GjKDkjUWRTGjKSk fgnjK0RkjfgRThjU³]WKSk fn [TGjK#9WV9aTKu FHGjK UWRRcrcunUWR h7cuR_RTfzjg K 5
(34) 1
(35) 7
(36) aTfgnjhcufl]a_ K @VjfgaTK0R[_G9U[ Z (δ) = 1 {rfE Ku{jUiË[TKaUkYKU³] δ [_GjKNJUWa:'rfgnjfn [_GjK"hjUWlKNfRHnrVjg M (δ) = 0 5ÂzcugkgfnjK 7y 4\ci[TG9KaH9a_fn9h7cWgflfgKSRHG9U³uKÀgcWnjuKaH9a_fgnjkjKU³]rR 5>Uig cW[TGjKSaekjUWRTGjK0kZgfn9KSR 7y 4ÀRTRTVjJK\n9c [TG9Ui[%[_GjK\aTfgnjhcufl] fgRHRTV9lmG[TGU[UË[TKSaU"[TamUinRfgKn@[b[_GjKNnjK[HaTK0UWlmGjK0RbU,hKSaTfgcYkYfgl JcYkYKecW¡cWh7KamU[TfgcWn{WfE Ku{u cWa τ RT V
(37) lfguKn@[_]gUWaTuK
(38) [TGjKSaTKeKXYfgR[%U"h7Ka_fcYk Υ Uin9kU"amU[_K λ RV9lmG[_G9U[ cuaeUig©[TamUin9RTf[TfgcWn9R t fõ[eGjcugk9R Z (τ + Υ) = Z (τ ) + λ Υ n[_GjfgR\lUWRTKNfõ[eGjcugk9R asap. j. j. u j. u j. j. Zju (τ ) = λj , τ →∞ τ
(39) , ,
(40) / >=
(41) (( lim.
(42) (" NKnjKSa_UWfg£fgnj9{ UWn9k%KR_U³][_G9U[[_GjKnjK[ÀUWRT]rJhj[Tci[_fglSUig]ZaTK0UWlmGjK0R
(43) U
(44) K"kYKnjK"U,aTfgnjhcufl] 5 njcW[Hn9KSlK0RTR_Uia_fg]h7Ka_fcYkYfl"7
(45) UuR ,
(46) / >=
(47) ((
(48) f[TG9K"hjaTKSrfcuV9R
(49) fgJfõ[ KXYfgR[_RUWn9kZfRH9n9fõ[_KW \ci[_KH[TG9Ui[GjfgKeU&
(50) KS(U 'rg],R[_U[_fcun9Uia_]"z7KG9U³rfgcWa¢fR¢lmG9UiamUWl[TKa_fg£KSk,zr][TG9KKXYfgR[TKSn9lKcWnjfõ[_K9a_fn9 amU[_KSR λ cWaUig[_a_UWn9Rf[TfgcWnR{[TGjK#JUi2a '@fgnj6kYcrK0RnjcW[,njKSlKSR_RTUWaTfgg]a_KSUWlmG9KSR"Uin U³uKamUiuKlcWn9R[_UWn@[ UWVj?K 9¢UWRUinKXYUWJhjKu{Yfõ[eJU³]ZlcWn@[TfgnrV9Uigg]fn9laTK0UWRTKW ' cWaeUig¡hjUWlKSR p [_GjK"gfJf[ j. i. lim. Rτ 0. Mi (%)d% τ. WU gRTcKXYfR^[mRUWn9k&fgR¯9njf[TKu{³[TGjKSn%K%RTU³]\[TG9Ui[¯[TGjK%njK['aTK0UWlmGjK0R¡U > 2 !3/"
(51)
(52) # ,$
(53) GjKn f[fRnjci[,n9KSlK0RTR_Uia_]6[_cvkYfR[TfgnjWVjfRTG zK[^%KSKn [_GjK[^
(54) clUuRK0R{
(55) Kfg
(56) zja_fK9] V9RK[TGjKUWk³d^K0ly[TfgWK >
(57)
(58) f[TGjcuVY[\Uinr]UukjkYf[TfgcWn9UW uVUigfõlSU[_fcun¯ τ →∞. %'&(%. )+*",.-0/213/547698;:<4763,(4>=":<="?A@/B6 1C,D4/B6FEG:H*"/5I. amU[TG9KakYfJ©Ka_Kn@[¢lcunu[_fnrVjcuV9R¯`K[Ta_f@n9K[JcYkYKSrG9UWR'z7KKnhja_KSRTKn@[TK0k"fn )L0} +Yzr]OKSlSUikYK%UWn9k @rfgg³U K n [_GjKO@JcYkYKE{[_GjK[TfgJfn96ci
(59) [TGjKZnjK[,fR"ufuKnVjn9kYKSa"[TGjK cWa_J ci'LTRh7KK0kvhUiamUiJK[_KamRNM O ÉËÊN¶>±³·bÁ>·^´Â¶¼mÅ9¶E±³·bĺmÄi·^Q Á P±³·^Ê&Ã^¼yÌĺmÁ²µÊ ò ¶E±0·b¶ P¡¼Ì¼Ç³·^»µ2´ P¡· P²µ»µ»@dz·^ʳ¼m¶E·H2ù RS̼Sdz·^»@¶>±³·b¼yʳ·¼mÅ¡ù©¼y±³·^Ê TVUBWXZY ºmÊ³Ç B ç ̼dz·^»u¶>±³·¼yʳ·¢¼mÅ B¯·^ÃTºm»µÇ0·%ºmÊ0Ç ç ²µ» ½mº ä 4. É æ B¯ÉËì.
(60) q.
(61) !"
(62) $#. cua"Uig[_a_UWn9RTfõ[_fcun9RwÀnlKUiuUWfn{©[TGjKfnj9njf[TKRTKa_WKaNRKSJUin@[TflRNfRNUuRTRTVjJKSk¯{¡GjfglmGvfgR&JcYkYKSK0k zr] UWnKSWcWgVY[_fcun K @V9Ui[TfgcWnci\[_GjKJUi2a '@fgnjVjn9kYKSa[TGjK cuaTJ cWNkYf J©Ka_Kn@[TfUiH K @V9Ui[TfgcWn9RS{bG9Ka_K [_GjKkYK0la_KSUWRTKa_Ui[TKci
(63) [TGjKJUi2a 'rfnjDkYKShKSn9kjR&cunf[_R"RTfg£KW; 4\õ[_GjcWVjuG cWVja&h9UWhKSa"fgRkjKSkYflUi[TKSk[Tc [_GjKDR^[_V9kY]cW\[TG9K JcYkYKS>{%fõ[fRV9RTK VjH[_cvfgn@[Ta_crkjV9lKDU[gKSUWR[fnY cuaTJUWg] [TGjKDO @ JcYkYK z7KSlSUiV9RTKW{'z7K]Wcun9k[TG9K#RTVjhKSa7lfUibkYf J©Ka_Kn9lKSRS{[_GjKa_KZUWaTKRTcWJKZRTfJfggUWaTf[TfgKSR"[TG9Ui[kYK0RKSaTuKzKSfnj lcWJJKn@[TK0kVjhcun¯ ¯K[ÀV9R9amR[eWfgWKUinKXYUWJhjK"cW'G9c [_GjK,O @JcYkYKKucWgWKSRS cun9RfkYKSa[TGjK n9K[\fgnD9uVjaTK,|j{9GjKSaTK[TGjK"[_a_UWn9RTfõ[_fcunGUWR\UZRh7KK0kh9UiamUiJK[_Ka λ 9% cWae[_GjfR\RT]rR[TKSJ[_GjKJUi2a 'rfn9 KSWcuVY[_fcunZfRWfgWKSn#zr][_GjK" K @V9Ui[TfgcWn f[TGfgnjfõ[_fgUWlcun9kYf[TfgcWn M (0) = 1 GjcuRTK = −λM (τ ) RTcWgVY[_fcunfR ecW[TKH[_G9U[Vjn9f 'WKHfgn[_GjKhja_KrfgcWV9RJcYkYKE{Wf[¢[_3U 'WK0R¢UinfnYnjfõ[_KeUiJcWV9nu[ cW[_fJK&[TcKSMJ(τhY[^)]=hjeUWlK p dM (τ ) dτ. −λτ. λ. 6Uia2'rfn9fgn 8. p. 1. Mp (τ ) = e−λτ. FHfJK. ¤'fuVja_K"| 986Uia2'rfnjKSWcWgVY[_fcunZfgn#[_GjK"JcYkYK¯cW'OK0lUWgkYK"UWn9k r@ fgU nz7ci[_GJcYkYKSgReUWnUukjkYf[TfgcWn9UWUWR_RTVjJhY[TfgcWn 5Ë[_G9U[e
(64) KlUW@YF 4\O.7H
(65) UuR
(66) [TG9Ui[eci¢RcurfgnjlcWnj9fgl[_R Ui[
(67) h9gUulKSR
(68) zr]ZUuRTRTfunjfgnj$U @YF 4
(69) [TfgcWn9UWaT]OcuVY[Tfgnj5 GjflmGfgRkYK0RTlaTfgz7KSkfgnkYK[mUifg¡fn#[TGjKN cugcfn9 7y ¤9VjaT[TGjKSaTJcWa_KW{W[^%cUWkjkYf[TfgcWnUi9a_KSR[Ta_fly[TfgcWnR¢ciOK0lUWgkYKÀUin9k @rfgg³U,%KSaTKe[TG9Ui[%ci¯lcWn9RTfgkjKa_fnj"K @V9Ui lcWnYfgl[njK[mRbUinkcW¯Uigcfgnj"lcunY9fly[_RcWnjg]Ui[bfJJKSkjfgUi[TK[_a_UWn9Rf[TfgcWnR 9'RV9lmGU&a_KSR[Ta_fgl[TfgcWnfgRbnjci[ VRK0kZGjKSaTKu FHG9KKucWgVY[TfgcWn K @V9Ui[TfgcWn9Reci[TGjK JcYkYKS 5>UWR_RVjJfgnj[TGU[ÀK0UWlmG[TamUinRf[TfgcWn9a_KSRÀUWReRTcrcWn6UWR f[HfgR
(70) KnUizjgKSk 7%lUWnz7KNa_f[[TKSn#UuR[_GjKNlcWVjh9fgnjciUlcWnruKn@[TfgcWn9UW9gfn9KSUiaHRT]rR[TKSJ fõ[_GU 5 Jfn{ ×7 gfgnjKSUWa\R]YR[TKSJ{7fE Ku{7fõ[NfgR\WKSaT]#KSUWRT]#[TcfgJhjKSJKn@[S\FHG9KKucWgVY[TfgcWnDK uVU[TfgcWnRci[TG9KO @JcYkYKS>{ cun[TGjKelcWn@[TamUia_]W{WlSUinzK\aTf[[_KnUWR[_GjK\lcWVjhjgfgnj&ci¯U&lcWnruKn@[TfgcWn9UWjR]YR[TKSJ ci©gfnjK0UiakYf J©Ka_Kn@[TfUi K @V9U[_fcun9RNfõ[_G U 5ÂJfgn¯{ ×7NfgnjK0UiaRT]rR[TKSJ{Uin9kUia_KJcWa_KkYf
(71) lVj[[_cRTcWgWKuwÀnv[TGjKlcWn@[TamUia_]W{ Ê jê yî. BB C 1D>E.
(72)
(73)
(74) /.
(75). G9Kn[_GjKHnjK[¢fRfgWKHUinkz7cWVjn9kjKSk¡{[_GjKO@,JcYkYKSYK0UWkjR[_cNUWn,KSUuR]lcWJhjVY[mU[_fcun,ci7UNR[_Ui[TfgcWn9UWaT] z7KGU³@fgcWa%zr]JK0Uin9R
(76) cWUgfn9KSUiaHhja_cWua_UWJJfgnjh9aTcuzjKSJ 5 ¯`b` 7y{jG9fgK\[_GjK JcrkjK©aTK @Vjfa_KSR UJcWa_K"lcuJh9KXZhja_crlKSkYV9aTKNz9UWRTKSk#cWnDkY]rn9UWJfglNhja_cWua_UWJJfgnj9 %'& . /5? = IN63? : 6 ,(?
(77) #/51. HF G9K,V9RTK,cWgfgnjKSUWaÀcua\fgnu[_KuKa\h9aTcuWamUiJJfnj cuaNUWn9Uig]YRfReUinkDhKSa cuaTJUWn9lKKSUigV9U[_fcunDci`K[_aTf n9K[_R&fR"U#aTflmGKk6[_G9U["fR '@n9cnVjn9kjKa&[TG9Kn9UiJKci > 1 :
(78) (/
(79) (
(80) (/ > ) + nv[TGjKlSUWRTKcW [_fJK0kkjfgR_la_K[_Kn9K[_RN[_GjfRUihjh9aTc@UWlmG6ufuKSRNWcrcYkz7cWV9n9kjR"cunRTKuKamUi'hKSa cuaTJUinlKJK0UWRTVja_KSRÀ cWa fgn@[TKSaTK0R^[_fnj6lgUuRTRTKSRcinjK[mR ) t + n[TGjK#lUWRTKcWlcWn@[TfgnrVjcWVR"njK[mR{'[_GjfgRUihjh9aTc@UWlmGfgR,KWKSnJcWa_K VRK Vj>{9ciË[TKSnhjaTcrfkYfgnj,[_GjK"KXjUuly[UigVjK&cihKSa cuaTJUinlKNJK0UWRTVja_ K )gLS}j{¡LW>L + FHG9KD9amR^[a_KSRTVj[Zci&[TG9fgRZh9Uih7Ka0{HfgR#RGjcfgnj[TGU[[_GjKhja_cWz9KSJ cilcWJhjVY[_fnj [_GjKvR[_Ui[TfgcWn9UWaT] z7KGU³@fgcWa& cua&[TGjK JcYkYK%lUinUWgRTcDzKRTcWgWK0kzr]UfgnjKSUWahja_cWua_UWJFHG9K ¯``
(81) KaTf[TK fRRTfgWG@[_]kjf J©Ka_Kn@[ a_cWJ [_GjKcunjKV9RTKSkv[Tc6lcWJhjVY[_K[TGjKR[Ta_cWnju]vR^[mU[TfgcWnUia_]6zKSG9U³rfcua&ciH[TGjK O @JcYkYKS 9[TG9K9amR^[lSUinfgnK J©KSl[z7KZRKSKn UuRUDWKSnjKamUigfg£SU[_fcunvcWH[TGjKU[T[TKSaS n ÂUWl[,fgn cWVja . ``
(82) K\lcWn9RTfgkjKa0{@UWJcunj"ci[_GjKamRS{@UuRJUinr] K @V9U[_fcun9RbUuR[_GjKa_K\UWaTKeh9gUulKSRbfn[TGjKNnjK[mR{@KSUulmGcWnjK lcWa_aTK0Rh7cWnkYfn9[_c fõ[T[TgK R\U³ cWae[_GjK9VjfkDKn@[TKSaTfgnj[_GjK,h9gUulKW&wÀn[TGjKlcunu[_a_UWaT]u{jfgnD[TGjK ¯`` cW
(83) OK0lUWgkYKUWn9Ak @rfgU#[TGjfR"fgnY cWa_JU[TfgcWnfR LlcWJh9UWl[TK0 k Mfgn URTfn9WgK fõ[T[TgK R"U³ UWR_RTcrlfgUi[TK0kD[Tc K0UWlmG` 0 fnrUia_fgUWn@[S 4\[TG9KNRTcWgVY[TfgcWnRci¡[_GjK ¯``ciOK0lUikYKNUin9k @YfgU,lUWnZUiRTczK\ cWVjnkzr]cuVj a ¯`` n[TG9KNlSUWRTK cW'R[Ta_V9ly[_VjamUig]gfgWKUinkZz7cWVjnkYKSknjK[S{Y VjaT[TG9Ka_JcuaTKu{r[TGjK&[^
(84) chja_cWWamUiJR%9n9k#[_GjKRTUWJKNcuhY[TfgJUi RTcWgVY[_fcun¯FHG9fgRUigceRV9R,[TclcWnlgV9kYK#[TG9Ui[Ui[TG9cWVjuG[TGjK#[^
(85) cJcYkYKR,GU³WKZUvWKSaT] kYf J7KSaTKSnu[ [_a_UWn9RTfKSnu[z7KG9U³rfgcWa0{[_GjK]zcW[TG aTK0UWlmG [TGjKR_UiJKDR[_U[_fcun9Uia_]z7KG9U³rfgcWa0{bfgn[_GjK6RTKn9RTK[TG9Ui[[TGjK U³uKamUiuKb9a_fgnjamU[TK\ci¡KSUulmG[TamUin9RTfõ[_fcunJ,V9R[
(86) R_U[_fgR ],[_GjKÀR_UiJKH[^]rh7K\ci¡K uVU[TfgcWnR 5ÂRTKKÀRK0ly[TfgcWnt 7y \ci[_K\[_G9U[
(87) [TGjfR
(88) aTK0RV9õ[HfgR%njcW[
(89) ]uK[UinjcW[TGjKSa%uKamRfgcWncW¯[TGjHK L^ cW '[TGjKScWa_KDJ Me[TG9Ui[HR_U³]YR¢[_G9U[
(90) cWaHKSUulmG UJcrkjKHGjKa_K[_GjK#[TfgJKfRUuRTRTcYlfU[_KSk [_c6[TG9KZ[_a_UWn9Rf[TfgcWnR[_GjKa_K#KXYfgR[_RUin K @VjfUWKSnu[JcYkYK G9Ka_Ke[TG9K\[_fJK&fgRHUuRTRTcYlfU[TK0k[Tc[TGjKNhjUWlKSRS nZÂUWl[S{@[TGjK&kYf J7KSaTKSn9lKNz7K[^
(91) KKnZ[TGjKÀ[^
(92) c,JcYkYKR
(93) fgR kjKKh7KaÀ[TGUin6[_GjfRNUWn9k¡{¡UWRÀ
(94) K,G9U³uK,UigaTK0UWkY]RTGjcn¯{7[TGjKSfaÀ[TamUinRfgKn@[Àz7KGU³@fgcWaÀfgRNuKa_]kYf J©Ka_Kn@[S FHG9KÀÂUuly[H[TGU[H[TGjK"R[_Ui[TfgcWn9UWaT]z7KG9U³rfgcWaHciz7ci[_GJcYkYKSgRHlSUinzK"kYK0RTlaTfgzK0kZzr]KXYUuly[_][_GjKRTUWJK K @V9U[_fcun9RHlUiJK&[_cVReUWRHURTVjaTh9aTfRKu . . . . É æ B¯ÉËì.
(95)
(96) !"
(97) $#. KUWgRTcZRTGjc[TGU[\[_GjKUiz7cWKJKn@[_fcunjKSk6kjfJ©Ka_Kn9lK,z7K[^
(98) KKSnD[TGjK ¯`b`
(99) K,a_fõ[_KUink[TGjKcWnjK cW'OK0lUWgkYK"UWn9k @rfgUG9UWRRTKuKamUi©ci[_GjKafgJhjflUi[TfgcWn9R
(100) [_G9U[\UWaTK"kYKSWKScuhK0kZfgn[TGjK"h9UWhKSaS ¤'fga_R[Tg]W{bcWVjaUih9hjaTc@UWlmG lSUin4UiRcvzKDUih9hjfgKSk [TcnjK[_R[TGU[Uia_KZnjcW[R^[_aTV9l[TVjamUigg]z7cWV9n9kYKSk4Uink kjcZnjcW[&UukYJfõ["F 0EfgnrUia_fgUWnu[mR 9Hfgn6[_GjfgR"RTKnRK%KlUinUiRc#lcWJhjVj[TKU
(101) KS(U 'DR[_Ui[TfgcWn9UWaT]zKSG9U³rfcuaS @YKSlcun9kYg]W{if[blUWnUWgRTc&zKkYfgaTK0ly[_]VRK0k[_ckYK[_Ka_JfgnjKUincWhj[TfgJUWjR^[mU[_fcun9Uia_]N9aTfgnj&WK0ly[_cWa¢UiJcWn9 RTKuKamUi 9z7KfgnjUWzjK&[_cRcuuKÀK
(102) lfgKn@[Tg][_GjfgRehjaTcuzjgKJcW'h9a_Uuly[TflUW©aTKSKS³UWn9lK&fR{9%K"z7KgfKSWKu{Y[TGjK JUWfnlcWn@[_aTfgzjVY[_fcuncib[TGjfR&h9Uih7Ka0,FHGjfgamkY]u{¡%KRTGjc[TG9Ui["GjfgKUinvcWhY[_fJUi¢R[_Ui[TfgcWn9UWaT]9a_fn9 uKSl[TcWa%Uig
(103) U³]YRlcWa_aTK0Rh7cWn9k9R[TcU"h9UiaT[TflV9gUWa @YF 4\O"{@fgnWKSnjKamUifõ[
(104) fgR%njci[
(105) aTK0UWlmGjK0k aTcuJ [_GjK\fgnjf[TfUi JUW:a 'rfgnjV9RTfnj\[TGjK
(106) RTUWJK @YF 4\O kjVjaTfgnj[_GjK%[TamUin9RTfKSn@[SFHGjK%cWhY[_fJUWW[_a_UWn9RfgKn@[0{0fE KWg{S[_GjK%[TamUin9RTfKSn@[ [_G9U[¢gKSUukjRUWRRcrcunUWR'h7cuR_RfgzjgK
(107) [TcÀ[TGjKcuhY[TfgJUiYR^[mU[_fcun9Uia_]&zKSG9U³rfcualSUinUiRcNzKHK0UWRTfg]lcuJh9VY[TK0k VRfgnjcWVjaeUWhjhja_cuUulmG¯ FHG9fgRh9Uih7Ka'fRR[Ta_V9ly[_Vja_KSkUuR¡ cWggceR @rKSl[TfgcWn|ehjaTK0RKSn@[_R¡[_GjKHkYK9n9fõ[_fcun9RUWn9k"njcW[_Ui[TfgcWn9R'UWR%KSrUWR [_GjKRKSJUin@[TflRÀci cWn@[TfgnrVjcWV9RÀ`K[_aTf¢njK[_;R 5 ` .7NUink
(108) K[_Ka_JfgnjfR^[_fglFHfgJKSk cun@[Tfgn@V9cWV9RN`K[_aTf n9K[_R 5
(109) F ` 7#UWn9kRTKWKSa_UW\hja_cWh7KaT[TfgKSRS{JUifgnjg] lcWn9lKa_njfgnjfgWKSnjKSR_RfR_RVjK0R nh9UWa[_fglVjgUWaS{ @YVjz9RTKSly[_fcun|Yµq6RTGjceR,GjcRVlmG njK[mR{¢V9n9kYKa U @YF 4ÀOh7cWgfgl]Uia_KZ K @VjfgUigKn@[,[_cvR[Ta_V9ly[_VjamUig] lcWnYfgl[ 0E aTKSKZnjK[_RS FHGjK#JUi[TKa_fUiHhja_KSRTKn@[TK0kfn [TGjfRhja_KgfJfgn9Uia_] RK0ly[TfgcWnfgRamU[_GjKaRfgJfUia[Tc [_GjKaTK0RVj[_R,hja_KSRTKn@[TK0kfn )L0} + @rK0ly[_fcunt6ufuKSR[TGjKfgnjK0Uia,h9aTcuWamUiJ ¯`` 5 7"[TG9Ui[lcWJhjVY[_KSR [_GjK,R[_Ui[TfgcWn9UWaT]aTfgnjamU[TK0RHci[TG9KnjK[0 @YKSly[_fcunpRGjceReGjc [_clcuJh9VY[TK"[_GjK"cWhj[TfgJUWa_cWVY[_fn9 lcrK
(110) lfgKn@[_R¯fn,U
(111) F ` GjKn&[_GjK]"UWaTK¢njcW[WfgWKSn"zK cWa_KG9UWn9k¡ [UiRch9aTK0RKSnu[mR¯RTKWKSa_UWhc@RTRTfgzjK KXr[TKnRfgcWn9RS¢¤'fn9UWg] @rK0ly[_fcunqRTGjceR
(112) Gjc[TG9K"hjaTKSrfcuV9R
(113) aTK0RVj[_RHlcWVjkZz7KUWk9UihY[_KSkZ cWaHGjKV9aTfR^[_fgl cuhY[TfgJf£0U[_fcun#fgnDkYfgR_la_K[_K&`'K[Ta_f¡njK[mR 4 RG9cWaT[WKSa_RTfgcWn cie[_GjfR,h9UWhKSaHUWR,hja_KSRTKn@[TK0k fn ) + FHGjKlVja_aTKSnu[h9Uih7Kahja_c@fkYK0RUkYKSKh7Ka fgn9RTfuG@[cWn,[TGjKHlcun9kYf[TfgcWn9RVjn9kjKaGjflmG[TG9K%gfn9KSUia'hja_cWua_UWJJfgnj\UWhjhja_cuUWlmG"ufuKSR¯[TGjKUWRT]rJhY[TcW[Tfl h7KaT cWa_JUin9lKSR,ci[TG9K#njK[S FHGjK#UuRTRTVjJhY[_fcun9R,VRK0kGjKa_K#UWaTKZJcuaTKZWKn9KamUi[_G9Uinfn [TGjKRG9cWaT[ hUih7Ka0FHG9fgRhUih7KaeUiRTchja_crfgkjKSR
(114) JcWa_K&kjK[_UWfgKSkhja_crciÂR
(115) ci'[TG9K"JUWfna_KSRTVjõ[mR. Ê jê yî. BB C 1D>E.
(116) s.
(117)
(118) /.
(119). ') "' H&(%. . /. = 4<63,VEG/Q*. E. :H*/5I. ` .7fgRUR[Ta_V9ly[_VjaTK N = (P, T, P re, P ost) {9GjKa_K fRURK[eci m hjUWlK0R P fReURTK[ci n [_a_UWn9Rf[TfgcWnR T fgR%[TG9K pre fgn9lfkYKSn9lKÀ Vjn9l[TfgcWn[_G9U[RThK0lf9KSR%[TG9KÀ
(120) KfgWG@[_R%ci[TGjK&UiamlR P re : P × T → R aTcuJhjUWlKSR%[Tc[_a_UWn9RTfõ[_fcun9R fgR&[_GjK post fn9lfgkjKn9lK Vjn9ly[_fcun[TG9Ui[,Rh7KSlfõ9K0R&[TG9K%KSfuGu[_KSkUiamlR P ost : P × T → R aTcuJ[_a_UWn9Rf[TfgcWnRb[_chjUWlK0R KkYKSnjci[_K C = P ost − P re [TGjKfgn9lfgkYKSn9lKJUi[Ta_fõXcWHUnjK[SZFHG9KhjaTK0RK[Uin9kh7cuR[_RTK[ciHU n9crkjK x ∈ P ∪ T Uia_K"kYKn9ci[TK0k x UWn9k x {jaTK0Rh7KSl[TfgWKS]u 4 ;
(121) V( ! fgRHU,WKSl[Tcua [TG9Ui[HUuRTRTfun9R¢[_cK0UWlmGhjUWlKNU,njcWn @njKSuU[_fuKea_KSUi @V9Uin@[_fõ[^] M : P →R lSUigK0k ;
(122) V ¡[TGjKJUi2a 'rfn9cibh9gUulK fgR&kYKSnjci[_KSk nvkjfgR_la_K[_K,`K[_aTfnjK[_RS{©[TGjKJUi2a '@fgnj#fgR a_ K @Vjfga_KSk\[Tcez7Kfgnu[_KuKa¯UigVjK0k¡FHGjK¢upKnjKSa_UWfg£SUi[TfgcWnÀ[TMca_KSUWiUigVjKSR¡]rfgKkjR¯JUWn@]NRfgJhjgfõlSU[_fcun9R{0fgn hUiaT[TflVjUialcun9lKSaTnjfgnj\[TGjKHa_KSUWlmGUizjfgf[^]&fgR_RTVjKSR'GjflmG,z7KSlcWJK
(123) RTfgJh9KHgfnjK0Uia¢UigWKSzjamUiflblcun9kYf[TfgcWn9R 5>RKSKhja_cWh7cuRTfõ[_fcunLz7Kgc 7y 4 > , hN, M (0)i fgRUDnjK[ N fõ[_G Uinfgnjf[TfUi
(124) JUi2a '@fgnj M (0) NfgWKSn4U ` fõ[_G fn9lfgkjKn9lKJUi[Ta_fõX C 9DU` 0 fnrUia_fgUWn@[fRUWKSl[Tcua x ∈ R RTV9lmG [_G9U[ N Uink x C = 0 ¡UF 0 fnrUia_fgUWn@[efgRÀUWK0ly[_cWa y ∈ R RTV9lmG[_G9U[ y 0 Uin9k Cy = 0 \FHGjK x 0 RTVjhjh7cWaT[\cW¢U` 0EfgnrUia_fgUWnu[ x 5ÂaTK0Rh¯g{©F 0Efgnr³UWaTfUin@[ y 7fR[TG9K,RK[ ||x|| = {p ∈ P | x > 0} 5ÂaTK0Rh¯g{ ||y|| = {t ∈ T | y > 0} KZUWgRTc6kYKnjK#U6F 0 fgn9la_KSUuRK 5 a_KSRTh¯g{¢F 0 kYK0la_KSUuRK 7ÀUuR,UDuKSl[TcWa y ∈ R RV9lmG [_G9U[ y 0 Uin9k 5 a_KSRTh¯{ 7 Cy 0 Cy
(125) 0 44uKSly[_cWa 5 fgnhUiaT[TflVjUiaUinfnrUia_fUin@[ 7fgR¢R_Uifk"[_c&zK > ,f¡Uig@f[_R¢lcWJh7cWnjKSnu[mR¢Uia_Kbh7cuRTfõ[_fuKW{ fE KWg{jfõ y >y 0 4. ( C , > , 5. + 0. + 0. •. •. + 0. i. i. m. T. n. i. j. i. j. n. É æ B¯ÉËì.
(126)
(127) !"
(128) $#. njK[\fR > : !(/ cW[TGjKSanjcYkYKW. "fõ[TG9Ka_K"KXYfgR[_R\UkYfgaTK0ly[TK0kh9U[_G aTcuJ Uinr]#njcYkYKfgn. 2( , ,. 4. H&. . ,(1C,(4G? /5E. P ∪T. [TcKSWKa_]. 476 ,V8B?. nZ[TGjfRHRV9z9RK0ly[_fcun%KÀaTK0lUW©RcuJK\z9UuRflea_KSRTVj[_R
(129) Uiz7cWVY[UiVY[_cWnjcuJcWV9R.5 fE Ku{YVjn@[_fJKSk 7blcWn@[TfgnrVjcWV9R `K[Ta_fnjK[_Re cWgcfgnj )gLW>L + \FHGjK0RKaTK0RV9õ[mRefg'zKV9RTKSkDfgnD[TG9K cWggcfnj{9K0Rh7KSlfgUWg]Z[_GjcuRTK,lmG9UWa 0 Uuly[_Ka_f£Sfnj[TG9K"JUW:a 'rfgnjaTK0UWlmG9UWzjfgf[^]hjaTcuhKSa[^]u eci[_K&[TG9Ui[[TGjK JcrkjKUWn9k[_GjKO @#JcYkYK lSUinzKRTKKSnUuRkYf J7KSaTKSnu[[_fJK0k#KXr[TKnRfgcWn9RHcW[_GjKRTUWJKNV9n9kYKa_g]@fgnjUiVj[TcWn9cWJcWV9R
(130) JcYkYKE nU ` [_GjKe9a_fgnjci¯U&[_a_UWn9RTfõ[_fcun t fRh7cuR_RTfzjgKeVjnkYKa%JUW:a 'rfgnj M fõ M > 0 cWa
(131) Uig p ∈ t '[TG9fgRfR
(132) [TG9KlUWRTKN[TGjK&[_a_UWn9RTfõ[_fcunZJU³]9a_K"U uVUin@[Tf[^] z GjKSaTK j. i. i. ^L. pi ∈ t j. M0. j. 5 7. z ≤ min Mi /P re(pi , tj ). •. FHG9fgR
(133) 9a_fgnj]@fgKkjReUnjKS JUia2'rfn9. •. RTV9lmG#[TG9Ui[. >| G9Ka_K e fgR%U&WKSl[TcuaGjcuRTK j 0>[_GlcuJh7cWn9Kn@[bfRK @V9UWY[Tc 1 G9fgKÀUWjcW[TGjKSa%lcWJhcunjKn@[mRUia_KnrVjE FHG9fgRHfRekYKSnjci[_KSk M → M jUHRTK @VjKnlK¢cir[_a_UWn9Rf[TfgcWnR t · · · t Uia_KaTK0k\ cuaU @V9Uin@[_fõ[^] z · · · z {[_GjKn M → M → KRTU³]e[TG9Ui[JUi2a '@fgnj M fgR¯aTK0UWlmG9UWzjK¢UWn9k&kYKnjcW[TK[_GjfgRzr] M → M ··· → M FHG9KNJUWa:'rfgnj M R_U[_fgR9KSR M = M + Cz GjKa_K M 5 37. M 0 = M + C(zej ). j. (j,z). 0. (j1 ,z1 ). j1. 1. jk. (jk ,zk ). 2. k. k. k. (j2 ,z2 ) 1 (j1 ,z1 )···(jk ,zk ). k. k. k. z=. k X. zi eji. fR\UWKSl[TcuaeGjcuRTK j 0E[TG6lcuJhcunjKn@[\fRe[_GjK,RTVjJ ci[TG9K9a_fn9 @V9Uin@[Tf[^]#UuRTRTcYlfU[_KSk#[TcZ[TamUin9RTfõ[_fcun fn[_GjKRK @VjKn9lKW t 4 ` fR 3, "fUigJUia2'rfn9uRa_KSUulmG9UizjgKN aTcuJ Uia_K"z7cWVjn9kjKSk¡\ci[TK[TG9Ui[\fõbUnjK[\fR M (0) V9n@z7cWV9n9kYKSkf[eJ,V9R[G9U³WK"UF 0 fn9laTK0UWRTKW i=1. j. . Ê jê yî. BB C 1D>E.
(134) L0}.
(135)
(136) /.
(137). ` fgR / ,Àfõ% aTcuJ Uiga_KSUulmG9UizjgKJUia2'rfn9uRS{cunjKlSUinD9nkUZ9aTfgnjRK uV9Kn9lKlcun@[_UifgnjfgnjZUW [_GjK"[_a_UWn9Rf[TfgcWnR ¯fgWKSnjKSR_RcW ` fRea_KJci[_Kg]Za_KU[TK0kfõ[_GDfgWKSnjKSR_RecWkYfgR_la_K[_K"njK[mR 5>RKSK )gLWL>+ cuaJcWa_K&kjK[_UWfR 7y cWn9RTfkYKaH[_GjKlUuRK"kYfRh9gU³]uKSkfgn9WV9aTK"tj 4. p2. p1 1/2. ¤'fgWVja_K"t 94gfuK ` n[TGjfRn9K[S{³z7ci[_G"[TamUin9RTf[TfgcWn9RJU³]À9a_KfgnY9njf[TKS]"cWË[TKn9¡[TGjK ` fRfgWKuec
(138) KuKa©[_GjK%UuRTRTcYlfU[TK0k kjfgR_la_K[_K%njK[fgR¢kjKSUWkjcYl 'WK0k¡ \ci[_K
(139) G9c%KSWKa[TGU[[TGjK n0E[TG9a_fn9ÀcWKSUulmG[_a_UWn9Rf[TfgcWn9a_KSR'gKSR_R'[TG9UWn JUi2a 'rRS (1/2) , , ; ,
(140)
(141) / , $
(142) V !
(143) « b« Â «
(144)
(145) - (N, M ) R(M ) n. ( ,. ,
(146) , . 0. m (R+ 0). 0. \ci[_K,[_G9U[&[TG9fgR&lcunrWKX6RTK[&fgRNnjcW[Uig
(147) U³]YR\UlgcuRTKSkRK[&KSWKSn6GjKnv[TG9K ` fR&zcuVjn9kYK0k¡,FHGjK RTK[ R(M ) ci'[TG9K ` kYfRhjU³]WK0kZfgn9WV9aTK&tfgRHufuKnfn9uVja_KÀp 0. p2 1 1/2. M0 1. p1. '¤ fuVjaTK&p 9FHGjK"RK[eci'UWaTK0UWlmG9UWzjK\9a_fnj@R [%fgRbJUukYKecW7[_GjKeuaTKS][Ta_fUinjuKKXYlKhY[b[TGjKeh7cWfgn@[ (0, 0) {uG9fglmGfRnjcW[ba_KSUWlmGUizjgK 5 cWn9]aTK0UWlmG9UWzjgK VRfgnjUinfnj9njf[TKnrVjJzKSaciaTfgnjuR 7y KKXr[TKSn9k [_GjKkYK9n9fõ[_fcuncW\aTK0UWlmG9UWzjfgf[^] z@] R_U³]rfn9D[TG9Ui[Uig
(148) JUW:a 'rfgnjuRfn [TGjKDUukYGjKa_KnlKZcW Uia_KNaTK0UWlmG9UWzjKu'FHG9fgRlc@RK0kZRTK[fgRkjKnjcW[TKSk R (M ) ¢K&fg¯UiRTcKX@[_Kn9k#[_GjK"kYK9n9f 0 R(M ) 0. ∞. 0. É æ B¯ÉËì.
(149) LuL.
(150) !"
(151) $#. [_fcun6ci%fgWKSnjKSR_R 4 ` fgR / / ,Nf%R[_UWa[_fnjZ aTcuJ Uinr]JUWa:'rfgnjZfgn R (M ) {¡cWnjKlUin69aTK UW©[_GjK&[TamUinRf[TfgcWn9RS FHG9K
(152) n9K[bkYfRh9gU³]uKSkfgn9WV9aTKHtNfgR¢gfgWKHzjVY[njcW[¢fgJ 0EgfuKRfgn9lKHJUia2'rfn9 (0, 0) z7KgcWn9uR'[Tc R (M ) 5>RKSKN9WVja_K&p 7 \njg f 'uKvfgn kYfR_la_K[TKvnjK[mR{À[TG9KR[_Ui[TK K @V9U[_fcunciU njK[cWË[TKSn WfgWK0RZn9KSlK0RTR_Uia_] Uin9k RV
(153) lfKSnu[ lcWn9kjfõ[_fcun9R
(154) cWaa_KSUulmG9Uizjfggfõ[^]UuRRGjcn#fn[_GjK& cWgcfgnjhja_cWh7cuRTfõ[_fcun9RS « b« Â «
(155) !
(156) (
(157) // 2
(158) 3 >C
(159) , ,
(160) , ,
(161) ∞. 0. ∞. .
(162) > ,
(163) >
(164) , . . M = M (0) + Cz. 1.
(165) . n z ∈ (R+ 0). 0. ( /; . M ∈ R∞ (M 0 ) . FHG9KJUWfn a_KSR[Ta_fgl[TfgcWncW%[_GjKhja_KrfgcWV9RNhja_cWh7cuRTfõ[_fcunfR"WfgWKSnzr]6[_GjKaTK @Vjfa_KJKSnu[&[_G9U["[_GjKnjK[ UukYJfõ[mRUhc@Rf[TfgWKF 0 fnrUia_fUin@[S 4%K0U('uKa
(166) zjVY[\JcWa_KNWKn9KamUi©aTK0RV9õ[efR
(167) [TGjK& cugcfgnj9 « b« Â « $
(168) 0
(169) (
(170) // :
(171) C >(3
(172) ,
(173) ,
(174) , ,;, > .
(175). . ,
(176). , 1 , . z. .
(177) (. M = M 0 + Cz. . ,
(178) $
(179) V. !. M0.
(180) 1 / , . ¤'fgn9Uigg]%K"UWgRTcaTK0lUig©cWnjK"a_KSRTVj[H[TG9Ui[efg¡zK"VRK0k#fgn[TGjK"hUih7Ka0 « b« Â «
(181)
(182)
(183) // 2
(184) 3 >C . ;
(185) V( !. . . H&.
(186) , ,
(187) , :. /B6 /21CE. ,(4 ,(? 63,(8. Q. .
(188) C
(189) >
(190) . . . M.
(191). ?, > ,.
(192) (A ,.
(193) (F , , ,
(194) $ > , ,
(195) ,
(196) , , . @ . 6 ,VE. /5*.
(197) F `
(198) 7 fgRUh9UWfa (N, δ) {YGjKSaTK N fgRU ` {jUWn9k δ : P → N { lSUigK0kaTKSK0UWRTK,kYKSgU³]{¡UWR_RTfun9ReUn9cWn rnjK@U[TfgWK&9XrK0k6kYVjamU[_fcun[Tc#KSUWlmGDh9gUulKWNFHGjK,JUWa:'YR[_G9U[ KSn@[TKabhjgUulK p U[[_fJK τ JV9R^[%aTKSJUWfnf[TGjfgn[TG9KehjUWlKH cua%UN[_fJKeuaTK0U[TKSa¢cWa¢K u VUij[_c δ z7K cuaTK [_GjK]#zK0lcuJK"U³UifgUizjgK\ cuaH9a_fnjUWn#cuVY[ThjVj[e[TamUin9RTf[TfgcWn¯ #¦ Y
(199) 2 , , 3 > ?, 0 , > > 1C , /
(200) $ . 4 ?, , > > , . 5. . i. i. >. ?, , . "!#. /
(201) ,
(202) , / ,
(203) , 3, /
(204) ,%$
(205) / 1
(206) ( , ,
(207) ( ,
(208) ,
(209) , , , 0
(210) , / , $ , , Q , /
(211) ,
(212) ,
(213) // ,
(214) , (6 / , ;
(215) , 0 , ('& H ,
(216) ( , , > !
(217) , , , >
(218) / . ( ÉÅY¶>±³·Ç³·^»¾ºèS´'ºmÁ·¢Á>º_¶E²µ¼yʺm»YÊγÌ%¿W·^Á^é³·¹½·^ÁÂè¶>±³²µÊ ò. Ê jê yî. BB C 1D>E. ²µÊÀ¶>±³²µ´¯ÄºmÄi·^Á5P¡¼yÁ*)e¶E±³·¢´EºmÌ·¿èÀÃE±ºmÊ ò ²µÊ ò ¶>±³·¢¶E²µÌ·Î³Ê³² ¶ ä.
(219) L³|.
(220)
(221) /. !. / ( , $(. ! / , .
(222). , , :
(223) / ,
(224) ,
(225)
(226) (// :
(227) (3 >(3 , ,
(228) , , ,
(229) , , , ?,
(230) :
(231) (3 >3
(232) A , , ; , :( , , ( ,
(233)
(234) // :
(235) (3 >3
(236) C . , 2
(237) ( , ,
(238) > / , ;: , ,0Q , / ,
(239) , C , :
(240) C >(3 . * !. HF G9K\JUia2' M (0) UWR_RTfunjKSkzr][TGjKÀfnjf[TfUi7JUia2'rfnj{WfR%UuRTRTVjJKSk[_c,KSnu[_Ka%hjgUulK p U[b[_fJK τ = 0 { G9Kn9lKNf[efg¡z7KU³UifggUWzjK&U[H[_fJK τ = δ ¤jcuaH[TfgJKSknjK[mR{Y
(241) K"kYKn9ci[TKN[_GjK"JUia2'@fgnjci'hjgUulK p Ui[H[TfgJK τ UuR M (τ ) nDU
(242) F ` {9U[_a_UWn9RTfõ[_fcun t JU³]9aTKN cuaeU @V9UWn@[Tf[^] z U[[_fJK τ cunjg]fõ i. i. i. i. i. j. z ≤ min Mi (τ 0 )/P re(pi , tj ) •. ∀τ 0 ∈ [τ − δi , τ ].. ¤'fgaTfgnj t cWaU @V9Uin@[Tf[^] z Ui['[_fJK τ Jcrkjfõ9K0R'[TGjKJUWa:'rfgnjNUuR' cWa[_GjKVjn@[TfgJKSknjK[fgn @V9U[_fcun9R 5E3| 7 FHG9fgR,[TfgJKSk JcYkYKSHUuRTRTVjJKSRUin fnYnjfõ[_KRTKa_WKSaRTKJUin@[_fglSR 9fgn ÂUuly[,[_GjKkYKU³] fgR,[TGjKR_UiJKZnjc JUi[[TKSabGjc4JUinr][Tc3'uKn9RbUia_K\UWl[TV9UWg],hja_KSRTKn@[bfgn[TG9K\hjUWlKWFcJcYkYKS99n9fõ[_K\RKSaTuKabRTKJUWnu[_fglSR{ cunjK&njKK0kjRH[_cUWkjklcun9R[TamUifgnu[mRHfn[_GjKnjK[ez@]UigcfgnjUJUXYfJUW uVUin@[Tf[^]ZcW[_c3'WKSn#fgn6UhjUWlK 5 cWaKXYUWJhjKzr] a_KSl]rlfgnjv[TGjKhjUWlKSRf[TG njKShjUWlKSRlcunu[mUifgnjfgnjUin UWkYK uVU[TKnrVjJ,z7KacW [_3c 'uKn9R 7y FHG9KbKucWgVY[TfgcWn"cWY[TfgJKSkn9K[fgRciË[_Kn,kYK0RTlaTfgz7KSk"fgn"[TKSaTJRciY[_GjK > ! , ciY[_GjKb[_a_UWn9RTfõ[_fcun9R
(243) %KUuRTRTfunD[TcK0UWlmG6[_a_UWn9RTfõ[_fcun t UlcWVjn@[TKSa Z (τ ) [_G9U["a_Khja_KSRTKn@[_R\[TG9KlVjJ,V9gUi[TfgWK @V9Uin@[Tf[^] cW'JUW:a 'YRH9a_KSkzr]Z[TGjK"[_a_UWn9RTfõ[_fcun# a_cWJ [TfgJK 0 [Tc τ {©Uink#f
(244) K"K[ Z = [Z · · · Z ] {9[TGjKSnD[TGjK JUW:a 'rfgnjUi[[TfgJK τ lSUinzKkYK[TKSaTJfgnjKSkzr][TG9KR^[mU[TK&K uVU[TfgcWn 5Ât 7 M (τ ) = M (0) + CZ(τ ). KÀUWaTK\fn@[TKSaTK0R^[_KSkfgn[_fJKSknjK[mR[_G9U[HaTK0UWlmG 5ÂUiË[TKSa
(245) U9njf[TKe[_a_UWn9RTfKSnu[%cWa%UuR]rJhY[_ci[TflUWg] 7U&n9Ui z7KGU³@fgcWa0 ¦ «
(246) # , (N, δ) ,
(247) ; , , , , ,
(248) ,
(249) hKSaTfgcYkYfl\z7KG9U³rfgcWa , , , >
(250) , > Υ
(251) (
(252) , :
(253) ( , λ pi ∈ t j. j. j. j. 1. n. T. . .
(254) 1. τ. 1 , /;/
(255) ! ,
(256) ( 1
(257) // 2
(258) 3 >C. . . tj. ( /. j. Zj (τ + Υ) = Zj (τ ) + λj Υ.. É æ B¯ÉËì.
(259) L0t.
(260) !"
(261) $#. .
(262) // 1
(263) (// /
(264) , . ( /. pi. Mi (τ + Υ) = Mi (τ ),. DR[Ta_cWnju]h7Ka_fgcrkjfgl*, /Z , R[_Ui[TfgcWn9UWaT]z7KG9U³rfgcWa ,
(265) , 2
(266) ! ,. , , ,
(267) ("
(268) // ,. , , < ,
(269) ,
(270). =$ , 1
(271) // :
(272) (3 >(3 . !? , . tj. /. D%K0U('r]ZhKSaTfgcYkYfgl .
(273) // ,. > !2
(274) , . ,
(275) .
(276) /
(277) ,. Zj (τ ) = λj < +∞. τ $
(278) V ! ,
(279) ,
(280) / . lim. τ →∞. .
(281) //
(282) (/Z ,
(283) , :
(284) ! , ( /
(285) (// /
(286) , . 1. pi. lim. Rτ 0. Mi (%)d% < +∞, τ , / , . DR[Ta_cWnju]R[_Ui[TfgcWn9UWaT] τ →∞. , , ,
(287) ("
(288) // ,.
(289) , !. , = , . D
(290) KSU('rg]R^[mU[_fcun9Uia_] .
(291) (// ,. \ci[_KÀ[_G9U[\UR[_Ui[TfgcWn9UWaT]z7KG9U³rfgcWaHfReUWKn9KamUigf£0U[TfgcWn#ciUh7Ka_fgcrkjfgl&z7KG9U³rfgcWa0 ¤'fgn9Uigg]%K&JU('uKN[TGjK& cugcfn9cuzr@fgcWVR%cuz9RTKa_³Ui[TfgcWn¯ ,
(292) « b« Â « ,
(293)
(294) ; , , (N, δ) . lim.
(295) (. /, . !
(296). C. . , , 3, , ;
(297) > . ,
(298) . . !. . !. , $,
(299) . λ.
(300) . . > !:
(301) . ,. τ →∞. . ,
(302) >
(303)
(304) . , .
(305) . . Z(τ ) = λ. τ. N. , 1 .
(306) . Cλ ≥ 0 . ,
(307) . , , ,
(308) ,
(309) / >=
(310) ((
(311) , , Cλ 0 > : !(/ >
(312)
(313) ,
(314)
(315) >
(316) , λ Cλ = 0 .
(317) [TG9KnjK[a_KSUulmGjKSR&UR^[mU[_fcun9Uia_]DzKSG9U³rfcuaS{¯[TGjKSnv a_cWJ [TGjKZR[_Ui[TKK @V9Ui[TfgcWn Â5 t 7N%KG9U³uK [_G9U[ cuaeUig¡hjUWlK0R p >:" . i. lim. τ →∞. Ê jê yî. BB C 1D>E. Mi (τ ) Z(τ ) = C(pi , ·) lim = C(pi , ·)λ. τ →∞ τ τ.
(318) LSp.
(319)
(320) /. U 7;4\R_RTVjJKW{zr]4lcWn@[TamUWkjfgl[TfgcWn¯{
(321) [TGU[Z[_GjKa_K6KXrfR[_Rh9gUulK {r[TG9Ui[efgRlK0Uia_]Znjci[h7cuR_RfgzjgKW lim M (τ ) < 0 z 7¯K[ p zKUhjUWlK"RV9lmG#[TGU[ C(p , ·)λ > 0 ¢FHGjKn τ →∞. pi. RVlmG [TG9Ui[. C(pi , ·)λ < 0.
(322). FHGjKn. i. i. i. Mi (τ ) >0 τ →∞ τ lim. =⇒. lim Mi (τ ) = +∞. =⇒. τ →∞. UWn9k#V9Rfgnj[TG9K"aTVjgK"ci' ecuhjf[_Ui. lim. τ →∞. Z. τ. Mi (%)d% = +∞ 0. . lim. H& . ) . 0. τ →∞. l 7H¤jcugceR% aTcuJz 7y */B6 /21CE. Rτ. Mi (%)d% = lim Mi (τ ) = +∞. τ →∞ τ. ,V4",(? 63,(8963,(E. /5*. # @ . YF ÀO fReU Vjnly[TfgcWn ρ : P × T −→ [0, 1] RVlmG[TG9Ui[ P re(p, t) = 0 =⇒ Âf> KWg{ ρ(p, t) > 0 cWnjg]#f t ∈ p 7UWn9kDRTV9lmG[TG9Ui[e cWaNUig p ∈ P 9 P ρ(p, t) = 1 ρ(p, t) = 0 {W[_GjKnU" amUWl[TfgcWn ρ ci¡[TG9KÀJUia2'Kn@[TKSaTfgnj,h9gUulK p fR
(323) aTK0RKSaTuKSkcWnjg] cWa%[TGjK ρ(p , t ) = ρ > 0 aTfgnjcWfõ[mR\cuVY[ThjVj[\[TamUinRf[TfgcWn t UWn9kDlUWnjnjci[ÀzK yV9RTKSQk À[TcZKSn9Uiz9K,UWn9k9a_K,UWn@]ci[_GjKaÀcWVY[_hjVY[ [_a_UWn9RTfõ[_fcun¯"FHG@VR{¡U @YF 4ÀO RTcWgWK0RÀUWlcunY9fly[_RÀ[_G9U[&JU³]UWaTfRTK,fgn6[TG9Kn9K[&fõ[_GvU#hjaTK0UWR_RfgWn9KSk 9XrK0kZh7cWgfl]W nD;U @YF 4\O 0 ` 5ÂVjn@[TfgJK0k 7
(324) [_GjK&9a_fnjK uVU[TfgcWn 5^L 7%fgRJcYkYf9KSkfgn@[Tc 4.
(325)
(326) 2 ! 5@ 4 7 5. •. t∈T. i. j. i,j. i,j. i. j. z ≤ min ρi,j Mi /P re(pi , tj ). • pi ∈ t j. ÀRfgnjv[TGjK[_a_UWn9Rf[TfgcWnR9a_fgnjlcWVjn@[_KamR. Yk KSR_la_fgzK0k fgn [_GjKhjaTKSrfcuV9RRTVjz9RTKSl[TfgcWn9RUWn9k UuR 0 RTfgWnjfgnj [Tc KSUWlmG hjUWlK p U lcuVjn@[TKa H (τ ) [TG9Ui[ZaTKShja_KSRTKn@[[TGjK uVUin@[Tf[^] cW&JUWa:'YR[_G9U[G9UWR KSn@[TKa_KSkZ[TG9K"hjgUulKN a_cWJ [_fJK 0 [Tc τ 5 fgn9lgV9kYfgnj[TG9K"fnjf[TfUiJUWa:'rfgnj 7{r[TGjK"KSWcuVY[_fcun#cW'U[TfgJKSk @jF4ÀO 0
(327) F ` lSUinzK"a_f[[TKSnDUW"R 9 5 p 7 ρ H (τ − δ ) Z (τ ) ≤ min ∀t ∈ T P re(p , t ) X 5>3q 7 H (τ ) = M (0) + P ost(p , t )Z (τ ) ∀p ∈ P. i. Zj (τ ) i. i,j. j. i. i. i. j. pi ∈ • t j. i. i. j. i. j. j. i. t j ∈ • pi. É æ B¯ÉËì.
(328) L³q.
(329) !"
(330) $#. ÀRfn[_GjK WKSnjKamUiNlUWRTKvkjfgR_lV9R_RTKSkfgn hja_KrfgcWV9R#RV9z9RK0ly[_fcun¯{e[_GjKvJUWa:'rfgnj U[[TfgJK τ lUin zK kjK[TKSaTJfgnjKSk#zr][_GjKR^[mU[_KNK @V9U[_fcun5>t?7y FHG9K,KucWgVY[TfgcWn[_G9U[&lcuaTa_KSRThcun9kjRH[_c#lmGjcrc@Rfgnj[_GjK,K uVUigfõ[^]fgnD[TGjK @V9U[_fcun65 p<7efggz7KlSUigK0k
(331)
(332) 2 5>UWR¯RTcrcWn"UWR¯hc@RTRTfz9K 7©zK0lUWV9RK¢f[lcWa_aTK0Rh7cWn9k9R7[TcH9a_fn9eUH[TamUin9RTf[TfgcWn"UWR¯RTcrcWn&UWR©[_GjKVjfgkN[_G9U[ GUWRNKn@[TKSaTK0kD[_GjKfn9hjVY["hjUWlK0RNzK0lcWJK0R"U³³UWfUiz9K, cWaN[TGjKaTfgnj9FHGjKlcWa_a_KSRThcun9kYfgnj#lcWVjn@[TKSa_R UWaTK&kYKSnjci[_KSk Z = [Z · · · Z ] FHG9KÀ[_fJK0kWKamRTfcunZci'hja_cWh7cuRTfõ[_fcun|fRHWfgWKnz7Kgc" > N Q
(333) ;
(334) > ,
(335) >
(336) ( 3 > ?,
(337) « b« Â « C > 3,
(338) ;
(339) V( !
(340) (C (/ !; , 2(3 > 3, ,
(341)
(342) , * M = M (0) + Cz δ , , , >
(343) $ , /; , !
(344)
(345) , (/ . , 2 , . , = (N, δ) τ Z(τ ) = ,
(346) (
(347) 4. asap 1. asap. asap T n. . τ. . Z(τ ) = z . M (τ ) = M. ]UuRTRTVjJhY[TfgcWn$4L 5ÂRTKKHa_KJUia2'q37'Uig@[TamUin9RTf[TfgcWn9RlUWnz7K
(348) 9a_KSk¡ \RTfnj&hja_cWh7cuRTf[TfgcWn|j{%K 'rnjc[_G9U[N[TG9Ka_KKXrfR[_R&UZRTK @VjKSn9lK RTV9lmG6[_G9U[ M (0) → M → (j , z ), · · · (j , z ), · · · M ··· → M ]#
(349) UWfõ[_fnjgcWn9KnjcuVjWG 5ÂkYKShKSn9kYfgnjZcun[TGjKUWVjK"cW δ 7y{UWJUW:a 'YRh9aTK0RKSnu[eUi[e[TfgJK 0 zK0lcWJK U³UWfUizjgKW{UWgcfgnj t [Tcv9a_K#U @V9Uin@[Tf[^] z wÀn9lK#JUi2a 'rfn9 M fRaTK0UWlmGjK0k¡{¢cWn9KZnjKSKSkjR[Tc HUif[Tfgnj RTcWJK6JcuaTK[TfgJKvVjn@[TfgNUWNJUi2a 'YRfgn M z7KSlcWJKvU³UifgUizjgKWFHGjKSn t JU³] aTKU @V9UWn@[Tf[^] z UWn9kRc cua[_G¯ eci[_K&[TG9Ui[[TGjfRKSWcWgVY[_fcunZfRnjci[njK0lK0RTR_Uia_fg]
(350)
(351) >:" . 1. (j1 ,z1 ). 1. k. k. 1. (j2 ,z2 ). (jk ,zk )···. 2. 1. j1. 1. 1. j2. 2. KUia_KZfgnu[_Ka_KSR[TK0kfn 9n9kYfgnjcWVY[fÀU
(352) F ` aTK0UWlmGjK0RU%K0U('R[_U[_fcun9Uia_]zKSG9U³rfcuaS{fE Ku{bU lcWn9kjfõ[_fcunfn G9fglmG[_GjKZJK0UinnrVjJ,z7KaciH9a_fgnj6cieK0UWlmG [_a_UWn9Rf[TfgcWn t h7Ka,[TfgJKZVjnjf[aTK0UWlmGjK0R UuR]rJhY[_ci[TflUWg]Ulcun9R^[mUin@[UigVjK39 j. λj = lim. τ →∞. Z(τ ) . τ. HF G9K\cWn9]$'rnjcna_KSRTVjõ[Hlcun9lKSaTnjfgnj"[_GjKNKXYfgR[TKSn9lKÀciUR^[mU[TfgcWnUia_],z7KG9U³rfgcWa cua @jF4ÀO 0
(353) F ` fRHWfgWKSn#fgn[TGjK& cugcfgnj,[_GjKcuaTKSJ
(354) ¦r« ¦
(355) > : !(/ , 1 ,
(356) (
(357)
(358) > ,
(359) >
(360) ( . .
(361) (
(362) , ,3, /
(363) , ,
(364) , >
(365) , . Ê jê yî. BB C 1D>E. . . . C // , / . limτ →∞ Zjasap (τ )/τ.
(366) L.
(367)
(368) /.
(369). t3. t1. ÂU. α1. 5 7. [ρ3 ] p1 [ρ4 ]. α2. t4. t2 t1. z. 5 7. t3. p31. α1 ρ 3 α2 ρ 3 α1 ρ 4 α2 ρ 4. p41. t2. t4. ¤'fgWVja_Kq 9 >5 U?7 4 hjUWlK&f[TGDlcunY9fly[ 5 z 7%[_a_UWn9R cWa_JUi[TfgcWnZ[TcRTcWgWKÀ[TGjKlcWnY9fly[V9RTfgnjU;@YF4ÀO" H&. >=",
(370) I(/5476. ? 6 1C= 8 63=1 I(I. 8;:<4 ,(8 6 13/2/. 4/26. \nr]
(371) F ` (N, δ) Gjc@RK"lcWnY9fly[mReUia_K"RcuuKSkV9RTfn9U @jF4ÀO ρ lUWn#z7K"[_a_UWn9R^ cuaTJK0kZfgn@[TcUin K @VjfUWKSnu[ > 2
(372) // ( 1 , ,,njK[5 ) t+ 7 (N , δ) {¢fE KWg{U6njK[fgn GjflmG KSUulmGhjUWlK#G9UWRU[ Jc@R^[bcunjKecuVY[ThjVj[b[TamUinRf[TfgcWn¯ bUulmGhjgUulK p fgn[TGjKÀcWa_fufnUijnjK[%fRbRThjgfõ[
(373) fn@[Tc h hjUWlKSR p , · · · , p 5ÂGjKa_K fRH[TG9K,Rfg£K"cW 7y%FHG9KnrVjJ,z7KaecW'h9gUulKSRefn fRekYKn9ci[TK0k m 4eg¯[_GjKhjUWlKSR p h p (N , δ) GU³WK&[TG9K,RTUWJKGjcWkYfgnj[_fJK,UuR[TG9KcWa_fufnUi¯hjUWlK p 9 δ = δ {9 cua\Uig 1 ≤ k ≤ h eFHGjKfgnjfõ[_fgUW JUW:a 'rfgnjfgn6hjUWlK p fR M (0) = ρ(p , t )M (0) ÀFHGjKnjK h9aTK0RK[ÀUin9k6hc@R^[mRK[NUia_K,RTV9lmGD[_G9U[ { Uink P re(p , t ) = 0 fõ P ost(p , t ) = P ost(p , t ) × ρ(p , t ) P re(p , t ) = P re(p , t ) 4en#KXjUiJhjgK\cWRVlmGZU,lcWn9R[Ta_V9ly[_fcunfgR
(374) RTGjcnfnZ9WV9aTKÀqGjKa_Ke[_GjK\a_cWVj[Tfgnj,lcrK
(375) lfKSn@[_R j 6= k UWaTK&kYfRh9gU³]uKSk#zK[^%KSKnzja_Uul 'WK[_R%[Tcz7KkYfgR[TfgnjuVjfgRTGjK0kZ a_cWJ[TGjK"
(376) KfgWG@[_RHcW[_GjKUiamlRS hN, δ, M (0), ρi
(377) ,
(378) , 3, , > :
(379) // « b« Â « , 4. .
(380). 1 i. i. h i k i. • i. i. u. i. i. i. u. i. k. k. i. k i. k. i. k i. k. . . i. k. k i. k i. k i. j. . (
(381) 1 , ,
(382) , %, $
(383) (/ , , 1// !A , C , 1
(384) // hN , δ, M (0)i τ ;
(385)
(386) / , , =1
(387) /;
(388) ;
(389) / , , =1. Z(τ ). N. Z(τ ). ∈ R+ N. É æ B¯ÉËì.
(390) L.
(391) !"
(392) $#. HF G9K"hjaTcrcWfRz9UWRTKSk#cWn#[TG9KKucWgVY[TfgcWnK @V9Ui[TfgcWn9RHcW Z(τ ) bKkYKnjcW[TK"zr] Z Uin9k H [_GjK lcWVjn@[_KabuKSl[TcWamRcW¯[TG9KÀnjK[ N ÀRfgnj,[TGjKNhja_KrfcuV9Rn9ci[_Ui[TfgcWn9RS{@cWnjKNG9UWRb cWaHUig[TamUin9RTfõ[_fcun t Uink UW'hjUWlK p { δ = δ Uin9k P ost(p , t ) = P ost(p , t ) × ρ(p , t ) fJhjg][TG9Ui[ H (τ − δ ) = %wÀn[TGjK"cW[TGjKSaG9Uin9k¯{ ρ = 1 ¢FHGjKSaTK cWa_KW{ Z(τ ) = Z(τ ) ρ(p , t )H (τ − δ ) >:" . j. k. i. i. k. i. i. k i. i. k. j. i. j. i. k. i. i. k i,j. i. HF G9fgRJK0Uin9RH[_G9U[[_GjK"hja_cWh7KaT[TfgKSRcW'gfgWKn9KSR_R{Yz7cWVjnkYKSkYn9KSR_ReUia_KN[TGjK,R_UiJKN cWa\zcW[TGDnjK[_RS 8DcWa_K10 cuKa0{f N fgR&R[Ta_cWnju]DlcWnjnjK0ly[_KSkUWn9kD[_GjK @YF 4\O lcrK
(393) lfgKn@[mRNUWaTKUighc@Rf[TfgWKu{©[TGjKSn N fgR&UiRTc R[Ta_cWn9Wg]lcWn9njKSl[TKSk¯ 4
(394) [[_GjfRhcufn@[0{jcWnjK&JU³]njcW[TflKN[TGU[e
(395) K&lcWVjkG9U³WK&lcun9RTfgkYKSaTK0k#UJcWa_K&WKSnjKamUi©a_cWVY[_fnj{YGjflmG [m(U 'uKSRHfgnu[_cUWlSlcWV9nu[[_GjKcuaTfgWfgn#cW[_GjKJUi2a 'YR nDhjgUulK p {j[_GjKa_cWVY[_fn9lcrK
(396) lfgKn@[[Tc[TamUin9RTfõ[_fcun lcWVjkUiRTc kYKh7KnkcWn [_GjKcWa_fufn 5>U[TamUinRf[TfgcWn t ∈ p 7ci"[_GjKvJUW:a 'YRS{ekYKnjcW[TK0k t ∈ p n [_GjKZlcunY9fly:[ 0> a_KKnjK[S{'[TG9fgR,JK0Uin9R"[TG9Ui[[TGjKZ%KSfuGu[z7KSlcWJKS"R 9 P ost(p , t ) = ρ(t , p , t ) n[_GjK
(397) cWgcfgnj{0
(398) Kbfgg 'WKKSh"[TG9K%a_cWVY[_fn9\fgn9kYKh7KnkYKn@[¢cij[_GjK
Documents relatifs
If the temperature of the collapse increases due to an increase in the specific heat ratio (for example by lower initial concentrations of the chlorinated compound) the ratio
If a reproducible evolution of the refraction index with temperature and degree of conversion could be available, an absolute value of the degree of conversion would be
À partir du moment où la montagne Pelée se réveille, temps au bout duquel une grande éruption peut se reproduire (d’après la population interrogée
Contanto, é importante ressaltar que as cultivares ‘Salustiana’, ‘Pera’ IAC, ‘Pera’ “Jetibá”, são mais propícias para suco, podendo a ‘Salustiana’
Si l’examen du lien qui unit langue et identité trouve dans la première approche une résonnance due au fait que tout sujet parlant construit son identité par le biais de sa
Ainda segundo os autores, outro ponto importante a ser levado em consideração no combate à disseminação seria o rastreamento, por parte dos órgãos competentes, a partir
En vertu du principe frégéen de compositionnalité qui règle dans les linguistiques formelles les rapports entre syntaxe et sémantique, la composition syntaxique est
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des