QoS-Oriented Distributed Opportunistic Scheduling for Wireless Networks with Hybrid Links

Size: px
Start display at page:

Download "QoS-Oriented Distributed Opportunistic Scheduling for Wireless Networks with Hybrid Links"

Transcription

1 Globecom Wirele Neworking Sympoium QoS-Oriened Diribued Opporuniic Scheduling for Wirele Nework wih Hybrid Link Wenguang Mao, Shanhan Wu, and Xudong Wang UM-SJU Join Iniue, Shanghai Jiao ong Univeriy, Shanghai, China {maowenguang1987, wuhanhan, wxudong}@ju.edu.cn Abrac In hi paper opporuniic cheduling i udied for a wirele nework wih hybrid link ha have differen characeriic and qualiy of ervice (QoS) requiremen. More pecifically, we conider wo ype of link coexiing in a nework: 1) ecure link for criical meage demanding phyical layer ecuriy; 2) regular link for oher meage. Since he ranmiion rae of a ecure link i uually much lower han ha of a regular link, fair haring of he ranmiion opporuniy beween wo ype of link ha ome drawback: 1) if ecure link generae more packe, he nework hroughpu i low; 2) if regular link generae more packe, QoS of ecure link may no be aified. o effecively chedule ranmiion in a nework wih hybrid link, a QoS-oriened diribued opporuniic cheduling cheme i developed o maximize he overall yem hroughpu under he conrain of QoS requiremen of ecure link. I i derived baed on he opimal opping heory. Performance reul how ha QoS of ecure link can be gracefully guaraneed wihou necearily compromiing he overall hroughpu of hybrid link. I. INRODUCION I i common ha wirele link in he ame nework have heerogeneou characeriic uch a ranmiion rae and QoS requiremen. Such link are called hybrid link in hi paper. One facor leading o link heerogeneiy i differen applicaion-pecific requiremen for differen link. For example, a wirele nework may adop phyical layer ecuriy o enure perfec ecrecy [1] in ome link (called ecure link). Since perfec ecrecy come a he co of degrading channel capaciy [2]-[3], ecure link have much lower ranmiion rae a compared wih oher link (called regular link). Due o ecuriy concern, hee link may alo demand ringen QoS guaranee. Packe ranmiion in a nework wih hybrid link can be conduced in wo differen way: 1) following a random acce medium acce conrol (MAC) proocol; 2) baed on a cheduling cheme. he former approach i imple and eay o implemen, bu lead o low hroughpu. hu, he laer approach i neceary for improving hroughpu. Among exiing cheduling cheme, opporuniic cheduling i conidered a he mo effecive oluion o exploi differen ranmiion rae o improve overall yem hroughpu [4][5]. he key idea of hee cheme are he ame: given a ranmiion he reearch work i uppored by Naional Naural Science Foundaion of China (NSFC) No , he Miniry of Educaion (MOE) Program for New Cenury Excellen alen, and Orienal Scholar Program of Shanghai Municipal Educaion Commiion. he auhor would like o hank hee ponor for heir generou uppor. opporuniy, if a link wih he highe ranmiion rae i eleced, maximum hroughpu can be achieved. However, hee cheme require he knowledge of inananeou channel qualiie of ome/all link in he nework, which i demanding in many communicaion yem. Hence hee cheme are difficul o implemen. A diribued opporuniic cheduling i propoed in [6] which ha meri of boh approache: 1) i i baed on random acce mechanim and hence eay o implemen; 2) i exploi he idea of opporuniic cheduling and hence ignificanly improve he yem hroughpu. However, hi cheme canno guaranee QoS requiremen for a pecific ype of link and a he ame ime maximize he overall hroughpu: 1) nework cenric delay conrain in [6] i applied o all link inead of one pecific ype of link; 2) if individual delay conrain for each link are applied, uercenric oluion i adoped in [6] and he overall hroughpu i no maximized. In order o rea hybrid link eparaely and alo uppor QoS requiremen of a pecific ype of link, a new diribued opporuniic cheduling cheme i propoed in hi paper. I i developed baed on he opimal opping heory and conidering wo ype of link: ecure link and regular link. Compared wih exiing opporuniic cheduling cheme, he new cheduling cheme i diinc wih following feaure: 1) he overall yem hroughpu i maximized under variou QoS conrain for a pecific link ype (e.g., ecure link); 2) i can be implemened a a double-hrehold cheduling policy, i.e., one hrehold for each link ype, and hen a link ake i ranmiion opporuniy baed on hi hrehold. Simulaion are carried ou o evaluae he new opporuniic cheduling cheme. Performance reul how ha QoS of ecure link can be gracefully guaraneed wihou ignificanly compromiing he overall yem hroughpu. he re of he paper i organized a follow. he yem model for our opporuniic cheduling i explained in Secion II. he QoS-oriened opporuniic cheduling cheme i derived in Secion III. Performance reul are preened in Secion IV. he paper i concluded in Secion V. II. SYSEM MODEL In hi paper, we focu on an ad hoc nework where node can hear each oher. Moreover, we conider he following wo ype of link beween communicaion node: 1) ecure link for ranmiing criical meage wih phyical layer ecuriy; 2) regular link for oher meage. We aume ha each /13/$ IEEE 4524

2 Globecom Wirele Neworking Sympoium Fig. 1. An example of he channel conenion proce node ha he capabiliy of loed random acce wih carrier ening and can collec he informaion of rae diribuion and channel conenion probabiliie of oher node. When a node uccefully conend he channel, inead of proceeding o packe ranmiion direcly, i need o deec curren channel qualiy and follow a deciion rule o deermine wheher o ranmi a packe: if curren channel qualiy i low, he node kip he ranmiion opporuniy o avoid ha he wirele medium i occupied by a low-rae ranmiion. he deciion rule i derived baed on he opimal opping heory uch ha he profi from ending a packe i greaer han ha from kipping he opporuniy. A hown in Fig. 1, a node conend a channel lo by lo. Afer ucceeding in conenion, i ue he deciion rule o decide if a packe ranmiion can ar. If he profi doe no juify a new packe ranmiion, he node give up hi ranmiion opporuniy, and hen repea he conenion proce. he conenion proce end once he node decide o end a packe afer a ucceful conenion. Noe ha a node may conend he channel for eiher ype of link (ecure or regular), depending on which packe are o be en in he head of he queue. For he clariy of preening he opporuniic cheduling cheme, everal parameer are defined here. A hown in Fig 1, a ime lo ha a lengh of, and daa ranmiion ime i. here are M node in he nework. For a node m, i probabiliie of conending he channel for ending packe in i ecure link or regular link are denoed a p,m and p r,m, repecively. he probabiliy of ucceful conenion for ecure link of node m, denoed a P,m,igivenby P,m = p,m (1 p,i p r,i ). (1) i m hu, he probabiliy of ucceful conenion for all ecure link, denoed a P, i given by P,m. P r,m and P r are defined in a imilar way. he ranmiion rae on ecure link and regular link of node m follow he diribuion F,m (r) and F r,m (r), repecively. A hown in Fig. 1, if a node uccefully conend he channel a ime N and decide o ranmi a packe, hen we call N a opping ime. Given a opping ime N, N denoe he ime for hi ranmiion round, including conenion period and packe ranmiion ime, and R N i he ranmiion rae of he node. If he ranmiion in hi round i on a ecure link, R i ued o denoe he ranmiion rae. he diribuion of R i given by F (r) = P,m F,m (r). (2) P m Alo, denoe he waiing ime for ecure link unil he ranmiion on one of hee link i finihed a hown in Fig. 1. Evidenly, he elecion of opping ime ha influence on. Moreover, R r, r, and F r (r) are defined for a regular link in a imilar way. III. OPPORUNISIC SCHEDULING UNDER VARIOUS QOS CONSRAINS In hi ecion, we develop a new diribued opporuniic cheduling cheme o maximize overall yem hroughpu under variou QoS conrain for ecure link. he cheme i derived baed on he opimal opping heory, conidering hree cenario: 1) he hroughpu of ecure link ha a minimum requiremen (i.e., hroughpu conrain); 2) he delay of ecure raffic ha a maximum hrehold (i.e., delay conrain); 3) boh delay and hroughpu conrain are pecified. A. Opporuniic Scheduling wih hroughpu Conrain We define ζ 1 a he e of opping ime a follow: ζ 1 {N : N 1,E[ N ],θ α}, where θ denoe he hroughpu of ecure link, and α denoe minimum hroughpu requiremen. he maximizaion of overall hroughpu under he ecure hroughpu conrain can be formulaed a E[R N ] max N ζ1, ubjec o θ = E[R ] α. E[ N ] E[ ] For convenience, we define he opimal opping ime N and opimal hroughpu x a follow N E[R N ] argmax N ζ1, E[ N ] x E[R N ] up N ζ1. E[ N ] Opporuniic cheduling baed on he opimal opping heory i alo udied in [6], bu he oluion herein i no applicable in our cenario for wo reaon. Fir, here exi wo differen ype of link in our problem, which require differen opping policie for each of hem. Alo, he conrain preened in our formula i applied o one ype of link inead of o all link, which i differen from ha in [6]. Hence, a new derivaion i needed. According o heorem 6.1 in [7], he opimizaion problem formulaed previouly i equivalen o max N ζ1 E[R N ] x E[ N ], ubjec o αe[ ] E[R ] 0. Baed on Lagrange dualiy heory [8], he opimizaion problem i convered o max N ζ1 E[R N ] x E[ N ] λ(αe[ ] E[R ]), 4525

3 Globecom Wirele Neworking Sympoium where λ i he Lagrange muliplier. By olving hi problem, he following propoiion can be derived. Propoiion 3.1: he opimal opping rule for ecure link and regular link i a double-hrehold policy. he hrehold for ecure link i φ, and ha for regular link i φ r. If a ecure link uccefully conend he channel, i doe no kip he ranmiion opporuniy only when R φ ;ifa regular link uccefully conend he channel, i ake he ranmiion opporuniy only when R r φ r. he doublehrehold policy can be expreed a N =min{n 1:R φ or R r φ r }, where φ and φ n are defined a { φ = x +λα, φ r = x (3) + λα. he proof can be found in Appendix A. In Propoiion 3.1, he opimal hrehold φ and φ r are expreed in erm of (x,λ). Hence, furher calculaion of φ and φ r require he knowledge of (x,λ). he procedure for deermining (x,λ) i preened a follow. According o he definiion of profi given in Appendix A. he maximum expeced profi L can be expreed a L = P E[max(R + λr x λα, L ) k(x + λα)] + P r E[max(R r + λe[r ] x λα λαe[ ],L ) k(x + λα)], (4) where k i he number of ime lo before he fir ucceful channel conenion. Noe ha he fir expecaion in he righ hand ide of Eq. (4) denoe he maximum expeced profi if he fir ucceful channel conenion i won by a ecure link, while he econd expecaion and for he maximum expeced profi if a regular link ake he fir ucceful channel conenion. Since L i zero a explained in Appendix A, Eq. (4) can be implified a (x + λα) = P (1 + λ)e[(r φ ) + ]+P r E[(R r φ r ) + ], where ( ) + i defined a max{, 0}. In addiion, according o KK condiion, we have λ(e[r ] αe[ ]) = 0. hu, (x,λ) can be deermined by he following equaion { (x +λα) = P (1 + λ)e[(r φ ) + ]+P r E[(R r φ r ) + ], λ(e[r ] αe[ ]) = 0, where E[R ]= φ rdf(r), df(r) φ E[ ]= +Pr(1 Fr(φr)) P (1 F (φ )) +. Noe ha (φ,φ r ) can be eliminaed baed on Eq. (3). Alo, numerical mehod are required o olve above equaion. I i neceary o emphaize ha he hroughpu conrain α i effecive only when i fall ino a pecific range. If α i oo mall, he opimal hrehold derived from previou equaion will be equal o hoe in unconrained cae. In hi cenario, he hroughpu conrain i inacive. If α i oo large, he conrain canno be aified even if kipping all regular ranmiion. o characerize he lower bound and he upper bound for α, we have he following propoiion. Propoiion 3.2: he effecive range for he hroughpu requiremen α i given by θ L α θ U, where θ U i he opimal hroughpu of ecure link when φ r =, and i can be deermined by P rdf θ U θ = U (r) + P (1 F (θ U )). Alo, θ L i he hroughpu of ecure link when hrehold for ecure link and regular link are e o he opimal value φ for he unconrained cae, and i i given by P θ L rdf φ = (r) + P (1 F (φ )) + P r (1 F r (φ )). he proof can be found in Appendix B. B. Opporuniic Scheduling wih Delay Conrain In hi ubecion, an opporuniic cheduling cheme wih delay conrain i udied. Noe ha he delay of ecure link i defined a he ime beween wo ucceive ranmiion on ecure link. We define ζ 2 a he e of opping ime a follow: ζ 2 {N : N 1,E[ N ],σ β}, where σ and for he average delay of ecure link, and β denoe he delay requiremen. hu, we formulae he problem a E[R N ] max N ζ2, ubjec o σ = E[ ] β. E[ N ] A dicued in Secion III-A, he previou opimizaion problem i equivalen o max N ζ2 E[R N ] x E[ N ] μ(e[ ] β), where μ i he Lagrange muliplier. By olving hi problem, a double-hrehold policy can be derived a { φ = x + μ μβ, φ r = x + μ. he derivaion and he calculaion of he opimal hrehold in hi cenario follow imilar framework preened in Secion III-A and Appendix A. In addiion, imilar wih he hroughpu conrain, he delay requiremen β alo ha an effecive range a decribed in he following propoiion. Propoiion 3.3: he delay conrain β ha a lower effecive bound β L and an upper effecive bound β U. β L i he minimal poible average delay for ecure link, and i given by β L = P

4 Globecom Wirele Neworking Sympoium β U i he average delay for ecure raffic when hrehold for ecure link and regular link are e o he opimal value for he unconrained cae, and i can be deermined by β U = + P r(1 F r (φ )) P (1 F (φ +. )) Proof: For lower bound, include he ime period P for a lea one round ucceful channel conenion and packe ranmiion ime. Hence, he minimum achievable delay requiremen i P +. For upper bound, if he delay requiremen β i greaer han β U, hen he opimal oluion for he unconrained cae i locaed in he feaible domain, which mean ha hi opimal oluion i alo he opimal one for he conrained problem. In hi cae, he delay conrain i inacive. C. Opporuniic Scheduling wih hroughpu and Delay Conrain o aify he conrain of delay and hroughpu, we define ζ 3 a ζ 3 {N : N 1,E[ N ],θ α, σ β}. hen, he maximizaion of overall hroughpu under double conrain can be formulaed a E[R N ] max N ζ3, E[ N ] ubjec o θ = E[R ] α and σ = E[ ] β. E[ ] A dicued in Secion III-A, he above opimizaion problem i equivalen o max N ζ3 E[R N ] x E[ N ] λ(αe[ ] E[R ]) μ(e[ ] β), where λ and μ are he Lagrange muliplier. hen an opimal opping rule can be derived a decribed in he following propoiion. Propoiion 3.4: he opimal opping rule for he cheduling under double conrain can be decribed a N =min{n 1:R φ or R r φ r }, where φ and φ n are given by { φ = x +λα+μ μβ, φ r = x + λα + μ. he proof can be found in Appendix C. he calculaion of opimal hrehold require he knowledge of (x,λ,μ), which can be deermined wih following equaion: (x + λα + μ) = P ()E[(R φ ) + ]+P r E[(R r φ r ) + ], (5) φ r (na//hz) α= Fig β=100 imu. calc φ (na//hz) α=0.35, β= Opimal hrehold for ecure link and regular link. and { λ(e[r ] αe[ ]) = 0, (6) μ(e[ ] β) =0. Eq. (5) i derived from he maximum expeced profi equaion a Eq. (4) and Eq. (6) i from KK condiion. Similar wih ingle conrain cenario, here exi an area where boh hroughpu requiremen α and delay requiremen β are effecive. o characerize hi area, we have he following propoiion. Propoiion 3.5: For a given delay requiremen β, he effecive range for α i bounded by [ rdf φ L (r) β(1 F (φ L )), φ H ] rdf (r) β(1 F (φ H )), where { φ L = F 1 (1 +Pr φ H = F 1 (1 he proof can be found in Appendix D. P ), (β ) P ). (β ) IV. PERFORMANCE EVALUAION In hi ecion, he new cheduling cheme i evaluaed by everal experimen. In our imulaion, we conider a nework coniing of five node, and each of hem mainain i own regular link and ecure link o oher node. he ranmiion rae on a link i aumed o be equal o he channel capaciy given by R = log(1 + ρ H 2 ) na//hz, where ρ i normalized SNR for he link and H denoe he random channel gain which follow a complex Gauian diribuion wih variance equal o 1. For any ecure link, i normalized SNR i e o 1; for any regular link, i normalized SNR i given by 5. Alo, he ranmiion ime i equal o 30 lo ime. Moreover, o reflec raffic load of he nework, channel occupancy raio i inroduced and defined a P =1 (1 p,m p r,m ). m o examine he opimum of hrehold derived from equaion in Secion III, we compare he derived opimal hrehold pair wih one obained from enumeraion mehod under hree cenario: 1) wih hroughpu conrain (α =0.35); 2) wih delay conrain (β = 100); 3) wih boh conrain. o obain he opimal hrehold by enumeraion, we ake each elemen 4527

5 Globecom Wirele Neworking Sympoium Overall hroughpu (na//hz) Random acce DOS QDOS wih α=0.35 QDOS wih β=100 hroughpu of ecure link (na//hz) Random acce DOS QDOS wih α=0.35 QDOS wih β=100 Delay of ecure link (lo ime) Random acce DOS QDOS wih α=0.35 QDOS wih β= Channel occupancy raio Channel occupancy raio Channel occupancy raio (a) Overall hroughpu (b) hroughpu of ecure link (c) Delay of ecure link Fig. 3. hroughpu and delay in differen cheme. ABLE I HROUGHPU AND DELAY WIH DOUBLE CONSRAINS P θ oal (na//hz) θ (na//hz) σ (lo ime) in {( x 200 ) x, y 800 and x, y N} a he hrehold pair and run he imulaion for 10 6 lo ime. According o imulaion reul, hrehold pair ha do no guaranee he QoS conrain are removed and among remaining one he pair wih maximum overall hroughpu i eleced. o minimize he influence of randomne in he imulaion, he enumeraion procedure menioned previouly i repeaed by 40 ime for each cenario and he opimal hrehold pair obained in each run i recorded. he comparion reul are provided in Fig. 2. In hi figure, he hrehold pair marked by red cro are calculaed from equaion preened in Secion III, while he pair labeled wih green plu are colleced from imulaion baed on enumeraion mehod. he comparion reul how ha all opimal hrehold pair obained from imulaion are locaed around he derived one, which demonrae he opimum of derived reul baed on equaion in Secion III. Performance reul of our cheduling cheme (QDOS) wih differen QoS conrain are hown in Fig. 3. For comparion, performance of anoher wo acce cheme i provided: 1) random acce cheme, namely he cheme wih boh φ and φ r e o zero; 2) diribued opporuniic cheme (DOS) propoed in [6]. From Fig. 3(a), we know ha he overall yem hroughpu of our cheme i ignificanly higher han ha of random acce cheme. Alo, when he channel occupancy raio i greaer han 0.2, he hroughpu performance lo of our cheme a compared o DOS cheme i wihin 10%. hi reul indicae ha he overall hroughpu of our cheme i no ignificanly compromied. Fig. 3(b) and Fig. 3(c) how he QoS of ecure link in differen cheme. he reul indicae ha here i no QoS guaranee on ecure link in DOS cheme. In conra, our cheme wih he hroughpu conrain can effecively guaranee he hroughpu performance of ecure 200, y link, while our cheme wih he delay conrain uccefully conrol he delay on ecure link o an accepable level. Moreover, noe ha he hroughpu requiremen α = 0.35 i no aified in low channel occupancy raio range when only he delay conrain i impoed in our cheme. Alo, he delay requiremen β = 100 i lighly violaed in high channel occupancy range if our cheme only e he hroughpu conrain. herefore if boh hroughpu QoS and delay QoS are required, our cheduling cheme wih double conrain need o be applied. In able I, he overall hroughpu (θ oal ) and QoS of ecure link for our cheme wih double conrain are ummarized. he reul how ha boh delay (σ ) and hroughpu (θ ) requiremen of ecure link are aified a any channel occupancy raio (P ). Alo, he overall hroughpu i cloe o ha of he DOS cheme hown in Fig. 3(a). V. CONCLUSIONS A QoS-oriened diribued opporuniic cheduling wa developed o balance hroughpu and QoS guaranee. Performance reul howed ha QoS of a pecific link ype could be guaraneed wihou ignificanly compromiing he overall hroughpu of all link. Alhough our reearch conidered a hybrid of ecure link and regular link, he new cheduling cheme i compleely applicable o oher cenario of hybrid link. APPENDIX A PROOF OF PROPOSIION 3.1 For convenience, we define he profi of cheduling cheme a R N + λr x N λα. hu L, defined a max N ζ1 E[R N ] x E[ N ] λ(αe[ ] E[R ]), can be inerpreed a he maximum expeced profi of he yem. Furhermore, according o heorem 6.1 in [7] and KK condiion, he value of L i zero. he opporuniic cheduling cheme follow a baic rule: given a node ha ucceed in conenion, if he profi from aking curren ranmiion opporuniy i greaer han ha from kipping hi opporuniy, he node ar ranmiion. If a ecure link uccefully conend he channel, he profi from aking he ranmiion opporuniy can be quanified a R x λ(α R ) (x + λα) con, 4528

6 Globecom Wirele Neworking Sympoium where con i he conenion period before hi ucceful channel conenion. In addiion, according o ime-invarian characeriic of he yem, he maximum expeced profi from kipping hi opporuniy i given by L (x +λα) con. Hence, if (1 + λ)r x λα L, namely R x +λα, he ecure packe i ranmied. Similarly, if a regular link win he channel conenion, he profi from kipping he ranmiion i L (x + λα) con, while he profi from aking he opporuniy i given by R r x λα( + E[ ]) + λe[r ] (x + λα) con. Baed on KK condiion, λ(e[r ] αe[ ]) = 0. hu if R r x λα L, namely R r x + λα, he regular packe i ranmied. APPENDIX B PROOF OF PROPOSIION 3.2 he hroughpu of ecure link can be expreed a φ M rdf,m(r) 1 F θ =,m(φ ) +. i m P,i(1 F,i(φ)) + i Pr,i(1 Fr,i(φr)) m=1 P,m(1 F.m(φ )) + Previou equaion can be implified a P φ θ = rdf (r) + P (1 F (φ )) + P r (1 F r (φ r )). (7) For lower bound, if he hroughpu requiremen α i le han θ L, hen he opimal hrehold φ (for boh ecure link and regular link) in he unconrained cae i locaed in he feaible domain, which mean ha hi hrehold i alo he opimal oluion for he conrained problem. In hi cae, he hroughpu conrain i inacive. For upper bound, he hroughpu of ecure link can achieve he maximum when φ r approache. In hi cae, here i no hroughpu on regular link and he overall hroughpu i equal o he hroughpu of ecure link. Hence, in hi cenario, x = θ U. hu, we have φ = x + λθ U = θ U. herefore, baed on Eq. (7), he maximum hroughpu of ecure link can be deermined by P rdf θ U θ = U (r) + P (1 F (θ U )). APPENDIX C PROOF OF PROPOSIION 3.4 Similar wih Appendix A, we can define he profi of cheduling cheme and L denoe he maximum expeced profi of he yem. Following imilar framework propoed in Appendix A, we can derive ha if (1 + λ)r x (λα + μ) + μβ L, namely R x +(λα + μ) βμ, he ecure packe i ranmied. Similarly, if a regular link uccefully conend he channel, he packe i ranmied when R n + λe[r ] x (λα + μ)( + E[ ]) + μβ L, namely R r x + λα + μ. Propoiion 3.4 i proved. APPENDIX D PROOF OF PROPOSIION 3.5 he average delay for ecure link i given by β = E[ ]= + P r(1 F r (φ r )) +. P (1 F (φ )) hu we have he following inequaliie P (1 F (φ )) + β + P r P (1 F (φ )) +. I follow ha P (β ) (1 F (φ )) + P r P (β ). Since F i a rae diribuion funcion, i value increae wih φ. hu, i can be hown ha F 1 (1 + P r P (β ) ) φ F 1 (1 P (β ) ). For convenience, he lower bound and he upper bound in above inequaliie are denoed by φ L and φ H, repecively. Alo, baed on E[R ] αe[ ]=0and E[ ] = β, wehave E[R ]=αβ. In addiion, E[R ] i a funcion increaing wih φ, hu i can be hown ha rdf φ L (r) β(1 F (φ L )) α rdf φ H (r) β(1 F (φ H )). hi prove Propoiion 3.5. REFERENCES [1] I. Cizar and J. Korner, Broadca channel wih confidenial meage, IEEE ran. Inf. heory, vol. 24, no. 3, [2] A. D. Wyner, he wire-ap channel, Bell Sy. ech. J., vol. 54, no. 8, pp , [3] R. Liu and W. rappe, Securing Wirele Communicaion a he Phyical Layer, Springer Publihing Company, [4] X. Qin and R. Berry, Exploiing muliuer dieveriy for medium acce conrol in wirele nework, in Proc of IEEE INFOCOM, [5] X. Liu, E.K. Chong, and N.B. Shroff, A framework for opporuniic cheduling in wirele nework, Compuer Nework, vol. 41, no. 4, [6] D. Zheng, W. Ge, and J. Zhang, Diribued opporuniic cheduling for ad-hoc nework wih random acce: an opimal opping approach, IEEE ran. Inf. heory, vol. 55, no. 1, [7]. Ferguon, Opimal Sopping and Applicaion [Online]. Available: hp:// om/sopping/conen.hml [8] Jabir S. Arora, Inroducion o Opimum Deign, Elevier Academic Pre,

CHAPTER 7: SECOND-ORDER CIRCUITS

CHAPTER 7: SECOND-ORDER CIRCUITS EEE5: CI RCUI T THEORY CHAPTER 7: SECOND-ORDER CIRCUITS 7. Inroducion Thi chaper conider circui wih wo orage elemen. Known a econd-order circui becaue heir repone are decribed by differenial equaion ha

More information

IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, VOL. 65, NO. 10, OCTOBER Wenguang Mao, Xudong Wang, Senior Member, IEEE, and Shanshan Wu

IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, VOL. 65, NO. 10, OCTOBER Wenguang Mao, Xudong Wang, Senior Member, IEEE, and Shanshan Wu IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, VOL. 65, NO. 10, OCTOBER 2016 8511 Ditributed Opportunitic Scheduling With QoS Contraint for Wirele Network With Hybrid Link Wenguang Mao, Xudong Wang, Senior

More information

Introduction to Congestion Games

Introduction to Congestion Games Algorihmic Game Theory, Summer 2017 Inroducion o Congeion Game Lecure 1 (5 page) Inrucor: Thoma Keelheim In hi lecure, we ge o know congeion game, which will be our running example for many concep in game

More information

To become more mathematically correct, Circuit equations are Algebraic Differential equations. from KVL, KCL from the constitutive relationship

To become more mathematically correct, Circuit equations are Algebraic Differential equations. from KVL, KCL from the constitutive relationship Laplace Tranform (Lin & DeCarlo: Ch 3) ENSC30 Elecric Circui II The Laplace ranform i an inegral ranformaion. I ranform: f ( ) F( ) ime variable complex variable From Euler > Lagrange > Laplace. Hence,

More information

Network Flows: Introduction & Maximum Flow

Network Flows: Introduction & Maximum Flow CSC 373 - lgorihm Deign, nalyi, and Complexiy Summer 2016 Lalla Mouaadid Nework Flow: Inroducion & Maximum Flow We now urn our aenion o anoher powerful algorihmic echnique: Local Search. In a local earch

More information

Problem Set If all directed edges in a network have distinct capacities, then there is a unique maximum flow.

Problem Set If all directed edges in a network have distinct capacities, then there is a unique maximum flow. CSE 202: Deign and Analyi of Algorihm Winer 2013 Problem Se 3 Inrucor: Kamalika Chaudhuri Due on: Tue. Feb 26, 2013 Inrucion For your proof, you may ue any lower bound, algorihm or daa rucure from he ex

More information

FLAT CYCLOTOMIC POLYNOMIALS OF ORDER FOUR AND HIGHER

FLAT CYCLOTOMIC POLYNOMIALS OF ORDER FOUR AND HIGHER #A30 INTEGERS 10 (010), 357-363 FLAT CYCLOTOMIC POLYNOMIALS OF ORDER FOUR AND HIGHER Nahan Kaplan Deparmen of Mahemaic, Harvard Univeriy, Cambridge, MA nkaplan@mah.harvard.edu Received: 7/15/09, Revied:

More information

6.8 Laplace Transform: General Formulas

6.8 Laplace Transform: General Formulas 48 HAP. 6 Laplace Tranform 6.8 Laplace Tranform: General Formula Formula Name, ommen Sec. F() l{ f ()} e f () d f () l {F()} Definiion of Tranform Invere Tranform 6. l{af () bg()} al{f ()} bl{g()} Lineariy

More information

Randomized Perfect Bipartite Matching

Randomized Perfect Bipartite Matching Inenive Algorihm Lecure 24 Randomized Perfec Biparie Maching Lecurer: Daniel A. Spielman April 9, 208 24. Inroducion We explain a randomized algorihm by Ahih Goel, Michael Kapralov and Sanjeev Khanna for

More information

1 Motivation and Basic Definitions

1 Motivation and Basic Definitions CSCE : Deign and Analyi of Algorihm Noe on Max Flow Fall 20 (Baed on he preenaion in Chaper 26 of Inroducion o Algorihm, 3rd Ed. by Cormen, Leieron, Rive and Sein.) Moivaion and Baic Definiion Conider

More information

CS4445/9544 Analysis of Algorithms II Solution for Assignment 1

CS4445/9544 Analysis of Algorithms II Solution for Assignment 1 Conider he following flow nework CS444/944 Analyi of Algorihm II Soluion for Aignmen (0 mark) In he following nework a minimum cu ha capaciy 0 Eiher prove ha hi aemen i rue, or how ha i i fale Uing he

More information

TRADITIONAL. MAP: Multi-Constrained Anypath Routing in Wireless Mesh Networks. 1 Introduction

TRADITIONAL. MAP: Multi-Constrained Anypath Routing in Wireless Mesh Networks. 1 Introduction MAP: Muli-Conrained Anypah Rouing in Wirele Meh Nework Xi Fang, Member, IEEE, Dejun Yang, Member, IEEE, and Guoliang Xue, Fellow, IEEE Abrac Anypah rouing ha been propoed o improve he performance of unreliable

More information

NECESSARY AND SUFFICIENT CONDITIONS FOR LATENT SEPARABILITY

NECESSARY AND SUFFICIENT CONDITIONS FOR LATENT SEPARABILITY NECESSARY AND SUFFICIENT CONDITIONS FOR LATENT SEPARABILITY Ian Crawford THE INSTITUTE FOR FISCAL STUDIES DEPARTMENT OF ECONOMICS, UCL cemmap working paper CWP02/04 Neceary and Sufficien Condiion for Laen

More information

Main Reference: Sections in CLRS.

Main Reference: Sections in CLRS. Maximum Flow Reied 09/09/200 Main Reference: Secion 26.-26. in CLRS. Inroducion Definiion Muli-Source Muli-Sink The Ford-Fulkeron Mehod Reidual Nework Augmening Pah The Max-Flow Min-Cu Theorem The Edmond-Karp

More information

, the. L and the L. x x. max. i n. It is easy to show that these two norms satisfy the following relation: x x n x = (17.3) max

, the. L and the L. x x. max. i n. It is easy to show that these two norms satisfy the following relation: x x n x = (17.3) max ecure 8 7. Sabiliy Analyi For an n dimenional vecor R n, he and he vecor norm are defined a: = T = i n i (7.) I i eay o how ha hee wo norm aify he following relaion: n (7.) If a vecor i ime-dependen, hen

More information

EECE 301 Signals & Systems Prof. Mark Fowler

EECE 301 Signals & Systems Prof. Mark Fowler EECE 31 Signal & Syem Prof. Mark Fowler Noe Se #27 C-T Syem: Laplace Tranform Power Tool for yem analyi Reading Aignmen: Secion 6.1 6.3 of Kamen and Heck 1/18 Coure Flow Diagram The arrow here how concepual

More information

The Residual Graph. 12 Augmenting Path Algorithms. Augmenting Path Algorithm. Augmenting Path Algorithm

The Residual Graph. 12 Augmenting Path Algorithms. Augmenting Path Algorithm. Augmenting Path Algorithm Augmening Pah Algorihm Greedy-algorihm: ar wih f (e) = everywhere find an - pah wih f (e) < c(e) on every edge augmen flow along he pah repea a long a poible The Reidual Graph From he graph G = (V, E,

More information

FIXED POINTS AND STABILITY IN NEUTRAL DIFFERENTIAL EQUATIONS WITH VARIABLE DELAYS

FIXED POINTS AND STABILITY IN NEUTRAL DIFFERENTIAL EQUATIONS WITH VARIABLE DELAYS PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 136, Number 3, March 28, Page 99 918 S 2-9939(7)989-2 Aricle elecronically publihed on November 3, 27 FIXED POINTS AND STABILITY IN NEUTRAL DIFFERENTIAL

More information

The Residual Graph. 11 Augmenting Path Algorithms. Augmenting Path Algorithm. Augmenting Path Algorithm

The Residual Graph. 11 Augmenting Path Algorithms. Augmenting Path Algorithm. Augmenting Path Algorithm Augmening Pah Algorihm Greedy-algorihm: ar wih f (e) = everywhere find an - pah wih f (e) < c(e) on every edge augmen flow along he pah repea a long a poible The Reidual Graph From he graph G = (V, E,

More information

Stability in Distribution for Backward Uncertain Differential Equation

Stability in Distribution for Backward Uncertain Differential Equation Sabiliy in Diribuion for Backward Uncerain Differenial Equaion Yuhong Sheng 1, Dan A. Ralecu 2 1. College of Mahemaical and Syem Science, Xinjiang Univeriy, Urumqi 8346, China heng-yh12@mail.inghua.edu.cn

More information

Vehicle Arrival Models : Headway

Vehicle Arrival Models : Headway Chaper 12 Vehicle Arrival Models : Headway 12.1 Inroducion Modelling arrival of vehicle a secion of road is an imporan sep in raffic flow modelling. I has imporan applicaion in raffic flow simulaion where

More information

5.2 GRAPHICAL VELOCITY ANALYSIS Polygon Method

5.2 GRAPHICAL VELOCITY ANALYSIS Polygon Method ME 352 GRHICL VELCITY NLYSIS 52 GRHICL VELCITY NLYSIS olygon Mehod Velociy analyi form he hear of kinemaic and dynamic of mechanical yem Velociy analyi i uually performed following a poiion analyi; ie,

More information

Amplify-and-Forward in Wireless Relay Networks

Amplify-and-Forward in Wireless Relay Networks Amplify-and-Forward in Wirele Relay Nework Samar Agnihori, Sidharh Jaggi, and Minghua Chen Deparmen of Informaion Engineering, The Chinee Univeriy of Hong Kong, Hong Kong Email: {amar, jaggi, minghua}@ie.cuhk.edu.hk

More information

Buckling of a structure means failure due to excessive displacements (loss of structural stiffness), and/or

Buckling of a structure means failure due to excessive displacements (loss of structural stiffness), and/or Buckling Buckling of a rucure mean failure due o exceive diplacemen (lo of rucural iffne), and/or lo of abiliy of an equilibrium configuraion of he rucure The rule of humb i ha buckling i conidered a mode

More information

18 Extensions of Maximum Flow

18 Extensions of Maximum Flow Who are you?" aid Lunkwill, riing angrily from hi ea. Wha do you wan?" I am Majikhie!" announced he older one. And I demand ha I am Vroomfondel!" houed he younger one. Majikhie urned on Vroomfondel. I

More information

Network Flow. Data Structures and Algorithms Andrei Bulatov

Network Flow. Data Structures and Algorithms Andrei Bulatov Nework Flow Daa Srucure and Algorihm Andrei Bulao Algorihm Nework Flow 24-2 Flow Nework Think of a graph a yem of pipe We ue hi yem o pump waer from he ource o ink Eery pipe/edge ha limied capaciy Flow

More information

ANALYSIS OF SOME SAFETY ASSESSMENT STANDARD ON GROUNDING SYSTEMS

ANALYSIS OF SOME SAFETY ASSESSMENT STANDARD ON GROUNDING SYSTEMS ANAYSIS OF SOME SAFETY ASSESSMENT STANDARD ON GROUNDING SYSTEMS Shang iqun, Zhang Yan, Cheng Gang School of Elecrical and Conrol Engineering, Xi an Univeriy of Science & Technology, 710054, Xi an, China,

More information

Performance Comparison of LCMV-based Space-time 2D Array and Ambiguity Problem

Performance Comparison of LCMV-based Space-time 2D Array and Ambiguity Problem Inernaional journal of cience Commerce and umaniie Volume No 2 No 3 April 204 Performance Comparion of LCMV-baed pace-ime 2D Arra and Ambigui Problem 2 o uan Chang and Jin hinghia Deparmen of Communicaion

More information

Algorithmic Discrete Mathematics 6. Exercise Sheet

Algorithmic Discrete Mathematics 6. Exercise Sheet Algorihmic Dicree Mahemaic. Exercie Shee Deparmen of Mahemaic SS 0 PD Dr. Ulf Lorenz 7. and 8. Juni 0 Dipl.-Mah. David Meffer Verion of June, 0 Groupwork Exercie G (Heap-Sor) Ue Heap-Sor wih a min-heap

More information

Notes on cointegration of real interest rates and real exchange rates. ρ (2)

Notes on cointegration of real interest rates and real exchange rates. ρ (2) Noe on coinegraion of real inere rae and real exchange rae Charle ngel, Univeriy of Wiconin Le me ar wih he obervaion ha while he lieraure (mo prominenly Meee and Rogoff (988) and dion and Paul (993))

More information

Solutions for Assignment 2

Solutions for Assignment 2 Faculy of rs and Science Universiy of Torono CSC 358 - Inroducion o Compuer Neworks, Winer 218 Soluions for ssignmen 2 Quesion 1 (2 Poins): Go-ack n RQ In his quesion, we review how Go-ack n RQ can be

More information

2. VECTORS. R Vectors are denoted by bold-face characters such as R, V, etc. The magnitude of a vector, such as R, is denoted as R, R, V

2. VECTORS. R Vectors are denoted by bold-face characters such as R, V, etc. The magnitude of a vector, such as R, is denoted as R, R, V ME 352 VETS 2. VETS Vecor algebra form he mahemaical foundaion for kinemaic and dnamic. Geomer of moion i a he hear of boh he kinemaic and dnamic of mechanical em. Vecor anali i he imehonored ool for decribing

More information

u(t) Figure 1. Open loop control system

u(t) Figure 1. Open loop control system Open loop conrol v cloed loop feedbac conrol The nex wo figure preen he rucure of open loop and feedbac conrol yem Figure how an open loop conrol yem whoe funcion i o caue he oupu y o follow he reference

More information

Graphs III - Network Flow

Graphs III - Network Flow Graph III - Nework Flow Flow nework eup graph G=(V,E) edge capaciy w(u,v) 0 - if edge doe no exi, hen w(u,v)=0 pecial verice: ource verex ; ink verex - no edge ino and no edge ou of Aume every verex v

More information

Macroeconomics 1. Ali Shourideh. Final Exam

Macroeconomics 1. Ali Shourideh. Final Exam 4780 - Macroeconomic 1 Ali Shourideh Final Exam Problem 1. A Model of On-he-Job Search Conider he following verion of he McCall earch model ha allow for on-he-job-earch. In paricular, uppoe ha ime i coninuou

More information

3.1.3 INTRODUCTION TO DYNAMIC OPTIMIZATION: DISCRETE TIME PROBLEMS. A. The Hamiltonian and First-Order Conditions in a Finite Time Horizon

3.1.3 INTRODUCTION TO DYNAMIC OPTIMIZATION: DISCRETE TIME PROBLEMS. A. The Hamiltonian and First-Order Conditions in a Finite Time Horizon 3..3 INRODUCION O DYNAMIC OPIMIZAION: DISCREE IME PROBLEMS A. he Hamilonian and Firs-Order Condiions in a Finie ime Horizon Define a new funcion, he Hamilonian funcion, H. H he change in he oal value of

More information

Maximum Network Lifetime in Wireless Sensor Networks with Adjustable Sensing Ranges

Maximum Network Lifetime in Wireless Sensor Networks with Adjustable Sensing Ranges 1 Maximum Nework Lifeime in Wirele Senor Nework wih Adjuable Sening Range Mihaela Cardei, Jie Wu, Mingming Lu, and Mohammad O. Pervaiz Abrac Thi paper addree he arge coverage problem in wirele enor nework

More information

Price of Stability and Introduction to Mechanism Design

Price of Stability and Introduction to Mechanism Design Algorihmic Game Theory Summer 2017, Week 5 ETH Zürich Price of Sabiliy and Inroducion o Mechanim Deign Paolo Penna Thi i he lecure where we ar deigning yem which involve elfih player. Roughly peaking,

More information

Physics 240: Worksheet 16 Name

Physics 240: Worksheet 16 Name Phyic 4: Workhee 16 Nae Non-unifor circular oion Each of hee proble involve non-unifor circular oion wih a conan α. (1) Obain each of he equaion of oion for non-unifor circular oion under a conan acceleraion,

More information

Decentralized Foresighted Energy Purchase and Procurement With Renewable Generation and Energy Storage

Decentralized Foresighted Energy Purchase and Procurement With Renewable Generation and Energy Storage Decenralized Foreighed Energy Purchae and Procuremen Wih Renewable Generaion and Energy Sorage Yuanzhang Xiao and Mihaela van der Schaar Abrac We udy a power yem wih one independen yem operaor (ISO) who

More information

Lecture Notes 3: Quantitative Analysis in DSGE Models: New Keynesian Model

Lecture Notes 3: Quantitative Analysis in DSGE Models: New Keynesian Model Lecure Noes 3: Quaniaive Analysis in DSGE Models: New Keynesian Model Zhiwei Xu, Email: xuzhiwei@sju.edu.cn The moneary policy plays lile role in he basic moneary model wihou price sickiness. We now urn

More information

Laplace Transform. Inverse Laplace Transform. e st f(t)dt. (2)

Laplace Transform. Inverse Laplace Transform. e st f(t)dt. (2) Laplace Tranform Maoud Malek The Laplace ranform i an inegral ranform named in honor of mahemaician and aronomer Pierre-Simon Laplace, who ued he ranform in hi work on probabiliy heory. I i a powerful

More information

Admin MAX FLOW APPLICATIONS. Flow graph/networks. Flow constraints 4/30/13. CS lunch today Grading. in-flow = out-flow for every vertex (except s, t)

Admin MAX FLOW APPLICATIONS. Flow graph/networks. Flow constraints 4/30/13. CS lunch today Grading. in-flow = out-flow for every vertex (except s, t) /0/ dmin lunch oday rading MX LOW PPLIION 0, pring avid Kauchak low graph/nework low nework direced, weighed graph (V, ) poiive edge weigh indicaing he capaciy (generally, aume ineger) conain a ingle ource

More information

Selfish Routing. Tim Roughgarden Cornell University. Includes joint work with Éva Tardos

Selfish Routing. Tim Roughgarden Cornell University. Includes joint work with Éva Tardos Selfih Rouing Tim Roughgarden Cornell Univeriy Include join work wih Éva Tardo 1 Which roue would you chooe? Example: one uni of raffic (e.g., car) wan o go from o delay = 1 hour (no congeion effec) long

More information

Notes for Lecture 17-18

Notes for Lecture 17-18 U.C. Berkeley CS278: Compuaional Complexiy Handou N7-8 Professor Luca Trevisan April 3-8, 2008 Noes for Lecure 7-8 In hese wo lecures we prove he firs half of he PCP Theorem, he Amplificaion Lemma, up

More information

CSC 364S Notes University of Toronto, Spring, The networks we will consider are directed graphs, where each edge has associated with it

CSC 364S Notes University of Toronto, Spring, The networks we will consider are directed graphs, where each edge has associated with it CSC 36S Noe Univeriy of Torono, Spring, 2003 Flow Algorihm The nework we will conider are direced graph, where each edge ha aociaed wih i a nonnegaive capaciy. The inuiion i ha if edge (u; v) ha capaciy

More information

The multisubset sum problem for finite abelian groups

The multisubset sum problem for finite abelian groups Alo available a hp://amc-journal.eu ISSN 1855-3966 (prined edn.), ISSN 1855-3974 (elecronic edn.) ARS MATHEMATICA CONTEMPORANEA 8 (2015) 417 423 The muliube um problem for finie abelian group Amela Muraović-Ribić

More information

EE202 Circuit Theory II

EE202 Circuit Theory II EE202 Circui Theory II 2017-2018, Spring Dr. Yılmaz KALKAN I. Inroducion & eview of Fir Order Circui (Chaper 7 of Nilon - 3 Hr. Inroducion, C and L Circui, Naural and Sep epone of Serie and Parallel L/C

More information

Discussion Session 2 Constant Acceleration/Relative Motion Week 03

Discussion Session 2 Constant Acceleration/Relative Motion Week 03 PHYS 100 Dicuion Seion Conan Acceleraion/Relaive Moion Week 03 The Plan Today you will work wih your group explore he idea of reference frame (i.e. relaive moion) and moion wih conan acceleraion. You ll

More information

Implementation of 64-Point FFT Processor Based on Radix-2 Using Verilog

Implementation of 64-Point FFT Processor Based on Radix-2 Using Verilog Inernaional Journal of Engineering Reearch & Technology (IJERT) Implemenaion of 64-oin roceor Baed on Radix-2 Uing Verilog T.TIRUALA KOTESWARA RAO 1, S. SARATH CHANDRA 2 Suden of. Tech Deparmen of Elecronic

More information

STATE-SPACE MODELLING. A mass balance across the tank gives:

STATE-SPACE MODELLING. A mass balance across the tank gives: B. Lennox and N.F. Thornhill, 9, Sae Space Modelling, IChemE Process Managemen and Conrol Subjec Group Newsleer STE-SPACE MODELLING Inroducion: Over he pas decade or so here has been an ever increasing

More information

Lecture 26. Lucas and Stokey: Optimal Monetary and Fiscal Policy in an Economy without Capital (JME 1983) t t

Lecture 26. Lucas and Stokey: Optimal Monetary and Fiscal Policy in an Economy without Capital (JME 1983) t t Lecure 6. Luca and Sokey: Opimal Moneary and Fical Policy in an Economy wihou Capial (JME 983. A argued in Kydland and Preco (JPE 977, Opimal governmen policy i likely o be ime inconien. Fiher (JEDC 98

More information

ARTIFICIAL INTELLIGENCE. Markov decision processes

ARTIFICIAL INTELLIGENCE. Markov decision processes INFOB2KI 2017-2018 Urech Univeriy The Neherland ARTIFICIAL INTELLIGENCE Markov deciion procee Lecurer: Silja Renooij Thee lide are par of he INFOB2KI Coure Noe available from www.c.uu.nl/doc/vakken/b2ki/chema.hml

More information

Final Spring 2007

Final Spring 2007 .615 Final Spring 7 Overview The purpose of he final exam is o calculae he MHD β limi in a high-bea oroidal okamak agains he dangerous n = 1 exernal ballooning-kink mode. Effecively, his corresponds o

More information

Classification of 3-Dimensional Complex Diassociative Algebras

Classification of 3-Dimensional Complex Diassociative Algebras Malayian Journal of Mahemaical Science 4 () 41-54 (010) Claificaion of -Dimenional Complex Diaociaive Algebra 1 Irom M. Rihiboev, Iamiddin S. Rahimov and Wiriany Bari 1,, Iniue for Mahemaical Reearch,,

More information

Chapter 7: Inverse-Response Systems

Chapter 7: Inverse-Response Systems Chaper 7: Invere-Repone Syem Normal Syem Invere-Repone Syem Baic Sar ou in he wrong direcion End up in he original eady-ae gain value Two or more yem wih differen magniude and cale in parallel Main yem

More information

ANSWERS TO ODD NUMBERED EXERCISES IN CHAPTER

ANSWERS TO ODD NUMBERED EXERCISES IN CHAPTER John Riley 6 December 200 NWER TO ODD NUMBERED EXERCIE IN CHPTER 7 ecion 7 Exercie 7-: m m uppoe ˆ, m=,, M (a For M = 2, i i eay o how ha I implie I From I, for any probabiliy vecor ( p, p 2, 2 2 ˆ ( p,

More information

Chapter 2. First Order Scalar Equations

Chapter 2. First Order Scalar Equations Chaper. Firs Order Scalar Equaions We sar our sudy of differenial equaions in he same way he pioneers in his field did. We show paricular echniques o solve paricular ypes of firs order differenial equaions.

More information

Lower and Upper Approximation of Fuzzy Ideals in a Semiring

Lower and Upper Approximation of Fuzzy Ideals in a Semiring nernaional Journal of Scienific & Engineering eearch, Volume 3, ue, January-0 SSN 9-558 Lower and Upper Approximaion of Fuzzy deal in a Semiring G Senhil Kumar, V Selvan Abrac n hi paper, we inroduce he

More information

Modeling the Evolution of Demand Forecasts with Application to Safety Stock Analysis in Production/Distribution Systems

Modeling the Evolution of Demand Forecasts with Application to Safety Stock Analysis in Production/Distribution Systems Modeling he Evoluion of Demand oreca wih Applicaion o Safey Sock Analyi in Producion/Diribuion Syem David Heah and Peer Jackon Preened by Kai Jiang Thi ummary preenaion baed on: Heah, D.C., and P.L. Jackon.

More information

EE Control Systems LECTURE 2

EE Control Systems LECTURE 2 Copyrigh F.L. Lewi 999 All righ reerved EE 434 - Conrol Syem LECTURE REVIEW OF LAPLACE TRANSFORM LAPLACE TRANSFORM The Laplace ranform i very ueful in analyi and deign for yem ha are linear and ime-invarian

More information

Average Case Lower Bounds for Monotone Switching Networks

Average Case Lower Bounds for Monotone Switching Networks Average Cae Lower Bound for Monoone Swiching Nework Yuval Filmu, Toniann Piai, Rober Robere, Sephen Cook Deparmen of Compuer Science Univeriy of Torono Monoone Compuaion (Refreher) Monoone circui were

More information

Soviet Rail Network, 1955

Soviet Rail Network, 1955 Sovie Rail Nework, 1 Reference: On he hiory of he ranporaion and maximum flow problem. Alexander Schrijver in Mah Programming, 1: 3,. Maximum Flow and Minimum Cu Max flow and min cu. Two very rich algorihmic

More information

Diebold, Chapter 7. Francis X. Diebold, Elements of Forecasting, 4th Edition (Mason, Ohio: Cengage Learning, 2006). Chapter 7. Characterizing Cycles

Diebold, Chapter 7. Francis X. Diebold, Elements of Forecasting, 4th Edition (Mason, Ohio: Cengage Learning, 2006). Chapter 7. Characterizing Cycles Diebold, Chaper 7 Francis X. Diebold, Elemens of Forecasing, 4h Ediion (Mason, Ohio: Cengage Learning, 006). Chaper 7. Characerizing Cycles Afer compleing his reading you should be able o: Define covariance

More information

A Theoretical Analysis on Dynamic Marginal Cost Pricing. Masao Kuwahara Institute of Industrial Science, University of Tokyo.

A Theoretical Analysis on Dynamic Marginal Cost Pricing. Masao Kuwahara Institute of Industrial Science, University of Tokyo. A Theoreical Analyi on Dynamic Marginal Co Pricing Maao Kuahara Iniue of Indurial Science, Univeriy of Tokyo Abrac Thi udy exend he aic marginal co analyi o he dynamic one o ha he dynamic boleneck phenomena

More information

They were originally developed for network problem [Dantzig, Ford, Fulkerson 1956]

They were originally developed for network problem [Dantzig, Ford, Fulkerson 1956] 6. Inroducion... 6. The primal-dual algorihmn... 6 6. Remark on he primal-dual algorihmn... 7 6. A primal-dual algorihmn for he hore pah problem... 8... 9 6.6 A primal-dual algorihmn for he weighed maching

More information

Greedy. I Divide and Conquer. I Dynamic Programming. I Network Flows. Network Flow. I Previous topics: design techniques

Greedy. I Divide and Conquer. I Dynamic Programming. I Network Flows. Network Flow. I Previous topics: design techniques Algorihm Deign Technique CS : Nework Flow Dan Sheldon April, reedy Divide and Conquer Dynamic Programming Nework Flow Comparion Nework Flow Previou opic: deign echnique reedy Divide and Conquer Dynamic

More information

13.1 Accelerating Objects

13.1 Accelerating Objects 13.1 Acceleraing Objec A you learned in Chaper 12, when you are ravelling a a conan peed in a raigh line, you have uniform moion. However, mo objec do no ravel a conan peed in a raigh line o hey do no

More information

What is maximum Likelihood? History Features of ML method Tools used Advantages Disadvantages Evolutionary models

What is maximum Likelihood? History Features of ML method Tools used Advantages Disadvantages Evolutionary models Wha i maximum Likelihood? Hiory Feaure of ML mehod Tool ued Advanage Diadvanage Evoluionary model Maximum likelihood mehod creae all he poible ree conaining he e of organim conidered, and hen ue he aiic

More information

Inventory Analysis and Management. Multi-Period Stochastic Models: Optimality of (s, S) Policy for K-Convex Objective Functions

Inventory Analysis and Management. Multi-Period Stochastic Models: Optimality of (s, S) Policy for K-Convex Objective Functions Muli-Period Sochasic Models: Opimali of (s, S) Polic for -Convex Objecive Funcions Consider a seing similar o he N-sage newsvendor problem excep ha now here is a fixed re-ordering cos (> 0) for each (re-)order.

More information

6.302 Feedback Systems Recitation : Phase-locked Loops Prof. Joel L. Dawson

6.302 Feedback Systems Recitation : Phase-locked Loops Prof. Joel L. Dawson 6.32 Feedback Syem Phae-locked loop are a foundaional building block for analog circui deign, paricularly for communicaion circui. They provide a good example yem for hi cla becaue hey are an excellen

More information

control properties under both Gaussian and burst noise conditions. In the ~isappointing in comparison with convolutional code systems designed

control properties under both Gaussian and burst noise conditions. In the ~isappointing in comparison with convolutional code systems designed 535 SOFT-DECSON THRESHOLD DECODNG OF CONVOLUTONAL CODES R.M.F. Goodman*, B.Sc., Ph.D. W.H. Ng*, M.S.E.E. Sunnnary Exising majoriy-decision hreshold decoders have so far been limied o his paper a new mehod

More information

Introduction to SLE Lecture Notes

Introduction to SLE Lecture Notes Inroducion o SLE Lecure Noe May 13, 16 - The goal of hi ecion i o find a ufficien condiion of λ for he hull K o be generaed by a imple cure. I urn ou if λ 1 < 4 hen K i generaed by a imple curve. We will

More information

1 Evaluating Chromatograms

1 Evaluating Chromatograms 3 1 Evaluaing Chromaograms Hans-Joachim Kuss and Daniel Sauffer Chromaography is, in principle, a diluion process. In HPLC analysis, on dissolving he subsances o be analyzed in an eluen and hen injecing

More information

Designing Information Devices and Systems I Spring 2019 Lecture Notes Note 17

Designing Information Devices and Systems I Spring 2019 Lecture Notes Note 17 EES 16A Designing Informaion Devices and Sysems I Spring 019 Lecure Noes Noe 17 17.1 apaciive ouchscreen In he las noe, we saw ha a capacior consiss of wo pieces on conducive maerial separaed by a nonconducive

More information

T L. t=1. Proof of Lemma 1. Using the marginal cost accounting in Equation(4) and standard arguments. t )+Π RB. t )+K 1(Q RB

T L. t=1. Proof of Lemma 1. Using the marginal cost accounting in Equation(4) and standard arguments. t )+Π RB. t )+K 1(Q RB Elecronic Companion EC.1. Proofs of Technical Lemmas and Theorems LEMMA 1. Le C(RB) be he oal cos incurred by he RB policy. Then we have, T L E[C(RB)] 3 E[Z RB ]. (EC.1) Proof of Lemma 1. Using he marginal

More information

Decentralized Stochastic Control with Partial History Sharing: A Common Information Approach

Decentralized Stochastic Control with Partial History Sharing: A Common Information Approach 1 Decenralized Sochasic Conrol wih Parial Hisory Sharing: A Common Informaion Approach Ashuosh Nayyar, Adiya Mahajan and Demoshenis Tenekezis arxiv:1209.1695v1 [cs.sy] 8 Sep 2012 Absrac A general model

More information

Lecture 4 Notes (Little s Theorem)

Lecture 4 Notes (Little s Theorem) Lecure 4 Noes (Lile s Theorem) This lecure concerns one of he mos imporan (and simples) heorems in Queuing Theory, Lile s Theorem. More informaion can be found in he course book, Bersekas & Gallagher,

More information

4/12/12. Applications of the Maxflow Problem 7.5 Bipartite Matching. Bipartite Matching. Bipartite Matching. Bipartite matching: the flow network

4/12/12. Applications of the Maxflow Problem 7.5 Bipartite Matching. Bipartite Matching. Bipartite Matching. Bipartite matching: the flow network // Applicaion of he Maxflow Problem. Biparie Maching Biparie Maching Biparie maching. Inpu: undireced, biparie graph = (, E). M E i a maching if each node appear in a mo one edge in M. Max maching: find

More information

Explicit form of global solution to stochastic logistic differential equation and related topics

Explicit form of global solution to stochastic logistic differential equation and related topics SAISICS, OPIMIZAION AND INFOMAION COMPUING Sa., Opim. Inf. Compu., Vol. 5, March 17, pp 58 64. Publihed online in Inernaional Academic Pre (www.iapre.org) Explici form of global oluion o ochaic logiic

More information

! Abstraction for material flowing through the edges. ! G = (V, E) = directed graph, no parallel edges.

! Abstraction for material flowing through the edges. ! G = (V, E) = directed graph, no parallel edges. Sovie Rail Nework, haper Nework Flow Slide by Kevin Wayne. opyrigh Pearon-ddion Weley. ll righ reerved. Reference: On he hiory of he ranporaion and maximum flow problem. lexander Schrijver in Mah Programming,

More information

V L. DT s D T s t. Figure 1: Buck-boost converter: inductor current i(t) in the continuous conduction mode.

V L. DT s D T s t. Figure 1: Buck-boost converter: inductor current i(t) in the continuous conduction mode. ECE 445 Analysis and Design of Power Elecronic Circuis Problem Se 7 Soluions Problem PS7.1 Erickson, Problem 5.1 Soluion (a) Firs, recall he operaion of he buck-boos converer in he coninuous conducion

More information

1 Review of Zero-Sum Games

1 Review of Zero-Sum Games COS 5: heoreical Machine Learning Lecurer: Rob Schapire Lecure #23 Scribe: Eugene Brevdo April 30, 2008 Review of Zero-Sum Games Las ime we inroduced a mahemaical model for wo player zero-sum games. Any

More information

Supplement for Stochastic Convex Optimization: Faster Local Growth Implies Faster Global Convergence

Supplement for Stochastic Convex Optimization: Faster Local Growth Implies Faster Global Convergence Supplemen for Sochasic Convex Opimizaion: Faser Local Growh Implies Faser Global Convergence Yi Xu Qihang Lin ianbao Yang Proof of heorem heorem Suppose Assumpion holds and F (w) obeys he LGC (6) Given

More information

NEUTRON DIFFUSION THEORY

NEUTRON DIFFUSION THEORY NEUTRON DIFFUSION THEORY M. Ragheb 4//7. INTRODUCTION The diffuion heory model of neuron ranpor play a crucial role in reacor heory ince i i imple enough o allow cienific inigh, and i i ufficienly realiic

More information

Echocardiography Project and Finite Fourier Series

Echocardiography Project and Finite Fourier Series Echocardiography Projec and Finie Fourier Series 1 U M An echocardiagram is a plo of how a porion of he hear moves as he funcion of ime over he one or more hearbea cycles If he hearbea repeas iself every

More information

MASSACHUSETTS INSTITUTE OF TECHNOLOGY Department of Civil and Environmental Engineering

MASSACHUSETTS INSTITUTE OF TECHNOLOGY Department of Civil and Environmental Engineering MASSACHUSETTS INSTITUTE OF TECHNOLOGY Deparmen of Civil and Environmenal Engineering 1.731 Waer Reource Syem Lecure 17 River Bain Planning Screening Model Nov. 7 2006 River Bain Planning River bain planning

More information

Fractional Ornstein-Uhlenbeck Bridge

Fractional Ornstein-Uhlenbeck Bridge WDS'1 Proceeding of Conribued Paper, Par I, 21 26, 21. ISBN 978-8-7378-139-2 MATFYZPRESS Fracional Ornein-Uhlenbeck Bridge J. Janák Charle Univeriy, Faculy of Mahemaic and Phyic, Prague, Czech Republic.

More information

Online Appendix to Solution Methods for Models with Rare Disasters

Online Appendix to Solution Methods for Models with Rare Disasters Online Appendix o Soluion Mehods for Models wih Rare Disasers Jesús Fernández-Villaverde and Oren Levinal In his Online Appendix, we presen he Euler condiions of he model, we develop he pricing Calvo block,

More information

Reminder: Flow Networks

Reminder: Flow Networks 0/0/204 Ma/CS 6a Cla 4: Variou (Flow) Execie Reminder: Flow Nework A flow nework i a digraph G = V, E, ogeher wih a ource verex V, a ink verex V, and a capaciy funcion c: E N. Capaciy Source 7 a b c d

More information

Random Walk with Anti-Correlated Steps

Random Walk with Anti-Correlated Steps Random Walk wih Ani-Correlaed Seps John Noga Dirk Wagner 2 Absrac We conjecure he expeced value of random walks wih ani-correlaed seps o be exacly. We suppor his conjecure wih 2 plausibiliy argumens and

More information

20. Applications of the Genetic-Drift Model

20. Applications of the Genetic-Drift Model 0. Applicaions of he Geneic-Drif Model 1) Deermining he probabiliy of forming any paricular combinaion of genoypes in he nex generaion: Example: If he parenal allele frequencies are p 0 = 0.35 and q 0

More information

Essential Microeconomics : OPTIMAL CONTROL 1. Consider the following class of optimization problems

Essential Microeconomics : OPTIMAL CONTROL 1. Consider the following class of optimization problems Essenial Microeconomics -- 6.5: OPIMAL CONROL Consider he following class of opimizaion problems Max{ U( k, x) + U+ ( k+ ) k+ k F( k, x)}. { x, k+ } = In he language of conrol heory, he vecor k is he vecor

More information

Flow networks. Flow Networks. A flow on a network. Flow networks. The maximum-flow problem. Introduction to Algorithms, Lecture 22 December 5, 2001

Flow networks. Flow Networks. A flow on a network. Flow networks. The maximum-flow problem. Introduction to Algorithms, Lecture 22 December 5, 2001 CS 545 Flow Nework lon Efra Slide courey of Charle Leieron wih mall change by Carola Wenk Flow nework Definiion. flow nework i a direced graph G = (V, E) wih wo diinguihed verice: a ource and a ink. Each

More information

On Line Supplement to Strategic Customers in a Transportation Station When is it Optimal to Wait? A. Manou, A. Economou, and F.

On Line Supplement to Strategic Customers in a Transportation Station When is it Optimal to Wait? A. Manou, A. Economou, and F. On Line Spplemen o Sraegic Comer in a Tranporaion Saion When i i Opimal o Wai? A. Mano, A. Economo, and F. Karaemen 11. Appendix In hi Appendix, we provide ome echnical analic proof for he main rel of

More information

Guaranteed Strategies to Search for Mobile Evaders in the Plane (Draft)

Guaranteed Strategies to Search for Mobile Evaders in the Plane (Draft) Guaraneed Sraegie o Search for Mobile Evader in he Plane (Draf) Timohy G. McGee and J. Karl Hedrick Abrac Thi paper udie everal problem of earch in he wo-dimenional plane for a mobile inruder or evader.

More information

BU Macro BU Macro Fall 2008, Lecture 4

BU Macro BU Macro Fall 2008, Lecture 4 Dynamic Programming BU Macro 2008 Lecure 4 1 Ouline 1. Cerainy opimizaion problem used o illusrae: a. Resricions on exogenous variables b. Value funcion c. Policy funcion d. The Bellman equaion and an

More information

E β t log (C t ) + M t M t 1. = Y t + B t 1 P t. B t 0 (3) v t = P tc t M t Question 1. Find the FOC s for an optimum in the agent s problem.

E β t log (C t ) + M t M t 1. = Y t + B t 1 P t. B t 0 (3) v t = P tc t M t Question 1. Find the FOC s for an optimum in the agent s problem. Noes, M. Krause.. Problem Se 9: Exercise on FTPL Same model as in paper and lecure, only ha one-period govenmen bonds are replaced by consols, which are bonds ha pay one dollar forever. I has curren marke

More information

Stat13 Homework 7. Suggested Solutions

Stat13 Homework 7. Suggested Solutions Sa3 Homework 7 hp://www.a.ucla.edu/~dinov/coure_uden.hml Suggeed Soluion Queion 7.50 Le denoe infeced and denoe noninfeced. H 0 : Malaria doe no affec red cell coun (µ µ ) H A : Malaria reduce red cell

More information

Sample Final Exam (finals03) Covering Chapters 1-9 of Fundamentals of Signals & Systems

Sample Final Exam (finals03) Covering Chapters 1-9 of Fundamentals of Signals & Systems Sample Final Exam Covering Chaper 9 (final04) Sample Final Exam (final03) Covering Chaper 9 of Fundamenal of Signal & Syem Problem (0 mar) Conider he caual opamp circui iniially a re depiced below. I LI

More information