Next: Risultati delle Simulazioni
Up: Simulazioni
Previous: Rate Rewards
Indice
Indice analitico
Le variabili di tipo impulse sono tipicamente associate ai
completamenti delle attività presenti nel sistema: possono dare informazioni
su quanto tali attività vengano eseguite, sia nel caso di simulazioni
terminanti che steady state.
L'unica variabile di tipo impulse che abbiamo usato è quella relativa alla stima
del tempo medio al fallimento: in questo contesto facciamo uso del place
SYS_KO, verificando quando vi viene messo il primo token (condizione che
indica il primo fallimento del sistema), utilizzando al contempo il place
PRIMO per controllare che il valore riportato dal simulatore (cioè
SIS_OK
Mark) venga restituito solamente una volta.
Sappiamo infatti che l'invio di un voto è un evento temporizzato, dunque il
numero di token in SYS_OK al momento del primo fallimento rappresenta
proprio il time to failure.
Mostriamo di seguito come abbiamo definito la reward variable per il
MTTF:
Tabella 4.6:
SYS_OK rate reward variable
|
Variable |
Definition |
| Affecting Models |
Voter |
| MTTF |
Rate rewards code |
| |
none |
| |
Impulse reward |
| |
if (voter- SYS_KO->Mark()==1 ) && (voter- PRIMO->Mark() == 1) { |
| |
return 1; |
| |
} else { |
| |
return 0; |
| |
} |
| |
Simulator statistics |
| |
type = steady steate |
| |
estimate mean |
| |
confidence level = 0.95 |
| |
relative confidence interval = 0.1 |
| |
initial transient = 50 |
| |
batch size = 100 |
|
Next: Risultati delle Simulazioni
Up: Simulazioni
Previous: Rate Rewards
Indice
Indice analitico
Giacomo Sacchetti
2006-02-15