Synthesis and characterization of artificial aggregates and their potential applications in road construction

L’obiettivo del progetto è stato quello di realizzare ed analizzare aggregati artificiali creati attraverso geopolimerizzazione e macro-incapsulazione di paraffina in aggregati leggeri espansi, discutendo i loro possibili impieghi nelle pavimentazioni stradali. Dopo un'accurata calibrazione delle miscele geopolimeriche, sono stati realizzati degli aggregati artificiali, in seguito caratterizzati in accordo con la norma UNI EN 10343, con l'intento di sostituire materiali stradali vergini. Contemporaneamente, sono stati prodotti aggregati leggeri impregnati di paraffina (PCM), in grado di cambiare fase una volta raggiunti all'incirca i 3 °C, e successivamente rivestiti da due strati di resina poliestere e polvere di granito, denominati PLA: sfruttandone le proprietà termiche, si è valutato il loro possibile utilizzo come soluzione anti-icing. L’ultima fase della ricerca è stata incentrata nella realizzazione di aggregati geopolimerici espansi e molto porosi che potessero contenere una elevata quantità di PCM, sostituendo l'argilla espansa utilizzata nella produzione degli PLA.

Distributed allocation and scheduling of applications on HPC platforms

High Performance Computing e una tecnologia usata dai cluster computazionali per creare sistemi di elaborazione che sono in grado di fornire servizi molto piu potenti rispetto ai computer tradizionali. Di conseguenza la tecnologia HPC e diventata un fattore determinante nella competizione industriale e nella ricerca. I sistemi HPC continuano a crescere in termini di nodi e core. Le previsioni indicano che il numero dei nodi arrivera a un milione a breve. Questo tipo di architettura presenta anche dei costi molto alti in termini del consumo delle risorse, che diventano insostenibili per il mercato industriale. Un scheduler centralizzato non e in grado di gestire un numero di risorse cosi alto, mantenendo un tempo di risposta ragionevole. In questa tesi viene presentato un modello di scheduling distribuito che si basa sulla programmazione a vincoli e che modella il problema dello scheduling grazie a una serie di vincoli temporali e vincoli sulle risorse che devono essere soddisfatti. Lo scheduler cerca di ottimizzare le performance delle risorse e tende ad avvicinarsi a un profilo di consumo desiderato, considerato ottimale. Vengono analizzati vari modelli diversi e ognuno di questi viene testato in vari ambienti.