Deprecated: preg_match(): Passing null to parameter #2 ($subject) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemlistlight.class.php on line 420

Deprecated: preg_match(): Passing null to parameter #2 ($subject) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_param.funcs.php on line 1407

Deprecated: preg_match(): Passing null to parameter #2 ($subject) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_param.funcs.php on line 1407
Ajout à l'automate d'une surveillance de la haute tension

Ajout à l'automate d'une surveillance de la haute tension

par Le Grincheux  

Lors de la phase d'allumage, l'automate ne surveillait pas l'absence de haute tension (états 1 et 2). Ce nouvel automate vérifie ce point et indique une erreur en cas de présence de haute tension.

Fig. 1 : dernière version de l'automate (la même chose en grand)

La nouvelle table de transition est la suivante :

Entrées

États futurs et
sorties pour les atteindre

Q3 Q2 Q1 Q0 I PBT PHT C15 C255 Q3 Q2 Q1 Q0 J3 K3 J2 K2 J1 K1 J0 K0
0 0 0 0 X X 0 0 0 0 X X X X
0 0 0 0 1 X X X X 0 0 0 1 X X X 1 X
0 0 0 0 1 X X 0 1 1 0 X 1 X 1 X X
0 0 0 0 1 X X 0 1 1 0 X 1 X 1 X X
0 0 0 0 1 1 X X 0 1 1 0 X 1 X 1 X X
0 0 0 1 1 X X 0 0 0 1 X X X X
0 0 0 1 1 X 1 X 0 1 1 1 X 1 X 1 X X
0 0 0 1 1 X 1 X X 0 1 1 1 X 1 X 1 X X
0 0 0 1 X X X X 1 0 0 1 1 X X X X
0 0 0 1 1 1 1 X 0 0 1 0 X X 1 X X 1
0 0 1 0 X X X X 1 0 0 1 1 X X X 1 1 X
0 0 1 0 1 1 X 0 0 1 0 X X X X
0 0 1 0 1 X 1 X X 0 1 1 1 X 1 X X 1 X
0 0 1 0 1 X X X 0 1 1 1 X 1 X X 1 X
0 0 1 0 1 1 X 1 0 0 1 1 X X X 1 X
0 0 1 1 X 1 X X 0 0 1 1 X X X X
0 0 1 1 X 1 1 1 X 0 1 0 0 X 1 X X 1 X 1
0 0 1 1 X X X X 0 1 1 1 X 1 X X X
0 0 1 1 X 1 1 X 0 1 1 1 X 1 X X X
0 1 0 0 1 1 1 X X 0 1 0 0 X X X X
0 1 0 0 1 1 X X 0 1 1 1 X X 1 X 1 X
0 1 0 0 1 1 X X 0 1 1 1 X X 1 X 1 X
0 1 0 0 1 X X 0 1 1 1 X X 1 X 1 X
0 1 0 0 X X X X 1 1 0 1 1 X X X 1 X
1 1 0 1 X 1 X X 1 1 0 1 X X X X
1 1 0 1 X 1 X 1 X 0 1 0 1 X 1 X X X
1 1 0 1 X X X X 0 1 1 0 X 1 X 1 X X 1
0 1 0 1 1 X X X X 0 1 0 0 X X X X 1
0 1 0 1 1 X 0 1 0 1 X X X X
0 1 0 1 X X X 0 1 1 0 X X 1 X X 1
0 1 0 1 1 1 X X 0 1 1 0 X X 1 X X 1
0 1 0 1 1 X 1 1 0 0 1 1 X X 1 X X
1 0 0 1 X X X X X 1 0 0 0 X X X X 1
1 0 0 0 X X X 1 0 0 0 X X X X
1 0 0 0 X 1 1 X 0 1 1 0 X 1 1 X 1 X X
1 0 0 0 X 1 1 X X 0 1 1 0 X 1 1 X 1 X X
1 0 0 0 X 1 X X 0 1 1 0 X 1 1 X 1 X X
1 0 0 0 X 1 X 0 0 0 0 X 1 X X X
0 1 1 0 X X X X 0 1 1 0 X X X X
0 1 1 0 1 X X X X 0 1 1 1 X X X 1 X
0 1 1 1 X X X X 0 0 0 0 X X 1 X 1 X 1
0 1 1 1 1 X X X X 0 1 1 1 X X X X

Tab. 2 : transitions de l'automate

Aucun commentaire pour le moment


Deprecated: preg_match(): Passing null to parameter #2 ($subject) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_param.funcs.php on line 1407

Deprecated: preg_match(): Passing null to parameter #2 ($subject) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_param.funcs.php on line 1407


Formulaire en cours de chargement...


Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/sessions/model/_hit.class.php on line 932

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/sessions/model/_hit.class.php on line 933