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.

English as a lingua franca (elf): Un caso di studio sulle linee guida per gli autori di articoli scientifici.

La lingua inglese ha subito negli ultimi secoli una diffusione senza precedenti e viene oggi utilizzata in tutto il mondo come mezzo di comunicazione. Da questo fenomeno inedito emergono nuove prospettive di ricerca; le lingue sono infatti in continua evoluzione e si modificano attraverso l’uso. La lingua inglese, così largamente utilizzata in tutto il mondo, si sta quindi trasformando, e presenta oggi ai ricercatori aspetti originali ed innovativi. L’utilizzo dell’inglese come mezzo di comunicazione tra parlanti appartenenti a diverse linguaculture viene chiamato “ELF”, English as a Lingua Franca. Lo scopo di questa tesi è di esporre i punti fondamentali delle ricerche degli ultimi anni sull’argomento e di realizzare un piccolo studio di caso su questo tema. Lo studio avrà come oggetto le linee guida per gli autori di articoli scientifici fornite da un campione di 100 riviste specialistiche, che sono state esaminate al fine di individuare riferimenti alla lingua inglese, alle sue varietà e a parlanti nativi e non nativi. L’obbiettivo sarà quindi quello di ottenere un idea generale sulla posizione dei parlanti non nativi all’interno della comunità scientifica.

Analysis of the spectrum of the spin-1 biquadratic antiferromagnetic chain

In questo elaborato vengono discusse le catene di spin-1, modelli quantistici definiti su un reticolo unidimensionale con interazione tra siti primi vicini. Fra la ricca varietà di tipologie esistenti è stato scelto di porre attenzione primariamente sul modello antiferromagnetico con interazione puramente biquadratica. Vengono presentati diversi metodi di classificazione degli autostati di tale modello, a partire dalle simmetrie che ne caratterizzano l’Hamiltoniana. La corrispondenza con altri modelli noti, quali il modello XXZ di spin 1/2, la catena di Heisenberg SU (3) ed i modelli di Potts, è utile ad individuare strutture simmetriche nascoste nel formalismo di spin-1, le quali consentono di ricavare informazioni sullo spettro energetico. Infine, vengono presentati risultati numerici accompagnati da alcune considerazioni sulle modifiche dello spettro quando si aggiunge un termine bilineare alla Hamiltoniana biquadratica.

Progettazione dinastica: il caso Marpatech s.r.l.

Applicazione del metodo della "Progettazione dinastica" al caso Marpatech s.r.l., azienda inserita nell'ambito del packaging. Tale metodo viene applicato per la riorganizzazione della produzione, in particolare, in questo caso, della metodologia di lavoro all'interno dell'ufficio tecnico. Si è analizzata la varietà dei componenti che costituiscono le linee di trasporto facenti parte delle famiglie "trasporto sfuso" e "trasporto cartoni", per poi definire un capostipite della futura dinastia di prodotti e progettando componenti standard con logiche di modularità, range, fisso/variabile. Infine si sono applicati i risultati ottenuti ad una commessa realizzata nell'anno 2013 ed è stato fatto un confronto tra i due casi. L'obiettivo conseguito è stato ridurre la varietà dei prodotti, definendo il capostipite, e definendo i principali componenti standard, opzionali e speciali, e ridurre i costi e i tempi imputabili all'ufficio tecnico.

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.

Presentazioni di gruppi con generatori e relazioni

La struttura di gruppo è una delle strutture algebriche più semplici e importanti della matematica. Un gruppo si può descrivere in vari modi: uno dei più interessanti è la presentazione per generatori e relazioni. Sostanzialmente presentare un gruppo per generatori e relazioni significa dire quali specifiche ”regole di calcolo” e semplificazione valgono nel gruppo in considerazione oltre a quelle che derivano dagli assiomi di gruppo. Questo porta in particolare alla definizione di gruppo libero. Un gruppo libero non ha regole di calcolo oltre quelle derivanti dagli assiomi di gruppo. Ogni gruppo è un quoziente di un gruppo libero su un appropriato insieme di generatori per un sottogruppo normale, generato dalle relazioni. In questa tesi si ricordano le definizioni più importanti ed elementari della teoria dei gruppi e si passa in seguito a discutere il gruppo libero e le presentazioni di gruppi con generatori e relazioni, dando alcuni esempi. La tesi si conclude illustrando l’algoritmo di Coxeter e Todd, per enumerare le classi laterali di un sottogruppo quando si ha un gruppo presentato per generatori e relazioni.

Sviluppo di un ambiente per il progetto di strutture aerospaziali basate su elementi a forbice

L'obiettivo di questo elaborato è sviluppare un ambiente Matlab per il progetto ed il disegno di strutture utilizzabili in campo aerospaziale, basate su elementi a forbice. Questi elementi presentano la possibilità di espandersi così che una struttura con ridotto ingombro in posizione retratta può espandersi fino ad aumentare le sue dimensioni di diverse volte. Per la progettazione di questo ambiente è stato necessario studiare le relazioni geometriche che regolano i movimenti di questi elementi. Sono poi state implementate delle funzioni in ambiente Matlab® per studiare il movimento di questi elementi, partendo dalla simulazione del singolo elemento, per poi passare a strutture sempre più complicate realizzate come assemblaggio di più strutture elementari. Inoltre è stata progettata e implementata un’interfaccia grafica intuitiva con lo scopo di facilitare il compito del progettista. L’ambiente realizzato permette il progetto e il disegno di alcune semplici strutture, ma può essere ulteriormente sviluppato per implementare un numero sempre maggiore di strutture basate su elementi a forbice. Grazie all’ambiente realizzato, inserendo pochi parametri di progetto nell’apposita interfaccia, si può ottenere il dimensionamento di una struttura, la sua visualizzazione e simulare la sua espansione. Anche se l’ambiente è stato pensato per gestire una grande varietà di soluzioni costruttive, ne sono state implementate due: una struttura piana basata sulla ripetizione circolare di un elemento a forbice e una struttura tridimensionale basata su una serie di corone circolari disposte nello spazio. Queste, seppur non riconducibili a precise realizzazioni aerospaziali, possono essere la base per la progettazione di reali applicazioni come ad esempio satelliti espandibili nel caso 3D. La tesi presenta quindi: un’analisi delle relazioni geometriche che stanno alla base del movimento degli elementi a forbice, una descrizione delle funzioni implementate per simulare le due strutture prese in esame, la presentazione di quali caratteristiche sono state implementate nell’interfaccia grafica e come questa è stata implementata in Matlab, un cenno alle conclusioni che si possono trarre e ad alcuni possibili sviluppi.

Codici ciclici e basi di Gröbner

Richiamo di elementi di algebra, tra cui: polinomi, ordini monomiali e base di Gröbner per ideali e sottomoduli con anche algoritmo FGLM. Descrizione dei codici, dei codici lineari, codifica e decodifica, matrice generatrice, matrice forma standard, matrice di controllo parità, codici ciclici con corrispondenza con ideali e polinomi generatori. Codice Reed-Solomon caso particolare di codice ciclico. Codici ciclici m-dimensionali e codifica sistematica con basi di Gröbner. Algoritmo di decodifica per Reed-Solomon con soluzione chiave e utilizzando basi di Gröbner sui sottomoduli.

Teoria di Morse

Introduzione allo studio dell'omotopia di varietà differenziabili in relazione ai punti critici di funzioni di Morse definite su di esse con particolare attenzione al cambiamento di omotopia dell'insieme di sottolivello al passaggio di un valore critico. Applicazione al complesso di catene di Morse-Smale-Witten e dimostrazione dell'equivalenza tra l'omologia definita da questo complesso e l'omologia classica.

Domini di Dedekind

Nell'elaborato vengono presentate molteplici caratterizzazioni dei domini di Dedekind.

Moto per curvatura per l'elaborazione di immagini ecocardiografiche

In questa tesi discutiamo un modello di segmentazione di immagini ecocardiografiche espresso tramite un'equazione a derivate parziali di evoluzione geometrica. A questo scopo introduciamo la nozione di curvatura in una opportuna metrica riemanniana associata all'immagine e verifichiamo che il modello inizialmente introdotto da C. Corsi, G. Saracino, A. Sarti, C. Lamberti, può essere interpretato come una generalizzaione di un flusso per curvatura in questa metrica.

Metriche riemanniane e immersioni isometriche

Attraverso alcuni esempi la tesi mostra che una stessa varietà differenziabile può essere munita di strutture riemanniane diverse e, a seconda della metrica, può variare la dimensione del più piccolo spazio euclideo in cui la varietà può essere immersa.

Dalla geometria con riga e compasso alla geometria con origami

Lo scopo di questo lavoro è mostrare la potenza della teoria di Galois per caratterizzare i numeri complessi costruibili con riga e compasso o con origami e la soluzione di problemi geometrici della Grecia antica, quali la trisezione dell’angolo e la divisione della circonferenza in n parti uguali. Per raggiungere questo obiettivo determiniamo alcune relazioni significative tra l’assiomatica delle costruzioni con riga e compasso e quella delle costruzioni con origami, antica arte giapponese divenuta recentemente oggetto di studi algebrico-geometrici. Mostriamo che tutte le costruzioni possibili con riga e compasso sono realizzabili con il metodo origami, che in più consente di trisecare l’angolo grazie ad una nuova piega, portando ad estensioni algebriche di campi di gradi della forma 2^a3^b. Presentiamo poi i risultati di Gauss sui poligoni costruibili con riga e compasso, legati ai numeri primi di Fermat e una costruzione dell’eptadecagono regolare. Concludiamo combinando la teoria di Galois e il metodo origami per arrivare alla forma generale del numero di lati di un poligono regolare costruibile mediante origami e alla costruzione esplicita dell’ettagono regolare.

Norma ed infrazione nella genesi del discorso

Abstract Il presente lavoro si propone di tracciare un breve excursus circa il potere del linguaggio partendo dalle origini della retorica, disciplina che, ancora oggi condiziona l’organizzazione del discorso. Il concetto di norma ed infrazione sarà esplorato nei paragrafi che compongono questa tesi tenendo conto dei vari processi storici che hanno in qualche modo influenzato l’evoluzione del linguaggio. Dopo aver delineato una breve presentazione sulle origini della retorica il discorso si sposta in ambito filosofico dedicando ampio spazio alla dialettica aristotelica, per poi incentrarsi su due diversi esempi di uso dell’ars oratoria applicati a scritti di epoca romana. Il secondo, invece, si focalizza su due aspetti in realtà molto simili tra di loro; la censura imposta dalla Chiesa sin dal XVI secolo come mezzo per ostacolare il grado di conoscenza a quell’epoca accessibile al popolo, e la conseguente manipolazione delle masse. Il terzo paragrafo può essere considerato di raccordo in quanto espone la ricerca millenaria, da parte dell’uomo, della perfezione, canone che nel corso dei secoli ha mutato caratteristiche. Infine, l’ultimo paragrafo presenta un’analisi approfondita delle opere di due autori che con i loro ideali innovativi hanno influenzato tutta la letteratura del XX secolo.

Sincronia e diacronia degli anglicismi finanziari nella comunicazione istituzionale e nella stampa specializzata: il caso degli stress test

Lo scoppio della crisi finanziaria globale del 2007 ha rappresentato un evento epocale che ha interessato una varietà di ambiti: l’economia, la finanza, il diritto, la sociologia e anche la comunicazione. Molti linguisti e ricercatori del settore terminologico si sono concentrati sulle conseguenze di questo capovolgimento nella comunicazione che ha accolto in misura crescente anglicismi finanziari provenienti dagli Stati Uniti. I documenti istituzionali, ma soprattutto la stampa generalista e finanziaria sono dovuti ricorrere per esigenze denotative agli anglicismi al fine di illustrare le cause di questo evento e proporre delle soluzioni adeguate per attenuarne gli effetti. Dopo la crisi, infatti, le autorità di vigilanza finanziaria europee hanno iniziato a mettere in campo una serie di riforme della regolamentazione finanziaria volte a prevenire la comparsa di nuove crisi sistemiche: lo stress testing costituisce uno degli strumenti che la vigilanza europea ha adottato allo scopo di valutare lo stato di salute dei bilanci degli istituti di credito e per vagliarne la solidità e la resistenza a crisi simili a quella esplosa nel 2007. Il nostro elaborato si propone di osservare in ottica diacronica il trattamento degli anglicismi finanziari del dominio dello stress testing nella comunicazione istituzionale della Banque de France e della Banca d’Italia e nella stampa economico-finanziaria francese e italiana. Per la realizzazione di tale indagine abbiamo adottato un approccio diacronico teso all’osservazione del trattamento dell’anglicismo stress test in un arco temporale che dai primi anni Duemila arriva fino ad oggi. Ai fini dell’indagine abbiamo costruito due corpora comparabili di testi istituzionali tratti dal sito Web della Banque de France e da quello della Banca d’Italia, delimitando la ricerca al dominio dello stress testing. Abbiamo successivamente compilato due corpora comparabili con testi tratti da La Tribune e Milano Finanza per osservare il trattamento degli anglicismi finanziari in un genere testuale differente, benché specializzato. Abbiamo assunto il 2007, anno di inizio della crisi, come spartiacque, suddividendo i corpora in vari subcorpora e selezionando i testi da includervi in base alla data di pubblicazione. L’obiettivo che ci siamo prefissati è quello di osservare se nel dominio dello stress testing abbia avuto luogo un’evoluzione concettuale e se questa sia riscontrabile anche dal trattamento degli anglicismi finanziari, con un focus particolare sull’anglicismo stress test.