Network Abstractions for Context-Aware Mobile Computing

Testo completo

(1)Network Abstractions for Context-Aware Mobile Computing Gruia-Catalin Roman, Christine Julien, and Qingfeng Huang Department of Computer Science Washington University Saint Louis, MO 63130 roman, julien, qingfeng @cs.wustl.edu ABSTRACT.

(2)

(3) !"!#$&%'(&

(4)

(5) !) *,+-. %/ +!0!1-23 #34 5#6-/#6

(6) 7 8 ! #01-9*/:! #:+; %'=< !: 8 2 &%'">/"? < 1

(7) (<@

(8) A%/>&%.1A%#B0!1 0> CA: 0ED F < !/#G HI0!/"J % # 0>!/ #: # *IK& % L: = *

(9) M'/1 >N3O

(10) =PQ/ , %RB#J

(11) =*ST # # ! =*> 01-U=<!0V+0! J I %/ J;

(12) ?>XW #6 !YP D "D>P

(13) /!=( >J+''* AV* %ZP/%-#!=0Z0> !YP[

(14) DB\%/!#] ; L

(15) /0> #O

(16) ^B K >/".!_ % # L >/"23]* %/

(17) ^ H#C

(18) #!#6 !".3B L #$+!0! ?%/#6 #` %'(G!/ L&

(19) ]A! %8 =L%8 %

(20) ]/; /!#6 >0!01-8<>?&/#! ]A1

(21) 0! ##$>

(22)

(23) /

(24) !/#DAa_ C

(25) *. % G

(26) A K

(27) '## / ##]3b. 1 `

(28) >"% +; % *KA1 %!5 %/ C*R%`/

(29) H;D8cd34 K0+/#6&

(30) L%&

(31)

(32) !)= !U3A %!#G

(33) d;

(34) #;

(35)

(36) !<@ K>#O/ ;# =*[D,\% #/0!:!#J#;

(37) 1M'=( >e

(38) % * '*9##> =*e

(39) OK!

(40) /

(41) 0EDI\% 3f

(42)

(43) '+/0! #_0!!=( >_ 2*/ LM' ?_!'*!<>*'0!!) =*I

(44) =P $ %B L

(45) '*/#

(46) ##B01 !0! ]+!0! $%/#6 #B!K % `*5%/ /

(47) H;D\% 0>(

(48) GKH@

(49) #`1C;##!+0! ? .*/ 0! " %/ / ! #A <0!'( !83g % G

(50) $'*. %/ O; L3f K G3 ;

(51) & !#Kh! I# J>*/*/0!

(52) B( J; L& !"I+; 0!(i %/ /0>!=( !90! <@ 0ED.\%!#C 0!! <@ #:/0!!= !e* <@ 0! C3 %/ ]+0!!"@( >53j L //0!>

(53) ! 01-K'"!"G+!0!!^-'*?1 #!0!1 !/#]. % `

(54) ;/ =k #B+; %'=< !=D. 1.. INTRODUCTION. \ %/ l/+>W1-$3/+/>0! m// !"A* < ! #n; #Y % m#

(55) =k #

(56) !"K < ! Q .?&>*/01-8&%'/"!"K 0>*8A%/

(57) . %/ ? L H2 ;0!"-PZG % :%-#>0g/ L >#G+;

(58) ^ %/#6 #!K % Q

(59) ^ H[P :#6l+; $#6& 01-?

(60) // =*[Dmo34 J:#6?*/1 #+; %=<! ! #01-e!U #;# . %/ CL%/"!"?

(61)

(62) =D

(63) 2/ !/",M/ #6K= . , % .34

(64) 3V 5> %/ ] 01-Jp=qqr k #lA! % %/ Q! *//

(65) !K3Y#K0>0EP +!0! ]? // !"s*/ < ! #DXt/! >0]! <@ #6 !"@( !#R(5u$0>!<@ L QvQ # =( L% w +I*,x]

(66) = F cQvQy0>>*8 % G3f/'*/ !,3fC %/ * <@ 0!/

(67) Q3 G

(68) $

(69)

(70) ^= O#3VB( DGu$0!!<@

(71) Ek #CcQ

(72) . .. !<@ z*/" `{ | pL}/# #n!/3V& =*O:!=( !G+;

(73) O+'*/"

(74) # s+-8# L #G'*,# # #G0> *I!_R+!0>*/!/"5 .1 (<@ b3[ % B# L #l!&*

(75) m `3f&*? 0! /%/ A=0!0!#l % A/#

(76) =k #0!= !ZD F c]vQ]k # F cQvQ\n+#6-#6 i{ |r(}~P 0! =# =* !p=qq P`0>#9/# #R>34&( =*S:/> !h+;

(77) S/#

(78) #k '0! 9* < >

(79) #O'*s*/ #H s//

(80) #DKt:/# #G0!= ! !/34 K !J 0!0!=0!!=( >#Q *//A %/ C#

(81) =k #A < 1

(82) =D.c]/0!!= !#:*/ <@

(83) 0>; =*I34 F cQvQ\n+_; L3f L >< 1 ! #l&">/"C34 #!01-:/ # !"C!3f K( ! ` % # L`+;/]%!#A ]0!=( !8 K&&%!/"KM'0! G*/1

(84) : 3fQ/# G#Q+0>LH +;@(&*.+-K#

(85) #Q!5 %/ $ JD g

(86) Z L ^B( m/0!> !/#n#

(87) <@ m#Y j">*/ # +-K/ #

(88) !/"!/34 K !J+;/B %/ $# L=k #B

(89) / B < 1 =Dml-+;

(90) ">*/ Q34 $

(91) ">?\Z L%I{1p

(92) }~P''*5$$t^C_34 % B]!<@

(93) #1^-:3 w =#6

(94) ]{ =};( Q L 0! #b3;$#&%?#6-#6 #D$n! 0>* HJ 0!#?{1p}l/ K !=0>01-,(&&%,

(95)

(96) '0 !/34 K !ZP/ D "/D!P0!=( !2'*R ! P : #&H@

(97) 5+-RO L # =( L%/

(98) G!, %/ :M'

(99) 0V*[D

(100) -8V*#{1p((}m &*I/ #G+;/ % $/ A

(101) B %'Q!"%A0> L]+; C/#

(102) 3f/0Y : % `/#

(103) =D tO % 0>(

(104) lqrk #P3V&

(105) H #g+!01b `#/;b %/ B*/

(106) <@ 0! ]3l

(107) ^B /0!!= !/#`+; "8 R+; */ < 0!; =*[D c]"K % :+; #6GH =AI#6-#6 #C!#O$ ">2\j &%Zk #O L \j0>H 1G{1p=q(}PA%!&%5/# #BR+

(108) A >

(109) *5/ &%R O# &( O %/ G# #!"P["@( %

(110) !"PZ'*J!

(111)

(112) & !23l %/ G

(113) '0Z!3f K( !.34Q =&%J/#

(114) =D &%_3Q %/ ? HI 2*/ #6 !

(115) #1 #O# 3]

(116)

(117) '0 !/34 K !S{ }m J/0!-,!/34 K( >s %'(G=s+; ?/! =* */1 L 0!-X+-h %/ ,%/#6R /!"_ %/ ,#34^B Du$/ 8=T =#6 !01-2!K"!/ K#1 ' !8A%/

(118) ?+!0! :/#

(119) `%#`8>

(120)

(121) #6 O01-I!_

(122) 0g!/3f K !9

(123) 0!0!

(124) =*_+-,%!#G+/>0! /1=P+K0!#_+-e %

(125) K/1 #P < h/1 #? %'(K .R*1

(126) 01-./

(127) *YD +!0! :/1 #A>J %/ G

(128) ^ HR+; G' 3A %

(129) :%#6 #kn

(130) #DJc]**/1 !0!01-Pn % ?^-; ?3A

(131) '0!/3f K !=<>0>+0! Q#

(132) #b'*O/0!!= !/#g%'#j+; 3A0!!1 =*s-; #D.

(133) /0! Pj %/ "/V* 0!#?*

(134) M'/

(135) ]#6 >L 0!-J#Q % G#

(136) =k #Q0!= !YPZ'*J#6Q

(137) ^B. #6-#6 #`( +/!01`;8#>!0> 01-2 !">*8#6

(138) #DG

(139) B( C/0!!= !/##%0>*K%'=<@ A % ]+!0!1-? :*/ LM' Q!'*>< >* '0!>)

(140) =*X L #A#/L%h*/ LM'1 !/#K-e

(141) '*e+;

(142) -'*e/ K<!#!T3C L R'*XK-e/ =*h _!/0!'*/ Js >&% K0!"@K( !J3b3E

(143)

(144) #]3b % `

(145) < 1 / =Dgc]./0!!= ! !#/L%? < 1 / n#%0>*+; ; L ! *G `#//0!-O$*/

(146) 3V !1 !I3B1 #G*/

(147) #! *I L =j#+/# =W `;

(148) & !#G!## =* +-I %/ ./0>!=( !90>*9+; R; L3f *_01-s>9 %/ R#/+#

(149) 3 % /

(150) H2# ( >#63V->/"J % /0!> !Yk #O*

(151) M'/! !ZD\%/!# =W1 # L%/>##G3f/ !/"8h/0!> !*

(152) M'/ =* L A %QK-5!/0!'*/ G*!#6&Q%#6 #A =L%+0! G/01-.!'*1.

(153)

(154)

(155) 01-5 % "%J2*.%/` >/" 0~D u$K Hh#6& #K34 %/ 8/ !# J %'(5*/ <@

(156) 0> K3 +!0! Q/0!> !/#=?+; A#>/0!!M =*:+-0!0!=A>/"O*/ <@

(157) 0>;

(158) # 5#; 134-IK

(159) C#;

(160) 1M' K % 1O0!!=( >s/ =*/#`'* +-_*// !"82/ !93]

(161)

(162) : %:

(163) '*#C I9 1. &%'+/0! #

(164) G3B/ !"% +; !/"J%#6 #DK\%

(165) # = &%s!##

(166) #G ;# ]!? %/>#m';

(167) ** ##+; %#; 1M' !R*?!0! &( !X

(168)

(169)

(170) #? 0>( >/"I I

(171) K*

(172) M'/! !X'*eK!

(173) / DXn! #6K!#? %/ JW #6 !h3`%= ,3E!0>1&( I23f K0 #;

(174) 1M'=( >N3G L =PA 2 %'(R>#R"

(175)

(176) &0~ P ' L /!+/0> PQ'* '+0! 23fJ# 8!N*S%/I# L >/"#D\%/ I#0> !TK/# 0!0$ * #K!X % 2*X%2/

(177) He _;! #K!SS+#6&

(178) :01 1^*/! #!'0/#' $'**

(179) M'/ #l

(180)

(181) #l %/ ]#

(182) l3j0!0 #/L%R;! #A%# C*/!#6& $3V %/ `;!B3j

(183) 34

(184)

(185) EED D>P %$*/ / !" %/ O%/#6]=-!" %/ :/0>!=( !,3m! L #6 * #K

(186) =*e# .+;*_ %'KUL%" . %/ "% %/ $0!13f

(187) ! `3j %/ `/0!!= !ZDga_ QA>0!0[#%=T %AO/+;

(188) 3`/#

(189) 3f/0B

(190) #?=h+; .*/

(191) M =*_!e %!#?K L=DUo

(192) '* !#` %/ !## ?3+; !/"J+/0! 5K! &!, %/ #; 1M =*,

(193)

(194) '*: C-:/l; L& !/#l!=Db\% B/ 0/ # =*:> %/!#$';

(195) `+/!0>*/#Q;2V* =#]34 ,* K*J*J%/O / !/"+/A

(196) #6 /

(197) #Q*.*-!=0!01-5K!&!#A C(<@ LQ #/+/

(198) B3j !"%+; !"%/#6 #B'*K0!>/H #A%# ` !+ #/ !+// R % *

(199) M'/! !s3B5"!<@

(200) s L =Pj#C =W/! *I+_0!!=( >_s5 !0>(G+!0! ?%/#6=DK

(201) G# #1 !<@ G;

(202) & !/#$( G= ! =*2A %/ /"%2?

(203) ;

(204) &( >< : [ ! <@0>< !"01-R%#6 #B %']( C'Q3g"!<@

(205) J

(206) =D \%/ K'; L!# "@!) =*e#O3f0>0!=A#D_o

(207) !U|2 (<>* #O J*

(208) &!0! =*h +/0>

(209) */

(210) M1 !YDSo

(211) !Xs*>#

(212) ## #? %/ +#6&

(213) !#A =W1 =*K

(214) G

(215) A#; 1M'=( !ZDo

(216) !U2 # #?J 0 %'( #O'*_K! &!#: #;

(217) 1M' =*.

(218)

(219) =Dlo L >. : (<>* #B# C*!###!.3n %/ 0Z340!0!( =*2+-K/0!#!/#]!8o

(220) !. D 2.. PROBLEM DEFINITION. c *`%m+/>0! m

(221) ^ H#ZK-$&!:K-$%/#6 #n'*C0!!H # ] A1 %S<-!"I/ ;

(222) ! #DN\%

(223) # 2%#6 #R'*h0!!H #K'*U %/ 1 ;

(224) ! #*/

(225) M ? %/ R

(226)

(227) G3f?9!'*!<>*'0m%#6!_ %/ /

(228) H;D\%/ +; %=<!G3As* !<@ /0!!= !I /!" ye%/#65! y*S%, L HS* ; '*#5T %!#5

(229) !/ //#0!-_L%"!",

(230) =DsciK=6*

(231) [ L 5+;

(232) e @&%8*./

(233) <!#A H5!2

(234) ^B G >/"!# %/ :+ =* %83l/`*/

(235) M1 !83l L =DCu$/$"@0!#C>/0!'* + @*/ />/"I %/ . L (<!0>+/0! J _I%/#6 ,!0!'* J 01-e %# J/ ;

(236) ! # %'KX+; 5 =# =*X*1

(237) 01-U+ -9 %/#6=P/+A0!#/ ;

(238) ! #B3n % LB =&%'+0! C%#6 #]'*K/ / L >

(239) #$3m0!!H #`/"? % J D $= <

(240) $ %/>#Q%'#Q %/ G; >0 e" = 01-N!

(241) # 8 % I/53

(242)

(243) '0$!/34 K ! =<!0>+/0> P$'*e %

(244)

(245) 34 ,X/0!!= !S //>/"sTs%#6 #%//0V*R#; 134-R % ]/

(246) ># C

(247)

(248) %'(A! L #6 #B1A+'# *5 %/ $ ;

(249) ! #A3j%#6 #A'*K0!!H #B!R %/ $ L H;Dm\% C0!1 !9#%/0>*_0!#2#; 134-s.+;/'*8 %':*

(250) M'/ #` % ?#!) K3 %/ B

(251) m1&%# #g C;

(252) &( Q!YDgl

(253) //0! P*?%/ /

(254) H_X8%!"% -9!"% L

(255) '*_3f% '* =*/#O <@ %//# '*#G3A!0! #DJc * !<@

(256) O!9. !0>(=(=Pg%=

(257) <@

(258) =P K-+; Q!

(259) #6 *K01-?!"##6&( >#A1 %/>?M<@ A!0>

(260) #Dmz

(261) # B A! `/ (< >*/ +; %$K Ln3f/0!!= !? #;

(262) 134-5! #B

(263)

(264) Q*.: 0Y %A #B*5K> &!# % ]

(265) A&*/!" O %!##;

(266) !M= !ZP $/ =*R 0!0>=U %

(267)

(268) b#; 1M= !: $ K!:#g"

(269)

(270) &0' *

(271) !+/0> #`;##!+0! :A%/>0! ?

(272) #/ !/"K %/ O34 =#!+/>0!1-I'*2 ! /

(273) 3b % ` 0Z * -'!=0!0!-R ] % C

(274)

(275) =D t^C#K(-P gB Z ] (<>* lO/0!> !G /!"A. `'( !0>l%#6=P%

(276)

(277) 34 %=0!0> * % B

(278) 3f L P@ % A+!0!!^ 3f K0!01-8#; 134-, L ] %'(`#'#$R#/+#

(279) $3m % :* %m L H$!G

(280) !#6 ljB"!<@ C ! Djc]+/#6&

(281) 01-P(/ g= < !

(282) N % `

(283) Q#Q#+/

(284) Q( /'*R %/ $

(285) 34

(286)

(287) C%#6]'* % m/ ;

(288) ! #j3/ %j#+/

(289) =k #j;/ # E%/#6 #b'*`0!!H # LD t.#6Q=#

(290) #Q %/ # G/ ; L >

(291) #QA!0!0j/]+; C01-R %# O3b % & %&* B R+O0!#8/ ;

(292) ! #?##> =*_A1 %9%#6 #: 0!!H #A+ -R< 1 `3n % `/0!> !/#] % L-K#;=D \%/ "%j %/ l*!###!O3 %/ l

(293) j#;

(294) !M= !'* % :/ 0g %'(G&%! <@

(295) #`1=PZ A!0>0b

(296) 34

(297) G R %/ :340!0!(A!/" # !/D,c3E!01-Ie.

(298) ##-I<= !_/0V*I0>!H@ !/34 K !+;/g % 1g g < ! =Dj\%'(l!#P@A%/!0> * !< !"P@ %

(299) -G0>*?0!!H@ C+; B#6& 01- A3; %/ B;! # 3[!

(300) #6m!? %

(301) !m/ =m< !!1-DZaT% : % B&%!0>* A% / "-K %/ ]=(A */#"#P % L-?0>*R0!!H@ A W/>&H 01-*/!#(<@ L #6&/& #?"@##6& !/# =( +-D9\% 5

(302) : %

(303) -_A!0!0 ; L& 8T!#5*/

(304) M =*h#K % 2M'<@ .>0! #5 *h % JDc]# G+/!0>*R % C

(305)

(306) A#; 1M' !,*R %/ C/

(307) 0EP' À!0!0 !'*> B%=e =L%:! /0V*O+; B&%! < =*O34g %!#b# !/D 3. CONTEXT SPECIFICATION. b

(308) '*/!/". % R=<!0V+!0!1-93]

(309)

(310) '0!/34 K !U+; L -'*O]%#6=k #m! =*> #

(311) ; =W/!

(312) #g?+#6&

(313) !?3' % L H5 ;0!"-8*J! #Q/ ;

(314) ! #D]cQ3V

(315) $#;

(316) 134-!"K# #6&! #`!

(317) 0>*/!"K % :/0!!= !Zk #G#; 1M'*/

(318) M1 !83 */!#6& C'*ROK( >:0!0!=B+0! O*/!#6&/ P/5/0!!= ! K % A

(319) 34

(320)

(321) $%#60>*K0>!H@ $:W0!134-!"O0>!#6B3b=W'! &/ #B ?+; C"

(322) &( =*YDl\%Q!# $>< S,%#6= P PB!SS*U%J/

(323) H;PA'*U ;#1 !<@ K<0>/ P .PbM'*I %/ #

(324) 3Q0!0%/#6 #P ZP #&%, %G0>0m%#6 #C! ( =&%'+0! ?34 P '*$34g0!0@%#6 #P mP!! P= % m#6j3 % g#% #6 ' %R34 " I # _!#A0! ##Q %$ .D \j2+/!0>*I %!#G0!>#6: ?M/ #6:#6O*/ LM' ?J#%

(325) #6 %9'* JB-s 8*

(326)

(327) ! %/ #63Q#&%e2' %YD,#6 #?*/

(328) !<@ 34 W' 1M'+0! $#;

(329) #A3j % Q

(330) 3f L $%#6=k #A L =Dnt -, L H;Pb+; %I%#6 #O'*I %/ ?0!>/H #O+; L

(331) s %

(332) %'=<@ W' 1M'+0! !+ #n %'(g [ Lg>:K-G*

(333) [ L nB-#n % /!= !,!I %/ L H;D?a_ +#6&

(334) G % # / ; L ! #b+-`+/>/!"A % lW 1M' =*C ;

(335) ! #n3'/ */ #jA1 %G % W' 1M =*I ;

(336) ! #O3B %/ ?0!>/H #O+; L

(337) _ % 8&%! <@ 8#>/"0! . !"%?3f =L%U0!>/H_!U %/ 5/

(338) H;DecQh/0>!=( !8%'#Q %/ C34 =*i K#; 134-JA%/!L%2 ;

(339) ! #$*/

(340) M C %

(341) >"% #O3B0!!H #DRcd#!0! ? L 0! 3A5 !"%G!#G34O =L% 0!!H? G%'=<@ $G !"%B3Z/ Dm\%!#A!0!0Y0!0!(N/# O/ l % :+;

(342) 3n/

(343) H%#+; L

(344) RÔ * #B!R %/ ]/

(345) H;D u$

(346) K. !"%%'#O+; _*/

(347) M =*_'*s0!0>( =*_3f: =L% 0!!H8!, %/ ?

(348) ^ H[PZ.

(349) #6C3f/

(350) !s#; 1M =*I+-J %/ /0!1 =( >5R+; ] <0! =*(<@

(351) l % # Q !"% # :*/ L

(352) ! B % #653Cs !/0V(K'( %X!U %/ J L H;DN ! !", % L H8%,G

(353) //0> PY %/ ?#6C3f/

(354) !_#;

(355) 1M' =*,+ % ]/0!!= !R0>*+; A % Q#3Y % B !"% #3Y % A0!>/H # 0!",2' %YD,z =# K %

(356) >"%?3Q =L%e0!!HI>#:/ Pb % :+;

(357) g3[%/#b3V % A# A3; %/ B' %: ` %'m/ */ A*/ L

(358) !

(359) # % C#6$(A %'A/ */ Dmt^J: =0Z/

(360) H;P/%= <

(361) =P /01 >/0! O %/#$K-J

(362) !#6`+; L

(363) 2R"!<@

(364) ,/ */ #D`\%

(365) L 3f R RA!0!0+/!0>*9. R =*9: %

(366) 34

(367)

(368) 5%/#6O %' A!0!0!0!'* K01-, % 0!= #6#6:'( %s 2 =L%9/ */ !_ % L H;Dja_ mA!0>0 # 0V(

(369) g!O %/!#n#

(370) !*O!G % m

(371) n#

(372)

(373) !J %Q %!#] O'*. % G %#A;#!"K1]%'=<@ G# <@

(374) &0 ! 5/ ;

(375) ! # %'( 5A!0!0A&H@ 5*/<&" R3]>U+/!0V*!" *5K>&>/!" %/ $ D.

(376) zl =/# K! 5

(377) #6 >L: %/ ?#; K3A9/0>!=( !Zk #

(378)

(379) =P$0!0>( >/"U %/ 80>= #62#6. 9 <@ L-S * I!S %/ /

(380) H`!#n/Z =#'+/0! Dg\jQ0!>1Z % m

(381) Z#; 1M'=( !ZP . =W1 R % J/0>!=( !h I#; 134-h8+;/'*_3f51 #?

(382) #6 34/

(383) !Z D $ * #: 2A%/>&%9 % K#6!#0! ## %_ % R+;/'* ( C!0!'* =*5!. %/ ` L =Dm/B % C%/5/ A L 0! P/

(384) 1 K L O#;

(385) !M= !9>"%:+; ?B 1 e# ?0!0 * # A%/!L%JJ+; $ &% =*.!.34

(386) LQ %.M<@ $%//#D as 5A!0!0]#6&(?A1 %h %/>#+;*UU %/ .

(387) ?#; 1M= !T*U He+'&HB(&*/#PQ*/!## L >/"s % 5 2+/>01 I# 3V A%

(388) R =L%e#6 e*

(389) !<@ #D2a_ A!0!0B/ (< >*/ 3f K0*

(390) #L > !#G3 % !"% #Pn

(391) #6C3f/

(392) !ZPb'*8+;/'*23fG %/

(393) #6K3f/

(394) !YDN\%/ "% % # J*/ #

(395) ! >#PB JA>0!0A

(396) < !#1B % ]%RB

(397) //0! `#AG 0;3fA*/

(398) #6&'*/!/"O %/ *

(399) M'/1 >#Dàs OA!0!0g0!#5> * O O/0!

(400) 2'*J =01 !#6 !K

(401) //0>

(402) #G J*/ #6& : % ;=

(403) *I"

(404) &0!!^-_3 %/ // &%ZDcB` =&%s;>=PY A!0!0l0!#J

(405) 0>>,%= %/ #;

(406) 1M'=( >8/0!! #Q O % `3f!01-5< !J#

(407) '( >D 3.1 Ensuring Boundedness. as RA!0!0A# .0>(

(408) %=iX*9%./

(409) H_U+; R

(410) #

(411) *5#BO"&/%ZP gA1 %R !"% =*R =*/" #Dba_ AA!0>0 L = K =*s(GR

(412) 34

(413) / ? * : %C!

(414) 0>*/ #C01 %/ 2#% #6. %/#K3V % J L3f

(415) / 8 * 8 s =&%T %/

(416) &%'+/0! * !2 % O

(417) ^ H[DG$>< 2 %!#] O /

(418) # & !h'*_ % K#%/ #6' %/#Pg R=U*/ LM' K2+;'*[DIc]/ */ #2348A%!&% % s#6,3 % _#%/ #6,'( %!#8" =(

(419) % %/ B+;/'*( Am!

(420) 0>*/ =*:>: % B#

(421) l3Y=W'!&/ #D cQ"@>YP@!: %/ /

(422) HG%:b

(423) /0! P%#6 #n %g( M'<@ Q C%#AB-. C/Q!0!'* =*YD \%/ <=( !!/"Q3f!01-G0!#$#;

(424) 1M' #bA+;/'*Ò %/ 1n/ L =DAt3g %

(425) -J G/

(426) 01-J* !< >/"? %/ "% !/ #&PY #

(427) #A!.a9#%!" JD T*/Q!

(428) #6A %

(429) JDm\%

(430)

(431) 34 P %/

(432) -J #6 !

(433) ] % 1C

(434)

(435) ] R+; O01-2 %

(436) $:/> !" / */ #A!. %/ `< >

(437) >/1-P#; 1M'0!01-PA1 %!.M<@ `!0! #D 3 4 2. 3 5. 1. D=6. 3. 0 1. 4 4. 6. 5 2. 3. 2. 3.2 The Minimum Cost Path. tK % ]

(438) B#

(439)

(440) !ZP ]A>0!0Y# $ %=P"!<@ .5/0!!= ! #; 1M =*5#6A3f/

(441) !YP/ `=.*/

(442) L >/ ] %/ `#6Q3g: % +;

(443) ^ ,J"!<@ I * #DK\% 0!0>( >93 %/ #6O3A '( %Z,P EP >"!' !/" %/ Q L3f

(444) / `/ */ P P !# # =* G # F CE!LD8têU +/1&-9"&%YPg%=

(445) <@

(446) =Pm/0! !/0> K %# K-K

(447) !#6B34 : * P P ?/ %/

(448) A * P lP/ =&%5A1 %. ##

(449) V( =*8#6=D]$ =L%83b % # O * #P mP' =&%'+0! G34 P 3' %/ # '( %#b!#b % l#%

(450) #6l %YDja_ =0!0 % 0! /" % 3b %/!#B' I % H LDl\%'(Q>#P3f`0!0Z %#P E34 _ # lP H ! XW F CE!. JLK7MONQPLR R+SUTONJLV J&Y. 7 1. 7. $ ! %'G %/>#G+;'*I>#O# L3f0m/01-_13B % <0! 3B % #6?3A %/ R#%/ #6:'( %9!##6 !

(451) 01-_!L =#!"I#G % K %

(452) */#bB-C3V %/ l

(453) 34

(454)

(455) * Db\%g!#P13/ :+;

(456) % 8/ */ #RN_ 2 % 163p 0| )4+4+45767)4+4+4+78%9K*T*/ #!" 8 % <0! 83O % 8#6J3:/ */: 6?< # ;3=PA % ;>=@?A;>=CB%D=D \%/!# "&

(457) #] %$?'

(458) ]!J % C G!#`0!-/#Q ;0>"!=0>010!# L. s %/ 8 5 %S1 #RL%/!0V* ZPAED D!PA %'(5 %/ 2#653 % K %_ J % K :>#01B-#0! ##O %'_ % K#6: J % &%!0>*YDOt^3l %

(459) #6G3R %,!, %/ : ?#6 !

(460) 01-8!L =# #O# % `*/!#6&/ `34 % $

(461) 34

(462) / G */ $" =A#P %/ C/0!!= ! =? /34 Q] ;0!"!=0;#6&>m(<@

(463) g % B# &%?#' A+ #; 13V-/!/"? % `+;'*[P .P/(<@

(464) A % $<0>/ P ;YP

(465) / / =*5+-K % #6B3f/

(466) !YDm\% $0!= LA0>

(467) <@ 0[=R#6 R/ '"@ !/" L +/!0V*!".

(468) ## "

(469) #C

(470) ?1C =&% #OR */ :, % ? %8 %' %'#A?*/!#6& E

(471) #6 " =(

(472) A %'$ .DmtK % $' !/0>Q=# #%=A2!2n!" pP'

(473)

(474) A+/>0>*>/" ## " #] C0!" L / '"@ *G lA */ bA1 %OB#6b" = Ln %'! A!#Y =&% =*[D $3f '( 01-PQT*S%8 L HX* #./R0!Hh0>!H@ , #% #6A'( %R

(475) $A1 %5 % ]#6A3n =L%5'( %50>+;

(476) 0> *5R % * DbtÔ %/ l3f0!0>=A!"G# L >ZP A!0!0#%/(e%/=9 $+/!0V*G % #% #6A'( %5 P/"!<@ 5 %/ `#6A3b!'*!<>*'0[ %#Dm\%/ JA!0!0`*!###K%= _0!0>( 8 %/ J#653Gs">< X % +;

(477) ^ ^G * #!RC"&/%K#!":K0!!=( >5#;

(478) 1M' =* #6R34/

(479) !ZDTn>0!01-P 5A>0!0]> * R % J/

(480) HU+ #6&L >5 %B0!0>=A#A#l O #

(481)

(482) '0;>3f K ! 34 % C*.%`/

(483) H5#B

(484) >"% #]. =*" #Q!5 %!#A"&%YD. \ % L O!#]?#% #6$ %.

(485) PZGP#/!"? %/ C"&/%J / L # !"` %/ ]*?%Q

(486) ^ H[P =*Km % B

(487) 34

(488) / ]/ */ P D Q0!0Z/ */ #P mP>R %!# P %/ $'( %53V s s![ZN%'# #6\ H LD. 5 3. 6. 2 5. 2. 3. 5. 0 1. 6. 1. 4. 3. 4 2. 4 6. 2. 5 3. 5. n !"/ `p#%/=A#A *?g % l#%'*/ =*G

(489) 3f

(490)

(491) B/ */ P lDg\% !"% #l % 0>!/H#g=?+; B# *O ` %

(492) #6 3Y$"!<@

(493) ?'( %ZP@#%/=A?!#>*/ A =L%?/ */ D L%/>##b34#6 #!"!"R % # O !"% #G'*8=0!/0V( !"5 %/ #6G3m % :' %/# A!0!0b+; :*/!### *J>80> L`#

(494) !#D$\%!#$ !0>(C

(495) //0> #%/=A#A:#% #6B %K ]A%/# `#63f/

(496) !.#!01-#/# %/ : !"% #Cs5'( %ZD:n!" .p?0!#J#%=A#` % :+;/'*YP .P !*/!= *K+-: % ]*#%/ =*?0!! D ] */ #l>/#>*/ ] %/ Q*#%/ =*1 0! ( G'A3g%#6 lk #]W !&/ C0!>#6=P ZPA%/!0> C/ */ #A/ #>* % *#%/ =*I

(497) !

(498) 0> ? C'(C3 %!#`0!!#6'*2A!0>0m +; C!/0!'*/ *5!2W

(499) ! #B(<@ L jD. 5. 2. 4. 10.

(500) !#"#$%&$(')!*+,'+*.-#/*+(*+0. 7 1. 7. 2 9. 5 3 5. 10.

(501) []^\__`! Oa3/`"0*cb!edf/"#$@')!*+,'+*X-/*)@*+0 n!" R|R#%=A#C % # ?#%/ #6O'( %I ?#On!"/ JpD \ %!# ! Pl%= <@

(502) =Pm % R+;/'*9!#?1 =*[P'*_ % R"&% 34 A%/>&%8 % G O#C"

(503) &( =*8>#$#%=A8>,1 #$ 1

(504) ^-D \% K#

(505) :3A/ */ #O!#:>* >0l J %O!en!"/ 2pPg+/G/=.

(506) ?0!!H #O'*8 % 1C !"% #O !0!*/ =*[DK\% 0!!H #`34 n!"/ 8pR R*( H@ *Yb %

(507) # 5( % 0!!H #O3V % K"&% %mKH O % #%/ #6m %:

(508) Dg\%"%: % "&/%?/ &!#C/01 >/0! : %#]34 % G

(509) 3f

(510)

(511) ?/ */ O . =L%, %/

(512) / */ P %/ ] ]>/0!'* #B/0!- %/ ]#%/ #6A %K : &%5/ */ D 3.3 The Path Cost Function. \%/ C/ < !/#A#

(513) !/#Q#%/=y %Q13n C2*

(514) M'/ $ % `

(515) #6 3b <@ L-'( %5!JO"&%ZP `=5// A % ]#%

(516) #6A' %

(517) DIas 59 % e**92+;/'*_e %/ K' %e#6 8"

(518) / L& K.#

(519) O3A=W!&

(520) #C3f:5 L3f

(521) / * D5$!<@ s 0!"!=0]< > L 3`S*U%/./

(522) H;P LP!eA%!L% &%_ =*/" ?%'#OR

(523) >"%=Pj / =*8 J##!"e5#6O3V %/ L3f

(524) / * P PY J -2 &%'+/0! ? * P Dc] /0>!=( !X /!/",U %/ 5

(525) 34

(526) / J * J#; 1M #K,

(527) #6 34/

(528) !8/ (< >*/!"!#6 /

(529) !/#$ ? % O0!(

(530) `0>-

(531) $8=0>

(532) / 0>( >/"s % R#6K3C,"!<@ U'( %h!e % 50>"!=0$ L H;P D c '( %ZQP E 1 > ,D)% 39Q>*/!=( #$ % :'( %, !"!'( >/" (` % C

(533) 34

(534) / %/#6=P P;&(<

(535) #!"K * # D % "% B%D '*s

(536) ! !", DIc]#:8#%/ %'*[Pb R! * %/ /&( >Z P E

(537) , J!'*!= ? %/ ?! 3B % ? %YP EPY34 P/A%/

(538) >#Q/ C3n %/ C * #A. %/ `'( %ZDm$#!": %!# /&( >ZP E ED $!<@

(539) 8K %2! :P; % C ;0!">0g#6$3g % G %J34 %/ :

(540) 34

(541) / / */ P PY 5K%#6=P PY=I+; */

(542) M =*.

(543) / #!<@

(544) 0!-s#!"2 %/ ' %9

(545) #6O3f/

(546) !Y P

(547) Pg#; 1M =*_+-I %/ L3f

(548) / %/#6=k #`/0>!=( !ZD`\% O#6$3g % O'( %J34 %/ L3f

(549) / $%/#6=P P G */ O0>":C' !/0>B %ZP E P !#

(550) / # =*8+: - F CE LD\%/ #!<@ <0! !, .*

(551)

(552) !/ $ %!#A<0! `!# F CE F CE B%D c BD 6p . F 71 9 Tr w i-1,i. | νk. νi =Cost ( νi-1 , w i-1,i ). ν i-1 ν0 = 0.

(553) !^_% e,a %>') #"@a3!'+*%$ #"#a3*+ !" n!"/ ,s#%=A#K % .

(554) / #!<@ 8#6R34/

(555) !ZD\% JM". #%/=A#` %'$ %

(556) #6G3^PjO*/!#6&/ : Pj%/#6 = PY

(557) / # =* + - ;>=P #/0! #n3V %/ <0!'( !3' % /0!!= !#; 1M' =*

(558) #6Q3f/

(559) !J(<@ LB % $ !"%$3b =*" &=CB%D ='*K % `#6$3P ]*/!#6&/ ` /P%#6 = BD D \%/ `3E>01-52<=( !.0>*.0!!H@ C % $' %.#6Q3f/

(560) ! O '

(561)

(562) B % `/%-/#!=0Y*/!#6&/ $34 % 1BA %

(563) A? :/> !"] */

(564) #Dna_ A!0!0#

(565) Ag %

(566) '*:3; %!#b#

(567) !?%= BK %/ K !=0>01-:*/ LM' ]#6m34/

(568) ! C0!!#%: %!#D tC!#C :/0>!=( =*2 %',1`M #6C; #C+; =# ?3 %/ W /1 % %/ $#6B3nO %R+; $#6 !

(569) 01-K!

(570) #!"# %/ :+;

(571) j3;%#n3V %/

(572) 3f L " =A#Dba_ */$ (<>* ^? %

(573) Q#6A3f/

(574) !/#Q%/

(575) D as lM/ #6j < !#1b % m

(576) ^ HC%/O/n

(577) //0! DbcQ##!" %/ l !"%g3']0!!HC!#b/ P %/!#b

(578) /0! m!

(579) '*/#Z %'j %

(580) #6 3Y`'( %?+; % B :+;

(581) b3[%/#m0!/"` %'m %ZDb\%

(582)

(583) 34 P %/ A##>( =*?#6m3f/

(584) !?#%0>*:+; A**/1 !<@ Dnt: %/!#m# P. F CE F CE BD (') BD . aT%/>0! C/#

(585) 3f/0~P % C%JQ

(586) /0! `!#]?+1A #!0!!#6 !D $

(587) ` O! *// G#

(588) '*5

(589) /0! ` %B CA!0!0j=( %/ "%_ % K

(590) 0> !/#Ds]#!"8+''*A>* %e#?2 =#/. 3#6G#%//0V*,!'*/!=( : %GR' %8 %'(`&=<@

(591) # #GR0!>/H23 0!=

(592) :+''*A>* %s#6 #:. E~D D!Pn&H@ #G0!/"

(593) O J# *I % # K*/& ] %'_.'( %IA1 %_%!"%

(594) O+''* AV* %s0!!H #DR %!#:

(595) /0! K 83f 7 2 % K =W1 G %'( % R#6 3]J %_#6 !

(596) 01-_!/

(597) =#

(598) #?#O % K*>#6& 3V % ?

(599) 34

(600) / ?%#6C" =A#Pn KH@ : %/ #!0!134-!".## !8 %' % K+'* A>* %9*

(601) =# ##O % K :+;

(602) G3Q%#O!

(603) =# #D c % 2 *h3` %!#K#

(604) !S JA!0>0]#%= _ &%'/!# 3f

(605) */ !"8J#634L >93B %/>#G-; ?A1 %/O % # ##// !/#D,c]##/ ? %'O % !"%?eJ0>!/Hs!#: %/ R! <@

(606) # O3m % O+''* AV* %Z[0!=

(607) G+*A>* %20!!H #`%(< O%/!"% L

(608) >"% #D\%/ : =#/>/".+; %/!'*J %!#] !"%O##!" $A!0!0 +; G

(609) 0>!/ =*J0>

(610) =D]z # G % G#6`3m %/ G' %2#%//0V*. L '

(611)

(612) ? % 50!( #6K+''* AV* %e

(613) =*ee %'('( %ZPm % #6:34L >I34.'( >

(614) 0>: * >*/!=( #C % !!/ +''* AV* %ZPQ%/>"% #6A !"%=P'. % ` %YDgt5 %/!#Q# P F CE TK( F CE B%Dc B%D \% m#6n3 %/ m %C34 y %/ b

(615) 3f

(616)

(617) l */ b A =L%C =L% +/0! ? * =s+; ?*

(618) M'/ =*8#!"R %!#`'( %I

(619) #6C3f/

(620) !ZD:t 20>

(621) :#

(622) !YPg KA>0!0#

(623) RA%O % !"% #:_ %/ R */"

(624) # =s'*8%= %

(625) -,( */ L >< =*83V %/ ;

(626) ! #G3l % *5%G

(627) ^ H[Dz

(628) 34 G C=8*/

(629) M $ !"% #P;%/( <@

(630) =P

(631) =*h _KX % J/%-/#!=0`*X%2/

(632) He eT+#6&L #' PZK"&/%ZDG\%/ : !"% #$A!0!0g %/ ,0!0!= #$ RW' 13V % G

(633) 34

(634)

(635) * k #$

(636) =P["!< >/"K#] %/ :0!"!=0g/

(637) H;P :P/<

(638) AA%!L%R % C#6A3f/

(639) !J%#A+; .*/

(640) M =*[D 3.4 The Physical Network. \j5+; "!_K!/"53 % *s%

(641) ^ H2 2_+#6&L #' P` ,

(642) / # J %/ I

(643) 1 ,

(644) ^ HT#2e"&%YP LPmA%

(645) 5+/>0! R%#6 # JK; =*s ?Pl %/ 5"&%Yk # <@

(646) !

(647) #Pg*, % /

(648) !#Pb:

(649) /!=( >s0!!H #Pn+; L J%/#6 #] GK/; =*R [ ?P % C"&%Yk #$ =*" #Dt. %/ G* %C/

(650) H;P'

(651) <@

(652) -R%#6$'*.0!!HR%'#Q !+ #Q %B O! *O $340>*?! $`#!"0! !"%? =L%: =*/" B>/l+#6&L "&%YDb\j]*/B %!#P( mK` %/ l%/#6n'*C0!!HC( !+/

(653) #Z B % +/#6&

(654) g# m /

(655) # =*O+-` %/ "&% :P+ -`0>!/"$<0! # . <@

(656) -R<@

(657) L .'*. */" Dn1 #6=P GW' 134-K %/ C/ ; L >

(658) # 3K+!0! O%#6C#CK<0! +P *,=8 %/ :<

(659)

(660) , >= d / L # !"? %/ `+/>0! G%#6Q>5 % C"&%YDB K0!01--P * 0/.10OD \% .<0>/ .2 3 *,=`=h+; 28+! !U3Ì%#6=k #+' L;=

(661) =P0!= !YP'0!@*YP#

(662) < >

(663) G(<!0>+/!0>1^-P'

(664) D o

(665) *YP GW' !3V-K % ` ;

(666) ! #A3mO

(667) ^ H50!!HR#Q <0! -P 3 = 4 J % G =*"5 & = 4 d # !"? %/ O */" O!J % "&%YD9 K0!01-6P 3 7.98$D9\%/ 5<0!/ 5 3 3 = 4.=e+; . +! !53b % $0>!/H[k #A0! " %ZP %/ "%/=P/ L D. 3.5 Logical View of the Network. ` [

(668) ]/ ;

(669) ! #$3l %/ O/%-/#!=0n L H.K-5>

(670)

(671) #6 */ [

(672)

(673) R/0>!=( !#D z

(674) =/# , &%S/0!!= !T>*/!< >*// 0!01-_#;

(675) 1M' #OA%!L%9 ;

(676) ! #O3Q%/#6 #:'*I0>!/H#G 2# K! 1 #5

(677)

(678) R#; 1M'=( !ZP] =L%N0!!=( >T%'#51 #R(AT!

(679)

(680) & !h3` %/ J%-#!=0A/

(681) H;DTm&%X!

(682) / L& ! 3l % O/ ;

(683) ! #C3l % O'*

(684) 01->/"K%-#>0b L HJ / L # #A0!"!=0Z<!

(685) N3V % $;

(686) #;

(687) !<@ `3n % ]

(688) #;'* !"2/0>!=( !ZDas */

(689) #>"'( K90!!=( >Zk #O0>"!=0 L H G [34 =*`3V %/ l !"!'0K/>/"/3P :Db\%/!# !#$ % O0!">0m

(690) ^ H.8A%!L%2 %/ #6`3f/

(691) !2#C+/!0!.

(692) D=10. 8 B. 5 A 0 α. D=(10,2). 11 C. 5,0. 8,0. A. B. 11,0 C. 0,0. 11 D. α. 8 E. 11,1 D 11,2. E. . f v(Pk ) = 0. . {. ( | fv (Pk-1 ).V + wk-1,k |, fv0(Pk-1 ).maxC, fv0(Pk-1 ).V + wk-1,k , 0) 0 (fv0(Pk-1 ).maxD , max ( fv0(Pk-1 ).maxD , c+1), fv0(Pk-1 ).V + wk-1,k , c+1). if | fv0(Pk-1 ).V + wk-1,k | > fv (Pk-1 ). maxD 0 otherwise. . "!$# &%&"' ( ')!*+ "!$# &%&"' -,. %/0 (21.

(693) . ; <>=&?4@BA C2DFEHGJI)KL=MCNDF=PO>Q2=R@TS UVA<>WYXO>@BA SZX7[A7CNO+O>Q2=

(694) S2A4\ =]XS"\.EB@BS2^.

(695) y z]. ; <>A ;=_<FO>@B=&DYO>Aa`_<>=&XO>=X-O>A7;A EBA b7@T`&X7Edc \N@BDOeX7SN`&= fg[=_Ohg=&=&S0=/XìQ ;2X7@H<jAUM`_A S2SN=&`_O>=/\kSNA4\N=&D@TSkO>QN=ZEBA7b @B`/X7E

(696) SN=_OhgA7<>^l mIknAo\NA O>QN@BD&lNhg=p`_A Wd[N@BS2=MO>QN=rqJC"X7SJO>@Hs"`&XO>@BA SNDRAUtS2A4\ =;N<>A7;=_<FO>@B=&DRX7S"\ EB@BS2^3; <>A ;=_<FO>@B=&D]@TSJO>Ajh$=_@Tb7QJO>DA S=/\Nb7=&Du@BS. mdIrv]@B?w=&S-X7S=/\ b = l. x6y zp{3|}U:<>A W~O>QN=]A7<>@Bb7@TS2X7EWYX7;2;N@BS2bNl2mlNX7S2\ZO>QN=MOhgAdSNA4\N=&D

(697) @HO `_A S2SN=&`_O>D&l4 y> z. {.lwO>Q2=Ph$=_@Tb7QJO>DgA7UO>Q2=$Oh$ArS2A4\ =&D&lJ y XS"\d z. X6<>=M`_A Wd[N@BS2=/\h

(698) @HO>Q.O>QN=$h$=&@Bb QJOgA7UO>Q2=P=/\ b = l7 y z4lw<>=&DFCNEHO>@TSNbr@TS.X DF@BSNb EB=Ph$=&@Bb QJO/l y z A SpO>Q2=$=/\ b = x y z . A3Q2A7DO. 7yp{. {. |@BSO>QN=gEBA b7@B`/X7E"SN=_OhgA7<>Î. @BSLO>Q2=YEBA b7@T`&X7EPS2=iOh$A<>^-Q2X7DXh$=&@Bb QJO/INA7<F. WYXEBEBGJlJO>QN@BDg;N<>A6=_`_O>@BA S8U:<>A WO>QN=M;NQJGNDF@B`/XE"h$A<>E:\jO>ArO>Q2=R? @H<FO>C2X7E A7S2=`/XS[=]<>=&; <>=&DF=&SJO>=/\XD& . J}. + y 7z y z7i. ¡. D\N@BDF`&CNDFDF=/\lO>QN=. hg=&@Bb QJOr@BSoO>QN@BDu=_¢NX7Wj;NET=p`/XS-[=Wj=/X7DFC <>=/\oDF@BWj;NEBG[4G;2ETX7`&@BSNb Xuhg=&@Bb QJOPA7UA7S2=RA SY=&?w=_<FGd=/\Nb7= I+£A7<>=