preuve promela traduite

[hdrcouchot.git] / ahmad.tex

diff --git a/ahmad.tex b/ahmad.tex
index 1b92dbced478c7e7e615150393e81f8704348b8a..05d91778f94335d76143054fbc50f9af17e3b52c 100644 (file)
--- a/ahmad.tex
+++ b/ahmad.tex
@@ -20,7 +20,13 @@ préétablies et conserver ainsi leur information et donc la marque.
 STDM~\cite{CW01} est une instance de ces schémas de marquage.
 
 Ce chapitre présente une application de STDM au marquage de documents PDFs.
 STDM~\cite{CW01} est une instance de ces schémas de marquage.
 
 Ce chapitre présente une application de STDM au marquage de documents PDFs.

-\JFC{annonce du plan}
+La première section fournit quelques rappels sur la STDM. Le schéma basé sur 
+cette approche est présenté à la section~\ref{sec:stdm:schema}. 
+Finalement, la démarche expérimentale permettant de trouver un compromis entre 
+robustesse et qualité visuelle est présentée à la section~\ref{sec:stdm:exp}
+Ce travail a été publié dans~\cite{BDCC16}.
+
+

 
 \section{Rappels sur la Spread Transform Dither Modulation}
 \label{sec:STDM}
 
 \section{Rappels sur la Spread Transform Dither Modulation}
 \label{sec:STDM}


@@ -66,7 +72,7 @@ $U(\Delta)$.
 Tous les éléments sont en place pour embarquer une marque 
 dans un fichier PDF selon le schéma STDM.
 
 Tous les éléments sont en place pour embarquer une marque 
 dans un fichier PDF selon le schéma STDM.
 

-\section{Application au marquage de documents PDF}
+\section{Application au marquage de documents PDF}\label{sec:stdm:schema}

 
 On détaille successivement comment insérer une marque dans un document PDF, 
 puis comment l'extraire.
 
 On détaille successivement comment insérer une marque dans un document PDF, 
 puis comment l'extraire.


@@ -132,7 +138,7 @@ de taille $L$ mutuellement disjoints dans $[1,N]$.
   en remplaçant $x'$ par $\dot{x'}$ .
 \end{enumerate}
 
   en remplaçant $x'$ par $\dot{x'}$ .
 \end{enumerate}
 

-\section{Expérimentations }
+\section{Expérimentations}\label{sec:stdm:exp}

 Le schéma de marquage est paramétré par $\Delta$,  $d_0$ et la manière de construire le vecteur $p$ pour une taille $L$. 
 Les travaux réalisés se sont focalisés sur l'influence du paramètre 
 $D_S = \frac{\Delta^2}{12L}$ dans l'algorithme en satisfaisant 
 Le schéma de marquage est paramétré par $\Delta$,  $d_0$ et la manière de construire le vecteur $p$ pour une taille $L$. 
 Les travaux réalisés se sont focalisés sur l'influence du paramètre 
 $D_S = \frac{\Delta^2}{12L}$ dans l'algorithme en satisfaisant