Costruzioni modulari in linguaggi con tipi dipendenti.

In questa tesi si indaga come è possibile strutturare in modo modulare programmi e prove in linguaggi con tipi dipendenti. Il lavoro è sviluppato nel linguaggio di programmazione con tipi dipendenti Agda. Il fine è quello di tradurre l'approccio Datatypes à la carte, originariamente formulato per Haskell, in Type Theory: puntiamo ad ottenere un simile embedding di una nozione di sottotipaggio per tipi ricorsivi, che permetta sia la definizione di programmi con side-effect dove i diversi effetti sono definiti modularmente, che la modularizzazione di sintassi, semantica e ragionamento relativi a descrizioni di linguaggi.

La qualità del binario nelle linee AV/AC: studio dei dati rilevati dai treni diagnostici di RFI e analisi degli interventi manutentivi in previsione dell'aumento di velocità a 360 km/h.

Dal punto di vista geometrico, il tracciato delle linee AV/AC è determinato in funzione delle velocità di progetto, attualmente variabili tra 250 e 300 km/h, e in modo da limitare i parametri cinematici. In questa maniera è assicurata la corretta qualità di marcia dei treni ad alta velocità. La sovrastruttura ferroviaria è realizzata in modo da sopportare i carichi dinamici trasmessi dai convogli transitanti a elevate velocità, e da garantire la sicurezza della circolazione e il comfort di marcia. In particolare, la qualità del binario ferroviario è determinata attraverso una serie di parametri geometrici fondamentali, definiti da Rete Ferroviaria Italiana. A seconda dei valori assunti da tali parametri, il binario rientra in un livello di qualità geometrica: sono definiti tre livelli per i quali la circolazione ferroviaria avviene senza limitazioni e un livello che richiede l’imposizione di vincoli all’esercizio (rallentamenti o interruzioni). L’introduzione dei parametri geometrici e dei rispettivi valori di riferimento ha lo scopo di mantenere elevati livelli qualitativi e di sicurezza per l’infrastruttura ferroviaria, in materia di geometria dell’armamento. Infatti, il superamento di certe soglie da parte dei parametri, implica l’intervento manutentivo sul binario, al fine di ripristinare la corretta geometria e di garantire così la qualità della marcia dei treni. La politica è quella d’intervento prima del raggiungimento del quarto livello di qualità, per il quale sono necessarie restrizioni alla circolazione e interventi correttivi immediati.

Modellazione della qualita delle acque superficiali: "applicabilita e validazione del QUAL2K sull'asta principale del Canale Emiliano Romagnolo"

Scopo dell'elaborato è quello di verificare l'applicabilità del modello di qualità fluviale, monodimensionale, QUAL2K al sistema idrico del CER. Il risultato conseguito rispecchia le ipotesi iniziali dello studio. Il modello sotto determinate ipotesi bene si presta a modellare le caratteristiche idrauliche e di qualità del Canale Emiliano Romagnolo.

Rinforzi di murature con compositi frcm. Caso di studio: Teatro Pavarotti di Modena.

Il presente lavoro è volto allo studio di soluzioni di rinforzo strutturale di edifici storici in muratura mediante materiali compositi innovativi a matrice inorganica FRCM (Fiber Reinforced Cementitious Matrix). E' stato effettuato un confronto tra due sistemi di rinforzo con compositi SRG (Steel Reinforced Grout) in fibre d'acciaio ad altissima resistenza, nell'ottica di un progetto di miglioramento sismico del teatro Pavarotti di Modena, in particolare della parete di fondo retrostante il palcoscenico. Ipotizzati alcuni meccanismi di collaso della parete, la vulnerabilità sismica della stessa, nei confronti di ciascun meccanismo, è stata valutata attraverso l'analisi cinematica lineare. Successivamente per ogni meccanismo è stato studiato un sistema di rinforzo SRG al fine di incrementare la capacità sismica della parete e il moltiplicatore di collasso.

Riqualifica e adeguamento delle infrastrutture di volo dell'aeroporto Marco Polo di Venezia: progetto delle pavimentazioni

L'elaborato affronta le varie fasi progettuali relative alle opere di riqualifica delle infrastrutture di volo dell'aeroporto Marco Polo di venezia. Partendo da nozioni di carattere teorico, come i vari metodi di dimensionamento di una sovrastruttura aeroportuale, si è arrivati ad affrontare in modo pratico il calcolo di verifica delle pavimentazioni esistenti e quello di dimensionamento di due soluzioni progettuali ipotizzate. Infine è stato considerato anche l'aspetto ecosostenibile della progettazione, ipotizzando la possibilità di riutilizzare il materiale fresato dalla vecchia pavimentazione esistente.

Studio sulla vulnerabilità sismica di Palazzo Giolo Golfarelli a Bologna

Descrizione della metodologia e dei principali calcoli svolti per la valutazione della sicurezza di Palazzo Giolo Golfarelli attuale facoltà di Lettere e Filosofia, via Zamboni 38.

Analisi del collasso sismico del Santuario della Beata Vergine della Coronella

Il presente elaborato tratta l'analisi del collasso sismico del Santuario della Beata Vergine della Coronella sito a Galliera (Bo).Partendo dalla progettazione e verifica di una nuova copertura in legno lamellare si procede realizzando, per mezzo del software Straus7, due modelli del Santuario,uno con la nuova copertura e uno con la copertura crollata. Questi verranno poi, analizzati staticamente e dinamicamente e dal confronto dei risultati delle analisi verranno valutate le criticità e le migliorie apportate alla muratura, a seguito della realizzazione del nuovo tetto.

Il sistema ferroviario metropolitano bolognese:studio delle nuove stazioni della linea 6

Nel presente lavoro di tesi è stato analizzato il SFM bolognese con particolare riguardo alla linea 6 prevedendo la sua realizzazione mediante la tecnologia tram-treno.

"Offshore tower or platform foundations: numerical analysis of a laterally loaded single pile or pile group in soft clay and analysis of actions on a jacket structure"

Laterally loaded piles are a typical situation for a large number of cases in which deep foundations are used. Dissertation herein reported, is a focus upon the numerical simulation of laterally loaded piles. In the first chapter the best model settings are largely discussed, so a clear idea about the effects of interface adoption, model dimension, refinement cluster and mesh coarseness is reached. At a second stage, there are three distinct parametric analyses, in which the model response sensibility is studied for variation of interface reduction factor, Eps50 and tensile cut-off. In addition, the adoption of an advanced soil model is analysed (NGI-ADP). This was done in order to use the complex behaviour (different undrained shear strengths are involved) that governs the resisting process of clay under short time static loads. Once set a definitive model, a series of analyses has been carried out with the objective of defining the resistance-deflection (P-y) curves for Plaxis3D (2013) data. Major results of a large number of comparisons made with curves from API (America Petroleum Institute) recommendation are that the empirical curves have almost the same ultimate resistance but a bigger initial stiffness. In the second part of the thesis a simplified structural preliminary design of a jacket structure has been carried out to evaluate the environmental forces that act on it and on its piles foundation. Finally, pile lateral response is studied using the empirical curves.

Verifica di resistenza al fuoco di travi prefabbricate tipo rep

Verifiche di resistenza ed efficienza strutturale in caso di incendio per gli elementi strutturali di un edificio sito a L'Aquila. In particolar modo si è studiato il comportamento di travi e pilastri prefabbricati di tipo rep.

Criteri di rinforzo di pile da ponte mediante isolatori progettati secondo DDBD

Valutazione di metori per la progettazione di isolatori da ponte mediante DDBD

La telemedicina : innovazione tecnologica e culturale

La Telemedicina come risposta tecnologica al necessario cambiamento del Sistema Sanitario Nazionale. Vantaggi e criticità.

Rinforzo delle murature mediante tecnica del repointing

Lo studio affrontato riguarda la tecnica della ristilatura armata dei giunti, quale metodologia di intervento atta a ripristinare la resistenza della muratura, depauperata dalla continua azione esercitata dal peso proprio delle strutture massive. La presenza di forze di compressione ha causato la creazione di fessure diffuse su tutta la muratura, che ha danneggiato oltre che la vita stessa dell’opera e quindi la sicurezza delle persone, anche l’aspetto architettonico come fonte di bellezza e ricordo di antiche civiltà. In questa ottica si inserisce la Tecnica di Repointing perchè riesca a soddisfare i requisiti richiesti di autenticità strutturale, durabilità, compatibilità e bassa invasività dell'intervento.

By-products of the dairy farming as raw material for the biotechnology production of polyhydroxyalkanoates

I Poliidrossialcanoati (PHA) sono poliesteri completamente biodegradabili, prodotti da microrganismi come fonte di energia e di carbonio per la sintesi di nuovo materiale cellulare, utilizzando come substrato materie prime rinnovabili. Questi poliesteri sono considerati potenziali candidati per la sostituzione delle materie plastiche convenzionali. Tuttavia, i più alti costi di produzione dei PHA in confronto a quelli delle materie plastiche derivanti dal petrolio, rappresentano il principale ostacolo per la parziale sostituzione di questi ultimi con i biopolimeri. Gli alti costi sono principalmente dovuti all'utilizzo di colture microbiche pure (in cui sia presente un solo ceppo batterico) e substrati puri e costosi. Nell'ultimo decennio è stato sviluppato un processo di produzione a tre stadi alternativo e potenzialmente a minor costo, basato sull'utilizzo di colture microbiche miste (Mixed Microbials Culture, MMC) e una varietà di substrati organici a costo contenuto o nullo, quali alcuni rifiuti dell’industria agro-alimentare. Il presente studio si è concentrato sulla prima fase del processo di produzione dei PHA da colture miste, la fermentazione acidogenica, utilizzando siero di latte come fonte di carbonio per produrre acidi organici. In particolare questo lavoro ha avuto come obiettivo quello di studiare come diverse condizioni operative utilizzate nella fase di fermentazione acidogenica possono influenzare la concentrazione e il profilo degli acidi organici prodotti. Sono stati valutati anche gli effetti dei diversi profili degli acidi organici sulla fase di selezione della coltura microbica, in termini di capacità di stoccaggio di PHA e composizione polimerica.

Bioraffineria di vinacce per la produzione ed il recupero di acidi grassi volatili

Obiettivo della presente ricerca è stato la valutazione dell’utilizzo degli scarti derivanti dal processo di vinificazione come substrato per la digestione anerobica finalizzata alla produzione di VFA (“Volatile Fatty Acids”). I VFA sono acidi grassi a corta catena, convenzionalmente fino a 6 atomi di carbonio, che possono essere utilizzati industrialmente nell’ambito della “Carboxilation Platfrorm” per produrre energia, prodotti chimici, o biomateriali. La sperimentazione si è articolata in due fasi principali: 1) Produzione di VFA in processi batch alimentati con vinacce e fecce come substrato; 2) Recupero dei VFA prodotti dall’effluente anaerobico (digestato) mediante processi di adsorbimento con resine a scambio anionico. Nella prima fase sono stati studiati i profili di concentrazione dei principali VFA nel brodo di fermentazione al variare della tipologia di substrato (vinacce e fecce, bianche e rosse) e della temperatura di incubazione (35 °C e 55 °C). La condizione ottimale rilevata per la produzione di VFA è stata la digestione anaerobica di vinacce rosse disidratate e defenolizzate alla temperatura di 35 °C (mesofilia), che ha permesso di raggiungere una concentrazione di VFA totali nel digestato di circa 30 g/L in 16 giorni di monitoraggio. Nella seconda fase è stato analizzato il processo di estrazione in fase solida (Solid Phase Extraction, SPE) con resine a scambio anionico per il recupero dei VFA dal digestato di vinacce rosse. Sono state messe a confronto le prestazioni di quattro diverse resine a scambio anionico: Sepra SAX, Sepra SAX-ZT, Sepra NH2, Amberlyst A21. I parametri operativi ottimali per l’adsorbimento sono risultati essere condizioni di pH acido pari al valore naturale delle soluzioni indicate sopra (~2.5) e tempo di contatto di 2 ore. Tra le quattro resine quella che ha fornito i migliori risultati è stata la Amberlyst A21, una resina polimerica a scambio anionico debolmente basica il cui gruppo funzionale caratteristico è un’ammina terziaria. Infine è stato valutato il processo di desorbimento dei VFA adsorbiti dalla resina con tre diverse soluzioni desorbenti: acqua demineralizzata, etanolo (EtOH) ed acqua basificata con NaOH (1 mol/L). I risultati migliori sono stati conseguiti nel caso dell’EtOH, ottenendo un recupero finale del 9,1% dei VFA inizialmente presenti nel digestato di vinacce rosse incubate in termofilia.