Monitoraggio strutturale (structural health monitoring) di laminati CFRP tramite reticoli di Bragg in fibra ottica

Lo studio si propone di valutare la capacità dei reticoli di Bragg in fibra ottica, di individuare e monitorare danneggiamenti presenti all'interno di laminati in composito, tramite l'analisi degli spettri riflessi dai reticoli stessi. Sono stati utilizzati due tipi diversi di stratificazione dei laminati, per valutare il diverso comportamento dei reticoli di Bragg inseriti all'interno dei laminati. Le proprietà dei materiali e degli spettri riflessi dai reticoli, sono state messe in relazione qualitativamente e quantitativamente, al fine di sviluppare un valido metodo di Structural Health Monitoring.

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.

Analisi strutturale agli elementi finiti di bilanciere di scarico

Approfondita analisi strutturare di un bilanciere di scarico di un motore navale attraverso l'utilizzo di un software che sfrutta il metodo degli elementi finiti.

Implementazione di un modello della memoria semantica e lessicale basato sull'utilizzo di features

L’elaborato utilizza un modello neurale, sviluppato nel lavoro di ricerca del prof. Ursino (2010) e successivamente modificato (2011 e 2012), al fine di analizzare alcuni meccanismi alla base della memoria semantica e lessicale. In particolare, la tesi si riferisce alla versione più recente del modello da cui ne deriva uno più semplificato come possibile modalità con cui l’uomo apprende i concetti, li immagazzina in opportune aree cerebrali e collega tali concetti alla parola corrispondente.

Dimensionamento strutturale di un simulatore di campo magnetico ad elevata uniformità spaziale per test a terra di sistemi spaziali

Descrizione dei principali passi che hanno portato alla definizione delle dimensioni principali della struttura di un simulatore di campo magnetico per il test dei magnetometri di un microsatellite. Il sistema di simulazione consiste in 3 coppie di bobine quadrate mutuamente ortogonali ed è in grado di annullare, al proprio interno, il campo geomagnetico locale generando inoltre una componente di campo magnetico orientabile a piacere di intensità fino a 70 microTesla.

Rilevamento fotogrammetrico digitale non convenzionale ed analisi strutturale agli elementi finiti dell'Arco d'Augusto di Rimini

L’Arco d’Augusto di Rimini rappresenta da sempre il monumento simbolo della città; ha visto ogni periodo storico, dei quali riporta tuttora i segni in modo visibile. L’alto valore storico, culturale ed artistico che l’Arco porta con se merita di essere valorizzato, conservato e studiato. E’ stato realizzato un rilievo fotogrammetrico del monumento romano e una successiva analisi strutturale mediante la tecnica F.E.M. Il rilievo è stato eseguito con la moderna tecnica digitale non convenzionale, la quale ha permesso di comprendere quanto essa sia in grado di soddisfare le varie esigenze di rilievo nell’ambito dei Beni Culturali. Nel primo capitolo si affrontano le tematiche relative al rilievo dei Beni Culturali, si concentra poi l’attenzione sul settore della fotogrammetria digitale. Il secondo capitolo è dedicato interamente alla storia dell’Arco d’Augusto, riportando tutti i rilievi dell’Arco realizzati dal Medioevo ad oggi. Il terzo capitolo riporta la serie di restauri che l’Arco riminese ha subito nel corso dei secoli, fra cui i due grandi interventi di restauro: il primo eseguito nel 1947 dall’Ing. Rinaldi G., il secondo nel 1996-98 per opera dell’Arch. Foschi P.L. Nel quarto capitolo si parla di come la tecnica fotogrammetrica si presti molto bene all’analisi e al controllo delle deformazioni strutturali. Il capitolo cinque è dedicato al rilievo topo-fotogrammetrico dell’oggetto, affrontato in tutte le sue fasi: ricognizione preliminare,progettazione ed esecuzione delle prese. Il sesto capitolo affronta l’elaborazione dei dati mediante il software PhotoModeler Pro 5. Nel settimo capitolo si confronta il presente rilievo con l’ortofoto realizzata nel 1982 dall’Arch. Angelini R. Il capitolo otto riporta alcune informazioni al riguardo della geomorfologia della zona limitrofa all’Arco. Nell’ultimo capitolo si descrive l’impiego del software agli elementi finiti Straus7 per creare ed elaborare il modello numerico dell’Arco.

Progettazione e calcolo strutturale di un sistema di afferraggio

Tesi sulla progettazione meccanica e il calcolo strutturale FEM di un sistema di afferraggio facente parte di una macchina automanica nel campo del packaging.

La descrizione semantica di modelli tridimensionali dal reale dei portici di bologna. Quattro casi di studio: Palazzo Bonasoni, Palazzo Felicini, Palazzo Caccialupi, Palazzo Grassi

La tesi tratta della modellazione tridimensionale attraverso software di rilievo fotografico Agisoft Photoscan di alcuni portici della città di Bologna, della successiva segmentazione dei modelli tridimensionali e della classificazione e identificazione delle componenti architettoniche dei casi studio analizzati andando a definire un nuovo approccio di studio semantico al sistema porticato della città di Bologna.

Logiche proposizionali polivalenti

In questa tesi si intende presentare le logiche proposizionali polivalenti con alcuni esempi: esse sono estensioni dalla logica classica a insiemi (in generale ancora finiti come in questa tesi) di valori di verità maggiori di due. La sintassi è la stessa ma non la semantica, rappresentata però sempre da tavole di verità o interpretazioni. Nel primo capitolo sono presentate le definizioni e gli elementi della logica classica che serviranno per studiare questo nuovo tipo di logiche. Nel secondo capitolo è esposto l'esempio di una logica a quattro valori. Si dimostra la completezza di questo calcolo, in una forma diversa rispetto alla logica classica usando tecniche simili. Non valgono infatti il principio del terzo escluso e la Legge di Lewis. Si analizza la validità delle regole del calcolo della deduzione naturale e la riscrittura delle leggi di De Morgan. Nell'ultimo capitolo si affrontano le logiche a n valori con n>2 e varianti a tre valori (vero, falso e indefinito) con i principali esempi di Lukasiewicz-Tarski, Kleene, Priest e Bochvar. Nelle conclusioni si ricordano alcune applicazioni di questo tipo di logiche facendo riferimento alla meccanica quantistica, all'informatica e all'elettronica.

Rilevamento geologico-strutturale lungo la Linea di Belluno nella zona di Monte Piad (Provincia di Belluno)

Il prodotto principale del lavoro è la Carta Geologica alla scala 1:5.000 che ha portato un avanzamento delle conoscenze nella zona in esame. Dal punto di vista stratigrafico il Gruppo dei Calcari Grigi è stato suddiviso nelle formazioni già distinte nei Fogli CARG Tione, Malè, Trento e Asiago: la Formazione di Monte Zugna, Fm. Di Loppio, Fm. Di Rotzo, Fm. Di Grigno. È stato possibile anche rilevare e cartografare l’Oolite di S. Vigilio, anche detta Encrinite di Monte Agaro, con uno spessore di circa 5 m sino alla zona di Sass de Falares, cioè più ad est di quanto noto in letteratura. E’ stato osservato che la Linea di Belluno non è un piano unico, ma comprende altre due faglie: la Linea di Monte Piad che consiste in una faglia inversa che taglia in cerniera l’Anticlinale del Monte Coppolo, e poco a sud la Linea di Sasso Falares che rappresenta la faglia che ha generato la piega per propagazione di faglia del Coppolo, e proseguendo poi verso l’alto ha tagliato tutta la piega emergendo in superficie. In tal modo si forma il duplex di Sasso Falares, arrangiato in una blanda coppia anticinale-sinclinale tipica della geometria di queste strutture, che risulta delimitato a nord dalla linea omonima e a sud dalla L. di Belluno s.s. che si incontrano a quota circa 700 m. Si è potuta anche ricostruire la cinematica del piano principale del thrust di Belluno studiando l’affioramento eccezionale messo a nudo di recente. Gli assi degli sforzi, agenti in compressione, ricostruiti tramite l’analisi meso-strutturale, testimoniano una compressione orientata NNW-SSE, correlabile con l’Evento Valsuganese del Serravalliano-Tortoniano, legato ad un asse compressivo N340 che rappresenta l’evento principale nella regione sudalpina. Anche l’Evento compressivo del Cattiano-Burdigalliano con asse N30 ed una compressione orientata circa E-W correlabile con l’Evento Scledense del Messiniano-Pliocene risultano dall’analisi strutturale.

Rilevamento geologico – strutturale lungo la Linea di Belluno nella zona di Sass de Falares (Provincia di Belluno)

Il lavoro si propone di definire l’assetto geologico strutturale dell’area compresa tra la Valle del Torrente Cismon ed il Sass de Falares, a nord di Lamon (BL). Le novità che si sono potute aggiungere alla cartografia esistente, dal punto di vista stratigrafico sono: 1) La suddivisione del gruppo dei Calcari Grigi in quattro formazioni presenti più a occidente, quali la formazione di Monte Zugna, la formazione di Loppio, la formazione di Rotzo e la formazione del Grigno che in queste zone non erano ancora state evidenziate. La presenza di diffusi noduli di selce grigio-giallastra presenti nella parte medio-alta della formazione di Monte Zugna che testimoniano la persistenza di un ambiente subtidale nel Lias al passaggio tra Alto di Trento e Bacino Bellunese. 2) La presenza dell’Encrinite di Monte Agaro (Oolite di S.Vigilio) con uno spessore esiguo di 5 m sul Monte Coppolo ed anche in cresta a Sass de Falares. In ambito tettonico: 1) Si è accertato che l’anticlinale del Monte Coppolo è tagliata dalla faglia inversa del M.Piad con direzione circa E – O e immergente a N con un’inclinazione di circa 70° spezzando la piega quasi in cerniera; la si può riconoscere sul versante S ed E del M. Coppolo dove disloca la Fm. di M. Zugna e la Dolomia Principale. 2) Si è ricostruito l’assetto tettonico del Sass de Falares, che risulta essere una scaglia tettonica (duplex) compresa tra la Linea di Sass de Falares e la Linea di Belluno. 3) L’Anticlinale del M. Coppolo si è generata per propagazione di una faglia che corrisponde alla Linea di Sass de Falares che in seguito ha tagliato l’anticlinale con meccanismi di fault bend folding. Infine per ultima si è formata la Linea di Belluno s.s. a basso angolo con un raccorciamento maggiore di 2 km. Il sovrascorrimento di Belluno pertanto non è una struttura unica ma si sfrangia in 3 strutture tettoniche separate: Linea di M.Piad, Linea di Sass de Falares e Linea di Belluno s.s. 4) In Val della Selva è stato invece fatta la scoperta più importante di questo lavoro, visto che si è potuto osservare direttamente il piano principale della Linea di Belluno affiorante sulla strada forestale che porta verso la località Pugnai e quindi studiarlo e tracciarlo con precisione sulla carta. Esso ha direzione N68 ed un inclinazione di 30° verso NNW; mette a contatto la Fm. di M. Zugna con la Maiolica. Nell’affioramento si è potuta definire l’anatomia della zona di taglio con associazioni di piani R, R’, P e tettoniti S-C. 5) La ricostruzione della sezione geologica ci ha permesso di riconoscere l’organizzazione degli strati coinvolti nella deformazione. Attraverso programmi appositi quali Georient e Software Carey sono stati ricostruiti gli assi di massima compressione tramite l’analisi meso-strutturale: essi testimoniano una compressione orientata NNW-SSE, in accordo con l’Evento Valsuganese del Serravalliano-Tortoniano, legato ad un asse compressivo N340 che rappresenta l’evento principale nella regione sudalpina, ma sono stati riconosciuti anche assi di compressione orientati NE-SW e circa E-W correlabili con l’Evento Insubrico del Miocene inf. e con l’Evento Scledense del Messiniano - Pliocene.

Meccanismi neurali per la rappresentazione semantica e lessicale: modello di una rete neurale per apprendere il significato di oggetti e parole

Lo studio della memoria semantica attraverso modelli teorici (qualitativi o matematici) gioca un ruolo importante nelle neuroscienze cognitive. In questa tesi viene presentato un modello della memoria semantica e lessicale. Il principio alla base del modello è che la semantica di un oggetto è descritta attraverso una collezione di proprietà, che sintetizzano la percezione dell’oggetto nelle diverse regioni corticali. Gli aspetti semantici e lessicali sono memorizzati in regioni separate del cervello, ma reciprocamente connesse sulla base dell’esperienza passata, secondo un meccanismo di apprendimento Hebbiano. L’obiettivo del lavoro è indagare i meccanismi che portano alla formazione di categorie, analizzare il ruolo delle diverse proprietà nella costruzione di un concetto e le connessioni tra queste proprietà e la parola corrispondente al nome dell’oggetto. Durante l’addestramento per ogni oggetto sono presentate alcune proprietà in input, con una data frequenza: alcune sono condivise, cioè appartengono a più di un concetto e permettono la formazione di categorie, altre sono distintive, cioè sono tipiche di un concetto e consentono la rappresentazione dei membri di una categoria. Un ulteriore aspetto riguardante le proprietà è la distinzione fra proprietà salienti, che sono spontaneamente evocate, e proprietà marginali. E’ stata utilizzata una tassonomia composta da 11 parole che identificano 11 animali. La salienza è stabilita dalla frequenza con cui si verifica ciascuna proprietà. La distinzione tra proprietà condivise e distintive, e tra proprietà salienti e non salienti, è stata ottenuta mediante l’uso della regola di Hebb con una diversa soglia presinaptica e postsinaptica, producendo patterns di sinapsi asimmetriche all’interno della rete semantica (auto-associazione) e tra la rete semantica e lessicale (etero-associazione). La rete addestrata è in grado di risolvere compiti di riconoscimento e denominazione di oggetti, mantenendo una distinzione tra le categorie e i suoi membri, e fornendo un diverso ruolo per le proprietà salienti rispetto alle proprietà marginali.

Analisi contrastiva degli elementi di struttura e coesione testuale di sentenze penali italiane, austriache e tedesche in un'ottica traduttiva

Oggetto del presente elaborato è l’analisi contrastiva di sentenze penali italiane, austriache e tedesche del più alto grado di giudizio. Le analisi sono condotte su tre corpora di sentenze, uno per ogni variante linguistica presa in considerazione, e si svolgono su due livelli: il primo prevede l’analisi degli elementi macro- e microstrutturali delle sentenze, mentre il secondo livello si concentra sugli elementi di coesione testuale con un’analisi statistica della sintassi e della semantica dei connettori testuali, la cui funzione principale è quella di costruire relazioni semantiche tra gli elementi costitutivi del testo. Con la prima analisi si vogliono mettere in risalto le differenze tra il tedesco giuridico della Germania e quello dell’Austria ed evidenziare quindi le differenti strategie traduttive che devono essere utilizzate, se si ha a che fare con varianti di una stessa lingua provenienti da due sistemi giuridici differenti. Per quanto riguarda, invece, l’analisi degli elementi di coesione testuale, il suo obiettivo è quello di verificare da una parte, se esistono delle differenze nell’uso dei connettori all’interno della lingua tedesca e dall’altra di vedere quali differenze possono esserci nell’uso dei connettori in italiano e in tedesco. Nel primo capitolo si introducono i concetti giuridici che stanno alla base del processo penale in Italia, Austria e Germania, per introdurre la materia di base dei testi oggetto dell’analisi. Nel secondo capitolo si espongono delle considerazioni relative al genere testuale della sentenza e ai fattori extra-testuali che condizionano la sua redazione. Nel terzo capitolo si espone l’analisi contrastiva degli elementi macro- e microstrutturali dei corpora di sentenze italiane, austriache e tedesche. Nel quarto capitolo, infine, si espone l’analisi sintattica e semantica dei connettori individuati nei corpora di sentenze.

Studio e progettazione di giunti incollati di tipo strutturale per applicazioni aeronautiche

Il presente elaborato è stato approfondito e sviluppato presso lo stabilimento della Blackshape Aircraft S.p.A. sito in Monopoli (Bari). L’obiettivo è stato principalmente orientato sull’individuazione di un metodo di progettazione di giunzioni incollate fra laminati in CFRP basato su di un modello matematico in grado di prevederne la resistenza. Per realizzare tale studio sono stati necessari approfondimenti preliminari relativi al comportamento meccanico dei laminati in materiale composito e agli studi condotti da Hart-Smith sulla teoria degli incollaggi. E’ stato determinato un metodo analitico per il calcolo della lunghezza di sovrapposizione degli aderenti. Il criterio di resistenza del giunto individuato, basato sulla teoria del cedimento multiassiale di Von Mises, è stato approvato dalla Agenzia Europea per la Sicurezza Aerea, EASA. A livello numerico-pratico è stato preso in esempio il giunto fra i gusci di fusoliera relativi al nuovo velivolo Blackshape con certificazione VLA (Very Light Aircraft).

Applicazione di reticoli di Bragg "chirped" per il monitoraggio strutturale di laminati CFRP

L’uso dei materiali compositi è andato aumentando negli ultimi decenni per la loro elevata rigidezza, la resistenza specifica e il possibile risparmio, notevole in termini di peso dell’intera struttura. Tali materiali introducono però nuove problematiche riguardanti le modalità di danneggiamento e il comportamento a fatica. Mentre questi fenomeni sono relativamente ben compresi nei materiali metallici, per una struttura in composito non esistono ancora modelli in grado di predire con sufficiente affidabilità l’evoluzione del danneggiamento. Negli ultimi anni la ricerca si è focalizzata sullo sviluppo di sistemi in grado di rilevare la presenza e l’evoluzione del danno, definiti Structural Health Monitoring Systems, ovvero sistemi di monitoraggio strutturale. Il danneggiamento strutturale può così essere individuato e identificato per mezzo di sensori distribuiti integrati nella struttura stessa, aventi la possibilità di trasmettere queste informazioni a un sistema di analisi esterno permettendo di valutare lo stato di degrado della struttura in tempo reale. In questo contesto si inseriscono le attività di ricerca sulle strutture intelligenti che, inglobando al loro interno opportune tipologie di sensori e attuatori, sono in grado di monitorare l’ambiente fisico operativo, raccoglierne e interpretarne le informazioni per poi rispondere ai cambiamenti della struttura in modo appropriato attraverso gli attuatori. L’impiego di sensori e attuatori inglobati nelle strutture offre molteplici vantaggi rispetto ai sistemi di trasduzione e attuazione convenzionali. L’attività di ricerca condotta in questa tesi è rivolta all’indagine di tecniche di SHM per mezzo di sensori a fibra ottica. Essi presentano molteplici peculiarità che li rendono i candidati ideali per queste applicazioni. Esistono diversi tipi di sensori che utilizzano le fibre ottiche. Nel presente lavoro si sono utilizzati sensori di deformazione basati sui reticoli di Bragg (FBG) chirped. Questi sensori sono costituiti da un reticolo inscritto all’interno della fibra, che ha l’effetto di riflettere solo alcune lunghezze d’onda della luce incidente. Se le proprietà geometriche del reticolo cambiano per effetto di una deformazione, cambia anche la forma dello spettro riflesso. Inoltre, con il tipo di sensore usato, è possibile correlare lo spettro con la posizione di eventuali danneggiamenti interni al materiale. Gli obbiettivi di questa ricerca sono di verificare gli effetti della presenza di una fibra ottica sulle caratteristiche meccaniche di un laminato e di trovare un legame tra la risposta in frequenza del sensore FBG e lo stato tensionale e il grado di danneggiamento di un componente in composito.