Sviluppo di un codice automatizzato per la verifica di giunzioni bullonate secondo standard ECSS

Nel presente lavoro di tesi viene sviluppato un codice automatizzato in Matlab per la verifica di giunzioni bullonate soggette a carico secondo gli standard ECSS (European Cooperation for Space Standardization). In particolare è stata utilizzata un’interfaccia grafica GUI in Matlab, nella quale vengono inseriti i dati di input, per arrivare al calcolo dei margini di sicurezza, che sono i dati di output cercati. Il collegamento tra i dati di input e quelli di output è stato realizzato mediante lo sviluppo del codice sopracitato. Lo studio è stato limitato al caso di carichi assiali.

Prestazioni di processi di migrazione di reti di macchine virtuali

L'obiettivo della tesi è la valutazione delle prestazioni delle migrazioni di reti di macchine virtuali. Ci si è concentrati sul trasferimento delle memorie di tali macchine virtuali in quanto è l'azione che maggiormente comporta l'impiego di tempo e risorse. Allo scopo, si è scelto l'approccio pre-copy in quanto utilizzato dagli hypervisor più diffusi. Si è costruito un modello in grado di descrivere il sistema in esame, analizzandolo sia dal punto di vista matematico, che simulativo. Proprio grazie ai simulatori proposti si sono confrontati i valori del tempo di migrazione e del downtime, indici fondamentali per la migrazione in tempo reale, nel caso di trasferimento in serie e in parallelo delle macchine di un insieme. Si sono considerate anche reti di macchine virtuali aventi diversa dimensione delle memorie, analizzando e confrontando, anche questa volta, gli indici di prestazione con quelli degli altri processi. Si è prestata particolare attenzione anche alla caratterizzazione della dirtying-rate, parametro importante dell'approccio pre-copy.

Validazione sperimentale di un modello ray tracing in ambienti indoor

Il trattato sottolinea quanto sia indispensabile avere un confronto fra le simulazioni numeriche effettuate col metodo Ray Tracing e le campagne di misure sperimentali. Sebbene le simulazioni numeriche comportino un impiego di tempo e risorse oneroso, una volta impostate risultano molto versatili e rapide nell'apportare cambiamenti ai relativi settaggi e ambiente di propagazione.

Parco Agricolo Guimarães. Piano per la riqualificazione paesaggistica e la fruizione pubblica dell'area rurale di veiga de creixomil.

Parco Agricolo Guimarães, piano per la riqualificazione paesaggistica e la fruizione pubblica dell'area rurale di Veiga de Creixomil. La tesi in oggetto consiste in una proposta per una riqualificazione paesaggistica ed uno studio di inserimento di attrattività pubbliche in un contesto rurale periurbano. L'area oggetto di studio presenta caratteristiche ambientali e agricole che divengono uno spunto progettuale, trasponendo le criticità sino a diventare motori della rigenerazione urbana per micro interventi. La proposta progettuale consiste nella espansione degli orti urbani e nella creazione di una piazza scambio per i prodotti locali mentre altre attività di aggregazione e coesione sociale sono poste in altre zone del parco agricolo.

Partizioni di un intero

Questa tesi di laurea tratta delle partizioni di un intero positivo. La tesi viene suddivisa in tre capitoli: nel primo capitolo definirò cosa significa scomporre additivamente un intero positivo e come si può rappresentare una partizione cioè utilizzando diagrammi, chiamati \textit{diagrammi di Ferrers}, o tabelle, chiamate \textit{tableau di Young}, si possono rappresentare graficamente partizioni. In seguito, in questo capitolo, verrà definita la funzione di partizione e, infine, tratterò delle partizioni ordinate. Il secondo capitolo ha carattere storico: infatti, mostra come cinque famosi matematici, Eulero, Ramanujan e Hardy, Hans Rademacher e Ken Ono, nel tempo abbiano affrontato il problema di trovare una formula matematica che meglio rappresenti la funzione di partizione. Il terzo ed ultimo capitolo riguarda le applicazioni delle partizioni, cioè come esse abbiano una relazione con le classi di coniugio nel gruppo simmetrico $S_{n}$ e con le classificazioni dei gruppi abeliani di ordine $p^{n}$, con p un numero primo. Di alcune affermazioni ( o teoremi ) nei capitoli seguenti non è stata riportata la dimostrazione; in questi casi si rimanda direttamente alle corrispondenti citazioni bibliografiche. 

Valutazione della relazione tra composizione corporea e stili di vita in soggetti di età scolare

Il lavoro svolto in questa tesi si propone di valutare la variabilità della composizione corporea nell’infanzia e nell’adolescenza, con particolare attenzione alla transizione dalla prima alla seconda, in relazione allo stato nutrizionale ed agli stili di vita. Lo studio è stato condotto eseguendo misure antropometriche presso scuole primarie e secondarie di Bologna. Sono stati analizzati inoltre dati acquisiti a partire dal 2004. Il campione analizzato comprende 3546 soggetti di età compresa tra 6 anni e 14 anni. In particolare sono state analizzate le principali misurazioni utili per il calcolo della composizione corporea, evidenziando i parametri antropometrici principali quali BMI, circonferenza vita, WHR, %F e FFM. Questi caratteri sono stati quindi messi in relazione con le informazioni inerenti l’attività sportiva extrascolastica e gli stili di vita dei soggetti esaminati. L’analisi trasversale delle principali caratteristiche antropometriche ha fornito un interessante panorama della situazione italiana e del nord Italia; lo studio longitudinale delle variabili antropometriche permette di ottenere un quadro aggiornato dei principali incrementi delle misure corporee. La valutazione della variabilità della composizione corporea in relazione all’attività sportiva e allo stile di vita durante il processo di accrescimento ha indicato come abitudini sane e propensione all’attività motoria sono sicuramente in grado di apportare miglioramenti nella modificazione della composizione corporea nel processo evolutivo specialmente se somministrate con modalità adeguate all’età e alle esigenze individuali. Questi aspetti sono certamente rilevanti e complessi, sarebbe infatti interessante in prospettiva futura riuscire ad indagare ancora più dettagliatamente sull’interazione tra i fattori che determinano e modificano la composizione corporea in un periodo della vita così particolare come la transizione dall’infanzia all’adolescenza.

La struttura della double bubble di area minima

In questa tesi viene presentata una scelta dei passaggi fondamentali per arrivare alla dimostrazione della congettura della double bubble, dovuta ad Hutchings, Morgan, Ritoré e Ros. Questa dimostrazione assicura l'esistenza e l'unicità della superficie minima che permette di racchiudere due volumi nello spazio reale tridimensionale; si tratta quindi di un caso particolare del problema delle bolle di sapone, che ha richiesto la messa a punto di strumenti sofisticati di teoria geometrica della misura, calcolo delle variazioni ed equazioni differenziali non lineari.

Aspetti di sostenibilità in agricoltura a diverse scale spaziali e temporali. Valutazioni ambientali, economiche ed energetiche.

La Tesi analizza le relazioni tra i processi di sviluppo agricolo e l’uso delle risorse naturali, in particolare di quelle energetiche, a livello internazionale (paesi in via di sviluppo e sviluppati), nazionale (Italia), regionale (Emilia Romagna) e aziendale, con lo scopo di valutare l’eco-efficienza dei processi di sviluppo agricolo, la sua evoluzione nel tempo e le principali dinamiche in relazione anche ai problemi di dipendenza dalle risorse fossili, della sicurezza alimentare, della sostituzione tra superfici agricole dedicate all’alimentazione umana ed animale. Per i due casi studio a livello macroeconomico è stata adottata la metodologia denominata “SUMMA” SUstainability Multi-method, multi-scale Assessment (Ulgiati et al., 2006), che integra una serie di categorie d’impatto dell’analisi del ciclo di vita, LCA, valutazioni costi-benefici e la prospettiva di analisi globale della contabilità emergetica. L’analisi su larga scala è stata ulteriormente arricchita da un caso studio sulla scala locale, di una fattoria produttrice di latte e di energia elettrica rinnovabile (fotovoltaico e biogas). Lo studio condotto mediante LCA e valutazione contingente ha valutato gli effetti ambientali, economici e sociali di scenari di riduzione della dipendenza dalle fonti fossili. I casi studio a livello macroeconomico dimostrano che, nonostante le politiche di supporto all’aumento di efficienza e a forme di produzione “verdi”, l’agricoltura a livello globale continua ad evolvere con un aumento della sua dipendenza dalle fonti energetiche fossili. I primi effetti delle politiche agricole comunitarie verso una maggiore sostenibilità sembrano tuttavia intravedersi per i Paesi Europei. Nel complesso la energy footprint si mantiene alta poiché la meccanizzazione continua dei processi agricoli deve necessariamente attingere da fonti energetiche sostitutive al lavoro umano. Le terre agricole diminuiscono nei paesi europei analizzati e in Italia aumentando i rischi d’insicurezza alimentare giacché la popolazione nazionale sta invece aumentando.

Modellazione Tridimensionale del Processo di Combustione di un Razzo a Propellente Solido

La regolazione dei sistemi di propulsione a razzo a propellente solido (Solid Rocket Motors) ha da sempre rappresentato una delle principali problematiche legate a questa tipologia di motori. L’assenza di un qualsiasi genere di controllo diretto del processo di combustione del grano solido, fa si che la previsione della balistica interna rappresenti da sempre il principale strumento utilizzato sia per definire in fase di progetto la configurazione ottimale del motore, sia per analizzare le eventuali anomalie riscontrate in ambito sperimentale. Variazioni locali nella struttura del propellente, difettosità interne o eterogeneità nelle condizioni di camera posso dare origine ad alterazioni del rateo locale di combustione del propellente e conseguentemente a profili di pressione e di spinta sperimentali differenti da quelli previsti per via teorica. Molti dei codici attualmente in uso offrono un approccio piuttosto semplificato al problema, facendo per lo più ricorso a fattori correttivi (fattori HUMP) semi-empirici, senza tuttavia andare a ricostruire in maniera più realistica le eterogeneità di prestazione del propellente. Questo lavoro di tesi vuole dunque proporre un nuovo approccio alla previsione numerica delle prestazioni dei sistemi a propellente solido, attraverso la realizzazione di un nuovo codice di simulazione, denominato ROBOOST (ROcket BOOst Simulation Tool). Richiamando concetti e techiche proprie della Computer Grafica, questo nuovo codice è in grado di ricostruire in processo di regressione superficiale del grano in maniera puntuale, attraverso l’utilizzo di una mesh triangolare mobile. Variazioni locali del rateo di combustione posso quindi essere facilmente riprodotte ed il calcolo della balistica interna avviene mediante l’accoppiamento di un modello 0D non-stazionario e di uno 1D quasi-stazionario. L’attività è stata svolta in collaborazione con l’azienda Avio Space Division e il nuovo codice è stato implementato con successo sul motore Zefiro 9.

Ottimizzazione del consumo dei grassi durante esercizio fisico: studio di un test per il target mirato di allenamento individuale

Il primo studio ha verificato l'affidabilità del software Polimedicus e gli effetti indotti d'allenamento arobico all’intensità del FatMax. 16 soggetti sovrappeso, di circa 40-55anni, sono stati arruolati e sottoposti a un test incrementale fino a raggiungere un RER di 0,95, e da quel momento il carico è stato aumentato di 1 km/ h ogni minuto fino a esaurimento. Successivamente, è stato verificato se i valori estrapolati dal programma erano quelli che si possono verificare durante a un test a carico costante di 1ora. I soggetti dopo 8 settimane di allenamento hanno fatto un altro test incrementale. Il dati hanno mostrato che Polimedicus non è molto affidabile, soprattutto l'HR. Nel secondo studio è stato sviluppato un nuovo programma, Inca, ed i risultati sono stati confrontati con i dati ottenuti dal primo studio con Polimedicus. I risultati finali hanno mostrato che Inca è più affidabile. Nel terzo studio, abbiamo voluto verificare l'esattezza del calcolo del FatMax con Inca e il test FATmaxwork. 25 soggetti in sovrappeso, tra 40-55 anni, sono stati arruolati e sottoposti al FATmaxwork test. Successivamente, è stato verificato se i valori estrapolati da INCA erano quelli che possono verificarsi durante un carico di prova costante di un'ora. L'analisi ha mostrato una precisione del calcolo della FatMax durante il carico di lavoro. Conclusione: E’ emersa una certa difficoltà nel determinare questo parametro, sia per la variabilità inter-individuale che intra-individuale. In futuro bisognerà migliorare INCA per ottenere protocolli di allenamento ancora più validi.

Studio di fase I sulla reinfusione intraepatica di cellule staminali CD 133+ altamente purificate nei pazienti con malattia epatica terminale

Numerose evidenze sperimentali hanno dimostrato il contributo delle cellule staminali di derivazione midollare nei processi di rigenerazione epatica dopo danno tissutale. E’ cresciuto pertanto l’interesse sul loro potenziale impiego in pazienti con cirrosi. Questo studio si propone di valutare la fattibilità e la sicurezza della reinfusione intraepatica di cellule staminali midollari autologhe CD133+ in 12 pazienti con insufficienza epatica terminale definita da un punteggio di Model for End Stage of Liver Disease (MELD) compreso tra 17 e 25. L’efficacia in termini di funzionalità epatica rappresenta un obiettivo secondario. Previa mobilizzazione nel sangue periferico mediante somministrazione di granulocyte-colony stimulating factor (G-CSF) alla dose di 7,5 mcg/Kg/b.i.d. e raccolta per leucoaferesi, le cellule CD133+ altamente purificate vengono reinfuse in arteria epatica a partire da 5x104/Kg fino a 1x106/kg. Nei tre giorni successivi si somministra G-CSF per favorire l’espansione e l’attecchimento delle cellule. Durante la mobilizzazione, la reinfusione e nei 12 mesi successivi i pazienti sono sottoposti a periodici controlli clinici, laboratoristici e strumentali e ad attenta valutazione di effetti collaterali. Lo studio è tuttora in corso e ad oggi, 11 pazienti sono stati sottoposti a reinfusione e 4 hanno completato i 12 mesi di follow-up. Il G-CSF è stato ben tollerato e ha consentito di ottenere una buona espansione cellulare. Dopo la reinfusione sono stati documentati un ematoma inguinale e due episodi transitori di encefalopatia portosistemica. Durante il follow-up 4 pazienti sono stati trapiantati e 2 sono morti. Non è stata osservata alcuna modificazione significativa degli indici di funzione epatica. Questi risultati preliminari confermano la possibilità di mobilizzare e reinfondere un numero adeguato di cellule staminali di derivazione midollare in pazienti con malattia epatica in stadio terminale.

Analisi efficiente di tracce prodotte da un simulatore di protocolli di rete

Questa tesi consiste nello sviluppo di codice per un applicativo esistente. Tale applicativo si occupa di simulazione di protocolli di rete su varie topologie di rete. La parte di cui si occupa questa tesi è la fase di analisi dei file di traccia generati. Tale fase è una delle tre fasi dell'applicativo. I file di traccia contengono informazioni che permettono di stimare due grandezze, copertura e ritardo. Per copertura si intende una media fra tutte le coperture. Ogni copertura sarà relativa ad uno specifico nodo della rete. Per copertura di uno specifico nodo della rete si intende la parte di messaggi arrivati a quel nodo relativamente a tutti i messaggi generati all'interno della rete. Per ritardo si intende la media del numero di salti che avvengono per arrivare ai vari nodi che compongono la rete. I valori calcolati, mediante le informazioni contenute nei trace file, vengono poi memorizzati su dei file. Oltre al calcolo di queste specifiche grandezze, la tesi include anche una possibile soluzione relativa al parallelismo dei processi. Tale soluzione mira ad avere un numero, stabilito in base alla memoria principale libera, di processi che vengono eseguiti in maniera parallela.

Analisi, progettazione e sviluppo di un modulo di gestione di messaggistica orientato alla sanità

Realizzazione di una libreria che permetta ad applicazioni di diverso tipo e distribuite sulla rete di scambiarsi messaggi con lo scopo di estendere le funzionalità di ciascuna applicazione con quelle fornite dalle altre applicazioni e di rendere virtuali le risorse aziendali, permettendo in questo modo alla logica di business del sistema sanitario di essere sviluppata e gestita indipendentemente dall’infrastruttura della rete e senza apportare modifiche alle applicazioni già sviluppate.

Approccio agli spostamenti per la valutazione della vulnerabilità sismica di telai in conglomerato cementizio armato.

Il presente lavoro ha lo scopo di presentare gli studi e i risultati ottenuti durante l’attività di ricerca svolta sul Displacement-based Assessment (DBA) dei telai in cemento armato. Dopo alcune considerazioni iniziali sul tema della vulnerabilità sismica e sui metodi di analisi e verifica, si procede alla descrizione teorica del metodo. Sono stati analizzati tre casi studio di telai piani, progettati per soli carichi verticali e secondo normative non più in vigore che non prevedevano l’applicazione della gerarchia delle resistenze. I telai considerati, destinati ad abitazione civile, hanno diversa altezza e numero di piani, e diverso numero di campate. Si è proceduto all’applicazione del metodo, alla valutazione della vulnerabilità sismica in base alla domanda in termini di spostamento costituita da uno spettro elastico previsto dall’EC8 e alla validazione dei risultati ottenuti mediante analisi non lineari statiche e dinamiche e mediante l’applicazione dei teoremi dell’Analisi limite dei telai, proposta come procedura alternativa per la determinazione del meccanismo anelastico e della capacità in termini di taglio alla base. In ultimo si è applicata la procedura DBA per la valutazione della vulnerabilità sismica di un edificio scolastico, realizzato tra il 1969 e il 1975 in un sito caratterizzato da una accelerazione di picco orizzontale pari a 0,24g e una probabilità di superamento del 10% in 75 anni.

Studio di caratteri correlati a stress idrico in una collezione di cultivar di frumento duro (Triticum durum Desf.)

L’agricoltura si trova ad affrontare una diminuzione della disponibilità d’acqua ed una crescente domanda della produzione di cereali per scopi alimentari. Sono perciò necessarie strategie di coltivazione innovative per migliorare la produttività e nuovi genotipi migliorati nell'efficienza dell’uso delle risorse in condizioni di siccità. Questi rappresentano gli obietti principali del progetto “DROPS” (Drought tolerant yielding Plants) all’interno del quale ha avuto luogo il mio progetto di Dottorato. La mia attività di ricerca è stata svolta come segue: 1. Caratterizzazione molecolare di un panel di188 accessioni di frumento duro con marcatori SSR e DaRT; 2. Esperimenti in serra su 100 accessioni del panel per valutare la Water-Use Efficiency (WUE) in sei repliche secondo un Alpha Lattice design; 3. Prove sul campo, effettuate secondo un Alpha Lattice design, in due stagioni di crescita: a. 2010/11, valutazione di 100 accessioni presso l’Azienda sperimentale dell'Università di Cadriano (BO); b. 2011/12, valutazione del panel completo in 3 ambienti, con due diversi regimi irrigui In entrambi gli anni, abbiamo valutato caratteri agronomici correlati con il ciclo di sviluppo, la resa di granella e sue componenti, nonché diversi fattori ambientali e del suolo. Per quanto riguarda WUE, abbiamo trovato differenze altamente significative tra accessioni; inoltre, cinque accessioni hanno mostrato elevati valori di WUE e cinque accessioni valori molto bassi di WUE in tutte e sei le repliche. Gli esperimenti di campo nelle stagioni 2011 e 2012 hanno evidenziato differenze altamente significative tra le accessioni del panel per la maggior parte dei caratteri analizzati, confermando inoltre che il panel di fiorisce entro una settimana. L'esperimento del secondo anno ci ha permesso osservare un significativa interazione Genotipo X Ambiente. Questi risultati saranno integrati con ulteriori analisi QTL, per identificare regioni cromosomiche coinvolte nel controllo genetico dei caratteri di interesse e verificare la stabilità dei QTL in diversi ambienti.