From ebf23302d0c8080b541dc0bb0453acf104ee5cb2 Mon Sep 17 00:00:00 2001 From: Robin Date: Sat, 1 May 2010 22:38:01 +0100 Subject: [PATCH] edits from printout. added derived component class to uml diagram --- component_failure_modes_definition/Makefile | 2 +- component_failure_modes_definition/cfg.dia | Bin 2091 -> 2325 bytes component_failure_modes_definition/cfg.jpg | Bin 15652 -> 19107 bytes .../component_failure_modes_definition.tex | 34 +++++++++--------- 4 files changed, 19 insertions(+), 17 deletions(-) diff --git a/component_failure_modes_definition/Makefile b/component_failure_modes_definition/Makefile index ff49043..fae8c9b 100644 --- a/component_failure_modes_definition/Makefile +++ b/component_failure_modes_definition/Makefile @@ -13,5 +13,5 @@ paper: paper.tex component_failure_modes_definition_paper.tex # Remove the need for referncing graphics in subdirectories # -component_failure_modes_definition_paper.tex: component_failure_modes_definition.tex +component_failure_modes_definition_paper.tex: component_failure_modes_definition.tex paper.tex cat component_failure_modes_definition.tex | sed 's/component_failure_modes_definition\///' > component_failure_modes_definition_paper.tex diff --git a/component_failure_modes_definition/cfg.dia b/component_failure_modes_definition/cfg.dia index 6945670a610d48b10fd6b63fb6c17a62d996f661..034f5ccaa23098620a99c2d04d21c0f77c194218 100644 GIT binary patch literal 2325 zcmV+w3F`JAiwFP!000021MOW~Z{xTXe$THEJa0w9@G6SqO%~l2(>}E50=s<KFzO2U%uO)(PcZ$<;FaF=3b_AJ*jm1NB`6qev~?7>ZPu>r(G<|RR%-q$K}qD zo_WmQFUGW^RxqfTUw`>C|I!>%`^NKJT?g6=QZLeKo)x<|aBlMEL{OAaO5tP(l_)H^ zB27=Pojb3x+5Q`MV?@s^5814~z4_tkbTzX-dYb({TV<16cO89J z)JL2C@i^0OUmdI7&mVVWLo-{id6*?yXz_mYFu%)Ydi4s;HpleLblVQQeC@1nk9+Hh zY2Mm0))pd9A9dAE|I4$Pj@k>{Do&J6>+F90>cu%JC;!pYx?SvVbz02QY8G8Yzmz{l z&prrvAld9{^e?=5vbL88lYtKIoULW~L@A2Id5qZh3D}j7zUe2E?b$0h{h}}2u=%E`jT8E;jc_UV~xyB*v5@EP%a?3!nUTT-2vy zFgSJUC500?Lnx=rZzm=7`GM4{l&~%=%Vfk==OL)eJ*ub)Ln??{pfqT$nr-xu(Vi>qE-E9%r)p$ z^U=TS{9f1DG=1q+y#EMx?wF3d2BQSyzI*f#&`lb?nTm%%ZTg0L5(pT(0YT(7FBZD{ zdg|hC(VojUqI7zG@4Geb?ICU79M6ZsPNGW8*{~*vTER%DPt&?aq2L-)iWr0cD@g|+ zOW)EgzpHfg&vK@NGWk}fPC5o<`pnAokF3xgE2eC-bGN6kQO4xN%#!@~A}?B{nF0e8G?;=L&J=HKFgku#nRClG5)9Q4?n( z1Fek1t(f#_RRJa;){RRfS7VAq0W-7D#E3}%rTp`IgTJO#y#m=-h0Q4MZeb4_gJ(FvD3#zNm{j9$ z_zqOpFiofmudt$gFu`g_o%vU#P96qP8lotUF$CM$(t-~Y|-%pFX zuI>}|Jiy6DR*e2XWyO*s5ISix5W;U-Yz>5wGI=rJv@nJiI6Z*G*k5&(-RoKO@=49J zV0XQ5M)i<0*xn&V1I|T-6eEVgJo(IytuZj-5Dh#bA~J|@AV`vLN$TKWP@@4R>nT2h z8exTn@nEFFK6l88LXu-{kSO>}MwNKXOl2WB>r{Hq*!QlpbEq-b&GYTa2WIVel{2mC zo3yIRhkoKw>OA>Pu8aA;&<6r5caT@Yt2bjD^fUvJy?YxU|FnJI%}$Q+xIO09El_^L zBn9CS#)$!9l1njO$K=EufH*<7h|YC(`sOx6Vd6O~VmY*@a<=#A-q$rke#{0RrAHvL zZ2Vi_eIqQ)1qSv4iNS%!GB!mqq53^I()~mXzVrYid&-W`IYPBjx98pws#PVzZTkpH zEox{W5madp5rZlXZ?BJX_xg9+*+?Pbx1Bk*AiQa4ZgWfEQ+qCccU##TH~BVNjVC@g z`G`4-N7zyPoNb|nd+Ga{SIlqaJ8igZdd0!@XW;RZp}73HzSnv5HG-3-=ei1})_>`H z7b%0O9by0wyDOBf`7{>Lt3a{F?wP{lXGj+I_JShykuV6-5CzG-&`*F!oS?sM3)A-3 zeF7bZ&lDuddp@F*hC!1Cn2&I81*n?BT>#&j;oWD!PE}0xQ`v9M8VdV9YhmA!ZXe>_ ze%*ZSD2TZ7diU6EpV;iyCLC@bI<{S%EV5EqQs2!iI+xkmYl`oiHWTQh^c25lcpqvnTX4jMNvbln1n*P;FtE%F!-fI{3=!VLOCRre@U_^ vYek|6e7+z^L6G)xFzC^T>QVDLPak!4eb&5yKl3VGT%Y|99cu<#aEt%|`@@m; literal 2091 zcmV+`2-No?9ehaxJo93=4)6l(Zi zlqAtmHyRGE&VpdGgK1Po=Ck_Ks4Vk%yew6aMssyJ7)O&Yvpid-(?Qj$Za2x2ED!FY ztLRI6*HFKtJf!P|%6Ge+FR~)mP0EMGUXzx7%-Q;qrl+Lc+{Yc+cL#jVm_tiAeR*-TY<+C{5$I)w(R11NDz!>YrU{XlPDMza{c{$wp zv~bC3;queM#l`g^%ga29%YDdkmL)1mE7USys>5-LNt9@cJvOZlv$%=NGJ9hDH&IeN zX9Cs7-|n`T-np|po<4r#ZnbFX;vya=s%i9bS{|+YhvRg= zdv&aOufN`r4OMTg=3y!nQ|#sDVYZB?s(6BC+ihBUx~-cHpIY_ZcF$dy>Z2WFZ6T8A zLFIM#KdsGlP+#C$ae`=4#&@fC8*7q{|5cN+p6uUcluo038e9ZFWnTwtA4Gc~@$_== zC){4F-RbGhv<~jA)*|~xDGbuGFRtmyF$l&IScEGw-@$9y22O|Jex%oneffcve{dI%S z__RT6zIlghrXEaP)RnqOUuSc%sYCJ_48tcj!W2NJ*-I#M$={BXdUFicPMzGOu;6`U z@Mrb4+@LV3DU7>Pm;%b#xd0F|ha|30IG|)C0Fu}sBF+zlEX`Ux;ce`+X}hL2Jlkrw z6UqH-`b||@wghyKctLG0b(WS*i01R)CYr~|gC1Cv7K5NDAB?%ydR2Y(HMt zuS~9$sgaIenclK8{T`>P!R4o&l?ei5m>`|{OBw}A8Cu41$Vb*Eht$dwBl0lhNtUM9 zDxKQdym*eyfr1$!=k&mUT3`IhVs{`-xu(ZDHPh0or!RA{C%&uS1h<+PwP2N*%~}NO z-)h%mZ=Ma`MfG>l_IJg8>Skv^$1$qx2-KwvB7Mn-WA0j*5O8KQE`o8xWCr_SSdq7; z&aG)954}0$gNpdbp4K(zE z^p*vwIit_J>d^&4fEwS0N{51EQ9^@4M;8QebS?oUPP6)*C+73|PV)LKajNJ{WKApM zbxXosnpO=XkoDyRr*eb=t2{e>HA2TxYV!=6_hUQ6>#rB1@(wZTPJByF6r;+{w3Pr0 zy9prN^0va!7GD!%bP)o=H7KTU-y8fZ%F9B_M&Wm)oV$fBZ1kRC4?|T1k6==bzu`Js zUBT#Rl`-QULWxc0H}v^4uS)Ga^rF;9QR-fT24LlJyUn0gD3v5(fCLWvqeuYw44V54 zS`!bwCiO3chH&?SZXz`mE+9B`U-+3--Go*!42|rDxqgQM70hjQch|}JMA|6}WKri@ zG?SlY=p1RQ=QJfz<7hgYl!OF`Sya-4oW!SPYI8}NQNQYIzwqYPwYhB}r8l@etVu(i zi_$_Z7S=sS4)rNCC25o!6N_mmMRx(7wjFB^f`;zhhR#}E$ zr?d=pt}SDxJ`tT0;Idx32El*{Q^vsn=OLCFln5z=&y9Jz*vLa~6#JMN3%eUdX{f+} zaB3855M(7u00fbiBnD(pB*`boPM}InRP?IU!`v7@!V}|om9=7SpBhJXo+=z+0wk>+ zC)baTcb(lEJOBZTt?U^7p0Z=&2!s|@CW5(5kF9_pkS0H-InB&2l;(5~5@f%qJib%Y zVDqufGjDgDZ%Vb0)7#!YMg*OU3o!%)YV+hWOSZy*fI_WOD@1@;ANI<S59z!y~8>l#m$@hD+#jryNPZDWnDoYoE!e5)Fx|Fx1XE=8iM>t@CVbYRq-@u)BE0 z?ESuSMtON1<#~4BPCSe|cYd9yboN;2qXVn%AWwu>&&D|DsRqPb_c&hv(fhWW9UbA> zdq}NYAl-&ZQin$n3Ijwq<9_| zIvaf$AA!ic@^4)qB4J@JAiyCB1s@^pL+c++eGEDL9`f6L-`i0V4Q%udbq~XPOpb7t zgsekv$EQgMfvAxtR7(>B7+c`5C(`8i{7!MCL<1YWH1%)S57X`y@%F$Y37Fec&Y=aN z)j8)j%cQ+)$K~+dX7t6r}D|e@u(S2~OT+fSJrhSi4PYSd%gpUX{EmH8au6(yPi+_1^xk VZC7Vo|E=5A+5fnQN{sq-003{a4Q2oU diff --git a/component_failure_modes_definition/cfg.jpg b/component_failure_modes_definition/cfg.jpg index 56dc26ae6b3307a4a0d1a0c4fe6bb53a60bbbacb..ab3ee506c9fa46d3cf29629abdb23630223bea0a 100644 GIT binary patch literal 19107 zcmeHu2UHYW)@~s==iDR#$skFhG>9aTsN|#qk_03Nfd-TySr8B;X9FN0IY|%%1tjO3 zGfj@&uekR*qt48|cjnFizcuSky9%MJR`))2PVN1LeUL-QDS+sPyplYCf&u_2;6DI4 z3djOj7#Nrs=vbJTnAq4@ICy0Ec(}ND)Fh;YWOOtP^mH^32qOzG8{T_Nqr%6h5@3Qb3H;M9E~I|rwb@D&kJF>%@J za`Fm_N;huZ*3#C|)zddMGrw zXZYg$c1S{}?HeaC4kM>qV%}Jfh>Y;%?$osT^b6RH3g%54qI^L0GYUH8;0sFK<%7+w zw;};Z=2ZM?G#xHt0=k=VV;2Y5K>~-GCWO!>VMFJ5TNB~E9dhrZ*@<_q~3AA#3Wltl7B7p$btsO+b=4o;T5}17sYm7ehKmyke z5UOJ^c>696J8Bmam{#%vKQH|e5@54~9?mmtW!2HczSbgvm~w_w$Jz@a{}CZ+Aqa*> zmlNGWxw&Vz*KNI&J@7axlJhbyXR^ikV(RaPfcG^Zbw?Zt3=MiCfns&cG!0#G-dc~m z)x?5$@0?Z())3i?#fC?9_uA^IkK}tK>k_Woc>ZN(aoFF|u6u5`e$+R9e*EBmm%3Xx zFQRt`LpM?Oq_$Sd(Bk2$G-NZ6hdKhgigc!GS9DmD)9Hkfx|FQCAJDfOBtvp zR}*zcHZtKnYn({HGES0_Q@Zgooi4&}uJsQ-P+|4q4&@6bNO zY65Z?IlIoLRDNL|Y* zn5m~ENFZ7^9X8sEc&=pZXAIj?Mko;kAOU-ZV+~f938t#V)+X`%@shO^T(Ru%ErNmD zED(Cai@rj61(fSm6HjxO#NUpL9mm%0?!Pk}9hbq0-D%IW91*&C_XPwpcR%1T{@!t6 zR7Ug2S^XNrHj!E><&GqngDqNI?Ki7MkBUNojl6qV?_dyg%Xy*kIU!LLpi2qP3bLB zb2BQm&c89wPcCTKXL6tL2#ar|{3r#iIVH0aA_wD1UZW23*)!|1-cwjj#a zG9q6>>Z|aOkd2vx#wzD>9naW-V)JNrp0q^KOediTVjV}$f*xHLV}Ok<8*qNF!{j!r zoPVYFmccrmeD)n%-BB5r+Dl4v+uhOELOW&6$RUM>kUkwLfdL+Zd`KPLla8#$avd3A zy!3$BVEz~?ZY02bn#F$Pb8yjD;s#e#1w47AEnnFt^X4;shQulfhn27@=>=Vu^agn_X9(IO_Yf zyIqU!ynga(qSb2FSG0{fji4%I`qm6fytr%T>*1vtm0vzA=lsJ+8;g@)y_=8KoufeY zd)!6y=GDsL4EKnxvQu_JGGtL;x~?E_+gCUEWRFr3;&9vanyz~n9nOt>Nu zBInP@d9C7|1mVnOBrq4-iUepg5tQ~IGNFQP-vE(G_<4Rc25Ss%IS5biphv7AJZV`1 zYw;+EOad8BqtB6vGs+Tq`(Y3m)nxGdN9$L5Z$?k5Jex-XN_Ej}Q8jARRJyu=h=rI~ ztBfA>_hZ8RshYZ(X0MYve* zow;G|Mxse-iqvi9u${!lMMzcO8R0I=YtG|6HV>Vru`oclWuEwx? zd8GAJ+3u|i7oC*y&{W;+i*h(acT8Q;?5LO-!}ibXptj0JIeo&kQt4BlY{e#H@IhjjC)Yl(yU(C6rED&}N@dOFc&!=r(MC*G4yai}mg? zl<19LeW_B!&oU!J6;A21z}*ZuM0hY`lE50xEg+P(Zl>N=PF6fMPWm_V%rqpPgg5AL z-j4Rb^I3JHN+XB}`OsfubT?BftDMM4tar97T7&FvDE6G?SN2XNbXD)7u-!L_cEwcz z*ftl3PHj{nfAtbQ2w?w`OqgV_a zm~1$pBx%JXcF$;=i`2aX20=qX_;cP*J%~dxO%|-&|lWRV_Z5;gkB}8GI zwfmja3#mO51Zh1c68Jipjs&J!7!aJ1hpMLxNI=#&2njr_Shez^w8Sr*g%$4>xccH+3 znq_O;;IMIKLU+O6gv_|cQNAIz?+K&7C}V_^H2u@>YWKGq{`3EssfXVee1#|VAPScQ zQMd&nrj!h2>3g^b2GqcJ#3D|4Rs&nU9y_{nMPtR&eEi9mRq`)!I7U01_9S)Neim65nyIzR2w!1WB`miEi}WkM>=1OX)xwbmcY z1LNBFvWxp&Xl-;VY=VlyTJG|8RMu@%qP&Qfz9S}8S}6zItq*u>*2DY0m!~zx$qZOt(4wJPYv=4ZHCfi&_v(_P6S!~E{{XyXpsx2>nw9cd0xjRLx2F~gj zbbt6o`u6C0pD&`o@)WG-j#oJDNBFb8P+EvN5V7Tn)^U|G4ReTy3jw+YglvrLx_LIj z^6tgn541Efi~3Ycr)Jtl|Ad4<=IxOrXS^#VMO8%MtI4CBD|+{%g)H@G9R;wuZ(qJc z@K6m^jQp#HG-UCVsm#$}f^~dvZ~Wt2l;oh305(=YQ%f2rIu4d3I)Zs@p}@%9v2(-d zo)SwEoqo41+ep*A907{4D740|a!EAblN~iE^uwmpYnx>!H<)eC1l7gu>4YoejZqhg zCOORKF0;BuUoA4wj}Nfj+@x8VK%A(?DLdHk7n^AaNk_kyXcHvG6}_czI122>U4ozJ2v8cGUccC$T!9vV8RgN{Q&1O9 z>h8~D&TDru`Ob;tvvi}FOG@e=UP)50kTXv*hxC9-!cRO^Cru~y6ht)%gNT;u&9i9V zs~1Ap)4o3lp>X@t*v%l515zZ=<5DPH`12dTT#lDadff8{81udr0%X%e6 z%nnklmkPe9#YRd}v4m2MZzF-XT|O^16K&%I3iEfVy`WNskYni3L_0afOAE#JHKQJT z&QYBRB8yrVkd!jHO}#38Bw=7{su|)E*g4Y{URo67cq1=udp*!7p-VR9F{H{K%fy<) z{kX1#uH#FU*~kMDIjebYC3f2Jc#pB>*Up@xQ+R_0a)6U(Y5+k7ym&=m^m&h+&{sGw z#3P4!0W}3{yXw&%)!SewVWAGWqc6vKRYdb65*cNx5&Fb6arUoHs}IQ3(Xn?! zZ8}hPA2lo*C_k{xUa!2d4prsCJ2cR)G?E%rADpc$Dyj&Xxy)Ur#`N?tyN5`uq+b$a zSE-A$I;Jq&6KxfeO|=sz?&1}-SF#U_!kYM!7unj?zMuf~3DnE#%2TVMOTtPnbQ-LE zg#i_$O}6u`SbnFUe8Z|qM50v+)hchY`Lg;Jd*EcRkShB+9qLm;a)JBRAWib7*X33Xg!7>9X2@5yQX=W=(G13SgBZ$;6 z!NT?Gyl_=9ATC87%1DBR>sk(2bNs>Dleom5MgaT&@v6%DCsDFC_OrN;+%p5QYBW5b zwbBIKRwn|0DM0k2C+m;3iXF9Rkk71F2>%9xTt04OKrc#^Rhg4SFk(zcguZqL|H`OB zeg8|9>UVwS{*+hBHc?044`Ds*5p}5W_1QE$(NTM&3$wNy9Dyawd%vDglS$dAaDs zWT^hVE8DY0`{D9Udr(Zcv|jDhVx7Ght}tYuTim-bAR*Ch!TO~;J@gCd+nc}+Dno6Q zbZa5At&Gjq@j$DNO&)Xi#CXBT<{6uk9 ze!MPeYBmVQ3IA)Ho5LmF;&gLJyq`Nw*5{>Xp6^|h5l9#AWXb%g((>SiZkhW~XKQ*V z=1nbJlc0ez@oFO(`iT8?*Fo5__>DHlw_P;>FCTswQ^nR)D7@gy(s%mso;yZr?pPb@ z%Dd%B+vv-8?hC$kL~q*oboAj~wHvR1C#{dr;D#48cSzaR<*wEK%cb?K%KB^F*Tdc_ z6VXAdput*JUevCpft_?l7kiodNi`Mm3zh}gcEZdLX02?8jvPhjW-%=cy5);UtOSDt zVpoi&ayA96-;MT}Zn`Yy-T>M|Ka%QOL2YB9tnCThm7KYHA9gQgKappR{;X)A zr>ZzVCf23u%fA0=4~jivLsQz{zZS5*@qnZwP5pLwF*RxsCZoSR|JSeuUw$DNLz~l; zTBkf&n&p8)%zgKAd8+~n9cNYSCQ8n1hX^W*fil9dwT#lbN1r8DmET->YE~ReoMXx{ zO3@M4K03;Hx9V}yy*GyLG!yc5Cs&8d^t3;(`HT9U2K1qj1Zk7p7dA4RP*F3 zD8<(>>*u8(o~`g7{TxA9QW?$2%-tORG1R=WQ*_3cIjH4Cn8!+(7B^H>=+G9Yf#q(l z$9)en#-T6y(M16xo-r}Y<=HmRR@_9cMC%#pPKX(HTzaP2qJ>(5AZ+`;hOOy%pimwf+`YA&^07b z9(l$dU3;OX{`#T)EFXd8mX)|#GpuB&q55;^2?6D3WhlMgQ^{x#VX&0^s4D}zI9%s; z!%yn>Pf|DPSN1~a&w4k*k4kqMp>zgF-hR-#g+c)Aj!L5LMzA{Ixjo5$YTS?b|FU~#h4I)GlcJTt%Zxs z(7z#XecrQ?+C))(xuWxi;;84|1A^f;;2867?ibe&8j!+|=WR?sAV@2=B9il(JYFLK zYa^2tlF1H-eFqF<>GV2v#g#00M6GBVLB^i|l^ftN4wX+?3zujZ_Urd`MkSY|2I=aL zhx#cOoDlFS`s5OYQ`Y)(ZZ{o7=ggXRS(;c4M0NK_cM;!b5j*8=3Xu_v&t zZ*xg933?Ydq1*NL2r^is0ccu04MOOwgG}(-R4V&0fz}16Gqs=9AD$COd(gGG#BgK+ znie?U78lRCwQ?P#mR$SbQu{mM2=>%5xeprltnXbFoc`i=#SOcT`5V+F6zd3;CIr;qv zJ&LYhvnc|}FQ}CLaDnNnMXL{QpO*;!q93ey{ef_`!BGLUG%XdInyF6Xare{NtKuL5 zF8VzJ42st!2n&-Fn$7xs&~ZGsCa!N4K5=278nQ_&9Olget%>$ji@2NVoG9%abhi<= zQPzLG1?%Vbp)4Un$q)vwf=;`ho*ReY4QDBU9*%>tpBoszFVFouCBy&JnCQ>FgjzTy zVmkF$wND$?0GLR5<)IRo%5a7=oTn(V5 z1ig?|W-}|nRA%W_!578p`$?5V)1B3iGpInu*iY4aCNl-gE`PqfB19}L7Ux%P(11pd z#T=%NnXtTXeDP2(R9S@&K|+X2*J+?y5+QNodZdARF_v_Tk}te4@}u6(r#& z!{)(6#etGZ+lq$K7+9EAavozQM0hXksgMae*j6vWc7|LE2%GWEMyo_d@`IzLEkw4t_3 z-_CU4T#FV)c~M3nn-U_fqhQ!Kf>FX2mOgk(r%3l=Kz=|`?^sblGIbyl5XB#s2^{rH z39QmTcf$QmwiTWEPTavV`IPG`n0$ZIe7>jV|H|)#e22?3n}-ULc*nNY_fGW2A0&AX zNz>anX3=BaG-H@B^B!4}qB^WbkgB2TS!md;gyf0E})wLckEiNcc2h= zOdWXkVDPC`f%2u~+~s{uBw#+ghM|`p!RBHyMb#uWrsd~Q`F#C@u+ud3$=)Q|gq3F& z;aO&ydyrb7atRIkBe544kz6~1g`GN%Q}|!Lkg>C%j{VV{{xjzz+?lG%<0fX<7yNH? zusE`tyD*~>xid!a8{0#DOAFDl?GQBMtq|1(gK$C(C)S!Q1z%Isoy=$q#}E9>+!uVk z1ww$?QxQ0+@}TfjA>2vcpyJ4JmmecXgnu9;qOvMgcID(!mSk`Tpk1+nefWK;{HH}PwWU3@O zOBmpk^jwP!W%;=_G^j=^-M!$;xTR+jWl`ZImZJN%B5l-kyo9O%hQqUu5B}m6{;V^e z|NTe)A!z!4FE{=xzdIo$z^vjiV{(FS1Y63<{E)h>CMk>r?z}NMBYW?@iBMX63R@!w zz2%I=$P2JG$*sXN|9sf4=2uLa-zygX8!jz2G*~U+kmqe7fA>DaFTGo zGyj76-CG({YDa7-G)Ul`Rv{upA6WWFasR9D|M8<#4k}rK0`8O3(~3_-d<3?RTus?o zR<5LHQQd0W`Jk!z0aL6^PQxhoj~*qRKedJ!>9WZe_W#s6T8dJ`@2}CJ*lrafNpqhI zf6VoY8jZLC4fJ%P{|5K|4buT7u^&6MatZQt#;gUFzphY3n_REXDpPv?DKtvpHpDL) zDqd*_85sz$hr14-yt3*xq`P8C54}nrwkgD_9=7NKOt}aT!0fD2ca9iNz0X4HkCDKJ zx8;SUxGS+UdPJXmDWsb?2_7o0Co#0A8rCIDqvX1$c$=&jUi_5CjhA_kAytBsfo+0{ z@!-LtaNqCdoWGZczP*PDovjB~3&`o-X$>MmtR=BQ47bx{vX4^=LTqJ)2++(;agRqd z=$IUH+8#--;1o{GIQ%^yedLMLre}!+oNZ=K2EA)^JwBSIn8<2|xG$|usTVRXQ@L#-R zHAEI41e^yDhL>a_C{oW9jm1E|1oA|SZ>X9FdK^{b1eRwQqBHVPAGXKj4uVlMByg7e z4Vb=10xQ?xV8KQLC*uEk;jE@@MTWjTHO)1e&>NoAJBwRiTL?U6f`ncS;Km6QZJ82V zWQ2q68JULkKRSrJ&_uMiN5|wKUvC7kM9AS4fQ}v^8gUC(*TyN~n?sGwJ!nvQ_vlgQ zAjy)5L*V-qm9%?;v6oYFANyZJE!7E4rQF;U>I$gpm=74+kJmV&z2q-TTVN3exjbh^ z0;MSgnOF%Tck+C$Ko9I)8oml@YngaiUKM@1m0QN) z1eXgY!x_j=-#}Nq!DT`KJ;4Erw)`7+ZXOzB>P?QQS-CKz)=|&$S1ov8wWr9-V8RP# z&UJ|Yt8e&C714(Eoq*2<1hx;--+#|o^?XkbiA+{k7c{ z^qJV6N`gEdmjH@;Xnd6rAtS5qAuRk7;rZedh9F{-YH#5id9OwSd(5!8aR#^>_!P>6 zQ(W~MWuMsu(?U4dZR!mBI0?=%EvQv5{U#iQ)`QtV1fkN61SnyMEc?@!-{b;b@WED` zJQ7hjH3I$QXZ725zT$+xR}km+Y(-`|OEOKY-0-Ke{r4x7J!k}-skmNg%F9qU>B1`>K0sSUH{R=}EDTT8|3U$#P zK9YrV`#@}rOx8ucg)MmNZW|m|erV$wI#`wibpN^-gEU=JC0q#yi{^Z>UF7K@_JyG=Hqqo(DBAWeXlL9*7<7*cuN?L zx$~Xwo&3^tv44}G!Fcf5GzOf-Y@I(BmZ)k3ZdChGjlNILmC6-e?*I#~mWsf{BNZuj z-upYbH#g(C-I7u~Si+7iP}8Px%B9aGqth|Iv-Z>zxAQqf0wTCbz%dsw{!4S~Z_Q2T z4NiamKv_h99R$&}TdRl}*s!pgyNEuG+`;cAe4o)F5NNldfCoPtF*rC2nwYufh}(258iN~D?tX5 zCrYz*<;cntlap&4)7>Ym`cd;*6j`>V%ooQz2Zdp26IP_7vS|k6`OoW|<6{hz@XGD^ zhsa9CNn;r=Usb~q*HXiGx42bek5zh>7}(2GsHtg0+iu~!4Uec)S7^VC37Rz%J*T$Q z>-xBD`FjS!%3>@^p=0t_USF9M3>3ZQ$-nwcf1f5i;?)CQ=he|ipB-;JwVl_aWX}7< zqC?{x+MQ!VV>Iy;CN7n8u)i~6D4kt$`5BJAL*T8)fdE}@i~)ke$lUoPay^~xg&kGH zVsOnY1tqHYp)oAn!=_5>>=vM#T?#Em`*mp^BIc6bjj{Sfl3 zT&krw9{n2 z7~kYc(7BU<9na3dj>6(gKnNkSv8&|6*I(85DfJvlNv&8R9{tSPUy}O_^7I08K~Do> zJL#@s10-bC@-L5KA@mR|&w_<#;ck;Bte)uZ^^bR<B2@baX@s}Rw(5h{N{RFIE%nVPKa}9U$Y<6Q7{+r$NlHpOo*T$NU+ur& z9{&yS{Z4zl&^P?~JMHn`;OCDv#?S5X-vHeKpLj z@ZqnWCs9$a^@0Js=tr8pMih#}5OZB3g*+jY4yzQF{?fcVecVFqql(FXAy)RTs_+;; z#?bp$o_#`ZXtnEicQ2H)y>%jLERwoN>pgKZMdP_kWXEU;>_nnuU9aj=!i*6{W0%|$ zD>oYNG~IjEae5SYakj{sNzwh`$x{#uy4Q*Bw{&zfy1&Fhhl#BxN3JbCI!lX`9K+hT z9Zg=OJ@B3wPQ$m7beJA0UBi-i>yNU$ z!i9CHqX$y`^_hKC9h#_GiaMK@-u`2wYdcr$#^1+HmK0KbRKW}ozEt6Vyr3-Oa;Z#M z`Niyg_7KL)Pp;jj5XDkra&+nq0fwbGy8{yk7nTReQ`bJyV58O9pYCjzZH`acjm@S! zAAq|C#}Q2kj|OK~o?LuY9`j}Aom!mfXsrRTC4Kd(+?|yaoZ6bInwkjr)6I3iywMh3 zb6;`qSVl7|<|d};V6K$mPQ_R2HEfRljV2c-MlAQt>nj=TQ`SCZU<5M=XjGJQ^7~$9 zzc7$Kn=IbLBV~E9s#5vQtU05yUd<;eX8v)iYoiqm96*$#D0$Dvi=Rmp)BURgQTkpr z>|sWEM+$#3IyAX`Vl=+~Mz4*3ko1;6hq;-y%!8=d`#3j}0wpolS6fYpqZ$LvZ$HnQ z$Q$*&`hf*6(hKZ{kUHn~l}O+RSg0do2=15qf!_i@5?p8UIRxoeYs7{mZF+|VoN_I$ z*lK?hzkZ*E#6!_k^HoJs83u-$p?2#}S?HVD^}|k`|4irdZ_U(mnqx_#kFpCx*ka7OyiM{r+-6!TXok8&v34=4JAZn9@pM z%RO_mfM9MIQ9z@$z9p49p@CByB(_D7FdPQ!;yrWd zd^Bi!DcO`Sc|mWqKBaxf?y1^~&*9k>bK#k2yB~J*SiZi0Y9GFvs1-UMrz2QeMUBgW zuDWKy=&O)}nGHBldhXX+O`ny_pxpG+ zy_VX#@_v%7k&Ns6J0`Su#Y`*2pV@tM4dcKBwiQG>?0Ld78n|(7fWZ6ru}s&l^maF$?p5A{Oz_#i4{Ju<^zx;K6;7ikN1Mior#bqUrC2HQd#|d{8kfCVjor4$Du2Taf!1`!< z@T?gm9m$rNAM3Yu>gZr&peCg>5CZ(v35YWCV6&z|Pnsz-|n155bpeu#4w)b)g&$-54Ja0z?~zqbhn z&-11q6qE&R5DnV(#~e0kKXjpfAK-aB-?GJdJ1P=*8Gr;TZy^D@b7uc1yiD-^fLkNM z_7u>saDbk%>9haPsGEX~A$@r+dpq68C|cNt*fts#K#d?>`{z=VbnT4=^ok zE^4)Ye-q^9#Di%%FHg-&5xrkeuVyJZNM5N*4d&tA@QNSNzcTr3>7g{ZiziQX=Iy^r zVEkvr)c-lD^M4?cze$izV2b!o8g7MKG}*s96fp#o-IKu<9eVjx2fi4G*P9V4MMWd4 z<*}j-bRPjXdeDN1_Lwd_LDvWKOm=}k2uOd-tN&1~NB4j|6{hVX@G^@8bMKQ!hW*?o zO*36S31$|fOci|oj=+@X;?k+Z{Mj%wDX zFNa_Htk_q|C;1I8Cn%ll-E&Uia_j3FnKwwKJA`niX-) zl<|s2f2;bVyi?9F1dVo|o&AGSBL!8PGM&nZz81~;B7&c6sHWG5k`zA!7%o>AcR)j6wdt7q8weVKki zrmgh>{=TOEL-b_#c&iH3^!#7BExUOxL-g_ODL z&sa#1l#~Z z)CkopYo|P>=C9@Q6nGlq#O$(B5?mLiV^hneZ=3FQ2&iG}C3DhJ6>KtIHc^7%H$Mne zocEyX6yeZ>x;LS#(Vu?BpwEYMjw;pG`|IwWTBXa)w7ueXqF|?cLLB?00#AIcZOTde zWy|1$sEN^~Hr^PioJ40Gs7>>egwq(N$om&C#v@;{q52ZY$GDr=&JAiOcIH~Jb`De# zQ8_$ZNq2i^**UXmGl zx8srysiP;`&bdu6SC@<5;Ga$eQW9$KIqtL!tp>!g>+gET9}P+7DmgZ5TyT^}tX zx+1{ce+l{8rVsVzEhp`+*?!OzYyCw&4?zj&G#zkJpG%3!%IG;N*6whx?{lCKKyAFS7ov6b3Lwx*a zQ0l+q8W8D*5>LP^+^x5}ROf=ro3SpMXT|2LWc)3xPo zJ;~{{mwHaTfhc&Y;4_@3EhC_z&dmrA$zg7P;mMpMu9 i@K|3k!m< zzz>8OhAu#a`1l0)c!UH51VluH#H7?@q$DJy^i;>mshJsAS(q7^m`-x=ah^PNj-82# zOZ@CP0YMQF5mrt~83`e2K4B4|qnlt65fPD+kkXNn(Fw6Ju?hXdAIxirk`P+NZpFbm z1z}TS;ZR~>8X;C-Cmz<%AL!Q)7B&tp9zFpf5itq4po{{-#=^nD#>K(I!^H(x`+)Nh zE+rlno1i@Yan0KVryQw;{G&4o*%gZ4&|H1D&LM2<6hK5wdxDOh;q)0!uCv@CqGI9_ zl2R8gDk>?fs9w5u{f3tIO&wj6JEmsl7M51dF0O9wa1YPB_X30N2R{gjiG3IspYSL# zDJwhYactVPNp%r=iKI>6zKN`Gv)$jm@p? zFFU))z5SzcVL>>*3=91JWne#yixP|r8y6P`m*8kzSlI61z@fy&V-v)ulGh}-?Rfl@ zkUt@{LUd;F8zOe$tLrqzPVb0mIYcH;ZyXKn=aKz=0}J@4M)upl{%c%A5Gf88SUem` z2nOx$b7lDv|BHt-25PCgA6!4lzaHpdmnNw~2NA zf%gRrl$DNw9+Dt7vYYBRwdBkCAPb)Xj858MV#$sdf^zJ`G|{q4~rh_|OV$k8DP zv<5E*YOci&fwnLZ@?squ26_knQ#)Qg@*M^uOlXAdpT$6XaupbeVVjr>rw0Q~QX%hS zAVnAk;-bYs)5@q*h7=fRArAx1VvnP&d$}^m!MS^vr&tfEF%T+44+Dk&U|*43*1v;E zqLBrW%t&R;^^w6eDRh5X{lJRNnF@4U0BO#>_`M)?MfNb)&rP099vG+zwii>sY+a0j zJ}uz%a%EK_SVxvT5%=uNWcaVeG+RsP+Q-n1cecp6-}T>~^OFksonPcu+k`(lYlH0| z7`wM2cPy(C1Chh4S{f4)%6BaGN_`3&!(0rPZaPM9ewophm&1eC-$gScwVQ?_!|cCw z@vOLOBI9>x5T%z{C}>XJraSf=A+-|%7Bw(^O9}&h9Q46JFEy|*5b@>7`9qTNz4MO1 zwYb3f)9YL4z%^9rE3lYx3)C6}z=__*Ai;+ob|+` z#+t`K>p68Sh~8QZ6kEZHa*9M=H6({E7+|2b;YhTkfxjXIZh<<>e?NVjA2GAif`OQ_ z(bNeIJ^Lr>H{GT&P=t1drW_06-_)c8l=wT5wPW7O8#}Q%!-r|jOBXNnvr0J0b-S5F#8sM4B{L4|<4;KxVq4z{ zHEOR^9~G&GNqaw0rk`ikg+{U}3pkt0bt`tPLrD(wd{o3g@$qTWaF||gf;+ul(USHf zycPg|x@#a3uTEyg(43fU*k(`jutKcj+BswTokDq>PV&+(GkkK>WsqyB_L(t3v1fVe z`9p1adR^v@t`e!5!8hX=9nP{tvd+y!vZM2c47xem;a<5*VnTW!>oV9XFOrLJ$(pGZ zDk;fvH&VX3LkuliJZEI3Zt!y4an7@%-K@>5tx$~?cBD8-m3ea_psm3cCNTAM6keI# zR~CtkAHBJxCFPw^{Kosq#SoeoubY<%M+B7Q=~t4VC9dbmqjoaFZ)2@1tS;$&O3tU1 zMXEKD&+1TEOEnejq_UJfMLNCLdtdD`a4vRY%r$r6E#}1+=&A#gI6^u`Ka2Rta8q4vE|6(YM?#d`YuB=C5AZVz=VELTV&MK zm8ANa#!CHumoKhz*df<{M(pE;&ao)pUC$K0Xkvg*Ka<-9=fX`Ar ziqn@I?E4~+THb`gP&ZiDQ;{%qP%ZcpUjPGbT*oRlvE_Z7;-KasGZUK9<3MqKQ~f-R zc0>wR-^Mcs}B)Ou&6;pmH!z;%zJBZz;+Z}Kp+J{ zb_~fzAFn6CK)r*R7-*uI70vA@Mf^iB)|UVMWZW8mt2$X#u@Tr*Q{07H$5jiT3BSve zPbiP;AkQ@CCqos&m4W>i2RUp#0Ts6vT)#_-f!@1iMG_&}43ME1$f4(u(~9dTJB2|1 z>H)?Al0UewD+Y3e9dhb!9}VxvuYP_^+dC1(cTKx%7rR`&M90?nE!73)?XRVHqT?d- z;9{%I)ACv$rej(z#$2$4N{5yUjyL1fZN+5n`w8ET?pD@Ugq+2EDfDcG8{E`A<_bfW z8~1K*y$Mh$4j<>=@7!IC*vtI{*WDkNPiWX$+UUtX3}4RFv@CZCD{LA)vsq9EpTzeX z)Kr9=PWTchYnPOj4~TN*-LzRf_h?v;&Yk0F2sz(J(@!bek_&m$7~}ld;WgKfR;gQ4!KeS1GUQWmT?W zaV;%x9x@nySlG8c^`a-R%sQ@b#g)wWd@>_ra3MQ($DK{OM?&{wJ+8IVza>4;)&}!& z6|Q*a9p5$vsu1en%h`V@PD0lyv^VDDor8K!fwdT&7KdAR>{Z>}>j|14sPr!(_57v9 z#%?(Tvvvj(b`-OFaLiVAOBBBR8S_!W4R6?r>(+Q}d3Zf3Pp8nktdOP>G=2IZtrOg- zMY8$5r-M{Dr)q6!zr8D&vS!5U+?+%vHY4JU#B^At26YLQYV-ri?Fr*@;FvXQQzI0k zdPv!^DXzHyLuwt4=+?}*{`Hqr5;O~h@1K=Of2^q?>x1eync^Z(P!tdo(dxMJmKfr^R{38T=a6ZuSzPi`mz zx^xV}3DeHfPDh=?K#7Cs=IXV>7{Bw(PCIJCa{Wb<*DY-eOcQYeuD{G=msn|XcKkec zvd^~E>rkh3xSCAqCY!Uh-MUP*n%{jg_WO*%1gl?q%3Su#?(gJ=`{eDVX%7|5-0d8$ zwwvWiaZE9*JU|dzUE@o@FM0mP)jYSxsmb2@juDkK!l6}HnG+YsKSFL_121!$k=?yi zXDpeu>@f5|+1P`{?J(JQ2Lsh_+6`Aon>{sv_xl9xd-2Myn3UAgI^F7GpsRT!)%coR zK=9xbE~)3HSU+t&d4Y|qTUCGz^UBalA&6csaWS(x=^i9vlm4$#sB$6=@C;+$8kpVn zd3;#GYSpiM(79Q+YKJ@QnC5BQ?XxlDcTOK(__ljkJN{;&`=T?4kOGZ+Yd3Yv3v&WT z2Yi)z_OR<0n#I(Bq2r9d8R~nOEc?|^clul_UrIIQrg+`KVFs?-9|y$(q(kE)Jpx0` z!^4(6nI>GCG|G@Z)+W!&`Y9LI>;`S!(Xlzt6SzAMT6HQ&$r>l(I6T+6u+`LC@Hzb~ z_kB8}WS<>N-TB0hk8dK?a`Kk!a%2iVPleMoXJ*B;n(utWzR$h#K`q*J%esi6%gNik z)GFb4V!G+5{#{mayuqKUY{e&zAk0GyEP)R<9ll$;G?p; zF`sk*39As(3&Iuz$KBLti&t6k%?75(0XZz}?Nb?@*&br@NcTFduU;AO<7DA4303@1 zMiOie`y|MbpdiXBDDb@gj9wbkF~^?yE3YZw}7+1~qE55IiE7Wk9#Pc!9n z6WbbByqt(S`%z@>?s-c)v`L+A149K>iq2Jioemuokxr=-&<*XAcgJzf%Iu_h?BQwb zL91q7J`Q-%G;WXl0*xnTW>A&gT-f@;jnPZupH0P55qTr3Sg!*4DG5^PP73o4*ciQ> z)gu)@#v^=v?D=f+?@&a@XhYB`DO2ld*){ zylAX*t~9Xh;Y@^nL(297cBEDMwe{58;%EB$2CW8Tb8pTK;o+$avqecbI1zG~FcWrL z;2c-pKqUxU4@%t=EKIdpN0^7Ym?ce`x?h|~5p;U0O*a|jV{L@&Zs*aPuPLc3ttzpI zzkF7c!AvN%*ydwrLG4R?#wU`^++{8P1vA!bC8NovaW-|W?7^%hqWQe^GpGiM=?E-l zB*(hTZr1*1jSsYHS0`7}&Ij|>yqY*TpLhyes8eO+X1QLM?GLh!H3l;EDe1nu;y8?f z3c@vg&0%XSSc}6zAkhN?$%Ff7?G=Dx{baC@xHR&zFB=d@0Q7A?tVbS!S$iOmoMGKF z1Y3X@+9u`!kav>zNFTWf;4Tk{DwE2n)AdLC$Rot8?>OoReia?bBNad%IZlo$0*?)3 zU5`frh@EvC1H~O6){lr{4G?Uo#(`k-6Ku2I9!>oR=E(3&od|dB;v2u#C(G30Z0?Xe z6(@S&4UDUEB9z2sk;i4C)Q0_FjU0==;t?(X&ZZyCfjseOK-&G@sO;~|!CIi!K9UK( zoukO_XGen|10<+xAVKkf1jTxo_QQEC*>Z39sTJi0hcWnx1HORuJ&_2?MJ zSvncIG~vEH5v{DQ+-axEV9JXApgt?d^6uv;;2Q_Z1emRvxE2h=n2kPR52Oh?#O9@GAXxPhWM~=y zX@aBzs3oMZz0*J~Xw#JVR=kZT5-t99S^oWO!kXmY;~A$!tkPqkoE1fL zl=#5*8YK#-A_X}kK3UBOpo-{+C6~Wlf*TReP_}0I$te51(fG$ac6FhL47*{z zdr*f@udLCHb$t9~w<6(<7C%=6gFZa6Icesl<&bZ>DgTas+H2D!x+!-pU#u|U)TWy! z7!$9I;AqPpN2=?utIZ`mmBT6HfG5c}Gv4H=~#{a{!k$0>hcf?9)v3H3!#_(cwPPyvC*3c-S>rDPJ zFsaI0OhW^K_8V>kSoxOkZZV5lu)t(!!q!AiYlO{vKohQ_0|-0I^sPNsl+R&k{XPa- z^|8QSh!=~S(xGVeqm^smKIWjZlET`aeyc8V5-Sg$=3}^0bgDJu9BH;OYx?;Utej(X zCwFb;Mf)|d6siBIg8(*NzsH#dg3gN@gXj<|X`&-%Z7|#+E(6YbSvdkEs5E#2`i-{X z{@Ew%oWNVj5Ffb*fwS^LE`OL9wUa-hj7$2Lr)yrU+lLjd-05!1=)(>E$iXDw%|xL* zsRf&~#6bOl)9I+=7-;9WEY^pC@=01?NKOp2e3a_)FwoT#5r}nlP}KM>AF88s_?bXR z1lhkN8%>*jsA3=q)Ik7g%)cfvUf6zAjWY%cK%l!Lk-CU4Z18yu1UA-T>epOYih-6C zHhR!tum@8Ae&&46SdR>Sjxx#9AJh3Xu5%c_vOE{G&&CvbD)1a}kVNx@mk66&tOYFU>c9X4t_(QT8RDwu(C{u9RM1igC*SsODX}D^eglX)WJa4 z*1);~Nb?b3SmF|N-uTgy0^IZBEB2%@KUA+fTG$p0bX)m*OU`+pd~sy>!hriuEHHe2 zEePHT3|A1!i;j{&EwTFeBjH{l?~U{{=kcJoz_ZgZ?_H}P`ed( zF8C%+AOSrKz$aHj8rE-Z>BCPn44$BB6WLsh@8O6MG;Q{O(wFdTXI4HWgAezR(@-kweGYh}6iqLwnWyR5I?=a8_ z1Uknam7H3VdOl7kN!!bES9BU8>#IugRO*GuPO%Rh_#*&BY0kPIv;JYd>N< z|DZ{~(wl#H@Len3s?%MI2!03X{<E1FkvkEt;oenNA_CNfut?ptLh^RVd@2 z^QS$|{z20}*z?+q)1y-DTD@gNywldLuA$TsTC756Q=JGNLvGiv+d2|UDkq7Wste>B z5gM-f$b3#1bdk}!F;IH2a{el%PV;b@!16`E<_0$ZcJuR2DO+idAy5YrP)CmYz;P-N zhg=aq1J!AJ094)4qd-K>lKMN4Do^?k@W+Lw2e}3ug3C$tc#FpHdqV6PREL%adpkO`UM3L`kj>N2%za z`Iwp!i+=2h)dm6)?l@7IIwf04f5yR;tX+q)fplr&jXjOr3sP7q`FqZ3!eJT&roYRg zz@P@ze%I7vdip}2m-`;xt}dKV5?kT4?8)yw?|f7|y7p5=TAz9dNn*`n-}%`N=6TLE zRd(6L*9#KZ1-)2DBu<8 z8&eJ?yF#jyGp@~3!u>arFL&rG44i+)^T^INhh8<)VPU$T@=XTOlc(>k!~{LYOlPY+ zNb|)OuY1^h9AZo(8WAAB6{%bDixBYr=ptJFPwCUkjj5E5iwl=-OLIJ;R)vSh@sDp&P4EOgb^vdKCj1ojE;$= z(X$t~^jD)jFiV+*L^73fR54MhhJFwmmZJ2`?k{CgZyCk|^6ix=Y- zj<_;z{Y=z?;m!sIdQ7FA@e5wj(cP(LxodCDt}|+&>grV9+hAMbd>&hwuRX&%FTX%{ z4rP)xVjXRsaTHr%x*w{oL-YvzV5M9-Q8 z#;9c$r#9(vx65Bu7R_@nu+*Yd}-Uwa!7cdfyIzJGc6Eib|>v$Vsy|6zjCX5y%H zjY;8k%FQsW#rJ;VrS*((FRg%0YagwytKF(p#=Df^Ps1xZCnG4*!aQfRYJ;*(p6ZdL zO6`noj>Kf?d1xuNE(sCQG^d{0woGbHaL+RAj?Aw;tl3GRIBV0%p^!Xs`{Bf-AA#k} z0Eh+&I{LEH2NtSxj6nh(Q~VN5fi20i-pO0ls~chNU6B6!GA|!}yP?t3n%1tTpY8dP zRxwctsI$cBNNZ*nMqB2OS<#k*0X_;JZL~}`a;M>3P&0x1l=(0mTrEj%sJa(5YE{ym z;HYLhOE}|8cbChTfWx+@`1zAkGClS6IX||(FCqgr&(p9(!v^v?My@|}6t*=zeSOvm zK244FVR4N2ov51CmTFmjg;$5!jgMy(Oxp?CA=Q&OcUy27h6^t@XjKiQ7Z{Z1<*iEH zbK7ilwOO1|J|!3Yx%361CXeo_fbyxTq2G8dPY;?F(Fy2~iT*CS&A{J)f8vn5NjEKf zn!Xf9hk=ZTiXPZ&761Tvs&ZuSs-bgASOC6E?E+5!N)7+y0q;dC+9cXUy!CT$=Xg{G zek#Af{Mww8Q?^p{+0kbFzNZNGLpRY^4EbG8(NSgSyLO_lF!KARr|&zQzG^ey_Blm< z-{JHX)c&POI#ucSxAiTjeYBPP*2V-BL_fT|be$!`j)0~Wh+u#E1dA%Il#r)MK2M(x zAI8ZA$^j{`M>gI0FfGoED?5NXh;Be4TjNQvz*7PUk|Lg{|6x9U=&rJWei!v&QwjII zO-Q5JA4Ze1n3>7Rx=PYNF#rCcI|oOR6~h}v4wiIR{Ji@oPGGEUMPjjg#ep>pa|c#ad6gX3_S0SnJNz3b@i z6XElF&ExK|oDWTzO}5;Y$I;!(2U>Oya^VT`FG}9sX3%d=x1gmfoQ+p}q)>w=i2KH< z#vD#S-(r=UM*U%ctJL{)^Z^`D^z>SAjv>h(c>rX_t zw$8INE1DzTp7lCR-mw=NMgaMBC)b_H17We{*tcdo-6wM}p#7jURiUR*Y;a)3s>i2D z@3LJCZA+WwsVF3qx#f&GJpo9`uC`OP^ddX8)_Ig5ZSgrBEp$Xi*O0iYioz-#?JH0SUu7A4J% z8&!xMNOvVy*q*Lf{@g5hO@2~MweVzJWlXQWYC-tbIf+jpr-Dh@DB|!Uu&GpTrEE|6 ziK&N_-p(!Ct8xuAKM+(3kmpavK+>p!>RtEY3W@p0qBZ(ir|*e}yG@<7^KE@DgG&N19x z_CzBYFA`cS%9CVt>{peC=c|Rd{Idu;AKLM@hZ&I)LuF6k^H)kk)sqMd3$HFAKdDd+ z*bCtkcDgH3l&=!B%W*J8;JFm5yljl&GAhjUbLDpMk)L5T=>jG96CY#;-My>^oPKg` z?4JnH(V>ab<2bDo5R=CiiB;{nG1z!VAT#mCX>ReSViV*JL^$l@IE!-RS)fs>5b+&y z{m`rZ16788;L7@V9-;$#&zvWQB z%Z*qW{f-{CtdIGF;5*-<1CVUl7yWC9ps+f(Jm>k=%1Rsy8&ZDymVDXL|B~As(|97# zhKz6>m&KLauQt~Nb_GQ8!;9xIIsJeVJ}T5nw=*j z`28d9HpbZ!3wX9jhB>{^g3Ik6&J~HQ7t>8we8}n7rI+>Di|eN#B-xyqxZ5XD*c}3G z9vr9{z?hJcTD`oDLl4zy@)cg=FqL-%Nq&B*7+&XJJdnTG%Xxo$uk?+FOxgq1;IuLH zs^m{L#UwX|bmiOeqfVOPx-JPDRD#yVFwcjZH(MB&2Jbd--m*}7yc2(HAd9Ty0JZwj zyxk+Q4IbU$lRF6z!F=6xa6`3Y~LhXBF?NstpN& z=A_9*wiXj?_QMOlyr??$p32N-UuxbPpq!JiL!K!YIqdrtHx{PoxNA|QHCnxnewcSOe#%fDd9 zZ|f{a{Pl0QGUD{0#ejWmgNT)JK*HF6CSgC2mA@uoKgzcHc+TkaN8;?1;Q^jLVj(vJ z=XE+@wxUPO*6@(J48(^Cbs(iN97$$KKCR#K`v$uJI1C-AMvj5-dO?F7C_@q*HPF$Bz)&ZEn9$gZ_4}qV<^SB} zKlAbr_{*O+8CIzy<)v9c^LOrjAmM_3#-#o}msD}33Tq#J_0nShlxk&b;>O1>@KrSM z9iW~U86*$ClITD97jV?(alk^?4yyqvz393?GlzlbZ4ss0Fmg+(Tk2$mc~c~p&!?Z> zi4U)s@noVPY-Q&@Ch_dM-1W7v{!PyPACflzXGF(;Mr8dvEcr1)-U4;~Z&6G!N@sm| zS(a>&A2unv5!Vu(H*$Gq#HxBa*2c!IYGw9{fU=_;bIZ5oFzbv$#1B#RZ&x)845!qT zwi?pu*#}{hEQ6w#Ppl(L#&dP(cUtX8CQ|$)SSn{6yF3Gbd0F63B!AbhZyoggNd;o? z*OvuI{-gr&^`(P9sX%;vcj4d6oY+*mt)_A68b%NDz#8Q|-Nky_gNsA)X}9I)e7 zr7|CGGV3eWj0w@kmh4fFTFD-|I`*?H!HBbAL2+e_$-}(bnte$tajPa}f)5h|0!J=n z)11GdbUkcB15d)+m@{NZ^ko-nDBH5j=FCB|Q`ec5nn*5>yAkeK&CWW{Hu##p7_uoo zC_6xWgw32xx8k4k@Iv>5Esu}8Ic}NI)UyVbB2jvr!5{JtZbj{xooZ;u4aApw)xG)T zS;{u^S>76va_s`%_-9Xsb!!`L$%L5+6S>)T?MA&KZH&ReYWtFb)4&iokZt>ve>N4kO>qS5k7Q;)dW~YQ92fbBt)hT#^IettP3mfz-)^TJ8bD*{TmL?Mp=S zuSZ#vo+sb4-CPYzeU0;aIySr-Mso9$RkRglhl6Q^UcQ`}e&s7u^Oas2xfcy#0FQn82HBE%hQ;_n&!RDt~WpKM^kjW3bSKzqGo{ z)D%K+8`spC59e655S-~l?nc=#hj{tE(B+(-{M=NUo}mr4GYF1WlTUvB6()0SuP1P# zbH+{#dx(C>Ey@4X=3G{I51;9l)D!(>2H~=hC%Cy|0hPn!q=xDRdP6#TR#BG4OYfF= z=SJjr6nQw4nrKuX#@nC@HUk=WsIkoTkg=vYR=RO@!?dA4ar4z2%Cn`mY0O-p#BB?_ z-CuY`u8pQ*^3ZclKWz{A?sP!=(46&+M+^I(Q^iN|9H6?xaW#lj50Rx*BHbz2ivl&i} zTqptwdiJF6Yq$Ri-vUir-5SWl5V;LY=F(G88a@wCUwRJ6wSOq4>93pY{2@v!s@ z2KkE6Z6qI2fj7zIXRqL#Ab4rVoft{#XY7OzDdcA;;7xXa0K9&yZ2SY~5SUN@2hPOK A^8f$< diff --git a/component_failure_modes_definition/component_failure_modes_definition.tex b/component_failure_modes_definition/component_failure_modes_definition.tex index 3ee9b56..cd02e29 100644 --- a/component_failure_modes_definition/component_failure_modes_definition.tex +++ b/component_failure_modes_definition/component_failure_modes_definition.tex @@ -10,14 +10,16 @@ Mathematical constraints and definitions are made using set theory. \section{Introduction} - +This chapter describes the data types and concepts for the Failure Mode Modular De-composition (FMMD) method. When analysing a safety critical system using the -FMMD technique, we need clearly defined failure modes for +this technique, we need clearly defined failure modes for all the components that are used to model the system. These failure modes have a constraint such that -the compoent failure modes must be mutually exclusive. -This and the definition of a component are -described in this chapter. +the component failure modes must be mutually exclusive. +When this constraint is complied with we can use the FMMD process to +build hierarchical bottom-up models of failure mode behaviour. +%This and the definition of a component are +%described in this chapter. %When building a system from components, %we should be able to find all known failure modes for each component. %For most common electrical and mechanical components, the failure modes @@ -104,8 +106,8 @@ We can term this a `Functional~Group'. When we have a `Functional~Group' we can look at the failure modes of all the components in it and decide how these will affect the Group. Or in other words we can determine the failure modes of the functional -group. These failure modes are derived from the functional group, as so we can call -them `derived failure modes'. +group. These failure modes are derived from the functional group, we can therefore call +these `derived failure modes'. We now have something very useful, because we can now treat this functional group as a component with a known set of failure modes. This newly derived component can be used as a higher level @@ -115,7 +117,7 @@ to form higher level functional groups. This process can continue until have build a hierarcy that converges to a failure model of the entire system. To differentiate the components derived from functional groups, we can add a new attribute to the class `Component', that of analysis -level. +level. The UML representation shows a `functional group' having a one to one relationship with a derived component. We can represet this in a UML diagram see figure \ref{fig:cfg} \begin{figure}[h] @@ -125,8 +127,8 @@ We can represet this in a UML diagram see figure \ref{fig:cfg} \caption{Components Derived from Functional Groups} \label{fig:cfg} \end{figure} - -\section{Set theory description} +\clearpage +\section{Set Theory Description} $$ System \stackrel{has}{\longrightarrow} PartsList $$ @@ -312,7 +314,7 @@ It should not be possible for instance for a component to have two or more failure modes active at once. Having a set of failure modes where $N$ modes could be active simultaneously -would mean having to consider $2^N$ failure mode scenarios. +would mean having to consider $2^N-1$ failure mode scenarios. % Should a component be analysed and simultaneous failure mode cases exit, the combinations could be represented by new failure modes, or @@ -348,10 +350,10 @@ A component with simple ``unitary~state'' failure modes is the electrical resist Electrical resistors can fail by going OPEN or SHORTED. -For a given resistor R we can assign it the failure mode by applying -the function $FM$ thus $ FM(R) = \{R_{SHORTED},R_{OPEN}\} $. -Nothing can fail with both conditions open and short active at the same time ! The conditions -OPEN and SHORT are mutually exclusive. +For a given resistor R we can apply the +the function $FM$ to find its set of failure modes thus $ FM(R) = \{R_{SHORTED},R_{OPEN}\} $. +A resistor cannot fail with both conditions open and short active at the same time ! The conditions +OPEN and SHORT are thus mutually exclusive. Because of this the failure mode set $F=FM(R)$ is `unitary~state'. @@ -370,7 +372,7 @@ $$ c1 \cap c2 \neq \emptyset | c1 \neq c2 \wedge c1,c2 \in C \wedge C \not\in U That is to say that it is impossible that any pair of failure modes can be active at the same time for the failure mode set $C$ to exists in the family of sets $U$ - Note where that are more than two failure~modes, by banning pairs from happening at the same time + Note where that are more than two failure~modes, by banning pairs from being active at the same time we have banned larger combinations as well.