Generic Decoupled Image-Based Visual Servoing for Cameras Obeying the Unified Projection Model

Size: px
Start display at page:

Download "Generic Decoupled Image-Based Visual Servoing for Cameras Obeying the Unified Projection Model"

Transcription

1 Generi Deouple Imge-Bse Visul Servoing for Cmers Oeying the Unifie Projetion Moel Omr Thri, Youef Mezour, Frnçois Chumette n Peter Corke Astrt In this pper generi eouple imge-se ontrol sheme for lirte mers oeying the unifie projetion moel is propose. The propose eouple sheme is se on the surfe of ojet projetions onto the unit sphere. Suh fetures re invrint to rottionl motions. This llows the ontrol of trnsltionl motion inepenently from the rottionl motion. Finlly, the propose results re vlite with experiments using lssil perspetive mer s well s fisheye mer mounte on 6 ofs root pltform. I. INTRODUCTION In imge se visul servoing (IBVS), the ontrol of the mer position is performe y neling the feture errors in the imge [8]. This yiels some egree of roustness to isturnes s well s to lirtion errors. On the other hn, if the initil error etween the initil n the esire positions is lrge, IBVS my proue errti ehvior suh s onvergene to lol minim n n inpproprite mer trjetory ue to oupling etween the ontrolle ofs []. Usully, IBVS is onsiere s servoing pproh suitle only for smll isplements so si ie onsists of smpling the initil errors in orer to ensure tht the error t eh itertion remins smll in orer to overome the IBVS prolems lrey mentione. Tht is, using pth plnning step jointly with the servoing one[2][4]. The min use of troule for IBVS is the strong nonlinerities in the reltion from the imge spe to the workspe whih re generlly oserve in the intertion mtrix. In priniple, n exponentil eouple erese woul e otine simultneously on the visul fetures n on the mer veloity (perfet ehvior) if the intertion mtrix ws onstnt, whih is unfortuntely not the se. To overome the non-linerity prolem, the pproximtion n e improve y inorporting seon orer terms (se on the Hessin [8], for instne). Another pproh onsists of seleting fetures with goo eoupling n linerizing properties. In ft, the hoie of feture iretly influenes the lose-loop ynmis in tsk-spe. In [3] fetures inluing the istne etween two points in the imge plne n the orienttion of the line onneting those two points ws propose. In [8] the reltive re of two projete surfes hs een propose s feture. In [3], O. Thri is with ISR, University of Coimr, Polo II PT Coimr, Portugl omrthri@isr.u.pt Y. Mezour is with LASMEA, Université Blise Psl, 6377 AUBIERE, Frne. youef.mezour@lsme.univ-plermont.fr F. Chumette is with INRIA Rennes Bretgne Atlntique, Frne. frnois.humette@iris.fr P. Corke is with CSIRO ICT Centre, PO Box 883 Kenmore 4069, Austrli Peter.Corke@siro.u vnishing point n the horizon line hve een selete. This hoie ensures goo eoupling etween trnsltionl n rottionl ofs. In [9], vnishing points hve lso een use for eite ojet ( 3D retngle), one gin to otin some eoupling properties. For the sme ojet, six visul fetures hve een esigne in [2] to ontrol the six ofs of root rm, following prtitione pproh. In [7], the oorintes of points re expresse in ylinril oorinte system inste of the lssil Crtesin one, so s to improve the root trjetory. In [6], the three oorintes of the entroi of n ojet in virtul imge otine through spheril projetion hve een selete to ontrol three ofs of n uner-tute system. In [0], Mhony et l el with the seletion of the optiml feture to ontrol the mer motion with respet to the epth xis. Ttsmon et l in [7] propose eouple visul servoing from spheres using spheril projetion moel. Despite of the lrge quntity of results otine in the lst few yers, the hoie of the set of visul fetures to e use in the ontrol sheme is still n open question in terms of stility nlysis n vliity for ifferent kins of sensor n environment. The results presente in this pper elong to series of reserh out the use of invrints for eouple imge se visul ontrol. More preisely, the invrine property of some omintions of imge moments ompute from imge regions or set of points re use to eouple the egrees of freeom from eh-other. For instne, in [4], [5], moments llow the use of intuitive geometril fetures, suh s the enter of grvity or the orienttion of n ojet. By seleting n equte omintion of moments, it is then possile to etermine prtitione systems with goo eoupling n linerizing properties [5]. For instne, using suh fetures, the intertion mtrix lok orresponing to the trnsltionl veloity n e onstnt lok igonl. However, these works only onerne plnr ojets n onventionl perspetive mers. More reently, new eouple imge-se ontrol sheme from the projetion onto unit sphere hs een propose in [6]. The propose metho is se on polynomils invrint to rottionl motion ompute from set of imge points. In this pper, we propose more generi n effiient eouple sheme vli when the ojet is efine y set of points s well s y imge regions (or lose ontour). The propose fetures lso reue the sensitivity of intertion mtrix entries to ojet epth istriution. In the next setion we rell the unifie mer moel. In Setion III, theoretil etils out feture seletion n otining the intertion mtries re etile. A new vetor

2 Cmer z y x X mu p Xs K πp πmu A. Invrints to rottionl motion from projetion onto sphere The eouple ontrol we propose is simply se on the invrine property of the projetion shpe of n ojet onto sphere uner rottionl motion. In this wy, the following invrint polynomil to rottions hs een propose in [6] to ontrol the trnsltionl ofs: Fig.. left) z y x Convex mirror/lens Fp Fm zm ym Unifie imge formtion (on the right), xis onvention (on the of six fetures to ontrol the six mer egrees of freeom is propose. Finlly, in Setion IV, experimentl results otine using onventionl mer n fisheye mer mounte on 6 ofs root re presente to vlite our pproh. Cm xm zs ys II. CAMERA MODEL Centrl imging systems n e moele using two onseutive projetions: spheril then perspetive. This geometri formultion lle the unifie moel ws propose y Geyer n Dniiliis in [5]. Consier virtul unitry sphere entere on C m n the perspetive mer entere on C p. The frmes tthe to the sphere n the perspetive mer re relte y simple trnsltion of ξ long the Z-xis. Let X e 3D point with oorintes X = [X Y Z] in F m. The worl point X is projete on to the imge plne t point with homogeneous oorintes p = Km, where K is 3 3 upper tringulr mtrix ontining the onventionl mer intrinsi prmeters ouple with mirror intrinsi prmeters n m = [ x y ] [ = X Z+ξ X Cp xs Y Z+ξ X The mtrix K n the prmeter ξ n e otine fter lirtion using, for exmple, the methos propose in []. In the sequel, the imging system is ssume to e lirte. In this se, the inverse projetion onto the unit sphere n e otine y: X s = λ [ x y ξ λ where λ = ξ+ +( ξ 2 )(x 2 +y 2 ) +x 2 +y 2 Note tht the onventionl perspetive mer is nothing ut prtiulr se of this moel (when ξ = 0). The projetion onto the unit sphere from the imge plne is possile for ll sensors oeying the unifie moel. III. THEORETICAL BACKGROUND In this Setion, the theoretil kgroun of the min ie of this work will first e etile. Then, six new fetures will e propose to ontrol the six ofs of the root-mounte mer. ] ξ ] () (2) I = m 200m 020 m 200m 002 +m 2 0 +m 2 0 m 020m 002 +m 2 0 (3) where: N m i,j,k = x i s h ys j h zs k h (4) h= (x s, y s, z s ) eing the oorintes of 3D point. In our pplition, these oorintes re nothing ut the oorintes of point projete onto the unit sphere. This invrine to rottions is vli whtever the ojet shpe n orienttion. In this pper, the surfe of the ojet projetion onto sphere will e use inste of the polynomil mentione ove to ontrol the trnsltionl ofs. In ft, the surfe of the ojet projetion onto sphere is nothing ut the moment of orer 0 tht n e ompute using the generl formul: m si,j,k = region xi s yj s zk ss (5) The surfe is generi esriptor tht n e ompute from n imge region efine y lose n omplex ontour or simply y polygonl urve. Furthermore, s it will e shown, fter n equte trnsformtion, new feture n e otine from the projetion surfe suh tht the orresponing intertion mtrix is lmost onstnt with the epth istriution. In the reminer of this pper, the surfe of the tringles uilt y the omintion of three nonolliner points (from set of N points) will e onsiere. For plnr ojets n tringle is of ourse plnr ojet, it hs een shown tht the intertion mtrix relte to the moment n e otine y [4]: L msi,j,k = ( m svx m svy m svz m swx m swy m swz ) (6) where : m svx = A(βm i+2,j,k (i + )m i,j,k )+ B(βm i+,j+,k im i,j+,k ) + C(βm i+,j,k+ im i,j,k+ ) m svy = A(βm i+,j+,k jm i+,j,k )+ B(βm i,j+2,k (j + )m i,j,k ) + C(βm i,j+,k+ jm i,j,k+ ) m svz = A(βm i+,j,k+ km i+,j,k )+ B(βm i,j+,k+ km i,j+,k ) + C(βm i,j,k+2 (k + )m i,j,k ) m swx = jm i,j,k+ km i,j+,k m swy = km i+,j,k im i,j,k+ m swz = im i,j+,k jm i+,j,k where β = i + j + k + 3 n (A, B, C) re the prmeters efining the ojet plne in the mer frme: r = Ax s + By s + C (7) From (6) we n show tht m swx = m swy = m swz = 0 when i = j = k = 0, thus the feture = m 000 is invrint to rottionl motions.

3 B. Vritions of the intertion mtrix relte to the surfe with respet to the mer position As hs een mentione ove, the prolems oserve using IBVS re in generl ue to the strong vritions of the intertion mtrix with respet to mer position. Therefore, one of the min gols of this work is to erese these vritions. Note firstly tht esigning eouple or prtitione system is step towr this gol, sine it introues terms equl to 0 in the intertion mtrix. In the following, trnsformtion is propose to erese the vrition of the intertion mtrix with respet to the ojet epth. ) Vrition with respet to trnsltionl motion: In [0], using squre ojet, it ws shown tht for goo z-xis ehvior in IBVS, one shoul hoose imge fetures tht sle s s z (z is the ojet epth). In [5], the sme ie is extene to ny ojet shpe using i-imensionl moments. Using the onventionl perspetive projetion moel, the selete feture is s = m00 in the se where the ojet is efine y n imge region. m 00 is the i-imensionl moment of orer 0 (tht is the ojet surfe in the imge). In the se where the ojet is efine y set of isrete points, the selete optiml feture is s = (µ20+µ 02), where µ ij re the entrl moments ompute from set of isrete points (see [5], for more theoretil etils). In ft, the selete fetures llows us to otin n intertion mtrix tht hnges slowly with respet to epth (n is even onstnt if the ojet is prllel to the imge plne). We now show tht, the ehvior of the surfe of n ojet projetion onto the unit sphere is similr ( z n 2 z). Let L = [L x, L y, L z, 0, 0, 0] n L = [L x, L y, L z, 0, 0, 0] e the intertion mtries relte to the projetion surfe n respetively. From (6), it n e otine tht: L x = A(3m 200 m 000 ) + 3Bm 0 + 3Cm 0 L y = 3Am 0 + B(3m 020 m 000 ) + 3Cm 0 L z = 3Am 0 + 3Bm 0 + C(3m 002 m 000 ) L x = Lx 2, L y = Ly 2, L z = Lz 2 It n e shown tht the hoie of s = is etter thn the hoie s =. To illustrte this, Figure 3 gives the vrition of the intertion mtrix entries with respet to trnsltionl motion pplie to the following tringle in the unit sphere frme: X = (8) (9) The tringle shpe is given on Figure 2.. The results presente in Figure 3 orrespon to onfigurtions where A = B = 0 n m 0 = m 00 = 0. Plugging ll into (8) we n otin L x = L x = L y = L y = 0. Inee, from Figures 3.() n 3.(), it n e seen tht L x = L x = L y = L y = 0 whtever the ojet epth is. In prtie, the fetures n epen minly on the trnsltionl motion long z-xis. From Figures 3.() n Fig. 2. Tringle shpes 3.(), it n lso e seen tht L z = C(3m 002 )/(2 3 2 ) is lmost onstnt n lrgely invrint to the ojet epth. On the other hn L z = C(3m 002 ) ereses to 0 when the ojet epth inreses. The vrition of intertion mtrix elements for trnsltionl motion with respet to x-xis n y-xis motion re given in Figures 3.() to 3.(f). Firstly, it n e seen tht x-xis trnsltionl motion influenes minly the entries orresponing to the x-xis n z-xis. In the sme wy, y-xis trnsltionl motion influenes minly the entries orresponing to the y-xis n z-xis. Furthermore, vrition of the intertion mtrix entries for x-xis n y-xis trnsltionl motion re more uniform for thn for. () () (e) Fig. 3. Results otine for s = ( () vrition with respet to epth, () vrition with respet to x-xis trnsltion (e) vrition with respet to y-xis trnsltion); Results otine for s = (() vrition with respet to epth, () vrition with respet to x-xis trnsltion (f) vrition with respet to y-xis trnsltion) () () (f)

4 2) Vritions with respet to the mer frme orienttion: Despite the ft tht the surfe of the projetion of trget onto sphere is invrint to rottions, its relte intertion mtrix epens nturlly on the mer frme orienttion. In orer to explin tht, let us onsier two frmes F n F 2 relte to the unit sphere with ifferent orienttions ( R 2 is the rottion mtrix etween the two frmes) ut with the sme enter. In this se, the vlue of the projetion surfe onto the sphere is the sme for the two frmes, sine it is invrint to rottionl motions. Now, let us onsier tht trnsltionl veloity v is pplie to the frme F. This is equivlent to pplying trnsltionl veloity to the frme F 2 ut tking into ount the hnge of frme (v 2 = R 2 v ). Sine the intertion mtrix links the fetures vrition with the veloities (i.e. ṡ = L s v), the intertion mtrix for the frme F 2 is nothing ut the intertion mtrix ompute for the frme F y the rottion mtrix R 2. This result shows tht rottionl motions o not hnge the rnk of the intertion mtrix of the fetures use to ontrol the trnsltionl ofs. C. Fetures seletion As in [6], we oul onsier the enter of grvity of the ojet s projetion onto the unit sphere to ontrol the rottionl egrees of freeom: x sg = ( x sg, y sg, z sg ) = ( m00 m 000, m 00 m 000, m 00 ) m 000 In ft, only two oorintes of x sg re useful for the ontrol sine x sg elongs to the unit sphere mking one oorinte epenent. Tht is why in orer to ontrol rottion roun the optil xis, the men orienttion of ll segments in the imge is use s feture. Eh segment is uilt using two ifferent points in geometrilly orret imge. In the se where the ojets re efine y ontours rther thn simple tringles, the ojet orienttion in the imge n e use s in [5] for instne. Finlly, s mentione previously, the invrints to 3D rottion will e onsiere to ontrol the trnsltion. For the reson mentione ove it is s = tht will e use to ontrol the trnsltionl motions inste of s =. In prtie, three ifferent trgets (i.e. three ifferent tringles or three ifferent ontours) suh tht their enters re nonolliner might e enough to ontrol the three trnsltionl ofs. In the next setion, experimentl results re presente to vlite these theoretil results. IV. EXPERIMENTAL RESULTS In this setion, simultions results re firstly presente using four non oplnr points. Therey, series of experiments using two kins of mer (onventionl n fisheye) will e shown. A. Simultion results using 3D ojets In these simultions, the set of points is ompose of 4 non oplnr points. The esire position orrespons to the 3D points oorintes efine in the mer frme s follow: X = (0) In the first simultion, only the rottionl motion given y () hs een onsiere. The orresponing results re given on Figure 4. From Figure 4., it n e seen tht nie erese of the fetures errors is otine. Furthermore, sine the onsiere trnsltionl motion is null, the trnsltionl veloity ompute using the invrints to rottions re null lso (see Fig. 4.). If the point Crtesin oorintes were use to ontrol the mer position, s in lssil IBVS, n unesire n strong trnsltionl motion with respet to the optil xis woul hve een otine [6], []. Finlly, Figure 4. shows goo ehvior of the rottionl veloities espite the lrge rottionl isplement to perform etween the esire n the initil mer positions. θu = [ ] o () In the seon simultion, generi motion omining the rottionl motion given y () n the following trnsltionl motion hs een onsiere: t = [ ] (2) The otine results re given on Figs. 4., 4.e n 4.f. Despite the lrge motion, it n e seen tht stisftory ehvior is otine for the feture errors (see Fig 4.). Furthermore, similr stisftory ehviors re simultneously otine for the veloities (see Figs 4.e n 4.f). From these plots, it n e lso seen tht the ehvior of the rottionl motion is still lmost ientil to the ehvior otine when only rottionl motion ws onsiere (ompre 4.e n 4.), thnks to the effiient eoupling otine using the invrint to rottions. B. Experimentl vlitions results using onventionl n fisheye mers For ll these experiments, only pproximtions of the point epths for the esire position re use. More preisely, the intertion mtries re ompute using the urrent vlues of the points in the imge n onstnt pproximte esire point epths. ) Results using onventionl perspetive mer: In first experiment, only rottionl motion roun the mer optil xis (80g) hs een onsiere etween the initil n the esire mer positions. The esire imge n the urrent one re given respetively on Figures 5. n 6.. Four omintions of tringles otine from the four point trget re use to ontrol the trnsltionl motion. The otine results re given on Figures 6., 6. n 6.. From 6., it n e seen tht nie erese of the fetures errors is otine. Furthermore, from Fig. 6., sine the onsiere trnsltionl motion is null, the trnsltionl veloity ompute using the invrints to rottions re lmost

5 null. The oserve smll trnsltionl veloities re ue to the wek lirtion of the mer. Finlly, Fig. 6. shows goo ehvior of the rottionl motions. In seon experiment using onventionl mer, omplex motion is onsiere etween the initil n the esire mer positions. The sme esire mer position s for the first experiment is use. The imge orresponing to the initil position of the mer is given in Figure 7.. From Figures 7., it n e notie tht the feture errors ehvior is very stisftory, espite the errors in mer lirtion n points epth (the point epths re not ompute t eh itertion). The sme stisftory ehvior is otine for trnsltionl n rottionl veloities (see Figures 7. n 7.). Inee, nie ereses of the feture errors s well s for the veloities re otine. 2) Results using fisheye mer: As for the onventionl mer, only rottionl motion roun the mer optil xis (80g) hs een onsiere first etween the initil n the esire mer positions. The esire imge n the urrent one re given respetively in Figures 5. n 8.. The otine results re given in Figures 8., 8. n 8.. From these figures, it n e notie tht the trnsltionl veloity ompute using the invrints to rottions re lmost null, s for the onventionl mer. The otine results for the rottionl veloities s well s for the feture errors is lso similr to those otine using the onventionl mer. In the lst experiment, generi motion omining rottionl motion n trnsltionl one is onsiere etween the initil n the esire positions. The imge orresponing to the esire position is given in Figure 5.. The imge orresponing to the initil position is given in Figure 9.. From Figures 9., 9. n 9., it n e seen tht stisftory ehvior is otine using the propose fetures. As with the onventionl mer, nie erese of the fetures errors s well s of the veloities is lso otine using fisheye mer. V. CONCLUSIONS AND FUTURE WORKS In this pper, generi eouple imge-se ontrol using the projetion onto the unit sphere ws propose. More preisely, the surfe of the projetions of ojets onto the sphere were use to inepenently ontrol the trnsltionl motion from the rottionl motion. Firstly, the propose eouple ontrol is vli for ll mers oeying the unifie mer moel. Further, it is lso vli for ojets efine y lose ontours (3 ontours t lest) s well s y set of points. The propose fetures llows lso to erese signifitively the vritions of the intertion mtrix with respet to the mer positions. Finlly, the ontroller hs een experimentlly vlite n results presente using two kins of mer: onventionl n fisheye. Both plnr n non plnr trget hve een use for vlitions results. Future works will e evote to exten these results to the pose estimtion prolem. REFERENCES [] F. Chumette. Potentil prolems of stility n onvergene in imgese n position-se visul servoing. In Springer-Verlg, Fig. 4. Left: Results for lrge pure rottionl motion () feture errors, ) trnsltionl veloities(m/s), ) rottionl veloities (egree/s)), right: results for lrge generl motion () feture errors, e) trnsltionl veloities (m/s), f) rottionl veloities (egree/s)) Fig. 5. Desire imges: ) onventionl mer, ) fisheye mer eitor, The Confluene of Vision n Control, volume 237 of LNCIS, pges 66 78, 998. [2] P. I. Corke n S. A. Huthinson. A new prtitione pproh to imge-se visul servo ontrol. IEEE Trnstion on Rootis n Automtion, 7(4):507 55, August 200. [3] J. Feem n O. Mithell. Vision-guie servoing with feturese trjetory genertion. 5(5):69 700, Otoer 989. [4] D. Fiorvnti, B. Allott, n A. Rini. Imge se visul servoing for root positioning tsks. Meni, 43(3):29 305, June [5] C. Geyer n K. Dniiliis. Mirrors in motion: Epipolr geometry n motion estimtion. Interntionl Journl on Computer Vision, 45(3): , [6] T. Hmel n R. Mhony. Visul servoing of n uner-tute ynmi rigi oy system: n imge-se pproh. IEEE Trnstion on Rootis n Automtion, 8(2):87 98, April [7] M. Iwtsuki n N. Okiym. A new formultion of visul servoing se on ylinril oorintes system with shiftle origin. In IEEE/RSJ Interntionl Conferene on Intelligent Roots n Systems, e f

6 Fig. 6. Results for pure rottion motion (80g) using onventionl mer: ) initil imge, ) feture errors, )trnsltionl veloities(mm/s), ) rottionl veloities (r/s) Fig. 8. Results for pure rottion motion (80g) using fisheye mer: ) initil imge, ) feture errors, )trnsltionl veloities(mm/s), ) rottionl veloities (r/s) Fig. 7. Results for omplex motion using onventionl mer: ) initil imge, ) feture errors, )trnsltionl veloities(mm/s), ) rottionl veloities (r/s) Fig. 9. Results for omplex motion using fisheye mer:) initil imge, ) feture errors, ) trnsltionl veloities(mm/s), ) rottionl veloities (r/s) Lusnne, Switzerln, Otoer [8] J. T. Lpreste n Y. Mezour. A hessin pproh to visul servoing. In Interntionl Conferene on Intelligent Roots n Systems, pges , Seni, Jpn, Septemer 28 Otoer [9] J.-S. Lee, I. Suh, B.-J. You, n S.-R. Oh. A novel visul servoing pproh involving isturne oserver. In IEEE Interntionl Conferene on Rootis n Automtion, ICRA 99, pges , Detroit, Mihign, My 999. [0] R. Mhony, P. Corke, n F. Chumette. Choie of imge fetures for epth-xis ontrol in imge-se visul servo ontrol. In IEEE/RSJ Int. Conf. on Intelligent Roots n Systems, IROS 02, volume, pges , Lusnne, Switzerln, Otoer [] C. Mei n P. Rives. Single view point omniiretionl mer lirtion from plnr gris. In IEEE Interntionl Conferene on Rootis n Automtion, Rom, Itly, April [2] Y. Mezour n F. Chumette. Pth plnning for roust imge-se ontrol. IEEE Trnstion on Rootis n Automtion, 8(4): , August [3] P. Rives n J. Azinheir. Liner strutures following y n irship using vnishing points n horizon line in visul servoing sheme. In IEEE Interntionl Conferene on Rootis n Automtion, ICRA 04, pges , New Orlens, Louisin, April [4] O. Thri. Utilistion es moments en sservissement visuel et en lul e pose. PhD thesis, University of Rennes, [5] O. Thri n F. Chumette. Point-se n region-se imge moments for visul servoing of plnr ojets. IEEE Trnstion on Rootis, 2(6):6 27, Deemer [6] O. Thri, F. Chumette, n Y. Mezour. New eouple visul servoing sheme se on invrints from projetion onto sphere. In In IEEE Interntionl Conferene on Rootis n Automtion, ICRA 08, Psen, Cliforni, USA, My [7] R. Ttsmon Fomen n F. Chumette. Visul servoing from spheres using spheril projetion moel. In IEEE Interntionl Conferene on Rootis n Automtion, ICRA 07, Rom, Itli, April [8] L. Weiss, A. C. Snerson, n C. P. Neumn. Dynmi sensor-se ontrol of roots with visul feek. IEEE Journl on Rootis n Automtion, RA-3(5), Otoer 987.

18.06 Problem Set 4 Due Wednesday, Oct. 11, 2006 at 4:00 p.m. in 2-106

18.06 Problem Set 4 Due Wednesday, Oct. 11, 2006 at 4:00 p.m. in 2-106 8. Problem Set Due Wenesy, Ot., t : p.m. in - Problem Mony / Consier the eight vetors 5, 5, 5,..., () List ll of the one-element, linerly epenent sets forme from these. (b) Wht re the two-element, linerly

More information

Counting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs

Counting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs Isomorphism of Grphs Definition The simple grphs G 1 = (V 1, E 1 ) n G = (V, E ) re isomorphi if there is ijetion (n oneto-one n onto funtion) f from V 1 to V with the property tht n re jent in G 1 if

More information

CS 491G Combinatorial Optimization Lecture Notes

CS 491G Combinatorial Optimization Lecture Notes CS 491G Comintoril Optimiztion Leture Notes Dvi Owen July 30, August 1 1 Mthings Figure 1: two possile mthings in simple grph. Definition 1 Given grph G = V, E, mthing is olletion of eges M suh tht e i,

More information

Solutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite!

Solutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite! Solutions for HW9 Exerise 28. () Drw C 6, W 6 K 6, n K 5,3. C 6 : W 6 : K 6 : K 5,3 : () Whih of the following re iprtite? Justify your nswer. Biprtite: put the re verties in V 1 n the lk in V 2. Biprtite:

More information

I 3 2 = I I 4 = 2A

I 3 2 = I I 4 = 2A ECE 210 Eletril Ciruit Anlysis University of llinois t Chigo 2.13 We re ske to use KCL to fin urrents 1 4. The key point in pplying KCL in this prolem is to strt with noe where only one of the urrents

More information

A Primer on Continuous-time Economic Dynamics

A Primer on Continuous-time Economic Dynamics Eonomis 205A Fll 2008 K Kletzer A Primer on Continuous-time Eonomi Dnmis A Liner Differentil Eqution Sstems (i) Simplest se We egin with the simple liner first-orer ifferentil eqution The generl solution

More information

Now we must transform the original model so we can use the new parameters. = S max. Recruits

Now we must transform the original model so we can use the new parameters. = S max. Recruits MODEL FOR VARIABLE RECRUITMENT (ontinue) Alterntive Prmeteriztions of the pwner-reruit Moels We n write ny moel in numerous ifferent ut equivlent forms. Uner ertin irumstnes it is onvenient to work with

More information

Eigenvectors and Eigenvalues

Eigenvectors and Eigenvalues MTB 050 1 ORIGIN 1 Eigenvets n Eigenvlues This wksheet esries the lger use to lulte "prinipl" "hrteristi" iretions lle Eigenvets n the "prinipl" "hrteristi" vlues lle Eigenvlues ssoite with these iretions.

More information

for all x in [a,b], then the area of the region bounded by the graphs of f and g and the vertical lines x = a and x = b is b [ ( ) ( )] A= f x g x dx

for all x in [a,b], then the area of the region bounded by the graphs of f and g and the vertical lines x = a and x = b is b [ ( ) ( )] A= f x g x dx Applitions of Integrtion Are of Region Between Two Curves Ojetive: Fin the re of region etween two urves using integrtion. Fin the re of region etween interseting urves using integrtion. Desrie integrtion

More information

The DOACROSS statement

The DOACROSS statement The DOACROSS sttement Is prllel loop similr to DOALL, ut it llows prouer-onsumer type of synhroniztion. Synhroniztion is llowe from lower to higher itertions sine it is ssume tht lower itertions re selete

More information

2.4 Theoretical Foundations

2.4 Theoretical Foundations 2 Progrmming Lnguge Syntx 2.4 Theoretil Fountions As note in the min text, snners n prsers re se on the finite utomt n pushown utomt tht form the ottom two levels of the Chomsky lnguge hierrhy. At eh level

More information

Particle Physics. Michaelmas Term 2011 Prof Mark Thomson. Handout 3 : Interaction by Particle Exchange and QED. Recap

Particle Physics. Michaelmas Term 2011 Prof Mark Thomson. Handout 3 : Interaction by Particle Exchange and QED. Recap Prtile Physis Mihelms Term 2011 Prof Mrk Thomson g X g X g g Hnout 3 : Intertion y Prtile Exhnge n QED Prof. M.A. Thomson Mihelms 2011 101 Rep Working towrs proper lultion of ey n sttering proesses lnitilly

More information

Lecture 6: Coding theory

Lecture 6: Coding theory Leture 6: Coing theory Biology 429 Crl Bergstrom Ferury 4, 2008 Soures: This leture loosely follows Cover n Thoms Chpter 5 n Yeung Chpter 3. As usul, some of the text n equtions re tken iretly from those

More information

MCH T 111 Handout Triangle Review Page 1 of 3

MCH T 111 Handout Triangle Review Page 1 of 3 Hnout Tringle Review Pge of 3 In the stuy of sttis, it is importnt tht you e le to solve lgeri equtions n tringle prolems using trigonometry. The following is review of trigonometry sis. Right Tringle:

More information

Numbers and indices. 1.1 Fractions. GCSE C Example 1. Handy hint. Key point

Numbers and indices. 1.1 Fractions. GCSE C Example 1. Handy hint. Key point GCSE C Emple 7 Work out 9 Give your nswer in its simplest form Numers n inies Reiprote mens invert or turn upsie own The reiprol of is 9 9 Mke sure you only invert the frtion you re iviing y 7 You multiply

More information

Behavior Composition in the Presence of Failure

Behavior Composition in the Presence of Failure Behvior Composition in the Presene of Filure Sestin Srdin RMIT University, Melourne, Austrli Fio Ptrizi & Giuseppe De Giomo Spienz Univ. Rom, Itly KR 08, Sept. 2008, Sydney Austrli Introdution There re

More information

SOME COPLANAR POINTS IN TETRAHEDRON

SOME COPLANAR POINTS IN TETRAHEDRON Journl of Pure n Applie Mthemtis: Avnes n Applitions Volume 16, Numer 2, 2016, Pges 109-114 Aville t http://sientifivnes.o.in DOI: http://x.oi.org/10.18642/jpm_7100121752 SOME COPLANAR POINTS IN TETRAHEDRON

More information

CIT 596 Theory of Computation 1. Graphs and Digraphs

CIT 596 Theory of Computation 1. Graphs and Digraphs CIT 596 Theory of Computtion 1 A grph G = (V (G), E(G)) onsists of two finite sets: V (G), the vertex set of the grph, often enote y just V, whih is nonempty set of elements lle verties, n E(G), the ege

More information

Momentum and Energy Review

Momentum and Energy Review Momentum n Energy Review Nme: Dte: 1. A 0.0600-kilogrm ll trveling t 60.0 meters per seon hits onrete wll. Wht spee must 0.0100-kilogrm ullet hve in orer to hit the wll with the sme mgnitue of momentum

More information

Geodesics on Regular Polyhedra with Endpoints at the Vertices

Geodesics on Regular Polyhedra with Endpoints at the Vertices Arnol Mth J (2016) 2:201 211 DOI 101007/s40598-016-0040-z RESEARCH CONTRIBUTION Geoesis on Regulr Polyher with Enpoints t the Verties Dmitry Fuhs 1 To Sergei Thnikov on the osion of his 60th irthy Reeive:

More information

Lecture 2: Cayley Graphs

Lecture 2: Cayley Graphs Mth 137B Professor: Pri Brtlett Leture 2: Cyley Grphs Week 3 UCSB 2014 (Relevnt soure mteril: Setion VIII.1 of Bollos s Moern Grph Theory; 3.7 of Gosil n Royle s Algeri Grph Theory; vrious ppers I ve re

More information

Comparing the Pre-image and Image of a Dilation

Comparing the Pre-image and Image of a Dilation hpter Summry Key Terms Postultes nd Theorems similr tringles (.1) inluded ngle (.2) inluded side (.2) geometri men (.) indiret mesurement (.6) ngle-ngle Similrity Theorem (.2) Side-Side-Side Similrity

More information

Monochromatic Plane Matchings in Bicolored Point Set

Monochromatic Plane Matchings in Bicolored Point Set CCCG 2017, Ottw, Ontrio, July 26 28, 2017 Monohromti Plne Mthings in Biolore Point Set A. Krim Au-Affsh Sujoy Bhore Pz Crmi Astrt Motivte y networks interply, we stuy the prolem of omputing monohromti

More information

ANALYSIS AND MODELLING OF RAINFALL EVENTS

ANALYSIS AND MODELLING OF RAINFALL EVENTS Proeedings of the 14 th Interntionl Conferene on Environmentl Siene nd Tehnology Athens, Greee, 3-5 Septemer 215 ANALYSIS AND MODELLING OF RAINFALL EVENTS IOANNIDIS K., KARAGRIGORIOU A. nd LEKKAS D.F.

More information

SOME INTEGRAL INEQUALITIES FOR HARMONICALLY CONVEX STOCHASTIC PROCESSES ON THE CO-ORDINATES

SOME INTEGRAL INEQUALITIES FOR HARMONICALLY CONVEX STOCHASTIC PROCESSES ON THE CO-ORDINATES Avne Mth Moels & Applitions Vol3 No 8 pp63-75 SOME INTEGRAL INEQUALITIES FOR HARMONICALLY CONVE STOCHASTIC PROCESSES ON THE CO-ORDINATES Nurgül Okur * Imt Işn Yusuf Ust 3 3 Giresun University Deprtment

More information

1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.

1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides. 1 PYTHAGORAS THEOREM 1 1 Pythgors Theorem In this setion we will present geometri proof of the fmous theorem of Pythgors. Given right ngled tringle, the squre of the hypotenuse is equl to the sum of the

More information

Analysis of Temporal Interactions with Link Streams and Stream Graphs

Analysis of Temporal Interactions with Link Streams and Stream Graphs Anlysis of Temporl Intertions with n Strem Grphs, Tiphine Vir, Clémene Mgnien http:// ltpy@ LIP6 CNRS n Soronne Université Pris, Frne 1/23 intertions over time 0 2 4 6 8,,, n for 10 time units time 2/23

More information

MATH 122, Final Exam

MATH 122, Final Exam MATH, Finl Exm Winter Nme: Setion: You must show ll of your work on the exm pper, legily n in etil, to reeive reit. A formul sheet is tthe.. (7 pts eh) Evlute the following integrls. () 3x + x x Solution.

More information

Linear Algebra Introduction

Linear Algebra Introduction Introdution Wht is Liner Alger out? Liner Alger is rnh of mthemtis whih emerged yers k nd ws one of the pioneer rnhes of mthemtis Though, initilly it strted with solving of the simple liner eqution x +

More information

F / x everywhere in some domain containing R. Then, + ). (10.4.1)

F / x everywhere in some domain containing R. Then, + ). (10.4.1) 0.4 Green's theorem in the plne Double integrls over plne region my be trnsforme into line integrls over the bounry of the region n onversely. This is of prtil interest beuse it my simplify the evlution

More information

8 THREE PHASE A.C. CIRCUITS

8 THREE PHASE A.C. CIRCUITS 8 THREE PHSE.. IRUITS The signls in hpter 7 were sinusoidl lternting voltges nd urrents of the so-lled single se type. n emf of suh type n e esily generted y rotting single loop of ondutor (or single winding),

More information

Math 32B Discussion Session Week 8 Notes February 28 and March 2, f(b) f(a) = f (t)dt (1)

Math 32B Discussion Session Week 8 Notes February 28 and March 2, f(b) f(a) = f (t)dt (1) Green s Theorem Mth 3B isussion Session Week 8 Notes Februry 8 nd Mrh, 7 Very shortly fter you lerned how to integrte single-vrible funtions, you lerned the Fundmentl Theorem of lulus the wy most integrtion

More information

Necessary and sucient conditions for some two. Abstract. Further we show that the necessary conditions for the existence of an OD(44 s 1 s 2 )

Necessary and sucient conditions for some two. Abstract. Further we show that the necessary conditions for the existence of an OD(44 s 1 s 2 ) Neessry n suient onitions for some two vrile orthogonl esigns in orer 44 C. Koukouvinos, M. Mitrouli y, n Jennifer Seerry z Deite to Professor Anne Penfol Street Astrt We give new lgorithm whih llows us

More information

CS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014

CS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014 S 224 DIGITAL LOGI & STATE MAHINE DESIGN SPRING 214 DUE : Mrh 27, 214 HOMEWORK III READ : Relte portions of hpters VII n VIII ASSIGNMENT : There re three questions. Solve ll homework n exm prolems s shown

More information

Let s divide up the interval [ ab, ] into n subintervals with the same length, so we have

Let s divide up the interval [ ab, ] into n subintervals with the same length, so we have III. INTEGRATION Eonomists seem muh more intereste in mrginl effets n ifferentition thn in integrtion. Integrtion is importnt for fining the epete vlue n vrine of rnom vriles, whih is use in eonometris

More information

Lecture 8: Abstract Algebra

Lecture 8: Abstract Algebra Mth 94 Professor: Pri Brtlett Leture 8: Astrt Alger Week 8 UCSB 2015 This is the eighth week of the Mthemtis Sujet Test GRE prep ourse; here, we run very rough-n-tumle review of strt lger! As lwys, this

More information

Mathematical Proofs Table of Contents

Mathematical Proofs Table of Contents Mthemtil Proofs Tle of Contents Proof Stnr Pge(s) Are of Trpezoi 7MG. Geometry 8.0 Are of Cirle 6MG., 9 6MG. 7MG. Geometry 8.0 Volume of Right Cirulr Cyliner 6MG. 4 7MG. Geometry 8.0 Volume of Sphere Geometry

More information

CSE 332. Sorting. Data Abstractions. CSE 332: Data Abstractions. QuickSort Cutoff 1. Where We Are 2. Bounding The MAXIMUM Problem 4

CSE 332. Sorting. Data Abstractions. CSE 332: Data Abstractions. QuickSort Cutoff 1. Where We Are 2. Bounding The MAXIMUM Problem 4 Am Blnk Leture 13 Winter 2016 CSE 332 CSE 332: Dt Astrtions Sorting Dt Astrtions QuikSort Cutoff 1 Where We Are 2 For smll n, the reursion is wste. The onstnts on quik/merge sort re higher thn the ones

More information

Factorising FACTORISING.

Factorising FACTORISING. Ftorising FACTORISING www.mthletis.om.u Ftorising FACTORISING Ftorising is the opposite of expning. It is the proess of putting expressions into rkets rther thn expning them out. In this setion you will

More information

Activities. 4.1 Pythagoras' Theorem 4.2 Spirals 4.3 Clinometers 4.4 Radar 4.5 Posting Parcels 4.6 Interlocking Pipes 4.7 Sine Rule Notes and Solutions

Activities. 4.1 Pythagoras' Theorem 4.2 Spirals 4.3 Clinometers 4.4 Radar 4.5 Posting Parcels 4.6 Interlocking Pipes 4.7 Sine Rule Notes and Solutions MEP: Demonstrtion Projet UNIT 4: Trigonometry UNIT 4 Trigonometry tivities tivities 4. Pythgors' Theorem 4.2 Spirls 4.3 linometers 4.4 Rdr 4.5 Posting Prels 4.6 Interloking Pipes 4.7 Sine Rule Notes nd

More information

Proportions: A ratio is the quotient of two numbers. For example, 2 3

Proportions: A ratio is the quotient of two numbers. For example, 2 3 Proportions: rtio is the quotient of two numers. For exmple, 2 3 is rtio of 2 n 3. n equlity of two rtios is proportion. For exmple, 3 7 = 15 is proportion. 45 If two sets of numers (none of whih is 0)

More information

22: Union Find. CS 473u - Algorithms - Spring April 14, We want to maintain a collection of sets, under the operations of:

22: Union Find. CS 473u - Algorithms - Spring April 14, We want to maintain a collection of sets, under the operations of: 22: Union Fin CS 473u - Algorithms - Spring 2005 April 14, 2005 1 Union-Fin We wnt to mintin olletion of sets, uner the opertions of: 1. MkeSet(x) - rete set tht ontins the single element x. 2. Fin(x)

More information

Area and Perimeter. Area and Perimeter. Solutions. Curriculum Ready.

Area and Perimeter. Area and Perimeter. Solutions. Curriculum Ready. Are n Perimeter Are n Perimeter Solutions Curriulum Rey www.mthletis.om How oes it work? Solutions Are n Perimeter Pge questions Are using unit squres Are = whole squres Are = 6 whole squres = units =

More information

Review of Gaussian Quadrature method

Review of Gaussian Quadrature method Review of Gussin Qudrture method Nsser M. Asi Spring 006 compiled on Sundy Decemer 1, 017 t 09:1 PM 1 The prolem To find numericl vlue for the integrl of rel vlued function of rel vrile over specific rnge

More information

QUADRATIC EQUATION. Contents

QUADRATIC EQUATION. Contents QUADRATIC EQUATION Contents Topi Pge No. Theory 0-04 Exerise - 05-09 Exerise - 09-3 Exerise - 3 4-5 Exerise - 4 6 Answer Key 7-8 Syllus Qudrti equtions with rel oeffiients, reltions etween roots nd oeffiients,

More information

Edexcel Level 3 Advanced GCE in Mathematics (9MA0) Two-year Scheme of Work

Edexcel Level 3 Advanced GCE in Mathematics (9MA0) Two-year Scheme of Work Eexel Level 3 Avne GCE in Mthemtis (9MA0) Two-yer Sheme of Work Stuents stuying A Level Mthemtis will tke 3 ppers t the en of Yer 13 s inite elow. All stuents will stuy Pure, Sttistis n Mehnis. A level

More information

A Study on the Properties of Rational Triangles

A Study on the Properties of Rational Triangles Interntionl Journl of Mthemtis Reserh. ISSN 0976-5840 Volume 6, Numer (04), pp. 8-9 Interntionl Reserh Pulition House http://www.irphouse.om Study on the Properties of Rtionl Tringles M. Q. lm, M.R. Hssn

More information

Ranking Generalized Fuzzy Numbers using centroid of centroids

Ranking Generalized Fuzzy Numbers using centroid of centroids Interntionl Journl of Fuzzy Logi Systems (IJFLS) Vol. No. July ning Generlize Fuzzy Numers using entroi of entrois S.Suresh u Y.L.P. Thorni N.vi Shnr Dept. of pplie Mthemtis GIS GITM University Vishptnm

More information

SECTION A STUDENT MATERIAL. Part 1. What and Why.?

SECTION A STUDENT MATERIAL. Part 1. What and Why.? SECTION A STUDENT MATERIAL Prt Wht nd Wh.? Student Mteril Prt Prolem n > 0 n > 0 Is the onverse true? Prolem If n is even then n is even. If n is even then n is even. Wht nd Wh? Eploring Pure Mths Are

More information

SIMPLE NONLINEAR GRAPHS

SIMPLE NONLINEAR GRAPHS S i m p l e N o n l i n e r G r p h s SIMPLE NONLINEAR GRAPHS www.mthletis.om.u Simple SIMPLE Nonliner NONLINEAR Grphs GRAPHS Liner equtions hve the form = m+ where the power of (n ) is lws. The re lle

More information

Green s Theorem. (2x e y ) da. (2x e y ) dx dy. x 2 xe y. (1 e y ) dy. y=1. = y e y. y=0. = 2 e

Green s Theorem. (2x e y ) da. (2x e y ) dx dy. x 2 xe y. (1 e y ) dy. y=1. = y e y. y=0. = 2 e Green s Theorem. Let be the boundry of the unit squre, y, oriented ounterlokwise, nd let F be the vetor field F, y e y +, 2 y. Find F d r. Solution. Let s write P, y e y + nd Q, y 2 y, so tht F P, Q. Let

More information

GM1 Consolidation Worksheet

GM1 Consolidation Worksheet Cmridge Essentils Mthemtis Core 8 GM1 Consolidtion Worksheet GM1 Consolidtion Worksheet 1 Clulte the size of eh ngle mrked y letter. Give resons for your nswers. or exmple, ngles on stright line dd up

More information

Electromagnetism Notes, NYU Spring 2018

Electromagnetism Notes, NYU Spring 2018 Eletromgnetism Notes, NYU Spring 208 April 2, 208 Ation formultion of EM. Free field desription Let us first onsider the free EM field, i.e. in the bsene of ny hrges or urrents. To tret this s mehnil system

More information

Section 4.4. Green s Theorem

Section 4.4. Green s Theorem The Clulus of Funtions of Severl Vriles Setion 4.4 Green s Theorem Green s theorem is n exmple from fmily of theorems whih onnet line integrls (nd their higher-dimensionl nlogues) with the definite integrls

More information

Introduction to Olympiad Inequalities

Introduction to Olympiad Inequalities Introdution to Olympid Inequlities Edutionl Studies Progrm HSSP Msshusetts Institute of Tehnology Snj Simonovikj Spring 207 Contents Wrm up nd Am-Gm inequlity 2. Elementry inequlities......................

More information

Matrices SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics (c) 1. Definition of a Matrix

Matrices SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics (c) 1. Definition of a Matrix tries Definition of tri mtri is regulr rry of numers enlosed inside rkets SCHOOL OF ENGINEERING & UIL ENVIRONEN Emple he following re ll mtries: ), ) 9, themtis ), d) tries Definition of tri Size of tri

More information

THE INFLUENCE OF MODEL RESOLUTION ON AN EXPRESSION OF THE ATMOSPHERIC BOUNDARY LAYER IN A SINGLE-COLUMN MODEL

THE INFLUENCE OF MODEL RESOLUTION ON AN EXPRESSION OF THE ATMOSPHERIC BOUNDARY LAYER IN A SINGLE-COLUMN MODEL THE INFLUENCE OF MODEL RESOLUTION ON AN EXPRESSION OF THE ATMOSPHERIC BOUNDARY LAYER IN A SINGLE-COLUMN MODEL P3.1 Kot Iwmur*, Hiroto Kitgw Jpn Meteorologil Ageny 1. INTRODUCTION Jpn Meteorologil Ageny

More information

The Double Integral. The Riemann sum of a function f (x; y) over this partition of [a; b] [c; d] is. f (r j ; t k ) x j y k

The Double Integral. The Riemann sum of a function f (x; y) over this partition of [a; b] [c; d] is. f (r j ; t k ) x j y k The Double Integrl De nition of the Integrl Iterted integrls re used primrily s tool for omputing double integrls, where double integrl is n integrl of f (; y) over region : In this setion, we de ne double

More information

Computing the Quartet Distance between Evolutionary Trees in Time O(n log n)

Computing the Quartet Distance between Evolutionary Trees in Time O(n log n) Computing the Qurtet Distne etween Evolutionry Trees in Time O(n log n) Gerth Stølting Brol, Rolf Fgererg Christin N. S. Peersen Mrh 3, 2003 Astrt Evolutionry trees esriing the reltionship for set of speies

More information

Extension of the Villarceau-Section to Surfaces of Revolution with a Generating Conic

Extension of the Villarceau-Section to Surfaces of Revolution with a Generating Conic Journl for Geometry n Grphics Volume 6 (2002), No. 2, 121 132. Extension of the Villrceu-Section to Surfces of Revolution with Generting Conic Anton Hirsch Fchereich uingenieurwesen, FG Sthlu, Drstellungstechnik

More information

GRUPOS NANTEL BERGERON

GRUPOS NANTEL BERGERON Drft of Septemer 8, 2017 GRUPOS NANTEL BERGERON Astrt. 1. Quik Introution In this mini ourse we will see how to ount severl ttriute relte to symmetries of n ojet. For exmple, how mny ifferent ies with

More information

Line Integrals and Entire Functions

Line Integrals and Entire Functions Line Integrls nd Entire Funtions Defining n Integrl for omplex Vlued Funtions In the following setions, our min gol is to show tht every entire funtion n be represented s n everywhere onvergent power series

More information

Generalization of 2-Corner Frequency Source Models Used in SMSIM

Generalization of 2-Corner Frequency Source Models Used in SMSIM Generliztion o 2-Corner Frequeny Soure Models Used in SMSIM Dvid M. Boore 26 Mrh 213, orreted Figure 1 nd 2 legends on 5 April 213, dditionl smll orretions on 29 My 213 Mny o the soure spetr models ville

More information

Section 2.3. Matrix Inverses

Section 2.3. Matrix Inverses Mtri lger Mtri nverses Setion.. Mtri nverses hree si opertions on mtries, ition, multiplition, n sutrtion, re nlogues for mtries of the sme opertions for numers. n this setion we introue the mtri nlogue

More information

TIME-VARYING AND NON-LINEAR DYNAMICAL SYSTEM IDENTIFICATION USING THE HILBERT TRANSFORM

TIME-VARYING AND NON-LINEAR DYNAMICAL SYSTEM IDENTIFICATION USING THE HILBERT TRANSFORM Proeeings of ASME VIB 5: th Biennil Conferene on Mehnil Virtion n Noise Septemer 4-8, 5 Long Beh, CA, USA DETC5-84644 TIME-VARYING AND NON-LINEAR DYNAMICAL SYSTEM IDENTIFICATION USING THE HILBERT TRANSFORM

More information

Surds and Indices. Surds and Indices. Curriculum Ready ACMNA: 233,

Surds and Indices. Surds and Indices. Curriculum Ready ACMNA: 233, Surs n Inies Surs n Inies Curriulum Rey ACMNA:, 6 www.mthletis.om Surs SURDS & & Inies INDICES Inies n surs re very losely relte. A numer uner (squre root sign) is lle sur if the squre root n t e simplifie.

More information

On a Class of Planar Graphs with Straight-Line Grid Drawings on Linear Area

On a Class of Planar Graphs with Straight-Line Grid Drawings on Linear Area Journl of Grph Algorithms n Applitions http://jg.info/ vol. 13, no. 2, pp. 153 177 (2009) On Clss of Plnr Grphs with Stright-Line Gri Drwings on Liner Are M. Rezul Krim 1,2 M. Siur Rhmn 1 1 Deprtment of

More information

Lecture Notes No. 10

Lecture Notes No. 10 2.6 System Identifition, Estimtion, nd Lerning Leture otes o. Mrh 3, 26 6 Model Struture of Liner ime Invrint Systems 6. Model Struture In representing dynmil system, the first step is to find n pproprite

More information

If we have a function f(x) which is well-defined for some a x b, its integral over those two values is defined as

If we have a function f(x) which is well-defined for some a x b, its integral over those two values is defined as Y. D. Chong (26) MH28: Complex Methos for the Sciences 2. Integrls If we hve function f(x) which is well-efine for some x, its integrl over those two vlues is efine s N ( ) f(x) = lim x f(x n ) where x

More information

Bounded single-peaked width and proportional representation 1

Bounded single-peaked width and proportional representation 1 Boune single-peke with n proportionl representtion 1 Denis Cornz, Luie Gln n Olivier Spnjr Astrt This pper is evote to the proportionl representtion (PR) prolem when the preferenes re lustere single-peke.

More information

Model Reduction of Finite State Machines by Contraction

Model Reduction of Finite State Machines by Contraction Model Reduction of Finite Stte Mchines y Contrction Alessndro Giu Dip. di Ingegneri Elettric ed Elettronic, Università di Cgliri, Pizz d Armi, 09123 Cgliri, Itly Phone: +39-070-675-5892 Fx: +39-070-675-5900

More information

Algebra 2 Semester 1 Practice Final

Algebra 2 Semester 1 Practice Final Alger 2 Semester Prtie Finl Multiple Choie Ientify the hoie tht est ompletes the sttement or nswers the question. To whih set of numers oes the numer elong?. 2 5 integers rtionl numers irrtionl numers

More information

Solids of Revolution

Solids of Revolution Solis of Revolution Solis of revolution re rete tking n re n revolving it roun n is of rottion. There re two methos to etermine the volume of the soli of revolution: the isk metho n the shell metho. Disk

More information

Mid-Term Examination - Spring 2014 Mathematical Programming with Applications to Economics Total Score: 45; Time: 3 hours

Mid-Term Examination - Spring 2014 Mathematical Programming with Applications to Economics Total Score: 45; Time: 3 hours Mi-Term Exmintion - Spring 0 Mthemtil Progrmming with Applitions to Eonomis Totl Sore: 5; Time: hours. Let G = (N, E) e irete grph. Define the inegree of vertex i N s the numer of eges tht re oming into

More information

THE PYTHAGOREAN THEOREM

THE PYTHAGOREAN THEOREM THE PYTHAGOREAN THEOREM The Pythgoren Theorem is one of the most well-known nd widely used theorems in mthemtis. We will first look t n informl investigtion of the Pythgoren Theorem, nd then pply this

More information

Technology Mapping Method for Low Power Consumption and High Performance in General-Synchronous Framework

Technology Mapping Method for Low Power Consumption and High Performance in General-Synchronous Framework R-17 SASIMI 015 Proeeings Tehnology Mpping Metho for Low Power Consumption n High Performne in Generl-Synhronous Frmework Junki Kwguhi Yukihie Kohir Shool of Computer Siene, the University of Aizu Aizu-Wkmtsu

More information

Solutions to Problem Set #1

Solutions to Problem Set #1 CSE 233 Spring, 2016 Solutions to Prolem Set #1 1. The movie tse onsists of the following two reltions movie: title, iretor, tor sheule: theter, title The first reltion provies titles, iretors, n tors

More information

Compression of Palindromes and Regularity.

Compression of Palindromes and Regularity. Compression of Plinromes n Regulrity. Kyoko Shikishim-Tsuji Center for Lierl Arts Eution n Reserh Tenri University 1 Introution In [1], property of likstrem t t view of tse is isusse n it is shown tht

More information

m m m m m m m m P m P m ( ) m m P( ) ( ). The o-ordinte of the point P( ) dividing the line segment joining the two points ( ) nd ( ) eternll in the r

m m m m m m m m P m P m ( ) m m P( ) ( ). The o-ordinte of the point P( ) dividing the line segment joining the two points ( ) nd ( ) eternll in the r CO-ORDINTE GEOMETR II I Qudrnt Qudrnt (-.+) (++) X X - - - 0 - III IV Qudrnt - Qudrnt (--) - (+-) Region CRTESIN CO-ORDINTE SSTEM : Retngulr Co-ordinte Sstem : Let X' OX nd 'O e two mutull perpendiulr

More information

September 13 Homework Solutions

September 13 Homework Solutions College of Engineering nd Computer Science Mechnicl Engineering Deprtment Mechnicl Engineering 5A Seminr in Engineering Anlysis Fll Ticket: 5966 Instructor: Lrry Cretto Septemer Homework Solutions. Are

More information

Intermediate Math Circles Wednesday 17 October 2012 Geometry II: Side Lengths

Intermediate Math Circles Wednesday 17 October 2012 Geometry II: Side Lengths Intermedite Mth Cirles Wednesdy 17 Otoer 01 Geometry II: Side Lengths Lst week we disussed vrious ngle properties. As we progressed through the evening, we proved mny results. This week, we will look t

More information

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008 Mth 520 Finl Exm Topic Outline Sections 1 3 (Xio/Dums/Liw) Spring 2008 The finl exm will be held on Tuesdy, My 13, 2-5pm in 117 McMilln Wht will be covered The finl exm will cover the mteril from ll of

More information

Lecture Summaries for Multivariable Integral Calculus M52B

Lecture Summaries for Multivariable Integral Calculus M52B These leture summries my lso be viewed online by liking the L ion t the top right of ny leture sreen. Leture Summries for Multivrible Integrl Clulus M52B Chpter nd setion numbers refer to the 6th edition.

More information

SEMI-EXCIRCLE OF QUADRILATERAL

SEMI-EXCIRCLE OF QUADRILATERAL JP Journl of Mthemtil Sienes Volume 5, Issue &, 05, Pges - 05 Ishn Pulishing House This pper is ville online t http://wwwiphsiom SEMI-EXCIRCLE OF QUADRILATERAL MASHADI, SRI GEMAWATI, HASRIATI AND HESY

More information

EXTENSION OF THE GCD STAR OF DAVID THEOREM TO MORE THAN TWO GCDS CALVIN LONG AND EDWARD KORNTVED

EXTENSION OF THE GCD STAR OF DAVID THEOREM TO MORE THAN TWO GCDS CALVIN LONG AND EDWARD KORNTVED EXTENSION OF THE GCD STAR OF DAVID THEOREM TO MORE THAN TWO GCDS CALVIN LONG AND EDWARD KORNTVED Astrt. The GCD Str of Dvi Theorem n the numerous ppers relte to it hve lrgel een evote to shoing the equlit

More information

CARLETON UNIVERSITY. 1.0 Problems and Most Solutions, Sect B, 2005

CARLETON UNIVERSITY. 1.0 Problems and Most Solutions, Sect B, 2005 RLETON UNIVERSIT eprtment of Eletronis ELE 2607 Swithing iruits erury 28, 05; 0 pm.0 Prolems n Most Solutions, Set, 2005 Jn. 2, #8 n #0; Simplify, Prove Prolem. #8 Simplify + + + Reue to four letters (literls).

More information

Behavior Composition in the Presence of Failure

Behavior Composition in the Presence of Failure Behior Composition in the Presene of Filure Sestin Srdin RMIT Uniersity, Melourne, Austrli Fio Ptrizi & Giuseppe De Giomo Spienz Uni. Rom, Itly KR 08, Sept. 2008, Sydney Austrli Introdution There re t

More information

Arrow s Impossibility Theorem

Arrow s Impossibility Theorem Rep Voting Prdoxes Properties Arrow s Theorem Arrow s Impossiility Theorem Leture 12 Arrow s Impossiility Theorem Leture 12, Slide 1 Rep Voting Prdoxes Properties Arrow s Theorem Leture Overview 1 Rep

More information

Figure 1. The left-handed and right-handed trefoils

Figure 1. The left-handed and right-handed trefoils The Knot Group A knot is n emedding of the irle into R 3 (or S 3 ), k : S 1 R 3. We shll ssume our knots re tme, mening the emedding n e extended to solid torus, K : S 1 D 2 R 3. The imge is lled tuulr

More information

CHEM1611 Answers to Problem Sheet 9

CHEM1611 Answers to Problem Sheet 9 CEM1611 Answers to Prolem Sheet 9 1. Tutomers re struturl isomers whih re relte y migrtion of hyrogen tom n the exhnge of single on n jent oule on. Compoun Tutomer 2 2 2 2 2 2 2 2 2 2 2 2. () Whih pir

More information

Dorf, R.C., Wan, Z. T- Equivalent Networks The Electrical Engineering Handbook Ed. Richard C. Dorf Boca Raton: CRC Press LLC, 2000

Dorf, R.C., Wan, Z. T- Equivalent Networks The Electrical Engineering Handbook Ed. Richard C. Dorf Boca Raton: CRC Press LLC, 2000 orf, R.C., Wn,. T- Equivlent Networks The Eletril Engineering Hndook Ed. Rihrd C. orf Bo Rton: CRC Press LLC, 000 9 T P Equivlent Networks hen Wn University of Cliforni, vis Rihrd C. orf University of

More information

Matrix- System of rows and columns each position in a matrix has a purpose. 5 Ex: 5. Ex:

Matrix- System of rows and columns each position in a matrix has a purpose. 5 Ex: 5. Ex: Mtries Prelulus Mtri- Sstem of rows n olumns eh position in mtri hs purpose. Element- Eh vlue in the mtri mens the element in the n row, r olumn Dimensions- How mn rows b number of olumns Ientif the element:

More information

Project 6: Minigoals Towards Simplifying and Rewriting Expressions

Project 6: Minigoals Towards Simplifying and Rewriting Expressions MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy

More information

Can one hear the shape of a drum?

Can one hear the shape of a drum? Cn one her the shpe of drum? After M. K, C. Gordon, D. We, nd S. Wolpert Corentin Lén Università Degli Studi di Torino Diprtimento di Mtemti Giuseppe Peno UNITO Mthemtis Ph.D Seminrs Mondy 23 My 2016 Motivtion:

More information

MAT 403 NOTES 4. f + f =

MAT 403 NOTES 4. f + f = MAT 403 NOTES 4 1. Fundmentl Theorem o Clulus We will proo more generl version o the FTC thn the textook. But just like the textook, we strt with the ollowing proposition. Let R[, ] e the set o Riemnn

More information

Active Contour Model driven by Globally Signed Region Pressure Force

Active Contour Model driven by Globally Signed Region Pressure Force Ative Contour Moel riven y Glolly Signe Region Pressure Fore Mohmme M. Aelsme n Sotirios A. Tsftris IMT Institute for Avne Stuies, Pizz S. Ponzino, 6, 55100 Lu, Itly mohmme.elsme@imtlu.it; s.tsftris@imtlu.it

More information

Mass Creation from Extra Dimensions

Mass Creation from Extra Dimensions Journl of oern Physics, 04, 5, 477-48 Publishe Online April 04 in SciRes. http://www.scirp.org/journl/jmp http://x.oi.org/0.436/jmp.04.56058 ss Cretion from Extr Dimensions Do Vong Duc, Nguyen ong Gio

More information

Lecture 11 Binary Decision Diagrams (BDDs)

Lecture 11 Binary Decision Diagrams (BDDs) C 474A/57A Computer-Aie Logi Design Leture Binry Deision Digrms (BDDs) C 474/575 Susn Lyseky o 3 Boolen Logi untions Representtions untion n e represente in ierent wys ruth tle, eqution, K-mp, iruit, et

More information

where the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b

where the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b CS 294-2 9/11/04 Quntum Ciruit Model, Solovy-Kitev Theorem, BQP Fll 2004 Leture 4 1 Quntum Ciruit Model 1.1 Clssil Ciruits - Universl Gte Sets A lssil iruit implements multi-output oolen funtion f : {0,1}

More information

VECTOR ALGEBRA. Syllabus :

VECTOR ALGEBRA. Syllabus : MV VECTOR ALGEBRA Syllus : Vetors nd Slrs, ddition of vetors, omponent of vetor, omponents of vetor in two dimensions nd three dimensionl spe, slr nd vetor produts, slr nd vetor triple produt. Einstein

More information