Docente
|
ADACHER LUDOVICA
(programma)
SCHEDULING
CONTROLLO DELLE OPERAZIONI SU UNA MACCHINA EDD,SPT,MOORE, SMITH, SMITH MODIFICATO, LAWLER
CONTROLLO DELLE OPERAZIONI NELLE CELLE GRAFO DEGLI STATI, CONFLITTI, PROGRAMMAZIONE DINAMICA E A*.
CONTROLLO DELLE OPERAZIONI NELLE LINEE ALGORITMO DI JOHNSON PER IL SEQUENZIAMENTO SU DUE MACCHINE APPLICAZIONE DELL'ALGORITMO DI GILMORE E GOMORY A LINEE DI DUE MACCHINE SENZA ATTESA INTERMEDIA
MINIMO RITARDO MASSIMO CON TEMPO DI RILASCIO POSITIVO E INTERRUZIONE: 'BRANCH AND BOUND"; GRAFO DISGIUNTIVO PER IL JOB SHOP ("CLIQUE" DI MACCHINE) SEQUENZIAMENTO DI MACCHINA SPOSTANDO IL COLLO DI BOTTIGLIA: EURISTICA RISOLUTIVA PER IL JOB SHOP ("SHIFTING BOTTLENECK")
SIMULAZIONE
LA SIMULAZIONE AD EVENTI DISCRETI, METODOLOGIA FONDAMENTALE PER LA VALUTAZIONE DELLE PRESTAZIONI DI SISTEMI COMPLESSI (DI CALCOLO, DI TELECOMUNICAZIONE, DI TRAFFICO, ECC) È LA MATERIA SU CUI VERTE QUESTO CORSO. PUR ESSENDO DI CARATTERE INTRODUTTIVO, IL CORSO HA COME OBIETTIVO DI RENDERE LO STUDENTE IN GRADO DI AFFRONTARE LO STUDIO DI CASI REALI AVENDO CONOSCENZA DEL METODO DA SEGUIRE E DELLE POTENZIALITÀ DELLE TECNICHE DISPONIBILI
GLI ARGOMENTI TRATTATI POSSONO ESSERE RAGGRUPPATI NEI SEGUENTI TRE FASI:
O COSTRUZIONE DI UN MODELLO DI UN SISTEMA REALE:
VERRANNO DISCUSSI I CONCETTI DI LIVELLO DI ASTRAZIONE E ADEGUATEZZA DI UN MODELLO, E ILLUSTRATE ALCUNE METODOLOGIE PER LA COSTRUZIONE DEI MODELLI. GLI ESEMPI VERRANNO SVILUPPATI UTILIZZANDO DUE FORMALISMI MOLTO NOTI: LE RETI DI CODE E LE RETI DI PETRI. SARANNO INOLTRE DISCUSSE ALCUNE SEMPLICI LEGGI OPERAZIONALI CHE SERVONO PER LA DEFINIZIONE DEGLI INDICI DI PRESTAZIONE DEI MODELLI.
O "ESECUZIONE" DI UN MODELLO DI SIMULAZIONE VERRÀ SPIEGATO COSA SIGNIFICA ESEGUIRE UN MODELLO DI SIMULAZIONE E COME SI PUÒ REALIZZARE UN PROGRAMMA DI SIMULAZIONE AD EVENTI DISCRETI. I MODELLI DI SIMULAZIONE CHE SARANNO TRATTATI SONO MODELLI PROBABILISTICI, OVVERO MODELLI LA CUI EVOLUZIONE È GOVERNATA DA LEGGI CASUALI. QUESTO RICHIEDERÀ UN RICHIAMO DEI FONDAMENTI DI CALCOLO DELLE PROBABILITÀ. VERRANNO INOLTRE PRESENTATI METODI PER LA GENERAZIONE DI ISTANZE DI VARIABILI CASUALI.
O INTERPRETAZIONE DEI RISULTATI DELLA SIMULAZIONE: I RISULTATI PRODOTTI DA UN SIMULATORE COSTITUISCONO LE COMPONENTI DI UN CAMPIONE STATISTICO E COME TALI DEVONO ESSERE UTILIZZATI PER LA CONFERMA DELLA LORO VALIDITÀ. IL CORSO INCLUDE IL RICHIAMO DI ALCUNI ELEMENTI FONDAMENTALI DI STATISTICA UTILI PER LA PRESENTAZIONE DEI METODI CHE PERMETTONO LA STIMA INTERVALLARE DEGLI INDICI DI PRESTAZIONE DEI MODELLI STUDIATI. SARÀ RICHIESTO AGLI STUDENTI DI SVOLGERE DEGLI ESERCIZI PRATICI PER VERIFICARE LA COMPRENSIONE DI QUANTO ESPOSTO A LEZIONE. GLI STUDENTI DOVRANNO MOSTRARE SIA CAPACITÀ DI ANALISI DI PROBLEMI REALI E IMPOSTAZIONE DI ALGORITMI RISOLUTIVI IN VIA SIMULATIVA, SIA CAPACITÀ OPERATIVE DI PROGRAMMAZIONE CON LINGUAGGI STANDARD (C, JAVA).
(testi)
DISPENSE SUL SITO DEL DOCENTE
|