Stereo matching su GPU

La Stereo Vision è un popolare argomento di ricerca nel campo della Visione Artificiale; esso consiste nell’usare due immagini di una stessa scena,prodotte da due fotocamere diverse, per estrarre informazioni in 3D. L’idea di base della Stereo Vision è la simulazione della visione binoculare umana:le due fotocamere sono disposte in orizzontale per fungere da “occhi” che guardano la scena in 3D. Confrontando le due immagini ottenute, si possono ottenere informazioni riguardo alle posizioni degli oggetti della scena.In questa relazione presenteremo un algoritmo di Stereo Vision: si tratta di un algoritmo parallelo che ha come obiettivo di tracciare le linee di livello di un area geografica. L’algoritmo in origine era stato implementato per la Connection Machine CM-2, un supercomputer sviluppato negli anni 80, ed era espresso in *Lisp, un linguaggio derivato dal Lisp e ideato per la macchina stessa. Questa relazione tratta anche la traduzione e l’implementazione dell’algoritmo in CUDA, ovvero un’architettura hardware per l’elaborazione pa- rallela sviluppata da NVIDIA, che consente di eseguire codice parallelo su GPU. Si darà inoltre uno sguardo alle difficoltà che sono state riscontrate nella traduzione da *Lisp a CUDA.

Equazione del Calore su SU(2)

La tesi riguarda l'equazione del calore sul gruppo classico SU(2), e la risoluzione di un problema di Cauchy associato all'equazione. Per trattare tale argomento viene introdotta la teoria delle rappresentazioni di gruppi di Lie compatti, che crea un collegamento fra il gruppo e gli automorfismi di uno spazio vettoriale. Concetti di base su questa teoria saranno di fondamentale importanza per l'elaborato, come ad esempio il Lemma di Schur e le relazioni di ortogonalità. Tale problema viene inoltre risolto grazie a teoremi dati dall'analisi armonica astratta, che riguardano trasformate di Fourier di funzioni definite su gruppi di Lie compatti. Esse agiscono sul duale di Pontryagin, l'insieme delle classi di equivalenza di rappresentazioni irriducibili, secondo la relazione di essere isomorfe. Sui gruppi di Lie compatti il duale di Pontryagin è discreto. SU(2) verrà rappresentato sugli spazi di polinomi omogenei complessi in due variabili. Nella tesi viene mostrato che le rappresentazioni di questo tipo costituiscono tutto il duale di Pontryagin di SU(2).

Analisi della rappresentazione della rabbia in Italia e Cina tramite Perfetti sconosciuti e Kill mobile

Questa tesi si propone di confrontare e analizzare il modo in cui le persone di diverse culture esprimono e manifestano la loro rabbia. Per farlo, sono stati presi in considerazione due film (uno il remake dell'altro): Perfetti sconosciuti (2016) e Kill mobile (2018). Per capire meglio cos'è la rabbia e come si manifesta, sono stati analizzati molti studi relativi alle emozioni, per poi concentrarsi esclusivamente sulla rabbia; come influenza e modifica la mimica, le azioni e il modo di parlare. Sono state poi analizzate le diverse rappresentazioni ed espressioni della rabbia nelle due culture studiate (Italia e Cina). Dopo aver esaminato la trama e i personaggi dei due film, gli stessi sono stati messi a confronto per trovare eventuali analogie o differenze che potessero essere rilevanti ai fini di questo lavoro. In seguito, sono state individuate tutte le scene in cui era presente la rabbia (sia implicita che espressa), prima in Perfetti sconosciuti e poi in Kill mobile, per trovare gli episodi che condividono lo stesso antecedente e confrontarli. Per farlo, sono state create delle tabelle secondo il modello di script emotivo di Varriano e Zuccheri, contenente tutti gli aspetti rilevanti di ogni episodio: antecedente, relazione tra i personaggi, orientamento degli stessi tra loro, espressioni verbali e non verbali, segnali paralinguistici e linguistici (quando presenti). Nonostante le numerose differenze individuate, sia tra i film che tra le culture, è stato possibile confermare che le emozioni, e soprattutto la rabbia, condividono espressioni, azioni e manifestazioni simili, se non identiche.

Insiemi convessi e funzioni convesse in R^n

In questa tesi abbiamo voluto studiare alcune delle proprietà e caratterizzazioni di questa classe di insiemi e di funzioni, nonchè alcune loro possibili applicazioni. Nel primo capitolo vengono analizzati gli insiemi convessi in R^n con le loro proprietà; se ne osserva la relazione con gli iperpiani e con l’inviluppo convesso dell’insieme stesso. Infine abbiamo studiato come la funzione distanza da un insieme caratterizzi gli insiemi convessi. Nel secondo capitolo abbiamo guardato invece le funzioni convesse, osservando alcuni esempi, per poi focalizzarci sulle proprietà generali e diverse possibili caratterizzazioni. In particolare abbiamo osservato come le cosiddette funzioni lisce si relazionano alla convessità. Nella sezione sulla dualità convessa abbiamo infine esaminato il caso di funzioni con codominio R esteso per studiare funzioni convesse semicontinue inferiormente, fino ad arrivare alla dualità. Nel terzo capitolo, vediamo una delle tante possibili applicazioni della teoria convessa, la teoria dei giochi. L’ultimo capitolo è molto breve e non vuole entrare nel merito di questa importante area della matematica, ma vuole solo far “vedere all’opera” alcune delle proprietà della teoria convessa precedentemente esposta.

Analisi del metodo SIAD per il PageRank

In questo lavoro di tesi si analizzerà un metodo per risolvere il problema del PageRank alternativo rispetto al tradizionale metodo delle potenze. Verso la fine degli anni '90, con l’avvento del World Wide Web, fu necessario sviluppare degli algoritmi di classificazione in grado di ordinare i siti web in base alla loro rilevanza. Davanti a questa sfida i due matematici A.N.Langville e C.D.Meyer svilupparono il metodo SIAD, "special iterative aggregation/disaggregation method". Lo scopo di questa tesi è in primo luogo di ricostruire il metodo SIAD e analizzarne le proprietà. Seguendo le analisi in un articolo di I.C.Ipsen e S.Kirkland, si ricostruirà nel dettaglio il metodo SIAD, così da esplicitare la convergenza asintotica del metodo in relazione al complemento stocastico scelto. In secondo luogo si analizzerà il metodo SIAD applicato ad una matrice di Google che rispetta ipotesi determinate, le matrici di Google sono solitamente utilizzate per rappresentare il problema del PageRank. Successivamente, si dimostrerà un importante teorema che prova come per ogni matrice di Google si possa individuare un complemento stocastico per cui il metodo SIAD converge più velocemente del metodo delle potenze. Infine, nell’ultimo capitolo si implementerà con il inguaggio di programmazione Matlab il metodo SIAD per una matrice generica e per una matrice di Google. In particolare, si sfrutterà la struttura della matrice di Google per ridurre sensibilmente il costo computazionale del metodo quando applicato applicato ad una tale matrice.

Determinazione di composti bioattivi da campioni di oli di oliva aromatizzati

In questa tesi sperimentale verranno mostrati e discussi i risultati dell’analisi svolta in Spagna presso l’Università di Granada. L’obbiettivo è stato quello di determinare la presenza di composti bioattivi a partire da cinque campioni di oli di oliva aromatizzati prodotti presso le strutture del Campus di Scienze degli Alimenti di Cesena. Per la precisione, si sono valutati tre oli ottenuti mediante aromatizzazione per co-estrazione di olive con arance, sottoprodotti di arance e pepe nero e due campioni di controllo ottenuti per frangitura delle sole olive utilizzate anche per le co-frangiture. Sotto la supervisione di un gruppo di docenti dell’Università di Granada, i campioni sopra citati sono stati sottoposti ad una prima fase di estrazione in soluzione idro-alcolica e ad una successiva analisi esplorativa qualitativa mediante UPLC-DAD-ESI-TOF-MS. I risultati sono stati commentati in relazione alla presenza nell’olio aromatizzato di molecole a struttura fenolica e polifenolica, note per potere esplicare anche in vivo attività salutistiche, che si sono ripartite dalle materie prime vegetali impiegate in co-frangitura all’olio ottenuto. Nello specifico, è emersa la presenza di composti bioattivi peculiari dei frutti dell’olivo, in particolar modo secoiridoidi e derivati, in netta minoranza rispetto ai composti non identificati ipoteticamente derivanti dalle matrici vegetali impiegate in co-estrazione.

studio ed ottimizzazione del modello di valutazione del rapporto fra risorse ed obiettivi di consegna in un’azienda leader nel settore del packaging farmaceutico e cosmetico

Il presente elaborato di tesi riguarda uno studio che è stato portato avanti durante il tirocinio curriculare svolto nell’ufficio Engineering di Marchesini Group S.p.A., azienda leader nella produzione di macchine automatiche per il packaging di prodotti farmaceutici e cosmetici. Dopo aver riscontrato alcune criticità nelle modalità con le quali vengono attualmente pianificate e gestite le risorse appartenenti ai team produttivi e con le quali vengono valutati i carichi di lavoro, si sono elaborati dei modelli e degli strumenti che permettono di migliorare ed ottimizzare l’assegnazione delle risorse ai gruppi e di visualizzare in tempo reale la distribuzione dell’impegno di lavoro dei reparti in relazione alla disponibilità in produzione. Le proposte supportano il trend dell’attuale contesto produttivo di garantire un elevato livello di servizio al cliente rispettandone le richieste e i tempi stabiliti. Difatti, un’assegnazione corretta delle risorse in produzione consente di ridurre i ritardi e le inefficienze e, di conseguenza, di migliorare i lead time. In aggiunta, una correlazione chiara e strutturata fra le risorse e gli obiettivi raggiungibili permette di conseguire con maggiore sicurezza i risultati economici stabiliti, evitando di perdere parte del valore potenzialmente collaudabile.

Sviluppo ed applicazione di un algoritmo per la pallettizzazione e la saturazione del mezzo di trasporto: il caso Gruppo Montenegro S.r.l. - Food Division

L’elaborato di tesi è frutto di un percorso di tirocinio svolto in Gruppo Montenegro S.r.l., il cui obiettivo risiede nello sviluppo di un algoritmo per la pallettizzazione e la saturazione del mezzo di trasporto per la Divisione Food. Nello specifico viene proposto un algoritmo euristico elaborato nel linguaggio di programmazione Python. La divisione Food è costituita da tre categorie: Cannamela, Cuore e Vitalia.Queste comprendono prodotti molto eterogenei. Attraverso il coinvolgimento delle funzioni aziendali di Packaging e Qualità, sono stati stabiliti i vincoli da rispettare per la pallettizzazione dei prodotti. L’algoritmo proposto viene descritto suddividendo il processo in tre macro-step. La prima parte affronta il problema del 3D Bin Packing Problem, utilizzando e modificando un programma già presente in letteratura per soddisfare le esigenze della categoria Cannamela. Quest’ultima a differenza delle altre categorie, viene allestita in groupage preallestito poiché gli ordini Cannamela possono contenere quantità non-multiple rispetto alle quantità contenute nell’imballo secondario. La seconda parte dell’algoritmo si occupa della creazione dei pallet per le categorie Cuore e Vitalia. Attraverso l’utilizzo dell’algoritmo di clustering K-means sono state create famiglie di codici che permettessero l’allestimento di pallet con prodotti considerati simili. Di conseguenza, l’algoritmo per la pallettizzazione delle due categorie viene sviluppato ex-novo basandosi sulla percentuale di occupazione del prodotto nel pallet. L’ultima parte dell’algoritmo studia la possibilità di sovrapporre i pallet precedentemente creati. Infine, viene effettuata un’analisi di un periodo strategico confrontando i risultatidell’algoritmo Python con quelli dell’algoritmo presente nel gestionale aziendale. I risultati vengono poi analizzati in relazione a due impatti importanti per l’azienda:economici e ambientali.

Fair trade e sviluppo sostenibile - Il caso del te di DaZhang montagna

Commercio equo e sviluppo sostenibile sono importanti questioni di attualità a livello globale. Il commercio equo si concentra sulla protezione dei diritti dei lavoratori e dei contadini nel commercio internazionale, migliorando la qualità della loro vita e aumentando le opportunità di sviluppo attraverso il pagamento di un salario equo. Lo sviluppo sostenibile considera invece una prospettiva più ampia, mirando a proteggere l'ambiente, promuovere lo sviluppo sociale ed economico e fornire risorse e ambiente sostenibili per le future generazioni. Questa tesi ha come obiettivo analizzare il caso dei tè biologici della montagna DaZhang, integrando l'analisi dell'impatto del commercio equo sulla lotta alla povertà e sulla promozione della giustizia commerciale, e confrontando orizzontalmente i criteri di sviluppo sostenibile. In questo modo, verrà riassunta la relazione tra commercio equo e sviluppo sostenibile.