Aree di Ricerca del Dipartimento di Informatica

Aree di Ricerca del
Dipartimento di Informatica
1
Automazione della progettazione
digitale
Che cos’è:
ƒ Progettazione di sistemi digitali
ƒ Sistemi immersi (embedded)
– studio delle tecniche di progettazione avanzata
per:
ƒ affrontare la complessità del progetto
ƒ rispettare il time-to-market
ƒ integrare componenti hardware/software
2
Automazione della progettazione
digitale
Applicazioni:
ƒ Progetto di sistemi ad alta affidabilità
ƒ Progetto di sistemi a basso consumo
ƒ Verifica e simulazione di sistemi digitali
ƒ Integrazione di sistemi hardware/software
3
Automazione della progettazione
digitale
ƒ Esempio di cooperazione industriale:
– Azienda produttrice di apparati di controllo
remoto
– Basati su schede digitali ad-hoc
– Evoluzione del prodotto tramite riprogettazione
4
Automazione della progettazione
digitale
ƒ Alternative di riprogettazione:
– Schede a microprocessore
– Schede progettate ad-hoc
ƒ Analisi costi-benefici:
– Soluzione ad-hoc non conveniente
– Rischio di perdita della certificazione
ƒ Evoluzione basata su schede a
microprocessore
5
Automazione della progettazione
digitale
ƒ Dati:
ƒ Laboratorio EDA:
– 15 workstation
– tutti i maggiori software di prog. digitale
ƒ
ƒ
ƒ
ƒ
Persone coinvolte: 9
Progetti di ricerca in corso: 6
Contratti con industrie: 4
Persona di riferimento: Franco Fummi
6
Analisi del SW e sicurezza
ƒ Analisi statica
ƒ Sicurezza in codice mobile
ƒ Architetture SW intelligenti
7
Analisi di architetture SW
ƒ Linguaggi per sistemi distribuiti, eterogenei
(CORBA) e per reti
ƒ Definizione di modelli (sicurezza)
Modello
Prototipo
Prodotto
Analisi
8
Architetture SW ed analisi
ƒ Serve ad analizzare il comportamento del
SW prima della sua produzione
– analisi di SW critico (real-time)
– supporto alle fasi di sviluppo (modellazione,
collaudo, documentazione)
– determinazione di bugs
– analisi di sicurezza per codice mobile
9
Esempio: Analisi di sicurezza
ƒ Firewalls intelligenti
– analizzare il codice mobile (java-bytecode)
prima di eseguirlo!
– SW watermarking
– agenti SW intelligenti: determinano mediante
analisi statica le proprieta’ del codice che
transita su rete
10
Architetture ed ingegneria del
software.
Esempio: integrazione in rete di servizi di
consultazione cataloghi e ordinazione
ƒ Problema: servizi esistenti sono spesso realizzati
da legacy software: programmi in linguaggi
diversi, magari obsoleti, ma ben collaudati e
troppo costosi da riscrivere.
ƒ Soluzione: wrapping dei programmi legacy in
oggetti conformi all’architettura CORBA
11
Architetture SW eterogenee
Catalogo integrato
Rete CORBA
Catalogo Musica Catalogo Sport Catalogo Libri
wrapper CORBA wrapper CORBA wrapper CORBA
Programma Visual Basic
Database Access
Catalogo Musica
Programma C++
Database DB2
Catalogo Sport
Programma COBOL
Files VSAM / MVS
Catalogo Libri
12
Architetture SW ed analisi
Dati:
ƒ Laboratorio SPY: 4 workstations
ƒ Persone coinvolte: 7
ƒ Progetti di ricerca in corso: 4
ƒ Persona di riferimento:
Roberto Giacobazzi
13
Basi di dati e sistemi
informativi
Che cos’è
ƒ Progettazione di sistemi informativi
– Geografici
– Sanitari
– Aziendali
ƒ Gestione di dati multimediali
ƒ Gestione di dati spaziali e temporali
14
Basi di dati e sistemi
informativi
Applicazioni
ƒ Sistemi basati su web per l’accesso a
informazioni aziendali
ƒ Geo-referenziazione di informazioni
(geo- marketing)
ƒ Cartografia numerica
ƒ Sistemi per la gestione di cartelle
cliniche
15
Basi di dati e sistemi
informativi
Esempio: geo-referenziazione
NAME
STATE_
NAME
AREA
Lake of
the
Woods
Ferry
Minneso
ta
Washing
ton
Washing
ton
Washing
ton
Washing
ton
Idaho
Stevens
Okanog
an
Pend
Oreille
Boundar
y
Lincoln
Montana
Flathead
Montana
Glacier
Montana
Toole
Montana
CLIENT
S
POP199
6
1768,27
97
4076
4378
2257,18
18
2540,09
78
5314,22
07
1425,19
75
1277,74
27
3674,95
04
5255,95
73
3036,67
91
1945,28
95
6295
7503
30948
39798
33350
38135
8915
11242
8332
9878
17481
18965
59218
70900
12121
12744
5046
5192
16
Basi di dati e sistemi
informativi
Dati:
ƒ Laboratorio di basi di dati: 4 PC
ƒ Persone coinvolte: 5
ƒ Progetti di ricerca attivi: 4
ƒ Contratti di ricerca: 1
ƒ Persone di riferimento: Carlo Combi e
Alberto Belussi
17
Elaborazione ed analisi di
immagini e suoni
Vision, Image Processing,
& Sound Laboratory
http://vips.sci.univr.it/
18
Elaborazione ed analisi di immagini e suoni
ƒ Elaborazione delle Immagini
–
–
–
Estrazione di caratteristiche da immagini;
Compressione, trasmissione, analisi di immagini;
Analisi dati multisensoriali: acustici, IR, biomedicali;
ƒ Visione computazionale
–
–
–
Estrazione di informazione 3D da immagini ottiche;
Ricostruzione 3D di oggetti e ambienti;
metrologia;
ƒ Pattern Recognition
– Classificazione di dati statici e sequenziali: oggetti,
segnali, forme;
– Reti Neurali, Classificazione statistica;
19
Elaborazione ed analisi di immagini e suoni
ƒ Visione e Grafica
– Sintesi di viste, grafica da immagini;
ƒ Interazione Uomo-Macchina
– Interazione multimodale: suono, visione, gesti;
ƒ Display Audio
– Presentazione di dati adoperando suoni;
– Manipolazione dei suoni dai valori dei dati;
ƒ Audio 3D
– Definizione di ambienti virtuali;
– Dislocazione illusoria di sorgenti acustiche.
20
Elaborazione ed analisi di immagini e suoni
Applicazioni
ƒ Riconoscimento di oggetti
ƒ Controllo video
ƒ Metrologia
21
Elaborazione ed analisi di immagini e suoni
ƒ Controllo qualità
ƒ Videosorveglianza
22
Elaborazione ed analisi di immagini e suoni
ƒ Interfaccie uomo
macchina audio visuali
ƒ Computer Graphics,
3D Computer Vision,
ƒ Modelling from Range
images
23
Elaborazione ed analisi di immagini e suoni
Display Audio
Audio 3D
•Presentazione di dati
adoperando suoni.
•Manipolazione dei suoni
dai valori dei dati.
•Definizione di
ambienti virtuali
•Dislocazione illusoria
di sorgenti acustiche.
24
Elaborazione ed analisi di immagini e suoni
Display Audio: esempi
ƒ Dati biomedicali (freq. respiratoria, freq. cardiaca,
temperatura corporea, pressione, anidride carbonica)
controllo di un processo
ƒ Dati meteorologici (temperatura, piogge, neve)
rilevamento di aspetti significativi nei dati
Luglio 1936
Febbraio 2001
25
Elaborazione ed analisi di immagini e suoni
Oggetti sonori
Immagine
iniziale
Riconoscimento
visuale
Riproduzione
sonora
26
Elaborazione ed analisi di immagini e suoni
Dati:
ƒ Laboratorio VIPS: 12 workstations
ƒ Persone coinvolte: 10 (3 strutturati, 1 Post
Doc, 6 studenti di Dottorato) + numerosi
tesisti
ƒ Progetti di ricerca in corso: 5
ƒ Contratti e progetti per l’industria: 5
ƒ Persona di riferimento:
Vittorio Murino
27
Robotica e Automazione
A Laboratory for Teleoperation and
Autonomous Intelligent Robotics
28
Robotica e Automazione
Che cos’è:
ƒ Pianificazione del movimento
ƒ Analisi di sistemi di controllo
ƒ Sviluppo di sistemi di teleoperazione
ƒ Progettazione di robot innovativi
29
Robotica e Automazione
Applicazioni:
ƒ Chirurgia robotica
ƒ Assistenza ad anziani e disabili
ƒ Logistica
ƒ Telecontrollo di sistemi remoti
ƒ Interfacce a riflessione di forza
ƒ Robot per l’esplorazione e il soccorso
30
Robotica e Automazione
Esempio: trasporto autonomo di persone e cose in
ambienti non strutturati.
ƒ Una persona su una sedia a rotelle desidera
seguire qualcuno in un’area affollata.
ƒ Imposta le condizioni desiderate.
ƒ La carrozzina esegue il movimento
autonomamente evitando gli ostacoli e rispettando i
vincoli di sicurezza.
31
Robotica e Automazione
Il prototipo di fattibilità del sistema
Il test nella stazione di Monaco
32
Robotica e Automazione
Dati del laboratorio ALTAIR:
ƒ Persone coinvolte: 13, di cui 7 tesisti.
ƒ Attrezzature:
–
–
–
–
10 workstations
2 robot fissi (PUMA 560 e 200)
1 robot mobile (Nomad 200)
2 joystick a riflessione di forza (NASA-JPL)
ƒ 3 contratti di ricerca: Medicate, Enea, Asi.
ƒ 5 proposte in corso di valutazione (Asi,
Centro di Eccellenza, Ministero, EU).
ƒ Persona di riferimento: Paolo Fiorini
33
Fondamenti e Linguaggi.
ƒ Studio delle basi teoriche
dell'informatica
ƒ Sviluppo di strumenti formali per
linguaggi e sistemi
ƒ Sviluppo di nuovi linguaggi di
programmazione
34
Fondamenti e Linguaggi.
Applicazioni:
ƒ
ƒ
ƒ
ƒ
Logiche per la verifica di software
Sistemi di tipi per linguaggi mobili
Analisi della sicurezza di internet
Sviluppo di linguaggi concorrenti e
distribuiti
35
Fondamenti e Linguaggi.
Esempio: Analisi e verifica di un protocollo di
votazione elettronica su internet
ƒ specifica logica dei requisiti del sistema di
votazione
ƒ specifica logica del protocollo di votazione
ƒ utilizzo di sistemi logico-deduttivi per la
dimostrazione formale che il protocollo
verifica i requisiti
36
Fondamenti e Linguaggi.
ƒ Numero persone coinvolte: 5
ƒ Numero progetti di ricerca attivi: 4
ƒ Persone di riferimento:
–
–
–
–
Andrea Masini
Roberto Giacobazzi
Roberto Segala
Ugo Solitro
37
Luce di Sincrotrone
Ricadute tecnologiche e industriali
38
Luce di Sincrotrone - Daφne-L
Ricadute tecnologiche e industriali
Cos’è
ƒ ∼ 80 laboratori nel mondo
ƒ Laboratorio Daφne-Luce a Frascati
39
Luce di Sincrotrone - Daφne-L
Ricadute tecnologiche e industriali
40
Luce di Sincrotrone - Daφne-L
Ricadute tecnologiche e industriali
Applicazioni:
ƒ Risposta nell’IR: realizzazione di celle
fotovoltaiche "biologiche" su
supporto trasparente
ƒ Nano-litografia a raggi X:
realizzazione di apparati
e sensori sub-millimetrici
ƒ Danni da UVB: realizzazione di
dosimetri personali a basso costo
41
Luce di Sincrotrone - Daφne-L
Ricadute tecnologiche e industriali
42
Luce di Sincrotrone - Daφne-L
Ricadute tecnologiche e industriali
Esempio: rivelatori UV per uso personale
43
Luce di Sincrotrone - Daφne-L
Ricadute tecnologiche e industriali
Esempio: rivelatori UV per uso personale
44
Luce di Sincrotrone - Daφne-L
ricadute tecnologiche e industriali
Attività che coinvolgono il Dipartimento
ƒ Accordo Ateneo-INFN Frascati
ƒ
ƒ
ƒ
ƒ
ƒ
Centro di Micro-Ingegneria
Laboratorio Ricerca UV
Laboratorio Ricerca IR
Investimenti: ∼ 2.5 Milioni di Euro
Persone di riferimento:
Emilio Burattini, Francesca Monti
45
Tecniche di discretizzazione
adattive e vincolate.
Gruppo di “Analisi Numerica”
Angelo Pica
Stefano De Marchi
46
Analisi Numerica.
Competenze ed applicazioni:
ƒ risoluzione numerica di equazioni
differenziali
ƒ modellizzazione ed approssimazione di
superfici con “controllo di qualità”
automatico.
47
Ex.1 : Analisi strutturale.
48
Ex.1 : Analisi strutturale.
Err. 73%
Err. 40%
49
Ex.2 : Semiconduttori.
8
10
6
0
Electric
potential
4
-10
-20
2
Electric
field
-30
0
20 elements
21 elements
26 elements
-40
-2
20 elements
21 elements
26 elements
-4
-6
-50
-60
-70
-8
-80
-5
-4
-3
-2
-1
0
1
2
3
4
5
L L L L L L L L L L L L L L L L L L L L L
L
L
L
L L LLLLLLLLLLL L L
L
L
L
L
L
L
L
L L LLLLLLLLLL L
L
L
L
L
-5
-4
-3
-2
-1
0
1
2
3
4
5
Err.: 60% --> 35% --> 9%
50
Ex.3 : Fluidodinamica.
Laguna di Venezia
Griglia vincolata
(particolare)
51
Ex.4 : Approssim. di superfici.
52
Ex.4 : Approssim. di superfici.
53
Ex.4 : Approssim. di superfici.
54
Esperienze extra-universitarie.
ƒ Analisi strutturale
ƒ Produzione di codice di calcolo
scientifico (generazione di dati,
calcolo e visualizzazione dei risultati)
55