PROGRAMMAZIONE DIDATTICA COORTE A.A. 2017/2018
CORSO DI LAUREA MAGISTRALE in 8733 INGEGNERIA INFORMATICA (classe LM-32)

SCHEDA INFORMATIVA

Sede amministrativa:  GE
Classe delle lauree in: 

Classe delle lauree magistrali in INGEGNERIA INFORMATICA (classe LM-32)

Durata:  2 anni
Indirizzo web:  http://www.ingegneriainformatica.dibris.unige.it/
Dipartimento di riferimento:  SEZIONE INTERSCUOLA POLITECNICA DEL DIBRIS

PIANO DI STUDI

1° anno (coorte 2017/2018)

Comune ai curricula: COMPUTER CONTROL AND AUTOMATION - GE INFORMATION PROCESSING SYSTEMS - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi
80186 SYSTEM IDENTIFICATION ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Identification of parameters of systems with known structure based on measured input-output data Design of mathematical models for systems with unknown structure.
80155 OPERATIONS RESEARCH MAT/09 9 9 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Il Corso introduce a modelli e metodi di ottimizzazione utilizzabili per la soluzione di problemi decisionali. Si articola nei temi fondamentali della modellazione di problemi, dello studio della trattabilità computazionale e della risoluzione tramite algoritmi implementabili su un calcolatore. Vengono considerati vari contesti applicativi e sono trattati in dettaglio alcuni "case-study" in ambito informatico. Scopo del Corso è far acquisire le competenze che consentano di affrontare problemi applicativi, sviluppando modelli e metodi che operino in modo efficiente in presenza di risorse limitate. Agli studenti verrà insegnato a: interpretare e modellare un processo decisionale nei termini di un problema di ottimizzazione, individuando cioè le variabili decisionali, la funzione di costo da minimizzare (o la cifra di merito da massimizzare) e i vincoli; inquadrare il problema nella gamma dei problemi considerati “canonici” (lineari/non lineari, discreti/continui, deterministici/stocastici, statici/dinamici, ecc.); realizzare il "matching" tra l’algoritmo risolutivo (da scegliere tra quelli esistenti o da progettare) e un adeguato supporto software di elaborazione.
80154 SOFTWARE ENGINEERING ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
Modelli di sviluppo software, analisi dei requisiti, modellazione di sistemi tramite UML,design patterns,Verifica e Validazione, linguaggi per la specifica di proprietà temporali, algoritmi per la verifica di proprietà temporali, modellazione e risoluzione di casi utilizzando model checkers"
80156 COMPUTER SECURITY ING-INF/05 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
1. Introduction 2. Introduction to Cryptography 3. Symmetric Cryptography 4. Public-Key Cryptography 5. Message Authentication and Digital Signatures 6. Public Key Infrastructure (PKI) 7. Authentication Protocols 8. Internet Security 9. Secure Programming 10. Network Security 11. Web Security 12. Malware 13. Access Control
86795 METHODS AND TOOLS FOR INDUSTRIAL AUTOMATION ING-INF/04 9 9 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso ha l’obiettivo di fornire gli strumenti modellistici e metodologici per la formalizzazione e la risoluzione di alcuni importanti problemi decisionali nell’ambito dei sistemi di produzione discreta. Durante il corso verranno formalizzati e risolti problemi di pianificazione, di scheduling e di controllo; sarà inoltre utilizzata, anche dal punto di vista pratico, la simulazione ad eventi discreti per l’analisi del funzionamento di un sistema di produzione. Lo studente, al termine del corso, sarà in grado di formalizzare e risolvere problemi decisionali per ottimizzare il funzionamento di sistemi di produzione discreta, anche facendo uso di specifici software.
80169 REAL-TIME OPERATING SYSTEMS ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Al termine del corso un allievo che lo abbia seguito con profitto conoscera’: - problematiche relative alle applicazioni e ai sistemi operativi in tempo reale; - problematiche relative al design e alla programmazione concorrente in tempo reale; - problematiche relative alla scrittura di driver di dispositivo; - alcuni casi studio di sistemi operativi in tempo reale disponibili in commercio.
86794 TRANSACTIONAL SYSTEMS & DATA WAREHOUSE ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
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.

6 CFU tra i seguenti insegnamenti:
80165 ARTIFICIAL INTELLIGENCE ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
Tecniche di rappresentazione della conoscenza, Ragionamento Automatico, Algoritmi di ricerca non informata e informata, Pianificazione, Applicazioni a casi di studio
80170 CONCURRENT AND DISTRIBUTED PROGRAMMING ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
Acquisire dimestichezza con le problematiche fondamentali relative alla programmazione concorrente e distribuita. Acquisire padronanza degli strumenti atti a risolvere tali problematiche forniti dalla piattaforma Java 2 Standard Edition (J2SE).
80158 HUMAN COMPUTER INTERACTION ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
"Il corso fornisce allo studente le basi per il progetto e lo sviluppo delle interfacce software tra l’utente e la macchina. Lo studente acquisirà competenze riguardo ai meccanismi percettivi, cognitivi ed emotivi, al ciclo di sviluppo e alle metodologie per la progettazione delle interfacce utente, alle tecniche per lo sviluppo e alle metodologie per la valutazione dell’usabilità delle interfacce." "il corso e' di norma in lingua italiana con materiali didattici in inglese. In presenza di studenti non di lingua italiana, il corso sara' in lingua inglese: in questo caso i docenti prevedono la possibilità di fornire, su richiesta e in ore aggiuntive, supporto didattico specifico a studenti di lingua italiana con difficoltà con la lingua inglese."
 

2° anno (coorte 2017/2018)

COMPUTER CONTROL AND AUTOMATION - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi
80394 MASTER THESIS 27 27 CFU PROVA FINALE Per la Prova Finale
94977 LINGUA INGLESE 2 3 3 CFU ALTRE ATTIVITA' Ulteriori Conoscenze Linguistiche

6 CFU tra i seguenti insegnamenti:
80172 METHODS AND MODELS FOR DECISION SUPPORT MAT/09 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Modellare e risolvere problemi decisionali complessi. Applicazioni al manufacturing planning e scheduling e alla logistica (network flow, location e vehicle routing). Sono studiati modelli e metodi di integer programming, euristiche e metaeuristiche per problemi di ottimizzazione combinatoria, il metodo PERT per il Project Management. Inoltre vengono introdotti concetti fondamentali per la soluzione di problemi multi-criterio e di decision
80551 TECHNOLOGIES FOR INDUSTRIAL AUTOMATION ING-INF/07 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Il corso illustra le tecnologie e le soluzioni per la realizzazione di sistemi di automazione industriale, e si articola in: - ambiti dell'automazione industriale: fabbrica, processo continuo, reti tecnologiche, edifici; - Intelligent Field Device - strumentazione e attuatori - Fieldbus - architetture per sistemi di automazione
 

18 CFU tra i seguenti insegnamenti:
80181 CONTROL OF LINEAR MULTI-VARIABLE SYS. ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The aim of the course is to give a methodology for the design of a control law for multivariable linear time invariant systems (MIMO LTI systems)
80190 EMBEDDED SYSTEMS ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
80474 MODELING AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
The goal of the course is to consolidate elements of Computer and Systems Engineering acquired by the students along their careers, and to provide a uniform approach to Cyber-Physical Systems (CPS), i.e., engineered systems that are built from and depend upon the synergy of computational and physical components. In particular, the course is meant to introduce the students to the theory of Hybrid and Probabilistic Automata, and to lead them through hands-on-experience with state-of-the-art simulation, synthesis and verification tools for CPS. At the end of the course students should be able to model, simulate and verify distributed computational units controlling physical processes
80268 OPTIMISATION AND CONTROL OF LOGISTICS SYSTEMS ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso si propone di presentare le problematiche generali e di fornire le conoscenze di base riguardo alla teoria e alle tecnologie per l’ottimizzazione e il controllo di sistemi logistici.
80167 PRODUCTION SYSTEMS ING-INF/04 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso riguarda la gestione ed il controllo di sistemi di produzione. In particolare: determinazione della capacita' produttiva e dei colli di bottiglia. Scheduling per la pianificazione delle commesse. M.R.P., tecniche Just-In-Time. Produzione multiprodotto con macchine flessibili
 

6 CFU tra i seguenti insegnamenti:
80269 FORMAL LANGUAGES AND COMPILERS ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
L'obiettivo del corso è quello di fornire gli strumenti, sia formali che pratici, per la definizione dei linguaggi di programmazione e dei loro traduttori e fornire competenze di progettazione di applicativi e sistemi web interoperabili nel rispetto degli standard internazionali. Il corso si propone di fornire una preparazione necessaria alla formazione dei profili di competenze degli Ingegneri dell’Informazione che si stanno affermando a livello nazionale ed europeo.
56846 MODELING AND CONTROL OF MANIPULATORS ING-INF/04 6 6 CFU A SCELTA A Scelta dello Studente
This course presents the fundamentals of the modeling and control techniques of serial manipulators. Topics include robot architectures, geometric modeling, kinematic modeling, dynamic modeling and its applications, as well as the classical PID controller and computed torque controller.
86805 SOFTWARE ARCHITECTURES FOR ROBOTICS ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
A robot is a multi-purpose, multi-form and multi-function machine. It exhibits completely new and unique characteristics with respect to what it is for, how it is structured and what it is able to do. In order to cope with this diversity in form and function, software architectures for robots must be grounded on top of a model enforcing flexibility and efficiency well beyond those developed in other domain applications.
 

2° anno (coorte 2017/2018)

INFORMATION PROCESSING SYSTEMS - GE
Codice Disciplina Settore CFU Tipologia/Ambito Obiettivi Formativi
80394 MASTER THESIS 27 27 CFU PROVA FINALE Per la Prova Finale
94977 LINGUA INGLESE 2 3 3 CFU ALTRE ATTIVITA' Ulteriori Conoscenze Linguistiche

6 CFU tra i seguenti insegnamenti:
56632 COMPUTER GRAPHICS ING-INF/03 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
Raster graphics algorithms for drawing 2D primitives. Geometrical transformations and Projections. Curves and surfaces representation. Illumination and shading. Visible-surface determination. Introduction to OpenGL.
80171 TECHNOLOGIES FOR WIRELESS NETWORKS ING-INF/03 6 6 CFU AFFINI O INTEGRATIVE Attività Formative Affini o Integrative
• Fornire un’ inquadramento su tutte le tecnologie di rete più importanti che fanno uso di trasmissioni di tipo “wireless” (senza fili) considerando gli ambiti applicativi e le architetture sia dal punto di vista strutturale che protocollare • Approfondire alcune specifiche tecnologie di particolare interesse e diffusione, sia attuale che futura, quali le reti radiomobili e le reti di tipo Wireless LAN • Fornire indicazioni introduttive per identificare le possibilità di utilizzo attuale e a breve termine delle diverse tecnologie di cui sopra in relazione ai diversi ambiti applicativi. • Delineare le principali soluzioni al problema della mobilità su reti a pacchetto (in tecnologia TCP/IP) in relazione alle tecnologie wireless descritte.
 

18 CFU tra i seguenti insegnamenti:
86798 DATA ANALYSIS AND DATA MINING ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso fornisce competenze avanzate relativamente alle tematiche di analisi dei dati. Verranno erogati approfondimenti sulle metodologie di data mining e applicazioni specifiche di tali metodologie a particolari organizzazioni di dati.
86799 DISTRIBUTED SYSTEMS ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Algoritmi e strutture dati per reti Valutazione delle prestazioni reti, sistemi e piattaforme informatiche Reti di accesso e di dorsale a banda larga Comunicazione real-time con livelli di servizio garantiti a pacchetto Controllo traffico in architetture distribuite Virtualizzazione Piattaforme software Architetture orientate ai servizi.
80164 MULTIMODAL SYSTEMS ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
"Il corso fornisce allo studente le basi per il progetto e lo sviluppo di interfacce uomo-macchina e di sistemi software avanzati, basati sull’interazione attraverso molteplici canali sensoriali e sulla elaborazione e comunicazione di contenuti audio e video. In particolare, viene affrontata la progettazione di interfacce naturali non di tipo desktop, incluse interfacce multimodali per sistemi mobili (tablet, smartphone), con esempi in vari contesti applicativi (consumer, salute, cultura, entertainment), anche attraverso esercitazioni sulla piattaforma EyesWeb (http://www.infomus.org/eyesweb_eng.php). " "il corso e' di norma in lingua italiana con materiali didattici in inglese. In presenza di studenti non di lingua italiana, il corso sara' in lingua inglese: in questo caso i docenti prevedono la possibilita' di fornire, su richiesta e in ore aggiuntive, supporto didattico specifico a studenti di lingua italiana con difficolta' con la lingua inglese."
80459 SEMANTIC WEB TECHNOLOGIES: INNOVATION AND SMART APPLICATIONS ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
in this course, you will learn the fundamentals of Semantic Web technologies. You will learn how to collect information form linked data and metadata to represent knowledge an build knowledge bases, and how to access and benefit from semantic web technologies applied to smart applications in a H2020 perspective.
86800 VIRTUALIZATION AND CLOUD COMPUTING ING-INF/05 6 6 CFU CARATTERIZZANTI Ingegneria Informatica
Il corso affronterà le tematiche di virtualizzazione delle risorse in sistemi informativi complessi. Verranno presentate le soluzioni metodologiche e architetturali più recenti. Successivamente verrà studiato l'approccio basato sul cloud computing analizzando sia aspetti formali che soluzioni commerciali.
 

6 CFU tra i seguenti insegnamenti:
80269 FORMAL LANGUAGES AND COMPILERS ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
L'obiettivo del corso è quello di fornire gli strumenti, sia formali che pratici, per la definizione dei linguaggi di programmazione e dei loro traduttori e fornire competenze di progettazione di applicativi e sistemi web interoperabili nel rispetto degli standard internazionali. Il corso si propone di fornire una preparazione necessaria alla formazione dei profili di competenze degli Ingegneri dell’Informazione che si stanno affermando a livello nazionale ed europeo.
56846 MODELING AND CONTROL OF MANIPULATORS ING-INF/04 6 6 CFU A SCELTA A Scelta dello Studente
This course presents the fundamentals of the modeling and control techniques of serial manipulators. Topics include robot architectures, geometric modeling, kinematic modeling, dynamic modeling and its applications, as well as the classical PID controller and computed torque controller.
86805 SOFTWARE ARCHITECTURES FOR ROBOTICS ING-INF/05 6 6 CFU A SCELTA A Scelta dello Studente
A robot is a multi-purpose, multi-form and multi-function machine. It exhibits completely new and unique characteristics with respect to what it is for, how it is structured and what it is able to do. In order to cope with this diversity in form and function, software architectures for robots must be grounded on top of a model enforcing flexibility and efficiency well beyond those developed in other domain applications.
 

PROPEDEUTICITÀ

Nessuna indicazione.