From 799de36fa67f617dfacdf94e3c7d2e6254d18f16 Mon Sep 17 00:00:00 2001 From: robin Date: Sun, 27 Mar 2011 08:04:57 +0100 Subject: [PATCH] Example diagram aded at start mple diagram addedPlease enter the commit message for your changes. Lines starting --- logic_diagram/examplepld.dia | Bin 0 -> 1441 bytes logic_diagram/examplepld.jpg | Bin 0 -> 14526 bytes logic_diagram/logic_diagram.tex | 21 +++++++++++++++++---- 3 files changed, 17 insertions(+), 4 deletions(-) create mode 100644 logic_diagram/examplepld.dia create mode 100644 logic_diagram/examplepld.jpg diff --git a/logic_diagram/examplepld.dia b/logic_diagram/examplepld.dia new file mode 100644 index 0000000000000000000000000000000000000000..724142f9c5ac762ee1b56b6154d8634c8f4ad85d GIT binary patch literal 1441 zcmV;S1z!3eiwFP!000021MOQ;Z=*O6e($e9>D#I6V1vQlZo68Y?sN|)t#sFWjvR1P z?-Gc>NjER|+iwhXn*?Z+5ce7hq&5mN^LfmC-^^Ifr_Vp;iL;Vq6)(M~PaZLXQ6x zNg~EDXgs>TaGXs8vCzWYtM3Y}b2VLR>7-&VZ$?uQeV^soGL1*osCrzKC0XvQL~=8_ zyf3fOxHdE1vh#xNg_y}{F2(n5(=J?`A7gqU^Ify^MOG*nqSuSYkPbWM|HhblQ~`t1 z+3n>Q|FW7=edF0y+eAA-^jzdKl{Rr;ZIWss2x5c~SPaS;cSAqKPit~G-1KeXlDCD+ z-xf|4lSP*6TqxayoMu@fMOvZid?}B|DI$?Th`r=i4=?VO*4ZobzZXfdj|0{1pKLpn zxwBlwFB5lbM2D3}73+t|4@=8cSzlYSzEXvnCbDhzD%B@5zdnum-M3S!_w(aDqoK0a znI2*$sicRehuKoavUnxTw#Rf>dZ>quUt9Ivar-Vzb!#VCmk^0q%lzj$r8-;Y#mK2& zZ>={QYmiO9$w=4E{jEhBi#&EdIKL%{S^%@3>kgTWO4u1jDLw6C#3i|jd! z5Wn&e-F3Pt8C~Y5(_QO1_#o0*BA*Z#1qh#BbHuJNM&WT_GLiF1l;vr&Bsi5nB}Azl zO`o1rBLsKc&8rXAgH*Ez-3`VN_W8!eg5$uZSsu&$HP>8(Yo7qs#W=v^IJn{=dz`eC zrF-P8c7Yf_v!fSXa9_Fvhy)N{%pzX^0s}-yud$CjLm1Dq$(VjF?ME3X;x?n$w@8@~ z`Qav5zz53op$zGrVW>#}1QLMFBm*D@{LPWwd5TfZI zM3#l95rBgZouLlV-a5n)y~1`2q7uWcDJ`Z~&d=<65?eUJ0^uVZ(=;)`Df zEwij;jUXJ9>85?Du(%FdXFQ4CRRTmLrUO3V{&X)T0t3 zK&%oZ4-pRpi6eY2g5(W?WM7b)fjB7AyWV*E1}_iDFiBL}+Bu4OwWfM*+R-DAo~NA&9lwZQzX(adDIqWy-!T~$Tf>>cgvG=H}F6tee-!8qQK=| z2&kO%V^3)99cWDl+nQWzG@Kqe7m-IN3W_dgm-$LgVpYJhM)HMIVm+ezH7 zKf*yqxZRC3zmh7(pim4D=77gTLf?Op_!k~3M9URoOZ*KL;u-d=xc9M9?4tl8!Lxcy v!eB7u8znNQpnU+O=OIO8kRsd7YBK-_DSAK6>edexZ!i7>agn1P%s>DD$xXZK literal 0 HcmV?d00001 diff --git a/logic_diagram/examplepld.jpg b/logic_diagram/examplepld.jpg new file mode 100644 index 0000000000000000000000000000000000000000..cd544206f8c11a6277609b9b36cfb2d430e04932 GIT binary patch literal 14526 zcmcJ01z1#F*Y=?sq?8T;K@pJdQh`APM1`S2K@pJd90chG0civ&X&AagQbM|8=w`@~ z82;n)KHvBD`+fg^UH{?Qa9zWhJ!h@G_S*Nl*FD#h*Nec7CyL6700ssCV1Pfs^$hR` zz{kbK!^OeJ!^0yWz$YZ8A|WOsBBrIFB%@-aV`gHcV_;xm=jCL%eV>hiflKu6{RjL) zLPE@(;?iOQQoMpf0>3B0ARr(hCL*RGA)ygqWndNfzrL z^0<^5ukdc$Q3-sA{({f;u&kB(`OgD(!PoY_1cWzl(a_Ry+~MT9drwGML{v;%;?ZLT zMJ0&xlNT>FwV>KMx+bP?-kQBLw{UQDa&~cbbNBn`9}pN691;`zDK0+Yb7E3v*4ONu z+`Rm6eu;i zyD$K(znBI7{)=J%U>7-P7bZ3~7B=2*yD%_az=1`Mjl;^1OChg;_sWj)w!jB`s)x~E z%32B71fL&JzqbELc#~adi39oDv_CBS-x=on|76*J8}?VbrU7Cs3~=$V$N^d4?3^pp zhw%T$;Qk@3z8gvFsX8Vl&KzU|HxPtW1w5?t2wJOg!`+>!TQp-zm9}jDDRdFe4e{;W z)=1Zg=V{-C0t5`!94;pLz=t%{pgS;>8NvnpkE1q{!WA*t?y~uMTB{;oAO7%dq-wc& z6)QVt7YnIo{d&mHgZ-f6eX32OeDfH|hXz@W(S%ag4FUpbAD`h?QfbKH{L_HSesxX1 zc<~+0HYC%v3N!IaK0{mYOAdrJ&$Y~indA>v0*+J~3c&wv=r>g$>0769k$I?)@9fG? z`G^JFhS|ba1e9tMXjoQkUAN`PQ3*?X(FiLw#^);GkJLvI>h}%JCva(>I8CeJ%f?$e zJpQ?R%y^qbWL$YAgt5!3BS)E`;^ylg?lH>3UDrU{F3Rm1ctnO))`ubMWS5*=DP-s7 zEh?rA_$YN}wFlV!yXKWJ@QF#~Tcsl47#mbj<{ZzL2O=eFSIHgY{J*s4POC(w2J9k* zc=u8(A_PaFul|Ks{@zne!po_Ih$95f==n7eP}xlWZg}Q#-FrIE!m@{po(Q?Znx1vL z9govFlwg+8I~m6Dof3GD;~L%Q8W)4ePp0k`uKvDUY}|FRZNun)?MZ4x%sUCbU~fU! zWwi;u?1-7(ich*ltskFg&62G63YJoKsV66$)~%k{1bS0W@bML&NHa+$hpq*$M}M`| z?yRSzu}L7bJ6x7NlB2l>@Jg(C8#q02DVP{TMn+Sc@%DyBbFJo~48u04rTF6!2Eq;Q8sSBK>1efBB(_Ah$zdfduX zvGMdlaR;`_-MS%lZa#!c+lO)1pW)Ets#|B@dBPWVXPN%XhP zS|r^`_L9g@h}jzBFs|hUN;zrSmuDw#@wM(ss>T(2G8b7i(bdW5%vjkDx3aNO5J%Vk zNTGP3XH&Mq49WD7x(3h`kyNNhXWo3n&2V_f@`VE=tm->+mmS{x(|Z;5cV3!u;ntJT z>knT(%H=>u!*F&BjBWgn;8CRGjGCp2FBiiOxgXYenYEBHm7-Y>{I7viUie|+UY2Ci z$TLX@k&yACY3xy6_iVp!#|?~G4Sgd&DKFB7{VYojrLU-*pO*ziB2b_nho^}lJ(bXR zmh!`Fn4t5ge_mRh^MTrIl!uzfl_8plTeEvXaM=z>{U%Xi%)r$nwg@FNL-5g{&e=Ev zd1RMpe?|<~rRCbJ>Hi=MBq5e{uy(!wL!Kl~92+1#dOil9qnoo9R(&|!iEA6mG1^BF z-ztU^MBBp2)LGMv(xY?EIz$;gnvi-_e`aoHZrbzyjx<}0j>yi|*D8FB4+V7UZ7?G9 zv)BcrR+&baESXDDH*ZQY6^5?}5^lU~+e6z$J^KtV{Ti^m)EJXp?rS?|3S7Oq26pvM zYmX{M%%X5-jn`ca+8IfhkuKN3mf|(gQ+G_rg*A8$Aoj0;(eP^^))5B2d-xhyJ_Fxg zyXG~xQ*c^!Xg2{%Bi&gsu~E&HR&d9m!dM3bwMuALauulq(pZA<@N9 zwzu#z=soZ-)*vUjz`U-%Uf$N2+w8x zXSwIAIe~jtgBWo>81`N4ShMe@*Aftn;(W)UC_XDaEKk1FuRhMDTSdMCx!7jWa&%Oh z9@`hv0s|_27d1RQCY`@>qZC79fIcQ%Wh`Vd(*>d_)$V@0H~9!(gNAoZkiq-cZ+!3E zr=sO#v&jDy^r}{EBnD6DchUrX{Qc(yYy)p8RJnP+v7x$am1vLcKns14*VP^ldsgFi zvLA$INo~9LSg5hiJr6s!7Ha$2Uc5!hWf@=!RseJK<-Ni4bWewCz%LTr7KzfliA3)W zcFG8pR~oWbR*wZmP%%5*pl0Wy!D2s<7{bfYFm&N;S2g^(RP)pOHY$y%W) zlPIN6GxAct1OxmdVz<@HJvDyHj#?x!2lGsvm7LZ)SJZksg~;;phka-lbrxTI_Qy=j z-!+E~-!)h*&8f62Fk9#g2#*zh%wyHkp1|pzwZ#DLu1i7fa<-bB1iqD_nA>$5v%jwgOTDmTK;IsX)?5z5Vhm%6DOGe6 z>*+IIjFLgpC&M!^L%9BFklJ*56PF?5K`+N>Bjp_gv!oPz!AnOza~?Im0E* z6_s-mMsV}9FY=QpmMjL!)fzEliAB=~^bkA^1$#6u((IB$LMjuBldLxYH@31J znnG_;WHacgx5JLfMt^vUCm=0%`=Uo2^c1H!ZR-l~BiC1o{2IVtpLVj+-M&!on2zj+ z;%AMBnI5e!;!{nfeKoLBADq7x(c>~ZQsH}L}BIT%NaL1Z3TV4RuHeg zyjs+$@BK$--b*X^Ho4($(3zV*+ht{DoxB=%&V@FO^#N95fF2&J5j`nD{PQ-tcK|qlwUz*NQlRyYVSC z)>*O|1tx6()*GKeBtaxzItNT0y)DCzMd+`vU=R;u731kYWqF=!ucue8`Cr2ZEUD)TPd(3 z#76IBe((Vp06dyv^-eVYHSjTVXSyoZ=_(OnCAn5QO63J};ly(^V>iL0mAav$eV_#9 z%O$o8wb%mPYv8SGvf3}3<5OAnd8M8?+HUclP9=8gx4_Qd?h)?66QhskdKPTZgUS{3 zt+7tL)ZEC~Zj48jOWn_#Ip^r*Iq%aoVuk=m9%S^}O_XUfs;F>FY;L=IdehrgkLi{5 zj5!B-a76~azNq*6eDg2($&yB2;9AVH8u5-p4%tJG3w{9t|S>QcL1e4Sz zJ>de^bBqnS*X?@~ufA-IdovB~z(cX8EX^r85`mjtTJHfO${00q_N4z<4`BVc^vIn< zK|89N$>HzV6M7XY$9FS7F!Y(Fz_X%UipSPD{q>hLD>iSalZ-V$Zyt6DQDnHTg!^&l z(_)jiVml;p`qCG;S?%2hefls)>2?70`2%@8U;Jh2wQGR*YjQi?K*hn{L3g{FgIhLa z5q&zKIQT4tK+9Uq&CFQr32@x|yOQcdGBukl*^td!>c&ENc%BLVvaJ0aL;aHMc?YSj z_{xWV3uyA3UUQ@jms|m_BN;(&IRwM18oFW%^vpva1F?fQ4S)F zf^&~5uMFAm@NvJMl<(uI!=+Cs)`qzfulV-Q{)-YsN$OyFrq9mqJ{aA%Vw7pX=#EjA z0`SC31j|Nbmn^oUQGw5s2M(-KaxXa5x#5P8TCKD!fABhz<%q@UcCMrU)6`6LOQl<~g)gPU6v1(2w?wk0@d-+Ix{tywl9RPUw!v^HXG zU`h1*J;zs>Nm*;g}Uy?jf7T&3Tf8-GPU`bc!} zaK%Tob^uZW`F3_Ha-Npz@XC!j(b9>sUBH^n{sC)%5*tg}Ck%GVb|)L^?+s=B*m+Fi zY{tD?it^aD@(gQViAF>M{TJVJnW zWJFWb%>(CxB0)u_@wp^Eex0~%+4~j`k9=2^tQ(bda}UniCz$9C48r3sY(`h-9AMml z!Fp7@)egaYJFAQ7`nz*2=1Akf4nxrc8~@x8$z(x0-h2n1CSp{dZ%!X+#3f|776g*;3N9QxxBXxmcm!A{im0=!N73>Bx?( z<%P{uRXX3mRE6{G@*XlGZS1?bgjP6bXV9GkuN18+cZ0$*ONwbO2)i>4#E0P~-kR9) z2^GfV<->!Mu3*nwUT=(NgvF|6C!b{CDKE1om{5rDw;D{*%zDQ;v`(L+a$Bdh;6=0^ z1y1Ikm2WgZd6sjL3}6K?o;yif+BfXCJbSdXK#%Hc8&Y7b{9F_IvON3~o5T+vl~Q6X z3W0AVS*sh$AcX()4+)bx5>Y~?hbn11j|g;}VXF_y@C2coxKaz7r1srTw@xzZG6euE z&WSu#?226t3Wc>g>oa?&y)(jDT;>BYdS<^@WArfo|YtZcSQ~PF)nNGG>{toG@+={Uta{WRcaEYBDUYZ0+sq0g|=C9_gHktcSPG?$0@Q z4t!T;i+O-Ayg|Kw&V2b4ErKdOw24<`Q?D4=ZL_5lmro5fE5N0}Ha01f`duFUK}$fJ zn?PW+oqW+FRj;R=W}a>?sUd&gR$L4?&LH}uZ25bFXe1Ef;>S5OqhsKXQ%ac(6L{>% z!}9FArp_Y~thgN9~D{kIRnrITHAx(3RMFRlU8 z61hJL0>ZO{S$*?~2UBxiFnin?~A=7Z*>yyUCQ`bx8AlM>7n`F1>bZ zo{=>NtLamox?eI+U!nIUD^i?j&Pt5IWwg1B+YdB40~5!vQwDL(zNho_C7QGp$yl_z zTOL|4_jX+!f*yzfAkR6(-Y!~*X;)t35Vha?Y=VQSfJCthT}IbFw0j-5GgI=(8nG`10hWIJVtecBnxwPuV=P za;{g2JZ?|5pbNhh%X$rKO}v|CgDe{`c6E4x^lJVtE<{GYHJ)JGlSz-n$u5l$OCKcn zp$XshA$zfqOTBTj1eRp*271s>u@|rlGc-r~LF85F;Klug?WUj2)^o{C`{JF_+p}Ci zi6qMQ&Zv~m@~*oZ8<|MiRSN54mV491-`~gB>*$-!GV7B)E|EoXTm$TZ53hmh$SbZG zA8E{xd*a0`)%?LZ5wiRpcKgPnWgA)2>UfbBz}m4a$-H@*B+{@}C`!1v8S@j^2_NsF83g=)_U==W)+#9NOyxNEA$3VGYy zL^WcLR57_33->7nAb=Pr4t;Kpy8{&DI8GXg5KP&N!N;h|T^`}&f|MSqcL!b6Wlw2_ zeEREc2M~e*GQNq6R#=^A+M5!Z{mma2hn7gziOAsefs*R|35#X#P1B}MOCEvX?&!(^ zbP&DgT{p7+J0-dE=4Tkch#2J5vh99`GEms_Pcm5!aSx*JUIRbkt^pH+Nc5l_(+35r zXBdABSMY$zKm{(P@2I0{(#_E$W5y$}6(Z|2Xkz{Peu~v*r^BdbU-BU1#`F%;O}~z+ z^ZBBDrBnaf+L4%fX&G#G!6kxu?I=K+@L~w>n})u3a29G^eQYsS6R8$MDPe=TC3(ciq0Jqhn(G?XOW9WB|f~H<_`rcH( zWf84Ft8xvH&ozj?%er+Vfc{A{GUGLhB|2vQWFrpTuGq~hQ5#05$ZH^*;x}pW7upqL z9nAxNM&rRY8UZ_3tHez;w<`3sMiM8bC`%=2#(gv2pDPi3;@KaUkgX~J0t0lTstNHxyJFIk+ z&NU!daux2faKYh@1JYe>gTGQ?JC;qLZQOqzf0-Fgb~n=<*z~m8zF+a?3cj7~Aka&+*?0 z{%<4ZkJEz!jFd-TU^89lPs-r-(*Zde&T+?p(g1F}BW*m4Qos+TFcsy`EJFydso$*s6Ip9+#y-vkJczzhL9;($#~m|O!D6Ti>G z7uP@{H@dT)`6}&qHvJ0=Lne#Ly#@rJSK-dG7t%`0SWZik%;srAdi0@lLfTEK-aN6M zQLJ9ucjlK}jN}c26#%<)&W=G6R4mj__2)`seUib<-20W6frNVNZvoQJ`#qQq?VU*_ zK9w^Csn93o;Q2Q=?cTV4a1@jeoNG$KI<_!=ET9QiK5WH}tn{X3l!ztu zQ)&*mOGy5y19z4jekjhf@Mj+XuYCU3zj(6C&A&L)z_YJZa{?V=Aw}?eo3tC95>|rS zL`5m$8UXi60=gAybbdGQfD?2R32gG-1n4CmzyVDP;vJ)oL57X2vzz68Hu=*nm$Y;* zI}Y=u%J&IL1-`k`Y#M$rgdvzwF_*6ns)}W_o%EECLlfU3#E=)0n(8#s3oMvwiw|(! z{zN#KwS$xvx00~F7fzc;&FSV%mBAhn5t4XkEVitOwlifk zm+8%z3%brNZijEzNs`9qeXh=KjzQ1uW43dq4kmd-A(X>oi2#1lBP>gxuaGmZyjoaQ zn6(r8EgkVpAeV7s;md3DXxHIwRe!t?NA7-MUq6n~yX!Mt8w958`8-j#VgwqFG|g;a~Qa&5pL1o)hfJaeg70Tnfl3uOy-MAmqXf&0Zv8S!CH1uJux zFC-e2@*#V_G`iN_)x*E>LeAntSH~`6&D;<$ z5c-+8iQK&5Rjt>682<@77Cn~t+e~4S!}e=uqCs~amF%xySXaCCkIld~2sZq%M#LBZ z;HD!V(Pk5~4&As&{Fc_+_`}7(wC7!%4$HY%5h-THs_%c&i2MRKI0=~Doa}Dost&d9 zoO!)LYaDK!cu{~{!|39F?G~`H*)f7J`v8A&aiN`EGrE_d_SA~vHGy`7rb|4Qn3fd7 zafw`s?7`WkTGInmE>u=XLh~z~0=)EyA@ORbw=1PP(npT%ofz9+s|hNM6{sOElHHpV z9x%SN2X8fZl&!@1l*Q>oDY} z4Lc~jWCc00$jiipYaq0U-Ut_EF+9f-`KZ)Xf3Xj>6lMg7V^c z)iz%^@mch23!yyIa>yu%KlR!djxoT-*a4~R zL6KNy1padx6KzEJ!%UX8Ja8#DxGD{|&wpjCwUktd9)ZctDtbkh>e4I=728VrPFHx= zVGw3V{9O6AGTlrkgLu@cKnoQXR(diEgYjwlK`PjN%SS|B-h!QKCW>CZl%=q244F9q*hFy|0745RlJ z+PvA!XI8^h-?BaI%30^}r`_^!%0g3+-2%CU$ZH_(U2|J)sLf4Jg|R))M|N2{C<_Bw z<MTJg-Bz_M5w7b}gd6WKp+%_J7G1;orPSNgDl^N00f+X{Ex3z6AhgD` za)AA#w-L%G39D%NlW#;z8R-QHo9wDrWy>lhv+YZIdbIS}-^Vk`J5ztXq>pg7n~fOj zx&+bN#}YJkXYAF7tI(^&i+#>rv`s3y_RM%G=#Bw~R|$915u-H>-gXeCx7 zMEU;S@q`0CP3M{x*`V4rpl)~@r7m?ZjdvIk{~(@;tsY`U9>BA7U&LR1@nP!$fW_Ll zacWce*~^)GDGTS&=Ew>}eDkRA2&S(aV}dsVT71H>-JD{#i+Iji08K-Zyq4#^Y^cx*{?maIb+eXS>A9ENAnK zD=+fXIsCyWmiu%d8s%$ z`+J_Q%ojqn!|D6IZxoIe;-9XNCAzWIoRmDxiP2@d`{ae^u!|Yz!FtD$YeDPy88n~W zJ-eVXEsG&YGX^1r+dZ8@f&U)kLp@`-Q{0;O{ebnBCSfL-O8%-)_o%7uA$SC_iS6Us zX9UDAsSUn3ge`jR^!@w(hH1=yRZ}4Abz=tg0%W~v9qX6jK{ZdK*TlshcjM82&KnRL zP^XSO=xQHa+Q-u27*RV1OWAX;i&p+g@%*VhnZk^Ie=S{4dRzK&SFa4EMpi<6Hd zb2inI0%|``vVR1I^kU?p#1LmK8dg{F=Xja_jGDC3_mCvb{!)B-+X*U7l914kJxnIC zAD{Zz)rN#Ehpiy>s8tj2qiV8o8{?!TDfnBg@rq)c;6oA?y_|)&g^S5q#vKwZVr6C*FzETJ|4T|)G_AQ-YqL(+>At)a zWfZ}mQ2IBV{tp9d5Pchj80{V2*h7e4*4g6|&!FBnl-~QVV4uuBA|^IIyWNP{fF40} z!Wb%P(O1oZ@Vp|=+S(~Q+j+CZ8!N<}A{DkC_P>k2Vxuk@5HEeqRSKGFxOqPJvA`+E zus69OIL;5Yzyrs`XZte!BxH*#gVd;{iN6{d5Wpc@Ggf3rnrpgY;^EdsOh^HF{>X&0 zij3vMC^Q|_r8wbe;DDyIA;_J!j^_w{ISc?6H;Qe0H2%$BAv|=;ivxPwuC%0e+-zvK=rSl)HphON|T*cZ_K#r z#~Y~fp3Qy!QSEL_NVYE$CIxUa`1krnE4J2iU;m8}*g`I3h9H_Xjr#TBH9ra`72!GnaDm;}$Btm8G|v15G!f$yd_`Ow|$P|@Wpj0TNGX)~o@Q}gv|9!$1-332$Y6Fe-GH#>5e^&ICz`Sg7%qK+8 zV%(go%A`hQhMhBgwHNJeF*dch`_Xsj@09U|F5)XC+Lah|TKh@_1`OY!fGl&a+QhDQ zv+US~eUPJLCcJNb`@rb5a>rZqw9!SR#E!0%E5{^mDs1TqwitVKY`XmHOIvwxm9$Qg zO2p(Wkmc})-?(T1j26HyB<3#n@wmlJ0 z^Eh;mC)@b+3{Q4Roo3VfK}Ah``=Bpk`~}Ha+_am+Obz?15l-6HF6p2xd`295Z;k`f z z+=-v^(TEj@OcLRh!+S@p2LQD!OwkH2Mx3lfb*e4H`JTa>KImsDTMG1kDJ3O%u4pUY zRa5Y{q}q$oN-I&tYQ69m&){VrQf~J+33Ozas$smwwI%2(%OHwdM$3#8q8WOdSPr}v zP7N#bR7mRHMaeOds8|9oAL443D*dQArZE?A=92=S?p6m6n$di!+N7@n z!t^9XQhZKxLMZl)Df%=z(9(>B!9s(+J0%FB1Pb+UhPM;3-cLW4BYymu9fvVuHVPMz z8dMuUy;ShiKvff;J7<$pD)}#hEW>-A!#Cq{Kj@y8azyriUM;8Mtdo}#)k5m)^?{0! z56dwkpkl=Ih7vaUfQ95Xk+j-?isS`^ch|HNWfler_r>o`BgMx%07Y|4im5jD6Vk{> z_Z#@U4}((+-@NtJBBmi=;k4xX<)cxlxE!TK_1~hoq2>)dga-sRU*1qNxK3!riPS_R z^SU~`VCprl!ux?tEFXHgI~*J9d`sE=Y7^c)e<0Q)b-K**r)Z8x_B^V=0px~Y=z&O- zF6@NWbsemYuYs#nz#WHr-QH7WY;T_4>(4njEMw=_egfA%Txn{7-X<1|0_i0ea!`$_-tBG*K~lY|eDEBKWq;d$-mv+HJ94g^b!=-ZRiyOX!@xJ=*ZZ;EbbQQg^!Zp%3lr@KOen zb{3yUOoII`bk?ys8{@k+*_)^F4+In5?Y`3fR0Z@90s{c;DHTTRq$`^N()4sXp~Euo zj-K0d#KgmLK=<(sAmc1AAmU+tPv-qiD7Rtozmr+y|DzrYL^-mkvTQ?gPahSTQXW4<)xMOc$!HFYY0xJ9f)0h8lYy6c4`%9aH z>KXRGPtmXdjedlenGP!0m0csRwqiKT9_D05Z<65*RPeDe2=FsVGf9u~UTPxri~=Qu z4i(li=PX_L)q-AE4A8N*O3v6LKeY4O7fv1r{oCqB`5zt)kId^JtNr=Bvd7n}`u2%o zV`aNc{mL>^fFxP**&U(zCM>r7 za}lo88&rSDY};CpH^IUkBp(7LR+!Ar(|7XOMg=1qn_n5ELTR@LvzZS-R%+`Z5~MD# zfeVR0rM62Tmo@6YoPG&npi@WK?^(dwk%bJL1Z{M_zpKMGf=sWkaI?Ci7u)PA`crLd zipnYiHRxkPvLrLr`!9Clcirq0H>uLzvWelv8*cHp7TlC2loF<1ajC1GX?Wzt^w@=N zu1`PiA^sG6iO^R&EWh=&!wBQ|zn(~c76Jb(dHzeQ<&W33m_r-*OqQ8R3^vY?osaXL z3Y1$vQ1Po$SYhyWH#Ie7A}H$R!U{c*4R-RV4+VMUoOv-Rg`CWa9$HMv4P{odFk8Fm zfR+|^uVLpBbA4F&B`8EBV4kY9y0d)&@+>a>ukyIg(R*s78v~F|QUO<%^0LK9unXCy zbehVkRf+zA6iGc?*xd0>Z-|Vo6O3|*4U2%>`+@PhR{p0ahw?4MsAgSl)T#oXl%ao4 zIMI3!=1$>ac`U~42$045yb0Qjj>*`ga2@P)mLVA)c3Y0wLa$yXlgN<1sr$5u^9)0* zhgM9idoc#1>%h#9FKdkXJDM*>vV=-MXEfX`R4r(o{IP(dEre(AIfnRKTM~6FS9LVG z71ImX1AR-E!^-ho4+^WJwYMP4;aQ9T0Mgud_bv1OrBL=?iD&=!uW=_JBR@Dc)99>e zoJ#957MXpMt4W(1jrsVX^&SDIwa1F_Vg&fHM~$*wx(NZ+tUuALGfHN6x`!E^X9aZ( zx;w)7r?J&P#E|0k_8%6{o^wE(N-IWpRw|m|zI)?OZ30|7f+ktQ@)s9}kXExTR6^@&rtjej?}w?@rh!T;O#PCicI*8Uw^@8zcJgSy zl-E9@f9R+R8&x{$NW*Qb&U31BCI`A1P3r0(pNk>g#PXf;w5P(~`;dWZquG`=cpG&k z!PbHCqI!DpXNm(I80-;(%s@)q%$_(4)-ZSAxTp7_CE3zGzBbItQu(g$)}vZ0A@Iut zBM@9teA(M6sfD$~0NANqx`k8^y$0M6SI`U5r{1vA<6y%57nipvuhx4j*uK3|!@}e) z{Rx-mYoE5)Hotj8N4J=?`vrXvU~Mv%47`a@?z-b6-i+&t%ZRg}GoBr(g;bsSRjvCe zk3jJr)Kr}LHV%g?7F#Ke=I;NGFI)ZXoU144fik2MXQ@i}hY{0xoAP^0J}N8bHQ g$+S|l))%_TDJEiFNqRPhlY_Jy+@=2_w6CZB51Ii2kpKVy literal 0 HcmV?d00001 diff --git a/logic_diagram/logic_diagram.tex b/logic_diagram/logic_diagram.tex index ba985c8..43249c4 100644 --- a/logic_diagram/logic_diagram.tex +++ b/logic_diagram/logic_diagram.tex @@ -157,6 +157,14 @@ With these three visual syntax elements, we have the basic building blocks for a \section{Formal Description of PLD} +\begin{figure} + \centering + \includegraphics[width=200pt,keepaspectratio=true]{./logic_diagram/examplepld.jpg} + % examplepld.jpg: 443x244 pixel, 72dpi, 15.63x8.61 cm, bb=0 0 443 244 + \caption{Propositional Logic Diagram General Example} + \label{fig:examplepld} +\end{figure} + Definitions of concrete and abstract PLD's follow. Well-formedness conditions for PLD's are separated from this definition, because of practical differences between the way they are used to represent software as opposed to @@ -167,9 +175,12 @@ The concrete definitions for PLD's and Spider Diagrams\cite{howse:sd} share many \subsection{Concrete PLD Definition} A concrete {\em Propositional logic diagram} is a set of labelled {\em contours} -(closed curves) in the plane. The minimal regions formed by the closed curves +(closed curves) in the plane (examples of closed curves a,b,c are shown in figure \ref{fig:examplepld}). +The minimal regions formed by the closed curves can by occupied by `test cases' (represented by asterisks). -The `test cases' may be joined by joining lines. +The example diagram in figure \ref{fig:examplepld} has fournumbered test~cases, TC1, TC2, TC3 and TC4. +The `test cases' may be joined by joining lines. The example diagram (figure \ref{fig:examplepld}) shows two joining lines +R1 and R2. A group of `test cases' connected by joining lines is defined as a `test case disjunction' or Spider. Spiders may be labelled. @@ -435,7 +446,10 @@ mode of the functional group, therefore in the higher level diagram each $SMG$ is represented by a contour. -\input{fmmdstereoexample} +%\input{fmmdstereoexample} + +% Here need some kind of example like the stereo separates. + { \definition{ @@ -470,7 +484,6 @@ validation and consistency checks applied. \section{Example Diagrams} - \subsection {How to read a PLD diagram} %#