Changes between Version 1 and Version 2 of CaoCourseTme7
- Timestamp:
- Mar 22, 2007, 12:01:31 PM (18 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
CaoCourseTme7
v1 v2 1 1 {{{ 2 2 #!html 3 <h1>TME 7 : Simulation logic i-temporelle</h1>3 <h1>TME 7 : Simulation logico-temporelle</h1> 4 4 }}} 5 5 [[PageOutline]] … … 43 43 La simulation suppose que l'on possède une fonction d'évaluation qui calcule la valeur du signal de sortie du processus en fonction 44 44 de la valeur des signaux d'entrée. Dans notre cas, il faudra disposer d’une fonction eval_abl() capable de traiter les trois valeurs (0,1,U). 45 45 46 Créez un répertoire de travail TME7, et copiez dans ce répertoire tous les fichiers et répertoires qui se trouvent dans 47 {{{ 48 /users/enseig/encadr/cao/tme7 49 }}} 50 46 51 == B) Structures de données 52 47 53 On utilise deux structures de données : 48 54 * structure représentant le réseau Booléen, c'est à dire le graphe biparti des processus et des signaux, … … 101 107 102 108 L'échéancier permet d'enregistrer et d'ordonner les événements dans le temps. Ceux-ci sont donc rangés dans une liste doublement chaînée, par dates croissantes. Un événement représente une affection de valeur à un signal à une certaine date. 103 109 104 110 typedef struct event_t { 105 111 signal_t * SIGNAL; // signal modifié
