37614 

ARCHITETTURE E PROTOCOLLI PER RETI WIRELESS 1
(Prof. BOLLA Raffaele )

Architetture delle reti radiomobili cellulari di seconda e terza generazione, tecnologie wireless per reti locali (WLAN) e per Personal-Sensor-Body Area Networks (PAN, SAN e BAN). Specifiche delle reti radiomobili GSM e UMTS, Standard IEEE 802.11 (Wi-Fi), Standard Bluethoot. Utilizzo del TCP/IP in ambito Wireless (Mobile IP).

32681 

ARCHITETTURE SOFTWARE 1
Software Architectures 1
(Prof. MIGLIARDI Mauro)

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).

32708 

BASI DI DATI 2
(Prof. BOCCALATTE Antonio)

Il corso si propone di approfondire e completare conoscenze sulle Basi di Dati, con particolare attenzione verso l'architettura interna delle basi di dati, le metodologie di indicizzazione, la gestione delle transazioni e le metodologie di datawarehouse.

32718 

CALCOLATORI ELETTRONICI 2
(Prof. VERNAZZA Tullio)

Il corso illustra l'architettura dei moderni calcolatori: prende in considerazione la realizzazione a bus; analizza il funzionamento della memoria cache; illustra approfonditamente l'organizzazione di processori con struttura pipeline; discute l'architettura dei processori oggi più diffusi (MIPS, SPARC, Pentium, Power PC,')

45897 

CONTROLLO MULTIVARIABILE 1
(Prof. CANNATA Giorgio)

Il corso ha come obiettivi principali: lo studio di tecniche per la regolazione ed il controllo di sistemi lineari a più variabili controllate, sia in riferimento a sistemi a tempo continuo che a tempo discreto; lo studio di tecniche e metodologie di base per la sintesi di sistemi di regolazione e controllo di impianti contenenti non linearità.

32696 

ELABORAZIONE DI IMMAGINI E VISIONE ARTIFICIALE 1
(Prof. GRATTAROLA Aldo)

Sistema visivo ed immagini elettroniche. Definizione delle tecniche di elaborazione di immagini. Pulitura dal rumore, estrazione di contorni, miglioramento di qualità. Tecniche morfologiche. Esempi di sistemi per visione industriale. Ricostruzione tridimensionale e visione artificiale. Cenni di visualizzazione di immagini 3D. Principi della TAC.

45904 

FONDAMENTI DI GRAFICA TRIDIMENSIONALE 1
(Prof. GRATTAROLA Aldo)

Dispositivi grafici. Algoritmi per grafica bidimensionale. Trasformazioni geometriche 2/3D. Proiezioni. Acquisizione, rappresentazione e modellamento di forme 3D. Fisica e psicofisica del colore. Tecniche per la sintesi di immagini realistiche. Principi base di animazione. Geometria Frattale. Librerie grafiche (DirectX, OpenGL).

32729 

GESTIONE AZIENDALE 1
(Prof. CAINARCA Gian Carlo)

Il corso affronta il tema della gestione di organismi complessi quali sono le organizzazioni economiche; l?obiettivo perseguito è quello di dotare lo studente di conoscenze e strumenti di base necessari alla gestione d?impresa. Centro focale del corso sono la disamina e lo sviluppo del processo decisionale ed il ruolo svolto dalle tecnologie ICT.

32730 

GESTIONE DEI SISTEMI PRODUTTIVI E LOGISTICI 1
(Prof. SACONE Simona)

Il corso intende fornire all'allievo le competenze di base per la progettazione, la gestione e l'analisi delle prestazioni dei sistemi produttivi. Viene affrontata anche la tematica dei sistemi di produzione multi-site e delle supply-chain. Vengono infine considerati i problemi legati al progetto e alla gestione dei sistemi logistici distributivi.

45907 

IDENTIFICAZIONE E STIMA DI SISTEMI 1
(Proff. CANNATA Giorgio, 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

45912 

INFORMATICA TEORICA 1
Theoretical Computer Science
(Prof. DI MANZO Mauro )

Il corso introduce in modo sistematico i principali modelli di computazione, analizzandone proprietà e mutue relazioni. In particolare, il corso si propone di introdurre le problematiche relative alla computabilità e alla complessità esponendo sia i principali risultati teorici, sia esempi di rilevanza applicativa in campo ingegneristico.

32683 

INGEGNERIA DEL SOFTWARE 2
(Prof. GIUNCHIGLIA Enrico)

Il corso intende fornire le conoscenze di base su: raccolta, analisi, classificazione, validazione, verifica dei requisiti; metodi descrittivi/operazionali, informali/formali per la specifica di requisiti funzionali; tecniche per la verifica dei requisiti e del software, basati sia su analisi statica che dinamica della specifica e del codice.

49467 

INGEGNERIA DELLA CONOSCENZA 1
(Prof. GIUNCHIGLIA Enrico)

Il corso introduce gli studenti alle metodologie tramite cui un calcolatore riesce a rappresentare ed elaborare in modo (semi)autonomo modelli di sistemi complessi eventualmente partendo da pochi esempi di funzionamento. Lo scopo è quello di fornire una conoscenza immediatamente fruibile delle principali metodologie utilizzate in campo applicativo.

37648 

INGEGNERIA ECONOMICO FINANZIARIA 1
(Prof.CINCOTTI Silvano )

Il corso fornisce le nozioni basilari dei mercati finanziari e sviluppa le applicazioni delle metodologie ingegneristiche per la risoluzione di problemi in economia e in finanza. I contenuti partono da una visione probabilistico-statistica dei mercati con particolare attenzione alla definizione di procedure quantitative per la gestione del rischio.

20371 

INTELLIGENZA ARTIFICIALE 1
Artificial Intelligence 1
(Prof. ARMANDO Alessandro)

Il corso introduce alle problematiche e alle tecniche risolutive piu` consolidate dell'Intelligenza Artificiale. Vengono affrontate le problematiche relative alla rappresentazione della conoscenza, alla risoluzione dei problemi con applicazioni che vanno dalla pianificazione alla verifica automatica di sistemi complessi.

45914 

INTERFACCE UTENTE E PROGRAMMAZIONE AD EVENTI 1
(Prof. TACCHELLA Armando)

Il corso introduce agli aspetti fondamentali di progettazione e programmazione utilizzando il linguaggio Java, con particolare enfasi sulle interfacce utente e i relativi aspetti di progettazione orientata agli oggetti e realizzazione mediante programmazione ad eventi. Tali contenuti sono veicolati con il supporto della piattaforma Java 2 SE 5.0.

49471 

LINGUAGGI DI PROGETTAZIONE DELL'HARDWARE 1
(Prof. VALLE Maurizio)

Il corso presenta le tipologie di realizzazione di circuti integrati i.e. PALs, PLDs, CPLDs, FPGAs, Gate Arrays, ASICs, ASSP, ecc. Inoltre sono introdotte le metodologie di progettazione basate sull'uso di linguaggi di descrizione dell'hardware (e.g. VHDL e VHDL - AMS) e di simulatori software integrati nei più comuni ambienti di sviluppo.

41655 

LINGUAGGI E TRADUTTORI 1
(Proff. DI MANZO Mauro , TACCHELLA Armando)

Il corso fornisce una panoramica completa sulla teoria e le tecnologie alla base dei compilatori. Oltre ad approfondire lo studio teorico dei linguaggi formali e delle varie tecniche di traduzione, il corso introduce gli aspetti ingegneristici della materia e gli strumenti alla base dello sviluppo dei moderni compilatori.

49472 

MACCHINE E SISTEMI TERMICI ED ELETTRICI 1
(Proff. MASSARDO Aristide, MOLINARI Giorgio)

Modelli e controlli di impianti a vapore, turbine a gas, motori a combustione interna, celle a combustibile, sistemi per la trigenerazione. Circuiti magnetici. Trasformatori. Macchine asincrone e sincrone. Macchine in corrente continua. Tipologie di motori di controllo. Struttura dei sistemi elettrici, sicurezza.

37658 

METODI E MODELLI PER IL SUPPORTO ALLE DECISIONI 1
(Prof. PAOLUCCI Massimo)

L'obiettivo è fornire capacità analitiche per affrontare problemi decisionali di natura gestionale. Vengono presentati modelli deterministici lineari con singolo criterio, stocastici (teoria delle decisioni), su grafo e modelli multi-criterio I campi applicativi di riferimento sono quelli della pianificazione e della logistica.

32755 

MODELLI DEI SISTEMI DI PRODUZIONE 1
(Prof. MINCIARDI Riccardo)

Il corso fornisce gli strumenti essenziali per la rappresentazione e l'analisi di sistemi produttivi rappresentati da una dinamica ad eventi discreti. Sono utilizzati, in particolare, gli strumenti relativi alle reti di code e alle reti di Petri. E' inoltre fornita un'introduzione ai problemi di scheduling in ambito manifatturiero.

27879 

MODELLISTICA E CONTROLLO DEI SISTEMI DI TRASPORTO 1
(Prof. MINCIARDI Riccardo)

Il modulo intende fornire gli strumenti concettuali e metodologici di base per affrontare problemi di analisi e decisionali relativi all'Ingegneria dei sistemi di trasporto; il modulo permette la familiarizzazione con l'impiego delle tecnologie più avanzate per la disseminazione dell'informazione e per la gestione dei sistemi di trasporto.

32858 

PROGETTAZIONE E PRODUZIONE MULTIMEDIALE 1
(Prof. CAMURRI Antonio)

Fornire conoscenze di base sui sistemi multimediali, con particolare riferimento agli standard industriali per l'audio e il video, ai sistemi operativi multimediali, al multimedia content analysis e retrieval, a elementi introduttivi su tecniche di progettazione di interfacce uomo-macchina multimediali e al processo di Interaction Design.

37677 

PROVA FINALE

37683 

RETI DI CALCOLATORI 2
(Prof. BAGLIETTO Pierpaolo)

Il corso si propone di fornire le conoscenze di base ed avanzate sulle reti di nuova generazione basate su protocollo IP. Le tematiche affrontate sono essenzialmente: convergenza delle reti telefoniche e dati, la qualità del servizio nelle reti IP, architetture basate su protocolli H.323, SIP e architetture softswitch, programmazione socket.

32782 

RICERCA OPERATIVA 1
(Prof. ZOPPOLI Riccardo)

Modellamento di un processo decisionale (di progettazione, di controllo, ecc.) come problema di ottimizzazione. Ottimizzazione in assenza del tempo (ottimizzazione statica): problemi di programmazione lineare a variabili continue e intere. Ottimizzazione dinamica: problemi decisionali in ambiente aleatorio con conoscenza perfetta dello stato.

41671 

RICERCA OPERATIVA 2
(Prof. ZOPPOLI Riccardo)

Ottimizzazione statica: problemi di ottimizzazione su reti e problemi di programmazione non lineare. Ottimizzazione dinamica: problemi decisionali in ambiente aleatorio con conoscenza imperfetta dello stato, problemi di filtro ottimo e problemi di ottimizzazione a informazione distribuita.

37686 

ROBOTICA 1
(Prof. ZACCARIA Renato)

Architetture software e algoritmi usati nella moderna Robotica. Pianificazione del movimento; percezione e fusione sensoriale; visione; architetture software cognitive; metodi di pianificazione di azioni; strutture ad agenti distribuite per robot multipli interfacciati a sistemi di automazione. Esperienze ed esercitazioni in laboratorio.

32795 

ROBOTICA INDUSTRIALE 1
(Prof. CASALINO Giuseppe )

Il corso fornisce gli strumenti matematici per descrivere le strutture robotiche. Seguirà l'analisi delle metodologie di pianificazione off-line su base geometrica. Quindi la presentazione delle più recenti tecniche di controllo in ciclo chiuso su base cinematica. Tali tecniche verranno evidenziate tramite l'analisi di alcuni casi più complessi.

37687 

ROBOTICA INDUSTRIALE 2
(Prof. CASALINO Giuseppe )

Il corso proseguirà nell'analisi degli aspetti di coordinamento e controllo su base cinematiche di strutture robotiche cooperanti. Si esaminano casi di crescente complessità, come sistemi a più bracci manipolatori, possibilmente dotati di organi di presa (mani robotiche antropomorfe), eventualmente montati su strutture mobili di supporto.

32761 

SENSORI ED ATTUATORI ELETTRICI 1
(Prof. MARCHESONI Mario)

Nel corso vengono presentati i componenti necessari allo sviluppo di azionamenti di attuatori elettrici, con riferimento alla realizzazione di anelli di controllo reali. Sensori, attuatori elettrici e componenti elettronici di potenza vengono presentati seguendo un approccio unitario, che consente di valutarne le reciproche interazioni.

37689 

SICUREZZA INFORMATICA 1
Computer Security 1
(Prof. ARMANDO Alessandro)

Il corso fornisce una panoramica sulle problematiche, i principi, i metodi per la Sicurezza Informatica. Gli argomenti trattati nel corso sono: attacchi, servizi e meccanismi; introduzione alla crittografia; autenticazione; protocolli per la posta elettronica sicura; IPSec; SSL e TLS; intrusi e virus; access control lists; firewalls.

20415 

SISTEMI INFORMATIVI 1
(Prof. FRISIANI Arrigo)

Il corso descrive ed analizza: problematiche legate alle applicazioni della IT; aree di applicazione dei sistemi informativi; interazioni tra IT e organizzazione delle aziende; componenti dei sistemi informativi; metodologie per la loro progettazione; tecniche per la conduzione dei progetti.

37701 

SISTEMI INFORMATIVI E SERVIZI IN RETE 1
(Prof. BAGLIETTO Pierpaolo)

Il corso si propone di fornire le conoscenze di base ed avanzate su tecnologie, architetture e framework per la realizzazione di servizi accessibili via rete e per l?integrazione di sistemi informativi. I contenuti essenziali del corso sono: il linguaggio XML, programmazione web e web services, framework e protocolli per EDI.

32786 

SISTEMI OPERATIVI 1
(Prof. ZACCARIA Renato)

Tecniche di gestione di sistemi di elaborazione per fornire maggiore professionalità nell'uso del calcolatore. Principi/algoritmi base per programmazione concorrente e real-time, servizi tipici alla programmazione (chiamate di sistema, input/output, comunicazione fra processi, ecc.), principi e politiche di schedulazione di processi e risorse.

45949 

SISTEMI OPERATIVI 2
(Prof. SGORBISSA Antonio)

Nozioni teoriche/pratiche relative ai sistemi informatici in automazione e robotica. Calcolo in tempo reale: algoritmi di schedulazione, accesso a risorse condivise, gestione dei sovraccarichi. Sistemi in tempo reale: Posix RT, QnX, VxWorks, RTAI linux e tecniche di programmazione relative. Scruttura di un device driver e programmazione dell'I/O.

37706 

TECNOLOGIE PER L'AUTOMAZIONE INDUSTRIALE 1
(Prof. PINCETI Paolo)

Il corso illustra le più aggiornate tecnologie impiegate nell'automazione dei processi continui e di fabbrica, con particolare riferimento a: strumentazione da campo intelligente, fieldbus e reti industriali, PLC, DCS,
SCADA, SoftPLC, interfaccia OPC. Sono previste esercitazioni in laboratorio.

32804 

TEORIA DELL'INFORMAZIONE E TECNICHE DI COMPRESSIONE DATI 1
(Proff. LAVAGETTO Fabio, ZAPPATORE Sandro)

Fornire le basi della teoria dell'informazione, dalla sua definizione e misura ai teoremi di Shannon, e approfondimenti applicativi relativi alla codifica di sorgente e di canale (codici a controllo di parità). Fornire la conoscenza dei più diffusi algoritmi per la compressione di segnali multimediali: audio, immagini e sequenze di immagini.

TIROCINIO

Le attività riguardanti il tirocinio sono relative all'analisi della problematica, all'impostazione metodologica ed allo sviluppo degli strumenti operativi finalizzati alla preparazione della tesi di laurea specialistica.

42893

STORIA DELL'INFORMATICA
(prof. COSTA Gerardo, prof. FRISIANI Arrigo)

Corso attivato nel CdS di Informatica (Facoltà di Scienze Matematiche, Fisiche e Naturali). Documentazione su AulaWeb nel sito: http://informatica.aulaweb.unige.it
Orario A.A. 2007/2008

TECNICHE E MODELLI DI COMPOSIZIONE DEL SUONO
(Prof. DOATI Roberto)

Corso attivato in convenzione con il Conservatorio di Musica "Niccolò Paganini". Gli studenti interessati sono invitati a mettersi in contatto con il Manager Didattico.

ARTIFICIAL INTELLIGENCE 1
(Prof. ARMANDO Alessandro)

The course provides an introduction to the principles, methods, and fundamental applications of artificial intelligence (ranging from planning to automatic verification).

COMPUTER SECURITY 1
(Prof. ARMANDO Alessandro)

The course provides an introduction to the principles, methods, and fundamental applications of computer security.

SOFTWARE ARCHITECTURES 1
(Prof. MIGLIARDI Mauro)

Fundamentals of concurrent and distributed programming. Mastering the tools provided by J2SE to solve the basic problems of concurrent and distributed programming.

37615 

ARCHITETTURE SOFTWARE 2
(Prof. BAGLIETTO Pierpaolo)

Acquisire dimestichezza con le problematiche di progettazione di sistemi distribuiti multi-tier. Acquisire padronanza di alcuni degli strumenti atti a risolvere tali problematiche forniti dalla piattaforma J2EE.

37663 

MODELLI DI SISTEMI MECCANICI 1
(Prof. GALLETTI Carlo)

Dinamica delle macchine a regime ed in transitorio. Dinamica dei meccanismi articolati con corpi rigidi: equazioni di moto e loro soluzione. Meccanismi con corpi deformabili: modelli e vibrazioni. Strumenti di modellazione computer-aided e ambienti CAE. Componenti delle macchine: attuatori, trasmissioni, ausiliari.

20433 

TEORIA E TECNICHE DEL RICONOSCIMENTO 1
(Prof. SERPICO Sebastiano)

In questo modulo vengono introdotti i principi di base della classificazione statistica, si studiano i metodi di selezione dei parametri, classificazione supervisionata e non supervisionata, statistica e fuzzy, insegnando a utilizzare operativamente le relative tecniche e a validarne le prestazioni.