Equations de récurrences (suite)

I) Codage des étatsEquations de récurrences (suite)2e231e1e44e35Rappel des équations de récurrences(ne sont pas utiles pour cette synthèse)x1+ = x3.x5.e4+x1./e1+Ix2+ = (x1.e1+x2./e2)./Ix3+ = (x2e2+x5e4x3)./Ix4+ = (x1e1+e3x4)./Ix5+ = (x4e3+x3e4x5)./Ie2./e3{3,4}e31e1{2,4} e3./e2e2.e3{2,5}{3,5}e2e4AssignationÉtats Codes1 0002,4 0013,4 0102,5 0113,5 100SYNTHÈSE OPTIMISÉEÉtat initial ConditionQ2Q1Q0000 e1000 e1001 e2.e3001 e2.e3001 e3.e2001 e3.e2010 e3010 e3011 e2011 e2100 e4100 e4État futurQ2+Q1+Q0+001000001010011100100010100011000100Équations :(ci­dessus)En cours, établir les équations.ExempleCompteur de passage. Le proposer sous forme de GRAFCET puis l'implanter enVHDL pour qu'il tienne dans une GAL 20V8.//diagram ACTIONSSreg0Gauche='0'DroiteGaucheclkInitpassage17447 7447Droite='0'and Gauche='0'H74190 74190Ripple clockDOWN/UPInit='1' S1DOWN/UPDU

DroiteGaucheInitDUHCLKPassage2//diagram ACTIONS//diagram ACTIONSS3droite='0'S2droite='1'S1S0Sreg0S7S6S5gauche='0'droite='0'droite='1'S4gauche='1'droite='0'gauche='0'gauche='1'droite='1'gauche='0'gauche='1'S8Init='1'gauche='1'droite='0'and gauche='0'droite='0'and gauche='0'gauche='1'droite='1'droite='0'and gauche='0'Du

II) Le forçage et les équations2 GPN{10}25 GPN{*}20 GC{30,35}22 GPN{}34 G4{INIT}1°) Forçage dans un état défini.2°) Possibilité d'enlever tous les jetons du GRAFCET3°) Figeage.4°) Exemple sans codage des états5°) Même exemple avec codage des états.AUGMMModes de marche12Dcy.cfX14AU34AU+/CfF/GIP:(20)F/GPN:(10)Réa.CfGPNProduction NormaleX2210X2GIPInitialisation PO20111511.t>2s12 Descente brochebb13 Montée brocheRotation broche2122X4Montée brochebh=1bh14X1