ajout espace bib

[rairo15.git] / main.tex

diff --git a/main.tex b/main.tex
index 3072c78d7d869b4e7d5b87c07352aa7ad77d70a5..465fbf5a2d179b15236d958a0c98136a958c0de4 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -58,12 +58,6 @@
 \def \ts {\tau_{\rm stop}}
 
 
 \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}}
 \newtheorem*{xpl}{Running Example}
 
 \newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}


@@ -92,10 +86,12 @@
 
 \begin{document}
 
 
 \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 design of chaotic random generators
 
 \begin{abstract}
 This paper is dedicated to the design of chaotic random generators


@@ -103,8 +99,8 @@ 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
 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
 \end{abstract}
 
 \maketitle


@@ -121,20 +117,9 @@ the classical statsitcal tests.
 \section{Functions with Strongly Connected $\Gamma_{\{b\}}(f)$}\label{sec:SCCfunc}
 \input{generating}
 
 \section{Functions with Strongly Connected $\Gamma_{\{b\}}(f)$}\label{sec:SCCfunc}
 \input{generating}
 

-\section{Random walk on the modified Hypercube}\label{sec:hypercube}
+\section{Stopping Time}\label{sec:hypercube}

 \input{stopping}
 
 \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{Experiments}\label{sec:prng}
 \input{prng}
 
 \section{Experiments}\label{sec:prng}
 \input{prng}