introModes.tex

   1 \begin{itemize}
   2  \item \emph{Stratégie}: les éléments $J^t$ modifiés au temps $t$;
   3  \item \emph{Date de Visibilité}: suite de la date la plus récente où un
   4    composant connaît la valeur d'un autre.
   5    \begin{itemize}
   6    \item $n*n$ matrice  $S_{ij}^t$: le $t'$ plus élevé
   7      t.-q. $t' \le t$ et $X_j^{t'}$ est accessible à $i$
   8    \item Délai de communication entre $j$ et $i$: $t - D_{ij}^t$
   9    \end{itemize}
  10  \item \emph{Formalisation des modes}:
  11 \[
  12 X^{t+1}_i= \left\{
  13 \begin{array}{l}
  14 X^{t}_i \textrm{ si $i \not \in J^t$} \\
  15 F_i
  16 \left( X_1^{S_{i1}^t},\ldots, X_{n}^{S_{i{n}}^t} \right)
  17 \end{array}
  18 \right.
  19 \]
  20 \begin{itemize}
  21 \item Parallèle: $J^t=\{1,\ldots,n\}$ and $S^t=(t)$;
  22 \item Chaotique: $S^t=(t)$;
  23 \item Asynchrone: aucune contrainte.
  24 \end{itemize}
  25 \end{itemize}
  26