Logica dell'identità e delle descrizioni

Lo scopo della tesi è studiare la logica dell'identità e delle descrizioni attraverso l'introduzione di metodi sempre più sofisticati che ci permettano di intraprendere attivamente questo studio, senza limitarci a recepire passivamente dei contenuti. L'approccio scelto è quello della deduzione naturale, in particolare il metodo delle derivazioni introdotto da Frederick Fitch.

Implementazione del processo di miglioramento continuo nello stabilimento produttivo di Forlimpopoli di Marcegaglia S.p.A.

Questo lavoro è svolto nell’ambito di un progetto di “miglioramento continuo” avviato all’interno dello stabilimento di Forlimpopoli dell’azienda Marcegaglia S.p.A. con lo scopo di migliorare l’efficienza e le condizioni di lavoro lungo le linee produttive. L’elaborato inizia con una breve introduzione all’approccio “kaizen” di miglioramento continuo. Il secondo capitolo descrive lo stabilimento di Forlimpopoli e in particolare le tre linee pilota. Il capitolo tre descrive la pianificazione del progetto. Nel quarto capitolo si illustra a livello sia teorico che pratico l’implementazione del motodo 5S, lo strumento della lean production approntato all’organizzazione e la pulizia dell’area di lavoro. I capitoli cinque e sei trattano rispettivamente le fasi di raccolta e analisi dati, punto di partenza per definire le contromisure e le azioni di miglioramento. Nel settimo capitolo si riportano le contromisure identificate per diminuire i fermi macchina, mentre l’ottavo capitolo tratta l’applicazione della metodologia SMED sulle linee TX001 e TX003. L’ultimo capitolo riassume brevemente i risultati e le azioni svolte.

Applicazione della logica fuzzy al docking tra dirigibili

Progetto e analisi delle performance di un controllore realizzato con la metodologia fuzzy per una manovra di docking fra due dirigibili. Propedeutica a questo, è stata la campagna, presso la galleria del vento messa a disposizione dalla Clarkson University, di raccolta di dati sperimentali, che sono stati poi utilizzati per realizzare un simulatore con cui testare il controllore. Nel primo capitolo, si è presentato la tecnologia dei dirigibili, le varie tipologie ed una descrizione dei moderni concepts. Successivamente, sono state presentate le applicazioni nelle quali i moderni dirigibili possono essere impiegati. L’ultima parte tratta di due esempi di docking fra mezzi aerei: il rifornimento in volo e i “parasite aircrafts”. Il secondo capitolo, tratta della logica utilizzata dal controllore: la logica fuzzy. Le basi della teoria insiemistica classica sono state il punto di partenza per mostrare come, introducendo le funzioni di appartenenza, sia possibile commutare tra la teoria classica e fuzzy. La seconda parte del capitolo affronta le nozioni della teoria fuzzy, esponendo la metodologia con la quale è possibile inserire un controllore di questo tipo in un sistema “tradizionale”. Il terzo capitolo presenta il modello di volo dei dirigibili. Partendo dalla legge di Newton, introdotto il concetto di inerzia e massa aggiunte, si arriva alle equazioni del moto non lineari. L’ultima parte è stata dedicata alla linearizzazione delle equazioni e alla condizione di trim. Il quarto capitolo riguarda la campagna sperimentale di test in galleria del vento, con la realizzazione dei modelli in scala e la calibrazione della bilancia; successivamente, nel capitolo si commentano i dati sperimentali raccolti. Il quinto capitolo, mostra la metodologia con cui è possibile progettare un controllore fuzzy per il controllo della manovra di docking fra dirigibili. La seconda parte mostra le performance ottenute con questo tipo di sistema.

Semplificazione della geometria per l'analisi modale FEM di un carter motociclistico

Creazione di un modello semplificato per l’analisi modale FEM di un carter motociclistico. La scelta degli elementi da considerare nel modello è stata fatta in funzione della loro importanza in termini di variazione di massa del basamento completo, elemento fondamentale che ha influenzato anche la scelta delle semplificazioni da apportare ai vari elementi.

Modellazione CAD di modulo abitativo per stazione spaziale

L’interesse per missioni spaziali verso la luna, il pianeta Marte o asteroidi vicini NEA (near earth asteroids) è in continuo aumento; ne sono prova i numerosi concorsi di idee innovative da applicare a possibili missioni spaziali. A partire dai profili di missione e da altri dati forniti dai gruppi di ricerca attivi nel settore, mi sono occupato di svolgere la modellazione CAD concettuale di un modulo abitabile per due astronauti e, in particolare, di pensare a livello concettuale come possano essere risolte problematiche di dispiegamento del modulo e montaggio nello spazio. E’ infatti fondamentale che la struttura ripiegata possa essere inserita all’interno di un lanciatore già definito, e che possa espandersi una volta in orbita. Ho quindi svolto il disegno del modulo abitativo sia in configurazione di lancio che in configurazione dispiegata, cercando di fornire alcune prime indicazioni riguardo alle possibili configurazioni costruttive e ad una possibile sequenza di montaggio.

Studio delle citochine nella distrofia muscolare di Emery-Dreifuss: Possibili marker patogenetici e bersagli di cura della malattia

La distrofia muscolare di Emery-Dreifuss (EDMD) è una miopatia degenerativa ereditaria caratterizzata da debolezza e atrofia dei muscoli senza coinvolgimento del sistema nervoso. Individui EDMD presentano, inoltre, cardiomiopatia con difetto di conduzione che provoca rischio di morte improvvisa. Diversi studi evidenziano un coinvolgimento di citochine in diverse distrofie muscolari causanti infiammazione cronica, riassorbimento osseo, necrosi cellulare. Abbiamo effettuato una valutazione simultanea della concentrazione di citochine, chemochine, fattori di crescita, presenti nel siero di un gruppo di 25 pazienti EDMD. L’analisi effettuata ha evidenziato un aumento di citochine quali IL-17, TGFβ2, INF-γ e del TGFβ1. Inoltre, una riduzione del fattore di crescita VEGF e della chemochina RANTES è stata rilevata nel siero dei pazienti EDMD rispetto ai pazienti controllo. Ulteriori analisi effettuate tramite saggio ELISA hanno evidenziato un aumento dei livelli di TGFβ2 e IL-6 nel terreno di coltura di fibroblasti EDMD2. Per testare l’effetto nei muscoli, di citochine alterate, abbiamo utilizzato terreno condizionante di fibroblasti EDMD per differenziare mioblasti murini C2C12. Una riduzione del grado di differenziamento è stata osservata nei mioblasti condizionati con terreno EDMD. Trattando queste cellule con anticorpi neutralizzanti contro TGFβ2 e IL-6 si è avuto un miglioramento del grado di differenziamento. In C2C12 che esprimevano la mutazione H222P del gene Lmna,non sono state osservate alterazioni di citochine e benefici di anticorpi neutralizzanti. I dati mostrano un effetto patogenetico delle citochine alterate come osservato in fibroblasti e siero di pazienti, suggerendo un effetto sul tessuto fibrotico di muscoli EDMD. Un effetto intrinseco alla mutazione della lamina A è stato rilevato sul espressione di caveolina 3 in mioblasti differenziati EDMD. I risultati si aggiungono a dati forniti sulla patogenesi dell' EDMD confermando che fattori intrinseci ed estrinseci contribuiscono alla malattia. Utilizzo di anticorpi neutralizzanti specifici contro fattori estrinseci potrebbe rappresentare un approccio terapeutico come mostrato in questo studio.

Mondi leggeri – traduzione di un racconto di Tat’jana Tolstaja

Il presente elaborato è una proposta di traduzione del racconto «Legkie miry» [Mondi leggeri] della scrittrice contemporanea russa Tat’jana Tolstaja. Il racconto venne pubblicato sul sito della rivista «Snob» nel maggio 2013. Il libro di cui fa parte il racconto, invece, è stato presentato nelle maggiori librerie di Mosca e San Pietroburgo nel giugno 2014. «Legkie miry» esce dopo qualche anno dall’ultima pubblicazione dell’autrice e intende, in chiave ironica e non, mostrare la realtà americana degli anni Novanta vista con gli occhi di un’insegnante dell’epoca sovietica. Avventure dolceamare con la casa appena comprata, stanze magiche e mondi leggeri, molteplici sfaccettature di due studenti in particolare, operai che sistemano la casa, o fanno finta. Ma anche lunghi viaggi verso nord dell’America, per raggiungere il posto di lavoro, cantautori russi irrinunciabili compagni di viaggio, mirtilli raccolti e regalati, e l’appena percettibile nostalgia di casa, di Mosca.

Observability of high density tracing molecular lines in lensed galaxies with the Atacama large millimeter array

Lo scopo di questo lavoro di tesi è indagare le capacità di ALMA di osservare il continuo e le righe molecolari di emissione di HCN, HCO+ e HNC, in galassie lensate ad alto z, nelle prime fasi della loro formazione. Per farlo vengono utilizzate osservazioni ALMA di righe di emissione molecolare, relative a dati pubblici di Ciclo 0. Queste osservazioni vengono utilizzate per simulare in modo realistico l’emissione da parte di galassie ad alto z e la risposta osservativa del telescopio, assumendo diverse possibili geometrie di lensing. Inoltre le recenti osservazioni ALMA sono state utilizzate per aggiornare le relazioni già esistenti tra la luminosità FIR e la luminosità delle righe molecolari. Queste recenti osservazioni con maggiore sensibilità e risoluzione angolare, sembrano essere in buon accordo con le precedenti osservazioni. Per realizzare questo progetto di tesi, sono stati scaricati dall’archivio ALMA i dati non calibrati relativi a due sorgenti ben studiate: NGC1614, rappresentativa delle galassie di tipo starburst ed IRAS 20551-4250, un AGN oscurato. Il processo di calibrazione è stato ripetuto per esaminare le proprietà dei cubi di dati utilizzando il pacchetto Common Astronomy Software Applications (CASA). Le righe spettrali osservate e l’emissione del continuo sono state successivamente estrapolate ad alto z riscalando adeguatamente le distanze, le dimensioni delle sorgenti e le frequenze di emissione. In seguito è stato applicato un modello di lensing gravitazionale basato su quello di Lapi et al. (2012). Sono state considerate diverse configurazioni tra lente e sorgente per ottenere diverse geometrie delle immagini e diversi fattori di amplificazione. Infine stato utilizzato il software CASA per simulare le osservazioni ALMA in modo da verificare le capacità osservative del telescopio al variare della geometria del sistema. Per ogni riga molecolare e per l’emissione del continuo sono state determinate la sensibilit e la risoluzione che possono essere raggiunte con le osservazioni ALMA e sono state analizzate alcune strategie osservative per effettuare survey di righe spettrali in oggetti lensati. Inoltre stata analizzata la possibilit di caratterizzare oggetti starburst ed AGN dai rapporti tra le righe di emissione delle molecole traccianti di alta densit. Le prestazioni di ALMA consentiranno di distinguere e stimare i contributi relativi di SB ed AGN in galassie lensate a z > 2.5, quindi vicine alla loro presunta epoca di formazione (Lapi et al. 2010), in meno di 5 minuti di osservazione per qualsiasi fattore di magnificazione. Nel presente lavoro sono state inoltre discusse alcune strategie osservative per condurre survey o followup per osservare le righe di HCN(4-3), HCO+(4-3) e HNC(4-3) in galassie lensate a redshift 2.5 < z < 3, dimostrando che sono possibili per campioni statisticamente significativi in tempi relativamente brevi.

Statistical analysis of the error associated with the simplification of the stratigraphy in geotechnical models

The uncertainties in the determination of the stratigraphic profile of natural soils is one of the main problems in geotechnics, in particular for landslide characterization and modeling. The study deals with a new approach in geotechnical modeling which relays on a stochastic generation of different soil layers distributions, following a boolean logic – the method has been thus called BoSG (Boolean Stochastic Generation). In this way, it is possible to randomize the presence of a specific material interdigitated in a uniform matrix. In the building of a geotechnical model it is generally common to discard some stratigraphic data in order to simplify the model itself, assuming that the significance of the results of the modeling procedure would not be affected. With the proposed technique it is possible to quantify the error associated with this simplification. Moreover, it could be used to determine the most significant zones where eventual further investigations and surveys would be more effective to build the geotechnical model of the slope. The commercial software FLAC was used for the 2D and 3D geotechnical model. The distribution of the materials was randomized through a specifically coded MatLab program that automatically generates text files, each of them representing a specific soil configuration. Besides, a routine was designed to automate the computation of FLAC with the different data files in order to maximize the sample number. The methodology is applied with reference to a simplified slope in 2D, a simplified slope in 3D and an actual landslide, namely the Mortisa mudslide (Cortina d’Ampezzo, BL, Italy). However, it could be extended to numerous different cases, especially for hydrogeological analysis and landslide stability assessment, in different geological and geomorphological contexts.

Il monitoraggio della pressione arteriosa in continuo: osservazione su un gruppo di pazienti in area critica.

Il proposito principale di questo studio è valutare, attraverso un confronto tra tecnologia Nexfin e metodo invasivo, se l’attuazione di modelli fisiologici realizzata dal Monitor Nexfin, rende possibile un preciso e accurato monitoraggio dinamico della pressione arteriosa, garantendo in questo modo l’affidabilità della suddetta tecnologia in ambito clinico. È stato deciso di porre come termine di paragone il sistema invasivo in quanto rappresenta il gold standard per la rilevazione della pressione arteriosa. I capitoli sono stati disposti in modo da introdurre gradualmente il lettore all’interno del topic principale dell’elaborato, fornendo di volta in volta tutte le conoscenze essenziali per una comprensione ottimale degli argomenti trattati. Il primo capitolo fornisce inizialmente una breve visione d’insieme sull’apparato cardiocircolatorio, per poi concentrarsi sui fenomeni che concorrono alla definizione e alla caratterizzazione della pressione arteriosa. Il secondo capitolo presenta alcuni cenni storici sulle prime misurazioni di pressione effettuate, in seguito illustra i principali metodi di misurazione non invasivi, articolando il discorso anche attraverso l’analisi dei principali sfigmomanometri ad oggi disponibili. Il terzo capitolo guida il lettore attraverso la scoperta delle più recenti metodiche non invasive per la misurazione della pressione che consentono un monitoraggio dinamico, esponendo nel dettaglio i loro limiti e le loro peculiarità. Nella parte finale del capitolo si affronta anche l’evoluzione del “Volume Clamp Method” di Peñáz partendo dal progetto originale fino a giungere al notevole contributo di Wesseling e alla ricostruzione del segnale di pressione brachiale. Il quarto capitolo delinea brevemente le caratteristiche principali del metodo invasivo, ovvero il gold standard per quanto riguarda il monitoraggio della pressione sanguigna. Il quinto capitolo infine illustra in maniera completa le proprietà del Monitor Nexfin e analizza i risultati conseguiti, confrontando la tecnologia Nexfin con il sistema invasivo, durante lo studio condotto presso l’Ospedale Maurizio Bufalini dell’Azienda USL della Romagna – Sede operativa di Cesena. Lo studio è presentato seguendo una impostazione scientifica.

Identificazione di possibili unita' di stock di Anguilla anguilla mediante analisi microchimica e morfometrica degli otoliti

L’anguilla europea, è una specie eurialina catadroma con un complesso ciclo biologico: l’area di riproduzione, unica, si trova molto distante da quella di distribuzione. La specie necessita di una gestione dello stock a fini conservazionistici. Il problema è europeo: lo stock è unico, distribuito in Europa e nell’Africa settentrionale, si riproduce in Atlantico ed è panmittico. C’è preoccupazione per il declino del reclutamento e delle catture di adulti. Lo scopo del progetto è di individuare possibili unità di stock nella penisola italiana. La ricerca è basata sullo studio degli otoliti mediante analisi morfometrica e microchimica. I contorni degli otoliti sono sottoposti ad analisi ellittica di Fourier per individuare eventuali gruppi. Gli otoliti sono stati levigati per effettuare: letture d’età, indagini microstrutturali al SEM delle fasi larvali, analisi microchimiche LA-ICP-MS del nucleo, studiarne l’origine e valutare l’ambiente di sviluppo. Le indagini morfometriche mostrano evidenti pattern ontogenetici, ma non legati ocorrelati alla località, sesso o anno di nascita. Le indagini microstrutturali hanno evidenziano l’alto contenuto organico nucleare, un pattern comune di crescita ed eventi chiave delle fasi larvali, con una media di 212 anelli giornalieri. La microchimica rivela che le larve si sviluppano in acque salate fino alla metamorfosi, poi migrano verso acque meno salate. Le analisi su campioni nati nello stesso anno, evidenziano due gruppi: individui di rimonta naturale e individui di ripopolamento. I profili nucleo bordo evidenziano la permanenza a salinità intermedie degli adulti. L’attività di ricerca si è dimostrata proficua dal punto di vista tecnico con la messa a punto di protocolli innovativi e con forti ricadute sulla riduzione dei tempi e costi d’analisi. Il debole segnale di possibili unità di stock andrà verificato in futuro mediante analisi più dettagliate discriminando meglio la storia di ogni singolo individuo.

Modello numerico di un argine maestro del fiume Po per l'individuazione dei possibili meccanismi di collasso

Il lavoro di tesi eseguito comprende la ricerca sulle problematiche arginali e le tipologie di intervento per la protezione idraulica del territorio. Convenzione n.37/2010 tra AdBPo e Università di Bologna. Campagna di indagini eseguite e caratterizzazione del suolo. Caratterizzazione geologica. Caratterizzazione del modello geotecnico della “sez.6_GU”, che corrisponde alla sezione “S38C” del catasto delle arginature maestre, tramite l’utilizzo delle funzioni di Excel, ed elaborazione dei risultati delle prove con la determinazione dei valori statistici dei vari parametri geotecnici, del livello di falda e delle proprietà fisico-meccaniche dei terreni. Risultati delle prove CPTU U16BR, U17BR e U18BR. Creazione del modello utilizzando dei codici agli elementi finiti Plaxis e GeoStudio per la verifica di stabilità dell’argine soggetto ad una portata di piena con tempo di ritorno Tr pari a 200 anni. Verifiche di stabilità: analisi e risultati della sezione completa per la verifica della stabilità globale; della sezione ridotta per potersi concentrare sul sistema argine-substrato di fondazione (verifica locåale in assenza di area golenale); della sezione ridotta con falda a piano campagna (per individuare se la rottura avviene per il moto di filtrazione oppure per la deformazione del modello soggetto ai carichi agenti); sezione con substrato di fondazione ridotto (per verificare la presenza di eventuali fenomeni di sifonamento modellabili nei software).

Studio fluidodinamico di un reattore continuo agitato meccanicamente tramite tecniche PIV e PLIF

The study and understanding of the motion of the fluid phases in a mechanically stirred reactor has always been, and still are, an open problem which absorbs the study and the work of many researchers. In recent decades, thanks to the growing opportunities offered by the development of technology, we have made great strides in the understanding of mixing, one of the major unit operations at the base of many industrial processes. A complete understanding of this process and its optimization for industrial applications is a challenging task due to the complex interactions between the many factors at play that include physical, chemical and biological. The purpose of this thesis is the study of a fluid-mechanically-agitated continuous reactor through the use of optical diagnostic techniques, which allowed to determine the range of motion and the time of perfect homogenization in a reactor of standard geometry in different operating conditions.

Sviluppo e verifica di un framework basato su logica computazionale per la selezione dinamica di web services tramite informazioni

La presenza sempre più massiccia di fornitori di servizi basati su web service ha portato in rilievo uno dei limiti di questo approccio, l’impossibilità di rendere automatizzabili i task di ricerca, invocazione e orchestrazione dei servizi. Il raggiungimento di questo obiettivo risulta impossibile a causa della mancanza di informazioni comprensibili ad una macchina attraverso le quali un agente software può effettuare delle scelte tra vari servizi esposti. Il fallimento della “ricerca intelligente” di un servizio pubblicato sta nella stessa modellazione dei servizi. I linguaggi attualmente disponibili permettono di modellare un servizio solo dal punto di vista sintattico. Definire le operazioni proposte, il tipo di parametri accettati e il tipo di output prodotto non è sufficiente a comprendere cosa il servizio può fare. I web services semantici consentono di superare questo limite fornendo uno stack semantico, il quale ha il compito di racchiudere le informazioni relative ai servizi, il loro funzionamento e gli obiettivi raggiungibili organizzando la conoscenza in ontologie. La formalizzazione dei modelli ontologici e la loro integrazione con i servizi esistenti è uno dei problemi più interessanti che ha catturato l’attenzione di numerosi studi di settore. Negli ultimi anni numerose sono state le soluzioni proposte. Tra queste si possono considerare due principali vie di sviluppo che hanno visto un’intensa attività sperimentale. Il primo scenario è volto a modellare in maniera formale la conoscenza legata ai servizi esposti, il secondo integra i servizi già esistenti con nuove strutture semantiche in modo da conservare le infrastrutture presenti. Entrambi i filoni hanno come scopo quello di fornire la conoscenza adatta a sistemi esperti che consentano di automatizzare la ricerca dei servizi in base ai desideri dei clienti, permettendo la loro composizione dinamica basata su un’interazione utile e indipendente dai protocolli che vincolano il trasporto delle informazioni.

Vergleichende Analyse der Textsorte Audioguide im deutschen Sprachraum und Anwendungsmöglichkeiten auf die Übersetzung eines Multimedia-Guides aus dem Italienischen ins Deutsche (Analisi contrastiva dell'audioguida come tipo testuale nelle aree germanofone e possibili applicazioni alla traduzione di una guida multimediale dall'italiano al tedesco)

La parte centrale di questo elaborato consiste nella traduzione della guida multimediale della Biblioteca Malatestiana di Cesena dall’italiano al tedesco che include un'audioguida e un Ibook. Siccome non è stato possibile reperire materiale teorico sulle convenzioni testuali e la traduzione di audioguide, è stata condotta un’analisi contrastiva di sette audioguide delle aree germanofone (Germania, Austria, Svizzera e Alto Adige) con l’obiettivo di individuare le caratteristiche testuali comuni. In una fase successiva è stato effettuato un confronto tra i risultati dell’analisi contrastiva e il testo di partenza per individuare le possibilità di applicazione dei risultati. Infine, vengono commentate anche le scelte traduttive in generale, legate soprattutto a fattori sintattici e pragmatici.