Archives pour: "Novembre 2013"
Deprecated: strpos(): Passing null to parameter #1 ($haystack) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 1418
Deprecated: strtotime(): Passing null to parameter #1 ($datetime) of type string is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/files/model/_file.class.php on line 1015
Random photo
 |
Automate, suite
Comme il faut toujours remettre son ouvrage sur le travail, voici la dernière version de l'automate à états finis gérant l'alimentation.
Fig. 1 : dernière version de l'automate (la même chose en grand)
j suite »
Vers une automatisation du calcul des quines
L'automate doit comporter une bascule de plus. De huit variables, les tables de vérités passent à neuf, soit cinq cent douze états pour huit variables de sorties. Cela commence à faire beaucoup lorsqu'on le fait à la main. J'ai trouvé un outil en mode t… suite »
Simplification des quines
J2=( Q1'. Q0'. I'. PHT ) + ( Q1'. Q0'. I'. PBT ) + ( Q0 . I . PBT'. C15 ) + ( Q1 . I . PBT') + ( Q1 . Q0 . PBT') + ( Q1 . Q0 . C15 )
Q1'. Q0'. I'.(PHT+PBT)+( Q0 . I . PBT'. C15 )+Q1 .PBT'.(I+Q0)+( Q1 . Q0 . C15 )
Q1'. Q0'. I'.(PHT+PBT)+Q0 . C15.(Q1+I .… suite »
Derniers raffinements de l'automate
en grand
Ne changent pas les équations des sorties. suite »
Nouvelles transitions
Entrées
Sorties
Q2
Q1
Q0
I
PBT
PHT
C15
C255
J2
K2
J1
K1
J0
K0
0
0
0
0
X
X
X
X
0
1
0
1
0
1
0
0
0
1
X
X
X
X
0
1
0
1
1
0
0
0
1
0
X
X
X
X
0
1
0
1
0
1
0
0
1
1
X
X
0
X
0
1
0
1
1
0
0
0
1
1
0
X
1
X
1
0
1
0
1
0
0
0
1… suite »
Deprecated: preg_split(): Passing null to parameter #3 ($limit) of type int is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_param.funcs.php on line 2201
Deprecated: preg_split(): Passing null to parameter #3 ($limit) of type int is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_param.funcs.php on line 2201
Deprecated: preg_split(): Passing null to parameter #3 ($limit) of type int is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/_param.funcs.php on line 2201
1 2 3 >>