Derniers raffinements
Deprecated: Creation of dynamic property Item::$cache_has_content_parts is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_item.class.php on line 4911
Deprecated: Creation of dynamic property smilies_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property quicktags_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property archives_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property archives_plugin::$dbtable is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_archives.plugin.php on line 54
Deprecated: Creation of dynamic property archives_plugin::$dbprefix is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_archives.plugin.php on line 55
Deprecated: Creation of dynamic property archives_plugin::$dbIDname is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_archives.plugin.php on line 56
Deprecated: Creation of dynamic property email_elements_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property financial_contribution_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property ping_b2evonet_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property ping_pingomatic_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property auto_p_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property texturize_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property nofollow_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property content_blocks_plugin::$classfile_path is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/plugins/model/_plugins.class.php on line 413
Deprecated: Creation of dynamic property Item::$renderers_validated is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_item.class.php on line 11107
Deprecated: Creation of dynamic property Item::$pages is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_item.class.php on line 2412
Je vois que personne n'a vu l'erreur signalée dans le dernier article. Le problème était simple, il fallait réinitialiser le compteur lors de la transition extinction vers HT. En effet, l'état extinction impose la présence de la basse tension, mais la haute tension est coupée. Lorsque cette haute tension est rallumée, son temps de montée n'est pas nul. Il faut donc passer par l'état HT qui ne vérifie pas la présence de la haute tension avant de passer en défaut ou en maintien. Or la transition depuis extinction vers HT se fait avec un compteur dans un état indéfini alors que l'arrivée à l'état HT suppose un compteur nul.
Fig. 1 : la même chose en grand
Les quatre états au bas du schéma sont des états normalement inaccessibles. Ils ont été rajoutés pour que tous les états soient déterminés et que le système passe en protection en cas de présence d'un état indéterminé.
Les nouvelles sorties de la machine sont maintenant :
B | Q1Q0 | |||
Q3Q2 | 00 | 01 | 11 | 10 |
00 | 1 | 1 | 1 | |
01 | 1 | 1 | ||
11 | 1 | |||
10 | 1 |
Tab. 1 : allumage de la basse tension
B=Q3'(Q2'(Q0+Q1)+Q2Q1')+Q0(Q1 xor Q2)
H | Q1Q0 | |||
Q3Q2 | 00 | 01 | 11 | 10 |
00 | 1 | |||
01 | 1 | |||
11 | ||||
10 |
Tab. 2 : allumage de la haute tension
H=Q3'(Q2Q1'Q0'+Q2'Q1Q0)
R | Q1Q0 | |||
Q3Q2 | 00 | 01 | 11 | 10 |
00 | 1 | |||
01 | 1 | 1 | 1 | |
11 | 1 | 1 | 1 | |
10 | 1 | 1 | 1 |
Tab. 3 : blocage du compteur à zéro
R=Q1(Q2+Q3)+Q3'Q1'Q0'+Q3(Q2 xor Q0)
E | Q1Q0 | |||
Q3Q2 | 00 | 01 | 11 | 10 |
00 | ||||
01 | 1 | 1 | ||
11 | 1 | 1 | 1 | |
10 | 1 |
Tab. 4 : indicateur d'erreur
E=Q2Q1+Q3Q0'(Q2+Q1)
Fig. 2 : circuit de sortie de la machine (en grand)
Entrées |
États futurs et |
|||||||||||||||||||
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 | 1 | 0 | 1 | 1 | 1 | 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 | ||||
1 | 0 | 1 | 1 | X | X | X | X | X | 0 | 0 | 1 | 1 | X | 1 | 0 | X | X | 0 | X | 0 |
1 | 0 | 1 | 0 | 0 | X | X | X | X | 0 | 1 | 1 | 0 | X | 1 | 1 | X | X | 0 | 0 | X |
1 | 0 | 1 | 0 | 1 | X | X | X | X | 0 | 1 | 1 | 1 | X | 1 | 1 | X | X | 0 | 1 | X |
1 | 1 | 0 | 0 | X | X | X | X | X | 1 | 0 | 1 | 0 | X | 0 | X | 1 | 1 | X | 0 | X |
1 | 1 | 1 | 1 | X | X | X | X | X | 1 | 0 | 1 | 0 | X | 0 | X | 1 | X | 0 | X | 1 |
1 | 1 | 1 | 0 | X | X | X | X | X | 1 | 0 | 1 | 0 | X | 0 | X | 1 | X | 0 | 0 | X |
Tab. 5 : transitions de l'automate
La réduction des quines et le schéma de câblage suivront au prochain épisode. Après tout, nous sommes dimanche.
Aucun commentaire pour le moment
Deprecated: Creation of dynamic property CommentQuery::$dbtablename is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/comments/model/_commentquery.class.php on line 57
Deprecated: Creation of dynamic property CommentQuery::$dbprefix is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/comments/model/_commentquery.class.php on line 58
Deprecated: Creation of dynamic property CommentQuery::$dbIDname is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/comments/model/_commentquery.class.php on line 59
Deprecated: Creation of dynamic property ItemQuery::$dbtablename is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 78
Deprecated: Creation of dynamic property ItemQuery::$dbprefix is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 79
Deprecated: Creation of dynamic property ItemQuery::$dbIDname is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 80
Deprecated: Creation of dynamic property CommentList2::$filterset_name is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/comments/model/_commentlist.class.php on line 87
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: Creation of dynamic property CommentList2::$query_is_initialized is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/comments/model/_commentlist.class.php on line 396
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: Creation of dynamic property CommentQuery::$ymdhms_min is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/comments/model/_commentquery.class.php on line 680
Deprecated: Creation of dynamic property CommentQuery::$ymdhms_max is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/comments/model/_commentquery.class.php on line 681
Deprecated: Creation of dynamic property ItemQuery::$m is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 842
Deprecated: Creation of dynamic property ItemQuery::$w is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemquery.class.php on line 843
Deprecated: Creation of dynamic property CommentList2::$inlist_orders is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/comments/model/_commentlist.class.php on line 1295