Validazione di modelli numerici per lo studio del cambiamento di fase solido/liquido in leghe metalliche in regime di convezione naturale

Il lavoro svolto ha come scopo l’implementazione e la validazione di un modello di cambiamento di fase mediante l’utilizzo del codice commerciale Comsol Multiphysics, che permette la modellazione e la risoluzione di equazioni matematiche che governano ambienti multifisici. La validazione dei modelli sviluppati è stata effettuata mediante confronto sia con soluzioni analitiche di riferimento, sia con soluzioni numeriche ottenute utilizzando il codice commerciale ProCAST, sviluppato appositamente per simulazioni di processi fusori I problemi analizzati hanno riguardato lo scambio termico sia in regime di sola conduzione, sia in presenza di convezione naturale all’interno di un materiale in cambiamento di fase solido-liquido. È stato considerato sia il caso di sostanze pure, quindi con un’unica temperatura di cambiamento di fase, sia il caso di leghe metalliche, la cui transizione di fase avviene in un intervallo di temperatura.  

Valutazione dei criteri ambientali minimi del pan gpp per i servizi di pulizia e loro applicazione al piano di riduzione degli impatti ambientali del presidio ospedaliero di Conegliano

The subject of my thesis is to develop an assessment of minimum environmental criteria of the Plan National Action of Green Public Procurement for the cleaning service in the Conegliano’s hospital, used as case of study, through the Life Cycle Assessment methodology, to improve the hospital cleaning service.

Il rapporto tra la valutazione della vulnerabilita sismica dei tessuti edilizi dei centri storici e la caratterizzazione costruttiva: un caso di studio a san felice sul panaro

Lo studio della vulnerabilità sismica degli aggregati attraverso una scheda speditiva

Uso di misure idrometriche satellitari per la calibrazione dei modelli numerico-idraulici: il caso del fiume Po

Questo lavoro di tesi tratta l'utilizzo di misure idrometriche satellitari in combinazione con le misure idrometriche tradizionali per la calibrazione dei modelli numerico-idraulici. Il presente elaborato riguarda la calibrazione di un complesso modello idraulico del Fiume Po implementato in HEC-RAS. Il caso di studio è un tratto del Fiume Po lungo circa 131 km, che va dalla sezione relativa alla stazione idrometrica di Borgoforte e termina all'incile del Po di Goro. Le Analisi numeriche svolte si suddividono in tre gruppi, il primo sfrutta l'impiego di soli dati idrometrici tradizionali, il secondo l'impiego di soli dati idrometrici satellitari e il terzo l'impiego di entrambe le tipologie di dati idrometrici.

Valutazione dell'effetto del mezzo temprante sulle tensioni residue e proprieta meccaniche della lega di alluminio Al-Si7-Mg

L’alluminio, grazie alla sua bassa temperatura di fusione e all’elevata fluidità di molte leghe, è uno dei metalli più versatili in fonderia. Per ottenere il massimo delle proprietà resistenziali, le leghe che lo permettono sono sottoposte a trattamento termico. Questo, però, in componenti geometricamente complessi può far insorgere tensioni residue che inficeranno la resistenza del materiale durante la sua messa in esercizio. Gli obiettivi della presente ricerca sono stati: la valutazione dell’incidenza del mezzo temprante usato durante il trattamento termico sulle tensioni residue che si sviluppano nella lega AlSi7Mg e la definizione di come questo potesse essere modificato per ridurre le tensioni senza peggiorare le proprietà resistenziali del materiale. Per tale ragione sono state eseguite prove di trattamento termico, analisi microstrutturali e test di durezza su campioni estratti direttamente da getti colati in sabbia.

Il rapporto tra processo e prodotto software: il ruolo dei modelli

L’obiettivo della tesi è dimostrare come da un’idea progettuale si arriva alla realizzazione di un prodotto finito passando attraverso la sua modelizzazione. In questo caso l’oggetto dell’attività voleva essere quello di risolvere la problematica degli accessi nelle Ztl. Per risolvere questa problematica è sufficiente comunicare l’accesso al comando dei vigili urbani, per questo i canali di comunicazione scelti dall’azienda sono multipli, in particolare nella tesi verrà mostrato in che modo si arriva al prodotto finale attraverso l’attività di modellizzazione, usando il canale APP versione QR-Code.

Abitare il rio bogota. Modelli insediativi per la megalopoli.

Il progetto di tesi si sviluppa a partire dalla proposta di espansione lineare della città di Bogotá, lungo un asse infrastrutturale che attraversa diversi comuni vicini alla città. Il tema principale del lavoro di tesi è relativo al confronto con uno dei limiti principali di questa espansione: il Rio Bogotà. L'obiettivo è quello di risolvere a livello urbano il rapporto di tale elemento naturale con l'edificato, in particolare il grande edificio pubblico e le abitazioni. Questo sarà reso possibile attraverso lo studio di valide soluzioni strutturali che tengano conto dei problemi derivanti da una zona fortemente sismica e soggetta ad inondazioni.

L'equazione del mezzo poroso: proprieta matematiche e applicazioni fisiche

In questa tesi viene presentata una breve trattazione matematica dell' equazione del mezzo poroso. Questa è uno dei più semplici esempi di PDE parabolica non lineare e degenere, che appare nella descrizione di molti fenomeni naturali, legati alla diffusione, filtrazione e propagazione del calore. I risultati sono confrontati con quelli ben noti del modello parabolico classico. Una particolare attenzione è rivolta alla proprietà matematica di propagazione finita che contrasta con il paradosso della velocità infinita, tipico del modello parabolico lineare.

Modelli e linguaggi per grafi multi-livello

I grafi sono molto utilizzati per la rappresentazione di dati, sopratutto in quelle aree dove l’informazione sull’interconnettività e la topologia dei dati è importante tanto quanto i dati stessi, se non addirittura di più. Ogni area di applicazione ha delle proprie necessità, sia in termini del modello che rappresenta i dati, sia in termini del linguaggio capace di fornire la necessaria espressività per poter fare interrogazione e trasformazione dei dati. È sempre più frequente che si richieda di analizzare dati provenienti da diversi sistemi, oppure che si richieda di analizzare caratteristiche dello stesso sistema osservandolo a granularità differenti, in tempi differenti oppure considerando relazioni differenti. Il nostro scopo è stato quindi quello di creare un modello, che riesca a rappresentare in maniera semplice ed efficace i dati, in tutte queste situazioni. Entrando più nei dettagli, il modello permette non solo di analizzare la singola rete, ma di analizzare più reti, relazionandole tra loro. Il nostro scopo si è anche esteso nel definire un’algebra, che, tramite ai suoi operatori, permette di compiere delle interrogazioni su questo modello. La definizione del modello e degli operatori sono stati maggiormente guidati dal caso di studio dei social network, non tralasciando comunque di rimanere generali per fare altri tipi di analisi. In seguito abbiamo approfondito lo studio degli operatori, individuando delle proprietà utili per fare delle ottimizzazioni, ragionando sui dettagli implementativi, e fornendo degli algoritmi di alto livello. Per rendere più concreta la definizione del modello e degli operatori, in modo da non lasciare spazio ad ambiguità, è stata fatta anche un’implementazione, e in questo elaborato ne forniremo la descrizione.

Valutazione dell'efficacia di gestione dell'AMP di Miramare: gli impatti delle attività di visita in snorkeling

All’interno della Riserva Marina di Miramare, in particolare nella zona A, vengono svolte da sempre attività di balneazione a scopo educativo, didattico e di visita guidata, autorizzate dall’Ente Gestore. In questo studio, è stato scelto un set significativo di specie, su cui verificare un livello di efficacia di gestione rispetto al possibile impatto causato da attività svolte in snorkeling, in particolare seawatching e mini corsi di biologia marina per bambini. Per prima cosa, con l’utilizzo di un GPS, si è voluto caratterizzare l’itinerario svolto dalle attività, come un insieme di punti, e questa procedura è stata ripetuta più volte per avere una rappresentazione realistica del percorso. In seguito attraverso QGIS, è stato possibile creare delle Mappe di concentrazione dei punti, per individuare i siti in cui i turisti, che si apprestano a svolgere le attività, si soffermano maggiormente ad osservare gli organismi sottostanti, in questo modo sono state evidenziate delle aree lungo il percorso, caratterizzate da un maggiore impatto antropico. Il campionamento in acqua si è svolto in queste aree, attraverso l’ausilio di transetti, lungo i quali sono stati presi dati di presenza/assenza inerenti al set di specie preso in considerazione. A ciascuna specie, sono stati poi attribuiti dei criteri: Vulnerabilità, Valore eco-naturalistico, Diffusione, Valore estetico e Valore economico, per mezzo dei quali sono state individuate le specie che necessitano di maggiore attenzione, in quanto potrebbero subire danni a causa delle attività che si svolgono in Riserva.

Valutazione numerica degli effetti di tensioni di compressione sulla vita a fatica di componenti metallici

Breve introduzione sulla meccanica della frattuta, in particolare la propagazione delle cricche a fatica e le tensioni residue. Processo di Laser Shock Peening per l'introduzione di stress residui di compressione e relative prove su software Afgrow.

Metodi numerici per la ricostruzione di immagini di tomosintesi

La tesi affronta il problema della ricostruzione di immagini di tomosintesi, problema che appartiene alla classe dei problemi inversi mal posti e che necessita di tecniche di regolarizzazione per essere risolto. Nel lavoro svolto sono presenti principalmente due contributi: un'analisi del modello di ricostruzione mediante la regolarizzazione con la norma l1; una valutazione dell'efficienza di alcuni metodi tra quelli che in letteratura costituiscono lo stato dell'arte per quanto riguarda i metodi basati sulla norma l1, ma che sono in genere applicati a problemi di deblurring, dunque non usati per problemi di tomosintesi.

Dupire's formula for exponential Lévy models

Questa tesi è incentrata sull'analisi della formula di Dupire, che permette di ottenere un'espressione della volatilità locale, nei modelli di Lévy esponenziali. Vengono studiati i modelli di mercato Merton, Kou e Variance Gamma dimostrando che quando si è off the money la volatilità locale tende ad infinito per il tempo di maturità delle opzioni che tende a zero. In particolare viene proposta una procedura di regolarizzazione tale per cui il processo di volatilità locale di Dupire ricrea i corretti prezzi delle opzioni anche quando si ha la presenza di salti. Infine tale risultato viene provato numericamente risolvendo il problema di Cauchy per i prezzi delle opzioni.

Valutazione della possibilità di utilizzo di programmi di elaborazione gratuiti per la correlazione digitale di immagini

Negli ultimi anni la tecnica di misura della correlazione digitale di immagini (“Digital Image Correlation” = DIC) sta trovando numerose applicazioni nell’ambito della meccanica sperimentale come valida alternativa per misure di campi di deformazione su componenti strutturali soggetti a carichi statici e dinamici. Misurare deformazioni in provini troppo piccoli, troppo grandi, teneri o caldi, è un tipico scenario in cui diventano necessarie le tecniche senza contatto in quanto l’applicazione di estensimetri risulta inefficiente. L’obiettivo di questo lavoro consta nel valutare l’applicabilità e l’accuratezza di programmi di elaborazione gratuiti per la correlazione digitale di immagini evidenziandone il metodo di utilizzo e l’autenticità dei risultati verificati attraverso prove in laboratorio. Tali programmi, per praticità e gratuità, nel campo bidimensionale, possono considerarsi una valida alternativa a programmi commerciali di elevato costo. Nonostante ciò, presentano alcune criticità e limitazioni che emergeranno dalle attente sperimentazioni effettuate. Verrà così definita la corretta e necessaria preparazione del set up sperimentale antecedente la prova e il campo di applicabilità a cui si prestano tali programmi per un preciso ed autentico rilevamento delle deformazioni subite da un corpo sottoposto a sollecitazioni, al pari di un comune estensimetro.

Statistical analysis of written languages

La tesi presenta una serie di risultati dell'analisi quantitativa sulla linguistica. Inizialmente sono studiate due fra le leggi empiriche più famose di questo campo, le leggi di Zipf e Heaps, e vengono esposti vari modelli sullo sviluppo del linguaggio. Nella seconda parte si giunge alla discussione di risultati più specifici sulla presenza di fenomeni di burstiness e di correlazioni a lungo raggio nei testi. Tutti questi studi teorici sono affiancati da analisi sperimentali, svolte utilizzando varie traduzioni del libro "Guerra e pace" di Leo Tolstoj e concentrate principalmente sulle eventuali differenze riscontrabili tra le diverse lingue.