Network Coding and its Applications in Communication Networks


 Lydia Floyd
 1 years ago
 Views:
Transcription
1 Network Coding nd its Applictions in Communiction Networks Alex Sprintson Texs A&M University, College Sttion, Texs, USA Astrct. The network coding technique generlizes the trditionl routing pproch y llowing the intermedite network nodes to crete new pckets y comining the pckets received over their incoming edges. This technique hs severl importnt enefits such s n increse in throughput nd n improvement in the reliility nd roustness of the network. The gol of this chpter is to present tutoril review of the network coding technique, the prcticl implementtion of network coding, s well s its pplictions in severl res of networking. We egin y presenting the encoding model nd the lgeric frmework for network code construction. Next, we discuss efficient deterministic nd rndomized lgorithms for construction of fesile network codes in multicst networks. Next, we present prcticl implementtion schemes nd discuss the pplictions of network coding in content distriution networks, peertopeer networks, nd wireless networks. Introduction. Motivtion Communiction networks re designed to deliver informtion from source to destintion nodes. The trditionl wy of delivering dt employs pths for unicst connections nd trees for multicst connections. When the dt is routed over unicst pth, ech intermedite node forwrds the pckets received over its incoming edges to its outgoing edges. In multicst connection over tree, the intermedite nodes my duplicte pckets nd forwrd them to severl outgoing edges. The network coding pproch [] llows the intermedite nodes to generte new pckets y comining the pckets received on their incoming edges. This technique offers severl enefits, such s n increse in throughput nd n improvement in reliility nd roustness of the network. To demonstrte the dvntge of the network coding technique, consider the network depicted on Figure (). The network includes two informtion sources, s nd s 2, nd two terminls, t nd. We ssume tht ll edges of the network re of unit cpcity, i.e., ech edge cn trnsmit one pcket per time unit. With the trditionl pproch, the pckets re forwrded over two Steiner trees, such tht the first tree forwrds the pckets generted y source s, while the second tree forwrds pckets generted y node s 2. However, the network does not contin two edgedisjoint Steiner trees A Steiner tree is tree tht connects the source node with the terminls nd my include ny numer of other nodes.
2 s s 2 s s 2 s s 2 s s 2 v v v v v 2 v 2 v 2 v 2 t t t t () () (c) (d) Fig.. Bsic network coding exmple. with roots in s nd s 2, hence the multicst connection with two informtion sources cnnot e implemented using trditionl methods. For exmple, the trees depicted in Figures () nd (c) shre the ottleneck edge (v,v 2 ). Figure (d) shows tht this conflict cn e resolved y employing the network coding technique. To demonstrte this pproch, let nd e the pckets generted y the informtion sources s nd s 2, respectively, t the current communiction round. Both pckets re sent to the intermedite node v which genertes new pcket, which is then sent to oth nodes t nd. It is esy to verify tht oth terminl nodes cn decode the pckets nd from the pckets received over their incoming edges. The network coding technique cn lso e useful for minimizing the dely of dt delivery from the source to the terminl nodes [0]. For exmple, consider the network depicted on Figure 2(). Suppose tht ech edge cn trnsmit one pcket per time unit nd tht the dely of ech edge is lso one time unit. Figures 2() nd (c) show two edgedisjoint Steiner trees tht connect s to the terminls t,, nd t 3. However, one of the trees is of depth three, nd, s result, terminl will receive one of the pckets fter dely of three time units. It cn e verified tht ny scheme tht does not employ network coding results in dely of three time units. Figure 2(d) shows network coding solution which delivers the dt with the dely of just two time units. The network coding technique cn lso e employed to minimize the numer of trnsmissions in wireless networks [36]. For exmple, consider the wireless network depicted in Figure 3. The network contins two nodes s nd s 2 tht wnt to exchnge pckets through n intermedite rely node v. More specificlly, node s needs to send pcket to s 2 nd node s 2 needs to send pcket to s. Figure 3() shows trditionl routing scheme tht requires four trnsmissions. Figure 3() shows network coding scheme in which the intermedite node v first otins two pckets, nd from s nd s 2 nd then genertes new pcket, nd rodcsts it to oth s nd s 2. This scheme requires only three trnsmissions. The exmple shows tht the network coding 2
3 s s s s t t 3 t t 3 t t 3 t t 3 () () (c) (d) Fig. 2. Dely minimiztion with network coding. technique cn tke dvntge of the rodcst nture of wireless networks to minimize the numer of trnsmissions. As demonstrted y the ove exmples, network coding hs severl enefits for rod rnge of pplictions in oth wired nd wireless communictions networks. The gol of this chpter is to descrie the network coding fundmentls s well s to show rod rnge of pplictions of this technique..2 Relted work Network coding reserch ws initited y seminl pper y Ahlswede, Ci, nd Yeung [] nd hs since then ttrcted significnt interest from the reserch community. Mny initil works on the network coding technique focused on estlishing multicst connections. It ws shown in [] nd [28] tht the cpcity of the network, i.e., the mximum numer of pckets tht cn e sent from the source s to set T of terminls per time unit, is equl to the minimum cpcity of cut tht seprtes the source s nd terminl t T. In susequent work, Koetter nd Médrd [25] developed n lgeric frmework for network coding nd investigted liner network codes for directed grphs with cycles. This frmework ws used y Ho et l. [8] to show tht liner network codes cn e efficiently constructed through rndomized lgorithm. Jggi et l. [2] proposed deterministic polynomiltime lgorithm for finding fesile network codes in multicst networks. Network coding for networks with cycles hs een studied in [2] nd [4]. Network coding lgorithms resilient to mlicious interference hve een studied in [20], [35], nd [24]. While there re efficient polynomiltime lgorithms for network code construction in multicst settings, finding efficient network codes in nonmulticst scenrios is more difficult prolem [33]. The complexity of severl generl network coding prolems hs een nlyzed y Lehmn nd Lehmn [27]. Dougherty el l. [] showed tht liner network codes re insufficient for chieving cpcity of network with multiple unicst connections. 3
4 s v s 2 s v s 2 s v s 2 s v s 2 s v s 2 s v s 2 s v s 2 () () Fig. 3. Reducing energy consumption with network coding: () trditionl pproch () network coding pproch. The pplictions of network coding in wired nd wireless communiction networks hve een the suject of severl recent studies. Chou nd Wu [0] discussed implementtion of network coding in content distriution networks. They discussed severl issues such s synchroniztion, vrying dely, nd trffic loss. The dvntges of network coding in lrge scle peertopeer content distriution systems hve een studied in [4,5]. Network coding techniques for improving the performnce of wireless networks hve een studied in [23], [6], nd [22]. Comprehensive surveys on the network coding techniques re ville in the recent ooks [3, 9, 37]. 2 Network Coding Bsics In this section we descrie the network model nd present the sic definitions for the network coding technique. Then, we present n lgeric frmework for multicst connections. Finlly, we present deterministic nd rndomized lgorithms for construction of efficient network codes. 2. Network Model We model the communiction network y directed grph G(V,E), where V is the set of nodes nd E the set of edges in G. The informtion etween network nodes is trnsmitted in pckets. We ssume tht ech pcket is n element of some finite field 2 F q = GF (q) nd cn e represented y inry vector of length n = log 2 (q) its. We ssume tht the communiction is performed in rounds, such tht t ech round, every 2 For definition of finite field see e.g., [3]. 4
5 edge in the network cn trnsmit single pcket. Note tht this ssumption implies tht ll edges of the network hve the sme cpcity of one unit. This ssumption, however, does not result in loss of generlity since edges of lrger cpcity cn e represented y multiple prllel edges of smller cpcity. We define the multicst coding network N(G, s, T ) s triple tht includes the grph G(V,E), source node s V, nd set T V of terminls. We define the cpcity of the multicst coding network N(G, s, T ) to e the tightest upper ound on the mount of informtion tht cn e trnsmitted from the source node s to ll destintion nodes T per communiction round. More specificlly, let h(i) e the mximum numer of pckets tht cn e delivered from s to ll terminls in T in i rounds. Then, the cpcity h of the network is defined s h = lim sup i h(i). () i For exmple, the network depicted in Figure () cn deliver two pckets per time unit to ech terminl, hence its cpcity is equl to two. Indeed, the network coding scheme depicted in Figure (d) cn deliver two new pckets t every communiction round. For this network, it holds tht h() = h, which, in turn, implies tht h = h(i) i. The lst property holds for ny cyclic communiction network, ut it does not necessrily hold for network tht contins cycles. To see this, consider the network N(G, s, T ) depicted on Figure 4(). For this network, it is esy to verify tht one round of communiction is insufficient for delivering two pckets to oth terminls t nd. Figure 4() shows network coding scheme tht cn trnsmin pckets over n + rounds, hence the cpcity of the network is equl to two. In prticulr, t the first round, node v 3 forwrds the pcket i received over its incoming edge (v,v 3 ), i.e., x = Then, for ech round i, i>, node v 3 genertes new pcket y computing itwise XOR etween i nd y i. Node v 4 lso genertes new pcket y computing itwise XOR etween i nd x i. It is esy to verify tht the destintion nodes t nd cn decode the pckets sent y the source node fter dely of one round. s s i i v v 2 v 3 v 4 v 5 v 6 i v v 2 i i x i = v 3 v 4 y i x i y i x i v 5 v 6 i i if i = i y i otherwise y i = i if i = i x i otherwise x i y i t t () () Fig. 4. A coding network with cycles 5
6 2.2 Encoding Model In this section, we present forml definition of liner network code. For clrity, we ssume tht the underlying network grph G(V,E) is cyclic. As discussed ove, such networks re esier to nlyze, ecuse we only need to consider single communiction round. We lso ssume tht exctly one pcket is sent over ech edge in the network nd tht ech node must receive ll pckets from its incoming edges efore sending pcket on its outgoing edges. Suppose tht we would like to trnsmit h pckets R =(p,p 2,,p h ) over the multicst network N(G, s, T ). We ssume tht the source node s hs exctly h incoming edges, indexed y e,e 2,,e h, nd ech terminl t T lso hs h incoming edges nd no outgoing edges. Note tht these ssumptions cn e mde without loss of generlity. Indeed, suppose tht the second ssumption does not hold for some terminl t T. In this cse, we cn dd new terminl t, connected with t y h prllel edges, resulting in n equivlent network. Figure 5() depicts n exmple network tht stisfies these ssumptions. For ech edge e E we denote y p e the pcket trnsmitted on tht edge. Ech incoming edge e i, i h, of the source node s trnsmits the originl pcket p i. Let e(v, u) E e n edge of the coding network N(G, s, T ) nd let M e e the set of incoming edges in G of its til node v, M e = {(w, v) (w, v) E)}. Then, we ssocite with ech edge e M e locl encoding coefficient β e,e F q = GF (q). The locl encoding coefficients of the edges tht elong to M e determine the pcket p e trnsmitted on edge e s function of pckets trnsmitted on the incoming edges M e of e. Specificlly, the pcket p e is equl to p e = β e,e p e, (2) e M e where ll opertions re performed over finite field F q. We note tht if node v V hs indegree one, then the locl encoding coefficient {β e,e} for every pir of edges e (u, v) nd e(v, w) cn e set to one. Definition (Liner network code) Let N(G, s, T ) e coding network nd let F q = GF (q) e finite field. Then, the ssignment of encoding coefficients {β e,e GF (q) e (v, u),e(u, w) E} is referred to s liner network code for N(G, s, T ). Figure 5(c) demonstrtes the locl encoding coefficients tht form liner network code for the coding network depicted in Figure 5(). Our gol is to find set of network coding coefficients {β e,e} tht llows ech terminl to decode the originl pckets R from the pckets otined through its incoming edges. The ssignment of {β e,e} tht stisfies this condition is referred to s fesile network code for N(G, s, T ). For exmple, consider the network depicted in Figure 5() nd suppose tht ll opertions re performed over field F 2 = GF (2). Then, the ssignment of encoding coefficients β e,e 3 = β e2,e 4 = β e6,e 9 = β e7,e 9 = 6
7 e e 2 s e 3 e 4 β (e,e 3) s β (e2,e 4) p p s p 2 p 2 v v 2 v v 2 v v 2 e 6 e 7 p p 2 v 3 v 3 v 3 e 5 e 9 e 8 β (e6,e 9) β (e7,e 9) p p p 2 p 2 e 0 v 4 v 4 p p 2 p p 2 e v 4 t t t () () (c) Fig. 5. Encoding nottion nd β e,e 4 = β e2,e 3 =0results in fesile network code. The pckets trnsmitted y the edges of the network re shown in Figure 5(c). Note tht ech pcket trnsmitted over the network is liner comintion of the originl pckets R = {p,p 2,,p h } generted y the source node s. Accordingly, for ech edge e E we define the glol encoding vector Γ e =[γ e γh e] F q h, tht cptures the reltion etween the pcket p e trnsmitted on edge e nd the originl pckets in R: h p e = p i γi e. (3) i= Note tht if e i is n outgoing edge of the source node s, then Γ e is equl to Γ ei =[β (e,e i) β (e2,e i) β (eh,e i)]. (4) For ny other edge e i E, Eqution (2) implies tht Γ ei = e M ei β e,e i Γ e. (5) We note tht for n edge e E ech component γ e i of Γ e is multivrite polynomil on the locl encoding coefficients {β e,e}. For exmple, for the network depicted in Figure 5() it holds tht Γ e3 = Γ e5 = Γ e6 =[β e,e 3 β e2,e 3 ]; Γ e4 = Γ e7 = Γ e8 =[β e,e 4 β e2,e 4 ]; Γ e9 = Γ e0 = Γ e =[β e,e 3 β e6,e 9 + β e,e 4 β e7,e 9 β e2,e 3 β e6,e 9 + β e2,e 4 β e7,e 9 ]. (6) 7
8 2.3 Coding dvntge Let N(G, s, T ) e multicst network. Recll tht its cpcity h is defined y Eqution (). Let h e the mximum mount of informtion tht cn e sent from the source s to the set of terminls T per communiction round without network coding, i.e., in communiction model in which ech intermedite node cn only forwrd incoming pckets. We define the coding dvntge s the rtio etween h nd h. The coding dvntge cptures the enefit of the network coding techniques for incresing the overll throughput of the network. Agrwl nd Chrikr [7] hve shown tht the coding log V dvntge of multicst networks cn e s lrge s Ω( log log V ) nd Ω( T ). For undirected networks, the coding dvntge is upper ounded y two [29]. For multiple unicst connections in directed networks it is esy to show tht the coding dvntge cn e s lrge s the numer of unicst pirs. 3 Algeric Frmework In this section, we present the lgorithmic frmework due to [25] for liner network coding in cyclic multicst networks nd estlish its connection to the mincutmxflow theorem. Let N(G, s, T ) e coding network nd let t e one of the terminls in T. We denote y E t = {e t,,e h t } e the set of incoming edges of terminl t. We define the h h mtrix M t s follows: M t = Γ e t Γ e 2 t Γ e h t, (7) Tht is, ech row of M t contins the glol encoding vector of one of the incoming edges e i t of t. We refer to M t s the trnsfer mtrix. The trnsfer mtrix cptures the reltion etween the originl pckets R nd the pckets received y the terminl node t T over its incoming edges. For exmple, for the network depicted in Figure 5() the trnsfer mtrix M t for the terminl t is equl to M t = β e,e 3 β e2,e 3 β e,e 3 β e6,e 9 + β e,e 4 β e7,e 9 β e2,e 3 β e6,e 9 + β e2,e 4 β e7,e 9 Similrly, the trnsfer mtrix M t2 for the terminl is equl to βe,e M t2 = 3 β e6,e 9 + β e,e 4 β e7,e 9 β e2,e 3 β e6,e 9 + β e2,e 4 β e7,e 9 β e,e 4 β e2,e 4. (8). (9) Terminl t cn decode the originl pckets in R if nd only if the trnsfer mtrix M t is of full rnk, or equivlently, the determinnt det(m t ) is not zero. Thus, the purpose of the network coding scheme is to find the ssignment of the coefficients {β e,e} tht results in fullrnk trnsfer mtrix M t for ech terminl t T. 8
9 For exmple, for the network depicted in Figure 5(), the determinnt of the trnsfer mtrix M t is equl to det(m t )=β e,e 3 (β e2,e 3 β e6,e 9 + β e2,e 4 β e7,e 9 ) β e2,e 3 (β e,e 3 β e6,e 9 + β e,e 4 β e7,e 9 ). (0) Similrly, the determinnt of the trnsfer mtrix M t2 is equl to det(m t2 )=β e2,e 4 (β e,e 3 β e6,e 9 + β e,e 4 β e7,e 9 ) β e,e 4 (β e2,e 3 β e6,e 9 + β e2,e 4 β e7,e 9 ). It is esy to verify tht the ssignment β e,e 3 = β e2,e 4 = β e6,e 9 = β e7,e 9 =nd β e,e 4 = β e2,e 3 =0results in nonzero vlues of the determinnts of oth mtrix, det(m t ) nd det(m t2 ). We oserve tht the determinnt det(m t ) of the trnsfer mtrix M t is multivrite polynomil with vriles {β e,e}. Let P = t T det(m t) e the product of the determinnts of the trnsfer mtrices for ech terminl t T. Clerly, if P is identiclly equl to zero, then there is no fesile network code for N(G, s, T ). However, it turns out tht if P is not identiclly equl to zero, then it is possile to find fesile ssignment of coefficients {β e,e}, provided tht the field F q is sufficiently lrge. Specificlly, the size q of F q must e lrger thn the mximum degree of P with respect to ny vrile β e,e. Figure 6 presents procedure, referred to s Procedure FINDSOLUTION, tht finds nonzero solution for multivrite polynomil P. The procedure receives, s input, nonzero polynomil P (x,x 2,,x n ) nd finite field F q = GF (q). The procedure itertively finds the ssignments x i = ζ i such tht P (ζ,ζ 2,,ζ n ) = 0. At itertion i, the procedure considers polynomil P i otined from P y sustituting x j = ζ j for j i. Then, we consider P i to e multivrite polynomil in x i+,,x n whose coefficients re (univrite) polynomils in x i. Next, we pick monomil P of P i nd consider its coefficient P (x i ). Since the size q of the finite field is lrger thn the mximum degree of vrile in P, there exists vlue ζ i F q, such tht P (ζ i ) is not zero. Hence, oth P xi=ζ i nd, in turn, P i xi=ζ i re nonzero polynomils. For exmple, suppose we would like to find solution for polynomil P (x,x 2,x 3 )= x x 2 2x 3 +x 2 x 2 2x 3 +x 2 x 2 2x 2 3 over F 3 = GF (3). We consider P (x,x 2,x 3 )=P (x,x 2,x 3 ) to e polynomil in x 2 nd x 3 whose coefficients re polynomils in x. Specificlly, we write P (x,x 2,x 3 )=(x + x 2 )x 2 2x 3 + x 2 x 2 2x 2 3 = P (x )x 2 2x 3 + P (x )x 2 2x 2 3, where P (x )=x + x 2 nd P (x )=x 2. Next, we select monomil P (x ) n find ζ F q such tht P (ζ ) = 0. Note tht ζ =would e good choice for F q = GF (3). Next, we set P 2 (x 2,x 3 )=P (x,x 2,x 3 ) x= =2x 2 2x 3 + x 2 2x 2 3 nd egin the next itertion. The following lemm shows the correctness of Procedure FINDSOLUTION. Lemm. Let P e nonzero polynomil in vriles x,x 2,,x n over F q = GF (q) nd let d e the mximum degree of P with respect to ny vrile. Let F q e finite () 9
10 Procedure FINDSOLUTION (P (x,x 2,,x n), F q) Input: P (x,x 2,,x n)  nonzero polynomil in vriles x,x 2,,x n; F q = GF (q)  finite field; Output: ζ,ζ 2,,ζ n GF (q) such tht P (ζ,ζ 2,,ζ n) = 0 P (x,x 2,,x n) P (x,x 2,,x n) 2 For ech i =to n do 3 Consider P i to e multivrite polynomil in x i+,,x n whose coefficients re univrite polynomils in F q[x i]. 4 Select monomil P of P i which is not identiclly equl to zero 5 Denote P (x i) e coefficient of P. 6 Choose ζ i F q such tht P (ζ i) = 0 7 Sustitute x i = ζ i in P i nd denote the resulting polynomil s P i+(x i+,,x n) 8 Return ζ,ζ 2,,ζ n Fig. 6. Procedure FINDSOLUTION field of size q such tht q>d. Then, Procedure FINDSOLUTION {P (x,x 2,,x n ), F q } returns ζ,ζ 2,,ζ n F q such tht P (ζ,ζ 2,,ζ n ) = 0. Proof: (sketch) We only need to show tht t ech itertion i, i n there exists ζ i F q such tht P (ζ i ) = 0. This follows from the fct tht P (x i ) is polynomil of mximum degree d, hence it hs t most d roots. Since F q includes q>delements, there must e t lest one element ζ i F q tht stisfies P (ζ i ) = 0. Theorems nd 2 (elow) show the reltion etween the lgeric properties of the trnsfer mtrices M t,t T, comintoril properties of G(V,E), nd the existence of fesile network code {β e,e} We egin with the nlysis of the unicst connections, i.e., the cse in which T contins single terminl node. Theorem. Let N(G, s, T ) e coding network, with T = {t}, nd h e the numer of pckets tht need to e delivered from s to t. Then, the following three conditions re equivlent.. There exists fesile network code for N(G, s, T ) nd h over GF (q) for some finite vlue of q; 2. The determinnt det(m t ) of the trnsfer mtrix M t is (multivrite) polynomil not identiclly equl to zero. 3. Every cut 3 tht seprtes s nd t in G(V,E) includes t lest h edges. Proof: (sketch) ) 2) Suppose tht there exists fesile network code {β e,e} for N(G, s, T ) nd h over GF (q). This implies tht det(m t ) is not zero for {β e,e}, 3 A cut in grph G(V,E) is prtition of the nodes of V into two susets V nd V \ V.We sy tht cut C =(V,V \ V ) seprtes nodes s nd t if s V nd t V \ V. 0
11 which, in turn implies tht det(m t ) s polynomil in {β e,e} is not identiclly equl to zero. 2) ) Lemm implies tht there exists nonzero ssignment of the locl encoding coefficients {β e,e} for N(G, s, T ) over sufficiently lrge field F q. This ssignment constitutes vlid network code for N(G, s, T ). ) 3) Suppose tht there exists fesile network code {β e,e} for N(G, s, T ) nd h over GF (q). By the wy of contrdiction, ssume tht there exists cut C tht seprtes the source s nd terminl t tht includes h <hedges. Let Γ,Γ 2,,Γ h e the set of glol encoding vectors for the edges tht elong to C. Then, for ech incoming edge e of t it holds tht the glol encoding vector of e is liner comintion of Γ,Γ 2,,Γ h. This, in turn, implies tht the glol encoding vectors tht correspond to incoming edges of t spn suspce of F h q of dimension h or smller. This implies tht t lest two rows of M t re linerly dependent nd, in turn, tht det(m t ) is identiclly equl to zero, resulting in contrdiction. 3) ) The MinCut MxFlow theorem implies tht there exist h edgedisjoint pths tht connect s nd t. Let {β e,e} e n ssignment of the locl encoding coefficients such tht β e (v,u),e(u,w) =only if oth e (v, u) nd e(u, w) elong to the sme pth. It is esy to verify tht this ssignment constitutes fesile network code. The next theorem extends these results for muticst connections. Theorem 2. Let N(G, s, T ) e multicst coding network nd let h e the numer of pckets tht need to e delivered from s to ll terminls in T. Then, the following three conditions re equivlent.. There exists fesile network code for N(G, s, T ) nd h over GF (q) for some finite vlue of q; 2. The product t T det(m t ) of the determinnts of the trnsfer mtrices is (multivrite) polynomil which is not identiclly equl to zero. 3. Every cut tht seprtes s nd t T in G(V,E) includes t lest h edges. Proof: (sketch) ) 2) Similr to the cse of unicst connections, the existence of fesile network code {β e,e} for N(G, s, T ) nd h over GF (q) implies tht the polynomil det(m t ) is not identiclly equl to zero for ech t T. 2) ) Lemm implies tht there exists nonzero ssignment of the locl encoding coefficients {β e,e} for N(G, s, T ) over sufficiently lrge field q. Since this ssignment stisfies det(m t ) = 0for ech t T, {β e,e} is fesile network code for N(G, s, T ). ) 3) Note tht fesile network code for the multicst connection N(G, s, T ) is lso fesile for ech unicst connection N(G, s, {t}), t T. Then, we cn use the sme rgument s in Theorem to show tht every cut etween s nd t includes t lest h edges. 3) 2) The MinCut MxFlow theorem implies tht for ech t T there exist h edgedisjoint pths tht connect s nd t. The rgument similr to tht used in Theorem implies tht for ech t T the polynomil det(m t ) is not identiclly equl to zero. This, in turn, implies tht t T det(m t) is lso not identiclly equl to zero.
12 Algorithm NETCODE (N(G, s, T ),h) Input: N(G, s, T )  coding network; h  required numer of pckets; Output: A fesile network code {β e,e} for N(G, s, T ) For ech node v v in topologicl order 2 For ech outgoing edge e(v, u) of do 3 Write glol encoding vector Γ e of e s function of {β e,e} 4 For terminl t T do 5 Write the trnsfer mtrix M t of t s function of {β e,e} 6 Identify det(m t) s multivrite polynomil in {β e,e} 7 Identify Q t T det(mt) s multivrite polynomil in {β e,e} 8 Use Procedure FINDSOLUTION to find set of vlues of {β e,e} for which Q t T det(mt) = 0 9 Return {β e,e} Fig. 7. Algorithm NETCODE Theorem 2 implies tht the cpcity of undirected multicst network is equl to the minimum size of cut tht seprtes source s nd terminl t T. Algorithm NETCODE depicted in Figure 7 summrizes the steps required for finding fesile network code for multicst network. 4 Required field size One of the most importnt prmeters of network coding scheme is the minimum required size of finite field. The field size determines the numer of ville liner comintions. The numer of such comintions, nd, in turn, the required field size, is determined y the comintoril structure of the underlying communiction network. For exmple, consider the network depicted on Figure 8. Let Γ e,,γ e4 e the glol encoding vectors of edges e,,e 4. Note tht in this network ech pir of (v i,v j ) of the intermedite nodes is connected to terminl, hence ny two of the glol encoding vectors Γ e,,γ e4 must e linerly independent. Note lso tht with GF (2) there exist only three nonzero pirwise linerly independent vectors of size two: ( 0) T, (0 ) T, nd ( ) T, hence F 2 = GF (2) is insufficient for chieving network cpcity. However, it is possile to find network coding solution over GF (3) or lrger field. For exmple, over GF (3) the following glol encoding coefficients re fesile: ( 0) T, (0 ) T, ( ) T, nd (, 2) T. As mentioned in the previous section, fesile network code cn e found y identifying nonzero solution of multivrite polynomil P = t T det(m t). As shown in Lemm, such solution exists if the size q of the finite field F q is lrger thn 2
13 e e 2 s e 3 e 4 e 5 e 6 v v 2 v 3 v 4 t t 3 t 4 t 5 t 6 Fig. 8. A coding network the mximum degree of ny vrile β i of P. In this section, we show tht mximum degree of ny vrile in P = t T det(m t) is ounded y k = T, which implies tht field of size q k is sufficient for finding fesile solution to the prolem. In our model we ssumed tht ech edge of the network sends pcket only one time, when it receives pcket from ech incoming edge. In this section, for the purpose of nlysis, we ssume tht the communiction is performed in rounds s follows. Let e(v, u) E e n edge in the communiction network nd let M e e the set of prent edges of e. Then, t round i, edge e forwrds liner comintion of pckets received from edges in M e t round i. We ssume tht the originl pckets x,,x h re sent over the incoming edges of node s t round 0. For ech edge e E we denote y Γ i e the glol encoding coefficients of the pcket sent over edge e t round i. Intuitively, Γ i e cptures the new informtion delivered to edge e over pths of length i, while the glol encoding vector Γ e summrizes the informtion ville from ll communiction rounds: Γ e = d Γe, i (2) where d is the length of the longest pth in the network tht strts t node s. i=0 We define n E E mtrix T tht cptures the informtion trnsfer etween different communictions rounds. Mtrix T is referred to s n djcency mtrix. T (i, j) = βei,e j if e i is prent edge of e j 0 otherwise. (3) T: For exmple, the network depicted in Figure 9 hs the following djcency mtrix 3
14 e e 3 e 6 s e 5 t e 2 e 4 e 7 Fig. 9. A exmple of coding network 00β e,e 3 β e,e β e2,e 3 β e2,e β e3,e 5 β e3,e 6 0 T = β e4,e 7 (4) β e5,e We lso define h E mtrix A nd E vector B e for ech e E s follows: if i = j A(i, j) = 0 otherwise (5) We note tht if i = j B ei (j) = 0 otherwise For exmple, for edge e 3 in Figure 9 it holds tht (6) Γ i e = AT i B e. (7) 00β e,e 3 β e,e β e2,e 3 β e2,e Γe β e3,e 5 β e3,e = β e4,e 7 0 βe,e = β e5,e 7 0 β e2,e (8) Note for e 3 it holds tht Γe i 3 is nonzero only for i =. In contrst, edge e 7 hs two nonzero vectors, Γe 2 7 nd Γe 3 7. By sustituting Eqution (7) into Eqution (2) we otin: 4
15 Γ e = A (I + T + T T d )B e (9) We oserve tht mtrix T is nilpotent, 4 in prticulr it holds tht T d+ is zero mtrix. Thus, it holds tht Γ e = A (I + T + T 2 + )B e = A (I T ) B e. (20) Let t T e one of the terminls. We define E h mtrix B t s conctention of h glol encoding vectors Γ e tht correspond to the incoming edges of t. Then, the trnsfer mtrix M t cn e written s M t = A (I T ) B t. (2) The following theorem shows tht the determinnt of M t is equl to the determinnt of nother mtrix, M t, tht hs certin structure. Theorem 3. Let N(G, s, T ) e coding network nd let t e terminl in T. Then the determinnt of the trnsfer mtrix M t = A(I T ) B t for t is equl to det(m t ) = det(m t), where M A 0 t = I TBt T The proof of Theorem 3 involves sic lgeric mnipultions nd cn e found in [7]. The structure of mtrix M t implies tht the mximum degree of ny locl encoding coefficient β e,e in the multivrite polynomil M t, nd, in turn, M t is equl to one. As result, the degree of ech encoding coefficient β e,e in polynomil t T det M t is ounded y T. Thus, y Lemm, the field of size q T is sufficient for finding solution for the network coding prolem. We summrize our discussion y the following theorem. Theorem 4. Let N(G, s, T ) e multicst coding network. Then, there exists vlid network code {β e,e} for N on ny field GF (q), where q is greter thn the numer of terminls. 5 Rndom Network Coding One of the importnt properties of network coding for multicst networks is tht fesile network code cn e efficiently identified through rndomized lgorithm. A rndomized lgorithm chooses ech encoding coefficient t rndom with uniform distriution over sufficiently lrge field F q. To see why rndom lgorithm works, recll tht the min gol of the network coding lgorithm is to find set of encoding coefficients {β e,e} tht yield nonzero vlue of P = t T det M t. Theorem 5 elow ounds the proility of otining d solution s function of the field size. 4 A mtrix T clled nilpotent if there exists some positive integer n such tht T n is zero mtrix. 5
16 Theorem 5. (SchwrtzZippel) Let P (x,,x n ) e nonzero polynomil over F of totl degree t most d. Also, let r,,r n e set of i.i.d rndom vriles with uniform distriution over finite field F q of size q. Then, Pr(P (r,,r n ) = 0) d q The theorem cn e proven y induction on the numer of vriles. As discussed in the previous section, the degree of ech vrile β e,e in t T det M t is t most T. Let η e the totl numer of vriles. Thus, if we use finite field F q such tht q>2ηk, the proility of finding fesile solution is t lest 50%. In [7] tighter ound of ( T q )η on the proility of finding nonzero solution hs een shown. Rndom network coding hs mny dvntges in prcticl settings. In prticulr, it llows ech node in the network to choose suitle encoding coefficient in decentrlized mnner without prior coordintion with other nodes in the network. Rndom coding hs een used in severl prcticl implementtion schemes [9]. Rndom network coding cn lso e used to improve the network roustness to filures of network elements (nodes or edges) or to del with frequently chnging topologies. Let N(G, s, T ) e the originl coding network nd let N (G, s, T ) e the network topology resulting from filure of n edge or node in the network. Further, let P = t T det(m t) e the product of determinnts of the trnsfer mtrices in the N(G, s, T ) nd P = t T det(m t) e product of determinnts of trnsfer mtrices in N (G, s, T ). The network code {β e,e} tht cn e used in oth the originl network nd in the network resulting from the edge filure must e nonzero solution of the polynomil P P. Note tht degree of P P is ounded y 2η T hence for sufficiently lrge field size the rndom code cn e used for oth networks, provided tht fter edge filure the network stisfies the minimum cut condition. We conclude tht with the rndom network code, the resilience to filure cn e chieved y dding redundncy to the network to gurntee tht the mincut condition is stisfied. Then, upon filure (filures) of n edge or node with high proility the sme network code cn e used. 6 PolynomilTime Algorithm In this section we present polynomil time lgorithm for network code construction due to Jggi et l. [2]. The lgorithm receives, s input, coding network N(G, s, T ), numer of pckets h tht need to e delivered to ll terminls nd outputs fesile network code {β e,e} for N. In this section we ssume, without loss of generlity, tht the source node hs exctly h outgoing edges. Indeed, if this is not the cse, we cn lwys introduce new source s connected to the originl one with h edges. We ssume tht the outgoing edges of source node s re indexed y e,,e h. The lgorithm consists of two stges. In the first stge, the lgorithm finds, for ech terminl t T, set of edgedisjoint pths f t = {P, t,ph t } tht connect the source node s to tht terminl. This stge cn e implemented y using minimumcost flow lgorithm (see e.g., [2]). Only edges tht elong to one of the pths {Pi t t T, i h} 6
17 Algorithm NETCODE2 (N(G, s, T ),h) Input: N(G, s, T )  coding network; h  required numer of pckets; Output: A fesile network code {β e,e} for N(G, s, T ) For ech terminl t T do 2 Find h edge disjoint pths f t etween s nd t 3 For ech edge e i from i =to h do 4 Γ (e i)=[0 i,, 0 h i ] T 5 C i = {e,,e h } 6 B t = {Γ (e ),,Γ(e h )} 7 For ech node v v in topologicl order 8 For ech outgoing edge e(v, u) of do 9 Choose the vlues of locl encoding coefficients {β e,e e M e} such tht 0 For ech terminl t T (e) the mtrix B t formed from B t y sustituting Γ (P t (e)) y Γ (e) is linerly independent For ech terminl t T (e) 2 Sustitute P t (e) y e in C t 3 Sustitute Γ (P t (e)) y Γ (e) in B t 4 Return {β e,e} Fig. 0. Algorithm NETCODE2 re considered in the second stge of the lgorithm. Indeed, the minimum cut condition cn e stisfied y edges tht elong to {Pi t t T, i h}, hence ll other edges cn e omitted from the network. For ech edge e E we denote y T (e) the set of sink nodes such tht every sink t T includes edge e in one of the pths in f t. For ech terminl t T (e) we denote y P t (e) the predecessor of e on the pth Pi t f t tht e elongs to. 7
18 s s v v2 v3 v v2 v3 v4 v5 v4 v5 v6 v7 v6 v7 v8 v8 v9 v9 t t2 t t2 () () B t = s B t2 = v x v2 x2 x3 v v4 v5 v6 v7 v8 v9 t (c)? 0 s B t = 0? 0 B t2 = x x3 x2 0? v v2 x x2 x2 x3 v3 t2? 0 0? 0? 0 v4 v5 x x3 v6 v7 v8 v9 B t = t? 0? 0 0? (d) s B t2 = v x x2 x3 v2 x x2 x2 x3 v3 t2? 0? 0 0? v4 v5 x x + x2 x3 v6 v7 v8 v9 t (e) t2 Fig.. An exmple of lgorithm execution. 8
19 The gol of the second stge is to ssign the locl encoding coefficient β e,e for ech pir of edges (e(v, u),e (u, w)) in E. For this purpose, ll nodes in the network re visited in topologicl order. 5 Let (V,V ) e cut in G(V,E), where V includes suset of nodes in V lredy visited y the lgorithm nd y V the set of nodes tht were not visited yet. We refer to (V,V ) s the running cut of the lgorithm. At the eginning of the lgorithm, the running cut (V,V ) seprtes the source node s from the rest of the nodes in the grph. At the the end of the lgorithm, the running cut seprtes ll terminls in T from the rest of the network. At ny time during the lgorithm, ech pth Pi t, t T, i h, hs exctly one edge tht elongs to the cut. We refer to this edge s n ctive edge. For ech terminl t T we denote y C t the set of ctive edges of the disjoint pths {Pi t i h}. Also, we denote y B t, the h h mtrix whose columns re formed y the glol encoding vectors of edges in C t. The min invrint mintined y the lgorithm is tht the mtrix B t for ech t T must e invertile t every step of the lgorithm. In the eginning of the lgorithm we ssign the originl pckets R =(p,p 2,,p h ) to h outgoing edges of s. When the lgorithm completes, for ech terminl t T the set of ctive edges includes the incoming edges in t. Thus, if the invrint is mintined, then ech terminl will e le to decode the pckets in R. We refer to this lgorithm s Algorithm NETCODE2 nd present its forml description on Figure 0. An exmple of the lgorithm s execution is presented in Figure. Figures () nd () show the originl network nd two sets of disjoint pths f t nd f t2 tht connect the source node s with terminls t nd, respectively. Figures (c) shows the coding coefficients ssigned to edges (s, v ), (s, v 2 ), nd (s, v 3 ) fter node s hs een processed. Note tht this is one of severl possile ssignments of the coefficients nd tht it stisfies the invrint since oth B t nd B t2 re fullrnk mtrices. Nodes v, v 2, nd v 3 re processed in strightforwrd wy since ech of those nodes hs only one outgoing edge. Figure (d) shows the processing step for node v 4. This node hs one outgoing edge (v 4,v 6 ) nd needs to choose two encoding coefficients β = β (v,v 4),(v 4,v 6) nd β 2 = β (v2,v 4),(v 4,v 6). In order to stisfy the invrint, the vector β [ 0 0] T + β 2 [0 0] T must not elong to the two liner suspces, first defined y vectors [ 0 0] T nd [0 0] T, nd the second is defined y [0 0] T nd [0 0 ] T. Note tht if the finite field GF (2) is used, then the only fesile ssignment is β = β 2 =. For lrger field, there re severl possile ssignments of the encoding coefficients. Figure (e) demonstrtes the processing step for node v 5. The key step of the lgorithm is the selection of locl encoding coefficients {β e,e e M e } such tht the requirement of Line 0 of the lgorithm is stisfied. To descrie n efficient procedure for coefficient selection, we need the following nottion. Let e e n edge in E, let T (e) T e the set of destintion nodes tht depend on E nd let M e e the set of prent edges of e. Also, consider the step of the lgorithm efore edge e is processed nd let B t e the set of mtrices for ech t T (e). Since ech mtrix B t is of full rnk, there exists n inverse mtrix A t = Bt. For ech t T (e), let t e 5 A topologicl order is numering of the vertices of directed cyclic grph such tht every edge e(v, u) E stisfies v<u. 9
20 A t B t t Γ(P t (e)) = () A t B t t Γ(e) =? () Fig. 2. Dt structures row in A t tht stisfies t Γ (P t (e)) =, i.e., t is row in A t tht corresponds to column P t (e) in B t (see Figure 2()). We lso oserve tht if the column P t (e) in B t is sustituted y column Γ (e), the necessry nd sufficient condition for B t to remin of full rnk is tht t Γ (e) = 0(see Figure 2()). Thus, we need to select the locl encoding coefficients {β e,e e M e } such tht the vector Γ (e) = e M e β e,eγ (e ) will stisfy Γ (e) t =0for ech t T (e). The coding coefficients re selected through Procedure CODING depicted in Figure 3. The procedure receives, s input, n edge e for which the encoding coefficients {β e,e e M e } need to e determined. We denote y g the size of T (e) nd index terminls in T (e) y t,,,t g. Then, we denote e i = P ti (e). We lso denote y t i row in A t tht stisfies t i Γ (e i )=. The min ide is to construct sequence of vectors u,u 2,u g such tht for ll i, j with j i g it holds tht u i t j = 0. The lgorithm egins y setting u = Γ (e ). Then, for ech i, i g we perform the following opertions. First, if u i t i+ is not zero, then we set u i+ = u i. Otherwise, we note tht for ech α F q it holds tht (αu i + Γ (e i+ )) t i+) = 0. We lso note tht for ech j, j i it holds tht (αu i + Γ (e i+ )) t j )=0only if α = α j = Γ (ei+ ) t j u i. t j Thus, the set F q \{α j j i} is not empty. Thus, we choose α F q such tht α = α j for j, j i nd set u i+ = α u i +Γ (e i+ ) (y setting coefficients {β ej,e} ccordingly). By construction, it holds tht u i+ t j = 0for j i. 20
21 Procedure CODING (N(G, s, T ),h) Input: e E  n edge for which the encoding coefficients need to e determined; {Γ e e M e}  set of glol encoding vectors for prent edges of e; { t t T (e)}  set of normls Output: Coefficients {β e,e e M e} such tht P e M e β e,eγ (e ) stisfies Γ (e) t = 0 g T (e) 2 Index terminls in T (e) y t,,,t g 3 For i =to g do 4 e i = P ti (e) 5 β e i,e 0 6 β e,e 7 For i =to g do 8 u i P i j= β e j,eγ (e j ) 9 If u i t i+ =then 0 β e j,e 0 else 2 For ech j, j i do 3 α j Γ (ei+ ) t j u i t j 4 Choose α F q such tht α = α j for j, j i 5 For ech j, j i do 6 β e j,e β e j,e α 7 β e j,e 8 Return {β e,e e M e} Fig. 3. Procedure CODING 7 Network Coding in Undirected Networks So fr we hve considered coding networks represented y directed grphs. In ech edge e(v, u) of directed grph, the dt cn only flow in one direction, from v to u. In contrst, in undirected networks, tht dt cn e sent in oth directions, provided tht the totl mount of dt sent over n edge does not exceed its cpcity. Accordingly, to estlish multicst connection in n undirected network, we need first to determine the optimum orienttion of ech edge of the network. The edge orienttion is selected in such wy tht the resulting directed network hs mximum possile multicst cpcity. In some cses, to mximize the cpcity of the network n undirected edge needs to e sustituted y two directed edges with opposite orienttion. For exmple, consider the undirected network depicted in Figure 4(). Figure 4() shows possile orienttion of the edges in the network, resulting in directed network of cpcity one. The optiml orienttion is shown in Figure 4(c). In this orienttion, undirected edge (t, ) 2
22 s s s t t 0.5 t 0.5 () () (c) Fig. 4. An exmple of n undirected network. is sustituted y two idirected edges of cpcity 0.5, resulting in directed multicst network of cpcity.5. For coding network N(G(V,E), s, T ) we define y λ(n) the minimum size of cut tht seprtes the source node s nd one of the terminls. As discussed ove, λ(n) determines the mximum rte of multicst coding networks over directed grphs. However, in undirected network λ(n) cn only serve s n upper ound on the trnsmission rte. For exmple, for the network N(G(V,E), s, {t, }) depicted in Figure 4() it holds tht λ(n) =2, while the mximum chievle multicst rte is equl to.5. A tighter upper ound cn e estlishing y considering the Steiner strength of the multicst network [30], defined s follows: Definition 2 (Steiner strength) Let N(G(V, E), s, T ) e multicst coding network over n undirected grph G, with the source s nd set T of the terminls. Let P e the set of ll possile prtitions of G, such tht ech prtition includes t lest one node in T {s}. Then, the Steiner strength η(n) of N is defined s η(n) =min p P E p ( p ), where p is the numer of components in p nd E p E is the set of edges tht connects different components of p. For exmple, the Steiner strength of the network depicted in Figure 4() is equl to.5, which is tight ound for this prticulr cse. It turns out tht η(n) determines the mximum rte of the multicst trnsmission in the specil cse in which the set T {s} includes ll nodes in the network. The following theorem is due to Li nd Li [29]. Theorem 6. Let N(G(V,E), s, T ) e multicst coding network over n undirected grph G. Let π(n) e the mximum rte of multicst connection using trditionl methods (Steiner tree pcking) nd let χ(n) e the mximum rte chievle y using the network coding pproch. Then for the cse of V = T {s} it holds tht λ(n) π(n) =χ(n) λ(n). 2 22
23 Otherwise it holds tht λ(n) π(n) χ(n) λ(n). 2 Theorem 6 shows tht the mximum coding dvntge of network coding in undirected networks is upper ounded y two. This is in contrst to the cse of directed networks, where the coding dvntge cn e significntly higher. 8 Prcticl Implementtion As discussed in the previous sections, network coding techniques cn offer significnt enefits in terms of incresing throughput, minimizing dely, nd reducing energy consumption. However, the implementtion of network coding in rel networks incurs certin communiction nd computtionl overhed. As result, thorough costenefit nlysis needs to e performed to evlute the pplicility of the technique for ny given network setting. For exmple, it is highly unlikely tht the network coding technique will e implemented t core network routers due to the high rte of dt trnsmission t the network core. Thus, finding the network setting tht cn enefit from the network coding technique is chllenging prolem y itself. In this section, we discuss the prcticl implementtion of the network coding technique proposed y Chou et l. [0,34]. The principles of this implementtion were dopted y mny susequent studies [6] nd y rel commercil systems such s Microsoft Avlnche. The content distriution system includes single informtion source tht genertes strem of its tht need to e delivered to ll terminls. The its re comined into symols. Ech symol typiclly includes 8 or 6 its nd represents n element of finite field GF (q). The symols, in turn, re comined into pckets, such tht pcket p i is comprised of N symols σ,σ i 2, i,σn i. The pckets, in turn, re comined into genertions, ech genertion includes h pckets. In typicl settings, the vlues of h cn vry etween 20 nd 00. Figure 5 demonstrtes the process of creting symols nd pckets from the it strem. The key ide of the proposed scheme is to mix the pckets tht elong to the sme genertion, the resulting pcket is then sid to elong to the sme genertion. Further, when new pcket is generted, the encoding is performed over individul symols rther thn the whole pcket. With this scheme, the locl encoding coefficients elong to the sme field s the symols, i.e., GF (q). For exmple, suppose tht two pckets p i nd p j re comined into new pcket p l with locl encoding coefficients β GF (q) nd β 2 GF (q). Then, for y N the y s symol of p l is liner comintion of the y s symol of p i nd y s symol of p j, i.e., σ l y = β σ i y + β 2 σ j y. The scheme is sed on the rndom liner coding technique descried in Section 5 tht chooses locl encoding coefficients uniformly over GF (q) (excluding the zero). For ech pcket sent over the network, it holds tht its symols re liner comintions of the corresponding symols of the originl pckets, i.e., the pckets generted y 23
24 Bit strem Symols σ σ σn σ 2 σ2 2 σn 2 2 σ h+ σ2 h+ σ h+ N Pckets 2 p p 2 p h+ Genertion Genertion 2 Fig. 5. Pcketiztion process: forming symols from its nd pckets from symols. the source node. Thus, ech pcket p l cn e ssocited with glol encoding vector Γ l = {γ l,,γ l h } tht cptures the dependency etween the symols of p l nd the symols of the originl pckets. Specificlly, symol σ l y of p l cn e expressed s σ l y = h γi l σy i i= Another key ide of this scheme is to ttch the glol encoding coefficients to the pcket. These coefficients re essentil for the terminl node to e le to decode the originl pckets. This method is wellsuited for settings with rndom locl encoding coefficients. The lyout of the pckets is shown in Figure 6. Note tht ech pcket lso includes its genertion numer. Attching glol encoding incurs certin communiction overhed. The size of the overhed depends on the size of the underlying finite field. Indeed, the numer of its needed to store the glol encoding vectors is equl to h q. In the prcticl cse considered in Chou et l. [0], h is equl to 50 nd the field size q is equl to two ytes, resulting in totl overhed of 00 ytes for pckets. With pcket size of 400 ytes, the overhed constitutes pproximtely 6% of totl size of the pcket. If the field size is reduced to one yte, then the overhed is decresed to just 3% of the pcket size. Note tht the destintion node will e le to decode the originl pckets fter it receives h or more linerly independent pckets tht elong to the sme genertion. With rndom network coding, the proility of receiving linerly independent pckets is high, even if some of the pckets re lost. The mjor dvntge of the proposed scheme is tht it does not require ny knowledge of the networking topology nd efficiently hndles dynmic network chnges, e.g., due to link filures. The opertion of n intermedite network node is shown in Figure 7. The node receives, vi its incoming links, pckets tht elong to different genertions. The pck 24
25 Genertion numer Glol encoding vectors 0 0 Originl vectors γ g γ g 2 γ g 3 σ 3 σ 2 σ σ g σ 3 2 σ 2 2 σ 2 σ g 2 σ 3 N σ 2 N σ N σ g N Fig. 6. Structure of the pcket. ets re then stored in the uffer, nd sorted ccording to their genertion numer. At ny given time, for ech genertion, the uffer contins set of linerly independent pckets. This is ccomplished y discrding ny pcket tht elongs to the spn of the pckets lredy in the uffer. A new pcket trnsmitted y the node is formed y rndom liner comintion of the pckets tht elong to the current genertion. The importnt design decision of the encoding node is the flushing policy. The flushing policy determines when new genertion pckets ecomes the current genertion. There re severl flushing policies tht cn e considered. One possiility is to chnge the current genertion s soon s pcket tht elongs to new genertion rrives vi some of the incoming links. An lterntive policy is to chnge genertion when ll incoming links receive pckets tht elong to the new genertion. The performnce of different flushing policies cn e evluted y simultion or n experimentl study. 8. Peertopeer networks Network coding cn lso enefit peertopeer networks tht distriute lrge files (e.g., movies) mong lrge numer of users [4]. The file is typiclly prtitioned into lrge numer, sy k, of chunks, ech chunk is disseminted throughout the network in seprte pcket. A trget node collects k or more pckets from its neighors nd tries to reconstruct the file. To fcilitte the reconstruction process, the source node typiclly distriutes prity check pckets, generted y using n efficient ersure correction code 25
26 Interfce Rndom liner comintion Interfce Interfce 3 uffer 3 3 Fig. 7. Opertion of n intermedite network node such s Digitl Fountin [5]. With this pproch, the trget node cn decode the originl file from ny k different pckets out of n>kpckets sent y the source node. 6 With the network coding technique ech intermedite node forwrds liner comintions of the received pckets to its neighors (see Fig. 8). This pproch significntly increses the proility of the successful decoding of the file t the trget node. For exmple, consider the network depicted on Fig. 9. In this exmple, the file is split into two chunks, nd. The source node then dds prity check pcket, c, such tht ny two of the pckets,, nd c re sufficient for reconstructing the originl file. Fig. 9() demonstrtes trditionl pproch in which ech intermedite node forwrds pckets,, nd c to its neighors. Since there is no centrlized control nd the intermedite nodes do not hve ny knowledge of the glol network topology, the routing decision is done t rndom. Suppose tht two trget nodes, t nd would like to reconstruct the file. Note tht node t otins two originl pckets, nd. However, node receives two copies of the sme pcket (), which re not sufficient for successful decoding opertion. Fig. 9() shows network coding pproch in which the intermedite nodes generte new pckets y rndomly comining the pckets received over their incoming edges. With this pproch, the proility tht ech destintion node receives two linerly independent pckets, nd hence the proility of successful decoding opertion is significntly higher. 8.2 Wireless networks The distinct property of wireless medium is the ility of sender node to rodcst pckets to ll neighoring nodes tht lie within the trnsmission rnge. In Section. we presented n exmple, tht shows tht the network coding technique llows us to 6 Some efficient coding schemes require slightly more thn k pckets to decode the file. 26
Reasoning to Solve Equations and Inequalities
Lesson4 Resoning to Solve Equtions nd Inequlities In erlier work in this unit, you modeled situtions with severl vriles nd equtions. For exmple, suppose you were given usiness plns for concert showing
More informationAppendix D: Completing the Square and the Quadratic Formula. In Appendix A, two special cases of expanding brackets were considered:
Appendi D: Completing the Squre nd the Qudrtic Formul Fctoring qudrtic epressions such s: + 6 + 8 ws one of the topics introduced in Appendi C. Fctoring qudrtic epressions is useful skill tht cn help you
More informationEQUATIONS OF LINES AND PLANES
EQUATIONS OF LINES AND PLANES MATH 195, SECTION 59 (VIPUL NAIK) Corresponding mteril in the ook: Section 12.5. Wht students should definitely get: Prmetric eqution of line given in pointdirection nd twopoint
More informationFAULT TREES AND RELIABILITY BLOCK DIAGRAMS. Harry G. Kwatny. Department of Mechanical Engineering & Mechanics Drexel University
SYSTEM FAULT AND Hrry G. Kwtny Deprtment of Mechnicl Engineering & Mechnics Drexel University OUTLINE SYSTEM RBD Definition RBDs nd Fult Trees System Structure Structure Functions Pths nd Cutsets Reliility
More informationRegular Sets and Expressions
Regulr Sets nd Expressions Finite utomt re importnt in science, mthemtics, nd engineering. Engineers like them ecuse they re super models for circuits (And, since the dvent of VLSI systems sometimes finite
More informationHomework 3 Solutions
CS 341: Foundtions of Computer Science II Prof. Mrvin Nkym Homework 3 Solutions 1. Give NFAs with the specified numer of sttes recognizing ech of the following lnguges. In ll cses, the lphet is Σ = {,1}.
More informationPolynomial Functions. Polynomial functions in one variable can be written in expanded form as ( )
Polynomil Functions Polynomil functions in one vrible cn be written in expnded form s n n 1 n 2 2 f x = x + x + x + + x + x+ n n 1 n 2 2 1 0 Exmples of polynomils in expnded form re nd 3 8 7 4 = 5 4 +
More informationCS99S Laboratory 2 Preparation Copyright W. J. Dally 2001 October 1, 2001
CS99S Lortory 2 Preprtion Copyright W. J. Dlly 2 Octoer, 2 Ojectives:. Understnd the principle of sttic CMOS gte circuits 2. Build simple logic gtes from MOS trnsistors 3. Evlute these gtes to oserve logic
More informationOn Achieving Optimal Throughput with Network Coding
On Achieving Optiml Throughput with Network Coding Zongpeng Li, Bochun Li, Dn Jing, Lp Chi Lu Astrct With the constrints of network topologies nd link cpcities, chieving the optiml endtoend throughput
More informationLecture 15  Curve Fitting Techniques
Lecture 15  Curve Fitting Techniques Topics curve fitting motivtion liner regression Curve fitting  motivtion For root finding, we used given function to identify where it crossed zero where does fx
More informationOr more simply put, when adding or subtracting quantities, their uncertainties add.
Propgtion of Uncertint through Mthemticl Opertions Since the untit of interest in n eperiment is rrel otined mesuring tht untit directl, we must understnd how error propgtes when mthemticl opertions re
More information2 DIODE CLIPPING and CLAMPING CIRCUITS
2 DIODE CLIPPING nd CLAMPING CIRCUITS 2.1 Ojectives Understnding the operting principle of diode clipping circuit Understnding the operting principle of clmping circuit Understnding the wveform chnge of
More informationand thus, they are similar. If k = 3 then the Jordan form of both matrices is
Homework ssignment 11 Section 7. pp. 24925 Exercise 1. Let N 1 nd N 2 be nilpotent mtrices over the field F. Prove tht N 1 nd N 2 re similr if nd only if they hve the sme miniml polynomil. Solution: If
More informationPentominoes. Pentominoes. Bruce Baguley Cascade Math Systems, LLC. The pentominoes are a simplelooking set of objects through which some powerful
Pentominoes Bruce Bguley Cscde Mth Systems, LLC Astrct. Pentominoes nd their reltives the polyominoes, polycues, nd polyhypercues will e used to explore nd pply vrious importnt mthemticl concepts. In this
More informationAssuming all values are initially zero, what are the values of A and B after executing this Verilog code inside an always block? C=1; A <= C; B = C;
B26 Appendix B The Bsics of Logic Design Check Yourself ALU n [Arthritic Logic Unit or (rre) Arithmetic Logic Unit] A rndomnumer genertor supplied s stndrd with ll computer systems Stn KellyBootle,
More informationBayesian Updating with Continuous Priors Class 13, 18.05, Spring 2014 Jeremy Orloff and Jonathan Bloom
Byesin Updting with Continuous Priors Clss 3, 8.05, Spring 04 Jeremy Orloff nd Jonthn Bloom Lerning Gols. Understnd prmeterized fmily of distriutions s representing continuous rnge of hypotheses for the
More information5 a LAN 6 a gateway 7 a modem
STARTER With the help of this digrm, try to descrie the function of these components of typicl network system: 1 file server 2 ridge 3 router 4 ckone 5 LAN 6 gtewy 7 modem Another Novell LAN Router Internet
More informationCalculus of variations with fractional derivatives and fractional integrals
Anis do CNMAC v.2 ISSN 1984820X Clculus of vritions with frctionl derivtives nd frctionl integrls Ricrdo Almeid, Delfim F. M. Torres Deprtment of Mthemtics, University of Aveiro 3810193 Aveiro, Portugl
More informationA Note on Complement of Trapezoidal Fuzzy Numbers Using the αcut Method
Interntionl Journl of Applictions of Fuzzy Sets nd Artificil Intelligence ISSN  Vol.  A Note on Complement of Trpezoidl Fuzzy Numers Using the αcut Method D. Stephen Dingr K. Jivgn PG nd Reserch Deprtment
More informationT H E S E C U R E T R A N S M I S S I O N P R O T O C O L O F S E N S O R A D H O C N E T W O R K
Z E S Z Y T Y N A U K O W E A K A D E M I I M A R Y N A R K I W O J E N N E J S C I E N T I F I C J O U R N A L O F P O L I S H N A V A L A C A D E M Y 2015 (LVI) 4 (203) A n d r z e j M r c z k DOI: 10.5604/0860889X.1187607
More informationSection 54 Trigonometric Functions
5 Trigonometric Functions Section 5 Trigonometric Functions Definition of the Trigonometric Functions Clcultor Evlution of Trigonometric Functions Definition of the Trigonometric Functions Alternte Form
More informationSmall Business Networking
Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd business. Introducing technology
More informationCurve Sketching. 96 Chapter 5 Curve Sketching
96 Chpter 5 Curve Sketching 5 Curve Sketching A B A B A Figure 51 Some locl mximum points (A) nd minimum points (B) If (x, f(x)) is point where f(x) reches locl mximum or minimum, nd if the derivtive of
More informationSmall Business Networking
Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd business. Introducing technology
More informationRethinking Virtual Network Embedding: Substrate Support for Path Splitting and Migration
Rethinking Virtul Network Emedding: Sustrte Support for Pth Splitting nd Migrtion Minln Yu, Yung Yi, Jennifer Rexford, Mung Ching Princeton University Princeton, NJ {minlnyu,yyi,jrex,chingm}@princeton.edu
More information4.11 Inner Product Spaces
314 CHAPTER 4 Vector Spces 9. A mtrix of the form 0 0 b c 0 d 0 0 e 0 f g 0 h 0 cnnot be invertible. 10. A mtrix of the form bc d e f ghi such tht e bd = 0 cnnot be invertible. 4.11 Inner Product Spces
More information1 Numerical Solution to Quadratic Equations
cs42: introduction to numericl nlysis 09/4/0 Lecture 2: Introduction Prt II nd Solving Equtions Instructor: Professor Amos Ron Scribes: Yunpeng Li, Mrk Cowlishw Numericl Solution to Qudrtic Equtions Recll
More informationEfficient loadbalancing routing for wireless mesh networks
Computer Networks 51 (007) 50 66 www.elsevier.com/locte/comnet Efficient lodblncing routing for wireless mesh networks Yigl Bejerno, SeungJe Hn b, *,1, Amit Kumr c Bell Lbortories, Lucent Technologies,
More informationGraphs on Logarithmic and Semilogarithmic Paper
0CH_PHClter_TMSETE_ 3//00 :3 PM Pge Grphs on Logrithmic nd Semilogrithmic Pper OBJECTIVES When ou hve completed this chpter, ou should be ble to: Mke grphs on logrithmic nd semilogrithmic pper. Grph empiricl
More informationSmall Business Networking
Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd processes. Introducing technology
More informationLINEAR TRANSFORMATIONS AND THEIR REPRESENTING MATRICES
LINEAR TRANSFORMATIONS AND THEIR REPRESENTING MATRICES DAVID WEBB CONTENTS Liner trnsformtions 2 The representing mtrix of liner trnsformtion 3 3 An ppliction: reflections in the plne 6 4 The lgebr of
More informationSmall Business Networking
Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd processes. Introducing technology
More informationP.3 Polynomials and Factoring. P.3 an 1. Polynomial STUDY TIP. Example 1 Writing Polynomials in Standard Form. What you should learn
33337_0P03.qp 2/27/06 24 9:3 AM Chpter P Pge 24 Prerequisites P.3 Polynomils nd Fctoring Wht you should lern Polynomils An lgeric epression is collection of vriles nd rel numers. The most common type of
More informationMatrix Inverse and Condition
Mtrix Inverse nd Condition Berlin Chen Deprtment of Computer Science & Informtion Engineering Ntionl Tiwn Norml University Reference: 1. Applied Numericl Methods with MATLAB for Engineers, Chpter 11 &
More informationExample 27.1 Draw a Venn diagram to show the relationship between counting numbers, whole numbers, integers, and rational numbers.
2 Rtionl Numbers Integers such s 5 were importnt when solving the eqution x+5 = 0. In similr wy, frctions re importnt for solving equtions like 2x = 1. Wht bout equtions like 2x + 1 = 0? Equtions of this
More informationMath 314, Homework Assignment 1. 1. Prove that two nonvertical lines are perpendicular if and only if the product of their slopes is 1.
Mth 4, Homework Assignment. Prove tht two nonverticl lines re perpendiculr if nd only if the product of their slopes is. Proof. Let l nd l e nonverticl lines in R of slopes m nd m, respectively. Suppose
More informationSmall Business Networking
Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd processes. Introducing technology
More informationSmall Business Networking
Why Network is n Essentil Productivity Tool for Any Smll Business TechAdvisory.org SME Reports sponsored by Effective technology is essentil for smll businesses looking to increse their productivity. Computer
More information4: RIEMANN SUMS, RIEMANN INTEGRALS, FUNDAMENTAL THEOREM OF CALCULUS
4: RIEMA SUMS, RIEMA ITEGRALS, FUDAMETAL THEOREM OF CALCULUS STEVE HEILMA Contents 1. Review 1 2. Riemnn Sums 2 3. Riemnn Integrl 3 4. Fundmentl Theorem of Clculus 7 5. Appendix: ottion 10 1. Review Theorem
More informationA new algorithm for generating Pythagorean triples
A new lgorithm for generting Pythgoren triples RH Dye 1 nd RWD Nicklls 2 The Mthemticl Gzette (1998); 82 (Mrch, No. 493), p. 86 91 (JSTOR rchive) http://www.nicklls.org/dick/ppers/mths/pythgtriples1998.pdf
More informationGene Expression Programming: A New Adaptive Algorithm for Solving Problems
Gene Expression Progrmming: A New Adptive Algorithm for Solving Prolems Cândid Ferreir Deprtmento de Ciêncis Agráris Universidde dos Açores 9701851 TerrChã Angr do Heroísmo, Portugl Complex Systems,
More informationOperations with Polynomials
38 Chpter P Prerequisites P.4 Opertions with Polynomils Wht you should lern: Write polynomils in stndrd form nd identify the leding coefficients nd degrees of polynomils Add nd subtrct polynomils Multiply
More informationFormal Languages and Automata Exam
Forml Lnguges nd Automt Exm Fculty of Computers & Informtion Deprtment: Computer Science Grde: Third Course code: CSC 34 Totl Mrk: 8 Dte: 23//2 Time: 3 hours Answer the following questions: ) Consider
More informationFinite Automata. Informatics 2A: Lecture 3. John Longley. 25 September School of Informatics University of Edinburgh
Lnguges nd Automt Finite Automt Informtics 2A: Lecture 3 John Longley School of Informtics University of Edinburgh jrl@inf.ed.c.uk 25 September 2015 1 / 30 Lnguges nd Automt 1 Lnguges nd Automt Wht is
More informationVector differentiation. Chapters 6, 7
Chpter 2 Vectors Courtesy NASA/JPLCltech Summry (see exmples in Hw 1, 2, 3) Circ 1900 A.D., J. Willird Gis invented useful comintion of mgnitude nd direction clled vectors nd their higherdimensionl counterprts
More informationSquare Roots Teacher Notes
Henri Picciotto Squre Roots Techer Notes This unit is intended to help students develop n understnding of squre roots from visul / geometric point of view, nd lso to develop their numer sense round this
More information1.2 The Integers and Rational Numbers
.2. THE INTEGERS AND RATIONAL NUMBERS.2 The Integers n Rtionl Numers The elements of the set of integers: consist of three types of numers: Z {..., 5, 4, 3, 2,, 0,, 2, 3, 4, 5,...} I. The (positive) nturl
More informationIntegration by Substitution
Integrtion by Substitution Dr. Philippe B. Lvl Kennesw Stte University August, 8 Abstrct This hndout contins mteril on very importnt integrtion method clled integrtion by substitution. Substitution is
More information1. Find the zeros Find roots. Set function = 0, factor or use quadratic equation if quadratic, graph to find zeros on calculator
AP Clculus Finl Review Sheet When you see the words. This is wht you think of doing. Find the zeros Find roots. Set function =, fctor or use qudrtic eqution if qudrtic, grph to find zeros on clcultor.
More informationReview guide for the final exam in Math 233
Review guide for the finl exm in Mth 33 1 Bsic mteril. This review includes the reminder of the mteril for mth 33. The finl exm will be cumultive exm with mny of the problems coming from the mteril covered
More informationFactoring Polynomials
Fctoring Polynomils Some definitions (not necessrily ll for secondry school mthemtics): A polynomil is the sum of one or more terms, in which ech term consists of product of constnt nd one or more vribles
More informationMath 135 Circles and Completing the Square Examples
Mth 135 Circles nd Completing the Squre Exmples A perfect squre is number such tht = b 2 for some rel number b. Some exmples of perfect squres re 4 = 2 2, 16 = 4 2, 169 = 13 2. We wish to hve method for
More information. At first sight a! b seems an unwieldy formula but use of the following mnemonic will possibly help. a 1 a 2 a 3 a 1 a 2
7 CHAPTER THREE. Cross Product Given two vectors = (,, nd = (,, in R, the cross product of nd written! is defined to e: " = (!,!,! Note! clled cross is VECTOR (unlike which is sclr. Exmple (,, " (4,5,6
More informationSolution to Problem Set 1
CSE 5: Introduction to the Theory o Computtion, Winter A. Hevi nd J. Mo Solution to Prolem Set Jnury, Solution to Prolem Set.4 ). L = {w w egin with nd end with }. q q q q, d). L = {w w h length t let
More informationSCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics. Basic Algebra
SCHOOL OF ENGINEERING & BUILT ENVIRONMENT Mthemtics Bsic Alger. Opertions nd Epressions. Common Mistkes. Division of Algeric Epressions. Eponentil Functions nd Logrithms. Opertions nd their Inverses. Mnipulting
More informationAll pay auctions with certain and uncertain prizes a comment
CENTER FOR RESEARC IN ECONOMICS AND MANAGEMENT CREAM Publiction No. 12015 All py uctions with certin nd uncertin prizes comment Christin Riis All py uctions with certin nd uncertin prizes comment Christin
More informationA.7.1 Trigonometric interpretation of dot product... 324. A.7.2 Geometric interpretation of dot product... 324
A P P E N D I X A Vectors CONTENTS A.1 Scling vector................................................ 321 A.2 Unit or Direction vectors...................................... 321 A.3 Vector ddition.................................................
More informationLecture 2: Matrix Algebra. General
Lecture 2: Mtrix Algebr Generl Definitions Algebric Opertions Vector Spces, Liner Independence nd Rnk of Mtrix Inverse Mtrix Liner Eqution Systems, the Inverse Mtrix nd Crmer s Rule Chrcteristic Roots
More informationBasic Analysis of Autarky and Free Trade Models
Bsic Anlysis of Autrky nd Free Trde Models AUTARKY Autrky condition in prticulr commodity mrket refers to sitution in which country does not engge in ny trde in tht commodity with other countries. Consequently
More informationMATLAB Workshop 13  Linear Systems of Equations
MATLAB: Workshop  Liner Systems of Equtions pge MATLAB Workshop  Liner Systems of Equtions Objectives: Crete script to solve commonly occurring problem in engineering: liner systems of equtions. MATLAB
More information200506 Second Term MAT2060B 1. Supplementary Notes 3 Interchange of Differentiation and Integration
Source: http://www.mth.cuhk.edu.hk/~mt26/mt26b/notes/notes3.pdf 256 Second Term MAT26B 1 Supplementry Notes 3 Interchnge of Differentition nd Integrtion The theme of this course is bout vrious limiting
More informationBabylonian Method of Computing the Square Root: Justifications Based on Fuzzy Techniques and on Computational Complexity
Bbylonin Method of Computing the Squre Root: Justifictions Bsed on Fuzzy Techniques nd on Computtionl Complexity Olg Koshelev Deprtment of Mthemtics Eduction University of Texs t El Pso 500 W. University
More informationA Network Management System for PowerLine Communications and its Verification by Simulation
A Network Mngement System for PowerLine Communictions nd its Verifiction y Simultion Mrkus Seeck, Gerd Bumiller GmH UnterschluerscherHuptstr. 10, D90613 Großhersdorf, Germny Phone: +49 9105 996051,
More information5.2. LINE INTEGRALS 265. Let us quickly review the kind of integrals we have studied so far before we introduce a new one.
5.2. LINE INTEGRALS 265 5.2 Line Integrls 5.2.1 Introduction Let us quickly review the kind of integrls we hve studied so fr before we introduce new one. 1. Definite integrl. Given continuous relvlued
More informationVersion 001 CIRCUITS holland (1290) 1
Version CRCUTS hollnd (9) This printout should hve questions Multiplechoice questions my continue on the next column or pge find ll choices efore nswering AP M 99 MC points The power dissipted in wire
More informationRotating DC Motors Part II
Rotting Motors rt II II.1 Motor Equivlent Circuit The next step in our consiertion of motors is to evelop n equivlent circuit which cn be use to better unerstn motor opertion. The rmtures in rel motors
More information0.1 Basic Set Theory and Interval Notation
0.1 Bsic Set Theory nd Intervl Nottion 3 0.1 Bsic Set Theory nd Intervl Nottion 0.1.1 Some Bsic Set Theory Notions Like ll good Mth ooks, we egin with definition. Definition 0.1. A set is welldefined
More informationExperiment 6: Friction
Experiment 6: Friction In previous lbs we studied Newton s lws in n idel setting, tht is, one where friction nd ir resistnce were ignored. However, from our everydy experience with motion, we know tht
More informationDAGmaps: Space Filling Visualization of Directed Acyclic Graphs
Journl of Grph Algorithms nd Applictions http://jg.info/ vol. 13, no. 3, pp. 319 347 (2009) DAGmps: Spce Filling Visuliztion of Directed Acyclic Grphs Vssilis Tsirs 1,2 Sofi Trintfilou 1,2 Ionnis G. Tollis
More informationAlgebra Review. How well do you remember your algebra?
Algebr Review How well do you remember your lgebr? 1 The Order of Opertions Wht do we men when we write + 4? If we multiply we get 6 nd dding 4 gives 10. But, if we dd + 4 = 7 first, then multiply by then
More informationUse Geometry Expressions to create a more complex locus of points. Find evidence for equivalence using Geometry Expressions.
Lerning Objectives Loci nd Conics Lesson 3: The Ellipse Level: Preclculus Time required: 120 minutes In this lesson, students will generlize their knowledge of the circle to the ellipse. The prmetric nd
More information1. Definition, Basic concepts, Types 2. Addition and Subtraction of Matrices 3. Scalar Multiplication 4. Assignment and answer key 5.
. Definition, Bsi onepts, Types. Addition nd Sutrtion of Mtries. Slr Multiplition. Assignment nd nswer key. Mtrix Multiplition. Assignment nd nswer key. Determinnt x x (digonl, minors, properties) summry
More informationOnline Multicommodity Routing with Time Windows
KonrdZuseZentrum für Informtionstechnik Berlin Tkustrße 7 D14195 BerlinDhlem Germny TOBIAS HARKS 1 STEFAN HEINZ MARC E. PFETSCH TJARK VREDEVELD 2 Online Multicommodity Routing with Time Windows 1 Institute
More informationNovel Methods of Generating SelfInvertible Matrix for Hill Cipher Algorithm
Bibhudendr chry, Girij Snkr Rth, Srt Kumr Ptr, nd Sroj Kumr Pnigrhy Novel Methods of Generting SelfInvertible Mtrix for Hill Cipher lgorithm Bibhudendr chry Deprtment of Electronics & Communiction Engineering
More informationBinary Representation of Numbers Autar Kaw
Binry Representtion of Numbers Autr Kw After reding this chpter, you should be ble to: 1. convert bse rel number to its binry representtion,. convert binry number to n equivlent bse number. In everydy
More information1.00/1.001 Introduction to Computers and Engineering Problem Solving Fall 2011  Final Exam
1./1.1 Introduction to Computers nd Engineering Problem Solving Fll 211  Finl Exm Nme: MIT Emil: TA: Section: You hve 3 hours to complete this exm. In ll questions, you should ssume tht ll necessry pckges
More informationTwo hours UNIVERSITY OF MANCHESTER SCHOOL OF COMPUTER SCIENCE. Date: Friday 16 th May 2008. Time: 14:00 16:00
COMP20212 Two hours UNIVERSITY OF MANCHESTER SCHOOL OF COMPUTER SCIENCE Digitl Design Techniques Dte: Fridy 16 th My 2008 Time: 14:00 16:00 Plese nswer ny THREE Questions from the FOUR questions provided
More informationDynamic TDMA Slot Assignment in Ad Hoc Networks
Dynmic TDMA Slot Assignment in Ad Hoc Networks Akimitsu KANZAKI, Toshiki UEMUKAI, Tkhiro HARA, Shojiro NISHIO Dept. of Multimedi Eng., Grd. Sch. of Informtion Science nd Technology, Osk Univ. Dept. of
More informationCommunication Cost for Updating Linear Functions when Message Updates are Sparse: Connections to Maximally Recoverable Codes
1 Communiction Cost for Updting Liner Functions when Messge Updtes re Sprse: Connections to Mximlly Recoverble Codes N. Prksh nd Muriel Médrd Abstrct rxiv:1605.01105v2 [cs.it] 8 Jun 2016 We consider communiction
More information** Dpt. Chemical Engineering, Kasetsart University, Bangkok 10900, Thailand
Modelling nd Simultion of hemicl Processes in Multi Pulse TP Experiment P. Phnwdee* S.O. Shekhtmn +. Jrungmnorom** J.T. Gleves ++ * Dpt. hemicl Engineering, Ksetsrt University, Bngkok 10900, Thilnd + Dpt.hemicl
More informationBasic Research in Computer Science BRICS RS0213 Brodal et al.: Solving the String Statistics Problem in Time O(n log n)
BRICS Bsic Reserch in Computer Science BRICS RS0213 Brodl et l.: Solving the String Sttistics Prolem in Time O(n log n) Solving the String Sttistics Prolem in Time O(n log n) Gerth Stølting Brodl Rune
More information9 CONTINUOUS DISTRIBUTIONS
9 CONTINUOUS DISTIBUTIONS A rndom vrible whose vlue my fll nywhere in rnge of vlues is continuous rndom vrible nd will be ssocited with some continuous distribution. Continuous distributions re to discrete
More informationDATABASDESIGN FÖR INGENJÖRER  1056F
DATABASDESIGN FÖR INGENJÖRER  06F Sommr 00 En introuktionskurs i tssystem http://user.it.uu.se/~ul/tsommr0/ lt. http://www.it.uu.se/eu/course/homepge/esign/st0/ Kjell Orsorn (Rusln Fomkin) Uppsl Dtse
More informationVariable Dry Run (for Python)
Vrile Dr Run (for Pthon) Age group: Ailities ssumed: Time: Size of group: Focus Vriles Assignment Sequencing Progrmming 7 dult Ver simple progrmming, sic understnding of ssignment nd vriles 2050 minutes
More informationg(y(a), y(b)) = o, B a y(a)+b b y(b)=c, Boundary Value Problems Lecture Notes to Accompany
Lecture Notes to Accompny Scientific Computing An Introductory Survey Second Edition by Michel T Heth Boundry Vlue Problems Side conditions prescribing solution or derivtive vlues t specified points required
More informationRTL Power Optimization with Gatelevel Accuracy
RTL Power Optimiztion with Gtelevel Accurcy Qi Wng Cdence Design Systems, Inc Sumit Roy Clypto Design Systems, Inc 555 River Oks Prkwy, Sn Jose 95125 2903 Bunker Hill Lne, Suite 208, SntClr 95054 qwng@cdence.com
More informationExample A rectangular box without lid is to be made from a square cardboard of sides 18 cm by cutting equal squares from each corner and then folding
1 Exmple A rectngulr box without lid is to be mde from squre crdbord of sides 18 cm by cutting equl squres from ech corner nd then folding up the sides. 1 Exmple A rectngulr box without lid is to be mde
More informationThe Chain Rule. rf dx. t t lim " (x) dt " (0) dx. df dt = df. dt dt. f (r) = rf v (1) df dx
The Chin Rule The Chin Rule In this section, we generlize the chin rule to functions of more thn one vrible. In prticulr, we will show tht the product in the singlevrible chin rule extends to n inner
More informationMultiplication and Division  Left to Right. Addition and Subtraction  Left to Right.
Order of Opertions r of Opertions Alger P lese Prenthesis  Do ll grouped opertions first. E cuse Eponents  Second M D er Multipliction nd Division  Left to Right. A unt S hniqu Addition nd Sutrction
More informationVectors 2. 1. Recap of vectors
Vectors 2. Recp of vectors Vectors re directed line segments  they cn be represented in component form or by direction nd mgnitude. We cn use trigonometry nd Pythgors theorem to switch between the forms
More informationQoS Mechanisms C HAPTER 3. 3.1 Introduction. 3.2 Classification
C HAPTER 3 QoS Mechnisms 3.1 Introduction In the previous chpter, we introduced the fundmentl QoS concepts. In this chpter we introduce number of key QoS mechnisms tht enble QoS services. At the end of
More informationModular Generic Verification of LTL Properties for Aspects
Modulr Generic Verifiction of LTL Properties for Aspects Mx Goldmn Shmuel Ktz Computer Science Deprtment Technion Isrel Institute of Technology {mgoldmn, ktz}@cs.technion.c.il ABSTRACT Aspects re seprte
More informationSection 5.2, Commands for Configuring ISDN Protocols. Section 5.3, Configuring ISDN Signaling. Section 5.4, Configuring ISDN LAPD and Call Control
Chpter 5 Configurtion of ISDN Protocols This chpter provides instructions for configuring the ISDN protocols in the SP201 for signling conversion. Use the sections tht reflect the softwre you re configuring.
More informationMATH 150 HOMEWORK 4 SOLUTIONS
MATH 150 HOMEWORK 4 SOLUTIONS Section 1.8 Show tht the product of two of the numbers 65 1000 8 2001 + 3 177, 79 1212 9 2399 + 2 2001, nd 24 4493 5 8192 + 7 1777 is nonnegtive. Is your proof constructive
More informationCHAPTER 11 Numerical Differentiation and Integration
CHAPTER 11 Numericl Differentition nd Integrtion Differentition nd integrtion re bsic mthemticl opertions with wide rnge of pplictions in mny res of science. It is therefore importnt to hve good methods
More informationPROF. BOYAN KOSTADINOV NEW YORK CITY COLLEGE OF TECHNOLOGY, CUNY
MAT 0630 INTERNET RESOURCES, REVIEW OF CONCEPTS AND COMMON MISTAKES PROF. BOYAN KOSTADINOV NEW YORK CITY COLLEGE OF TECHNOLOGY, CUNY Contents 1. ACT Compss Prctice Tests 1 2. Common Mistkes 2 3. Distributive
More information4 Approximations. 4.1 Background. D. Levy
D. Levy 4 Approximtions 4.1 Bckground In this chpter we re interested in pproximtion problems. Generlly speking, strting from function f(x) we would like to find different function g(x) tht belongs to
More informationOne Minute To Learn Programming: Finite Automata
Gret Theoreticl Ides In Computer Science Steven Rudich CS 15251 Spring 2005 Lecture 9 Fe 8 2005 Crnegie Mellon University One Minute To Lern Progrmming: Finite Automt Let me tech you progrmming lnguge
More informationSimulation of operation modes of isochronous cyclotron by a new interative method
NUKLEONIKA 27;52(1):29 34 ORIGINAL PAPER Simultion of opertion modes of isochronous cyclotron y new intertive method Ryszrd Trszkiewicz, Mrek Tlch, Jcek Sulikowski, Henryk Doruch, Tdeusz Norys, Artur Srok,
More information