Teorema fondamentale dei politopi convessi

In questa tesi si presenta il concetto di politopo convesso e se ne forniscono alcuni esempi, poi si introducono alcuni metodi di base e risultati significativi della teoria dei politopi. In particolare si dimostra l'equivalenza tra le due definizioni di H-politopo e di V-politopo, sfruttando il metodo di eliminazione di Fourier-Motzkin per coni. Tutto ciò ha permesso di descrivere, grazie al lemma di Farkas, alcune importanti costruzioni come il cono di recessione e l'omogeneizzazione di un insieme convesso.

Misura di risposta impulsiva mediante sequenze casuali per comunicazioni Power-Line

Nell’ambito delle telecomunicazioni risulta di notevole rilievo la tecnologia ad onde convogliate, definita Power-Line Communication (PLC), che permette la trasmissione di dati sfruttando la rete elettrica come mezzo di trasmissione. Essa rappresenta una delle tecnologie promettenti per quanto concerne la fornitura di servizi come l’accesso ad Internet, alla rete telefonica e al telecontrollo di apparecchi sempre più sofisticati. Al fine di rendere possibile sia la trasmissione di potenza (alla frequenza di 50 Hz per l’Italia) che di altri segnali dati (su bande a frequenza maggiore) saranno necessarie tecniche di modulazione avanzata, che però non rappresentano un argomento trattato a fondo in questa tesi. Lo sviluppo tecnologico degli ultimi anni ha permesso una notevole diffusione delle PLC soprattutto in applicazioni domestiche, grazie ai prezzi molto contenuti in parallelo alle ottime prestazioni, soprattutto nell’automazione. Obbiettivo dell’elaborato risulta la rilevazione della risposta impulsiva in ambienti Power-Line di tipo Narrowband (a banda stretta), immettendo in rete sequenze di tipo casuale o pseudo-casuale, queste ultime definite Pseudo-Noise (PN); esse infatti hanno particolari proprietà che renderanno possibile il raggiungimento dello scopo prefissato. Lo strumento fondamentale per le misurazioni sul campo effettuate risulta l’Analog Discovery (Digilent ne è il produttore), utilizzato non solo come generatore di forme d’onda in ingresso ma anche come oscilloscopio per l’analisi del segnale ricevuto.

Tecniche di misura della risposta impulsiva di ambienti indoor in ambito acustico

Questo elaborato si pone l’obiettivo principale di formulare una metodologia volta alla misura sperimentale della risposta impulsiva di ambienti indoor in ambito acustico. Lo studio della risposta impulsiva di una stanza trova diverse applicazioni nell’ambito dell’ingegneria acustica. Essa contiene infatti informazioni sulla geometria della stanza stessa, che può essere ricostruita con appositi algoritmi. È sovente impiegata anche in campo architettonico per progettare interventi di correzione o ottimizzazione acustica. In questo elaborato si darà spazio ad una terza applicazione: si utilizzerà la risposta impulsiva misurata in una determinata stanza per aggiungere effetti ambientali a suoni registrati in camere anecoiche. Per perseguire quest’obiettivo, nel capitolo 1 si richiamano i concetti di base riguardo i sistemi LTI, funzioni di trasferimento e risposta impulsiva, approfondendo gli aspetti legati alle tecniche tradizionalmente usate per la misura della risposta impulsiva in ambito acustico. Si pone poi la base teorica del metodo sperimentale che sarà sviluppato nel corso dell’elaborato, fondato sulla stima numerica dello spettro di segnali ad energia finita. Nel secondo capitolo s’illustra l’impostazione della catena di misura, chiarendo le scelte hardware intraprese, le motivazioni di tali scelte, il funzionamento generale dei dispositivi impiegati e le condizioni ottimali di misura. Il capitolo 3 rappresenta il cuore di questo elaborato, nel quale viene illustrata l’implementazione vera e propria della metodologia della misura della risposta impulsiva, a partire dal settaggio degli strumenti utilizzati, alla realizzazione del codice MATLAB per l’elaborazione dei dati, per giungere infine all’analisi dei risultati sperimentali ottenuti. Con il quarto ed ultimo capitolo si introduce il concetto di equalizzazione e si implementa una prima e grossolana soluzione al problema degli effetti distorcenti introdotti dai dispositivi non ideali.

Misura UHF (Ultra High Frequency) delle scariche parziali nei sistemi isolati a gas: metodologie per la verifica della sensibilità di misura

Le apparecchiature di manovra tramite isolamento a gas (GIS) sono in funzione da più di 45 anni e hanno dimostrato un alto livello di affidabilità, con tassi di difetto molto bassi. Tuttavia, il riscontro pratico indica che alcuni dei guasti che si verificano durante il servizio sono legati a difetti del sistema di isolamento. Molti di questi difetti possono essere rilevati tramite diagnostica con scariche parziali (PD). Per la rilevazione PD, viene utilizzato il metodo UHF perché meno sensibile ai disturbi e quindi più facile da gestire in confronto al metodo convenzionale secondo IEC 60270. Un rapporto di Electra pubblicato nel 1999 dal CIGRE Task Force 15/33.03.05 descrive la procedura in due fasi per la verifica della sensibilità del sistema UHF in modo molto generale. Dopo 15 anni dalla sua applicazione, è diventata necessaria una descrizione più dettagliata, sia su misure necessarie al test di laboratorio (Passaggio 1) che sul test in loco (Passaggio 2).

Le promozioni al consumo nei mercati dei beni durevoli: modalità e misura dell’influenza sulla domanda.

Si studia, attraverso l’aiuto dell’analisi di una simulazione di mercato, l’effetto che determinate strategie promozionali e pubblicitarie legate ad esse hanno sulla vendita di beni durevoli; in particolar modo si farà riferimento alla categoria degli elettrodomestici bianchi.

Fattibilità della misura di cattura neutronica sugli isotopi dispari del gadolinio

In questo lavoro di tesi ci proponiamo di determinare lo spessore degli isotopi ^155Gd e ^157Gd in vista della misura della sezione d’urto di cattura neutronica presso la facility n_TOF del CERN. La principale motivazione dell’esperimento è legata alla necessità di ottenere misure più accurate per le applicazioni ai reattori nucleari. Inoltre, i nuovi risultati, potranno essere sfruttati anche per applicazioni ai recenti sviluppi nella Terapia di Cattura Neutronica e per costruire nuovi rivelatori nell’ambito della ricerca del neutrino. La misura sarà effettuata nella prima area sperimentale EAR-1 di n TOF, equipaggiata con rivelatori, come per esempio gli scintillatori liquidi al benzene deuterato (C6D6) particolarmente adatti per questi tipi di misura. La sezione d’urto di questi due isotopi cambia di molti ordini di grandezza al variare dell’energia dei neutroni incidenti. Per questo motivo, lo studio effettuato in questa tesi ha mostrato che sono necessari due campioni altamente arricchiti per ogni isotopo da misurare: un campione estremamente sottile per energie del neutrone fino a 100 meV, e uno più spesso per energie maggiori. Inoltre per questi campioni sono stati determinati le densità areali necessarie per lo svolgimento dell’esperimento affinchè avvenga il fenomeno di trasmissione dei neutroni.

Ottimizzazione di un appareto per il controllo delle condizioni climatiche nella cella per la misura della rigidità dinamica

Lo scopo di tale progetto è creare, dal sistema hardware fino alla programmazione software, un sistema che permetta da una parte il controllo autonomo delle condizioni climatiche di un ambiente, il monitoraggio e dall’altra di essere versatile, portatile e di facile utilizzo. Come esempio applicativo per il controllo delle condizioni climatiche in una teca per la misura della rigidità dinamica si andranno ad evidenziare inizialmente in cosa consistono le prove della rigidità dinamica e a cosa servono, per poi passare alla spiegazione dei fenomeni che regolano il comportamento delle miscele di aria e vapor d’acqua che permetteranno di capire le connessioni tra i fattori principali che regolano i cambiamenti climatici quali temperatura e umidità. Successivamente si andranno poi a descrivere con quali meccanismi si regola la climatizzazione degli ambienti, fino ad arrivare alla creazione di un sistema autonomo che gestisca autonomamente temperatura e umidità all’interno di una cella.

Dispositivi ottici per la misura di corrente e di tensione

In questa tesi vengono analizzati i principi fisici che stanno alla base dei dispositivi ottici di misura di tensioni e di correnti e, in particolare, vengono presentate le differenti soluzioni tecnologiche investigate dai produttori. La trattazione si concentra principalmente sulle tecniche di misura polarimetriche, che riguardano mutamenti indotti nello stato di polarizzazione della luce, mentre essa viaggia attraverso una fibra ottica, a causa di fenomeni esterni di interesse (come campi magnetici o elettrici). Le tecniche ottiche di misura, in futuro, avranno ruoli sempre più predominanti nel settore della fornitura di energia elettrica, dove offrono miglioramenti in sensibilità e prestazioni, rispetto ai convenzionali sistemi, riducendo inoltre i costi grazie alla minima richiesta di isolamento. Esistono, però, ancora dei problemi da risolvere come l'influenza della temperatura ambientale nella misura o l'affidabilità dei dispositivi per lunghi funzionamenti.

Confronto tra le tecniche XRD e IHD per la misura di tensioni residue

Le rotture a fatica dei componenti sono dovute principalmente alle tensioni di trazione generate da carichi ciclici e variabili nel tempo. Le cricche causate da questo tipo di tensioni possono propagarsi e crescere fino a causare danni catastrofici nel componente. La fatica costituisce uno dei fattori principali di rottura delle strutture aeronautiche; in campo aeronautico sono quindi molto diffusi dei trattamenti superficiali che permettono di indurre tensioni di compressione che contrastano quelle di trazione, in modo tale da ritardare o prevenire le rotture dovute al fenomeno della fatica. Esistono diverse tecniche per raggiungere questo risultato e permettere di prolungare la vita a fatica di un componente metallico, la più nota è sicuramente il Laser Shock Peening (LSP). Nel corso degli ultimi anni la maggior parte delle ricerche condotte rispetto a questa tecnica sono state incentrate sugli effetti meccanici che questo trattamento ha sul materiale in modo da determinare la configurazione ottimale per ottenere una distribuzione delle tensioni il più efficace possibile ai fini della vita a fatica; sono state svolte diverse prove sperimentali per studiare il ruolo dei parametri del laser e ottimizzare la procedura del LSP. Tra le tecniche utilizzate per valutare gli effetti del LSP in termini di tensioni residue, spiccano, oltre ai metodi computazionali, l'X-ray Diffraction (XRD) e l'Incremental Hole Drilling (IHD). L'elaborato di tesi qui presentato ha come scopo il confronto tra i livelli di tensioni residue riscontrate all'interno di provini sottili in lega di alluminio, sottoposti a differenti trattamenti laser, attraverso i suddetti metodi XRD e IHD. I risultati, già noti, ottenuti con la tecnica l'XRD sono stati posti a verifica attraverso dei test svolti con l'IHD presso i laboratori MaSTeRLab della Scuola di Ingegneria dell'Università di Bologna.

Docudipity: estensione di un ambiente per esplorare tendenze nella scrittura di articoli scientifici

In questa tesi verrà mostrato un sistema innovativo, finalizzato a supportare l’esplorazione e l’analisi di collezioni di articoli scientifici. Il nome stesso, DocuDipity, deriva dall’unione di "Document" e "Serendipity", cioè fare scoperte inattese sui documenti e in particolare sul modo in cui i sono scritti. Grazie a DocuDipity è possibile individuare particolare proprietà degli articoli, ad esempio la distribuzione delle citazioni o dei contributi di autori diversi, senza l’obbligo di sfogliare pagina per pagina gli articoli.

La matematica dei frattali

Questa tesi ha lo scopo di descrivere le proprietà matematiche degli insiemi frattali. Nell'introduzione è spiegato brevemente cosa sono i frattali e vengono fatti alcuni esempi di frattali in natura, per poi passare agli aspetti più matematici nei capitoli. Nel capitolo uno si parla della misura e della dimensione di Hausdorff e viene calcolata, seguendo la definizione, per l'insieme di Cantor. Poi nel secondo capitolo viene descrittà l'autosimilarità e viene enunciato un importante teorema che lega l'autosimilarità e la dimensione di Hausdorff. Nel terzo capitolo vengono descritti degli insiemi frattali molto importanti: quelli di Mandelbrot e di Julia.

Misura del flusso neutronico per reazioni indotte da neutroni su 155Gd e 157Gd nell'esperimento nTOF al CERN

Questa tesi è incentrata sullo studio e la determinazione del flusso neutronico della facility nTOF (neutron Time Of Flight) del CERN di Ginevra nel corso della campagna sperimentale del 2016. L'esperimento è finalizzato alla misura della sezione d'urto della reazione di cattura neutronica da parte degli isotopi dispari di gadolinio, 155Gd e 157Gd. In particolare l'analisi verrà condotta in modo da ottenere dati sperimentali nello spettro di energie da neutroni termici (10-2 eV) a 1.0 eV e migliorare i dati già esistenti per energie fino a 1.0 MeV. Dopo aver ricordato le motivazioni scientifiche e tecnologiche che sono alla base del progetto di ricerca, si descrivono le caratteristiche della facility nTOF e si trattano i fondamenti delle reazioni nucleari e le tecniche del tempo di volo, di misura di flusso e di cattura utilizzate nel corso dell'esperimento. Nella parte finale del lavoro si presentano i dati sperimentali acquisiti sul flusso neutronico, la cui accurata conoscenza è fondamentale per la misura di sezioni d'urto di reazioni indotte da neutroni. I risultati ottenuti sono quindi stati elaborati e confrontati con i dati precedenti per poter essere validati e per poter verificare eventuali discrepanze. Dalle analisi dei dati si deduce come la precisione ottenuta sulla determinazione del flusso sia ottimale per i successivi studi che verranno condotti sulla sezione d'urto degli isotopi dispari di gadolinio.

Sviluppo di una libreria di geometria computazionale per comparare metodi di presa misura in pazienti amputati di arto inferiore

Il progetto descritto in questo elaborato di tesi è stato svolto presso Il Centro Protesi INAIL (Vigorso di Budrio, BO). Il lavoro è stato realizzato a supporto di un progetto di ricerca, finanziato dal Dipartimento della Difesa USA, in collaborazione con la Northwestern University di Chicago e il Minneapolis Veteran Affairs Health Care Sytem. La ricerca ha lo scopo di determinare l’efficacia comparativa di metodi alternativi per realizzare il calco del moncone dell’amputato di arto inferiore e la successiva invasatura su misura. Il progetto di tesi nasce dall’assenza di un software commerciale in grado di analizzare come evolve la forma del moncone, dal calco all'invasatura finita, basandosi sulla digitalizzazione tridimensionale delle superfici. La libreria sviluppata è implementata in Python e utilizza algoritmi e strumenti di geometria computazionale al fine di supportare i processi di elaborazione dati. Il flusso di lavoro si sviluppa nelle seguenti fasi: • Acquisizione e pre-processing del dato; • Identificazione digitale dei punti di repere; • Allineamento dei modelli per orientarli in un sistema di riferimento globale secondo una logica comune; • Registrazione di due modelli per allinearli l’uno all’altro; • Generazione di outcome e parametri dimensionali, derivanti da mappe distanza, sezioni, cammini geodetici e regioni di interesse; • Estrazione di indicatori statistici riassuntivi delle differenze, correlate ad un insieme di scansioni tramite la PCA. Le funzionalità sono state validate tramite appositi test su dati clinici rilevati dallo studio o dati sintetici con caratteristiche note a priori. La libreria fornisce un insieme di interfacce che permette l’accesso anche a utenti non esperti ed è caratterizzata da modularità, semplicità di installazione ed estensibilità delle funzionalità. Tra gli sviluppi futuri si prevede l’identificazione di possibili ottimizzazioni individuate da un utilizzo degli strumenti esteso a più casi d’uso.

Misura della resistenza di attrito aerodinamico di flussi turbolenti ad alto numero di Reynolds

La presente tesi è incentrata nello studio di differenti metodologie per la stima dell'attrito aerodinamico, concentrandosi in particolare modo nella tecnica ottica Oil Film Interferometry (OFI). Scopo principale della tesi è implementare sperimentalmente tale metodo nella galleria del vento CICLoPE e confrontare i risultati ottenuti con quelli derivanti dalle perdite di carico; i valori risultano esser tra loro confrontabili entro un margine di differenza percentuale contenuto. I risultati mostrano un andamento ragionevole al variare del numero di Reynolds, nonostante si discostino di qualche punto percentuale dalle curve provenienti dalla letteratura scientifica.

Progettazione di un sistema di taratura per dispositivi di misura delle tensioni residue mediante hole-drilling

Nel seguente elaborato è stato sviluppato un metodo di validazione per dispositivi di misura delle tensioni residue mediante la tecnica dell'hole drilling. Esso si basa sul confronto tra tensioni residue ottenute per via teorica e sperimentale su un provino soggetto a carico imposto. Inizialmente si è proceduto attraverso lo studio della normativa di riferimento ASTM E837-20. In essa viene definito il metodo sperimentale di esecuzione dei test di hole drilling e di calcolo delle tensioni residue. In seguito è stata progettata un'attrezzatura di prova in grado di indurre un gradiente di tensione noto nello spessore del provino sollecitato. L'attrezzatura di prova in questione è stata verificata sia mediante calcoli numerici, che mediante software di simulazione agli elementi finiti. La fase di prototipazione seguente ha consentito di realizzare l'attrezzatura necessaria per l'esecuzione dei test sperimentali. Le forature sono state effettuate prima su provini scarichi, al solo scopo di scongiurare la presenza di tensioni residue e, in seguito, su provini soggetti a momento flettente noto. Le deformazioni ottenute tramite le letture degli estensimetri sono state impiegate per il calcolo delle tensioni secondo normativa ASTM E837-20. infine è stato possibile valutare l'efficacia del metodo paragonando tali risultati con quelli teorici.