derniere modifs

diff --git a/cbhfk.tex b/cbhfk.tex
index fc5a238437b4de050b04ae208b71d7072326b19b..68ccf709b60ca6f550055e3c130b0cf17876d8c2 100644 (file)
--- a/cbhfk.tex
+++ b/cbhfk.tex
@@ -1,7 +1,18 @@
-\vspace{-1em}
+

 \begin{itemize}
 \begin{itemize}

-\item \cite{Wang2003}\footnote{\bibentry{Wang2003}}, \cite{Xiao20094346}\footnote{\bibentry{Xiao20094346}},\cite{Xiao20092288}\footnote{\bibentry{Xiao20092288}},\cite{Xiao20102254}\footnote{\bibentry{Xiao20102254}}.
-\item Logistic, tent,  or Arnold's cat maps: included chaotic functions of
-\alert<2>{real variables}. 
-\item Claim:  chaos properties \alert<2>{preserved} in the final  hash  function.
+\item Constat:
+\begin{itemize}
+\item Choix d'une fonction chaotique (réelle): logistique, tente,  chat d'Arnold\ldots
+\item Affirmation:  les propriétés chaotiques sont préservées lors du développement
+\item Embarquement dans: PRNGs, fonctions de hachage, du tatouage numérique\ldots
+\item Validation par des tests (non exhaustifs)
+\end{itemize}
+
+\item Proposition:
+\begin{itemize}
+\item Cadre cohérent pour le chaos informatique: itération de fonctions sur les entiers
+\item Validation: des preuves et métriques mathématiques et des tests
+\end{itemize}

 \end{itemize}
 \end{itemize}

+
+

diff --git a/ci.tex b/ci.tex
index bf467562876b5fc5737b732f2aa69aea9f856083..5efd640f5d136e9c709b98759cd3dd67a6322308 100644 (file)
--- a/ci.tex
+++ b/ci.tex
@@ -1,32 +1,31 @@
 \vspace{-1.5em}\begin{itemize}
 \vspace{-1.5em}\begin{itemize}

-\item Discrete Iterative System:
+\item Système itératif discret:

 \begin{itemize}
 \begin{itemize}

-\item $x=(x_1,\dots,x_n)$ : $n$ components, $x_i$ in $\Bool=\{0,1\}$.
-\item A \emph{strategy}  \alert<2>{$(S^{t})^{t \in \Nats}$}: sequence of the
-  components that may be updated at time $t$.
-\item Components evolution: defined for times $t=0,1,2,\ldots$
-by:
+\item $x=(x_1,\dots,x_n)$ : $n$ composants, $x_i \in \Bool=\{0,1\}$.
+\item Une \emph{stratégie}  \alert<2>{$(J^{t})^{t \in \Nats}$}: suite des 
+  composants qui peuvent être mis à jour au temps $t$.
+\item \'Evolution des composants : définie pour les temps $t=0,1,2,\ldots$
+par:

 $$  
 \left\{
   \begin{array}{l}   
 $$  
 \left\{
   \begin{array}{l}   

-    \alert<2>{x^{0}}\in \Bool^{n} \textrm{ and}\\
-    x^{t+1}= (x^{t+1}_1,\dots,x^{t+1}_n) \textrm{ where } 
+    \alert<2>{x^{0}}\in \Bool^{n} \textrm{ et}\\
+    x^{t+1}= (x^{t+1}_1,\dots,x^{t+1}_n) \textrm{ où } 

     x^{t+1}_i =  
     \left\{
       \begin{array}{l}
     x^{t+1}_i =  
     \left\{
       \begin{array}{l}

-        \overline{x^{t}_i} \textrm{ if $i = S^t$}  \\
-        x^t_i \textrm{ otherwise} 
+        \overline{x^{t}_i} \textrm{ si $i = J^t$}  \\
+        x^t_i \textrm{ sinon} 

       \end{array} 
     \right.
   \end{array} 
 \right.
 $$
 \end{itemize}
       \end{array} 
     \right.
   \end{array} 
 \right.
 $$
 \end{itemize}

-\item Theoretical Results~\cite{GuyeuxThese10}\footnote{\bibentry{GuyeuxThese10}}: let $\mathcal{X}$ be 
-$ \llbracket 1 ; n \rrbracket^{\Nats} \times 
-\Bool^n$. We can define a distance $d$ on $\mathcal{X}$ and
-a function $f: \mathcal{X} \rightarrow \mathcal{X}$ from the 
-iterative process
-s.t. $f$ is a continuous and chaotic function.
+\item Résultats théoriques: soit 
+$\mathcal{X} = \{1,\ldots, n\}^{\Nats} \times \Bool^n$.
+On peut définir une  distance $d$ sur $\mathcal{X}$ et
+une fonction $f: \mathcal{X} \rightarrow \mathcal{X}$ à partir du processus  
+itératif t.-q. $f$ est une fonction continue et chaotique.

 \end{itemize}
 
 \end{itemize}
 

diff --git a/combMXpl.tex b/combMXpl.tex
old mode 100755 (executable)
new mode 100644 (file)
index fd2c583..b55fbd0
--- a/combMXpl.tex
+++ b/combMXpl.tex
@@ -1,7 +1,7 @@
 
 \begin{exampleblock}{}
 \begin{itemize}
 
 \begin{exampleblock}{}
 \begin{itemize}

-\item Graphe de connection: 
+\item Graphe de connexion: 

 \begin{center}
 \includegraphics[width=3cm]{xplgraph.pdf}
 \end{center}
 \begin{center}
 \includegraphics[width=3cm]{xplgraph.pdf}
 \end{center}

diff --git a/combMixed.tex b/combMixed.tex
old mode 100755 (executable)
new mode 100644 (file)
index 29e122b..86dbd51
--- a/combMixed.tex
+++ b/combMixed.tex
@@ -6,7 +6,7 @@
   \end{itemize}
 \item Formalisation:
   \begin{itemize}
   \end{itemize}
 \item Formalisation:
   \begin{itemize}

-  \item Regroupement selon les composantes connexes (SCC) du graphe de connection
+  \item Regroupement selon les composantes connexes (SCC) du graphe de connexion

   \item Mode mixe:
     \begin{itemize}
     \item $S_{ij}^t = t$ si $i \in SCC(j)$.
   \item Mode mixe:
     \begin{itemize}
     \item $S_{ij}^t = t$ si $i \in SCC(j)$.


@@ -23,5 +23,5 @@
     $
     \end{itemize}
   \end{itemize}
     $
     \end{itemize}
   \end{itemize}

-\item Elements d'un même groupe: équivalents de l'extérieur.
+\item Éléments d'un même groupe: équivalents de l'extérieur.

 \end{itemize}
 \end{itemize}

diff --git a/combMixedTheo.tex b/combMixedTheo.tex
old mode 100755 (executable)
new mode 100644 (file)
index 68af77f..95a4fc1
--- a/combMixedTheo.tex
+++ b/combMixedTheo.tex
@@ -2,5 +2,5 @@
   Soit une fonction $F$ contenant un unique point fixe $X^*$. 
   Si les itérations chaotiques convergent vers $X^*$, 
   alors les itérations mixes convergent aussi $X^*$ 
   Soit une fonction $F$ contenant un unique point fixe $X^*$. 
   Si les itérations chaotiques convergent vers $X^*$, 
   alors les itérations mixes convergent aussi $X^*$ 

-  pour n'imoporte quelle stratégie pseudo périodique.
+  pour n'importe quelle stratégie pseudo périodique.

 \end{Theorem}
 \end{Theorem}

diff --git a/devaney.tex b/devaney.tex
index 2a7934e7da4dfbcb69ea6a71c2550527ddb4357f..ac73682f2a12e5f2caf248189af96c0728062ab7 100644 (file)
--- a/devaney.tex
+++ b/devaney.tex
@@ -1,24 +1,20 @@
-\begin{block}{Definition: Chaotic function [4]$^4$}
-Let $(\mathcal{X}; d)$ be a metric space.
-A function $f: \mathcal{X} \rightarrow \mathcal{X}$ is chaotic on $\mathcal{X}$ if:
+\begin{block}{Définition d'une fonction chaotique selon Devaney}
+Soit $(\mathcal{X}; d)$ un espace métrique.
+Une fonction $f: \mathcal{X} \rightarrow \mathcal{X}$ est chaotique sur $\mathcal{X}$ si:

 \begin{enumerate}
 \begin{enumerate}

-\item $f$: topologically transitive (\textit{i.e.}, indecomposability of the system)\\
-(for any pair of open sets $U,V \subset \mathcal{X}$, $\exists k > 0 . 
+\item $f$: topologiquement transitive (\textit{i.e.}, système indécomposable)\\
+(pour chaque paire d'ensembles ouverts $U,V \subset \mathcal{X}$, $\exists k > 0 . 

 f^k (U) \cap V \neq \emptyset$)
 \\
 f^k (U) \cap V \neq \emptyset$)
 \\

-\onslide<2>{\alert<2>{Addressed property: preimage resistance}}.
-\item  $f$ is regular (\textit{i.e.}, fundamentally different points coexist)\\
-(the set of periodic points is dense in $\mathcal{X}$).
-\item  $f$: sensitive dependent on initial conditions (SDIC)\\
+\item  $f$ est régulière (l'ensemble des points périodiques est dense dans $\mathcal{X}$).
+\item  $f$: sensible aux conditions initiales \\

 ($
 \exists \delta  > 0 .  \forall x \in  \mathcal{X}
 \textrm{ and } 
 ($
 \exists \delta  > 0 .  \forall x \in  \mathcal{X}
 \textrm{ and } 

-\forall V \textrm{ neighborhood of $x$}.
-\exists y \in V \textrm{ and } 
+\forall V \textrm{ voisin de $x$}.
+\exists y \in V \textrm{ et } 

 \exists n \ge 0 . 
 d(f^n(x); f^n(y))> \delta
 $)\\
 \exists n \ge 0 . 
 d(f^n(x); f^n(y))> \delta
 $)\\

-\onslide<2>{\alert<2>{Addressed properties: avalanche effect}}.

 \end{enumerate}
 \end{block}
 \end{enumerate}
 \end{block}

-\footnote{\bibentry{devaney}}
\ No newline at end of file

diff --git a/introModes.tex b/introModes.tex
old mode 100755 (executable)
new mode 100644 (file)
index edbe918..43105c7
--- a/introModes.tex
+++ b/introModes.tex
@@ -1,5 +1,5 @@
 \begin{itemize}
 \begin{itemize}

- \item \emph{Strategie}: les éléments $J^t$ modifiés au temps $t$;
+ \item \emph{Stratégie}: les éléments $J^t$ modifiés au temps $t$;

  \item \emph{Date de Visibilité}: suite de la date la plus récente où un
    composant connaît la valeur d'un autre.
    \begin{itemize}
  \item \emph{Date de Visibilité}: suite de la date la plus récente où un
    composant connaît la valeur d'un autre.
    \begin{itemize}


@@ -20,7 +20,7 @@ F_i
 \begin{itemize}
 \item Parallèle: $J^t=\{1,\ldots,n\}$ and $S^t=(t)$;
 \item Chaotique: $S^t=(t)$;
 \begin{itemize}
 \item Parallèle: $J^t=\{1,\ldots,n\}$ and $S^t=(t)$;
 \item Chaotique: $S^t=(t)$;

-\item Asynchrone: aucune constrainte.
+\item Asynchrone: aucune contrainte.

 \end{itemize}
 \end{itemize}
 
 \end{itemize}
 \end{itemize}
 

diff --git a/introRIter.tex b/introRIter.tex
old mode 100755 (executable)
new mode 100644 (file)
index 8aa4f23..3a53162
--- a/introRIter.tex
+++ b/introRIter.tex
@@ -8,7 +8,7 @@
 \begin{center}
 \includegraphics[width=4cm]{chao_iterate_excerpt.pdf}
 \end{center}}
 \begin{center}
 \includegraphics[width=4cm]{chao_iterate_excerpt.pdf}
 \end{center}}

-\only<3>{\item Iterations asynchrones : divergence même avec  $J^t=\{1,\ldots,n\}$  
+\only<3>{\item Itérations asynchrones : divergence même avec  $J^t=\{1,\ldots,n\}$  

 \begin{itemize}
 \item $S^t = \left(
 \begin{array}{lllll}
 \begin{itemize}
 \item $S^t = \left(
 \begin{array}{lllll}


@@ -19,7 +19,7 @@ t & t & t & t & t\\
 t & t & t & t & t \\
 \end{array}
 \right)
 t & t & t & t & t \\
 \end{array}
 \right)

-\textrm{ where }
+\textrm{ où }

 t' = \left\{
 \begin{array}{l}
 t \textrm{si $t$ est pair;} \\
 t' = \left\{
 \begin{array}{l}
 t \textrm{si $t$ est pair;} \\

diff --git a/secu.tex b/secu.tex
index 0519ecba6ea913e21689ec692e81e9e4973fbf73..162bd3be0ded7f549bbdb96a8eb3585a19259b85 100644 (file)
--- a/secu.tex
+++ b/secu.tex
@@ -1 +1,17 @@
- 
\ No newline at end of file
+\begin{itemize}
+\item PRNG: 
+\begin{itemize}
+\item Classe de générateurs cryptographiquement sûrs
+\item Succès sur les test les plus difficiles (DieHard, U01, Nist)
+\end{itemize}
+\item Stéganographie: 
+\begin{itemize}
+\item Classe d'algorithmes $\epsilon$ sûrs
+\item Robustesse et stégo sécurités du même ordre que les meilleurs algos
+  existants  
+\end{itemize}
+\item Fonctions de hachage: 
+\begin{itemize}
+\item Travaux en cours.
+\end{itemize}
+\end{itemize}

diff --git a/slides_and.tex b/slides_and.tex
index 5f37d59d033cc8625c0d43405a0cca20dfe3d189..c47b2f19e44e9b3e5e9948deb5bbdf2203878ae7 100644 (file)
--- a/slides_and.tex
+++ b/slides_and.tex
@@ -39,6 +39,9 @@
 %\usepackage{xspace}
 %\usepackage{times}
 %\usepackage{ag-texgraphicx}
 %\usepackage{xspace}
 %\usepackage{times}
 %\usepackage{ag-texgraphicx}

+
+\usepackage{dsfont}
+

 \usepackage{lmodern}
 \usepackage[french]{babel} 
 
 \usepackage{lmodern}
 \usepackage[french]{babel} 
 


@@ -73,13 +76,15 @@
 }
 
 
 }
 
 

+\newcommand{\Bool}[0]{\ensuremath{\mathds{B}}}
+\newcommand{\Nats}[0]{\ensuremath{\mathds{N}}}

 
 
 %% titlepage %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \author{J.-F. Couchot et R. Couturier} 
 \institute{\large Institut Femto-ST \\ \normalsize{équipe AND  (Algorithmique Numérique Distribuée) }}
 
 
 %% titlepage %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \author{J.-F. Couchot et R. Couturier} 
 \institute{\large Institut Femto-ST \\ \normalsize{équipe AND  (Algorithmique Numérique Distribuée) }}

-\title[AND]{\Large présentation de l'équipe Algoithmique Numérique Distribuée}
+\title[AND]{\Large Présentation de l'\'Equipe Algorithmique Numérique Distribuée}

 %\subject{HDR}
 
 \begin{document}
 %\subject{HDR}
 
 \begin{document}


@@ -93,7 +98,7 @@
 
 
 \newcommand{\inputFrame}[2]{
 
 
 \newcommand{\inputFrame}[2]{

-\subsection{#1}
+%\subsection{#1}

 \frame{
 \frametitle{#1}
 %\begin{small}
 \frame{
 \frametitle{#1}
 %\begin{small}


@@ -102,18 +107,32 @@
 }}
 
 
 }}
 
 

-

 \begin{frame} %-------------------------------------------------------
   \frametitle{plan}
 \begin{frame} %-------------------------------------------------------
   \frametitle{plan}

-  \begin{myitemize}
-    \item qssqdsqd
-    \item qsdsq
-    \item qqsd 
-    \item sdqsd
-  \end{myitemize}
+  \tableofcontents[hideallsubsections]
+  % \begin{myitemize}
+  %   \item qssqdsqd
+  %   \item qsdsq
+  %   \item qqsd 
+  %   \item sdqsd
+  % \end{myitemize}

 \end{frame}
 
 
 \end{frame}
 
 

+\section{Itérations synchrone ou asynchrone}
+\frame{\subsection{Plan}\tableofcontents[currentsection,hideallsubsections]}
+\inputFrame{Exemple jouet}{introRunning}
+\inputFrame{Du mode parallèle au mode asynchrone}{introModes}
+\inputFrame{Itérations de l'exemple jouet}{introRIter}
+\inputFrame{Mode mixe}{combMixed}
+\inputFrame{Composantes Connexes de l'exemple jouet}{combMXpl}
+\inputFrame{Résultats théoriques du mode mixe}{combMixedTheo}
+\inputFrame{Expériences}{combMExp}
+
+
+
+\section{Algorithmique numérique asynchrone}
+\frame{\subsection{Plan}\tableofcontents[currentsection,hideallsubsections]}

 
 \begin{frame} %-------------------------------------------------------
   \frametitle{Itérations asynchrones}
 
 \begin{frame} %-------------------------------------------------------
   \frametitle{Itérations asynchrones}


@@ -134,44 +153,37 @@
     \item Résolution de systèmes linéaires sur Grid'5000 avec des communications entre les n\oe uds
     \item Résolution du problème obstacle sur Grid'5000 ou sur cluster de GPU
     \item Résolution d'un problème d'advection-diffusion sur Grid'5000
     \item Résolution de systèmes linéaires sur Grid'5000 avec des communications entre les n\oe uds
     \item Résolution du problème obstacle sur Grid'5000 ou sur cluster de GPU
     \item Résolution d'un problème d'advection-diffusion sur Grid'5000

-    \item \alert{Algo iteratifs asynchrones permettent d'exécuter des algorithmes avec des dépendances de données dans des contextes ou les paramètres réseaux fluctuent => Grille}
+    \item \alert{Algos itératifs asynchrones permettent d'exécuter des algorithmes avec des dépendances de données dans des contextes où les paramètres réseaux fluctuent => Grille}

   \end{myitemize}
 \end{frame}
 
 \begin{frame} %-------------------------------------------------------
   \end{myitemize}
 \end{frame}
 
 \begin{frame} %-------------------------------------------------------

-  \frametitle{Equilibrage de charge}
+  \frametitle{Équilibrage de charge}

   \begin{myitemize}
     \item Contexte : des processeurs n'ont pas la même quantité de calcul
   \begin{myitemize}
     \item Contexte : des processeurs n'ont pas la même quantité de calcul

-    \item Raison : charge évolue avec le temps, charge extérieur, processeurs et/ou réseaux hétérogènes
-    \item But : Equilibrer la charge entre les processeurs
+    \item Raison : charge évolue avec le temps, charge extérieure, processeurs et/ou réseaux hétérogènes
+    \item But : Équilibrer la charge entre les processeurs

     \item Conception de nombreux algorithmes d'équilibrage de charge distribués
     \item Particularités : contexte distribué, preuve de convergence, support de pertes de liens, conception de stratégie d'équilibrage
   \end{myitemize}
 \end{frame}
 
 \begin{frame} %-------------------------------------------------------
     \item Conception de nombreux algorithmes d'équilibrage de charge distribués
     \item Particularités : contexte distribué, preuve de convergence, support de pertes de liens, conception de stratégie d'équilibrage
   \end{myitemize}
 \end{frame}
 
 \begin{frame} %-------------------------------------------------------

-  \frametitle{GPU computing}
+  \frametitle{Calculs sur GPU}

   \begin{myitemize}
     \item Accélération importante dans certains cas (x50)
   \begin{myitemize}
     \item Accélération importante dans certains cas (x50)

-    \item Encadrements de 2 thèses sur cette thématique : résolution systèmes linéaires sur clusters de gpu, segmentation et débruitage d'image
+    \item Encadrements de 2 thèses sur cette thématique : résolution systèmes linéaires sur clusters de GPUs, segmentation et débruitage d'image

     \item Conception d'un algorithme très performant pour générer des nombres pseudo-aléatoires : 50 Milliards nb/s
   \end{myitemize}
 \end{frame}
 
 
     \item Conception d'un algorithme très performant pour générer des nombres pseudo-aléatoires : 50 Milliards nb/s
   \end{myitemize}
 \end{frame}
 
 

-
-
-\section{Combinaison synchrone/asynchrone}
+\section{Avancées autour du chaos}

 \frame{\subsection{Plan}\tableofcontents[currentsection,hideallsubsections]}
 \frame{\subsection{Plan}\tableofcontents[currentsection,hideallsubsections]}

-\inputFrame{Exemple jouet}{introRunning}
-\inputFrame{Du mode parallèle au mode asynchrone}{introModes}
-\inputFrame{Iterations de l'exemple jouet}{introRIter}
-\inputFrame{Mode mixe}{combMixed}
-\inputFrame{Composantes Connexes de l'exemple jouet}{combMXpl}
-\inputFrame{Résultats théoriques du mode mixe}{combMixedTheo}
-\inputFrame{Expériences}{combMExp}
-
-\section{Avancées autours du chaos}
+\inputFrame{Chaos selon Devaney}{devaney}
+\inputFrame{Motivations}{cbhfk}
+\inputFrame{Fonctions chaotiques discrètes}{ci}
+\inputFrame{Sécurité}{secu}