Quality-of-Service Routing in Heterogeneous Networks with Optimal Buffer and Bandwidth Allocation

Size: px
Start display at page:

Download "Quality-of-Service Routing in Heterogeneous Networks with Optimal Buffer and Bandwidth Allocation"

Transcription

1 Purdue Unversty Purdue e-pubs ECE Technca Reorts Eectrca and Comuter Engneerng Quaty-of-Servce Routng n Heterogeneous Networs wth Otma Buffer and Bandwdth Aocaton Waseem Sheh Purdue Unversty, waseem@urdue.edu Arf Ghafoor Purdue Unversty, ghafoor@urdue.edu Foow ths and addtona wors at: htt://docs.b.urdue.edu/ecetr Sheh, Waseem and Ghafoor, Arf, "Quaty-of-Servce Routng n Heterogeneous Networs wth Otma Buffer and Bandwdth Aocaton" (007. ECE Technca Reorts. Paer 45. htt://docs.b.urdue.edu/ecetr/45 Ths document has been made avaabe through Purdue e-pubs, a servce of the Purdue Unversty Lbrares. Pease contact eubs@urdue.edu for addtona nformaton.

2 Quaty-of-Servce Routng n Heterogeneous Networs wth Otma Buffer and Bandwdth Aocaton Waseem Sheh and Arf Ghafoor Schoo of Eectrca and Comuter Engneerng, Purdue Unversty West Lafayette, IN Ema: {waseem, ghafoor}@ecn.urdue.edu Abstract We resent an nterdoman routng rotoco for heterogeneous networs emoyng dfferent queung servce dscnes. Our routng rotoco fnds otma nterdoman aths wth maxmum reabty whe satsfyng the end-to-end tter and bandwdth constrants n networs emoyng heterogeneous queung servce dscnes. The quaty-of-servce (QoS metrcs are reresented as functons of n bandwdth, node buffers and the queung servce dscnes emoyed n the routers aong the ath. Our scheme aows smart tunng of buffer-sace and bandwdth durng the routng rocess to adust the QoS of the nterdoman ath. We formuate and sove the bandwdth and buffer aocaton robem for a ath over heterogeneous networs consstng of dfferent queung servces dscnes such as generazed rocessor sharng (GPS, acet by acet generazed rocessor sharng (PGPS and sef-coced far queung (SCFQ. Keywords Quaty-of-servce (QoS, resource aocaton, nter-doman routng, queung servce dscnes. I. INTRODUCTION Wth the evouton of the Internet nto a goba communcatons medum consstng of heterogeneous networs, the need for rovdng quaty-of-servce (QoS guaranteed mutmeda data over heterogeneous networs has ncreased tremendousy. To rovde end-to-end QoS guarantees, the nterdoman ath routng rotoco must tae nto account the resources such as bandwdth and buffer, and heterogenety of the networs comrsng the Internet. In ths aer we consder the heterogenety arsng from the dfferent queung servce dscnes used n the routers n a doman. Ltte wor has been done to ncororate the nformaton about resources and queung servce dscnes nto QoS routng. Present nterdoman routng rotocos such as border gateway rotoco (BGP do not rovde such mechansm []. We resent an nterdoman routng rotoco whch reresents QoS metrcs as functons of buffers, bandwdth and queung servce dscnes rather than statc metrcs. Our rotoco uses ths functona reresentaton of QoS metrcs to fnd otma nterdoman aths wth maxmum reabty whe satsfyng end-to-end tter and bandwdth constrants. Our routng rotoco uses the nowedge of dfferent queung servce dscnes n mute domans to fnd the otma nterdoman ath. Our nterdoman routng rotoco has the foowng advantages over exstng nterdoman routng rotocos: Frst, our routng rotoco s aware of the reatonsh among QoS metrcs and resources beongng to heterogeneous networs and fnds an otma nterdoman ath by eeng ths reatonsh nto consderaton. Second, t modes the QoS metrcs as functons of resources such as buffer and bandwdth. Thrd, t catures the nterdeendency between varous QoS metrcs such as reabty and tter deay. Ths aer s organzed as foows. In the next secton we rovde an overvew of the reated wor n the area of QoS routng. In Secton III, we formuate and rovde an otma souton to the nterdoman ath resource aocaton robem and resent an agorthm for nterdoman QoS routng wth resource aocaton robem. Ths agorthm uses the souton to the nterdoman ath resource aocaton robem as a subroutne. Fnay, n Secton IV we concude the aer. II. RELATED WORK The research n the area of QoS routng has many focused on two aroaches: QoS routng wthout resource aocaton [], [] and QoS routng wth resource aocaton [4], [5], [6], [7], [8]. In QoS routng wthout resource aocaton the QoS metrcs are modeed as non-negatve ntegers. In determnng these metrcs the nteracton among resources s gnored. In addton the metrcs aong a ath are smy added [], []. The QoS routng robem formuated n ths manner s a constraned shortest ath robem.

3 In QoS routng wth resource aocaton there are two aroaches. In [4], [5], [6] resources are defned as numerca vaues assocated wth each edge of the grah. The QoS metrcs assocated wth each edge are comuted by usng the avaabe resources, traffc descrton and the queung servce dscne. In ths aroach the QoS metrcs and resources are statc and can not be fne-tuned durng the routng rocess. In [7], [8] the QoS metrcs are reresented as functons of the bandwdth, buffer and the queung servce dscne. Ths defnton ncororates the reatonsh between QoS metrcs and resources. However the authors do not consder nterdoman routng robem over heterogeneous networs whch catures the reatonsh between dfferent queung servce dscnes. In ths aer we formuate and sove ths robem. III. PROBLEM FORMULATION AND SOLUTION The networ consstng of mute domans (autonomous systems s modeed by a drected grah G ( V, E =, where V s the set of nodes and E s the set of edges n the grah. In each AS (autonomous system a artcuar queung servce dscne s memented n the outut queue of every router beongng to that AS. Mute AS' s may have dfferent queung servce dscnes memented n them. As a seca case of the above networ, we consder a grah G consstng of three AS' s as shown n Fg.. The queung servce dscnes that are used n the three AS' s are generazed rocessor sharng (GPS [9], acet by acet generazed rocessor sharng (PGPS [0] and sef-coced far queung (SCFQ []. We formuate and sove the nterdoman QoS routng wth resource aocaton robem for the seca case of the three AS' s shown n Fg.. Ths resut can be generazed to more than three AS' s emoyng varous queung servce dscnes. Mutmeda Server ( m Cent Inter-doman router ( n m ( Autonomous System SCFQ Autonomous System GPS Autonomous System PGPS Fg.. An nterdoman ath over heterogeneous networs emoyng GPS, PGPS and SCFQ queung servce dscnes. Let 0, n = v, v, v..., v, v, v, v,..., v, v, v, v,..., v be a ath n the grah G n Fg., where v m m m m n G, mn,, are ostve ntegers such that > 0 and < m< n. The ath ( n = ( ( m ( n m where ( = v0, v, v,..., v, v, ( m v, v+, v+,..., vm, vm and ( n m vm, vm+, vm+,..., vn and the oerator actng on ( n and ( m as ( n ( m concatenates ( n and that the ast node of ( n and the frst node of ( m are common. In our anayss we consder that ( ( m AS and ( n m beongs to n can be wrtten as = = m such beongs to AS, beongs to AS as shown n Fg.. We consder that the queung servce dscnes memented n AS, AS and AS are GPS, PGPS and SCFQ resectvey. Notce that the node v s common to AS and AS and node v m s common to AS and AS. The nodes v and v m reresent the nterdoman routers. Wthout oss of generaty we assume that PGPS s memented n the outut queue of v and SCFQ s memented n the outut queue of v m. ( Let the data traffc arrva functon at the outut queue of node v be A out ( tv,. We use Leay Bucet constraned sources to ( mode the data sources. Aout ( tv, s sad to conform to (, ρ f for any nterva ( τ,t], Aout ( t, v Aout ( τ, u + ρ ( t τ. In our anayss, we assume that the traffc enterng AS conforms to (, ρ, the traffc enterng AS conforms to (, ρ and the traffc enterng AS conforms to (, ρ. The traffc shang mechansm s memented n the nterdoman routers, n our case n the nodes v 0, v and v m. We defne the nterdoman ath resource aocaton robem for the ath ( n as foows:

4 ( = buv (,, ruv (, ; ( uv, n { ( } Q n max Q { } n P subect to: J n J C ( b ( u v B( u v ( u v ( n ( C 0,,,, max (, (,, (, ( ( R r u v C u v u v n C The symbos used n ( are defned n TABLE I. Q ( ( n s the maxmum reabty of the ath ( varabes n the otmzaton robem ( are the n buffer sze ( b ( u, v and the n bandwdth r ( u, v for a ns ( uv, beongng to the ath ( n. ( C moses the constrant that the tter for ath maxmum aowabe tter vaue, J. Constrant ( avaabe. ( C moses the constrant that the n bandwdth aocated, ( r (, mnmum bandwdth uested, R, and can not be greater than the maxmum ossbe n bandwdth, C( u, v max ( the nequaty R r ( u, v resuts from the fact that r ( ( n = mn { r ( u, v }. ( uv, ( uv, n { } We defne the nterdoman QoS routng wth resource aocaton robem as foows: n. The decson n shoud be ess than or equa to the C moses the uer bound on the maxmum hysca buffer sze, = max { Psd (, } Q s d Q u v, shoud be greater than or equa to the where P( s, d s the set of a aths from node s to d. Secfcay for the nterdoman ath ( n descrbed above and shown n Fg., the otmzaton robem. Note that can be reformuated usng TABLE II, TABLE III and TABLE IV. The vaues of arameters n TABLE II, TABLE III and TABLE IV were derved n [7]. Foowng s the reformuated otmzaton robem: ( ( n = { {( Q ( ( Q ( ( m Q ( ( nm }} Q max mn, (, (, { b ( } mn, = max mn mn, b v v mn mn, + m + ( L b v v mn mn, m+ n, + ( m L ( P subect to:

5 4 ( = ( ( ( ( ( ( + + J n J J m J n m mn b (,, = q ( ( m = + + r ( ( ( ( r m ( ( ( ( ( ( C( v, v q n m n K v, v L + J r = m+ n m 0 b v, v B v, v,,,..., n C ( C { } ( max ρ ρ ρ r ( ( n C( ( C ( max,, mn, n ( where ( ( q n s defned accordng to the foowng recursve reatonsh [7]: { } { } ( ( ( ( ( ( ( ( ( ( 0 + ( 0, = mn ( 0,, + mn,, q = q + b v v + L q b v v b v v L v through n where the ath ( s obtaned by addng the vertex v, to the ath ( bandwdth of a ath s the bottenec functon of the bandwdth of the subaths, therefore we can reace ( ( ( ( ( r ( ( m and r ( ( n m n ( by r ( ( n. A. Souton to the Interdoman Path Resource Aocaton Probem In ths sub-secton we sove the nterdoman ath resource aocaton robem, defned n. Note that snce the r,, and obtan the otma souton. The otma souton conssts of the vaues of the resource varabes.e., the n buffer szes b v, v for a ns (, beongng to the ath r ( ( n and and buffer by n and the ath bandwdth (, b v v resectvey. ( ( ( r n. We denote the otma souton vaues of bandwdth ( Lemma III.: The otma souton vaue for r ( ( n n the otmzaton robem ( s gven by mn C( v max,. n Proof: Let r ( ( n and ( b ( v, be the otma souton vaues for the otmzaton robem (. Let the corresondng otma obectve functon vaue be Q ( ( n. Suose ( ( r ( ( n < r ( ( n where r ( ( n s a feasbe souton of (. Snce r ( ( n and r ( ( n are both feasbe soutons, therefore we can reace r ( ( n by r ( ( n n constrant ( C n otmzaton robem ( and ncrease the vaue of the buffers ( b ( v, aocated ( aong the ath ( n such that ( b ( v, > b (, whe eeng constrant ( C feasbe. Ths mes that we can get another feasbe souton r ( ( n and ( (, b v, and corresondng obectve functon vaue Q ( ( n for ( ( ( such that Q ( ( n > Q ( ( n. Ths eads to a contradcton, snce Q ( ( n was the otma obectve functon vaue. Snce the bandwdth s the bottenec functon of a the ns aong the ath, therefore, t s not ossbe to have the foowng ( nequaty r n > mn C v, v. Hence the otma souton vaue for r n s mn C( v, v max. ( max n ( n

6 Once the otma souton vaue for ( ( sace.e., ( (, b v v aocated aong the ath we can rewrte constrant ( C as beow: r n s determned, we are eft wth determnng the otma vaue for the buffer n. For convenence we defne ( ( C( v, v = m+ 5 n K v, v L J = J. Hence mn b (,, = q ( ( m q ( ( nm + + r ( ( n r ( ( n r ( ( n J ( or equvaenty, mn b (,, + q ( ( m + q ( ( nm J r n = ( ( 4 Lemma III.: If the foowng nequaty hods: ( ( + mn,, B v = m mn B (,, + ( m L+ =+ n mn B (,, + ( nm L J r n = m+ ( ( 5 then an otma souton vaue for ( (, b v v s gven as foows (Note the otma souton may not be unque n ths case: b (, = { ( } { ( } { ( } mn B v, v,, =,,..., mn B v, v, + L, = +, +,..., m mn B v, v, + m L, = m+, +,..., n ( 6 Proof: The nequaty ( 5 states that the maxmum amount of bts that can be buffered n the nodes aong the ath ( n s ess than or equa to the buffer sace ured to voate the maxmum tter vaue J. In other words we can buffer the maxmum number of bts n the nodes aong the ath ( n wthout voatng the tter constrant ( vaue ( souton for b v, v s gven by C. The otma obectve functon Q n can be obtaned by usng the maxmum vaue of the buffer sace avaabe n each node. Hence an otma ( 6. The corresondng otma obectve functon vaue s gven by the foowng:

7 6 Q ( { } mn b v, v b v, v b v, v mn mn mn, ( ( n = + m m+ n + ( L + ( m L ( ( Theorem III.: For the case when the foowng nequaty hods: mn B (,, + = m mn B (,, + ( m L + > J r n =+ n mn B (,, + ( nm L = m+ ( ( 7 then the otma souton ( ( r ( n, b (, to satsfes the foowng: ( max = mn, n r n C v v ( 8 { ( } mn b v, v b v, b, v = mn mn m = m n ( L + ( m L ( ( Proof: ( 8 foows from Lemma III.. The nequaty ( 7 means that the number of bts that can be buffered n the nodes aong the ath ( n can ead to a tter vaue whch can voate the tter constrant. Note that n ths case at the otma souton b v, the nequaty ( 4 w be satsfed as an equaty,.e., ( 9 mn b (,, + q ( ( m + q ( ( n m = J r n = ( ( 0 If ( 4 s a strct nequaty..e., mn b (,, + q ( ( m + q ( ( n m < J r n = ( ( then there exsts ( b ( v, feasbe souton. for at east one {,,..., n} such that Let the obectve functon vaue corresondng to ( (, > (, and ( b ( v, ( (, b be ( b v v b v v s a Q n, then ( ( Q ( ( n > Q ( ( n, whch s a contradcton. Hence ( 0 must hod at otmaty. Now we show that ( 9 must hod at otmaty. Suose by way of contradcton that ( 9 does not hod. Wthout oss of generaty we can assume that the ath ( n = ( ( m. The resut can be extended to a ath consstng of more than two subaths by nducton.

8 7 Assume that at otmaty the foowng hods: { ( } mn b v, v b v, v < mn m + + ( L ( ( Q ( { } mn b v, v b v, v = ( ( n mn + m + ( L ( where Q ( ( n s the otma obectve functon vaue. From t mes that there exsts ε > 0, ε R such that: { ( } mn b v, v, b v v + ε = mn + ( m + ( L ( It s ossbe to reaocate the buffers aong the ath ( n such that ( 0 hods and the new varabes foowng obectve functon: ( ( Q ( { } mn b v, v b v, v ε = + ε = Q + 4 ε mn + m + ( L ( ( (, b v v ead to the ( (.e., Q n > Q n whch eads to a contradcton snce we started of by assumng that Q n s the otma obectve functon vaue. To fnd the otma vaues of buffers ( (, b, we roceed as foows. Let J ( (, J ( ( m ( ( be the tter vaues corresondng to the aths (, ( m and ( n m ( ( (,, b v ( r n are used aong the ath ( n = ( (. Then ( 0 can be rewrtten as foows: J n m vaues of the decson varabes n m n m ( ( ( ( J + J m + J n m = J ( ( and resectvey when otma In [7] t was roved that f J ( s the ured tter vaue for a GPS doman then the otma buffer vaues ( (, ( ( ( ( b v v for =,,..., and the otma obectve functon vaue Q are gven as foows: ( J r n b (, = mn B (,,, {,,..., } ( ( ( J r ( ( n mn mn B,, Q = where ( 4 ( 5

9 For a PGPS doman t was shown n [7] that the vaues for as foows: ( (, b v v, {,,..., m} + + and ( ( 8 Q m are gven ( ( ( J m r ( ( n b, = mn B,, ( + ( L m + ( m + L ( ( (, B J m r ( ( n Q m = mn mn, m + + ( L m + ( m + L Smary, for SCFQ doman t was shown n [7] that for m+, m+,..., n: ( ( ( J n m r ( ( n b, = mn B,, + ( m L n m+ ( n m + L ( ( (, B J n m r ( ( n Q n m = mn mn, m n + + ( m L n m+ ( n m + L ( 6 ( 7 for {,,..., n} reduces to fndng J ( (, J ( ( m. Usng Theorem III., the vaues of J ( (, J ( ( m and J ( ( n m Hence fndng the otma souton ( b ( v, J ( ( n m sovng the foowng two equatons: and can be found by ( ( ( ( J + J m + J n m = J ( 8 where 9 s obtaned by substtutng ( b ( v, smutaneousy we roceed as foows: ( ( ( ( J r n mn mn B (,, = ( B, J m r ( ( n = mn mn, m + + ( L m + ( m + L ( B, J n m r ( ( n = mn mn, m n + + ( m L n m+ ( n m + L from ( 5, ( 6 and ( 7 nto ( 9. In order to sove ( 9 8 and ( 9

10 9 Assume frst that, mn + m mn m+ n { B ( } mn, (, ( ( ( J r n > and ( ( ( B v J m r n > + ( ( + L m ( m + L (, and ( ( ( B v J n m r n > ( m L n m+ + ( n m + L ( 0 Then ( 9 reduces to the foowng: ( ( ( ( ( ( ( ( ( J r n J m r n J n m r n = = m + n m+ ( m + L ( n m + L ( By sovng ( 8 and J ( ( n m as foows: J ( ( smutaneousy we can obtan the otma vaues of ( J = m m + n m n m L+ + L m m + J L + J ( ( m = m m + n m n m L+ + L nm n m+ J L + J ( ( n m = m m + n m n m L+ + L J (, J ( ( m and Now ut the vaues of J ( (, J ( ( n m and J ( ( m nto the nequates ( 0. If the nequates ( 0 hod then J ( (, J ( ( m and J ( ( n m are the otma tter vaues for subaths (, ( m and ( n m resectvey. In ths case the otma souton ( (, b and the otma obectve functon vaue Q ( ( n can be obtaned by usng the otma soutons n ( 5, ( 6 and ( 7. Now we consder the case when J ( (, J ( ( n m and J ( ( m, as gven by (, do not satsfy ( 0. Wthout oss of generaty assume that the frst nequaty n ( 0 s not satsfed and the rest of the two nequates are satsfed. Ths mes that there exsts,, ( ( ( ( such that ( J r n B ( v v. In ths case the maxmum reabty vaue can not be ncreased beyond Q, < ( (, B v v ( ( n =. Ths s because ncreasng the vaues of ( b ( v, ( for w not change the vaue of

11 maxmum reabty Q ( ( n snce the buffer vaue ( b ( v, v ths case agan the otma souton ( b ( v, equatons ( 5, ( 6 and 7. s hyscay bounded from above by and the otma obectve functon vaue ( ( ( B v v, 0. In Q n can be obtaned form B. Interdoman QoS Routng wth Resource Aocaton Agorthm In ths sub-secton, we resent a dynamc rogrammng agorthm to sove the nterdoman QoS routng wth resource aocaton robem. Ths agorthm uses the souton to nterdoman ath resource aocaton robem resented n sub-secton A. The agorthm s secfed n Agorthm III.. The subroutne Pre-Process deetes edges n the grah G whch have nsuffcent resources. Agorthm III. rees on the sub-routne Int-Path-Ot whch soves the otmzaton robem (. The souton to the otmzaton robem (, whch s a seca case of (, can be used wth mnor modfcatons to sove the Int-Path-Ot n the genera case. At the termnaton of V agorthm III., Q ( s, x = Q ( s, x for every node x V such that there exsts a ath from the source node s to the V destnaton node v and Q ( s, x = f no ath exsts from s to x. The otma ath can be easy constructed usng the arent nodes π V x. The comutatona comexty of the agorthm III. s gven by comutatona stes to sove Int-Path-Ot. O K V E where t taes K Agorthm III.: Interdoman QoS Routng ( G ( V, E, s,. Pre-Process ( G. For each x ad ( s J, Q Q ( s, x : = Int Path Ot ( G, x, s. For each x ad ( s π ( x : = x 4. For each x ad ( s Q ( s, x : = 5. for : = V 6. for each node x V { s } + 7. Q ( s, x : = Q ( s, x + 8. π ( x : = π ( x 9. for each node ω ad ( x 0. π π + od : = ( x +. π ( x : = ω. Tem : = Int Path Ot ( G, x, s +. f Tem > Q ( s, x + 4. Q ( s, x : = Tem 5. ese + π 6. ( x : = π od, R IV. CONCLUSION In ths aer we resented a new formuaton and souton of the Interdoman QoS routng robem. Our robem formuaton taes nto consderaton the heterogenety of the queung servce dscnes emoyed n varous autonomous systems comrsng the Internet. Our routng rotoco uses QoS metrcs whch are functons of the buffers n the routers and the n bandwdths. We rovde souton to a seca case of nterdoman QoS routng robem n a networ consstng of three autonomous systems emoyng GPS, PGPS and SCFQ queung servce dscnes. Our souton technque can be generazed to autonomous systems emoyng other queung servce dscnes n a smar manner. Our roosed formuaton can be extended by fndng a generazed nterdoman QoS routng rotoco whch can accommodate a arge number of queung servce dscnes.

12 REFERENCES [] Y. Rehter and T. L, A border gateway rotoco4(bgp-4, RFC7, Mar [] Z. Wang and J. Crowcroft, Quaty-of-servce routng for suortng mutmeda acatons, IEEE J. Se. Areas Commun., vo. 4, no. 7,. 8 4, Se [] A. Orda and A. Srnnston, Per-comutaton schemes for QoS routng, IEEE/ACM Trans. Netw., vo., no. 4, , Aug. 00. [4] R. Barden, L. Zhang, S. Berson, S. Herzog and S. Jamn. (997, Se. Resource reservaton rotoco (RSVP verson functona secfcatons. Request for Comments 05. [Onne]. Avaabe: htt:// [5] I. Cdon, R. Rom, and Y. Shavtt, Mutath routng combned wth resource reservaton, n Proc. IEEE Infocom, Kobe, Jaan, Ar. 997, [6] A. Orda, Routng wth end to end QoS guarantees n broadband networs, n Proc. IEEE Infocom, vo., San Francsco, CA, Ar. 998, [7] A. R. Bashandy, E. K. P. Chong, and A. Ghafoor, Generazed quaty-of-servce routng wth resource aocaton, IEEE J. Se. Areas Commun., vo., no., , Feb [8] W. Sheh, A. R. Bashandy, and A. Ghafoor, A combned aroach for QoS based mutcast routng and resource aocaton, n Proc. IEEE ICC'005, Seou, Korea, May 005. [9] A. Demers, S. Keshav, and S. Shener,, Anayss and smuaton of a far queung agorthm, Internetworng, Res. Exerence, vo., no.,. 6, Se [0] A. K. Pareh and R. G. Gaager,, A generazed rocessor sharng aroach to fow contro n ntegrated servce networs: The snge-node case, IEEE/ACM Trans. Netw. vo., no., , Jun. 99. [] H. Zhang, Servce dscnes for guaranteed erformance servce n acet swtchng networs, Proc. IEEE, vo. 8, no. 0,. 7 96, Oct. 995.

13 TABLE I DEFINITIONS OF SYMBOLS Symbo Quantty Q Mnmum reabty ured by user. Reabty s defned as the rato of the acets receved to acets transmtted aong a ath J Maxmum ured end-to-end tter deay R Mnmum ured average bandwdth Q uv Reabty of the n ( uv, J Jtter of n ( uv, uv (, b u v Buffer aocated to th data sesson n the queue resdng n node u and transmttng to node v B ( uv, Maxmum buffer sace avaabe to a data sesson transmttng from node u to v r ( u, v Bandwdth aocated to th data sesson aong the n ( uv, C( u, v Maxmum transmsson caacty of the n ( uv, C( u, v max Maxmum bandwdth avaabe to a connecton max aong n ( uv,, C( u, v C( u, v Q ( ( n Reabty of ath 0 sesson J ( ( n Jtter aong ath r ( ( n Bandwdth of ath (, n = v, v,..., vn for th data n for th data sesson n for th data sesson Aout tu Arrva functon of th data sesson at the outut queue of node u AS th Autonomous System Bucet sze for th data sesson n th Autonomous System ρ Average traffc rate for th sesson n th Autonomous System φ ( uv, Fracton of the bandwdth aong n ( uv, assgned to th data sesson L Maxmum acet sze n th Autonomous System q u, v Maxmum number of bacogged bts from th data sesson n the outut queue of node u q ( ( n Maxmum number of bacogged bts from th data sesson n the ath ( n = v0, v,..., vn K ( uv, Tota number of sessons traversng the n ( uv, Queung Servce Dscne TABLE II BANDWIDTH FUNCTIONS Bandwdth of ath ( n, r ( ( n φ v, v GPS ( ( mn n Kv (, ( φ (, = PGPS φ (, mn n Kv (, ( φ (, = SCFQ φ (, mn n Kv (, ( φ (, =

14 Queung Servce Dscne TABLE III RELIABILITY FUNCTIONS Reabty of ath ( n, Q ( ( n GPS mn { b (, } n mn, b, v mn mn, n + L b, v mn mn, n + L PGPS ( SCFQ ( Queung Servce Dscne GPS TABLE IV JITTER FUNCTIONS Jtter aong ath ( n, n mn b =,, r ( n ( J n ( ( PGPS q n r n SCFQ J q ( ( n n ( ( n = r ( ( n + ( (, C( v, v K v v L =

we have E Y x t ( ( xl)) 1 ( xl), e a in I( Λ ) are as follows:

we have E Y x t ( ( xl)) 1 ( xl), e a in I( Λ ) are as follows: APPENDICES Aendx : the roof of Equaton (6 For j m n we have Smary from Equaton ( note that j '( ( ( j E Y x t ( ( x ( x a V ( ( x a ( ( x ( x b V ( ( x b V x e d ( abx ( ( x e a a bx ( x xe b a bx By usng

More information

Xin Li Department of Information Systems, College of Business, City University of Hong Kong, Hong Kong, CHINA

Xin Li Department of Information Systems, College of Business, City University of Hong Kong, Hong Kong, CHINA RESEARCH ARTICLE MOELING FIXE OS BETTING FOR FUTURE EVENT PREICTION Weyun Chen eartment of Educatona Informaton Technoogy, Facuty of Educaton, East Chna Norma Unversty, Shangha, CHINA {weyun.chen@qq.com}

More information

A Fluid-Based Model of Time-Limited TCP Flows 1

A Fluid-Based Model of Time-Limited TCP Flows 1 A Fud-Based Mode of Tme-Lmted TCP Fows Maro Barbera DIIT - Unversty of Catana V.e A. Dora 6 9525 Catana -Itay hone: +39 95 7382375 fax: +39 95 33828 mbarbera@.unct.t Afo Lombardo DIIT - Unversty of Catana

More information

Priority Queuing with Finite Buffer Size and Randomized Push-out Mechanism

Priority Queuing with Finite Buffer Size and Randomized Push-out Mechanism ICN 00 Prorty Queung wth Fnte Buffer Sze and Randomzed Push-out Mechansm Vladmr Zaborovsy, Oleg Zayats, Vladmr Muluha Polytechncal Unversty, Sant-Petersburg, Russa Arl 4, 00 Content I. Introducton II.

More information

MARKOV CHAIN AND HIDDEN MARKOV MODEL

MARKOV CHAIN AND HIDDEN MARKOV MODEL MARKOV CHAIN AND HIDDEN MARKOV MODEL JIAN ZHANG JIANZHAN@STAT.PURDUE.EDU Markov chan and hdden Markov mode are probaby the smpest modes whch can be used to mode sequenta data,.e. data sampes whch are not

More information

A parametric Linear Programming Model Describing Bandwidth Sharing Policies for ABR Traffic

A parametric Linear Programming Model Describing Bandwidth Sharing Policies for ABR Traffic parametrc Lnear Programmng Mode Descrbng Bandwdth Sharng Poces for BR Traffc I. Moschoos, M. Logothets and G. Kokknaks Wre ommuncatons Laboratory, Dept. of Eectrca & omputer Engneerng, Unversty of Patras,

More information

The Use of Principal Components Analysis in the Assessment of Process Capability Indices

The Use of Principal Components Analysis in the Assessment of Process Capability Indices Jont Statstca Meetngs - Secton on Physca & Engneerng Scences (SPES) The Use of Prnca omonents Anayss n the Assessment of Process aabty Indces Evdoka Xekaak Mchae Peraks Deartment of Statstcs Athens Unversty

More information

Supplementary Material for Spectral Clustering based on the graph p-laplacian

Supplementary Material for Spectral Clustering based on the graph p-laplacian Sulementary Materal for Sectral Clusterng based on the grah -Lalacan Thomas Bühler and Matthas Hen Saarland Unversty, Saarbrücken, Germany {tb,hen}@csun-sbde May 009 Corrected verson, June 00 Abstract

More information

n-step cycle inequalities: facets for continuous n-mixing set and strong cuts for multi-module capacitated lot-sizing problem

n-step cycle inequalities: facets for continuous n-mixing set and strong cuts for multi-module capacitated lot-sizing problem n-step cyce nequates: facets for contnuous n-mxng set and strong cuts for mut-modue capactated ot-szng probem Mansh Bansa and Kavash Kanfar Department of Industra and Systems Engneerng, Texas A&M Unversty,

More information

Multi-objective Optimal Block Transaction model based Transient Stability Evaluation

Multi-objective Optimal Block Transaction model based Transient Stability Evaluation Proceedngs of the 5th WSEAS Internatona Conference on Aed Comuter Scence, Hangzhou, Chna, Ar 6-8, 006 (907-9) Mut-objectve Otma Boc Transacton mode based Transent Stabty Evauaton Ru Ma, Hongwen Yan Changsha

More information

ECE559VV Project Report

ECE559VV Project Report ECE559VV Project Report (Supplementary Notes Loc Xuan Bu I. MAX SUM-RATE SCHEDULING: THE UPLINK CASE We have seen (n the presentaton that, for downlnk (broadcast channels, the strategy maxmzng the sum-rate

More information

A General Column Generation Algorithm Applied to System Reliability Optimization Problems

A General Column Generation Algorithm Applied to System Reliability Optimization Problems A Genera Coumn Generaton Agorthm Apped to System Reabty Optmzaton Probems Lea Za, Davd W. Cot, Department of Industra and Systems Engneerng, Rutgers Unversty, Pscataway, J 08854, USA Abstract A genera

More information

Managing Capacity Through Reward Programs. on-line companion page. Byung-Do Kim Seoul National University College of Business Administration

Managing Capacity Through Reward Programs. on-line companion page. Byung-Do Kim Seoul National University College of Business Administration Managng Caacty Through eward Programs on-lne comanon age Byung-Do Km Seoul Natonal Unversty College of Busness Admnstraton Mengze Sh Unversty of Toronto otman School of Management Toronto ON M5S E6 Canada

More information

L-Edge Chromatic Number Of A Graph

L-Edge Chromatic Number Of A Graph IJISET - Internatona Journa of Innovatve Scence Engneerng & Technoogy Vo. 3 Issue 3 March 06. ISSN 348 7968 L-Edge Chromatc Number Of A Graph Dr.R.B.Gnana Joth Assocate Professor of Mathematcs V.V.Vannaperuma

More information

Structure and Drive Paul A. Jensen Copyright July 20, 2003

Structure and Drive Paul A. Jensen Copyright July 20, 2003 Structure and Drve Paul A. Jensen Copyrght July 20, 2003 A system s made up of several operatons wth flow passng between them. The structure of the system descrbes the flow paths from nputs to outputs.

More information

Research on Complex Networks Control Based on Fuzzy Integral Sliding Theory

Research on Complex Networks Control Based on Fuzzy Integral Sliding Theory Advanced Scence and Technoogy Letters Vo.83 (ISA 205), pp.60-65 http://dx.do.org/0.4257/ast.205.83.2 Research on Compex etworks Contro Based on Fuzzy Integra Sdng Theory Dongsheng Yang, Bngqng L, 2, He

More information

Reconstruction History. Image Reconstruction. Radon Transform. Central Slice Theorem (I)

Reconstruction History. Image Reconstruction. Radon Transform. Central Slice Theorem (I) Reconstructon Hstory wth Bomedca Acatons EEG-475/675 Prof. Barner Reconstructon methods based on Radon s wor 97 cassc mage reconstructon from roectons aer 97 Hounsfed deveo the frst commerca x-ray CT scanner

More information

Delay tomography for large scale networks

Delay tomography for large scale networks Deay tomography for arge scae networks MENG-FU SHIH ALFRED O. HERO III Communcatons and Sgna Processng Laboratory Eectrca Engneerng and Computer Scence Department Unversty of Mchgan, 30 Bea. Ave., Ann

More information

An LSB Data Hiding Technique Using Prime Numbers

An LSB Data Hiding Technique Using Prime Numbers An LSB Data Hdng Technque Usng Prme Numbers Sandan Dey (), Aj Abraham (), Sugata Sanya (3) Anshn Software Prvate Lmted, Kokata 79 Centre for Quantfabe Quaty of Servce n Communcaton Systems Norwegan Unversty

More information

A finite difference method for heat equation in the unbounded domain

A finite difference method for heat equation in the unbounded domain Internatona Conerence on Advanced ectronc Scence and Technoogy (AST 6) A nte derence method or heat equaton n the unbounded doman a Quan Zheng and Xn Zhao Coege o Scence North Chna nversty o Technoogy

More information

2-Adic Complexity of a Sequence Obtained from a Periodic Binary Sequence by Either Inserting or Deleting k Symbols within One Period

2-Adic Complexity of a Sequence Obtained from a Periodic Binary Sequence by Either Inserting or Deleting k Symbols within One Period -Adc Comlexty of a Seuence Obtaned from a Perodc Bnary Seuence by Ether Insertng or Deletng Symbols wthn One Perod ZHAO Lu, WEN Qao-yan (State Key Laboratory of Networng and Swtchng echnology, Bejng Unversty

More information

Dmitry A. Zaitsev Odessa National Telecommunication Academy Kuznechnaya, 1, Odessa, Ukraine

Dmitry A. Zaitsev Odessa National Telecommunication Academy Kuznechnaya, 1, Odessa, Ukraine th Worksho on Agorthms and Toos for Petr Nets, Setember - October, 4, Unversty of Paderborn, Germany, 75-8 Sovng the fundamenta equaton of Petr net usng the decomoston nto functona subnets Dmtry A Zatsev

More information

Downlink Power Allocation for CoMP-NOMA in Multi-Cell Networks

Downlink Power Allocation for CoMP-NOMA in Multi-Cell Networks Downn Power Aocaton for CoMP-NOMA n Mut-Ce Networs Md Shpon A, Eram Hossan, Arafat A-Dwe, and Dong In Km arxv:80.0498v [eess.sp] 6 Dec 207 Abstract Ths wor consders the probem of dynamc power aocaton n

More information

Nonextensibility of energy in Tsallis statistics and the zeroth law of

Nonextensibility of energy in Tsallis statistics and the zeroth law of Nonextensbty of energy n Tsas statstcs and the zeroth a of thermodynamcs onge Ou and Jncan hen* T Word Laboratory, P. O. 870, eng 00080, Peoe s Reubc of hna and Deartment of Physcs, Xamen nversty, Xamen

More information

Cyclic Codes BCH Codes

Cyclic Codes BCH Codes Cycc Codes BCH Codes Gaos Feds GF m A Gaos fed of m eements can be obtaned usng the symbos 0,, á, and the eements beng 0,, á, á, á 3 m,... so that fed F* s cosed under mutpcaton wth m eements. The operator

More information

Fuzzy approach to solve multi-objective capacitated transportation problem

Fuzzy approach to solve multi-objective capacitated transportation problem Internatonal Journal of Bonformatcs Research, ISSN: 0975 087, Volume, Issue, 00, -0-4 Fuzzy aroach to solve mult-objectve caactated transortaton roblem Lohgaonkar M. H. and Bajaj V. H.* * Deartment of

More information

Boundary Value Problems. Lecture Objectives. Ch. 27

Boundary Value Problems. Lecture Objectives. Ch. 27 Boundar Vaue Probes Ch. 7 Lecture Obectves o understand the dfference between an nta vaue and boundar vaue ODE o be abe to understand when and how to app the shootng ethod and FD ethod. o understand what

More information

College of Computer & Information Science Fall 2009 Northeastern University 20 October 2009

College of Computer & Information Science Fall 2009 Northeastern University 20 October 2009 College of Computer & Informaton Scence Fall 2009 Northeastern Unversty 20 October 2009 CS7880: Algorthmc Power Tools Scrbe: Jan Wen and Laura Poplawsk Lecture Outlne: Prmal-dual schema Network Desgn:

More information

A Robust Hierarchical Approach To Multi-stage Task Allocation Under Uncertainty

A Robust Hierarchical Approach To Multi-stage Task Allocation Under Uncertainty Proceedngs of the 44th IEEE Conference on Decson and Contro, and the Euroean Contro Conference 5 Seve, San, December -5, 5 TuIB8.5 A Robust Herarchca Aroach To ut-stage Tas Aocaton Under Uncertanty Dongxu

More information

Associative Memories

Associative Memories Assocatve Memores We consder now modes for unsupervsed earnng probems, caed auto-assocaton probems. Assocaton s the task of mappng patterns to patterns. In an assocatve memory the stmuus of an ncompete

More information

Appendix for An Efficient Ascending-Bid Auction for Multiple Objects: Comment For Online Publication

Appendix for An Efficient Ascending-Bid Auction for Multiple Objects: Comment For Online Publication Appendx for An Effcent Ascendng-Bd Aucton for Mutpe Objects: Comment For Onne Pubcaton Norak Okamoto The foowng counterexampe shows that sncere bddng by a bdders s not aways an ex post perfect equbrum

More information

Optimum Selection Combining for M-QAM on Fading Channels

Optimum Selection Combining for M-QAM on Fading Channels Optmum Seecton Combnng for M-QAM on Fadng Channes M. Surendra Raju, Ramesh Annavajjaa and A. Chockangam Insca Semconductors Inda Pvt. Ltd, Bangaore-56000, Inda Department of ECE, Unversty of Caforna, San

More information

Interference Alignment and Degrees of Freedom Region of Cellular Sigma Channel

Interference Alignment and Degrees of Freedom Region of Cellular Sigma Channel 2011 IEEE Internatona Symposum on Informaton Theory Proceedngs Interference Agnment and Degrees of Freedom Regon of Ceuar Sgma Channe Huaru Yn 1 Le Ke 2 Zhengdao Wang 2 1 WINLAB Dept of EEIS Unv. of Sc.

More information

Module 3 LOSSY IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur

Module 3 LOSSY IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur Module 3 LOSSY IMAGE COMPRESSION SYSTEMS Verson ECE IIT, Kharagpur Lesson 6 Theory of Quantzaton Verson ECE IIT, Kharagpur Instructonal Objectves At the end of ths lesson, the students should be able to:

More information

6. Hamilton s Equations

6. Hamilton s Equations 6. Hamlton s Equatons Mchael Fowler A Dynamcal System s Path n Confguraton Sace and n State Sace The story so far: For a mechancal system wth n degrees of freedom, the satal confguraton at some nstant

More information

Some modelling aspects for the Matlab implementation of MMA

Some modelling aspects for the Matlab implementation of MMA Some modellng aspects for the Matlab mplementaton of MMA Krster Svanberg krlle@math.kth.se Optmzaton and Systems Theory Department of Mathematcs KTH, SE 10044 Stockholm September 2004 1. Consdered optmzaton

More information

Achieving Optimal Throughput Utility and Low Delay with CSMA-like Algorithms: A Virtual Multi-Channel Approach

Achieving Optimal Throughput Utility and Low Delay with CSMA-like Algorithms: A Virtual Multi-Channel Approach Achevng Optma Throughput Utty and Low Deay wth SMA-ke Agorthms: A Vrtua Mut-hanne Approach Po-Ka Huang, Student Member, IEEE, and Xaojun Ln, Senor Member, IEEE Abstract SMA agorthms have recenty receved

More information

TCP NewReno Throughput in the Presence of Correlated Losses: The Slow-but-Steady Variant

TCP NewReno Throughput in the Presence of Correlated Losses: The Slow-but-Steady Variant TCP NewReno Throughut n the Presence of Correlated Losses: The Slow-but-Steady Varant Roman Dunaytsev, Yevgen Koucheryavy, Jarmo Harju Insttute of Communcatons Engneerng Tamere Unversty of Technology Tamere,

More information

Problem Set 9 Solutions

Problem Set 9 Solutions Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem

More information

Appendix for Causal Interaction in Factorial Experiments: Application to Conjoint Analysis

Appendix for Causal Interaction in Factorial Experiments: Application to Conjoint Analysis A Appendx for Causal Interacton n Factoral Experments: Applcaton to Conjont Analyss Mathematcal Appendx: Proofs of Theorems A. Lemmas Below, we descrbe all the lemmas, whch are used to prove the man theorems

More information

Resource Allocation with a Budget Constraint for Computing Independent Tasks in the Cloud

Resource Allocation with a Budget Constraint for Computing Independent Tasks in the Cloud Resource Allocaton wth a Budget Constrant for Computng Independent Tasks n the Cloud Wemng Sh and Bo Hong School of Electrcal and Computer Engneerng Georga Insttute of Technology, USA 2nd IEEE Internatonal

More information

OUTLINE. A model for the Container Stowage and Routing Problem. Container Stowage and Routing Problem. Container Stowage and Routing Problem

OUTLINE. A model for the Container Stowage and Routing Problem. Container Stowage and Routing Problem. Container Stowage and Routing Problem OUTLIN mode for the ontaner Stowage and Routng Probem INS ombra na Moura, 3 Pauo Trunfante Martns ntóno ndrade-amos 3 Vctor Lobo The ontaner Stowage and Routng Probem (SRP; Mxed Integer Programmng Mode

More information

Analysis of Bipartite Graph Codes on the Binary Erasure Channel

Analysis of Bipartite Graph Codes on the Binary Erasure Channel Anayss of Bpartte Graph Codes on the Bnary Erasure Channe Arya Mazumdar Department of ECE Unversty of Maryand, Coege Par ema: arya@umdedu Abstract We derve densty evouton equatons for codes on bpartte

More information

Lower Bounding Procedures for the Single Allocation Hub Location Problem

Lower Bounding Procedures for the Single Allocation Hub Location Problem Lower Boundng Procedures for the Snge Aocaton Hub Locaton Probem Borzou Rostam 1,2 Chrstoph Buchhem 1,4 Fautät für Mathemat, TU Dortmund, Germany J. Faban Meer 1,3 Uwe Causen 1 Insttute of Transport Logstcs,

More information

On Uplink-Downlink Sum-MSE Duality of Multi-hop MIMO Relay Channel

On Uplink-Downlink Sum-MSE Duality of Multi-hop MIMO Relay Channel On Upn-Downn Sum-MSE Duat of Mut-hop MIMO Rea Channe A Cagata Cr, Muhammad R. A. handaer, Yue Rong and Yngbo ua Department of Eectrca Engneerng, Unverst of Caforna Rversde, Rversde, CA, 95 Centre for Wreess

More information

Non-Ideality Through Fugacity and Activity

Non-Ideality Through Fugacity and Activity Non-Idealty Through Fugacty and Actvty S. Patel Deartment of Chemstry and Bochemstry, Unversty of Delaware, Newark, Delaware 19716, USA Corresondng author. E-mal: saatel@udel.edu 1 I. FUGACITY In ths dscusson,

More information

Single-Source/Sink Network Error Correction Is as Hard as Multiple-Unicast

Single-Source/Sink Network Error Correction Is as Hard as Multiple-Unicast Snge-Source/Snk Network Error Correcton Is as Hard as Mutpe-Uncast Wentao Huang and Tracey Ho Department of Eectrca Engneerng Caforna Insttute of Technoogy Pasadena, CA {whuang,tho}@catech.edu Mchae Langberg

More information

ME 440 Aerospace Engineering Fundamentals

ME 440 Aerospace Engineering Fundamentals Fall 006 ME 440 Aerosace Engneerng Fundamentals roulson hrust Jet Engne F m( & Rocket Engne F m & F ρ A - n ) ρ A he basc rncle nsde the engne s to convert the ressure and thermal energy of the workng

More information

Andre Schneider P622

Andre Schneider P622 Andre Schneder P6 Probem Set #0 March, 00 Srednc 7. Suppose that we have a theory wth Negectng the hgher order terms, show that Souton Knowng β(α and γ m (α we can wrte β(α =b α O(α 3 (. γ m (α =c α O(α

More information

LECTURE 21 Mohr s Method for Calculation of General Displacements. 1 The Reciprocal Theorem

LECTURE 21 Mohr s Method for Calculation of General Displacements. 1 The Reciprocal Theorem V. DEMENKO MECHANICS OF MATERIALS 05 LECTURE Mohr s Method for Cacuaton of Genera Dspacements The Recproca Theorem The recproca theorem s one of the genera theorems of strength of materas. It foows drect

More information

[WAVES] 1. Waves and wave forces. Definition of waves

[WAVES] 1. Waves and wave forces. Definition of waves 1. Waves and forces Defnton of s In the smuatons on ong-crested s are consdered. The drecton of these s (μ) s defned as sketched beow n the goba co-ordnate sstem: North West East South The eevaton can

More information

A polynomially solvable case of the pooling problem

A polynomially solvable case of the pooling problem A poynomay sovabe case of the poong probem Natasha Boand Georga Insttute of Technoogy, Atanta, U.S.A. Thomas Kanowsk Faban Rgternk The Unversty of Newcaste, Austraa arxv:1508.03181v4 [math.oc] 5 Apr 2016

More information

An application of generalized Tsalli s-havrda-charvat entropy in coding theory through a generalization of Kraft inequality

An application of generalized Tsalli s-havrda-charvat entropy in coding theory through a generalization of Kraft inequality Internatonal Journal of Statstcs and Aled Mathematcs 206; (4): 0-05 ISS: 2456-452 Maths 206; (4): 0-05 206 Stats & Maths wwwmathsjournalcom Receved: 0-09-206 Acceted: 02-0-206 Maharsh Markendeshwar Unversty,

More information

Physics 5153 Classical Mechanics. D Alembert s Principle and The Lagrangian-1

Physics 5153 Classical Mechanics. D Alembert s Principle and The Lagrangian-1 P. Guterrez Physcs 5153 Classcal Mechancs D Alembert s Prncple and The Lagrangan 1 Introducton The prncple of vrtual work provdes a method of solvng problems of statc equlbrum wthout havng to consder the

More information

FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP

FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class

More information

Finding Dense Subgraphs in G(n, 1/2)

Finding Dense Subgraphs in G(n, 1/2) Fndng Dense Subgraphs n Gn, 1/ Atsh Das Sarma 1, Amt Deshpande, and Rav Kannan 1 Georga Insttute of Technology,atsh@cc.gatech.edu Mcrosoft Research-Bangalore,amtdesh,annan@mcrosoft.com Abstract. Fndng

More information

Approximate Circle Packing in a Rectangular Container: Integer Programming Formulations and Valid Inequalities

Approximate Circle Packing in a Rectangular Container: Integer Programming Formulations and Valid Inequalities Appromate Crce Pacng n a Rectanguar Contaner: Integer Programmng Formuatons and Vad Inequates Igor Ltvnchev, Lus Infante, and Edth Lucero Ozuna Espnosa Department of Mechanca and Eectrca Engneerng Nuevo

More information

Lecture 4: November 17, Part 1 Single Buffer Management

Lecture 4: November 17, Part 1 Single Buffer Management Lecturer: Ad Rosén Algorthms for the anagement of Networs Fall 2003-2004 Lecture 4: November 7, 2003 Scrbe: Guy Grebla Part Sngle Buffer anagement In the prevous lecture we taled about the Combned Input

More information

Concepts for Wireless Ad Hoc

Concepts for Wireless Ad Hoc Bandwdth and Avalable Bandwdth oncepts for Wreless Ad Hoc Networks Marco A. Alzate Unversdad Dstrtal, Bogotá Néstor M. Peña Unversdad de los Andes, Bogotá Mguel A. abrador Unversty of South Florda, Tampa

More information

Solution Thermodynamics

Solution Thermodynamics Soluton hermodynamcs usng Wagner Notaton by Stanley. Howard Department of aterals and etallurgcal Engneerng South Dakota School of nes and echnology Rapd Cty, SD 57701 January 7, 001 Soluton hermodynamcs

More information

A Derivative-Free Algorithm for Bound Constrained Optimization

A Derivative-Free Algorithm for Bound Constrained Optimization Computatona Optmzaton and Appcatons, 21, 119 142, 2002 c 2002 Kuwer Academc Pubshers. Manufactured n The Netherands. A Dervatve-Free Agorthm for Bound Constraned Optmzaton STEFANO LUCIDI ucd@ds.unroma.t

More information

MMA and GCMMA two methods for nonlinear optimization

MMA and GCMMA two methods for nonlinear optimization MMA and GCMMA two methods for nonlnear optmzaton Krster Svanberg Optmzaton and Systems Theory, KTH, Stockholm, Sweden. krlle@math.kth.se Ths note descrbes the algorthms used n the author s 2007 mplementatons

More information

Maximizing the number of nonnegative subsets

Maximizing the number of nonnegative subsets Maxmzng the number of nonnegatve subsets Noga Alon Hao Huang December 1, 213 Abstract Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what s the maxmum

More information

J. Parallel Distrib. Comput.

J. Parallel Distrib. Comput. J. Parallel Dstrb. Comput. 7 (20) 537 555 Contents lsts avalable at ScenceDrect J. Parallel Dstrb. Comput. ournal homepage: www.elsever.com/locate/pdc Game-theoretc statc load balancng for dstrbuted systems

More information

REMODELLING OF VIBRATING SYSTEMS VIA FREQUENCY-DOMAIN-BASED VIRTUAL DISTORTION METHOD

REMODELLING OF VIBRATING SYSTEMS VIA FREQUENCY-DOMAIN-BASED VIRTUAL DISTORTION METHOD REMODELLING OF VIBRATING SYSTEMS VIA FREQUENCY-DOMAIN-BASED VIRTUAL DISTORTION METHOD Małgorzata MRÓZ and Jan HOLNICKI-SZULC Insttute of Fundamenta Technoogca Research, Swetokrzyska 21, -9 Warsaw, Poand

More information

Networked Cooperative Distributed Model Predictive Control Based on State Observer

Networked Cooperative Distributed Model Predictive Control Based on State Observer Apped Mathematcs, 6, 7, 48-64 ubshed Onne June 6 n ScRes. http://www.scrp.org/journa/am http://dx.do.org/.436/am.6.73 Networed Cooperatve Dstrbuted Mode redctve Contro Based on State Observer Ba Su, Yanan

More information

An Upper Bound on SINR Threshold for Call Admission Control in Multiple-Class CDMA Systems with Imperfect Power-Control

An Upper Bound on SINR Threshold for Call Admission Control in Multiple-Class CDMA Systems with Imperfect Power-Control An Upper Bound on SINR Threshold for Call Admsson Control n Multple-Class CDMA Systems wth Imperfect ower-control Mahmoud El-Sayes MacDonald, Dettwler and Assocates td. (MDA) Toronto, Canada melsayes@hotmal.com

More information

Numerical Investigation of Power Tunability in Two-Section QD Superluminescent Diodes

Numerical Investigation of Power Tunability in Two-Section QD Superluminescent Diodes Numerca Investgaton of Power Tunabty n Two-Secton QD Superumnescent Dodes Matta Rossett Paoo Bardea Ivo Montrosset POLITECNICO DI TORINO DELEN Summary 1. A smpfed mode for QD Super Lumnescent Dodes (SLD)

More information

APPENDIX A Some Linear Algebra

APPENDIX A Some Linear Algebra APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,

More information

Simultaneous Optimization of Berth Allocation, Quay Crane Assignment and Quay Crane Scheduling Problems in Container Terminals

Simultaneous Optimization of Berth Allocation, Quay Crane Assignment and Quay Crane Scheduling Problems in Container Terminals Smultaneous Optmzaton of Berth Allocaton, Quay Crane Assgnment and Quay Crane Schedulng Problems n Contaner Termnals Necat Aras, Yavuz Türkoğulları, Z. Caner Taşkın, Kuban Altınel Abstract In ths work,

More information

Dynamic Systems on Graphs

Dynamic Systems on Graphs Prepared by F.L. Lews Updated: Saturday, February 06, 200 Dynamc Systems on Graphs Control Graphs and Consensus A network s a set of nodes that collaborates to acheve what each cannot acheve alone. A network,

More information

8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS

8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS SECTION 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS 493 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS All the vector spaces you have studed thus far n the text are real vector spaces because the scalars

More information

Minimisation of the Average Response Time in a Cluster of Servers

Minimisation of the Average Response Time in a Cluster of Servers Mnmsaton of the Average Response Tme n a Cluster of Servers Valery Naumov Abstract: In ths paper, we consder task assgnment problem n a cluster of servers. We show that optmal statc task assgnment s tantamount

More information

NECESSARY AND SUFFICIENT CONDITIONS FOR ALMOST REGULARITY OF UNIFORM BIRKHOFF INTERPOLATION SCHEMES. by Nicolae Crainic

NECESSARY AND SUFFICIENT CONDITIONS FOR ALMOST REGULARITY OF UNIFORM BIRKHOFF INTERPOLATION SCHEMES. by Nicolae Crainic NECESSARY AND SUFFICIENT CONDITIONS FOR ALMOST REGULARITY OF UNIFORM BIRKHOFF INTERPOLATION SCHEMES by Ncolae Cranc Abstract: In ths artcle usng a combnaton of the necessary and suffcent condtons for the

More information

First day August 1, Problems and Solutions

First day August 1, Problems and Solutions FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 997, Plovdv, BULGARIA Frst day August, 997 Problems and Solutons Problem. Let {ε n } n= be a sequence of postve

More information

ANSWERS. Problem 1. and the moment generating function (mgf) by. defined for any real t. Use this to show that E( U) var( U)

ANSWERS. Problem 1. and the moment generating function (mgf) by. defined for any real t. Use this to show that E( U) var( U) Econ 413 Exam 13 H ANSWERS Settet er nndelt 9 deloppgaver, A,B,C, som alle anbefales å telle lkt for å gøre det ltt lettere å stå. Svar er gtt . Unfortunately, there s a prntng error n the hnt of

More information

Intra-Domain Traffic Engineering

Intra-Domain Traffic Engineering Intra-Doman Traffc Engneerng Traffc Engneerng (TE) MPLS and traffc engneerng (wll go over very brefly) traffc engneerng as networ-wde optmzaton problem TE through ln weght assgnments Traffc Matrx Estmaton

More information

On the Power Function of the Likelihood Ratio Test for MANOVA

On the Power Function of the Likelihood Ratio Test for MANOVA Journa of Mutvarate Anayss 8, 416 41 (00) do:10.1006/jmva.001.036 On the Power Functon of the Lkehood Rato Test for MANOVA Dua Kumar Bhaumk Unversty of South Aabama and Unversty of Inos at Chcago and Sanat

More information

Advanced Topics in Optimization. Piecewise Linear Approximation of a Nonlinear Function

Advanced Topics in Optimization. Piecewise Linear Approximation of a Nonlinear Function Advanced Tocs n Otmzaton Pecewse Lnear Aroxmaton of a Nonlnear Functon Otmzaton Methods: M8L Introducton and Objectves Introducton There exsts no general algorthm for nonlnear rogrammng due to ts rregular

More information

The Minimum Universal Cost Flow in an Infeasible Flow Network

The Minimum Universal Cost Flow in an Infeasible Flow Network Journal of Scences, Islamc Republc of Iran 17(2): 175-180 (2006) Unversty of Tehran, ISSN 1016-1104 http://jscencesutacr The Mnmum Unversal Cost Flow n an Infeasble Flow Network H Saleh Fathabad * M Bagheran

More information

2.3 Nilpotent endomorphisms

2.3 Nilpotent endomorphisms s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms

More information

Queueing Networks II Network Performance

Queueing Networks II Network Performance Queueng Networks II Network Performance Davd Tpper Assocate Professor Graduate Telecommuncatons and Networkng Program Unversty of Pttsburgh Sldes 6 Networks of Queues Many communcaton systems must be modeled

More information

Energy Efficient Routing in Ad Hoc Disaster Recovery Networks

Energy Efficient Routing in Ad Hoc Disaster Recovery Networks Energy Effcent Routng n Ad Hoc Dsaster Recovery Networks Gl Zussman and Adran Segall Department of Electrcal Engneerng Technon Israel Insttute of Technology Hafa 32000, Israel {glz@tx, segall@ee}.technon.ac.l

More information

Stanford University CS359G: Graph Partitioning and Expanders Handout 4 Luca Trevisan January 13, 2011

Stanford University CS359G: Graph Partitioning and Expanders Handout 4 Luca Trevisan January 13, 2011 Stanford Unversty CS359G: Graph Parttonng and Expanders Handout 4 Luca Trevsan January 3, 0 Lecture 4 In whch we prove the dffcult drecton of Cheeger s nequalty. As n the past lectures, consder an undrected

More information

5 The Rational Canonical Form

5 The Rational Canonical Form 5 The Ratonal Canoncal Form Here p s a monc rreducble factor of the mnmum polynomal m T and s not necessarly of degree one Let F p denote the feld constructed earler n the course, consstng of all matrces

More information

Digital PI Controller Equations

Digital PI Controller Equations Ver. 4, 9 th March 7 Dgtal PI Controller Equatons Probably the most common tye of controller n ndustral ower electroncs s the PI (Proortonal - Integral) controller. In feld orented motor control, PI controllers

More information

Coarse-Grain MTCMOS Sleep

Coarse-Grain MTCMOS Sleep Coarse-Gran MTCMOS Sleep Transstor Szng Usng Delay Budgetng Ehsan Pakbazna and Massoud Pedram Unversty of Southern Calforna Dept. of Electrcal Engneerng DATE-08 Munch, Germany Leakage n CMOS Technology

More information

find (x): given element x, return the canonical element of the set containing x;

find (x): given element x, return the canonical element of the set containing x; COS 43 Sprng, 009 Dsjont Set Unon Problem: Mantan a collecton of dsjont sets. Two operatons: fnd the set contanng a gven element; unte two sets nto one (destructvely). Approach: Canoncal element method:

More information

Example: Suppose we want to build a classifier that recognizes WebPages of graduate students.

Example: Suppose we want to build a classifier that recognizes WebPages of graduate students. Exampe: Suppose we want to bud a cassfer that recognzes WebPages of graduate students. How can we fnd tranng data? We can browse the web and coect a sampe of WebPages of graduate students of varous unverstes.

More information

Modelling and Constraint Hardness Characterisation of the Unique-Path OSPF Weight Setting Problem

Modelling and Constraint Hardness Characterisation of the Unique-Path OSPF Weight Setting Problem Modellng and Constrant Hardness Charactersaton of the Unque-Path OSPF Weght Settng Problem Changyong Zhang and Robert Rodose IC-Parc, Imperal College London, London SW7 2AZ, Unted Kngdom {cz, r.rodose}@cparc.mperal.ac.u

More information

ON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EQUATION

ON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EQUATION Advanced Mathematcal Models & Applcatons Vol.3, No.3, 2018, pp.215-222 ON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EUATION

More information

Subgradient Methods and Consensus Algorithms for Solving Convex Optimization Problems

Subgradient Methods and Consensus Algorithms for Solving Convex Optimization Problems Proceedngs of the 47th IEEE Conference on Decson and Contro Cancun, Mexco, Dec. 9-11, 2008 Subgradent Methods and Consensus Agorthms for Sovng Convex Optmzaton Probems Björn Johansson, Tamás Kevczy, Mae

More information

A Simple Congestion-Aware Algorithm for Load Balancing in Datacenter Networks

A Simple Congestion-Aware Algorithm for Load Balancing in Datacenter Networks IEEE/ACM TRANSACTIONS ON NETWORKING A Smpe Congeston-Aware Agorthm for Load Baancng n Datacenter Networs Mehrnoosh Shafee, Student Member, IEEE, and Javad Ghader, Member, IEEE Abstract We study the probem

More information

Suggested solutions for the exam in SF2863 Systems Engineering. June 12,

Suggested solutions for the exam in SF2863 Systems Engineering. June 12, Suggested solutons for the exam n SF2863 Systems Engneerng. June 12, 2012 14.00 19.00 Examner: Per Enqvst, phone: 790 62 98 1. We can thnk of the farm as a Jackson network. The strawberry feld s modelled

More information

Using T.O.M to Estimate Parameter of distributions that have not Single Exponential Family

Using T.O.M to Estimate Parameter of distributions that have not Single Exponential Family IOSR Journal of Mathematcs IOSR-JM) ISSN: 2278-5728. Volume 3, Issue 3 Sep-Oct. 202), PP 44-48 www.osrjournals.org Usng T.O.M to Estmate Parameter of dstrbutons that have not Sngle Exponental Famly Jubran

More information

Graph Reconstruction by Permutations

Graph Reconstruction by Permutations Graph Reconstructon by Permutatons Perre Ille and Wllam Kocay* Insttut de Mathémathques de Lumny CNRS UMR 6206 163 avenue de Lumny, Case 907 13288 Marselle Cedex 9, France e-mal: lle@ml.unv-mrs.fr Computer

More information

n ). This is tight for all admissible values of t, k and n. k t + + n t

n ). This is tight for all admissible values of t, k and n. k t + + n t MAXIMIZING THE NUMBER OF NONNEGATIVE SUBSETS NOGA ALON, HAROUT AYDINIAN, AND HAO HUANG Abstract. Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what

More information

NP-Completeness : Proofs

NP-Completeness : Proofs NP-Completeness : Proofs Proof Methods A method to show a decson problem Π NP-complete s as follows. (1) Show Π NP. (2) Choose an NP-complete problem Π. (3) Show Π Π. A method to show an optmzaton problem

More information

QUARTERLY OF APPLIED MATHEMATICS

QUARTERLY OF APPLIED MATHEMATICS QUARTERLY OF APPLIED MATHEMATICS Voume XLI October 983 Number 3 DIAKOPTICS OR TEARING-A MATHEMATICAL APPROACH* By P. W. AITCHISON Unversty of Mantoba Abstract. The method of dakoptcs or tearng was ntroduced

More information

Dr. Shalabh Department of Mathematics and Statistics Indian Institute of Technology Kanpur

Dr. Shalabh Department of Mathematics and Statistics Indian Institute of Technology Kanpur Analyss of Varance and Desgn of Exerments-I MODULE II LECTURE - GENERAL LINEAR HYPOTHESIS AND ANALYSIS OF VARIANCE Dr. Shalabh Deartment of Mathematcs and Statstcs Indan Insttute of Technology Kanur 3.

More information