Studio del decadimento delle proprietà meccaniche di compositi CFRP sottoposti a invecchiamento termico

I componenti del carbonio in ambito strutturale (aeronautico, navale, automobilistico) sono soggetti a deterioramenti ambientali di difficile determinazione, in particolare alla temperatura e all'umidità. Scopo di questa tesi è determinare i danneggiamenti dei materiali compositi CFRP in funzione di un invecchiamento a diverse percentuali della temperatura di transizione vetrosa Tg. In particolare si vuole studiare e approfondire il processo di reazione della matrice e del carbonio. Per meglio descrivere il procedimento di deterioramento e reazione del materiale composito dovuto ad alti livelli di temperatura, mi sono avvalso del supporto pratico dell’azienda “Riba Composites” di Faenza che in particolare si occupa della prototipazione e produzione di componenti strutturali in materiali compositi avanzati e che si è dimostrata leader nel settore dei compositi CFRP. Pochi studi sono stati condotti su tale argomento. Da qui il mio interesse specifico nel volere studiare e dimostrare come questo processo possa ulteriormente apportare un aiuto agli studi in ambito strutturale già effettuati e pubblicati precedentemente. La dimostrazione pratica della seguente tesi è avvenuta, con l’aiuto dell’Ing. Paolo Proli, nel laboratorio di MaSTeR Lab dell’Università di Bologna, dove si è deciso di eseguire vari invecchiamenti termici a diverse temperature per constatare i livelli di deterioramento e influenza delle variazioni di temperatura sulla matrice del composito preso in analisi. Gli effetti di tale studi sono stati sostenuti anche grazie alla guida del Professore Lorenzo Donati, e verranno dettagliatamente evidenziati nello specifico con spiegazioni in ambito teorico e dimostrazioni pratiche affiancate da schemi dimostrativi e supporto grafico.

Sviluppo di programma in LabVIEW per controllo di pressione in apparato Sievert

In questa tesi si propone un progetto software per il controllo automatico delle pressioni in apparato volumetrico, o apparato Sievert, dedicato allo studio dell'assorbimento e desorbimento di idrogeno nei metalli. Si introduce la fisica che regola la formazione degli idruri metallici, e i parametri di studio importanti per lo sviluppo di un sistema energetico basato sull'idrogeno. Particolare attenzione viene data alla misura di cinetica, la percentuale in peso di idrogeno assorbito/desorbito in funzione del tempo. Nel capitolo 2 si mostra il principio di funzionamento di un apparato Sievert e la realizzazione hardware dell'apparato: si compone di una serie di volumi calibrati, separati da valvole, a temperatura costante, tra cui la camera porta-campioni . La pressione al loro interno viene variata immettendo o aspirando idrogeno. Nel capitolo 3 è sviluppata la procedura di controllo software tramite LabVIEW, che si impone di impostare una pressione intermedia su un volume parziale, conoscendo la pressione finale, a volumi collegati, alla quale studiare il campione. Questo modo di lavoro permette di non agire direttamente sul campione con le immissioni e le aspirazioni di idrogeno. Il programma è stato provato con misure per materiali dalla cinetica molto veloce come il palladio(Pd). I risultati, nel capitolo 4, mostrano che il programma è in grado di controllare efficacemente le variazioni di pressioni e la misura di cinetica.

Un'applicazione della teoria di Morse alla topologia delle varietà di Stein

In questa tesi si è data una dimostrazione dovuta ad Andreotti e Frenkel del Teorema di Lefschetz, utilizzando gli strumenti e i risultati della Teoria di Morse.

L'assioma di scelta : Storia e influenza sulla matematica del novecento.

L’assioma di scelta ha una preistoria, che riguarda l’uso inconsapevole e i primi barlumi di consapevolezza che si trattasse di un nuovo principio di ragionamento. Lo scopo della prima parte di questa tesi è quello di ricostruire questo percorso di usi più o meno impliciti e più o meno necessari che rivelarono la consapevolezza non solo del fatto che fosse indispensabile introdurre un nuovo principio, ma anche che il modo di “fare matematica” stava cambiando. Nei capitoli 2 e 3, si parla dei moltissimi matematici che, senza rendersene conto, utilizzarono l’assioma di scelta nei loro lavori; tra questi anche Cantor che appellandosi alla banalità delle dimostrazioni, evitava spesso di chiarire le situazioni in cui era richiesta questa particolare assunzione. Il capitolo 2 è dedicato ad un caso notevole e rilevante dell’uso inconsapevole dell’Assioma, di cui per la prima volta si accorse R. Bettazzi nel 1892: l’equivalenza delle due nozioni di finito, quella di Dedekind e quella “naturale”. La prima parte di questa tesi si conclude con la dimostrazione di Zermelo del teorema del buon ordinamento e con un’analisi della sua assiomatizzazione della teoria degli insiemi. La seconda parte si apre con il capitolo 5 in cui si parla dell’intenso dibattito sulla dimostrazione di Zermelo e sulla possibilità o meno di accettare il suo Assioma, che coinvolse i matematici di tutta Europa. In quel contesto l’assioma di scelta trovò per lo più oppositori che si appellavano ad alcune sue conseguenze apparentemente paradossali. Queste conseguenze, insieme alle molte importanti, sono analizzate nel capitolo 6. Nell’ultimo capitolo vengono riportate alcune tra le molte equivalenze dell’assioma di scelta con altri enunciati importanti come quello della tricotomia dei cardinali. Ci si sofferma poi sulle conseguenze dell’Assioma e sulla sua influenza sulla matematica del Novecento, quindi sulle formulazioni alternative o su quelle più deboli come l’assioma delle scelte dipendenti e quello delle scelte numerabili. Si conclude con gli importanti risultati, dovuti a Godel e a Cohen sull’indipendenza e sulla consistenza dell’assioma di scelta nell’ambito della teoria degli insiemi di Zermelo-Fraenkel.

Analisi distribuzioni degli elementi delle matrici di un controllo h-infinito

Lo studio di tesi che segue analizza un problema di controllo ottimo che ho sviluppato con la collaborazione dell'Ing. Stefano Varisco e della Dott.ssa Francesca Mincigrucci, presso la Ferrari Spa di Maranello. Si è trattato quindi di analizzare i dati di un controllo H-infinito; per eseguire ciò ho utilizzato i programmi di simulazione numerica Matlab e Simulink. Nel primo capitolo è presente la teoria dei sistemi di equazioni differenziali in forma di stato e ho analizzato le loro proprietà. Nel secondo capitolo, invece, ho introdotto la teoria del controllo automatico e in particolare il controllo ottimo. Nel terzo capitolo ho analizzato nello specifico il controllo che ho utilizzato per affrontare il problema richiesto che è il controllo H-infinito. Infine, nel quarto e ultimo capitolo ho specificato il modello che ho utilizzato e ho riportato l'implementazione numerica dell'algoritmo di controllo, e l'analisi dei dati di tale controllo.

Il formato EPUB: accessibilità e utilizzo nel contesto e-learning

EPUB rappresenta attualmente uno dei formati più usati per distribuire pubblicazioni digitali (ebook): è uno standard aperto e libero, i cui scenari d'uso variano dall'utilizzo interno, da parte di editori e aziende di conversione, alle distribuzione e vendita. EPUB è basato sui principali standard web, come HTML5 e CSS ed è progettato per strutturare e renderizzare contenuto reflowable, ottimizzando così la presentazione per il sistema di lettura usato. L'uso di specifiche conosciute e ancora in fase di definizione assicura un alto livello di attenzione e una comunità vivace, ma introduce anche un certo livello di incertezza sui futuri sviluppi. Uno degli aspetti centrali di EPUB è l'apertura totale verso pratiche che rendano il contenuto accessibile a persone con disabilità. Questa apertura è dovuta in parte all'uso degli standard web sopracitati, ma anche dalla consapevolezza che il contenuto accessibile rappresenta un valore aggiunto di notevole entità sia per i fruitori (anche non disabili) sia per gli editori e gli autori (in termini di mercato), creando un circolo virtuoso. Un altro aspetto interessante di EPUB è il suo possibile uso nell'ambito e-learning. È stata creata una specifica (più precisamente un profilo) deputata esclusivamente a questo scopo: EDUPUB. Tale specifica è tuttora in una fase iniziale, poichè ancora in draft, ma può comunque risultare di sicuro interesse per tutti i soggetti già coinvolti nello sviluppo e nell'uso di EPUB e di tecnologie relative all'apprendimento elettronico.

Studio ed integrazione di un sistema di collaborative filtering su piattaforma e-commerce business to consumer

I sistemi di raccomandazione sono una tipologia di sistemi di filtraggio delle informazioni che cercano di prevedere la valutazione o la preferenza che l'utente potrebbe dare ad un elemento. Sono diventati molto comuni in questi ultimi anni e sono utilizzati da una vasta gamma di applicazioni, le più popolari riguardano film, musica, notizie, libri, articoli di ricerca e tag di social networking. Tuttavia, ci sono anche sistemi di raccomandazione per i ristoranti, servizi finanziari, assicurazioni sulla vita e persone (siti di appuntamenti online, seguaci di Twitter). Questi sistemi, tuttora oggetto di studi, sono già applicati in un'ampia gamma di settori, come ad esempio le piattaforme di scoperta dei contenuti, utilizzate on-line per aiutare gli utenti nella ricerca di trasmissioni televisive; oppure i sistemi di supporto alle decisioni che utilizzano sistemi di raccomandazione avanzati, basati sull'apprendimento delle conoscenze, per aiutare i fruitori del servizio nella soluzioni di problemi complessi. Inoltre, i sistemi di raccomandazione sono una valida alternativa agli algoritmi di ricerca in quanto aiutano gli utenti a scoprire elementi che potrebbero non aver trovato da soli. Infatti, sono spesso implementati utilizzando motori di ricerca che indicizzano dati non tradizionali.

La metafora del viaggio in interpretazione simultanea: Analisi comparativa tra l'italiano l'inglese e lo spagnolo

La metafora del viaggio è una metafora 'pervasiva', utilizzata quotidianamente e spesso inconsapevolmente. Ma è altrettanto 'automatico' tradurre tali metafore in interpretazione simultanea? Attraverso lo studio di tale tipologia di metafore, tratte dai discorsi pronunciati durante le sessioni plenarie del Parlamento Europeo, e tratti dal corpus EPIC, e durante gli esami finali della Scuola Superiore di Lingue Letterature Traduzione e Interpretazione, se ne osserverà l'uso in italiano, in inglese e in spagnolo. Solo in seguito, sarà possibile prendere in considerazione le rese in interpretazione simultanea degli interpreti del Parlamento Europeo, i 'professionisti', e gli studenti che sostengono gli esami finali, i 'semi-professionisti'. Dalla ricerca sono emerse sostanziali differenze tra la lessicalizzazione delle metafore del viaggio in italiano, inglese e spagnolo che rendono la loro interpretazione in simultanea tutto fuorché semplice e automatica.

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.

La base di Bernstein in spazi polinomiali generalizzati

Nella tesi si illustra il passaggio dagli spazi polinomiali agli spazi polinomiali generalizzati, gli spazi di Chebyshev estesi (spazi EC), e viene dato un metodo per costruirli a partire da opportuni sistemi di funzioni dette funzioni peso. Successivamente si tratta il problema dell'esistenza di un analogo della base di Bernstein negli spazi EC: si presenta, in analogia ad una particolare costruzione nel caso polinomiale, una dimostrazione costruttiva dell'esistenza di tale base. Infine viene studiato il problema delle lunghezze critiche di uno spazio EC: si tratta di determinare l'ampiezza dell'intervallo oltre la quale lo spazio considerato perde le proprietà di uno spazio EC, o non possiede più una base di Bernstein generalizzata; l'approccio adottato è di tipo sperimentale: nella tesi sono presentati i risultati ottenuti attraverso algoritmi di ricerca che analizzano le proprietà delle funzioni di transizione e ne traggono informazioni sullo spazio di studio.

Il teorema dei numeri primi

In questa tesi si vede una dimostrazione elementare del teorema dei numeri primi. Dopo aver definito le funzioni aritmetiche di Tchebychev theta e psi, si utilizzano le loro proprietà per studiare il comportamento asintotico della funzione di Mertens e infine di pi(x). Inoltre si mostrano alcuni legami tra la zeta di Riemann e la teoria dei numeri e cenni ad altre dimostrazioni del teorema dei numeri primi.

Spatial computing per smart devices

Magic Carpet, nato come un middleware orientato a una dimostrazione sullo spatial computing, che inizialmente coinvolgeva solo smart devices ed un tappeto di tag NFC, è il punto di partenza per uno studio sulle tecnologie abilitanti in tale campo. Il prodotto finale è una toolchain per lo sviluppo e la distribuzione, su dispositivi connessi, di applicazioni di spatial computing. Essa comprende un interprete per un DSL basato su un core calculus formalizzato, Field Calculus, e un middleware che supporta l'astrazione curando, a basso livello, le comunicazioni con il vicinato e le percezioni ambientali.

Un teorema di immersione di Whitney

Nella tesi vengono introdotte le varietà differenziabili per poter trattare un problema di immergibilità di varietà differenziabili. Viene data una dimostrazione di un teorema di Whitney nel caso di varietà differenziabili compatte. Il teorema stabilisce che per una varietà compatta di dimensione n esiste un embedding nello spazio euclideo di dimensione 2n+1. Whitney stesso ha migliorato questo risultato, dimostrando che una varietà differenziabile può essere immersa tramite un embedding nello spazio euclideo di dimensione 2n. Nella tesi vengono dati alcuni esempi di questo miglioramento del teorema.

Verifica dei requisiti acustici di una scuola media e proposte di miglioramento

L’acustica delle aule scolastiche è uno dei fattori che influenzano principalmente la qualità ed il livello di apprendimento degli alunni. L'obiettivo della tesi è quello di dimostrare come si possono avere miglioramenti in termini di qualità acustica negli edifici scolastici con interventi mirati e dai costi ragionevoli. L’analisi è stata condotta su un edificio esistente che ospita una scuola media. Sono stati misurati in situ tutti gli aspetti acustici rilevanti e richiesti per legge: l’isolamento di facciata, il rumore di calpestio ed il tempo di riverberazione. Sono stati studiati anche altri parametri importanti, ma spesso trascurati o sconosciuti come Sti o Sti-PA, capaci di quantificare il grado di comprensione del parlato in ambienti chiusi. Lo studente, oltre ad aver contribuito allo svolgimento delle misurazioni, ha elaborato i dati e rilevato le criticità presenti nell’edificio scolastico. Attraverso l’uso di software di simulazione ha studiato gli interventi necessari per il ripristino e per il miglioramento dei requisiti acustici dei locali. Le soluzioni adottate sono un compromesso tra un buon livello di prestazioni acustiche ed i costi necessari per gli interventi proposti

Studio di fattibilità di una nuova tipologia di argano per il sollevamento di carichi nel settore off-shore

Studio di una nuova tipologia di argano per il sollevamento di carichi nel settore off-shore. In particolare, un argano funzionalmente identico ad uno in fase di realizzazione in azienda è stato modellato al CAD 3D e verificato strutturalmente utilizzando Ansys Workbench, software adatto per analisi F.E.M.. Ottenuti i risultati, ne è stato fatto un confronto con quelli relativi all'argano esistente (argano di ‟Moho‟); nello specifico sono stati comparati gli stress ottenuti nelle varie parti dei due argani (tamburo, spalla, flange, alette di rinforzo, albero) in seguito all‟applicazione di 4 casi di carico differenti (E‟, E‟‟, P‟, P‟‟).