Deprecated: htmlspecialchars(): Passing null to parameter #1 ($string) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_init_login.inc.php on line 81

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

Deprecated: strpos(): Passing null to parameter #1 ($haystack) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_misc.funcs.php on line 10537

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

Deprecated: strpos(): Passing null to parameter #1 ($haystack) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_misc.funcs.php on line 10537

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

Deprecated: strpos(): Passing null to parameter #1 ($haystack) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_misc.funcs.php on line 10537

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

Deprecated: strpos(): Passing null to parameter #1 ($haystack) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_misc.funcs.php on line 10537

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

Deprecated: strpos(): Passing null to parameter #1 ($haystack) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_misc.funcs.php on line 10537

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

Deprecated: strpos(): Passing null to parameter #1 ($haystack) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_misc.funcs.php on line 10537

Deprecated: explode(): Passing null to parameter #2 ($string) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_misc.funcs.php on line 10542
Et une erreur de plus, une !

Et une erreur de plus, une !

par Le Grincheux  

Il y a toujours une erreur de plus. Confiant, j'avais simplifié les quines et câblé le circuit. Tout fonctionnait normalement jusqu'au test de réallumage de la haute tension depuis la procédure d'extinction. Là, le circuit que j'avais câblé se met en défaut car l'état 4 (haute tension avec test de la présence de la haute tension) suit l'état 5 (haute tension coupée, tension de chauffage présente).

Le fonctionnement est pourtant celui du graphe. En effet, il faut laisser à la haute tension le temps de s'établir avant que le circuit puisse tester sa présence. En cas de réallumage, l'état 3, et non le 4, doit suivre le 5. Voici doncle graphe modifié :

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

La nouvelle table de transition — et j'espère la dernière — 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 0 1 1 0 X X 1 1 X X 0
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. 1 : 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

Deprecated: strpos(): Passing null to parameter #1 ($haystack) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_misc.funcs.php on line 10537

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

Deprecated: strpos(): Passing null to parameter #1 ($haystack) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_misc.funcs.php on line 10537

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


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