 |
Marco PRATO
Professore Associato
Dipartimento di Scienze Fisiche, Informatiche e Matematiche sede ex-Matematica
|
Insegnamento: Problemi inversi e applicazioni
Matematica (Offerta formativa 2024)
Obiettivi formativi
Il corso di Problemi inversi e applicazioni vuole fornire le conoscenze, competenze e strumenti necessari per affrontare problemi di analisi dati mediante tecniche numeriche.
Per una più completa comprensione degli obiettivi formativi, si rimanda alla lettura dei risultati di apprendimento attesi a seguito dello svolgimento del presente percorso formativo.
Prerequisiti
- Calcolo differenziale per funzioni reali di una o più variabili reali
- Calcolo integrale per funzioni reali di una variabile reali
- Elementi di algebra lineare
- Elementi di analisi numerica: condizionamento, sistemi lineari
- Elementi di analisi funzionale: spazi di Hilbert, operatori limitati
- Programmazione di base in linguaggio Matlab
Programma del corso
In un qualunque corso di calcolo numerico di base si sono studiati algoritmi di risoluzione valutandoli sia per la loro efficienza, sia per la loro stabilità, assumendo che il problema a cui vengono applicati non sia intrinsecamente instabile. Purtroppo nel modo reale molti fenomeni vengono modellizzati attraverso problemi inversi mal condizionati, che portano a soluzioni numeriche prive di significato. La strategia classica per contrastare questa instabilità è la teoria della regolarizzazione, che trova una delle sue applicazioni più studiate nella ricostruzione di immagini nitide a partire da immagini corrotte o trasformate.
Elenco dettagliato degli argomenti:
2 CFU (12 ore)
- Problemi inversi lineari: mal posizione, mal condizionamento, pseudosoluzione, soluzione generalizzata e operatore inverso generalizzato
2 CFU (12 ore)
- Algoritmi di regolarizzazione: TSVD, Tikhonov, Landweber
- Scelta del parametro di regolarizzazione: principio di discrepanza di Morozov, generalized cross validation, L-curve
2 CFU (12 ore)
- Applicazione alla ricostruzione di immagini: formulazione statistica, approcci Maximum Likelihood e Maximum a Posteriori, algoritmi di ottimizzazione, il caso della Tomografia Computerizzata
Metodi didattici
L’insegnamento viene erogato mediante lezioni frontali ed esercitazioni in presenza che vengono svolte con l’ausilio di lavagna, mezzi audiovisivi (slides) ed ambiente di calcolo Matlab.
La frequenza alle lezioni frontali e alle esercitazioni in presenza non è obbligatoria.
L’insegnamento è erogato in lingua italiana.
Testi di riferimento
Il materiale di riferimento del corso saranno le dispense e le slides del docente, che verranno fornite agli studenti prima dell'inizio del corso mediante la piattaforma Moodle.
Eventuali testi consigliati per approfondire le tematiche sviluppate nel corso sono i seguenti:
[1] M. Bertero, P. Boccacci, Introduction to Inverse Problems in Imaging, IOP Publishing, Bristol (1998)
[2] H.W. Engl, M. Hanke, A. Neubauer, Regularization of Inverse Problems. Kluwer Academic Publishers Group, Dordrecht (1996)
Verifica dell'apprendimento
L'esame si svolgerà al termine dell’insegnamento secondo il calendario ufficiale degli appelli d’esame. La prova è orale, della durata indicativa di 40 minuti.
L’esame prevede 2 quesiti di cui una domanda aperta e la descrizione e implementazione di uno degli algoritmi descritti durante il corso.
Tali quesiti sono finalizzati a valutare:
- le conoscenze, le capacità di comprensione e di collegare le diverse conoscenze tra loro;
- l’applicazione di conoscenze e capacità di comprensione;
- le abilità comunicative;
- l’autonomia di giudizio.
Il voto riportato nell’esame è dato dalla valutazione complessiva alla luce delle risposte alle 2 domande. In particolare, si otterrà un voto minimo (18/30) in caso di conoscenza basilare degli argomenti e capacità parziale di applicare la conoscenza, mentre un voto massimo (30/30) sarà riservato ad esami caratterizzati da conoscenza piena degli argomenti e capacità ottima di applicare la conoscenza, con una graduazione dei voti intermedi basata sul raggiungimento dei risultati di apprendimento attesi, compresi quelli trasversali, dimostrata durante la prova d’esame.
L'esito sarà comunicato al singolo studente alla fine della prova orale.
Risultati attesi
1. Conoscenza e capacità di comprensione:
Al termine del corso lo studente avrà una conoscenza approfondita dei fondamenti dei problemi inversi e della teoria della regolarizzazione, assieme alle loro principali applicazioni nella direzione della ricostruzione di immagini.
2. Capacità di applicare conoscenza e comprensione:
Grazie ad una approfondita conoscenza delle basi dei problemi inversi e della teoria della regolarizzazione, lo studente sarà in grado di individuare autonomamente percorsi e strategie per modellare e risolvere problemi matematici.
3. Autonomia di giudizio:
Al termine del corso lo studente avrà perfezionato la propria abilità di gestire le argomentazioni teoriche presentate e le corrispondenti attività di laboratorio.
4. Abilità comunicative:
Al termine del corso lo studente sarà in grado di relazionare oralmente sugli argomenti presentati nel corso con un linguaggio tecnico appropriato e un formalismo matematico corretto.
5. Capacità di apprendimento:
Lo studio, eseguito interamente su testi in lingua inglese, permetterà lo sviluppo di abilità di apprendimento autonomo e di approfondimento di argomenti collaterali a quelli presentati nel corso.