Metodi numerici per problemi non lineari in tomosintesi multienergia

La tomosintesi digitale computerizzata è una particolare tecnica che permette di ricostruire una rappresentazione 3D di un oggetto, con un numero finito di proiezioni su un range angolare limitato, sfruttando le convenzionali attrezzature digitali a raggi X. In questa tesi è stato descritto un modello matematico per la ricostruzione dell’immagine della mammella nella tomosintesi digitale polienergetica che tiene conto della varietà di materiali che compongono l’oggetto e della natura polienergetica del fascio di raggi X. Utilizzando questo modello polienergetico-multimateriale, la ricostruzione dell’immagine di tomosintesi è stata ricondotta alla formulazione di un problema dei minimi quadrati non lineare su larga scala e risolverlo ha permesso la ricostruzione delle percentuali dei materiali del volume assegnato. Nelle sperimentazioni sono stati implementati il metodo del gradiente, il metodo di Gauss-Newton ed il metodo di Gauss-Newton CGLS. E' stato anche utilizzato l’algoritmo trust region reflective implementato nella funzione lsqnonlin di MATLAB. Il problema della ricostruzione dell'immagine di tomosintesi è stato risolto utilizzando questi quattro metodi ed i risultati ottenuti sono stati confrontati tra di loro.

Progettazione del sistema di controllo di una vettura di formula sae

Il seguente lavoro di tesi è finalizzato alla realizzazione dell’elettronica di controllo per una vettura prototipo, Nel Capitolo 1 della tesi viene descritto più nel dettaglio il progetto Formula SAE, introducendo gli aspetti peculiari della competizione; successivamente segue una breve descrizione del team UniBo Motorsport. Il Capitolo 2 descrive l’elettronica implementata nella stagione 2013 evidenziandone i punti di forza e le debolezze al fine di poter trarre delle conclusioni per comprendere la direzione intrapresa con questo lavoro di tesi. Nel Capitolo 3 viene presentata la soluzione proposta,motivandone le scelte e la necessità di suddividere il lavoro in più unità distinte, mantenendo le peculiarità tecniche del già eccellente lavoro effettuato nel corso degli anni da chi mi ha preceduto ed aggiungendo quelle funzionalità che permettono di mantenere la soluzione in una posizione dominante nel panorama della Formula Student. La progettazione dell’hardware che compone la soluzione proposta è descritta nel Capitolo 4, introducendo dapprima la metodologia adottata per la progettazione partendo dalle specifiche fino ad arrivare al prodotto finito ed in seguito ne viene descritta l’applicazione ad ogni unità oggetto del lavoro. Sono state progettate da zero tre unità: una centralina di controllo motore (ECU), una di controllo veicolo (VCU) ed un controller lambda per la gestione di sonde UEGO. Un aiuto fondamentale nella progettazione di queste tre unità è stato dato da Alma Automotive, azienda che fin dal principio ha supportato, anche economicamente, le varie evoluzioni dell’hardware e del software della vettura. Infine viene descritto nel capitolo 5 il software che verrà eseguito sulle unità di controllo, ponendo particolare risalto al lavoro di adattamento che si è reso necessario per riutilizzare il software in uso negli anni precedenti.

Studio e progettazione di prodotti vernicianti per l'edilizia a base acquosa

Lo scopo del lavoro di tesi, svolto presso gli stabilimenti della Ditan Color Srl di Palazzolo Acreide (SR), è stato quello di realizzare un rivestimento colorato a base acquosa per il settore edile avente uno spessore medio del film essiccato di circa 150 micron, rivestimento definito a “basso spessore”, da applicare con sistemi tradizionali (rullo, spray, pennello) su intonaci “civili”, a base di calce e/o cemento, rasature cementizie e su pitture minerali esistenti. La caratteristica peculiare di questa pittura è la presenza di un sistema sinergico di “leganti” costituito da resine acriliche, silossaniche e da silice colloidale a dimensioni nanometriche. La presenza di PV con leganti acrilici, acril/silossanici, minerali a base di calce aerea o silicato di potassio è una realtà da tempo consolidata. Il mercato offre moltissime soluzioni legate alle caratteristiche delle superfici da trattare, alle esigenze dei clienti o semplicemente alle aree geografiche. Con questo progetto si è valutata la possibilità di includere tra i leganti un nuovo componente, il gel di silice a dimensioni nanometriche (diametro delle particelle < 100 nm) e di monitorare le proprietà del prodotto finito. Le caratteristiche fondamentali per classificare il PV sono: l’adesione della pittura ai supporti, intesa come misurazione dell’aderenza per trazione diretta; la traspirabilità del film essiccato – con conseguente ruolo attivo del PV nello scambio tra ambiente interno ed esterno - intesa come determinazione del grado di trasmissione del vapore acqueo secondo la norma UNI EN ISO 7783; la resistenza all’acqua meteorica - con conseguente protezione dello stato e della salubrità delle murature - intesa come determinazione del grado di trasmissione dell’acqua liquida secondo la UNI EN 1062-3. Lo studio è iniziato con la messa a punto del tipo di sistema disperdente/bagnante e del suo dosaggio, quindi del dosaggio di pigmento TiO2. Successivamente è stato valutato il comportamento di una serie di sistemi leganti contenenti vari tipi di polimeri e l’effetto della presenza di silice colloidale. Infine, sulle formulazioni ottimizzate, sono state condotte prove di adesione al supporto, traspirabilità e resistenza all’acqua meteorica.

Development and implementation of a S/W platform to automatically receive and share satellite data

Relazione del lavoro di creazione e implementazione della piattaforma software che sviluppa l’archivio del progetto SATNET. I satelliti universitari hanno un tempo di vista della propria Stazione di Terra di pochi minuti al giorno: SATNET risponde all’esigenza di comunicare con un satellite universitario in orbita bassa per più dei pochi minuti al giorno che una singola Stazione di Terra permette. Questo avviene grazie a una rete di Stazioni di Terra Satellitari collegate da specifiche missioni comuni che mettono in condivisione dati ricevuti da uno o più satelliti, aumentando il rendimento dati/giorno di questi e permettendo una migliore fruizione delle Stazioni di Terra stesse. Il network sfrutta Internet come canale di connessione, e prevede la presenza di un archivio nel quale memorizzare i dati ricevuti, per poi renderne possibile la consultazione e il recupero. Oggetto di questo lavoro di tesi è stato lo sviluppo e l’implementazione di tale archivio: utilizzando un sito web dinamico, il software risponde a tutte le richieste evidenziate nel paragrafo precedente, permettendo a utenti autenticati di inserire dati e ad altri di poterne avere accesso. Il software è completo e funzionante ma non finito, in quanto manca la formulazione di alcune richieste; per esempio non è stato specificato il tipo di informazioni che è possibile caricare in upload, né il tipo di campi richiesti nel modulo di registrazione dei vari utenti. In questi casi sono stati inseriti campi generici, lasciando all’utente la possibilità di modificarli in seguito. Il software è stato dunque concepito come facilmente personalizzabile e modificabile anche da utenti inesperti grazie alla sola lettura della tesi, che rappresenta quindi una vera e propria guida per l’utilizzo, l’installazione, la personalizzazione e la manutenzione della piattaforma software. La tesi evidenzia gli obiettivi e le richieste, mostrando l’aspetto del sito web e le sue funzionalità, e spiega passo per passo il procedimento per la modifica dell’aspetto delle pagine e di alcuni parametri di configurazione. Inoltre, qualora siano necessarie modifiche sostanziali al progetto, introduce i vari linguaggi di programmazione necessari allo sviluppo e alla programmazione web e aiuta l’utente nella comprensione della struttura del software. Si conclude con alcuni suggerimenti su eventuali modifiche, attuabili solo a seguito di un lavoro di definizione degli obiettivi e delle specifiche richieste. In futuro ci si aspetta l’implementazione e la personalizzazione del software, nonché l’integrazione dell’archivio all’interno del progetto SATNET, con l’obiettivo di migliorare e favorire la diffusione e la condivisione di progetti comuni tra diverse Università Europee ed Extra-Europee.

L'assioma di scelta : Storia e influenza sulla matematica del novecento.

L’assioma di scelta ha una preistoria, che riguarda l’uso inconsapevole e i primi barlumi di consapevolezza che si trattasse di un nuovo principio di ragionamento. Lo scopo della prima parte di questa tesi è quello di ricostruire questo percorso di usi più o meno impliciti e più o meno necessari che rivelarono la consapevolezza non solo del fatto che fosse indispensabile introdurre un nuovo principio, ma anche che il modo di “fare matematica” stava cambiando. Nei capitoli 2 e 3, si parla dei moltissimi matematici che, senza rendersene conto, utilizzarono l’assioma di scelta nei loro lavori; tra questi anche Cantor che appellandosi alla banalità delle dimostrazioni, evitava spesso di chiarire le situazioni in cui era richiesta questa particolare assunzione. Il capitolo 2 è dedicato ad un caso notevole e rilevante dell’uso inconsapevole dell’Assioma, di cui per la prima volta si accorse R. Bettazzi nel 1892: l’equivalenza delle due nozioni di finito, quella di Dedekind e quella “naturale”. La prima parte di questa tesi si conclude con la dimostrazione di Zermelo del teorema del buon ordinamento e con un’analisi della sua assiomatizzazione della teoria degli insiemi. La seconda parte si apre con il capitolo 5 in cui si parla dell’intenso dibattito sulla dimostrazione di Zermelo e sulla possibilità o meno di accettare il suo Assioma, che coinvolse i matematici di tutta Europa. In quel contesto l’assioma di scelta trovò per lo più oppositori che si appellavano ad alcune sue conseguenze apparentemente paradossali. Queste conseguenze, insieme alle molte importanti, sono analizzate nel capitolo 6. Nell’ultimo capitolo vengono riportate alcune tra le molte equivalenze dell’assioma di scelta con altri enunciati importanti come quello della tricotomia dei cardinali. Ci si sofferma poi sulle conseguenze dell’Assioma e sulla sua influenza sulla matematica del Novecento, quindi sulle formulazioni alternative o su quelle più deboli come l’assioma delle scelte dipendenti e quello delle scelte numerabili. Si conclude con gli importanti risultati, dovuti a Godel e a Cohen sull’indipendenza e sulla consistenza dell’assioma di scelta nell’ambito della teoria degli insiemi di Zermelo-Fraenkel.

Studio teorico e modellizzazione numerica degli effetti di preplasma in regime di accelerazione di ioni tramite laser

Argomento di questo lavoro di tesi è l’accelerazione di ioni tramite interazione laser-plasma. Nel particolare, uno studio teorico sui principali meccanismi di accelerazione e una campagna di simulazioni numeriche volte ad analizzare gli effetti sullo spettro energetico dei protoni accelerati dovuti al preplasma sono stati svolti. Quando laser ad impulsi brevi, ad alta intensità e a contrasto finito, interagiscono con un campione solido è presente un preimpulso che causa la formazione di una regione di preplasma antistante il bersaglio che può rendere più efficace l’accelerazione dei protoni. Vengono dunque introdotti nel primo capitolo i concetti e le tecniche base per studiare a livello teorico e numericamente le interazioni laser-plasma. Nel secondo capitolo sono trattati analiticamente alcuni meccanismi di accelerazione di ioni. Nel terzo ed ultimo capitolo vengono descritti gli effetti di preplasma ed esposti risultati di simulazioni PIC volte a trovare i parametri ottimali per ottenere ioni più energetici.

Studio dell'effetto di diverse condizioni di tostatura sulle proprieta fisico-chimiche e biochimiche di nocciole polacche (coryllus avellana l. Var. Katalonski)

In questo lavoro di tesi è stata valutata l’influenza della tostatura a diverse condizioni di tempo e temperatura sulle principali caratteristiche qualitative di nocciole polacche (Coryllus avellana L.) di varietà Kataloński. In particolare, le prove di tostatura sono state condotte a due differenti temperature, 130 e 160 °C, ognuna delle quali applicata rispettivamente per tre diversi tempi: 40, 50, 60 e 20, 25, 30 minuti. Al fine di definire le condizioni ottimali di tostatura, i campioni ottenuti sono stati sottoposti ad analisi colorimetrica (L*,a*,b*), dell’attività dell’acqua e del contenuto in acqua (%). Inoltre, per ottenere un quadro completo della qualità delle diverse nocciole tostate, è stato valutato anche il loro contenuto in composti bioattivi per mezzo della determinazione del contenuto in fenoli totali (metodo del Folin-Ciocalteu), dei singoli composti fenolici (HPLC-MS) e dell’attività antiossidante (metodo dell’ABTS·+). In seguito ad estrazione della frazione lipidica, è stato determinato anche il contenuto in tocoferoli (HPLC-FLD) e lo stato ossidativo delle nocciole tostate per mezzo dell’analisi del numero di perossidi. Infine è stato studiato anche l’effetto della tostatura sullo sviluppo di composti volatili (GC-MS), caratteristici dell’aroma tipico delle nocciole tostate. Questo studio rappresenta un importante screening di valutazione delle nocciole tostate a diversi tempi e temperature e mostra come la temperatura sia un parametro molto importante, con una forte influenza sulle caratteristiche compositive e sensoriali del prodotto finito. Sulla varietà Kataloński non sono presenti lavori in letteratura, questo studio quindi rappresenta una novità per quanto riguarda questa specifica varietà. Le numerose analisi svolte, poi, consentono un ampio quadro dei fenomeni che si verificano durante la tostatura.

Mirambla Mobile

Il presente documento si prefigge di affrontare lo sviluppo di un idea astratta e di descrivere accuratamente il processo che la trasforma in un prodotto finito. L'idea in questione si basa su un'applicazione Mobile per Android ed il conseguente progetto si articola su un portale di gestione di eventi (MiRambla) del quale l'app rappresenta una sua estensione. Tramite diversi step tra i quali descrizione del mondo social mobile, analisi, progettazione e sviluppo di affronterà tutto il lavoro che sta dietro alla creazione di quest'applicazione.

Laplace operator on finite graphs and a network diffusion model for the progression of the Alzheimer disease

Nella tesi viene descritto il Network Diffusion Model, ovvero il modello di A. Ray, A. Kuceyeski, M. Weiner inerente i meccanismi di progressione della demenza senile. In tale modello si approssima l'encefalo sano con una rete cerebrale (ovvero un grafo pesato), si identifica un generale fattore di malattia e se ne analizza la propagazione che avviene secondo meccanismi analoghi a quelli di un'infezione da prioni. La progressione del fattore di malattia e le conseguenze macroscopiche di tale processo(tra cui principalmente l'atrofia corticale) vengono, poi, descritte mediante approccio matematico. I risultati teoretici vengono confrontati con quanto osservato sperimentalmente in pazienti affetti da demenza senile. Nella tesi, inoltre, si fornisce una panoramica sui recenti studi inerenti i processi neurodegenerativi e si costruisce il contesto matematico di riferimento del modello preso in esame. Si presenta una panoramica sui grafi finiti, si introduce l'operatore di Laplace sui grafi e si forniscono stime dall'alto e dal basso per gli autovalori. Al fine di costruire una cornice matematica completa si analizza la relazione tra caso discreto e continuo: viene descritto l'operatore di Laplace-Beltrami sulle varietà riemanniane compatte e vengono fornite stime dall'alto per gli autovalori dell'operatore di Laplace-Beltrami associato a tali varietà a partire dalle stime dall'alto per gli autovalori del laplaciano sui grafi finiti.

Coca cola hbc italia: Modello per il calcolo di inventory stock target e production cycles ottimali

Approccio unificato alla gestione e alla valutazione del planning in stabilimenti e magazzini, presso Coca Cola HBC Italia

Valutazione delle prestazioni ambientali di un rivestimento isolante termoacustico attraverso la metodologia LCA

Il presente studio riporta i risultati emersi dal Life Cycle Assessment (LCA) del Corkwall, un prodotto da costruzione utilizzato in edilizia come coibentante termico ed acustico, riempitivo di crepe ed in grado di conferire resistenza al fuoco e impermeabilità alle facciate degli edifici. Il Corkwall è un'emulsione ottenuta dall’unione di sughero granulato e resine acriliche - prodotto dall’azienda Portoghese Amorim S.A. - commercializzato in tutto il mondo. Si sono presi in considerazione gli impatti derivanti dall’intero ciclo produttivo: dall’acquisizione delle materie prime fino al confezionamento del prodotto finito. I risultati di questo studio dimostrano che la fase di produzione del Corkwall è quella di gran lunga più impattante rispetto a tutte le categorie di impatto analizzate. Ciò è dovuto principalmente alla produzione delle resine acriliche. L’utilizzo di resine naturali migliorerebbe le prestazioni ambientali ma peggiorerebbe la qualità e la funzionalità del prodotto. Per migliorare le prestazioni ambientali del ciclo produttivo sarebbe opportuno sostituire interamente i trasporti in gomma con trasporti su rotaia. Ciò apporterebbe un miglioramento variabile dal 34% sull’eutrofizzazione, al 77% sull’assottigliamento dello strato di ozono stratosferico. Infine è stata effettuata una valutazione comparativa tra il Corkwall e un pannello di sughero (Corkpan) aventi stessa funzione di coibentazione termica. I risultati mostrano che la produzione del Corkpan comporta degli impatti ambientali migliori, che variano dal 48% sulla riduzione dello strato di ozono, al 100% sul riscaldamento globale, ad esclusione della categoria di acidificazione in cui il Corkpan è peggiore del 2%. Il Corkpan risulta essere più vantaggioso anche perché, a differenza del Corkwall, esso è recuperabile e riutilizzabile. Il vantaggio che offre il Corkwall è che può essere impiegato sulle facciate esterne ed aderendo al substrato funge da riempitivo di crepe e fessure apportando anche un miglioramento estetico agli edifici.

The finite lambda calculus

In questa tesi si descrive il lambda calcolo finito, un'istanza del lambda calcolo con tipi finiti. Si studia la metateoria e la complessità della riduzione.

Ottimizzazione del processo di produzione di protesi biomimetiche per cranioplastica

Le protesi biomimetiche hanno subito negli anni innumerevoli cambiamenti dovuti al miglioramento tecnologico, che ha portato allo sviluppo di nuovi materiali sempre più biomimetici. L’utilizzo di protesi in idrossiapatite personalizzate rappresenta la scelta migliore per gli interventi di cranioplastica ricostruttiva. Ad oggi la produzione di questo dispositivo richiede lunghe fasi di lavorazione. Risulta pertanto di grande interesse trovare soluzioni innovative che permettano l’ottimizzazione dei tempi garantendo al contempo l’efficacia clinica. L’obiettivo di questo elaborato è introdurre l’utilizzo delle microonde per essiccare il semilavorato nelle fasi iniziali di produzione. Bisogna comprendere quali siano i parametri in grado di influenzare le proprietà finali del dispositivo e come modularli per guidare questi attributi verso il punto di ottimo. Si è deciso di utilizzare la tecnica del Design of Experiments a fattoriale completo come metodo per ottimizzare il processo produttivo. I fattori scelti sono stati la potenza del forno a microonde, il peso della cellulosa secca, il range di peso della matrice di cellulosa e la percentuale di essiccamento del semilavorato. Al termine dello studio è stato possibile capire come e quanto questi fattori abbiano influenzato la severità dei difetti, la porosità e le proprietà meccaniche (tensione ultima di compressione e lavoro a rottura) del prodotto finito. Lo studio ha mostrato che per garantire un basso numero di difetti associato ad una porosità in linea con le specifiche di prodotto è indicato impostare la potenza del forno a microonde sul valore di 250W e di utilizzare questo processo nella fase iniziale per essiccare al 20% i semilavorati. La conferma è stata fornita da una sperimentazione eseguita su protesi allineate ad un caso clinico reale utilizzando questo nuovo processo permettendo di ottenere un ottimo risultato in termini di qualità del prodotto finito con una bassa percentuale di scarto per difetti e porosità.

I coefficienti binomiali.

In questa tesi si trattano alcune delle proprietà dei coefficienti binomiali, il cui nome deriva dal fatto che uno dei principali utilizzi di tali coefficienti è proprio nel Teorema binomiale di Newton, che permette di calcolare in modo esplicito lo sviluppo di un generico binomio con esponente naturale. I coefficienti binomiali si ricavano anche dal noto Triangolo di Tartaglia, che prende nome dal matematico Niccolò Fontana (1490-1557), il quale lo introdusse in Italia nel 1556 nella sua opera "General trattato di numeri et misure". Tuttavia, esso era già noto agli indiani e ai cinesi nel XIV secolo. Successivamente, in Francia e nel mondo anglosassone, tale triangolo prese anche il nome di Triangolo di Pascal, quando nel 1654 il matematico francese pubblicò il libro "Le triangle Aritmetique", interamente dedicato alle sue proprietà. I coefficienti binomiali, inoltre, trovano largo uso in calcolo combinatorio, ossia in quella branca della matematica che si occupa di contare i modi di raggruppare, secondo determinate regole, gli elementi di un insieme finito di oggetti. Dunque, per quanto la definizione stessa di coefficienti binomiali sia semplice, essendo un rapporto di interi fattoriali, in realtà essi trovano ampio utilizzo in vari ambiti e proprio per questo suscitano un notevole interesse ed hanno svariate applicazioni, giocando un ruolo fondamentale in parti della matematica come la combinatoria. In questa tesi, oltre alle proprietà più note, sono contenuti anche alcuni collegamenti tra i coefficienti binomiali e i polinomi di variabile naturale, nonché, nell'ultima parte, applicazioni alle differenze finite di progressioni geometriche.

Trasformazioni che conservano la misura

Si consideri un insieme X non vuoto su cui si costruisce una sigma-algebra F, una trasformazione T dall'insieme X in se stesso F-misurabile si dice che conserva la misura se, preso un elemento della sigma-algebra, la misura della controimmagine di tale elemento è uguale a quella dell'elemento stesso. Con questa nozione si possono costruire vari esempi di applicazioni che conservano la misura, nell'elaborato si presenta la trasformazione di Gauss. Questo tipo di trasformazioni vengono utilizzate nella teoria ergodica dove ha senso considerare il sistema dinamico a tempi discreti T^j x; dove x = T^0 x è un dato iniziale, e studiare come la dinamica dipende dalla condizione iniziale x. Il Teorema Ergodico di Von Neumann afferma che dato uno spazio di Hilbert H su cui si definisce un'isometria U è possibile considerare, per ogni elemento f dello spazio di Hilbert, la media temporale di f che converge ad un elemento dell'autospazio relativo all'autovalore 1 dell'isometria. Il Teorema di Birkhoff invece asserisce che preso uno spazio X sigma-finito ed una trasformazione T non necessariamente invertibile è possibile considerare la media temporale di una funzione f sommabile, questa converge sempre ad una funzione f* misurabile e se la misura di X è finita f* è distribuita come f. In particolare, se la trasformazione T è ergodica si avrà che la media temporale e spaziale coincideranno.