X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/rairo15.git/blobdiff_plain/ac6bb3190276a11caaed94b7443f95f697328bcd..ce7a3e374f8ea8cd61b0cfebb7a7eae7852f75e1:/main.tex?ds=inline

diff --git a/main.tex b/main.tex
index b0f9c8a..465fbf5 100644
--- a/main.tex
+++ b/main.tex
@@ -58,12 +58,6 @@
 \def \ts {\tau_{\rm stop}}
 
 
-\newtheorem{Def}{Definition}
-%\newtheorem{Lemma}{\underline{Lemma}}
-\newtheorem{Theo}{Theorem}
-\newtheorem{Corollary}{Corollary}
-\newtheorem{Lemma}{Lemma}
-\newtheorem{proposition}{Proposition}
 \newtheorem*{xpl}{Running Example}
 
 \newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}
@@ -92,56 +86,47 @@
 
 \begin{document}
 
-\author{Jean-FranÃ§ois Couchot, Christophe Guyeux, Pierre-Cyrile Heam}
-\address{Institut FEMTO-ST, UniversitÃ© de Franche-ComtÃ©, Belfort, France}
+\author{Jean-FranÃ§ois Couchot, Christophe Guyeux, Pierre-Cyrille Heam}
+\address{FEMTO-ST Institute, University of Franche-ComtÃ©, Belfort, France}
 
+\keywords{Pseudorandom Number Generator, Theory of Chaos, Markov Matrice, Hamiltonian Path, Mixing Time, Stopping Time, Statistical Test}
 
+\subjclass{34C28, 37A25,11K45}
 
 \begin{abstract}
-This paper is dedicated to the desgin of chaotic random generators
+This paper is dedicated to the design of chaotic random generators
 and extends previous works proposed by some of the authors.
 We propose a theoretical framework proving both the chaotic properties and
 that the limit distribution is uniform.
 A theoretical bound on the stationary time is given and
-practical experiments show that the generators successfully passe
-the classical statsitcal tests.
+practical experiments show that the generators successfully pass
+the classical statistical tests.
 \end{abstract}
 
 \maketitle
 
 \section{Introduction}
-%\input{intro}
+\input{intro}
 
  \section{\uppercase{Preliminaries}}\label{sec:preliminaries}
 \input{preliminaries}
 
-\section{Proof Of Chaos}
+\section{Proof Of Chaos}\label{sec:proofOfChaos}
 \input{chaos}
 
-\section{Functions with Strongly Connected $\Gamma_{\{b\}}(f)$}
+\section{Functions with Strongly Connected $\Gamma_{\{b\}}(f)$}\label{sec:SCCfunc}
 \input{generating}
 
-\section{Random walk on the modified Hypercube}
+\section{Stopping Time}\label{sec:hypercube}
 \input{stopping}
 
-% Donner la borne du stopping time quand on marche dedans (nouveau). 
-% Ãnoncer le problÃ¨me de la taille de cette borne
-% (elle est certes finie, mais grande). 
-
-
-
-
-%\section{Quality study of the strategy}
-%6) Se pose alors la question de comment gÃ©nÃ©rer une stratÃ©gie de "bonne qualitÃ©". Par exemple, combien de gÃ©nÃ©rateurs alÃ©atoires embarquer ? (nouveau)
-
-
-\section{Application to Pseudorandom Number Generation}
+\section{Experiments}\label{sec:prng}
 \input{prng}
-\JFC{ajouter ici les expÃ©rimentations}
+
 
 
 \section{Conclusion}
-%\input{conclusion}
+\input{conclusion}
 
 %\acknowledgements{...}
 
