\usepackage[utf8]{inputenc}
\usepackage{thmtools, thm-restate}
\usepackage{multirow}
+\usepackage{algorithm2e}
%\declaretheorem{theorem}
%%--------------------
\newtheorem{theorem}{Théorème}
\newtheorem{lemma}{Lemme}
+\newtheorem{corollary}{Corollaire}
\newtheorem*{xpl}{Exemple}
\newtheorem*{Proof}{Preuve}
\newtheorem{Def}{Définition}
\chapter[Caracterisation des systèmes
discrets chaotiques]{Caracterisation des systèmes
- discrets chaotiques pour les schémas unaires et généralisés}
+ discrets chaotiques pour les schémas unaires et généralisés}\label{chap:carachaos}
La première section rappelle ce que sont les systèmes dynamiques chaotiques.
Dire que cette caractérisation dépend du type de stratégie : unaire (TIPE),
\input{15TSI}
-\section{Générer des fonctions chaotiques}
+\section{Générer des fonctions chaotiques}\label{sec:11FCT}
\input{11FCT}
\chapter{Prédiction des systèmes chaotiques}
\chapter{Caractérisation des générateurs chaotiques}
\input{15RairoGen}
+\chapter{Engendrer une classe de générateurs}
+\input{14Secrypt}
\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.
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.
+par deux entiers voisins. Par optimisation?
-
+\JFC{Perspectives pour les générateurs} : marcher ou sauter... comment on
+pourrait étendre, ce que l'on a déjà, ce qu'il reste à faire.
+% TSI 2015
\input{annexesccg}
-
+\chapter{Preuves sur les générateurs de nombres pseudo-aléatoires}\label{anx:generateur}
+\input{annexePreuveDistribution}
\backmatter