Archives pour: "Novembre 2013"
Deprecated: Creation of dynamic property FiletypeCache::$mimetype_cache is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/files/model/_filetypecache.class.php on line 71
Deprecated: Creation of dynamic property calendar_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 calendar_plugin::$dbtable is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 53
Deprecated: Creation of dynamic property calendar_plugin::$dbprefix is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 54
Deprecated: Creation of dynamic property calendar_plugin::$dbIDname is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 55
Deprecated: Creation of dynamic property Calendar::$dbtable is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 508
Deprecated: Creation of dynamic property Calendar::$dbprefix is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 509
Deprecated: Creation of dynamic property Calendar::$dbIDname is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 510
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 Calendar::$ItemQuery is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 518
Deprecated: Creation of dynamic property Calendar::$linkpostcellstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 589
Deprecated: Creation of dynamic property Calendar::$linkposttodaycellstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 590
Deprecated: Creation of dynamic property Calendar::$todaycellstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 591
Deprecated: Creation of dynamic property Calendar::$todaycellstartpost is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 592
Deprecated: Creation of dynamic property Calendar::$postcount_month_atitle is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 606
Deprecated: Creation of dynamic property Calendar::$postcount_month_atitle_one is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 607
Deprecated: Creation of dynamic property Calendar::$postcount_year_atitle is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 608
Deprecated: Creation of dynamic property Calendar::$postcount_year_atitle_one is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/plugins/_calendar.plugin.php on line 609
Deprecated: Creation of dynamic property Form::$form_name is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 146
Deprecated: Creation of dynamic property Form::$form_action is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 147
Deprecated: Creation of dynamic property Form::$form_method is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 148
Deprecated: Creation of dynamic property Form::$enctype is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 149
Deprecated: Creation of dynamic property Form::$layout is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 279
Deprecated: Creation of dynamic property Form::$template is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 283
Deprecated: Creation of dynamic property Form::$formclass is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 284
Deprecated: Creation of dynamic property Form::$formstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 285
Deprecated: Creation of dynamic property Form::$title_fmt is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 286
Deprecated: Creation of dynamic property Form::$no_title_fmt is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 287
Deprecated: Creation of dynamic property Form::$no_title_no_icons_fmt is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 288
Deprecated: Creation of dynamic property Form::$group_begin is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 289
Deprecated: Creation of dynamic property Form::$group_end is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 290
Deprecated: Creation of dynamic property Form::$fieldset_title is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 291
Deprecated: Creation of dynamic property Form::$fieldset_begin is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 292
Deprecated: Creation of dynamic property Form::$fieldset_end is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 293
Deprecated: Creation of dynamic property Form::$fieldstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 294
Deprecated: Creation of dynamic property Form::$labelclass is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 295
Deprecated: Creation of dynamic property Form::$labelstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 296
Deprecated: Creation of dynamic property Form::$labelend is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 297
Deprecated: Creation of dynamic property Form::$labelempty is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 298
Deprecated: Creation of dynamic property Form::$inputstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 299
Deprecated: Creation of dynamic property Form::$inputend is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 300
Deprecated: Creation of dynamic property Form::$infostart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 301
Deprecated: Creation of dynamic property Form::$infoend is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 302
Deprecated: Creation of dynamic property Form::$fieldend is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 303
Deprecated: Creation of dynamic property Form::$buttonsstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 304
Deprecated: Creation of dynamic property Form::$buttonsend is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 305
Deprecated: Creation of dynamic property Form::$customstart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 306
Deprecated: Creation of dynamic property Form::$customend is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 307
Deprecated: Creation of dynamic property Form::$note_format is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 308
Deprecated: Creation of dynamic property Form::$bottom_note_format is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 309
Deprecated: Creation of dynamic property Form::$formend is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 310
Deprecated: Creation of dynamic property Form::$fieldstart_checkbox is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 336
Deprecated: Creation of dynamic property Form::$fieldend_checkbox is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 337
Deprecated: Creation of dynamic property Form::$inputclass_checkbox is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 338
Deprecated: Creation of dynamic property Form::$inputstart_checkbox is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 339
Deprecated: Creation of dynamic property Form::$inputend_checkbox is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 340
Deprecated: Creation of dynamic property Form::$checkbox_newline_start is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 341
Deprecated: Creation of dynamic property Form::$checkbox_newline_end is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 342
Deprecated: Creation of dynamic property Form::$checkbox_basic_start is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 343
Deprecated: Creation of dynamic property Form::$checkbox_basic_end is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 344
Deprecated: Creation of dynamic property Form::$fieldstart_radio is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 346
Deprecated: Creation of dynamic property Form::$fieldend_radio is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 347
Deprecated: Creation of dynamic property Form::$inputclass_radio is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 348
Deprecated: Creation of dynamic property Form::$inputstart_radio is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 349
Deprecated: Creation of dynamic property Form::$inputend_radio is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 350
Deprecated: Creation of dynamic property Form::$radio_label_format is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 351
Deprecated: Creation of dynamic property Form::$radio_newline_start is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 352
Deprecated: Creation of dynamic property Form::$radio_newline_end is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 353
Deprecated: Creation of dynamic property Form::$radio_oneline_start is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 354
Deprecated: Creation of dynamic property Form::$radio_oneline_end is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/_core/ui/forms/_form.class.php on line 355
Deprecated: Creation of dynamic property coll_category_list_Widget::$excluded_cat_IDs is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/widgets/widgets/_coll_category_list.widget.php on line 236
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: 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: Creation of dynamic property ItemLight::$objtype is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemlight.class.php on line 164
Deprecated: Creation of dynamic property ItemLight::$datestart is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/items/model/_itemlight.class.php on line 175
Deprecated: Creation of dynamic property FiletypeCache::$mimetype_cache is deprecated in /export/home/bertrand/web/blog/b2evolution/blogs/inc/files/model/_filetypecache.class.php on line 71
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 >>