dqdq

Merge branch 'master' of ssh://bilbo.iut-bm.univ-fcomte.fr/hdrcouchot

diff --combined main.tex
index 5c6e303e7863202f935d18aad7c37e45bc4288e4,16de4a6d6df0dbe324d0067f70d7a9b76bfef6dd..0893d3b0f4388f4792fedbf6b9be69b0c2d0fdf1
--- 1/main.tex
--- 2/main.tex
+++ b/main.tex
@@@ -111,7 -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,12 -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}
  
@@@ -154,8 -151,6 +154,8 @@@
  
  
  \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
@@@ -165,33 -160,44 +165,58 @@@ de l'asynchronisme en terme de vitesse 
  
  
  
 -\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}
  
@@@ -219,6 -225,14 +244,14 @@@
  \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}