Univestità degli studi di Parma
Dipartimento dell'Ingegneria dell'Informazione
Studio di modelli per sistemi Video-Server
mediante Reti di Petri Stocastiche
Inquadramento del problema
Visione del progetto
Introduzione e installazione
Alcuni dettagli di GreatSPN
I modello: client - server
Valutazione dell'ampiezza del buffer
Probabilità che il buffer del client sia vuoto
Numero medio di token nel buffer del client
Probabilità che vi siano richieste nella coda del server
Probabilità che la risorsa disco sia occupata
II modello: due client - server
Probabilità che il buffer 1 sia vuoto con client 2 poco esigente
Analisi del buffer 1 con politica di servizio variabile
Analisi del buffer 1 al variare del tempo di servizio
Analisi del buffer 1 e 2 al variare del tempo di servizio
III modello
Modellazione della rete
Modello della rete con eventuali congestioni
Modello per la valutazione dei parametri di una rete Wireless
Il modello
I risultati
Un modello piu' complesso
Il client
I server
La rete
Lo scheduler
L'analisi
Simulazioni
Università degli Studi di Parma
Corso di Sistemi di Elaborazione
Prof. Gianni Conte
Tesina di valutazione
Autori: Eleonora Fantini, Matteo Formaini, Emanuele Tiso
Home
-
Top