FACOLTA DI INGEGNERIA - Genova

LAUREA MAGISTRALE IN INGEGNERIA INFORMATICA

anno accademico 2009-2010

 

COD.  ATTIVITÀ FORMATIVA E DOCENTE
CONTENUTO E OBIETTIVI SPECIFICI

56641 

CONTROLLO DIGITALE
(Prof. CANNATA GIORGIO)

Il corso ha come obiettivi: l'introduzione ai sistemi di controllo digitale; la modellistica di sistemi dinamici a tempo discreto; l'analisi di stabilità in ciclo aperto e ciclo chiuso di sistemi dinamici lineari campionati.

56727 

GESTIONE DEI SISTEMI DI PRODUZIONE
(Proff. MINCIARDI RICCARDO, AICARDI MICHELE)

Durante il corso si svilupperanno modelli e tecniche adatte all'analisi di prestazioni, alla pianificazione ed al controllo di sistemi di produzione. Verranno affrontati i problemi relativi a diversi livelli: strategico/tattico/operativo, individuando quindi le metodiche di integrazione delle soluzioni proposte.

56742 

IDENTIFICAZIONE E STIMA DI SISTEMI
(Prof. BAGLIETTO MARCO)

Tecniche di identificazione: tecniche di identificazione mediante segnali manipolabili (risposta al gradino, risposta in frequenza); tecniche di identificazione parametrica per sistemi lineari in presenza di segnali non manipolabili; applicazione delle tecniche di identificazione al controllo di sistemi dinamici mal noti: il controllo adattativo

56827 

METODI E MODELLI PER L'INGEGNERIA DEL SOFTWARE
(Proff. GIUNCHIGLIA ENRICO, DI MANZO MAURO)

Nella prima parte del corso, il corso fornira' le nozioni di base necessarie per la specifica e l'analisi delle proprieta' computazionali di algoritmi. Nella seconda parte del corso si metteranno in pratica le nozioni apprese nella prima parte del corso affrontando il problema della specifica formale e della verifica automatica di programmi.

56902 

RICERCA OPERATIVA
(Prof. ZOPPOLI RICCARDO)

Ottimizzazione statica: programmazione lineare a variabili reali e intere, programmaz. non lineare, ottimizzaz. su grafi. Ottimizzaz. a stadi in ambiente deterministico e aleatorio, con stato misurabile e non, con e senza ipotesi LQG: programmaz.dinamica e approssimazioni neurali, maledizione della dimensionalita' e benedizione della regolarita'.

56920 

SISTEMI E INTERFACCE MULTIMEDIALI
(Prof. CAMURRI ANTONIO)

Il corso si propone di trasmettere le basi per il progetto e la realizzazione di sistemi e interfacce multimediali. Gli argomenti trattati comprendono metodologie per la progettazione di sistemi interattivi centrati sull'utente, tecniche per l'analisi e l'elaborazione di contenuti sonoro, musicale e visuale, tecniche per l'analisi del gesto.

56922 

SISTEMI OPERATIVI E SICUREZZA INFORMATICA
(Prof. ARMANDO ALESSANDRO)

Il corso introduce i principi, i metodi e le applicazioni fondamentali della sicurezza informatica con particolare riferimento ai meccanismi disponibili nei sistemi operativi moderni.

56923 

SISTEMI TRANSAZIONALI E DATA MINING
(Prof. BOCCALATTE ANTONIO)

Il corso verterà su aspetti architetturali dei sistemi transazionali, gestione degli indici, processing delle query, gestione ed recovery delle transazioni. Nella seconda parte verranno affrontate le tematiche di progetto di data warehouse e le tecniche di data mining e knowledge discovery per il recupero di informazioni in grandi quantità di dati.