X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/rairo15.git/blobdiff_plain/c8b7da5a49ee32f19091be950c39633b20b344e3..46923e2a8ce7f8ad2258360cba2127f7f1b79155:/main.tex?ds=inline diff --git a/main.tex b/main.tex index 9192540..6dbf3ef 100644 --- a/main.tex +++ b/main.tex @@ -6,9 +6,26 @@ \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 @@ -28,6 +45,16 @@ } } + + +\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} @@ -63,8 +90,6 @@ -\makeglossaries -\loadglsentries{glossaire} \title{XXX} @@ -91,38 +116,37 @@ may be updated at each iteration. At the theoretical level, we show that \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} -\label{section:expes} -\input{nist} +% \section{Conclusion} -\input{conclusion} +%\input{conclusion} %\acknowledgements{...} -\appendix%\begin{annex} - \section{Preuve de continuité de $G_f$ dans $(\mathcal{X},d)$} - \label{anx:cont} - \input{annexecontinuite} - - -\printglossaries \bibliography{biblio}