12.07.2015 Views

Wireless Ad Hoc and Sensor Networks

Wireless Ad Hoc and Sensor Networks

Wireless Ad Hoc and Sensor Networks

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

314 <strong>Wireless</strong> <strong>Ad</strong> <strong>Hoc</strong> <strong>and</strong> <strong>Sensor</strong> <strong>Networks</strong>n+1 nn+1Because Sp ( f ) = Fp ( f ) > v1, using Equation 7.35, we conclude Sp ( f ) ∈( v1, v2).Because either of the two cases always holds, we conclude that packetkkp f such that Sp ( f ) ( v, v)exists. Furthermore from Equation 7.32 <strong>and</strong>Equation 7.34, we get∈ 1 2Sp vlkf( f )≤ +φ1maxf,l(7.36)k+mLet p f be the last packet to receive service in the virtual time interval( v , v ). Hence,1 2F pk +( mf )≥ v 2(7.37)From Equation 7.36 <strong>and</strong> Equation 7.37, we concludemaxl f( f )− ( f )≥ 2 − 1 −φ f,lk+mF p S p k ( v v )(7.38)But because flow f is backlogged in the interval ( v1, v2), from Equation 7.7<strong>and</strong> Equation 7.8 we known=m k+nk+mlF pfS pkf( )= ( f )+ ∑ φ f , ln=0(7.39)n=m k+nk+mlF pfS pkf( )− ( f )= ∑ φ f , ln=0(7.40)Hence, from Equation 7.38 <strong>and</strong> Equation 7.40 we getn=m k+nl fl f∑ ≥ ( v2 − v1)φ− φn=0f,lmaxf,l(7.41)n=mk+n∑lf≥ φ f lv2 − v1−, ( ) ln=0maxf(7.42)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!