A ! S
A ! S
A ! S
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Trois familles de fonctions (suite)<br />
Indicateurs d'événements pertinents :<br />
Si i = r (top principal), alors Y i = 1 sinon<br />
( /( , ) 0) ( /( , ) 0)<br />
Y ≡ C ∨ ∃x∈E x i ∈L∧Y ∧ S = ∨ ∃y∈E i y ∈T∧ S =<br />
i i x x y<br />
<br />
Un événement est non pertinent si la propagation des effets de sa<br />
réalisation dans l'arbre n'agit que sur des portes déjà réalisées (ex:<br />
sous une porte OU, tous les événements fils deviennent non pertinents<br />
dès qu'une des entrées est passée à 1)<br />
(C i est une constante booléenne associée à l'évt i<br />
permettant de "forcer" Y i à la valeur 1 )