It gives a formal instruments to model information flows and to optimize the operation management of production systems, in particular of flexible manufacturing systems.
Curriculum
teacher profile teaching materials
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).
Mutuazione: 20802112 SIMULAZIONE DI PROCESSI INDUSTRIALI E LOGISTICI in Ingegneria gestionale e dell'automazione LM-32 N0 ADACHER LUDOVICA
Programme
SCHEDULINGCONTROLLO 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).
Core Documentation
slides on home page of professorType of delivery of the course
TraditionalType of evaluation
Oral exam, project evaluation, written test teacher profile teaching materials
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).
Programme
SCHEDULINGCONTROLLO 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).
Core Documentation
slides on home page of professorType of delivery of the course
TraditionalType of evaluation
Oral exam, project evaluation, written test