]> AND Private Git Repository - rairo15.git/blobdiff - main.tex
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
fin reprise preuve chaos
[rairo15.git] / main.tex
index 9192540d0e63df06a217b721822a424cd018f880..bc8524b5951330394e500461650e708f68be85c5 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -1,17 +1,37 @@
 \documentclass{ita}
 \usepackage{graphicx}
+\usepackage{caption}
+\usepackage{subcaption}
+
 \usepackage{dsfont}
 \usepackage{stmaryrd}
-\usepackage[font=footnotesize]{subfig}
+%\usepackage[font=footnotesize]{subfig}
 \usepackage{ifthen}
 \usepackage{color}
 \usepackage{algorithm2e}
-\usepackage[hyperfirst=true,nogroupskip,nonumberlist,xindy]{glossaries}
+\usepackage{epstopdf}
+%\usepackage{ntheorem}
+
+\usepackage[utf8]{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
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \definecolor{bleuclair}{rgb}{0.75,0.75,1.0}
   }
 }
 
-% \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}}
-% \theoremheaderfont{\sc}
-% \theorembodyfont{\upshape}
-% \theoremstyle{nonumberplain}
-% \theoremseparator{}
-% \theoremsymbol{\rule{1ex}{1ex}}
-\newtheorem{Proof}{Preuve :}
-\newtheorem{xpl}{Exemple illustratif :}
+
+
+\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}}
+
+
+\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}}
 %\newcommand{\ie}{\textit{i.e.}}
@@ -55,7 +76,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]{''}
 
 
 
-\makeglossaries
-\loadglsentries{glossaire}
 
 
 \title{XXX}
 
 \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-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}
 
-\date{...}
 
 \begin{abstract}
-This   paper  extends   the  results   presented  in~\cite{bcgr11ip}
-and~\cite{chgw14oip} by using the \emph{chaotic} updating mode, in the sense
+This   paper  extends   the  results   presented  in~\cite{bcgr11:ip}
+and~\cite{DBLP:conf/secrypt/CouchotHGWB14} 
+by using the \emph{chaotic} updating mode, in the sense
 of F.  Robert~\cite{Robert}.  In this mode, several components of the system
 may be  updated at each iteration.   At the theoretical level,  we show that
     the properties of  chaos and uniformity of the  obtained PRNG are preserved.
@@ -90,40 +107,48 @@ may be  updated at each iteration.   At the theoretical level,  we show that
     reduced mixing time.
 \end{abstract}
 
+\maketitle
+
 \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}
+\JFC{Enlever les refs aux PRNGs, harmoniser l'exemple}
+\input{chaos}
 
+\section{Generating....}
+\JFC{Reprendre Mons en synthétisant... conclusion: n-cube moins hamitonien.
+question efficacité d'un tel algo}
+%\input{chaos}
 
-\section{Application  à la génération de nombres pseudo-aléatoires}
-\label{section:genpa}
-\input{exp}
+\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). 
 
-\section{Expérimentations}
-\label{section:expes}
-\input{nist}
 
-\section{Conclusion}
-\input{conclusion}
 
-%\acknowledgements{...}
 
-\appendix%\begin{annex}
-   \section{Preuve de continuité de $G_f$ dans $(\mathcal{X},d)$}
-  \label{anx:cont}
-  \input{annexecontinuite}
+%\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}
+\input{prng}
+\JFC{ajouter ici les expérimentations}
 
-\printglossaries
 
+\section{Conclusion}
+%\input{conclusion}
+
+%\acknowledgements{...}
+
+\bibliographystyle{alpha}
 \bibliography{biblio}
 
 \end{document}