On the Encoding of the Multi-Non-Binary Convolutional Codes

Size: px
Start display at page:

Download "On the Encoding of the Multi-Non-Binary Convolutional Codes"

Transcription

1 Buleinul Şiinţific al Universiăţii "Poliehnica" din imişoara Seria ELECRONICĂ şi ELECOMUNICAŢII RANSACIONS on ELECRONICS and COMMUNICAIONS om 53(67), Fascicola -, 008 On he Encoding of he Muli-Non-Binary Convoluional Codes Bala Horia, Alexandre De Baynas, Kovaci Maria Absrac - Recenly, Douillard e al. proposed a new family of muli-binary urbo-codes based on he parallel concaenaion of wo consiuen convoluional codes wih muliple inpus ha has beer global performance han classical urbo-codes. he encoder is based on an r- inpus linear feedback shif regiser (LFSR). In his paper, we show ha he encoder can also be represened by he observer canonical configuraion. his configuraion is essenial o reduce he compuaional complexiy of he code design procedure especially for moderae codeword sizes. Indeed, in his conex, an exhausive search usually provides beer resuls han he EXI char or similar opimizaion ools. We show ha he second configuraion reduces he compuaional complexiy of he search up o 300%. Based on his sraegy, we were able o design a rae-/ urbo-code wih wo inpus and memory m=3 which ouperforms he urbo-code wih same characerisics proposed by Douillard e al. by 0.5 decibels for a frame error rae of 0-4. Keywords: recursive and sysemaic muli-binary convoluional code, generaor marix, urbo-code. I. INRODUCION he muli-binary urbo-codes (MBC) also referred as non-binary urbo-codes ([]-[]) have several advanages compare o he iniial binary urbocodes in [3] like faser convergence and lower error floor. We refer o [4] for a more deailed analysis. he design of he MBC generally requires an exhausive search hrough large ses of feasible codes [5]-[6] and inerleavers [7]. his is paricularly rue for moderae codeword lenghs. In ha case, he asympoic hreshold deermined by EXI char or by similar opimizaion ools may no be accurae due o he lack of randomness of he srucure of he inerleaver and an exhausive search provides ofen beer resuls. In he case of urbo-codes wih muliple binary and nonbinary inpus (MBC [8] and MNBC [9], respecively), his search is a major burden for heir opimizaion since he compuaional complexiy of he search is exponenial wih he number of inpus r. herefore, resricing he search o a limied se of `good M(N)BC is essenial. he MBC proposed in [8] consis of he parallel concaenaion of wo rae-r/(r+) recursive sysemaic convoluional codes (RSC) where r represens he number of inpus of he code. he encoders are based on muliple-inpu linear feedback shif regisers (LFSR). An alernaive encoding mehod for M(N)BC consiss in a generalizaion of he Fibonacci encoder ([0]-[4]). Whereas boh encoding mehods are equivalen for r=, i.e., for he binary single inpu urbo-codes wih and wihou puncuring, hey give wo differen ses of encoder in he case of muliple inpus (r>). In his paper, we compare boh ses according several crieria commonly used in he sysem heory: cardinal number of boh ses, elemen-o-elemen equivalence beween boh ses. his comparison is imporan in order o selec he bes encoding mehod for he design of he MBC and MNBC based on an exhausive search. he res of he paper is organized as follows. Secion II describes he encoding mehod proposed in [8]. In he hird secion, an alernaive encoding mehod based on he generalizaion of a Fibonacci encoder is presened. In Secion IV, he condiions of equivalence beween boh mehods are deermined. Finally, in Secion 5, we presen our opimizaion resuls and compare he packe error rae performance wih he MBC from []. II. CANONICAL FORM OF CONVOLUIONAL ENCODERS BASED ON LINEAR FEEDBACK SHIF REGISER Fig. shows he general srucure of a mulipleinpu recursive sysemaic convoluional encoder ha is used in [8] for each of boh consiuen codes. he encoder is based on an r-inpu linear feedback shif regiser (LFSR). his encoder is generally no decomposable ino r single-inpu encoders, i.e., i canno be represened by he conroller canonical Universiy Poliehnica of imişoara, Faculy of Elecronics and elecommunicaions, V. Parvan, 303 imişoara, Romania, horia.bala@ec.up.ro, maria.kovaci@ec.up.ro Deparmen of Wireless Neworks RWH Aachen Universiy, Aachen, Germany, ade@gollum.mobnes.rwh-aachen.de

2 u r u r- h 0,m Fig. Canonical configuraion of a muliple-inpu rae-r/(r+) RSC convoluional encoder based on linear feedback shif regiser. configuraion []. hroughou he paper, in order o simplify he noaions, his configuraion is simply referred as he canonical form of ype H. he encoder has r inpus, u,... u r and r+ oupus corresponding o he r inpus and one redundan bi u 0 also referred as c. he curren encoder sae is given by he oupus of he m shif regisers s, s,... s m. he inpus u i, i= r are physically conneced o he j-h adder if h ij =; S = [ s m s s ] and U = [ u r ur ] describe he encoder sae a he ime and he inpu vecor of size r, respecively where x denoes he ranspose of he vecor x. he inpu/curren sae and oupu/curren sae relaions of he encoder a he ime can be expressed in he compac form: S+ = H 0 U + S () c = H E S + W S + () where he generaor marix H 0 and he marix are defined as follows: and wih h r, h r-, h, h 0, h 0, S h r, h r-, h, h r+, S hr,m... h,m H = 0 (3) hr,... h, hr,... h, 0( m = ) H h r+, I m R h r,m h r-,m h,m (4) H R = [h 0,m... h 0, h 0, (5) In order o have a decodable code [0], we assume ha H 0 is full rank. In (), he vecor W is equal o [0 0 0 ] m, and: H E = [h r+,m... h r+, h r+, ]. (6) In order o compare his canonical form based on LSFR wih he observer canonical form presened in nex secion, we deermine he ransfer funcion S m h r+,m u r u r- c = u 0 marix of he encoder. Le define he Lauren series of he sequence x as X(D) = = x D. Assuming ha he marix I m +D is inverible, i.e. de(i m +D ) = h 0 (D) 0 wih h i (D)= m j j= h ij D +, he ransfer funcion which corresponds o he redundan sequence C(D) of he encoder and he global ransfer funcion marix of he code M h (D) are respecively equal o: C(D) = M h (D) U(D) (7) M h (D) = D H E (I m +D ) - H 0 + W (I m +D ) - H 0 (8) Afer some algebraic manipulaions, i can be shown ha: ( Im + D ) = Pm ( D ) H R Δm( D) + D Δm( D) b( D ) where P m (D)=[D m- D ] and Δ m (D) is a oepliz marix wih firs row [D D D m- D m ] and firs column [D 0 0 0]. herefore, he ransfer funcion marix M h (D) can be simplified as: hr ( D ) M h (D) = + H R H E + Δ m( D ) H 0 h0( D ) + + [h r, h, h, ] (9) In he nex secion, we inroduce a second canonical form for muliple-inpu encoders based on Fibonacci represenaion. III. OBSERVER CANONICAL FORM OF CONVOLUIONAL ENCODERS WIH MULIPLE INPUS A recursive and sysemaic convoluional encoder wih muliple inpus (MIRSC) is generally no decomposable ino r single-inpu encoders, i.e., his encoder can generally no be represened by an equivalen srucure wih one shif regiser for each inpu. However, we show in his secion ha a realizable srucure consiss o have one shif regiser for he single oupu c as shown in Fig.. In sysem heory, his canonical form is referred as he observer canonical form, [0]. hroughou he paper, for sake of simpliciy, we refer his scheme as he canonical form of ype G. u r u r- u r u r- g r,m g r-,m g r,m- gr-,m- g g,m g r,0 g,m- r-, g g, r, gr-,0 g,0 S m- S 0 c = u 0 g 0,m g 0,m- g 0, g 0,0 = Fig. Observer canonical configuraion of a muliple-inpu raer/(r+) RSC convoluional encoder.

3 Le S = [ sm sm s 0 ] and U = [ u r ur ] denoe he m-componen column vecor describing he encoder sae a he ime and he inpu vecor of size r, respecively. he inpu/curren sae and oupu/curren sae relaions of he encoder a he ime can be expressed in he compac form: where G and are defined as: S+ = G U + S (0) c = G L U + W S () G = G 0 + G R G L () 0 m = GR, (3) I m G L and W are equal o [g r,0 g r-,0 g,0 ] and [0 0 0 ] m, respecively. In order o have a decodable code, we assume ha G is full rank [0]. Moreover, G 0 is defined as: gr,m gr,m... g,m = gr,m gr,m... g,m G (4) gr, gr,... g, and G R = [g 0,m g 0,m- g 0, ]. Afer some algebraic g 0 D as manipulaions and by defining ( ) j ( D) = g g = m j 0 0j D 0, i can be shown ha he ransfer funcion C(D) of redundan sequence and he ransfer funcion marix M g (D) of he encoder are respecively equal o: C(D) = G L U(D) + W S(D) (5) ( D) ( ) ( D P ) m( D) G G (6) L D M g = 0 + g0 Afer deriving he ransfer funcion marices M h (D) and M g (D) for boh canonical forms H and G in (9) and (6) respecively, we invesigae in he nex secion he relaions of equivalence beween he canonical forms H and G. IV. EQUIVALENCE BEWEEN ENCODERS DEFINED WIH HE CANONICAL FORMS H AND G Firs, we define he relaion of equivalence beween he canonical forms H and G: Definiion : he canonical forms H and G are equivalen if for any daa inpu U(D), boh canonical forms give he same oupu C(D), i.e.: M g (D) = M h (D) (7) where M h (D) and M g (D) are defined in (9) and (6), respecively. A. Single inpu classical binary case (r= and g 0 =): We firs invesigae he equivalence beween boh mehods in he single inpu case and when g 0 = as in he classical case [3]. heorem ([] p.0): In he case of single inpu (r=), boh configuraions are equivalen. Proof: For r=, H 0 =W. By muliplying boh sides of (0) by h 0 (D), we have: h 0 (D) M h (D)=(h (D) H R +h 0 (D) H E ) D ( D ) +h 0 (D) P m =h (D) (h 0 (D)+)+h 0 (D) (h (D)+)+h 0 (D)=h (D). Since G 0 is a column vecor and G L is equal o in he single inpu case, (6) can be wrien as: g 0 (D) M g (D) = g,m D m + + g, D + g, D +=g (D). So, if h (D) = g (D) and h 0 (D) = g 0 (D) boh configuraions H and G for he classical binary case are one-o-one equivalen. a) Canonical configuraion for he encoder defined by H=[6 5]. u b) Observer canonical form for he encoder defined by G=[ 3]. Fig.3 he wo canonical forms for he 3/5 8 convoluional RSC We illusrae his resul wih he following example. Suppose he RSC wih he oupu and feedback polynomials equal o 5 8 =+D +D 3 and 3 8 =+D+D 3, respecively. By defining he full generaor marices H and G as follows: and 0 0 H 0 = S 0 S S 3 H R =5 0 H E =6 c = u 0 0 G 0 = S S S 0 c=u 0 0 E R H = [ H H 0 H ] = [h r+ h r h h 0 ] 0 (8) G0 GR G = = [g r g g 0 ] 0, (9) GL H and G are equal o [6 5] and [3 ] in his example. he wo canonical forms H and G for he encoder are shown in Figures 3.a and 3.b, respecively. Since we have a sric equivalence beween boh canonical forms H and G in he classical single inpu case, i.e. r= and g 0 =, he opimizaion of he urbocodes can be performed eiher using he canonical G R =3

4 form G or H. However, we show nex ha i is no rue in he case of muliple inpus. B. Muliple inpu case (r>): We sar wih he following remark. Le G and H denoe he ses of he encoders wih canonical forms G and H, respecively. he sizes of he marices H and G defined in (8) and (9) are m (r+) and (m+) (r+), respecively. Assuming g 0,0 = and m r, he marix H has more enries han G. herefore he se H is larger han he subse G, i.e. he canonical forms H and G are generally no one-o-one equivalen in he muliple inpu case. he condiions for which boh canonical forms are equivalen are summarized in he nex wo heorems. heorem : For any generaor marix H of canonical form H, i exiss a unique equivalen marix G of canonical form G, which is soluion of he following sysem: (α) g 0,0 =, (β) g i,0 = h i, for any i =,..., r, (γ) g 0,i = h 0,i for any i=,... m, (δ) D P m (D) G 0 =(h r+ (D) H R +h 0 (D) H E ) Δ m (D) H (h 0 (D)+) [h r, h, h, ]. Proof: Equaion (α) imposes he srucure o be recursive. Afer some basic manipulaions, i can easily be shown ha (β), (γ) and (δ) are equivalen o (9), (6) and (7). In order o complee he proof, we have o show ha (δ) has a unique soluion G 0. Lemma : Equaion (δ) is equivalen o he equaion: G = A H 0 where he m m marix A is deermined recursively as follows: Iniializaion: H ER = [H E ] H R + [H R ] H E and A(,:) = H ER (,:); Ieraion i=,3, m: A(i,:)=H ER (i,:)+a(i-,:) I m (); where I m (p) is he m m ideniy marix shifed by p- posiions o he righ. M(i,:) denoes he row -vecor of he enries of he i-h row in he marix M (Malab noaions). Proof: We have by definiion: h r+ (D) H R +h 0 (D) H E = [D m D m- D ] ([H E ] H R +[H R ] H E ), and Δ m (D) = I m () D + I m () D + + I m (m) D m. Using (β), (γ) and (), we can now wrie: m i D G i= m+ m i+ p ( i,: ) = D H ( i,: ) I ( p) i= p= or equivalenly erm by erm: G i ER ( i,: ) = H ER ( i,: ) Im ( i k + ) H 0 k= i + k= = H ER ( i,: ) H ER ( i.: ) I m ( i k) Im ( ) H0 = m H 0 (0). () i We define A as: A(i,:) = k= H ER ( i,: ) I m ( i k + ). Using (), he i-h row of A can be expressed as: A(i,:) = H ER (i,:) + A(i-,:) I m () and G (i,:) is equal o A(i,:) H 0, i =,, m or equivalenly: G = A H 0. According o he Lemma, for any encoder defined by is generaor marix H 0, i exiss a unique generaor marix G and herefore a unique equivalen encoder wih a canonical form G which complees he proof of heorem. heorem shows ha for any marix H here is an equivalen marix G. We propose nex o invesigae if he converse is rue. We sar wih he following example: Assume m=r= and a generaor polynomial G = [ 3]. he corresponding encoder is depiced in Fig.4. his example does no belong o he classical binary case because g 0 =0. We have successively: G R =[]=H R, G L =[0]=[h ]=H 0, H=[ H E H 0 H R ] = [x 0 ]. I is easy o show ha he condiion (δ) is []=[+x] [0] which canno be saisfied for a leas one value of x {0, }. hus, he encoder presened in Fig.4 canno be represened in he canonical form H. heorem 3: For any generaor marix in G, i exiss i) none, ii) one or iii) several equivalen generaor marices in H. Proof: A generaor marix H in H which has an equivalen in G verifies he sysem of equaions: (β) [h r, h r-,... h, ]=G L ; (γ) H R =G R ; (δ) A H 0 =G (Lemma ). In order o find he vecor H E and he marix H 0 ha verified (δ), a exhausive compuaional search is performed hrough he (m- ) r+m possible pairs {H E, H 0 }. Equaion (δ) has i) none, ii) one or iii) several soluions: i) We have shown in he previous example ha an encoder in G may no have an equivalen in H. In secion 5.A, we provide several examples. Fig. 4. Encoder for G=[ 3] ii) here is a unique soluion for he single inpu classical binary case as shown in heorem. Moreover, for any r>, one could find a unique soluion H 0 o (δ) for paricular values of G. iii) Clearly we have: H G, where. denoes he cardinal number of a se. However, from heorem, we know ha any generaor marix in H has a unique equivalen in G. hus, here is a leas wo encoders in H wih he same equivalen encoder in G. According o heorem 3, he sysem of equaions (α), (β), (γ) and (δ) esablishes a funcion of equivalence ξ: H G, which is neiher injecive nor subjecive. heorem 3 has a huge impac for he design of C. Indeed, searching a good encoder in G insead of H is no only faser according o he condiion (iii) bu can furhermore lead o a beer soluion which does no exis in H according o he condiion (i). Furhermore, we show in he following heorem ha here are no disinc encoders in G ha are equivalen o each oher. S 0 0 u 0

5 heorem 4: {G, G G } G, G and G are no equivalen i.e. wo disinc marices in G canno be equivalen. Proof: Assume ha wo marices G and G in G are equivalen. According o (6) and (7), i implies ha: ( D) g ( D) g 0 = 0, G R = G R and D P m (D) G 0 + G L = D P m (D) G 0 + G L. he las equaliy is verified if only if: G and G so G = G. 0 G0 L G L C. Exension o he Muli-Non-Binary Convoluional Codes: I is worh noing ha all previous calculaions are valid for binary and non-binary inpus. herefore, all he resuls can be generalized for (u i, s j, h ij, g ij ) in GF( q ), q>. hey can direcly be used for he design of he MNBC [9]. In ha case, each connecion corresponds o a q bis-wide bus; he coefficiens h ij and g ij correspond o a muliplicaion circui over GF ( q ); he shif regisers buffer packes of q bis, and he adders perform modulo symbol-wise addiions. V. SIMULAION RESULS In his secion, we numerically evaluae he imporance of designing he MBC by searching he candidaes among he encoders wih canonical form G insead of he candidaes among he encoders wih canonical form H: ABLE I CARDINAL NUMBER OF HE SES G O, H O AND ξ(h O ) FOR HE CODES OF RAE-r/(r+) WIH MEMORY m=,3,4 AND WIH r INPUS, r=,,3. m r G o H o ξ(h o ) From Secion 4.3, we have H G. herefore, he search for good M(N)BC in G insead of H is faser. However, for pracical values of m and r, i.e. for consiuen codes wih memory 3 or 4, wha is he effecive gain? In heorem 3 we showed ha we could find codes in G ha do no have any equivalen in H. However, for pracical values of m and r, are hese codes among he bes consiuen codes for MBC? A. Cardinal number of he subses G, H and ξ(h) Wihou loss of generaliy, we limi our search o he recursive decodable codes in G and H, i.e. for G R and H R wih a leas one non zero enry. Moreover, swiching he inpus gives an equivalen code. herefore we assume ha he firs r elemens of he encoder marix G are sored in decreasing order. he wo resuling subses are G o and H o. In addiion, we define he subse ξ(h o ) of G o whose each elemen has a leas one equivalen in H o. In able, we compare he cardinal number of he ses G o, H o and ξ(h o ) for pracical values of m and r. he difference G o ξ(h o ) exponenially increases wih respec o r. he raio H o / ξ(h o ) exponenially increases wih respec o m-r. he larger he memory and/or he lower he coding rae, he more ineresing he search among he encoders wih canonical form G insead of H. If he feedback polynomial g 0 (D)=h 0 (D) is a primiive polynomial wih g 0,m =h 0,m 0, which is pracically he case of all `good codes, any marix in G has m-r equivalen marices in H. herefore, even if he search is limied o he encoding marices wih a primiive feedback polynomial, he gain of searching he consiuen codes of he MBC in G insead of H is of he same order, i.e. he compuaional complexiy of an exhausive search decreases exponenially wih respec o m-r. o illusrae his claim, we deermine in able II he equivalen marices for wo rae-/3 codes from [8] of memory m=3 and m=4 wih generaor marices H=[6 7 5] and H=[ ], respecively. B. Opimizaion Resuls In his secion, we presen he opimizaion resuls of an exhausive search among all encoders in G, i.e., all encoders ha can be represened wih observer canonical form. In order o reduce he compuaional complexiy of he MBC based on an exhausive search, we perform he exhausive search in boh following seps: in he firs sep, we selec boh codes and inerleavers based on a quick esimae of he raio beween he average number of ieraions o decode he MNBC and he number of packes ha were ransmied wihou error for a fixed number of packes. Only few packes, say roughly 000 ransmied packes for each code, are needed o accuraely esimae his raio. Moreover, we observe in our simulaions ha he bes code in all cases belongs o he firs per cen only of he codes wih fases convergence which dramaically reduces he code opimizaion. In he second sep, we are simulaing FER a a SNR such ha he FER resuls approximaively mach wih a argeed FER. In our case, we arge a FER around 0-4 and are using codewords o esimae i: he bes code is he code wih he smalles FER. For implemenaion consideraions, we focus on double-binary urbo-codes (MBC wih wo inpus) wih memory m= and 3. In all cases excep if i is noified, we use an S-inerleaver of lengh 75 he rellis-erminaion echnique using ail-bis o drive he encoder o he all-zero sae; moreover, he coding rae is / for all MBC. For m=, he bes code ha we found has for generaor marix G=[7 6 5] which does no have an equivalen in canonical form H. For m>, he codes ha belong o G\H do no have a primiive feedback connecion polynomial g 0 (D) of

6 maximal degree m. Since he bes MBC are based on a primiive feedback polynomial, i is no necessary o consider he codes ha belong o G\H in he MBC design. he canonical form G is sill ineresing for he MBC design in order o simplify he exhausive search based on heorem 4. For m=3 and an S-inerleaver of parameer, he bes MBC ha we found is he code proposed in [8] wih generaor marix G=[3 5 ]. Whereas he S- inerleaver is asympoically opimal in he codeword size [5], we also consider he family of inerleaver proposed in [8] which is simpler o implemen in hardware. hese inerleavers are defined by 4 parameers: P, P P and P3. For more deails on he consrucion of such inerleavers, we refer o [8]. hrough an exhausive search, we found wo bes codes wih generaor marices G=[5 9 ] and G=[5 9 3] and wih inerleavers defined by he parameers P=9, P=376, P=38, P3=96 and P=9, P=376, P=03 and P3=677, respecively. Boh codes have similar Bi Error Rae and Frame Error Rae performance and ouperforms he MBC proposed by [8]. For a frame error rae of 0e-4, he gain is approximaively equal o 0.3 decibels. Finally, for m=4, he bes code ha we found has for generaor marix G=[ 3 5] which is he same ha Douillard proposed in [8]. VI CONCLUSIONS he design of he urbo-codes wih muliple inpus generally requires an exhausive search hrough large ses of feasible codes and inerleavers. his search is a major burden in heir opimizaion since he compuaional complexiy of he search is exponenial wih he number of inpus r. Fig.6 Bi and Frame Error Rae Performance as a funcion of he signal-o-noise raio for hree rae-/ codes wih memory 3: boh codes ha we designed in his paper defined by generaor marices G=[5 9 3] and G=[5 9 ], respecively and he code proposed in [8] wih generaor marix [3 5 ]. he heoreical limis on FER are derived from [6]. In his paper, we showed ha he encoder of such codes could be represened wih he observer canonical configuraion. his configuraion is essenial for reducing he compuaional complexiy of he search (up o 300% for he codes ha we considered). Based on his sraegy, we were able o design a rae-/ urbo-code wih wo inpus and memory m=3 which ouperforms he equivalen urbocode proposed by Douillard e al. by 0.5 decibels for a frame error rae of 0-4. ACKNOWLEDGMEN he auhors are graeful o Professors C. Douillard, Ph.D and M. Jézéquel., Ph. D, from ENS-Breagne for he urbo Codes seminars susained in imişoara, Romania. REFERENCES [] C. Berrou, M. Jézéquel, Nonbinary convoluional codes for urbo coding,elecron. Le.,vol. 35,no.,pp.39 40,Jan [] A. Ghrayeb,. Abualrub, Asympoic performance comparison of concaenaed (urbo) codes over GF(4), In. J. Commun. Sys. 004, 7, [3] C. Berrou, Some clinical aspecs of urbo codes, in Proc. IEEE In. Symp. urbo Codes Relaed op., Bres, France, Sep. 997, pp [4] C. Berrou, M. Jézéquel, C. Douillard, and S. Kerouédan, he advanages of nonbinary urbo codes, in Proc. IEEE Inf. heory Workshop, Cairns, Ausralia, Sep. 00, pp [5] S. Benedeo, R. Garello, and G. Monorsi, A search for good convoluional codes o be used in he consrucion of urbo codes, IEEE ransacions on Communicaions, vol. 46, no. 9, pp. 0 05, Sep [6] A. C. Reid,. A. Gulliver, D. P. aylor, Rae-/ Componen Codes for Nonbinary urbo Codes, IEEE ransacions on Communicaions, vol. 53, No. 9, sep [7] J. Sun, O. Y. akeshia, Inerleavers for urbo Codes Using Permuaion Polynomials Over Ineger Rings, IEEE ransacions on Informaion heory, vol. 5, No.,Jan [8] C. Douillard, C. Berrou, urbo Codes Wih Rae-m/(m+) Consiuen Convoluional Codes, IEEE ransacions on Communicaions, Vol. 53, No. 0, Oc. 005, pp [9] H. Bala, M. Kovaci, A. de Baynas, C. Vladeanu, R. Lucaciu, A Very General Family of urbo-codes: he Muli-Non- Binary urbo Codes, Scienific Bullein of he Poliehnica Univ. of imişoara, Romania, Sep.006, fasc., pp [0] R. Johannesson and K. S. Zigangirov, Fundamenals of Convoluional Coding, ser. Digial, Mobile Commun.. New York: IEEE Press, 999, Chaper. II. [] M. Goresky and A. Klapper, Fibonacci and Galois represenaions of feedback-wih-carry shif regisers. IEEE ransacions on Informaion heory Vol. 48 No. :Nov 00, pp [] R. Johannesson and Z. Wan. A linear algebra approach o minimal convoluional encoders. IEEE ransacions on Informaion heory, Vol. 39 No 4 April 993, pp [3]. Hasegawa, On a Coder of Fibonacci Code for Undermiaer Digial Daa ransmission, IEEE 97 Eng. In he Ocean Environmen Conf., pp [4] W. Xiang and S.S. Pierobon, A New Class of Parallel Daa Convoluional Codes, in Proc. of 6 h Ausralian Communicaions heory Workshop, pp , Feb 005. [5] C. Douillard, C. Berrou, M. Jézéquel, urbo-codes (convoluifs), ech. repor, Mar. 004, imisoara, Romania: hp://hermes.ec.u.ro/docs/cerceare//cari/ccp.pdf [6] C. S. Dolinar, D. Divsalar, and F. Pollara, Code Performance as a Funcion of Block Size, echnical Repor MO Progress Repor 4-33, May 998.

10. State Space Methods

10. State Space Methods . Sae Space Mehods. Inroducion Sae space modelling was briefly inroduced in chaper. Here more coverage is provided of sae space mehods before some of heir uses in conrol sysem design are covered in he

More information

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

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

More information

Spring Ammar Abu-Hudrouss Islamic University Gaza

Spring Ammar Abu-Hudrouss Islamic University Gaza Chaper 7 Reed-Solomon Code Spring 9 Ammar Abu-Hudrouss Islamic Universiy Gaza ١ Inroducion A Reed Solomon code is a special case of a BCH code in which he lengh of he code is one less han he size of he

More information

Matrix Versions of Some Refinements of the Arithmetic-Geometric Mean Inequality

Matrix Versions of Some Refinements of the Arithmetic-Geometric Mean Inequality Marix Versions of Some Refinemens of he Arihmeic-Geomeric Mean Inequaliy Bao Qi Feng and Andrew Tonge Absrac. We esablish marix versions of refinemens due o Alzer ], Carwrigh and Field 4], and Mercer 5]

More information

Solutions to the Exam Digital Communications I given on the 11th of June = 111 and g 2. c 2

Solutions to the Exam Digital Communications I given on the 11th of June = 111 and g 2. c 2 Soluions o he Exam Digial Communicaions I given on he 11h of June 2007 Quesion 1 (14p) a) (2p) If X and Y are independen Gaussian variables, hen E [ XY ]=0 always. (Answer wih RUE or FALSE) ANSWER: False.

More information

Block Diagram of a DCS in 411

Block Diagram of a DCS in 411 Informaion source Forma A/D From oher sources Pulse modu. Muliplex Bandpass modu. X M h: channel impulse response m i g i s i Digial inpu Digial oupu iming and synchronizaion Digial baseband/ bandpass

More information

Lecture 20: Riccati Equations and Least Squares Feedback Control

Lecture 20: Riccati Equations and Least Squares Feedback Control 34-5 LINEAR SYSTEMS Lecure : Riccai Equaions and Leas Squares Feedback Conrol 5.6.4 Sae Feedback via Riccai Equaions A recursive approach in generaing he marix-valued funcion W ( ) equaion for i for he

More information

t is a basis for the solution space to this system, then the matrix having these solutions as columns, t x 1 t, x 2 t,... x n t x 2 t...

t is a basis for the solution space to this system, then the matrix having these solutions as columns, t x 1 t, x 2 t,... x n t x 2 t... Mah 228- Fri Mar 24 5.6 Marix exponenials and linear sysems: The analogy beween firs order sysems of linear differenial equaions (Chaper 5) and scalar linear differenial equaions (Chaper ) is much sronger

More information

Modal identification of structures from roving input data by means of maximum likelihood estimation of the state space model

Modal identification of structures from roving input data by means of maximum likelihood estimation of the state space model Modal idenificaion of srucures from roving inpu daa by means of maximum likelihood esimaion of he sae space model J. Cara, J. Juan, E. Alarcón Absrac The usual way o perform a forced vibraion es is o fix

More information

Chapter 2. First Order Scalar Equations

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

More information

Longest Common Prefixes

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

More information

EECE251. Circuit Analysis I. Set 4: Capacitors, Inductors, and First-Order Linear Circuits

EECE251. Circuit Analysis I. Set 4: Capacitors, Inductors, and First-Order Linear Circuits EEE25 ircui Analysis I Se 4: apaciors, Inducors, and Firs-Order inear ircuis Shahriar Mirabbasi Deparmen of Elecrical and ompuer Engineering Universiy of Briish olumbia shahriar@ece.ubc.ca Overview Passive

More information

A DELAY-DEPENDENT STABILITY CRITERIA FOR T-S FUZZY SYSTEM WITH TIME-DELAYS

A DELAY-DEPENDENT STABILITY CRITERIA FOR T-S FUZZY SYSTEM WITH TIME-DELAYS A DELAY-DEPENDENT STABILITY CRITERIA FOR T-S FUZZY SYSTEM WITH TIME-DELAYS Xinping Guan ;1 Fenglei Li Cailian Chen Insiue of Elecrical Engineering, Yanshan Universiy, Qinhuangdao, 066004, China. Deparmen

More information

Chapter 7 Response of First-order RL and RC Circuits

Chapter 7 Response of First-order RL and RC Circuits Chaper 7 Response of Firs-order RL and RC Circuis 7.- The Naural Response of RL and RC Circuis 7.3 The Sep Response of RL and RC Circuis 7.4 A General Soluion for Sep and Naural Responses 7.5 Sequenial

More information

ODEs II, Lecture 1: Homogeneous Linear Systems - I. Mike Raugh 1. March 8, 2004

ODEs II, Lecture 1: Homogeneous Linear Systems - I. Mike Raugh 1. March 8, 2004 ODEs II, Lecure : Homogeneous Linear Sysems - I Mike Raugh March 8, 4 Inroducion. In he firs lecure we discussed a sysem of linear ODEs for modeling he excreion of lead from he human body, saw how o ransform

More information

R.#W.#Erickson# Department#of#Electrical,#Computer,#and#Energy#Engineering# University#of#Colorado,#Boulder#

R.#W.#Erickson# Department#of#Electrical,#Computer,#and#Energy#Engineering# University#of#Colorado,#Boulder# .#W.#Erickson# Deparmen#of#Elecrical,#Compuer,#and#Energy#Engineering# Universiy#of#Colorado,#Boulder# Chaper 2 Principles of Seady-Sae Converer Analysis 2.1. Inroducion 2.2. Inducor vol-second balance,

More information

Li An-Ping. Beijing , P.R.China

Li An-Ping. Beijing , P.R.China A NEW TYPE OF CIPHER: DICING_CSB Li An-Ping Beijing 100085, P.R.China apli0001@sina.com Absrac: In his paper, we will propose a new ype of cipher named DICING_CSB, which come from our previous a synchronous

More information

SUPPLEMENTARY INFORMATION

SUPPLEMENTARY INFORMATION SUPPLEMENTARY INFORMATION DOI: 0.038/NCLIMATE893 Temporal resoluion and DICE * Supplemenal Informaion Alex L. Maren and Sephen C. Newbold Naional Cener for Environmenal Economics, US Environmenal Proecion

More information

Chapter 6. Systems of First Order Linear Differential Equations

Chapter 6. Systems of First Order Linear Differential Equations Chaper 6 Sysems of Firs Order Linear Differenial Equaions We will only discuss firs order sysems However higher order sysems may be made ino firs order sysems by a rick shown below We will have a sligh

More information

14 Autoregressive Moving Average Models

14 Autoregressive Moving Average Models 14 Auoregressive Moving Average Models In his chaper an imporan parameric family of saionary ime series is inroduced, he family of he auoregressive moving average, or ARMA, processes. For a large class

More information

Vehicle Arrival Models : Headway

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

More information

Chapter 3 Boundary Value Problem

Chapter 3 Boundary Value Problem Chaper 3 Boundary Value Problem A boundary value problem (BVP) is a problem, ypically an ODE or a PDE, which has values assigned on he physical boundary of he domain in which he problem is specified. Le

More information

Signal and System (Chapter 3. Continuous-Time Systems)

Signal and System (Chapter 3. Continuous-Time Systems) Signal and Sysem (Chaper 3. Coninuous-Time Sysems) Prof. Kwang-Chun Ho kwangho@hansung.ac.kr Tel: 0-760-453 Fax:0-760-4435 1 Dep. Elecronics and Informaion Eng. 1 Nodes, Branches, Loops A nework wih b

More information

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

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

More information

d 1 = c 1 b 2 - b 1 c 2 d 2 = c 1 b 3 - b 1 c 3

d 1 = c 1 b 2 - b 1 c 2 d 2 = c 1 b 3 - b 1 c 3 and d = c b - b c c d = c b - b c c This process is coninued unil he nh row has been compleed. The complee array of coefficiens is riangular. Noe ha in developing he array an enire row may be divided or

More information

GMM - Generalized Method of Moments

GMM - Generalized Method of Moments GMM - Generalized Mehod of Momens Conens GMM esimaion, shor inroducion 2 GMM inuiion: Maching momens 2 3 General overview of GMM esimaion. 3 3. Weighing marix...........................................

More information

THE GENERALIZED PASCAL MATRIX VIA THE GENERALIZED FIBONACCI MATRIX AND THE GENERALIZED PELL MATRIX

THE GENERALIZED PASCAL MATRIX VIA THE GENERALIZED FIBONACCI MATRIX AND THE GENERALIZED PELL MATRIX J Korean Mah Soc 45 008, No, pp 479 49 THE GENERALIZED PASCAL MATRIX VIA THE GENERALIZED FIBONACCI MATRIX AND THE GENERALIZED PELL MATRIX Gwang-yeon Lee and Seong-Hoon Cho Reprined from he Journal of he

More information

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

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

More information

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

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

More information

0.1 MAXIMUM LIKELIHOOD ESTIMATION EXPLAINED

0.1 MAXIMUM LIKELIHOOD ESTIMATION EXPLAINED 0.1 MAXIMUM LIKELIHOOD ESTIMATIO EXPLAIED Maximum likelihood esimaion is a bes-fi saisical mehod for he esimaion of he values of he parameers of a sysem, based on a se of observaions of a random variable

More information

Optimal Paired Choice Block Designs. Supplementary Material

Optimal Paired Choice Block Designs. Supplementary Material Saisica Sinica: Supplemen Opimal Paired Choice Block Designs Rakhi Singh 1, Ashish Das 2 and Feng-Shun Chai 3 1 IITB-Monash Research Academy, Mumbai, India 2 Indian Insiue of Technology Bombay, Mumbai,

More information

An introduction to the theory of SDDP algorithm

An introduction to the theory of SDDP algorithm An inroducion o he heory of SDDP algorihm V. Leclère (ENPC) Augus 1, 2014 V. Leclère Inroducion o SDDP Augus 1, 2014 1 / 21 Inroducion Large scale sochasic problem are hard o solve. Two ways of aacking

More information

Finish reading Chapter 2 of Spivak, rereading earlier sections as necessary. handout and fill in some missing details!

Finish reading Chapter 2 of Spivak, rereading earlier sections as necessary. handout and fill in some missing details! MAT 257, Handou 6: Ocober 7-2, 20. I. Assignmen. Finish reading Chaper 2 of Spiva, rereading earlier secions as necessary. handou and fill in some missing deails! II. Higher derivaives. Also, read his

More information

Some Basic Information about M-S-D Systems

Some Basic Information about M-S-D Systems Some Basic Informaion abou M-S-D Sysems 1 Inroducion We wan o give some summary of he facs concerning unforced (homogeneous) and forced (non-homogeneous) models for linear oscillaors governed by second-order,

More information

Sliding Mode Extremum Seeking Control for Linear Quadratic Dynamic Game

Sliding Mode Extremum Seeking Control for Linear Quadratic Dynamic Game Sliding Mode Exremum Seeking Conrol for Linear Quadraic Dynamic Game Yaodong Pan and Ümi Özgüner ITS Research Group, AIST Tsukuba Eas Namiki --, Tsukuba-shi,Ibaraki-ken 5-856, Japan e-mail: pan.yaodong@ais.go.jp

More information

Computer-Aided Analysis of Electronic Circuits Course Notes 3

Computer-Aided Analysis of Electronic Circuits Course Notes 3 Gheorghe Asachi Technical Universiy of Iasi Faculy of Elecronics, Telecommunicaions and Informaion Technologies Compuer-Aided Analysis of Elecronic Circuis Course Noes 3 Bachelor: Telecommunicaion Technologies

More information

Technical Report Doc ID: TR March-2013 (Last revision: 23-February-2016) On formulating quadratic functions in optimization models.

Technical Report Doc ID: TR March-2013 (Last revision: 23-February-2016) On formulating quadratic functions in optimization models. Technical Repor Doc ID: TR--203 06-March-203 (Las revision: 23-Februar-206) On formulaing quadraic funcions in opimizaion models. Auhor: Erling D. Andersen Convex quadraic consrains quie frequenl appear

More information

CHAPTER 10 VALIDATION OF TEST WITH ARTIFICAL NEURAL NETWORK

CHAPTER 10 VALIDATION OF TEST WITH ARTIFICAL NEURAL NETWORK 175 CHAPTER 10 VALIDATION OF TEST WITH ARTIFICAL NEURAL NETWORK 10.1 INTRODUCTION Amongs he research work performed, he bes resuls of experimenal work are validaed wih Arificial Neural Nework. From he

More information

1 Review of Zero-Sum Games

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

More information

Demodulation of Digitally Modulated Signals

Demodulation of Digitally Modulated Signals Addiional maerial for TSKS1 Digial Communicaion and TSKS2 Telecommunicaion Demodulaion of Digially Modulaed Signals Mikael Olofsson Insiuionen för sysemeknik Linköpings universie, 581 83 Linköping November

More information

SOLUTIONS TO ECE 3084

SOLUTIONS TO ECE 3084 SOLUTIONS TO ECE 384 PROBLEM 2.. For each sysem below, specify wheher or no i is: (i) memoryless; (ii) causal; (iii) inverible; (iv) linear; (v) ime invarian; Explain your reasoning. If he propery is no

More information

PENALIZED LEAST SQUARES AND PENALIZED LIKELIHOOD

PENALIZED LEAST SQUARES AND PENALIZED LIKELIHOOD PENALIZED LEAST SQUARES AND PENALIZED LIKELIHOOD HAN XIAO 1. Penalized Leas Squares Lasso solves he following opimizaion problem, ˆβ lasso = arg max β R p+1 1 N y i β 0 N x ij β j β j (1.1) for some 0.

More information

11!Hí MATHEMATICS : ERDŐS AND ULAM PROC. N. A. S. of decomposiion, properly speaking) conradics he possibiliy of defining a counably addiive real-valu

11!Hí MATHEMATICS : ERDŐS AND ULAM PROC. N. A. S. of decomposiion, properly speaking) conradics he possibiliy of defining a counably addiive real-valu ON EQUATIONS WITH SETS AS UNKNOWNS BY PAUL ERDŐS AND S. ULAM DEPARTMENT OF MATHEMATICS, UNIVERSITY OF COLORADO, BOULDER Communicaed May 27, 1968 We shall presen here a number of resuls in se heory concerning

More information

ADDITIONAL PROBLEMS (a) Find the Fourier transform of the half-cosine pulse shown in Fig. 2.40(a). Additional Problems 91

ADDITIONAL PROBLEMS (a) Find the Fourier transform of the half-cosine pulse shown in Fig. 2.40(a). Additional Problems 91 ddiional Problems 9 n inverse relaionship exiss beween he ime-domain and freuency-domain descripions of a signal. Whenever an operaion is performed on he waveform of a signal in he ime domain, a corresponding

More information

Orientation. Connections between network coding and stochastic network theory. Outline. Bruce Hajek. Multicast with lost packets

Orientation. Connections between network coding and stochastic network theory. Outline. Bruce Hajek. Multicast with lost packets Connecions beween nework coding and sochasic nework heory Bruce Hajek Orienaion On Thursday, Ralf Koeer discussed nework coding: coding wihin he nework Absrac: Randomly generaed coded informaion blocks

More information

A Note on the Equivalence of Fractional Relaxation Equations to Differential Equations with Varying Coefficients

A Note on the Equivalence of Fractional Relaxation Equations to Differential Equations with Varying Coefficients mahemaics Aricle A Noe on he Equivalence of Fracional Relaxaion Equaions o Differenial Equaions wih Varying Coefficiens Francesco Mainardi Deparmen of Physics and Asronomy, Universiy of Bologna, and he

More information

Simulation-Solving Dynamic Models ABE 5646 Week 2, Spring 2010

Simulation-Solving Dynamic Models ABE 5646 Week 2, Spring 2010 Simulaion-Solving Dynamic Models ABE 5646 Week 2, Spring 2010 Week Descripion Reading Maerial 2 Compuer Simulaion of Dynamic Models Finie Difference, coninuous saes, discree ime Simple Mehods Euler Trapezoid

More information

( ) = Q 0. ( ) R = R dq. ( t) = I t

( ) = Q 0. ( ) R = R dq. ( t) = I t ircuis onceps The addiion of a simple capacior o a circui of resisors allows wo relaed phenomena o occur The observaion ha he ime-dependence of a complex waveform is alered by he circui is referred o as

More information

Zhang, Wei; Lentmaier, Michael; Zigangirov, Kamil; Costello, Daniel J., Jr.

Zhang, Wei; Lentmaier, Michael; Zigangirov, Kamil; Costello, Daniel J., Jr. Braided Convoluional Codes: A New Class of Turbo-Like Codes Zhang, Wei; Lenmaier, Michael; Zigangirov, Kamil; Cosello, Daniel J., Jr. Published in: IEEE Transacions on Informaion Theory DOI: 0.09/TIT.2009.2034784

More information

A CLASS OF NON-BINARY LDPC CODES

A CLASS OF NON-BINARY LDPC CODES A CLASS OF NON-BINARY LDPC CODES A Thesis by DEEPAK GILRA Submied o he Office of Graduae Sudies of Texas A&M Universiy in parial fulfillmen of he requiremens for he degree of MASTER OF SCIENCE May 23 Major

More information

15. Vector Valued Functions

15. Vector Valued Functions 1. Vecor Valued Funcions Up o his poin, we have presened vecors wih consan componens, for example, 1, and,,4. However, we can allow he componens of a vecor o be funcions of a common variable. For example,

More information

di Bernardo, M. (1995). A purely adaptive controller to synchronize and control chaotic systems.

di Bernardo, M. (1995). A purely adaptive controller to synchronize and control chaotic systems. di ernardo, M. (995). A purely adapive conroller o synchronize and conrol chaoic sysems. hps://doi.org/.6/375-96(96)8-x Early version, also known as pre-prin Link o published version (if available):.6/375-96(96)8-x

More information

Optimal Path Planning for Flexible Redundant Robot Manipulators

Optimal Path Planning for Flexible Redundant Robot Manipulators 25 WSEAS In. Conf. on DYNAMICAL SYSEMS and CONROL, Venice, Ialy, November 2-4, 25 (pp363-368) Opimal Pah Planning for Flexible Redundan Robo Manipulaors H. HOMAEI, M. KESHMIRI Deparmen of Mechanical Engineering

More information

Math Week 14 April 16-20: sections first order systems of linear differential equations; 7.4 mass-spring systems.

Math Week 14 April 16-20: sections first order systems of linear differential equations; 7.4 mass-spring systems. Mah 2250-004 Week 4 April 6-20 secions 7.-7.3 firs order sysems of linear differenial equaions; 7.4 mass-spring sysems. Mon Apr 6 7.-7.2 Sysems of differenial equaions (7.), and he vecor Calculus we need

More information

Chapter Floating Point Representation

Chapter Floating Point Representation Chaper 01.05 Floaing Poin Represenaion Afer reading his chaper, you should be able o: 1. conver a base- number o a binary floaing poin represenaion,. conver a binary floaing poin number o is equivalen

More information

Mean-square Stability Control for Networked Systems with Stochastic Time Delay

Mean-square Stability Control for Networked Systems with Stochastic Time Delay JOURNAL OF SIMULAION VOL. 5 NO. May 7 Mean-square Sabiliy Conrol for Newored Sysems wih Sochasic ime Delay YAO Hejun YUAN Fushun School of Mahemaics and Saisics Anyang Normal Universiy Anyang Henan. 455

More information

Algebraic Attacks on Summation Generators

Algebraic Attacks on Summation Generators Algebraic Aacks on Summaion Generaors Dong Hoon Lee, Jaeheon Kim, Jin Hong, Jae Woo Han, and Dukjae Moon Naional Securiy Research Insiue 161 Gajeong-dong, Yuseong-gu, Daejeon, 305-350, Korea {dlee,jaeheon,jinhong,jwhan,djmoon}@eri.re.kr

More information

Robust estimation based on the first- and third-moment restrictions of the power transformation model

Robust estimation based on the first- and third-moment restrictions of the power transformation model h Inernaional Congress on Modelling and Simulaion, Adelaide, Ausralia, 6 December 3 www.mssanz.org.au/modsim3 Robus esimaion based on he firs- and hird-momen resricions of he power ransformaion Nawaa,

More information

6.01: Introduction to EECS I Lecture 8 March 29, 2011

6.01: Introduction to EECS I Lecture 8 March 29, 2011 6.01: Inroducion o EES I Lecure 8 March 29, 2011 6.01: Inroducion o EES I Op-Amps Las Time: The ircui Absracion ircuis represen sysems as connecions of elemens hrough which currens (hrough variables) flow

More information

Suboptimal MIMO Detector based on Viterbi Algorithm

Suboptimal MIMO Detector based on Viterbi Algorithm Proceedings of he 7h WSEAS Inernaional Conference on ulimedia Sysems & Signal Processing, Hangzhou, China, April 5-7, 007 9 Subopimal IO Deecor based on Vierbi Algorihm Jin Lee and Sin-Chong Park Sysem

More information

THE MATRIX-TREE THEOREM

THE MATRIX-TREE THEOREM THE MATRIX-TREE THEOREM 1 The Marix-Tree Theorem. The Marix-Tree Theorem is a formula for he number of spanning rees of a graph in erms of he deerminan of a cerain marix. We begin wih he necessary graph-heoreical

More information

( ) ( ) if t = t. It must satisfy the identity. So, bulkiness of the unit impulse (hyper)function is equal to 1. The defining characteristic is

( ) ( ) if t = t. It must satisfy the identity. So, bulkiness of the unit impulse (hyper)function is equal to 1. The defining characteristic is UNIT IMPULSE RESPONSE, UNIT STEP RESPONSE, STABILITY. Uni impulse funcion (Dirac dela funcion, dela funcion) rigorously defined is no sricly a funcion, bu disribuion (or measure), precise reamen requires

More information

Navneet Saini, Mayank Goyal, Vishal Bansal (2013); Term Project AML310; Indian Institute of Technology Delhi

Navneet Saini, Mayank Goyal, Vishal Bansal (2013); Term Project AML310; Indian Institute of Technology Delhi Creep in Viscoelasic Subsances Numerical mehods o calculae he coefficiens of he Prony equaion using creep es daa and Herediary Inegrals Mehod Navnee Saini, Mayank Goyal, Vishal Bansal (23); Term Projec

More information

Linear Response Theory: The connection between QFT and experiments

Linear Response Theory: The connection between QFT and experiments Phys540.nb 39 3 Linear Response Theory: The connecion beween QFT and experimens 3.1. Basic conceps and ideas Q: How do we measure he conduciviy of a meal? A: we firs inroduce a weak elecric field E, and

More information

Matlab and Python programming: how to get started

Matlab and Python programming: how to get started Malab and Pyhon programming: how o ge sared Equipping readers he skills o wrie programs o explore complex sysems and discover ineresing paerns from big daa is one of he main goals of his book. In his chaper,

More information

Application of a Stochastic-Fuzzy Approach to Modeling Optimal Discrete Time Dynamical Systems by Using Large Scale Data Processing

Application of a Stochastic-Fuzzy Approach to Modeling Optimal Discrete Time Dynamical Systems by Using Large Scale Data Processing Applicaion of a Sochasic-Fuzzy Approach o Modeling Opimal Discree Time Dynamical Sysems by Using Large Scale Daa Processing AA WALASZE-BABISZEWSA Deparmen of Compuer Engineering Opole Universiy of Technology

More information

Retrieval Models. Boolean and Vector Space Retrieval Models. Common Preprocessing Steps. Boolean Model. Boolean Retrieval Model

Retrieval Models. Boolean and Vector Space Retrieval Models. Common Preprocessing Steps. Boolean Model. Boolean Retrieval Model 1 Boolean and Vecor Space Rerieval Models Many slides in his secion are adaped from Prof. Joydeep Ghosh (UT ECE) who in urn adaped hem from Prof. Dik Lee (Univ. of Science and Tech, Hong Kong) Rerieval

More information

Robotics I. April 11, The kinematics of a 3R spatial robot is specified by the Denavit-Hartenberg parameters in Tab. 1.

Robotics I. April 11, The kinematics of a 3R spatial robot is specified by the Denavit-Hartenberg parameters in Tab. 1. Roboics I April 11, 017 Exercise 1 he kinemaics of a 3R spaial robo is specified by he Denavi-Harenberg parameers in ab 1 i α i d i a i θ i 1 π/ L 1 0 1 0 0 L 3 0 0 L 3 3 able 1: able of DH parameers of

More information

Lecture 9: September 25

Lecture 9: September 25 0-725: Opimizaion Fall 202 Lecure 9: Sepember 25 Lecurer: Geoff Gordon/Ryan Tibshirani Scribes: Xuezhi Wang, Subhodeep Moira, Abhimanu Kumar Noe: LaTeX emplae couresy of UC Berkeley EECS dep. Disclaimer:

More information

Lecture 2 October ε-approximation of 2-player zero-sum games

Lecture 2 October ε-approximation of 2-player zero-sum games Opimizaion II Winer 009/10 Lecurer: Khaled Elbassioni Lecure Ocober 19 1 ε-approximaion of -player zero-sum games In his lecure we give a randomized ficiious play algorihm for obaining an approximae soluion

More information

Particle Swarm Optimization

Particle Swarm Optimization Paricle Swarm Opimizaion Speaker: Jeng-Shyang Pan Deparmen of Elecronic Engineering, Kaohsiung Universiy of Applied Science, Taiwan Email: jspan@cc.kuas.edu.w 7/26/2004 ppso 1 Wha is he Paricle Swarm Opimizaion

More information

Notes on Kalman Filtering

Notes on Kalman Filtering Noes on Kalman Filering Brian Borchers and Rick Aser November 7, Inroducion Daa Assimilaion is he problem of merging model predicions wih acual measuremens of a sysem o produce an opimal esimae of he curren

More information

L1, L2, N1 N2. + Vout. C out. Figure 2.1.1: Flyback converter

L1, L2, N1 N2. + Vout. C out. Figure 2.1.1: Flyback converter page 11 Flyback converer The Flyback converer belongs o he primary swiched converer family, which means here is isolaion beween in and oupu. Flyback converers are used in nearly all mains supplied elecronic

More information

More Digital Logic. t p output. Low-to-high and high-to-low transitions could have different t p. V in (t)

More Digital Logic. t p output. Low-to-high and high-to-low transitions could have different t p. V in (t) EECS 4 Spring 23 Lecure 2 EECS 4 Spring 23 Lecure 2 More igial Logic Gae delay and signal propagaion Clocked circui elemens (flip-flop) Wriing a word o memory Simplifying digial circuis: Karnaugh maps

More information

8. Basic RL and RC Circuits

8. Basic RL and RC Circuits 8. Basic L and C Circuis This chaper deals wih he soluions of he responses of L and C circuis The analysis of C and L circuis leads o a linear differenial equaion This chaper covers he following opics

More information

Physics 235 Chapter 2. Chapter 2 Newtonian Mechanics Single Particle

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

More information

Section 3.5 Nonhomogeneous Equations; Method of Undetermined Coefficients

Section 3.5 Nonhomogeneous Equations; Method of Undetermined Coefficients Secion 3.5 Nonhomogeneous Equaions; Mehod of Undeermined Coefficiens Key Terms/Ideas: Linear Differenial operaor Nonlinear operaor Second order homogeneous DE Second order nonhomogeneous DE Soluion o homogeneous

More information

Final Spring 2007

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

More information

2. Nonlinear Conservation Law Equations

2. Nonlinear Conservation Law Equations . Nonlinear Conservaion Law Equaions One of he clear lessons learned over recen years in sudying nonlinear parial differenial equaions is ha i is generally no wise o ry o aack a general class of nonlinear

More information

LAPLACE TRANSFORM AND TRANSFER FUNCTION

LAPLACE TRANSFORM AND TRANSFER FUNCTION CHBE320 LECTURE V LAPLACE TRANSFORM AND TRANSFER FUNCTION Professor Dae Ryook Yang Spring 2018 Dep. of Chemical and Biological Engineering 5-1 Road Map of he Lecure V Laplace Transform and Transfer funcions

More information

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

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

More information

Transitivity of Commutativity for Linear Time-Varying Analog Systems. Mehmet Emir KOKSAL

Transitivity of Commutativity for Linear Time-Varying Analog Systems. Mehmet Emir KOKSAL Transiiviy of Commuaiviy for Linear Time-Varying Analog Sysems Mehme Emir KOKSAL Deparmen of Mahemaics, Ondokuz Mayis Universiy, 5539 Aakum, Samsun, Turkey emir_koksal@homail.com Absrac: In his conribuion,

More information

23.2. Representing Periodic Functions by Fourier Series. Introduction. Prerequisites. Learning Outcomes

23.2. Representing Periodic Functions by Fourier Series. Introduction. Prerequisites. Learning Outcomes Represening Periodic Funcions by Fourier Series 3. Inroducion In his Secion we show how a periodic funcion can be expressed as a series of sines and cosines. We begin by obaining some sandard inegrals

More information

Learning a Class from Examples. Training set X. Class C 1. Class C of a family car. Output: Input representation: x 1 : price, x 2 : engine power

Learning a Class from Examples. Training set X. Class C 1. Class C of a family car. Output: Input representation: x 1 : price, x 2 : engine power Alpaydin Chaper, Michell Chaper 7 Alpaydin slides are in urquoise. Ehem Alpaydin, copyrigh: The MIT Press, 010. alpaydin@boun.edu.r hp://www.cmpe.boun.edu.r/ ehem/imle All oher slides are based on Michell.

More information

A New Perturbative Approach in Nonlinear Singularity Analysis

A New Perturbative Approach in Nonlinear Singularity Analysis Journal of Mahemaics and Saisics 7 (: 49-54, ISSN 549-644 Science Publicaions A New Perurbaive Approach in Nonlinear Singulariy Analysis Ta-Leung Yee Deparmen of Mahemaics and Informaion Technology, The

More information

THE NEW HEURISTIC GUESS AND DETERMINE ATTACK ON SNOW 2.0 STREAM CIPHER

THE NEW HEURISTIC GUESS AND DETERMINE ATTACK ON SNOW 2.0 STREAM CIPHER THE NEW HEURISTIC GUESS AND DETERMINE ATTACK ON SNOW 0 STREAM CIPHER Mohammad Sadegh Nemai Nia 1, Ali Payandeh 1, Faculy of Informaion, Telecommunicaion and Securiy Technologies, Malek-e- Ashar Universiy

More information

Comparing Means: t-tests for One Sample & Two Related Samples

Comparing Means: t-tests for One Sample & Two Related Samples Comparing Means: -Tess for One Sample & Two Relaed Samples Using he z-tes: Assumpions -Tess for One Sample & Two Relaed Samples The z-es (of a sample mean agains a populaion mean) is based on he assumpion

More information

Oscillation of an Euler Cauchy Dynamic Equation S. Huff, G. Olumolode, N. Pennington, and A. Peterson

Oscillation of an Euler Cauchy Dynamic Equation S. Huff, G. Olumolode, N. Pennington, and A. Peterson PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON DYNAMICAL SYSTEMS AND DIFFERENTIAL EQUATIONS May 4 7, 00, Wilmingon, NC, USA pp 0 Oscillaion of an Euler Cauchy Dynamic Equaion S Huff, G Olumolode,

More information

A Primal-Dual Type Algorithm with the O(1/t) Convergence Rate for Large Scale Constrained Convex Programs

A Primal-Dual Type Algorithm with the O(1/t) Convergence Rate for Large Scale Constrained Convex Programs PROC. IEEE CONFERENCE ON DECISION AND CONTROL, 06 A Primal-Dual Type Algorihm wih he O(/) Convergence Rae for Large Scale Consrained Convex Programs Hao Yu and Michael J. Neely Absrac This paper considers

More information

Variational Iteration Method for Solving System of Fractional Order Ordinary Differential Equations

Variational Iteration Method for Solving System of Fractional Order Ordinary Differential Equations IOSR Journal of Mahemaics (IOSR-JM) e-issn: 2278-5728, p-issn: 2319-765X. Volume 1, Issue 6 Ver. II (Nov - Dec. 214), PP 48-54 Variaional Ieraion Mehod for Solving Sysem of Fracional Order Ordinary Differenial

More information

6.2 Transforms of Derivatives and Integrals.

6.2 Transforms of Derivatives and Integrals. SEC. 6.2 Transforms of Derivaives and Inegrals. ODEs 2 3 33 39 23. Change of scale. If l( f ()) F(s) and c is any 33 45 APPLICATION OF s-shifting posiive consan, show ha l( f (c)) F(s>c)>c (Hin: In Probs.

More information

Families with no matchings of size s

Families with no matchings of size s Families wih no machings of size s Peer Franl Andrey Kupavsii Absrac Le 2, s 2 be posiive inegers. Le be an n-elemen se, n s. Subses of 2 are called families. If F ( ), hen i is called - uniform. Wha is

More information

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

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

More information

Inequality measures for intersecting Lorenz curves: an alternative weak ordering

Inequality measures for intersecting Lorenz curves: an alternative weak ordering h Inernaional Scienific Conference Financial managemen of Firms and Financial Insiuions Osrava VŠB-TU of Osrava, Faculy of Economics, Deparmen of Finance 7 h 8 h Sepember 25 Absrac Inequaliy measures for

More information

12: AUTOREGRESSIVE AND MOVING AVERAGE PROCESSES IN DISCRETE TIME. Σ j =

12: AUTOREGRESSIVE AND MOVING AVERAGE PROCESSES IN DISCRETE TIME. Σ j = 1: AUTOREGRESSIVE AND MOVING AVERAGE PROCESSES IN DISCRETE TIME Moving Averages Recall ha a whie noise process is a series { } = having variance σ. The whie noise process has specral densiy f (λ) = of

More information

GCD AND LCM-LIKE IDENTITIES FOR IDEALS IN COMMUTATIVE RINGS

GCD AND LCM-LIKE IDENTITIES FOR IDEALS IN COMMUTATIVE RINGS GCD AND LCM-LIKE IDENTITIES FOR IDEALS IN COMMUTATIVE RINGS D. D. ANDERSON, SHUZO IZUMI, YASUO OHNO, AND MANABU OZAKI Absrac. Le A 1,..., A n n 2 be ideals of a commuaive ring R. Le Gk resp., Lk denoe

More information

Pade and Laguerre Approximations Applied. to the Active Queue Management Model. of Internet Protocol

Pade and Laguerre Approximations Applied. to the Active Queue Management Model. of Internet Protocol Applied Mahemaical Sciences, Vol. 7, 013, no. 16, 663-673 HIKARI Ld, www.m-hikari.com hp://dx.doi.org/10.1988/ams.013.39499 Pade and Laguerre Approximaions Applied o he Acive Queue Managemen Model of Inerne

More information

Optimal Server Assignment in Multi-Server

Optimal Server Assignment in Multi-Server Opimal Server Assignmen in Muli-Server 1 Queueing Sysems wih Random Conneciviies Hassan Halabian, Suden Member, IEEE, Ioannis Lambadaris, Member, IEEE, arxiv:1112.1178v2 [mah.oc] 21 Jun 2013 Yannis Viniois,

More information

Lecture 1 Overview. course mechanics. outline & topics. what is a linear dynamical system? why study linear systems? some examples

Lecture 1 Overview. course mechanics. outline & topics. what is a linear dynamical system? why study linear systems? some examples EE263 Auumn 27-8 Sephen Boyd Lecure 1 Overview course mechanics ouline & opics wha is a linear dynamical sysem? why sudy linear sysems? some examples 1 1 Course mechanics all class info, lecures, homeworks,

More information

2.7. Some common engineering functions. Introduction. Prerequisites. Learning Outcomes

2.7. Some common engineering functions. Introduction. Prerequisites. Learning Outcomes Some common engineering funcions 2.7 Inroducion This secion provides a caalogue of some common funcions ofen used in Science and Engineering. These include polynomials, raional funcions, he modulus funcion

More information