X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/4e673fe23eacd3db39c4bc51610f1650c372b13c..8defa47ac283c6ce000d76eba1c1ad62b4a8bd38:/main.tex?ds=sidebyside diff --git a/main.tex b/main.tex index 6887cec..dcbfa74 100644 --- a/main.tex +++ b/main.tex @@ -16,6 +16,7 @@ %\usepackage[font=footnotesize]{subfig} \usepackage[utf8]{inputenc} \usepackage{thmtools, thm-restate} +\usepackage{multirow} %\declaretheorem{theorem} %%-------------------- @@ -141,18 +142,14 @@ Blabla blabla. \part{Réseaux Discrets} - - \chapter{Iterations discrètes de réseaux booléens} \JFC{chapeau à refaire} \section{Formalisation} \input{sdd} - \section{Combinaisons synchrones et asynchrones} \input{mixage} - \section{Conclusion} \JFC{Conclusion à refaire} @@ -165,7 +162,7 @@ de l'asynchronisme en terme de vitesse de convergence. -\chapter[Preuve de convergence de systèmes booléens]{Preuve automatique de convergence}\label{chap:promela} +\chapter{Preuve automatique de convergence}\label{chap:promela} \input{modelchecking} @@ -176,7 +173,8 @@ de l'asynchronisme en terme de vitesse de convergence. \part{Des systèmes dynamiques discrets au chaos} -\chapter{Characterisation des systèmes +\chapter[Caracterisation des systèmes + discrets chaotiques]{Caracterisation des systèmes discrets chaotiques pour les schémas unaires et généralisés} La première section rappelle ce que sont les systèmes dynamiques chaotiques. @@ -190,7 +188,7 @@ On montre qu'on a des résultats similaires. \label{subsec:Devaney} \input{devaney} -\section{Schéma unaire} +\section{Schéma unaire}\label{sec:TIPE12} \input{12TIPE} \section{Schéma généralisé} @@ -200,21 +198,24 @@ On montre qu'on a des résultats similaires. \section{Générer des fonctions chaotiques} \input{11FCT} - \chapter{Prédiction des systèmes chaotiques} +\input{chaosANN} -13 JournalMichel +\part{Applications à la génération de nombres pseudo aléatoires} +\chapter{Caractérisation des générateurs chaotiques} +\input{15RairoGen} - \part{Conclusion et Perspectives} + +\part{Conclusion et Perspectives} \JFC{Perspectives pour SDD->Promela} Among drawbacks of the method, one can argue that bounded delays is only @@ -228,6 +229,24 @@ One challenge of this work should consist in weakening this constraint. We plan as future work to take into account other automatic approaches to discharge proofs notably by deductive analysis~\cite{CGK05}. +\JFC{Perspective ANN} + +In future work we intend to enlarge the comparison between the +learning of truly chaotic and non-chaotic behaviors. Other +computational intelligence tools such as support vector machines will +be investigated too, to discover which tools are the most relevant +when facing a truly chaotic phenomenon. A comparison between learning +rate success and prediction quality will be realized. Concrete +consequences in biology, physics, and computer science security fields +will then be stated. +Ajouter lefait que le codede gray n'est pas optimal. +On pourrait aussi travailler à établir un classement qui préserverait +le fait que deux configurations voisines seraient représentées +par deux entiers voisins. + + + + % \chapter{Conclusion}