X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/103fee06d77ee199f8956ccb0747b45676c834e5..523864c862215a63c5133568a9771f5b8f60c89e:/mixage.tex

diff --git a/mixage.tex b/mixage.tex
index e4a283c..4ee1171 100644
--- a/mixage.tex
+++ b/mixage.tex
@@ -21,9 +21,6 @@ s^{t}=24 \textrm{ si  $t$ est pair et  } s^{t}=15 \textrm{ sinon }
 \end{equation}
 \noindent active successivement les deux premiers Ã©lÃ©ments (24 est 11000) 
 et les quatre derniers Ã©lÃ©ments (15  est  01111).  
-On dit que la stratÃ©gie est
-\emph{pseudo-periodique}  si tous les Ã©lÃ©ments sont activÃ©s infiniment 
-souvent.
 % , it is sufficient to establish  that the set $\{t \mid t \in \mathbb{N}
 % \land \textit{bin}(s^t)[i]  = 1\}$  is infinite for  any $i$,  $1 \le i  \le n$,
 % where
@@ -54,7 +51,7 @@ souvent.
 Dans le mode asynchrone, a chaque itÃ©ration $t$, chaque composant peut
 mettre Ã  jour son Ã©tat en 
 fonction des derniÃ¨res valeurs qu'il connaÃ®t des autre composants.
-Obtenir ou non les valeurs les plus Ã  jours dÃ©pend du temps de calcul et 
+Obtenir ou non les valeurs les plus Ã  jour dÃ©pend du temps de calcul et 
 du temps d'acheminement de celles-ci. On parle de latence, de dÃ©lai.
 
 Formalisons le mode les itÃ©rations asynchrone.
@@ -190,7 +187,7 @@ Les itÃ©rations asynchrones sont conservÃ©es entre les groupes.
   La  \emph{relation de synchronisation} $\eqNode$ est
   dÃ©finie sur l'ensemble des n{\oe}uds par:
   $i \eqNode j$ si $i$ et $j$  appartiennent Ã  la mÃªme composante fortement
-  connexe (CFC) dans $\Gamma(F)$.
+  connexe (CFC) dans $\Gamma(f)$.
 \end{Def}
 
 On peut facilement dÃ©montrer que la relation de synchronisation est une 
@@ -214,7 +211,7 @@ Ainsi $p_1$ et $p_2$ sont distinguables mÃªme s'ils appartiennent Ã  la mÃªme
 classe.
 Pour gommer cette distinction, on dÃ©finit le mode suivant:
 \begin{Def}[ItÃ©rations mixes avec delais uniformes]
-  Le mode mixe a des \emph{dÃ©lais uniformes}si pour chaque 
+  Le mode mixe a des \emph{dÃ©lais uniformes} si pour chaque 
   $t=0,1,\ldots$ et pour chaque paire de  classes  $(\class{p}, \class{q})$,
   il existe une constante $d^t_{pq}$  telle que la propriÃ©tÃ© suivante est 
   Ã©tablie:
@@ -420,7 +417,7 @@ ascendants pour converger. On a dans ce cas:
   mode synchrone.
 \end{xpl}
 
-\subsection{Le mode gÃ©nÃ©ralisÃ© asynchrone}
+\subsection{Le mode unaire asynchrone}
 \label{sec:evalasync}
 En terme de durÃ©e de convergence, ce mode peut Ãªtre vu comme un 
 cas particulier du mode mixe oÃ¹ toutes les classes sont des singletons.
@@ -442,7 +439,7 @@ et apparaÃ®t lorsque chaque Ã©lÃ©ment dÃ©pend des autres et que les calculs
 ne recouvrent nullement les communications.
 
 \begin{xpl}
-  La \Fig{fig:evalasync} prÃ©sente un exemple d'exÃ©cution du mode gÃ©nÃ©ralisÃ© 
+  La \Fig{fig:evalasync} prÃ©sente un exemple d'exÃ©cution du mode unaire
   asynchrone.
   Certaines communications issues de l'Ã©lÃ©ment $4$ n'ont pas Ã©tÃ© reprÃ©sentÃ©es
   pour des raisons de clartÃ©.
