preliminaries maj

[rairo15.git] / main.tex

diff --git a/main.tex b/main.tex
index 9192540d0e63df06a217b721822a424cd018f880..efbc870021ddc089d08b8ccc98249b1e2a51c8c7 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -6,9 +6,26 @@
 \usepackage{ifthen}
 \usepackage{color}
 \usepackage{algorithm2e}
 \usepackage{ifthen}
 \usepackage{color}
 \usepackage{algorithm2e}

-\usepackage[hyperfirst=true,nogroupskip,nonumberlist,xindy]{glossaries}
+\usepackage{epstopdf}

 
 
 
 

+\usepackage[latin1]{inputenc}
+\usepackage[T1]{fontenc} 
+\usepackage[english]{babel}
+\usepackage{amsmath,amssymb,latexsym,eufrak,euscript}
+\usepackage{pstricks,pst-node,pst-coil}
+
+
+\usepackage{url,tikz}
+\usepackage{pgflibrarysnakes}
+
+\usepackage{multicol}
+
+\usetikzlibrary{arrows}
+\usetikzlibrary{automata}
+\usetikzlibrary{snakes}
+\usetikzlibrary{shapes}
+

 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % Définitions personnelles
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % Définitions personnelles


@@ -28,22 +45,32 @@
   }
 }
 
   }
 }
 

+
+
+\newcommand {\tv}[1] {\lVert #1 \rVert_{\rm TV}}
+\def \top {1.8}
+\def \topt {2.3}
+\def \P {\mathbb{P}}
+\def \ov {\overline}
+\def \ts {\tau_{\rm stop}}
+
+

 % \theoremstyle{plain}
 % \theoremheaderfont{\normalfont\bfseries\sc}
 % \theorembodyfont{\slshape}
 % \theoremsymbol{\ensuremath{\diamondsuit}}
 % \theoremprework{\bigskip}
 % \theoremseparator{.}
 % \theoremstyle{plain}
 % \theoremheaderfont{\normalfont\bfseries\sc}
 % \theorembodyfont{\slshape}
 % \theoremsymbol{\ensuremath{\diamondsuit}}
 % \theoremprework{\bigskip}
 % \theoremseparator{.}

-\newtheorem{Def}{\underline{Définition}}
-\newtheorem{Lemma}{\underline{Lemme}}
-\newtheorem{Theo}{\underline{Théorème}}
+\newtheorem{Def}{\underline{Definition}}
+\newtheorem{Lemma}{\underline{Lemma}}
+\newtheorem{Theo}{\underline{Theorem}}

 % \theoremheaderfont{\sc}
 % \theorembodyfont{\upshape}
 % \theoremstyle{nonumberplain}
 % \theoremseparator{}
 % \theoremsymbol{\rule{1ex}{1ex}}
 % \theoremheaderfont{\sc}
 % \theorembodyfont{\upshape}
 % \theoremstyle{nonumberplain}
 % \theoremseparator{}
 % \theoremsymbol{\rule{1ex}{1ex}}

-\newtheorem{Proof}{Preuve :}
-\newtheorem{xpl}{Exemple illustratif :}
+\newtheorem{Proof}{Proof}
+\newtheorem{xpl}{Running Example}

 
 \newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}
 %\newcommand{\ie}{\textit{i.e.}}
 
 \newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}
 %\newcommand{\ie}{\textit{i.e.}}


@@ -55,7 +82,7 @@
 \newcommand{\Gall}[0]{\ensuremath{\mathcal{G}}}
 
 
 \newcommand{\Gall}[0]{\ensuremath{\mathcal{G}}}
 
 

-\newcommand{\JFC}[1]{\begin{color}{green}\textit{}\end{color}}
+\newcommand{\JFC}[1]{\begin{color}{green}\textit{#1}\end{color}}

 \newcommand{\CG}[1]{\begin{color}{blue}\textit{}\end{color}}
 \newcommand{\og}[0]{``}
 \newcommand{\fg}[1]{''}
 \newcommand{\CG}[1]{\begin{color}{blue}\textit{}\end{color}}
 \newcommand{\og}[0]{``}
 \newcommand{\fg}[1]{''}


@@ -63,8 +90,6 @@
 
 
 
 
 
 

-\makeglossaries
-\loadglsentries{glossaire}

 
 
 \title{XXX}
 
 
 \title{XXX}


@@ -91,38 +116,37 @@ may be  updated at each iteration.   At the theoretical level,  we show that
 \end{abstract}
 
 \section{Introduction}
 \end{abstract}
 
 \section{Introduction}

-\input{intro}
+%\input{intro}

 
 

-\section{Préliminaires}
-\label{section:chaos}
-\input{sdd}
+ \section{\uppercase{Preliminaries}}\label{sec:preliminaries}
+\input{preliminaries}

 
 

-\section{Caractérisation des systèmes dynamiques booléens chaotiques}
-\label{section:caracterisation}
-\input{cs}

 
 

+\section{Proof Of Chaos}

 
 

-\section{Application  à la génération de nombres pseudo-aléatoires}
-\label{section:genpa}
-\input{exp}
+
+
+\section{Stopping Time}
+\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{Expérimentations}
 
 
 \section{Expérimentations}

-\label{section:expes}
-\input{nist}
+%

 
 \section{Conclusion}
 
 \section{Conclusion}

-\input{conclusion}
+%\input{conclusion}

 
 %\acknowledgements{...}
 
 
 %\acknowledgements{...}
 

-\appendix%\begin{annex}
-   \section{Preuve de continuité de $G_f$ dans $(\mathcal{X},d)$}
-  \label{anx:cont}
-  \input{annexecontinuite}
-
-
-\printglossaries

 
 \bibliography{biblio}
 
 
 \bibliography{biblio}