X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/rairo15.git/blobdiff_plain/753ebfb9b4f7828df9b2f2e38cc9b7076be71d0c..6537ad6b39c8648e4c3597b469e79e505193e358:/main.tex?ds=sidebyside diff --git a/main.tex b/main.tex index 4143e22..5fa40f4 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,22 +45,33 @@ } } + + +\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{.} -\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}} -\newtheorem{Proof}{Preuve :} -\newtheorem{xpl}{Exemple illustratif :} +\newtheorem{Proof}{Proof} +\newtheorem{proposition}{Proposition} +\newtheorem{xpl}{Running Example} \newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}} %\newcommand{\ie}{\textit{i.e.}} @@ -55,7 +83,7 @@ \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]{''} @@ -72,8 +100,8 @@ \author{Jean-François Couchot, Christophe Guyeux, Pierre-Cyrile Heam} \address{Institut FEMTO-ST, Université de Franche-Comté, Belfort, France} -\author{Sylvain Contassot-Vivier} -\address{Loria - UMR 7503, Université de Lorraine, Nancy, France} +%\author{Sylvain Contassot-Vivier} +%\address{Loria - UMR 7503, Université de Lorraine, Nancy, France} \date{...} @@ -91,33 +119,43 @@ may be updated at each iteration. At the theoretical level, we show that \section{Introduction} %\input{intro} -\section{Preliminaries} + \section{\uppercase{Preliminaries}}\label{sec:preliminaries} \input{preliminaries} - \section{Proof Of Chaos} +\JFC{Enlever les refs aux PRNGs, harmoniser l'exemple} +\input{chaos} -\section{Stopping Time} +\section{Generating....} +\JFC{Reprendre Mons en synthétisant... conclusion: n-cube moins hamitonien. +question efficacité d'un tel algo} +%\input{chaos} + +\section{Random walk on the modified 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). +% Énoncer le problème de la taille de cette borne +% (elle est certes finie, mais grande). -\section{Quality study of the strategy} +%\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{Application to Pseudorandom Number Generation} +\input{prng} +\JFC{ajouter ici les expérimentations} + \section{Conclusion} %\input{conclusion} %\acknowledgements{...} - +\bibliographystyle{alpha} \bibliography{biblio} \end{document}