Gruppi di ricerca
| Nome gruppo |
|
| Automazione e Organizzazione Industriale
|
L'attività di ricerca del gruppo, svolta nei settori
dell'Automatica e della Ricerca Operativa, riguarda i metodi per il
trattamento dell'informazione finalizzati alla pianificazione, alla
gestione ed al controllo di sistemi di produzione manifatturiera e
sistemi di trasporto. Le attività includono le metodologie di
modellazione e i metodi per prevedere il comportamento di tali
sistemi, in particolare per valutare le conseguenze di perturbazioni
causate da decisioni e/o eventi imprevisti, e per individuare le
azioni di controllo che ottimizzano le loro prestazioni. |
| Basi di dati e sistemi informativi
|
Come attività scientifica, il gruppo studia principi, metodi e tecnologie per la rappresentazione e la gestione di sistemi informativi che svolgano le loro funzioni anche e soprattutto utilizzando basi di dati, ovvero insiemi di dati di grandi dimensioni, persistenti e condivisibili fra più utenti. Il centro dell'attenzione è dunque costituito dai sistemi per basi di dati, prodotti software complessi che permettono la gestione efficiente e affidabile di informazioni strutturate e complesse e che favoriscono l'utilizzo di tali informazioni da parte di progettisti, programmatori e utenti finali.
Principali settori di ricerca |
| Graph Drawing
|
- |
| Informatica grafica e progettazione assistita da calcolatore
|
Il gruppo di Progettazione Assistita da Calcolatore (Computer Aided Design - CAD) produce ricerca nella modellazione geometrica e nella grafica, sviluppando metodologie e strumenti evoluti per il supporto di linguaggi e interfacce CAD in ambienti applicativi di vario genere. Tale attività di ricerca è caratterizzata dallo sviluppo di strumenti informatici di vario tipo per la modellazione geometrica, ed in particolare di rappresentazioni simboliche, di algoritmi geometrici, di linguaggi di progettazione e di sistemi CAD. Tra le attività preminenti nell'ultimo periodo citiamo lo sviluppo di tecniche di modellazione di oggetti geometrici di dimensione generica (curve, superfici, solidi, varietà di dimensione superiore), la formulazione di metodologie avanzate di animazione, la implementazione di linguaggi di progettazione. Questi ultimi sono stati integrati ad ambienti CAD sia accademici che industriali e a shell per sviluppo di sistemi esperti.
Principali settori di ricerca |
| Reti di Calcolatori
|
- |
| Robotica
|
L'attività di ricerca del gruppo, svolta nei settori
dell'Automatica e dei Sistemi di Controllo, ha ruotato intorno al
Laboratorio di Robotica fin dalla sua istituzione nel 1996. Le
ricerche condotte, sia teoriche che sperimentali, hanno trovato
applicazione nei settori della robotica industriale (manipolatori
rigidi di medie e grandi dimensioni oppure cosl leggeri da essere
addirittura elastici) e della robotica mobile (piattaforme automatiche
in grado di trasportare oggetti all'interno di uno stabilimento di
produzione, oppure piccoli semoventi completamente autonomi capaci di
portare a termine operazioni di esplorazione in ambienti ostili
all'uomo, oppure compiti di servizio come effettuare la pulizia di una
stazione della metropolitana o aiutare le persone disabili). Oltre ai
problemi legati allo sviluppo di leggi di controllo adatte a questo
tipo di sistemi (un sistema di controllo è una tecnologia che
cerca di assicurare le migliori performance di un processo tenendo
conto dei suoi limiti operativi), sono stati affrontati problemi di
acquisizione dei dati sensoriali (ad esempio la posizione di un robot
nello spazio, o la direzione verso la quale un veicolo si muove e con
quale velocità), di identificazione di modelli di sistemi non
completamente noti e di stima di grandezze che, in sistemi
particolarmente complessi, non risultino direttamente misurabili (ad
esempio la posizione un oggetto in un ambiente calcolata a partire da
immagini provenienti da due o più telecamere). |
| Sistemi intelligenti e calcolo simbolico
|
Le ricerche del gruppo sono in generale relative a modelli, metodi e
strumenti dell'Intelligenza Artificiale ed alla loro applicazione per
la realizzazione di sistemi quanto più possibile flessibili,
autonomi, adattivi, affidabili e ben fondati dal punto di vista
teorico. L'Intelligenza Artificiale, come disciplina di frontiera e
trasversale a diversi settori dell'informatica, fornisce un insieme di
modelli, metodi e strumenti per rispondere alle suddette esigenze, che
sono appunto oggetto di studio e applicazione del gruppo. I progetti
di ricerca del gruppo sono in particolare caratterizzati sia per
l'attenzione posta alla base formale e ai fondamenti teorici, sia per
l'uso di tecniche esplorative ed empirico-sperimentali per l'analisi,
la realizzazione e la valutazione dei sistemi ideati. |