X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/9ed4f504a9b9dd9704b62305d743e177a9ae6f72..28d5e9e196cefe580d5e37638e49628e0ff52737:/main.tex

diff --git a/main.tex b/main.tex
index ce52fff..0893d3b 100644
--- a/main.tex
+++ b/main.tex
@@ -111,7 +111,7 @@
 \newcommand{\Bool}[0]{\ensuremath{\mathds{B}}}
 \newcommand{\rel}[0]{\ensuremath{{\mathcal{R}}}}
 \newcommand{\Gall}[0]{\ensuremath{\mathcal{G}}}
-\newcommand{\Sec}[1]{Sect\,\ref{#1}}
+\newcommand{\Sec}[1]{Section\,\ref{#1}}
 \newcommand{\Fig}[1]{{\sc Figure}~\ref{#1}}
 \newcommand{\Alg}[1]{Algorithme~\ref{#1}}
 \newcommand{\Tab}[1]{Tableau~\ref{#1}}
@@ -139,9 +139,12 @@ Blabla blabla.
 
 \mainmatter
 
-\part{SystÃ¨me BoolÃ©ens}
+\part{RÃ©seaux Discrets}
 
-\chapter{Iterations discrÃ¨tes de SystÃ¨mes Dynamiques boolÃ©ens}
+
+
+\chapter{Iterations discrÃ¨tes de rÃ©seaux boolÃ©ens}
+\JFC{chapeau Ã  refaire}
 \section{Formalisation}
 \input{sdd}
 
@@ -151,6 +154,8 @@ Blabla blabla.
 
 
 \section{Conclusion}
+\JFC{Conclusion Ã  refaire}
+
 Introduire de l'asynchronisme peut permettre de rÃ©duire le temps 
 d'exÃ©cution global, mais peut aussi introduire de la divergence. 
 Dans ce chapitre, nous avons exposÃ© comment construire un mode combinant les
@@ -160,19 +165,58 @@ de l'asynchronisme en terme de vitesse de convergence.
 
 
 
-\chapter[Preuve de convergence de systÃ¨mes boolÃ©ens]{Preuve automatique de  convergence de systÃ¨mes boolÃ©ens}\label{chap:promela}
+\chapter[Preuve de convergence de systÃ¨mes boolÃ©ens]{Preuve automatique de  convergence}\label{chap:promela}
 \input{modelchecking}
 
 
 
-\JFC{Mixage}
 
 
 
+\part{Des systÃ¨mes dynamiques discrets 
+au chaos} 
+
+\chapter{Characterisation des systÃ¨mes 
+  discrets chaotiques}
+Dire que cette caractÃ©risation dÃ©pend du type de stratÃ©gie : unaire (TIPE), 
+gÃ©nÃ©ralisÃ©e (TSI).  Pour chacune d'elle, 
+on introduit une distance diffÃ©rente.
+
+On montre qu'on a des rÃ©sultats similaires.
+
+\input{12TIPE}
+
+
+
+gÃ©nÃ©rer des fonctions vÃ©rifiant ceci (TIPE12 juste sur le rÃ©sultat d'adrien).
+
+\chapter{PrÃ©diction des systÃ¨mes chaotiques}
+
+13 JournalMichel
+
+
 
 
 
-% \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 
+realistic in practice for close systems. 
+However, in real large scale distributed systems where bandwidth is weak, 
+this restriction is too strong. In that case, one should only consider that 
+matrix $s^{t}$ follows the  iterations of the system, \textit{i.e.},
+for all $i$, $j$, $1 \le i \le j \le n$,  we have$
+\lim\limits_{t \to \infty} s_{ij}^t = + \infty$. 
+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}. 
+
 
 % \chapter{Conclusion}
 
@@ -200,6 +244,14 @@ de l'asynchronisme en terme de vitesse de convergence.
 \input{annexecontinuite.tex}
 
 
+\section{CaractÃ©risation des fonctions $f$ rendant chaotique $G_f$ dans $(\mathcal{X},d)$}\label{anx:chaos:unaire}
+\input{caracunaire.tex}
+
+
+
+
+
+
 
 \section{ThÃ©orÃ¨me~\ref{th:Adrien}}\label{anx:sccg}
 \input{annexesccg}
