Maximum Network Lifetime in Wireless Sensor Networks with Adjustable Sensing Ranges

Size: px
Start display at page:

Download "Maximum Network Lifetime in Wireless Sensor Networks with Adjustable Sensing Ranges"

Transcription

1 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 wih adjuable ening range. Communicaion and ening conume energy, herefore efficien power managemen can exend nework lifeime. In hi paper we conider a large number of enor wih adjuable ening range ha are randomly deployed o monior a number of arge. Since arge are redundanly covered by more enor, in order o conerve energy reource, enor can be organized in e, acivaed ucceively. In hi paper we addre he Adjuable Range Se Cover (AR-SC) problem ha ha a i objecive finding a maximum number of e cover and he range aociaed wih each enor, uch ha each enor e cover all he arge. A enor can paricipae in muliple enor e, bu um of he energy pen in each e i conrained by he iniial energy reource. In hi paper we mahemaically model oluion o hi problem and deign heuriic ha efficienly compue he e. Simulaion reul are preened o verify our approache. Keyword: wirele enor nework, energy efficiency, enor cheduling, linear programming, opimizaion. I. INTRODUCTION Wirele enor nework (WSN) coniue he foundaion of a broad range of applicaion relaed o naional ecuriy, urveillance, miliary, healh care, and environmenal monioring. One imporan cla of WSN i wirele ad-hoc enor nework, characerized by an ad-hoc or random enor deploymen mehod [9], where he enor locaion i no known a priori. Thi feaure i required when individual enor placemen i infeaible, uch a balefield or diaer area. Generally, more enor are deployed han required (compared wih he opimal placemen) o perform he propoed ak; hi compenae for he lack of exac poiioning and improve faul olerance. The characeriic of a enor nework [1] include limied reource, large and dene nework, and a dynamic opology. An imporan iue in enor nework i power carciy, driven in par by baery ize and weigh limiaion. Mechanim ha opimize enor energy uilizaion have a grea impac on prolonging he nework lifeime. Power aving echnique can generally be claified in wo caegorie: cheduling he enor node o alernae beween acive and leep mode, and adjuing he ranmiion or ening range of he wirele All auhor are wih he Deparmen of Compuer Science and Engineering, Florida Alanic Univeriy, Boca Raon, FL {mihaela@ce., jie@ce., mlu@, mpervaiz@}fau.edu. Mihaela Cardei i he correponding auhor (phone: ; fax: ). node. In hi paper we deal wih boh mehod. We deign a cheduling mechanim in which only ome of he enor are acive, while all oher enor are in leep mode. Alo, for each enor in he e, he goal i o have a minimum ening range while meeing he applicaion requiremen. In hi paper we addre he arge coverage problem. The goal i o maximize he nework lifeime of a power conrained wirele enor nework, deployed for monioring a e of arge wih known locaion. We conider a large number of enor, deployed randomly in cloe proximiy of a e of arge, ha end he ened informaion o a cenral node for proceing. The mehod ued o exend he nework lifeime i o divide he enor ino a number of e. Uing he propery ha enor have adjuable ening range, he goal i o e up minimum ening range for he acive enor, while aifying he coverage requiremen. Beide reducing he energy conumed, hi mehod lower he deniy of acive node, hu reducing inerference a he MAC layer. The conribuion of hi paper are: (1) inroduce he Adjuable Range Se Cover (AR-SC) problem and he mahemaical model, () deign efficien heuriic (boh cenralized and diribued) o olve he AR-SC problem, uing linear programming and greedy echnique, and () analyze he performance of our approache hrough imulaion. The re of he paper i organized a follow. In ecion II we preen relaed work on enor coverage problem. Secion III define AR-SC problem and ecion IV preen our heuriic conribuion. In ecion V we preen he imulaion reul and ecion VI conclude our paper. II. RELATED WORK In hi paper we addre he enor coverage problem. A poined ou in [1], he coverage concep i a meaure of he qualiy of ervice (QoS) of he ening funcion and i ubjec o a wide range of inerpreaion due o a large variey of enor and applicaion. The goal i o have each locaion in he phyical pace of inere wihin he ening range of a lea one enor. A urvey on coverage problem in wirele enor nework i preened in [4]. The coverage problem can be claified in he following ype [4]: (1) area coverage [5], [1], [1], [14], [16], where he objecive i o cover an area, () poin coverage [], [], [6], where he objecive i o cover a e of arge, and () coverage problem ha have he objecive o deermine he maximal uppor/breach pah ha ravere a enor field [1].

2 An imporan mehod for exending he nework lifeime for he area coverage problem i o deign a diribued and localized proocol ha organize he enor node in e. The nework aciviy i organized in round, wih enor in he acive e performing he area coverage, while all oher enor are in he leep mode. Se formaion i done baed on he problem requiremen, uch a energy-efficiency, area monioring, conneciviy, ec. Differen echnique have been propoed in lieraure [5], [1], [1], [14], [16] for deermining he eligibiliy rule, ha i, o elec which enor will be acive in he nex round. In [14], he auhor addreed area coverage when enor can adju heir ening range. For applicaion ha require more ringen faul-olerance or for poiioning applicaion, k-coverage migh be a requiremen. In [8], he goal i o deermine wheher a given area aifie he k-coverage requiremen, when each poin in he area of inere i covered by a lea k enor. Boh uniform and non-uniform ening range are conidered, and he k- coverage propery i reduced o he k perimeer coverage of each enor in he nework. A differen coverage formulaion i given in [1]. A pah ha he wor (be) coverage if i ha he propery ha for any poin on he pah, he diance o he cloe enor i maximized (minimized). Given he iniial and final locaion of an agen, and a field inrumened wih enor, auhor [1] propoed cenralized oluion o he wor (be) coverage baed on he obervaion ha wor coverage pah lie on he Voronoi diagram line and be coverage pah lie on Delaunay riangulaion line. The work mo relevan o our approache are [] and []. Paper [] inroduce he arge coverage problem, where dijoin enor e are modeled a dijoin e cover, uch ha every cover compleely monior all he arge poin. The dijoin e coverage problem i proved o be NP-complee, and a lower bound of for any polynomial-ime approximaion algorihm i indicaed. The dijoin e cover problem [] i reduced o a maximum flow problem, which i hen modeled a mixed ineger programming. Thi problem i furher exended in [], where enor are no rericed o paricipaion in only dijoin e, ha i, a enor can be acive in more han one e. The coverage breach problem i inroduced in [6], addreing he cae when enor nework have limied bandwidh. The objecive of he problem i o organize he enor in dijoin e, uch ha each e ha a given bounded number of enor and he overall breach i minimized. The overall breach i meaured a he number of arge uncovered by he enor e. Our paper i an exenion of he maximum e cover problem addreed in [], for he cae when enor node can adju heir ening range. Our goal i o reduce he ening range of he acive enor, while mainaining he coverage requiremen. Thi mehod ha a double impac: fir i reduce energy conumpion, and econd i reduce inerference a he MAC layer. Senor wih adjuable ening range are available commercially [11], [14]. Compared wih [], in hi paper we are alo concerned wih deigning a diribued and localized algorihm (ee ecion IV- B.) for he AR-SC problem. Diribuion and localizaion are imporan properie of a node cheduling mechanim, a i adap beer o a calable and dynamic opology. III. PROBLEM DEFINITION Le u aume ha N enor 1,,..., N are randomly deployed o cover M arge,,..., M. Each enor ha an iniial energy E and ha he capabiliy o adju i ening range. Sening range opion are r 1, r,..., r P, correponding o energy conumpion of e 1, e,..., e P. We aume a bae aion (BS) locaed wihin he communicaion range of each enor. One mehod o compue he enor - arge coverage relaionhip i o conider ha a enor cover a arge if he Euclidean diance beween he enor and arge i no greaer han a predefined ening range. The formal problem definiion i given below: Definiion 1: Targe Coverage Problem [] Given M arge wih known locaion and an energy conrained WSN wih N enor randomly deployed in he arge viciniy, chedule he enor node aciviy uch ha all arge are coninuouly oberved and nework lifeime i maximized. The approach we ued in hi paper i o organize he enor in e, uch ha only one e i reponible for monioring he arge, and all oher enor are in leep mode. Beide deermining he e cover, we are alo concerned wih eing he ening range of each acive enor. The goal i o ue a minimum ening range in order o minimize he energy conumpion, while meeing he arge coverage requiremen. Nex we formally define he Adjuable Range Se Cover (AR-SC) problem, ued o olve he arge coverage problem. Definiion : AR-SC Problem Given a e of arge and a e of enor wih adjuable ening range, find a family of e cover c 1,c,..., c K and deermine he ening range of each enor in each e, uch ha (1) K i maximized, () each enor e monior all arge, and () each enor appearing in he e c 1,c,..., c K conume a mo E energy. In AR-SC definiion, he requiremen o maximize K i equivalen wih maximizing he nework lifeime. The ening range of a enor deermine he energy conumed by he enor when ha e i acivaed. If a enor paricipae in more han one e, hen he um of energy pen ha o be a mo E. AR-SC problem i NP-complee, by rericion mehod [7]. Maximum Se Cover [] i a pecial cae of AR-SC problem when he number of ening range P =1and when he ime a enor i acive i conidered o be he energy conumed. Figure 1 (a) how an example wih four enor 1,,, 4 and hree arge,,. Each enor ha wo ening range r 1,r wih r 1 <r. In hi example we aume a node ening area i he dik cenered a he enor, wih

3 r 1 r (a) Fig. 1. Example wih hree arge T = {,, } and four enor S = { 1,,, 4 } (b) 4 1 (a) (b) 4 a radiu equal o he ening range. We ue a olid line o denoe range r 1 and a doed line for range r. The coverage relaionhip beween enor and arge are alo illuraed in Figure 1 (b): ( 1,r 1 )={ }, ( 1,r )={, }, (,r 1 )= { }, (,r )={, }, (,r 1 )={ }, (,r )={, }, ( 4,r 1 ) = {, } and ( 4,r ) = {,, }. The doed line in Figure 1 (b) how he addiional arge covered by increaing he ening range from r 1 o r. Noe ha a circular ening area i no a requiremen for our oluion; we are ju concerned wih idenifying which enor cover each arge. In hi paper, a enor can be par of more han one cover e. Le u conider for hi example E =, e 1 =.5, and e =1. Each e cover i acive for a uni ime of 1. One oluion for he AR-SC problem ue he e cover illuraed in he Figure. Thi oluion ha five differen e cover, and maximum lifeime 6, obained for example wih he following equence of e cover: C 1, C, C, C 4, C 5,andC 4. Afer hi equence, he reidual energy of each enor become zero. If enor node do no have adjuable ening range, hen we obain a lifeime 4 for a ening range equal o r. Senor can be organized in wo diinc e cover, uch a {( 1,r ), (,r )} and {( 4,r )}, and each can be acive wice. The number of ime a e cover i acive depend on he reidual energy value. Therefore, hi example how a 5% lifeime increae when uing adjuable ening range. IV. SOLUTIONS FOR THE AR-SC PROBLEM In hi ecion we preen hree heuriic for olving he AR-SC problem. In ecion IV-A we formulae he problem uing ineger programming and hen olve i uing relaxaion and rounding echnique. In ecion IV-B we propoe a greedy heuriic, where boh cenralized and diribued (localized) oluion are given for compuing he e cover. The cenralized heuriic are execued a he BS. Once he enor are deployed, hey end heir coordinaion o he BS. The BS compue and broadca back he enor chedule. In he diribued and localized algorihm, each enor node deermine i chedule baed on communicaion wih one-hop neighbor. 1 4 (c) (e) Fig.. Five e cover: C 1 = {( 1,r 1 ), (,r )}, C = {( 1,r ), (,r 1 )}, C = {(,r 1 ), (,r )}, C 4 = {( 4,r ), and C 5 = {( 1,r 1 ), (,r 1 ), (,r 1 )} A. Ineger Programming baed Heuriic In hi ubecion we fir formulae he AR-SC problem uing ineger programming in ecion IV-A.1 and hen preen he LP-baed heuriic in ecion IV-A.. 1. Ineger Programming Formulaion of he AR-SC Problem Given: N enor node 1,..., N Marge,,..., M P ening range r 1, r,..., r P and he correponding energy conumpion e 1, e,..., e P iniial enor energy E he coefficien howing he relaionhip beween enor, radiu and arge: a ipj =1if enor i wih radiu r p cover he arge j. For impliciy, we ue he following noaion: i: i h enor, when ued a index j: j h arge, when ued a index p: p h ening range, when ued a index k: k h cover, when ued a index Variable: (d)

4 4 c k, boolean variable, for k =1..K; c k =1if hi ube i a e cover, oherwie c k =. x ikp, boolean variable, for i =1..N, k =1..K, p =1..P ; x ikp =1if enor i wih range r p i in cover k, oherwie x ikp =. Maximize c 1... c K ubjec o K k=1 ( P p=1 x ikpe p ) E for all i =1..N P p=1 x ikp c k for all i =1..N, k =1..K N i=1 ( P p=1 x ikp a ipj ) c k for all k =1..K, j =1..M x ikp {, 1} and c k {, 1} Remark: 1) K repreen an upper bound for he number of cover ) The fir conrain, K j=1 ( P p=1 x ikpe p ) E for any i =1..N, guaranee ha he energy conumed by each enor i i le han or equal o E, which i he aring energy of each enor. ) The econd conrain, P p=1 x ikp c k for any i = 1..N and k =1..K, aure ha, if enor i i par of he cover k hen exacly one of i P ening range are e. 4) The hird conrain, N i=1 ( P p=1 x ikp a ipj ) c k for any k =1..K and j =1..M, guaranee ha each arge j i covered by each e c k.. LP-baed Heuriic In hi ubecion we propoe a heuriic o olve he AR-SC problem. In ecion IV-A.1 we preened he Ineger Programming (IP) baed formulaion. Since IP i NP-hard, we propoe o ue a relaxaion and rounding mechanim. We fir relax he IP o Linear Programming (LP), olve he LP in polynomial ime, and hen round he oluion in order o ge a feaible oluion for he IP. Relaxed Linear Programming: Maximize c 1... c K ubjec o K k=1 ( P p=1 x ikpe p ) E for all i =1..N P p=1 x ikp c k for all i =1..N, k =1..K N i=1 ( P p=1 x ikp a ipj ) c k for all k =1..K, j =1..M x ikp 1 for all i =1..N, k =1..K, and p =1..P c k 1 for all k =1..K LP-baed Heuriic 1: olve he LP and ge he opimal oluion x ikp and c k : e x ikp =and c k =for all i =1..N, k =1..K, p = 1..P : or c k in nonincreaing order c 1, c,..., c K 4: for all variable c k aken from he li in nonincreaing order do 5: if c k > hen 6: / ry o build a e cover if c k > / 7: or x ikp, i =1..N, p =1..P in nonincreaing order 8: for all x ikp do 9: if x ikp cover new arge and enor i ha a lea e p energy a he beginning of eing up he cover c k hen 1: e up he range of enor i o r p, x ikp =1 11: ele 1: x ikp = 1: end if 14: end for 15: if all arge are covered by x ikp having value 1 hen 16: / we formed a valid e cover / 17: e c k =1 18: updae reidual energy of any enor i wih range r p in c k : E i = E i e p 19: ele : e c k =and ree x ikp =for any i =1..N and p =1..P 1: end if : end if : end for 4: reurn he oal number of e cover K k=1 c k The heuriic ar in line 1 by olving he relaxed LP ha oupu he opimal oluion x ikp and c k. We round hi oluion in order o ge a feaible oluion x ikp and c k for he IP. We ue a greedy approach, by giving prioriy o he e cover wih a larger c k. When adding enor o a cover c k, prioriy i given o he enor wih larger x ikp. We or value c k in he nonincreaing order. In line 8..14, we add enor o he curren e cover k, by adding fir he enor wih higher x ikp value. If, laer, he ame enor wih a larger range i encounered, he new range eing i ued if new arge are covered and if he enor ha ufficien energy reource for hi eing. If all he arge are covered by he eleced enor in hi e cover, hen we e c k =1. Oherwie, forming he curren e cover wa unucceful, c k =, and all of e k member are removed ( x ikp =for any i =1..N and p =1..P ). The complexiy of hi algorihm i dominaed by he linear programming olver. The be performance i O(n ) uing Ye algorihm [15], where n i he number of variable. In our cae n = K(1 NP), wherep uually a mall number. B. Greedy baed Heuriic In hi ubecion we propoe wo greedy oluion for he AR-SC problem. The cenralized oluion i given in ubecion IV-B.1 followed by a diribued and localized oluion in ubecion IV-B.. 1. Cenralized Greedy Heuriic In hi ubecion we preen a cenralized greedy heuriic. We ue he following noaion: T ip : he e of uncovered arge wihin he ening range r p of enor i.

5 5 B ip : he conribuion of enor i wih range r p. B ip = T ip /e p. B ip : he incremenal conribuion of he enor i when i ening range i increaed o r p. B ip = T ip / e p, where T ip = T ip T iq and e p = e p e q.the range r q i he curren ening range of he enor i, hu r p >r q. Iniially, all he enor have aigned a ening range r =and he correponding energy i e =. C k :heeofenorinhekh cover. T Ck : he e of arge uncovered by he e C k. The algorihm elec enor in a greedy fahion, baed on heir conribuion value. A conribuion parameer B ip i aociaed wih each (enor, range) pair. For breviy, in cae of no ambiguiy, we wrie (i, p) inead of ( i,r p ). Inuiively, a enor ha cover more arge per uni of energy hould have higher prioriy in being eleced in a enor cover. We are uing he incremenal conribuion parameer B ip,defined a he beginning of hi ubecion, a he elecion deciion parameer. In our algorihm, we are concerned no only wih elecing he enor of each e cover, bu alo wih deermining heir ening range. Inuiively, a maller ening range i preferable a long a he arge coverage objecive i me, ince energy reource are conerved, allowing he enor o be operaional longer. Our algorihm repeaedly conruc e cover, a long a each arge i covered by a lea one enor wih enough energy reource. In forming a e cover, enor are eleced repeaedly, giving prioriy o he enor wih highe conribuion. We aume ha iniially all he enor have been aigned he range r =. If a enor i i eleced baed on i conribuion B ip, i ening range i increaed o r p. Once he e cover i formed (e.g. all arge are covered by he eleced e of enor), he enor wih a ening range greaer han zero form he e of acive enor, while all oher enor wih ening range r will be in leep mode. Aume ha a enor (i, p) wih he highe conribuion B il i eleced o be added o he curren e cover. Then he enor i updae i ening range from r p o r l. For each enor node x ha cover a lea one arge in T il, we updae T xu = T xu T il and B xu for any range r u greaer han he curren ening range of x. Noe ha alhough here are P ening range for each enor, we mainain conribuion value only for hoe ening range for which ufficien reidual energy i available. For example, if he reidual energy E x of he enor x aifie he relaion e q E x <e q1, hen we conider only he conribuion B xu for u q. We preen nex he Cenralized Greedy Algorihm ha repeaedly conruc e cover a long a each arge i covered by a lea one enor node wih ufficien reidual energy. Cenralized Greedy Algorihm 1: e he reidual energy of each enor i o E, E i = E : aign o each enor i a range r = having he correponding energy e = : k = 4: while each arge i covered by a lea on enor (i, p) and E i >e p do 5: /* a new e cover will be formed */ 6: k = k 1 7: T Ck = { j j =1..m} 8: for each enor i compue B ip and T ip, for all ening range ha can be e up wih he curren reidual energy 9: while T Ck do 1: /* more arge have o be covered */ 11: elec he enor (i, p) wih he highe conribuion value B il 1: increae enor i ening range from r p o r l 1: T Ck = T Ck T il 14: for all (x, u) uch ha T xu T il do 15: /* updae he uncovered arge e and he incremenal conribuion */ 16: updae T xu = T xu T il 17: updae B xu = T xu / e u 18: end for 19: end while : for all (i, p) C k do 1: updae he reidual energy of enor i, E i = E i e p : end for : end while 4: oupu he number of e cover k The complexiy of Cenralized Greedy Algorihm i O(MN P E e 1 ). The number of ieraion of he while loop (line 4..) i upper-bounded by N E e 1, correponding o he cae when all he arge are covered by all enor wih range r 1. The complexiy of he inner while loop (line 9..19) i upperbounded by MNP.. Diribued and Localized Heuriic In hi ubecion, we exend he algorihm inroduced in ubecion IV-B.1 o a diribued and localized verion. We ue he noaion inroduced in he previou ubecion. By diribued and localized we refer o a deciion proce a each node ha make ue of only informaion for a neighborhood wihin a conan number of hop. A diribued and localized algorihm i deirable in wirele enor nework ince i adap beer o dynamic and large opologie. The diribued greedy algorihm run in round. Each round begin wih an iniializaion phae, where enor decide wheher hey will be in an acive or leep mode during he curren round. The iniializaion phae ake W ime, where W i far le han he duraion of a round. Each enor mainain a waiing ime, afer which i decide i au (leep or acive) and i ening range, and hen i broadca he li of arge i cover o i one-hop neighbor. The waiing ime of each enor i depend on i conribuion, and i e up iniially o W i =(1 BiP B max ) W where B max i he large poible conribuion, defined a B max = M/e 1,whereM i he number of arge.

6 6 The waiing ime can change during he iniializaion phae, when broadca meage are received from neighbor. If a enor i receive a broadca meage from one of i neighbor, hen i updae he e of uncovered arge T ip and e up i ening range o he malle value r u needed o cover hi e of arge. The enor conribuion value i alo updaed o B iu.ifall i arge are already covered by i neighbor, hen i e up i ening range o r =. The waiing ime W i of he enor i i alo updaed o (1 Biu B max ) W. A he end of i waiing ime, a enor broadca i au (acive or leep) a well a he li of arge i cover. If i ening range i r hen hi enor node will be in he leep mode, oherwie i will be acive during hi round. A differen enor have differen waiing ime, hi erialize he enor broadca in heir local neighborhood and give prioriy o he enor wih higher conribuion. Thee enor decide heir au and broadca heir arge coverage informaion fir. In hi algorihm we ue a dicree ime window, where d i he lengh of he ime lo. Thu, he ime window W ha W d ime uni. If he waiing ime of wo enor i and j are oo cloe, i.e. W i W j <d, hen he enor ha are neighbor o boh i and j canno ell from whom he meage wa received, hu hey will no updae heir uncovered arge e. We aume enor node are ynchronized and he proocol ar by having he bae aion (BS) broadca a ar meage. If, afer he iniializaion phae, a enor i canno cover one of he arge in he e T ip and i waiing ime reached he value zero, hen i end hi failure informaion o BS. In our algorihm, we meaure he nework lifeime a he ime unil BS deec he fir failure. Nex we preen he Diribued Greedy Iniializaion,ha i run by each enor i, i =1..N during he iniializaion phae: Diribued Greedy Iniializaion ( i ) 1: compue he waiing ime W i and ar imer : while W i and T ip do : if meage from neighbor enor i received hen 4: updae T ip and e-up he ening range o he malle value r u needed o cover T ip 5: if T ip == hen 6: e i ening range o r 7: break 8: end if 9: updae i conribuion o B iu 1: updae he waiing ime W i o (1 Biu B max ) W 11: end if 1: end while 1: /* aume i ening range wa e up o r u */ 14: if r u == r hen 15: i broadca i leep ae deciion 16: reurn 17: end if 18: if E i <e u hen 19: i repor failure o BS, indicaing he arge i canno cover due o he energy conrain : end if 1: i broadca informaion abou he e of arge T iu i will monior during hi round : reurn The complexiy of he Diribued Greedy Iniializaion procedure i O( W d NMP). Thi correpond o he cae when i receive meage from N neighbor, each d ime. The updae for each meage ake O(MP). V. SIMULATION RESULTS In hi ecion, we evaluae he performance of LP-baed and greedy-baed heuriic. We imulae a aionary nework wih enor node and arge randomly locaed in a 1m 1m area. We aume enor are homogeneou and iniially have he ame energy. In he imulaion, we conider he following unable parameer: N he number of enor node. In our experimen we vary N beween 5 and 5. M he number of arge o be covered. I varie beween 5 o 5. P ening range r 1,r,...,r P.WevaryP beween 1 and 6, and he ening range value beween 1m and 6m. Energy conumpion model e p (r p ). We evaluae nework lifeime under linear (e p =Θ(r p )) and quadraic (e p = Θ(rp )) energy conumpion model. Time lo d in he diribued greedy heuriic. d how he impac of he ranfer delay on he performance of he diribued greedy heuriic. We vary d beween. and.75. In he fir experimen in Figure, we compare he nework lifeime compued by LP-baed, cenralized greedy and diribued greedy heuriic when we vary he number of enor. We conider 1 arge randomly deployed, and we vary he number of enor beween 5 and 1 wih an incremen of 5. Each enor ha wo adjuable ening range, m and 6m. The energy conumpion model i linear. Nework lifeime reul reurned by he heuriic are cloe and hey increae wih enor deniy. When more enor are deployed, each arge i covered by more enor, hu more e cover can be formed. In he econd experimen in Figure 4, we udy he impac of he number of adjuable ening range on nework lifeime. We conider 4 arge randomly diribued and we vary he number of enor beween 1 and 5 wih an incremen of 1. We le he large ening range equal o 6m for all cae. We compare he nework lifeime when enor uppor up o 6 ening range adjumen: r 1 =6m, r =5m, r =4m, r 4 =m, r 5 =m, andr 6 =1m. A cae wih P ening range, where P =1..6, allow each enor node o adju P ening range r 1, r,..., r P. Noe ha P =1i he cae when all enor node have a fixed ening range wih value 6m.

7 LP-baed Cenralized Greedy Diribued Greedy Cenralized Diribued d=. Diribued d=.5 Diribued d=.75 Lifeime 5 5 Lifeime Number of Senor Number of Senor Fig.. Nework lifeime wih number of enor Fig. 5. Nework lifeime for differen value of he ime lo d Lifeime ening range 5 ening range 4 ening range ening range ening range 1 ening range Lifeime Linear 5 arge Quadraic 5 arge Linear 5 arge Quadraic 5 arge Number of Senor Number of Senor Fig. 4. Nework lifeime for differen ening range value Fig. 6. Linear and quadraic energy model Simulaion reul indicae ha adjuable ening range have grea impac on nework lifeime, epecially when increaing P from 1 o, or 4. When increaing P from 4 ening range o 5 or 6 ening range, he nework lifeime increae a a lower rae. From P = 1 o P =, he nework lifeime increae wih more han e cover on average. Thi imulaion reul alo juify he conribuion of hi paper, howing ha adjuable ening range can grealy conribue o increaing he nework lifeime. In Figure 5 we compare he nework lifeime produced by cenralized and diribued greedy algorihm. We meaure he nework lifeime when he number of enor varie beween 1 and 5 wih an incremen of 1 and he number of arge i 5. Each enor ha 6 ening range wih value 1m, m, m, 4m, 5m, and6m. The energy conumpion model i linear. We changehe lenghof he ime lod in he diribued greedy algorihm o d =.,.5, and.75. Nework lifeime produced by he cenralized algorihm i longer han ha produced by he diribued algorihm. Thi happen becaue he cenralized greedy heuriic ha global informaion and can alway elec he enor wih he greae conribuion. Alo, if here i a ie beween he conribuion of differen enor, he cenralized greedy heuriic can break he ie arbirarily, wihou any addiional co. In he diribued heuriic, breaking a ie i a he expene of backoff ime, and here i alo no guaranee of no conflic. A conflic occur when enor broadca a he ame ime baed on heir conribuion. Then, here migh be enor ha work inead of going o he leep ae, even if he arge wihin heir ening range are already covered. A illuraed in Figure 5, he ranfer delay alo affec he nework lifeime. The longer he ranfer delay i, he maller he lifeime. In Figure 6 we udy he impac of wo energy model on he nework lifeime compued by he diribued greedy heuriic when we vary he number of enor beween 4 and, and he number of arge i 5 or 5. Each enor ha P =ening range wih value 1m, m, and m. The wo energy model are he linear model e p = c 1 r p,and quadraic model e p = c rp. In hi experimen we defined conan c 1 = E/( P r=1 r p) and c = E/( P r=1 r p ), where E =1i he enor aring energy. For boh energy model, he imulaion reul are conien and indicae ha nework lifeime increae wih he number of enor and decreae a more arge have o be moniored. In Figure 7, we give an example of coverage produced by cenralized and diribued heuriic. We aume a 1m 1m area, wih 4 enor and arge. Each enor ha P = ening range wih value 1m, m, and m. We ue olid line o repreen r 1 = 1m, dahed line for r =mand doed line for r =m. Weueda linear energy model. The fir graph repreen he enor and arge random deploymen. Figure 7 (b) and (c) how e cover produced by he cenralized and diribued greedy heuriic. The acive enor are blackened and he line ype indicae he ening range value.

8 (b) (a) Fig. 7. Se cover example, where and are inacive (leeping) and acive enor, repecively and are arge. (a) Senor and arge deploymen. (b) Se cover produced by he cenralized greedy heuriic. (c) Se cover produced by he diribued greedy heuriic. The imulaion reul can be ummarized a follow: Given he number of arge and he ening range value, he nework lifeime oupu by our heuriic increae wih he number of enor deployed. Nework lifeime increae wih he number of adjuable ening range. Greaer impac i oberved when increaing P from 1 o mall value (P 5). Afer ha he increae in he nework lifeime converge a a lower rae. Even if he wo cenralized oluion perform beer han he diribued oluion (longer nework lifeime), uing a diribued and localized heuriic i an imporan characeriic for a oluion in wirele enor nework environmen. Tranfer delay ued for inernode communicaion in he diribued greedy heuriic affec he nework lifeime. Smaller ranfer delay reul in longer nework lifeime. For boh linear and quadraic energy model, nework lifeime increae wih he number of enor and decreae a more arge have o be covered. (c) VI. CONCLUSIONS In hi paper we propoed cheduling model for he arge coverage problem for wirele enor nework wih adjuable ening range. The problem addreed in hi paper i o deermine maximum nework lifeime when all arge are covered and enor energy reource are conrained. In hi paper we inroduced he mahemaical model, propoed efficien heuriic (boh cenralized and diribued and localized) uing ineger programming formulaion and greedy approache, and verified our approache hrough imulaion. In our fuure work we will inegrae he enor nework conneciviy requiremen. Mainaining conneciviy among he eleced enor ha an advanage in faciliaing he exchange of informaion beween enor and he bae aion. ACKNOWLEDGMENT Thi work i uppored in par by NSF gran CCR 9741, CNS 445, CNS 476, and EIA 186. REFERENCES [1] I. F. Akyildiz, W. Su, Y. Sankaraubramaniam and E. Cayirci, A Survey on Senor Nework, IEEE Communicaion Magazine, pp 1-114, Aug.. [] M. Cardei, D.-Z. Du, Improving Wirele Senor Nework Lifeime hrough Power Aware Organizaion, ACM Wirele Nework, Vol 11, No, May 5. [] M. Cardei, M. Thai, Y. Li, and W. Wu, Energy-Efficien Targe Coverage in Wirele Senor Nework, IEEE INFOCOM 5, Mar. 5. [4] M. Cardei, J. Wu, Energy-Efficien Coverage Problem in Wirele Ad Hoc Senor Nework, acceped o appear in Compuer Communicaion, pecial iue on Senor Nework. [5] J. Carle and D. Simplo, Energy Efficien Area Monioring by Senor Nework, IEEE Compuer, Vol 7, No (4) [6] M. Cheng, L. Ruan, and W. Wu, Achieving Minimum Coverage Breach under Bandwidh Conrain in Wirele Senor Nework, IEEE INFO- COM 5, Mar. 5. [7] M. R. Garey and D. S. Johnon, Compuer and Inracabiliy: A guide o he heory of NP-compleene, W. H. Freeman, [8] C.-F. Huang and Y.-C. Teng, The Coverage Problem in a Wirele Senor Nework, ACM MobiCom, pp , Sep.. [9] S. Megerian, M. Pokonjak, Wirele Senor Nework, Wiley Encyclopedia of Telecommunicaion, Edior: John G. Proaki, Dec.. [1] S. Meguerdichian, F. Kouhanfar, M. Pokonjak, and M. Srivaava, Coverage Problem in Wirele Ad-Hoc Senor Nework, IEEE Infocom, pp , 1. [11] Phooelecric Senor, hp:// [1] D. Tian and N. D. Georgana, A Coverage-Preerving Node Scheduling Scheme for Large Wirele Senor Nework, Proc. of he 1 ACM Workhop on Wirele Senor Nework and Applicaion,. [1] X. Wang, G. Xing, Y. Zhang, C. Lu, R. Ple, and C. D. Gill, Inegraed Coverage and Conneciviy Configuraion in Wirele Senor Nework, Fir ACM Conference on Embedded Neworked Senor Syem,. [14] J. Wu and S. Yang, Coverage and Conneciviy in Senor Nework wih Adjuable Range, Inernaional Workhop on Mobile and Wirele Neworking (MWN), Aug. 4. [15] Y. Ye, An o(n l) Poenial Reducion Algorihm for Linear Programming, Mahemaical Programming, Vol 5, pp 9-58, [16] H. Zhang and J. C. Hou, Mainaining Sening Coverage and Conneciviy in Large Senor Nework, NSF Inernaional Workhop on Theoreical and Algorihmic Apec of Senor, Ad Hoc Wirele and Peer-o-Peer Nework, Feb. 4.

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

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

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

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

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

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

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

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

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

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

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

Network Flows UPCOPENCOURSEWARE number 34414

Network Flows UPCOPENCOURSEWARE number 34414 Nework Flow UPCOPENCOURSEWARE number Topic : F.-Javier Heredia Thi work i licened under he Creaive Common Aribuion- NonCommercial-NoDeriv. Unpored Licene. To view a copy of hi licene, vii hp://creaivecommon.org/licene/by-nc-nd/./

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

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

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

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

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

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

, 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

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

Let. x y. denote a bivariate time series with zero mean.

Let. x y. denote a bivariate time series with zero mean. Linear Filer Le x y : T denoe a bivariae ime erie wih zero mean. Suppoe ha he ime erie {y : T} i conruced a follow: y a x The ime erie {y : T} i aid o be conruced from {x : T} by mean of a Linear Filer.

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

Matching. Slides designed by Kevin Wayne.

Matching. Slides designed by Kevin Wayne. Maching Maching. Inpu: undireced graph G = (V, E). M E i a maching if each node appear in a mo edge in M. Max maching: find a max cardinaliy maching. Slide deigned by Kevin Wayne. Biparie Maching Biparie

More information

Algorithms and Data Structures 2011/12 Week 9 Solutions (Tues 15th - Fri 18th Nov)

Algorithms and Data Structures 2011/12 Week 9 Solutions (Tues 15th - Fri 18th Nov) Algorihm and Daa Srucure 2011/ Week Soluion (Tue 15h - Fri 18h No) 1. Queion: e are gien 11/16 / 15/20 8/13 0/ 1/ / 11/1 / / To queion: (a) Find a pair of ube X, Y V uch ha f(x, Y) = f(v X, Y). (b) Find

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

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

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

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

CS 473G Lecture 15: Max-Flow Algorithms and Applications Fall 2005

CS 473G Lecture 15: Max-Flow Algorithms and Applications Fall 2005 CS 473G Lecure 1: Max-Flow Algorihm and Applicaion Fall 200 1 Max-Flow Algorihm and Applicaion (November 1) 1.1 Recap Fix a direced graph G = (V, E) ha doe no conain boh an edge u v and i reveral v u,

More information

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

Soviet Rail Network, 1955

Soviet Rail Network, 1955 7.1 Nework Flow Sovie Rail Nework, 19 Reerence: On he hiory o he ranporaion and maximum low problem. lexander Schrijver in Mah Programming, 91: 3, 00. (See Exernal Link ) Maximum Flow and Minimum Cu Max

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

! 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

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

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

QoS-Oriented Distributed Opportunistic Scheduling for Wireless Networks with Hybrid Links Globecom 2013 - 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,

More information

An Inventory Replenishment Model for Deteriorating Items with Time-varying Demand and Shortages using Genetic Algorithm

An Inventory Replenishment Model for Deteriorating Items with Time-varying Demand and Shortages using Genetic Algorithm An Invenory Replenihmen odel for Deerioraing Iem wih ime-varying Demand and Shorage uing Geneic Algorihm An Invenory Replenihmen odel for Deerioraing Iem wih ime-varying Demand and Shorage uing Geneic

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

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

Algorithm Design and Analysis

Algorithm Design and Analysis Algorihm Deign and Analyi LECTURE 0 Nework Flow Applicaion Biparie maching Edge-dijoin pah Adam Smih 0//0 A. Smih; baed on lide by E. Demaine, C. Leieron, S. Rakhodnikova, K. Wayne La ime: Ford-Fulkeron

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

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

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

arxiv: v1 [cs.cg] 21 Mar 2013

arxiv: v1 [cs.cg] 21 Mar 2013 On he rech facor of he Thea-4 graph Lui Barba Proenji Boe Jean-Lou De Carufel André van Renen Sander Verdoncho arxiv:1303.5473v1 [c.cg] 21 Mar 2013 Abrac In hi paper we how ha he θ-graph wih 4 cone ha

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

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

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

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

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

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

Please Complete Course Survey. CMPSCI 311: Introduction to Algorithms. Approximation Algorithms. Coping With NP-Completeness. Greedy Vertex Cover

Please Complete Course Survey. CMPSCI 311: Introduction to Algorithms. Approximation Algorithms. Coping With NP-Completeness. Greedy Vertex Cover Pleae Complee Coure Survey CMPSCI : Inroducion o Algorihm Dealing wih NP-Compleene Dan Sheldon hp: //owl.oi.uma.edu/parner/coureevalsurvey/uma/ Univeriy of Maachue Slide Adaped from Kevin Wayne La Compiled:

More information

16 Max-Flow Algorithms and Applications

16 Max-Flow Algorithms and Applications Algorihm A proce canno be underood by opping i. Underanding mu move wih he flow of he proce, mu join i and flow wih i. The Fir Law of Mena, in Frank Herber Dune (196) There a difference beween knowing

More information

DETC2004/CIE ALGORITHMIC FOUNDATIONS FOR CONSISTENCY-CHECKING OF INTERACTION-STATES OF MECHATRONIC SYSTEMS

DETC2004/CIE ALGORITHMIC FOUNDATIONS FOR CONSISTENCY-CHECKING OF INTERACTION-STATES OF MECHATRONIC SYSTEMS Proceeding of DETC 04 ASME 2004 Deign Engineering Technical Conference and Compuer and Informaion in Engineering Conference Sal Lake Ciy, Uah, USA, Sepember 28-Ocober 2, 2004 DETC2004/CIE-79 ALGORITHMIC

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

Selfish Routing and the Price of Anarchy. Tim Roughgarden Cornell University

Selfish Routing and the Price of Anarchy. Tim Roughgarden Cornell University Selfih Rouing and he Price of Anarchy Tim Roughgarden Cornell Univeriy 1 Algorihm for Self-Inereed Agen Our focu: problem in which muliple agen (people, compuer, ec.) inerac Moivaion: he Inerne decenralized

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

The Primal Simplex Approach to the QoS Routing Problem

The Primal Simplex Approach to the QoS Routing Problem The Primal Simplex Approach o he QoS Rouing Problem Ying Xiao, Krihnaiyan Thulairaman Univeriy of Oklahoma, Norman, OK {ying_xiao, hulai}@ou.edu Guoliang Xue Arizona Sae Univeriy, Tempe, AZ xue@au.edu

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

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

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

A Hop Constrained Min-Sum Arborescence with Outage Costs

A Hop Constrained Min-Sum Arborescence with Outage Costs A Hop Consrained Min-Sum Arborescence wih Ouage Coss Rakesh Kawara Minnesoa Sae Universiy, Mankao, MN 56001 Email: Kawara@mnsu.edu Absrac The hop consrained min-sum arborescence wih ouage coss problem

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

18.03SC Unit 3 Practice Exam and Solutions

18.03SC Unit 3 Practice Exam and Solutions Sudy Guide on Sep, Dela, Convoluion, Laplace You can hink of he ep funcion u() a any nice mooh funcion which i for < a and for > a, where a i a poiive number which i much maller han any ime cale we care

More information

CSE 521: Design & Analysis of Algorithms I

CSE 521: Design & Analysis of Algorithms I CSE 52: Deign & Analyi of Algorihm I Nework Flow Paul Beame Biparie Maching Given: A biparie graph G=(V,E) M E i a maching in G iff no wo edge in M hare a verex Goal: Find a maching M in G of maximum poible

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

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

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

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

6 December 2013 H. T. Hoang - www4.hcmut.edu.vn/~hthoang/ 1

6 December 2013 H. T. Hoang - www4.hcmut.edu.vn/~hthoang/ 1 Lecure Noe Fundamenal of Conrol Syem Inrucor: Aoc. Prof. Dr. Huynh Thai Hoang Deparmen of Auomaic Conrol Faculy of Elecrical & Elecronic Engineering Ho Chi Minh Ciy Univeriy of Technology Email: hhoang@hcmu.edu.vn

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

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

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

Resource Allocation in Visible Light Communication Networks NOMA vs. OFDMA Transmission Techniques

Resource Allocation in Visible Light Communication Networks NOMA vs. OFDMA Transmission Techniques Resource Allocaion in Visible Ligh Communicaion Neworks NOMA vs. OFDMA Transmission Techniques Eirini Eleni Tsiropoulou, Iakovos Gialagkolidis, Panagiois Vamvakas, and Symeon Papavassiliou Insiue of Communicaions

More information

Minimal Cost Clock Synchronization Using a Sender-Receiver Protocol in Wireless Sensornets

Minimal Cost Clock Synchronization Using a Sender-Receiver Protocol in Wireless Sensornets Minimal Co Clock Synchronizaion Uing a Sender-Receiver Proocol in Wirele Senorne Qaim M. Chaudhari, Erchin Serpedin and Khalid Qaraqe Deparmen of Elecrical and Compuer Engineering, Texa A&M Univeriy, Texa

More information

Angular Motion, Speed and Velocity

Angular Motion, Speed and Velocity Add Imporan Angular Moion, Speed and Velociy Page: 163 Noe/Cue Here Angular Moion, Speed and Velociy NGSS Sandard: N/A MA Curriculum Framework (006): 1.1, 1. AP Phyic 1 Learning Objecive: 3.A.1.1, 3.A.1.3

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

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

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

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

Physics 235 Chapter 2. Chapter 2 Newtonian Mechanics Single Particle

Physics 235 Chapter 2. Chapter 2 Newtonian Mechanics Single Particle Chaper 2 Newonian Mechanics Single Paricle In his Chaper we will review wha Newon s laws of mechanics ell us abou he moion of a single paricle. Newon s laws are only valid in suiable reference frames,

More information

Maximum Flow and Minimum Cut

Maximum Flow and Minimum Cut // Sovie Rail Nework, Maximum Flow and Minimum Cu Max flow and min cu. Two very rich algorihmic problem. Cornerone problem in combinaorial opimizaion. Beauiful mahemaical dualiy. Nework Flow Flow nework.

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

CONTROL SYSTEMS. Chapter 10 : State Space Response

CONTROL SYSTEMS. Chapter 10 : State Space Response CONTROL SYSTEMS Chaper : Sae Space Repone GATE Objecive & Numerical Type Soluion Queion 5 [GATE EE 99 IIT-Bombay : Mark] Conider a econd order yem whoe ae pace repreenaion i of he form A Bu. If () (),

More information

FUZZY n-inner PRODUCT SPACE

FUZZY n-inner PRODUCT SPACE Bull. Korean Mah. Soc. 43 (2007), No. 3, pp. 447 459 FUZZY n-inner PRODUCT SPACE Srinivaan Vijayabalaji and Naean Thillaigovindan Reprined from he Bullein of he Korean Mahemaical Sociey Vol. 43, No. 3,

More information

April 3, The maximum flow problem. See class notes on website.

April 3, The maximum flow problem. See class notes on website. 5.05 April, 007 The maximum flow problem See cla noe on webie. Quoe of he day You ge he maxx for he minimum a TJ Maxx. -- ad for a clohing ore Thi wa he mo unkinde cu of all -- Shakepeare in Juliu Caear

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

Max Flow, Min Cut COS 521. Kevin Wayne Fall Soviet Rail Network, Cuts. Minimum Cut Problem. Flow network.

Max Flow, Min Cut COS 521. Kevin Wayne Fall Soviet Rail Network, Cuts. Minimum Cut Problem. Flow network. Sovie Rail Nework, Max Flow, Min u OS Kevin Wayne Fall Reference: On he hiory of he ranporaion and maximum flow problem. lexander Schrijver in Mah Programming, :,. Minimum u Problem u Flow nework.! Digraph

More information

Suggested Solutions to Midterm Exam Econ 511b (Part I), Spring 2004

Suggested Solutions to Midterm Exam Econ 511b (Part I), Spring 2004 Suggeed Soluion o Miderm Exam Econ 511b (Par I), Spring 2004 1. Conider a compeiive equilibrium neoclaical growh model populaed by idenical conumer whoe preference over conumpion ream are given by P β

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

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

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

Today: Max Flow Proofs

Today: Max Flow Proofs Today: Max Flow Proof COSC 58, Algorihm March 4, 04 Many of hee lide are adaped from everal online ource Reading Aignmen Today cla: Chaper 6 Reading aignmen for nex cla: Chaper 7 (Amorized analyi) In-Cla

More information

Longest Common Prefixes

Longest Common Prefixes Longes Common Prefixes The sandard ordering for srings is he lexicographical order. I is induced by an order over he alphabe. We will use he same symbols (,

More information

13.1 Circuit Elements in the s Domain Circuit Analysis in the s Domain The Transfer Function and Natural Response 13.

13.1 Circuit Elements in the s Domain Circuit Analysis in the s Domain The Transfer Function and Natural Response 13. Chaper 3 The Laplace Tranform in Circui Analyi 3. Circui Elemen in he Domain 3.-3 Circui Analyi in he Domain 3.4-5 The Tranfer Funcion and Naural Repone 3.6 The Tranfer Funcion and he Convoluion Inegral

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

Network Flow Applications

Network Flow Applications Hopial problem Neork Flo Applicaion Injured people: n Hopial: k Each peron need o be brough o a hopial no more han 30 minue aay Each hopial rea no more han n/k" people Gien n, k, and informaion abou people

More information

CHAPTER 7: UNCERTAINTY

CHAPTER 7: UNCERTAINTY Eenial Microeconomic - ecion 7-3, 7-4 CHPTER 7: UNCERTINTY Fir and econd order ochaic dominance 2 Mean preerving pread 8 Condiional ochaic Dominance 0 Monoone Likelihood Raio Propery 2 Coninuou diribuion

More information

Exercises, Part IV: THE LONG RUN

Exercises, Part IV: THE LONG RUN Exercie, Par IV: THE LOG RU 4. The olow Growh Model onider he olow rowh model wihou echnoloy prore and wih conan populaion. a) Define he eady ae condiion and repreen i raphically. b) how he effec of chane

More information

Efficient Algorithms for Computing Disjoint QoS Paths

Efficient Algorithms for Computing Disjoint QoS Paths Efficien Algorihm for Compuing Dijoin QoS Pah Ariel Orda and Alexander Sprinon 1 Deparmen of Elecrical Engineering, Technion Irael Iniue of Technology, Haifa, Irael 32000 Email: ariel@eeechnionacil Parallel

More information

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

Lecture 5 Buckling Buckling of a structure means failure due to excessive displacements (loss of structural stiffness), and/or AOE 204 Inroducion o Aeropace Engineering Lecure 5 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

More information

Geometric Path Problems with Violations

Geometric Path Problems with Violations Click here o view linked Reference 1 1 1 0 1 0 1 0 1 0 1 Geomeric Pah Problem wih Violaion Anil Mahehwari 1, Subha C. Nandy, Drimi Paanayak, Saanka Roy and Michiel Smid 1 1 School of Compuer Science, Carleon

More information