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 |
Codice | Disciplina | Settore | CFU | Tipologia/Ambito | Obiettivi Formativi | Propedeuticità |
---|
Codice | Disciplina | Settore | CFU | Tipologia/Ambito | Obiettivi Formativi | Propedeuticità |
---|---|---|---|---|---|---|
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." |
- |
Codice | Disciplina | Settore | CFU | Tipologia/Ambito | Obiettivi Formativi | Propedeuticità |
---|
Codice | Disciplina | Settore | CFU | Tipologia/Ambito | Obiettivi Formativi | Propedeuticità |
---|
Codice | Disciplina | Settore | CFU | Tipologia/Ambito | Obiettivi Formativi | Propedeuticità |
---|
Codice | Disciplina | Settore | CFU | Tipologia/Ambito | Obiettivi Formativi | Propedeuticità |
---|---|---|---|---|---|---|
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. |
- |
Codice | Disciplina | Settore | CFU | Tipologia/Ambito | Obiettivi Formativi | Propedeuticità |
---|
Codice | Disciplina | Settore | CFU | Tipologia/Ambito | Obiettivi Formativi | Propedeuticità |
---|---|---|---|---|---|---|
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. |
- |