X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/21064a689bad8fe8e8666af593cad468f1a89483..ab1271f8b9509a86f3434c2389be47fe3a1c4d04:/mixage.tex

diff --git a/mixage.tex b/mixage.tex
index 4045262..973305a 100644
--- a/mixage.tex
+++ b/mixage.tex
@@ -48,7 +48,7 @@ et les quatre derniers Ã©lÃ©ments (15  est  01111).
 % respectively an element of some $E_i$ and a matrix of elements in some $E_i$.
 % The components  may  be updated  (in  a random  order)  according to  a
 % strategy $s$, as in the synchronous mode. 
-Dans le mode asynchrone, a chaque itÃ©ration $t$, chaque composant peut
+Dans le mode asynchrone, Ã  chaque itÃ©ration $t$, chaque composant peut
 mettre Ã  jour son Ã©tat en 
 fonction des derniÃ¨res valeurs qu'il connaÃ®t des autres composants.
 Obtenir ou non les valeurs les plus Ã  jour dÃ©pend du temps de calcul et 
@@ -56,12 +56,12 @@ du temps d'acheminement de celles-ci. On parle de latence, de dÃ©lai.
 
 Formalisons le mode des itÃ©rations asynchrone.
 Soit $x^0 =(x_1^0, \ldots, x_n^0)$ une configuration initiale.
-Soit $(D^{t})^{t \in  \Nats}$ la suite de matrice de taille $n  \times n$  
+Soit $(D^{t})^{t \in  \Nats}$ la suite de matrices de taille $n  \times n$  
 dont chaque Ã©lÃ©ment $D_{ij}^{t}$ reprÃ©sente la date (infÃ©rieure ou Ã©gale Ã  $t$) 
 Ã  laquelle la valeur $x_j$ produite par le composant $j$ devient 
 disponible au composant $i$. 
 On considÃ¨re que le dÃ©lai entre l'Ã©mission par $j$ et la rÃ©ception par $i$, 
-dÃ©fini par $\delta_{ij}^t  = t  - D_{ij}^{t}$ est bornÃ© par une constante $\delta_0$ pour tous les $i$, $j$.
+dÃ©fini par $\delta_{ij}^t  = t  - D_{ij}^{t}$, est bornÃ© par une constante $\delta_0$ pour tous les $i$, $j$.
 Le \emph{mode des itÃ©rations gÃ©nÃ©ralisÃ©es asynchrone} 
 est dÃ©fini pour chaque  $i
 \in \{1,\ldots,n\}$ et chaque  $t=0,1,2,...$ par:
@@ -90,7 +90,7 @@ t \geq t_0  \Rightarrow  x^{t}=x^{t_0}).
 Sinon les itÃ©rations sont dites \emph{divergentes}.
 De plus, si $ (x^{(t)})^{t \in \mathbb{N}}$ dÃ©fini  selon l'Ã©quation 
 \Equ{eq:async} satisfait \Equ{eq:conv}  pour tous les  $x^{(0)}
-\in  E$,  pour toutes les stratÃ©gies pseudo pÃ©riodiques 
+\in  E$,  pour toutes les stratÃ©gies pseudo-pÃ©riodiques 
 $s$  et pour toutes les matrices de dates,
 $(D^{(t)})^{t  \in \Nats}$, alors les itÃ©rations de  $f$ sont 
 \emph{universellement convergentes}.
@@ -150,7 +150,7 @@ qu'il converge vers le point fixe correspondant Ã  l'entier 19.
 Un extrait du graphe des itÃ©rations unaires est donnÃ© Ã  
 la~\Fig{fig:mix:xplchaoFig}. Les libellÃ©s des arcs correspondent aux Ã©lÃ©ments 
 activÃ©s. Les itÃ©rations unaires ne convergent pas pour la stratÃ©gie 
-pseudo pÃ©riodique donnÃ©e Ã  l'Ã©quation~\Equ{eq:pseudo}:
+pseudo-pÃ©riodique donnÃ©e Ã  l'Ã©quation~\Equ{eq:pseudo}:
 le systÃ¨me peut infiniment boucler entre 11 et 3, entre 15 et 7.   
 
 Comme les itÃ©rations unaires ne convergent pas pour certaines stratÃ©gies,
@@ -227,7 +227,7 @@ On a alors le thÃ©orÃ¨me suivant.
 
 \begin{theorem}\label{th:cvg}
   Soit une fonction $f$ possÃ©dant un unique point fixe $x^*$ et une stratÃ©gie 
-  pseudo pÃ©riodique $s$.
+  pseudo-pÃ©riodique $s$.
   Si les itÃ©rations synchrones convergent vers $x^*$ pour cette stratÃ©gie, 
   alors les itÃ©rations mixtes Ã  dÃ©lai uniforme convergent aussi vers $x^*$
   pour cette stratÃ©gie.
@@ -419,7 +419,7 @@ ascendants pour converger. On a dans ce cas:
 
 \subsection{Le mode unaire asynchrone}
 \label{sec:evalasync}
-En terme de durÃ©e de convergence, ce mode peut Ãªtre vu comme un 
+En termes de durÃ©e de convergence, ce mode peut Ãªtre vu comme un 
 cas particulier du mode mixte oÃ¹ toutes les classes sont des singletons.
 La borne minimale peut donc s'exprimer comme:
 \begin{equation}
