La trasformata veloce di Fourier (FFT): analisi e implementazione in C++

La trasformata di Fourier (FT) è uno strumento molto potente implementato, oggi, in un enorme numero di tecnologie. Il suo primo esempio di applicazione fu proprio il campionamento e la digitalizzazione di segnali analogici. Nel tempo l'utilizzo della FT è stato ampliato a più orizzonti in ambito digitale, basti pensare che il formato di compressione '.jpg' utilizza una FT bidimensionale, mentre uno degli ultimi esempi di applicazione si ha nell'imaging digitale in ambito medico (risonanza magnetica nucleare, tomografia assiale computerizzata TAC ecc...). Nonostante gli utilizzi della FT siano molto diversificati il suo basilare funzionamento non è mai cambiato: essa non fa altro che modificare il dominio di una funzione del tempo (un segnale) in un dominio delle frequenze, permettendo così lo studio della composizione in termini di frequenza, ampiezza e fase del segnale stesso. Parallelamente all'evoluzione in termini di applicazioni si è sviluppato uno studio volto a migliorare e ottimizzare la computazione della stessa, data l'esponenziale crescita del suo utilizzo. In questa trattazione si vuole analizzare uno degli algoritmi di ottimizzazione più celebri e utilizzati in tal senso: la trasformata veloce di Fourier (Fast Fourier Transformation o FFT). Si delineeranno quindi le caratteristiche salienti della FT, e verrà introdotto l'algoritmo di computazione tramite linguaggio C++ dedicando particolare attenzione ai limiti di applicazione di tale algoritmo e a come poter modificare opportunamente la nostra funzione in modo da ricondurci entro i limiti di validità.

Progetto vhdl di un nucleo di calcolo per misure di impedenza basate su segnali pseudo-random

In questo elaborato si affronta il progetto di un nucleo di calcolo per misure d'impedenza sulla pelle tramite l'utilizzo di segnali pseudo-random. La misura viene effettuata applicando il segnale casuale all'impedenza per ottenere la risposta impulsiva tramite un'operazione di convoluzione. Il nucleo di calcolo è stato implementato in VHDL.

Curve spline generalizzate di interpolazione locale

Questa tesi presenta un metodo generale per la costruzione di curve spline generalizzate di interpolazione locale. Costruiremo quest'ultime miscelando polinomi interpolanti generalizzati a blending function generalizzate. Verrano inoltre verificate sperimentalmente alcune delle proprietà di queste curve.

Algoritmi di Compressione secondo Lempel Ziv

Molti metodi di compressione lossless si basano sulle idee che nel 1977 i ricercatori israeliani Abraham Lempel e Jacob Ziv hanno presentato nell’articolo “A universal Algorithm for sequential Data Compression”. In questa tesi viene descritto il metodo di fattorizzazione LZ77, illustrato appunto da Lempel e Ziv, e vengono esposte le strutture dati fondamentali per la sua realizzazione. Sono inoltre descritti due algoritmi CPS1 e CPS2 che realizzano LZ77. Infine, sfruttando i dati raccolti sperimentalmente da Al-Haffedh et al. in “A Comparison of Index-Based Lempel-Ziv LZ77 Factorization Algorithms” [2012], gli algoritmi descritti vengono confrontati in termini di spazio e tempo.

Elaborazione di segnali audio per la localizzazione di sorgenti

In questo lavoro viene trattata l'elaborazione di segnali audio per la localizzazione di sorgenti sonore. Di certo gli elementi che concorrono maggiormente nella localizzazione del suono sono le nostre orecchie: esse sono separate dalla testa, che funge da ostacolo acustico. E' importante distinguere se la sorgente si trova davanti agli occhi dell'ascoltatore, ossia nel piano interaurale, o se altrimenti occupa una posizione più o meno laterale. In tali due casi i segnali audio raggiungeranno in modo diverso le due orecchie: avremo rispettivamente che essi, in un caso, raggiungeranno le due orecchie contemporaneamente; nell'altro una delle due orecchie riceverà un segnale ritardato ed attenuato. Tale elaborato si propone di ricreare uno scenario di classe virtuale in cui, attraverso l'utilizzo di MATLAB, vengono riprodotti i vari segnali cercando di fornire la sensazione di un ascolto reale, andando ad operare su di essi.

Superfici di suddivisione: teoria, algoritmi ed applicazioni

Le superfici di suddivisione sono un ottimo ed importante strumento utilizzato principalmente nell’ambito dell’animazione 3D poichè consentono di definire superfici di forma arbitraria. Questa tecnologia estende il concetto di B-spline e permette di avere un’estrema libertà dei vincoli topologici. Per definire superfici di forma arbitraria esistono anche le Non-Uniform Rational B-Splines (NURBS) ma non lasciano abbastanza libertà per la costruzione di forme libere. Infatti, a differenza delle superfici di suddivisione, hanno bisogno di unire vari pezzi della superficie (trimming). La tecnologia NURBS quindi viene utilizzata prevalentemente negli ambienti CAD mentre nell’ambito della Computer Graphics si è diffuso ormai da più di 30 anni, l’utilizzo delle superfici di suddivisione. Lo scopo di questa tesi è quello di riassumere, quindi, i concetti riguardo questa tecnologia, di analizzare alcuni degli schemi di suddivisione più utilizzati e parlare brevemente di come questi schemi ed algoritmi vengono utilizzati nella realt`a per l’animazione 3D.

Attenuazione del multipath attraverso tecniche di diversità per applicazioni beacon tramite segnali Bluetooth Low Energy

In questo elaborato è stato effettuato uno studio di soluzioni tecnologiche per eseguire una localizzazione di prossimità in ambienti indoor tramite la percezione di segnali Bluetooth Low Energy. Il sistema analizzato e sperimentato è composto da un dispositivo in ricezione che effettua una stima della distanza che intercorre con il trasmettitore, tramite la valutazione della potenza del segnale ricevuto. A causa della propagazione indoor, tale stima risulta poco accurata in termini di ranging in quanto vengono a generarsi delle fluttuazioni istantanee del segnale ricevuto dovute a fenomeni di multipath. L’obiettivo di questo progetto è stato quello di mitigare queste oscillazioni sfruttando due trasmettitori al posto di uno, effettuando quindi in ricezione opportune combinazioni fra i segnali ricevuti (Diversity Combining Techniques).

Ricostruzione delle sorgenti corticali da segnali EEG in task di discriminazione visiva: Effetto di training multisensoriale

I neuroni in alcune regioni del nostro cervello mostrano una risposta a stimoli multisensoriali (ad es. audio-visivi) temporalmente e spazialmente coincidenti maggiore della risposta agli stessi stimoli presi singolarmente (integrazione multisensoriale). Questa abilità può essere sfruttata per compensare deficit unisensoriali, attraverso training multisensoriali che promuovano il rafforzamento sinaptico all’interno di circuiti comprendenti le regioni multisensoriali stimolate. Obiettivo della presente tesi è stato quello di studiare quali strutture e circuiti possono essere stimolate e rinforzate da un training multisensoriale audio-visivo. A tale scopo, sono stati analizzati segnali elettroencefalografici (EEG) registrati durante due diversi task di discriminazione visiva (discriminazione della direzione di movimento e discriminazione di orientazione di una griglia) eseguiti prima e dopo un training audio-visivo con stimoli temporalmente e spazialmente coincidenti, per i soggetti sperimentali, o spazialmente disparati, per i soggetti di controllo. Dai segnali EEG di ogni soggetto è stato ricavato il potenziale evento correlato (ERP) sullo scalpo, di cui si è analizzata la componente N100 (picco in 140÷180 ms post stimolo) verificandone variazioni pre/post training mediante test statistici. Inoltre, è stata ricostruita l’attivazione delle sorgenti corticali in 6239 voxel (suddivisi tra le 84 ROI coincidenti con le Aree di Brodmann) con l’ausilio del software sLORETA. Differenti attivazioni delle ROI pre/post training in 140÷180 ms sono state evidenziate mediante test statistici. I risultati suggeriscono che il training multisensoriale abbia rinforzato i collegamenti sinaptici tra il Collicolo Superiore e il Lobulo Parietale Inferiore (nell’area Area di Brodmann 7), una regione con funzioni visuo-motorie e di attenzione spaziale.

Ricostruzione di segnali multipli del rivelatore a tempo di volo (ToF) di ALICE: confronto fra dati e Monte Carlo

La fisica delle collisioni ad alte energie è, ad oggi, uno dei campi di ricerca più interessante per la verifica di modelli teorici che spieghino la nascita e la formazione dell'universo in cui viviamo. In quest'ottica lavorano esperimenti presso i più importanti acceleratori di particelle: tra questi anche l'esperimento ALICE, presso il Large Hadron Collider LHC del CERN di Ginevra. Il suo scopo principale è quello di verificare e ampliare l'insieme delle prove sperimentali alla base sull'esistenza di un nuovo stato della materia: il Quark Gluon Plasma. La presenza della transizione di fase della materia adronica ordinaria a QGP era stata teorizzata da diversi studi termodinamici e da calcoli di QCD su reticolo: in particolare si prevedeva l'esistenza di uno stato della materia in cui i quark sono deconfinati. Il QGP è dunque un plasma colorato e densissimo di quark e gluoni, liberi di interagire tra loro. Queste condizioni sarebbero state quelle dell'universo primordiale, circa 1µs dopo il Big Bang: a seguito di una transizione di fase, si sarebbe poi formata tutta la materia adronica ordinaria. Per riprodurre le condizioni necessarie alla formazione del QGP occorrono collisioni ad energie ultrarelativistiche come quelle prodotte, negli ultimi anni, dall'acceleratore LHC. Uno dei principali rivelatori dedicati all'identificazione di particelle in ALICE è il sistema a tempo di volo TOF. Nonostante un attento processo di ottimizzazione della risoluzione delle sue componenti, persistono residui errori strumentali che limitano la qualità (già ottima) del segnale, tutt'oggi oggetto di studio. L'elaborato presentato in questa tesi è suddiviso in tre capitoli: nel primo ripercorriamo gli aspetti teorici del Modello Standard e del Quark Gluon Plasma. Nel secondo descriviamo la struttura di rivelazione di ALICE, analizzando il funzionamento delle singole componenti. Nel terzo, infine, verifichiamo le principali correzioni al TOF ad oggi note, confrontando i dati a nostra disposizione con delle simulazioni Monte Carlo: questo ci permette da un lato di approfondirne la conoscenza, dall'altro di cercarne di migliorare la descrizione del comportamento del rivelatore.

Determinazione semplificata delle curve caratteristiche di un compressore centrifugo

Scopo di questa tesi è lo sviluppo di un codice nell'ambiente per il calcolo numerico Matlab atto a simulare il comportamento di un compressore centrifugo. Tale compressore centrifugo è stato studiato per l'utilizzo in un gruppo turbogas per la produzione di energia elettrica. Con l’utilizzo di alcune semplificazioni, è stata tracciata la mappa di tale compressore in intervalli di portata e salti di pressione il più possibile distanti dal funzionamento con condizioni di progetto.

Teoremi di Chasles : sopra le proprietà dei sistemi di coniche ([mu], [nu]), che servono di base alla determinazione del numero di queste curve, che soddisfanno a cinque condizioni qualunque :nota /

Includes bibliographical references.

Teoria geometrica di alcuni sistemi lineari triplamente infiniti di curve piane.

Mode of access: Internet.

Molteplicità dell'intersezione di curve algebriche piane

La tesi si prefigge di definire la molteplicità dell’intersezione tra due curve algebriche piane. La trattazione sarà sviluppata in termini algebrici, per mezzo dello studio degli anelli locali. In seguito, saranno discusse alcune proprietà e sarà proposto qualche esempio di calcolo. Nel terzo capitolo, l’interesse volgerà all’intersezione tra una varietà e un’ipersuperficie di uno spazio proiettivo n-dimensionale. Verrà definita un’ulteriore di molteplicità dell’intersezione, che costituirà una generalizzazione di quella menzionata nei primi due capitoli. A partire da questa definizione, sarà possibile enunciare una versione estesa del Teorema di Bezout. L’ultimo capitolo focalizza l’attenzione nuovamente sulle curve piane, con l’intento di studiarne la topologia in un intorno di un punto singolare. Si introduce, in particolare, l’importante nozione di link di un punto singolare.

Razionalizzazione di un magazzino componentistica per linee di assemblaggio di segnali aeroportuali: il caso Ocem Airfield Technology

Questa tesi si propone di illustrare il lavoro da me svolto presso l’azienda Ocem Airfield Technology all’interno del magazzino componentistica mirato alla riorganizzazione del supermarket delle linee di assemblaggio nell’ottica della minimizzazione dei tempi di prelievo. La continua ricerca di flessibilità sulla base delle esigenza della clientela ha un drastico effetto sul magazzino e sulla sua gestione. Il magazzino rappresenta un elemento estremamente oneroso nel bilancio aziendale e contribuisce per il 20% ai costi interni dell’impresa. Hanno un ruolo cruciale nel funzionamento aziendale: i magazzini sono il luogo di attesa per i prodotti dal punto di origine a quello di consumo, garantiscono l’immagazzinamento e lo stoccaggio della merce ed infine sono un driver fondamentale per ridurre l’incertezza. Tra le attività più costose si colloca il prelievo frazionato della merce o order picking, responsabile del 55% dei costi operativi logistici. Nell'ambito Ocem è stato implementato un progetto per la riduzione dei tempi di prelievo ispirandosi a modelli nati in letteratura. Il progetto inizialmente è stato testato su una linea pilota a bassi volumi per monitorare i possibili vantaggi. Una volta confermata la riduzione effettiva dei tempi di prelievo, il progetto è stato replicato con le opportune modifiche sulle restanti linee di assemblaggio raggiungendo incrementi di efficienza significativi. Il parametro adottato come performance index è stata la riduzione percentuale del tempo di prelievo dall’as-is al to-be.

Caratterizzazione geo-petrografica, petrologica e geochimica di rocce anatettiche del nord Sardegna

The High Grade Metamorphic Complex (HGMC) of Variscan basement of north Sardinia is characterized by the widespread of migmatites. This study is focused on two localities of NE Sardinia (Porto Ottiolu and Punta Sirenella) where ortho- and para-derivates migmatites outcrop. A geological and structural survey was carried out, leading to the realization of a geological schematic map of Punta Sirenella area. Several samples of different rocks were collected for petrographic, micro-structural minero-chemical and geochemical analyses. In the Porto Ottiolu area three main deformation phases have been identified; D1, characterized by tight folds with sub-horizontal axes, rarely preserved in paragneisses; D2, that produce a pervasive foliation oriented N100° 45°SW marked by biotite and sillimanite blastesis and locally transposed by shear zone oriented N170°; D3, late deformation phase caused symmetric folds with sub-horizontal axes with no axial plane schistosity. Leucosomes form pods and layers along S2 schistosity but also leucosomes along shear zones have been observed. In the Punta Sirenella area, three main deformation phases have been identified; D1, is manifested by the transposition of centimeter-sized leucosomes and is rarely observed in paragneisses were produce open folds with sub-vertical axes; D2, NW-SE oriented on whose XY plane three mineralogical lineation (quartz+plagioclase, fibrolite+quarz and muscovite) lie; D3, a ductile-brittle deformation phase that produce a mylonitc S3 foliation that locally become the most evident schistosity in the field oriented N140° steeply dipping toward NE. In both areas, leucosomes of sedimentary-derived migmatites are generally trondhjemitic pointing out for a H2O fluxed melting reaction, but also granitic leucosomes have been found, produced by muscovite dehydration melting. Leucosomes of migmatitic orthogneiss instead, have granitic compositions. Migmatization started early, during the compressional and crustal thickening (sin-D1, pre-D2) and was still active during exhumation stage. For each studied outcrop of migmatite pseudosections for the average mesosome composition have been calculated; these pseudosections have been used to model the P-T conditions of anatexis on the basis of the melt volume (%) of melt, Si/Al and Na/K molar ratios, modal content of garnet and Si content in metamorphic white mica. Further pseudosections have been calculated for the average composition of leucosomes in order to define the P-T conditions of the end of the crystallization through intersection of solidus curve and isopleths of Si content in white mica and/or XMg ratio in biotite. Thermodynamic modeling on ortho- and sedimentary-derived migmatites of Punta Sirenella yield P-T conditions of 1.1-1.3 GPa - 670-740°C for migmatitic event and 0.75-0.90 GPa - 660-730°C for the end of crystallization. These conditions are fit well with previous studies on adjacent rocks. Modeling of Porto Ottiolu ortho- and sedimentary-derived migmatites yield P-T conditions of 0.85-1.05 GPa - 690-730°C for migmatitic event and 0.35-0.55 GPa - 630-690°C strongly affected by re-equilibration during exhumation, expecially for crystallization conditions. Geochemical analyses of samples belonging to Porto Ottiolu and Punta Sirenella orthogneisses show a strong link with those of other orthogneisses outcropping in NE Sardinia (for instance, Lode-Mamone and Golfo Aranci) that are considered the intrusive counterparts of middle-Ordovician metavolcanics rocks outcropping in the Nappe Zone. Thus, the studied ortogneiss bodies, even lacking radiometric data, can be considered as belonging to the same magmatic cycle.