Il Teorema di Inversione di Lévy

In questa tesi si dimostra il teorema di inversione di Lévy, risultato che permette di ricostruire, a partire dalla funzione caratteristica di una variabile aleatoria assolutamente continua, la sua densità. Come conseguenza si dimostra che la funzione caratteristica di una variabile aleatoria ne caratterizza univocamente la distribuzione. Viene inoltre presentata una applicazione della formula di inversione per la valutazione di opzioni in finanza con esempi numerici basati sul modello Merton.

Controllo di un impianto ad aria compressa per limitare gli avviamenti del compressore mediante regolatore misto retroazione-azione in avanti

Progetto di un sistema di controllo della pressione dellʼaria compressa in un serbatoio. In particolare, dopo aver introdotto gli impianti ad aria compressa e mostrato i vari parametri di tali impianti, si vedrà̀ un modo di progettare un sistema di controllo che permetta di inviare allʼutenza una portata di aria che consenta di mantenere costante la pressione nel serbatoio di accumulo, dal quale lʼutenza preleva la portata. Il sistema permetterà di variare allʼoccorrenza lo spazio nocivo (o volume nocivo) del compressore volumetrico dellʼimpianto, in base a quanto volume dʼaria viene richiesto ad ogni ciclo di mandata dallʼutenza (volume dʼaria per ciclo o portata dʼaria); in generale i compressori di questo tipo di impianti possono essere o volumetrici o rotativi, ma in questo lavoro di tesi ci si concentrerà su compressori volumetrici. Il sistema servirà a fare in modo di mantenere la pressione nel serbatoio costante, per evitare dannose sovrappressioni al suo interno (o al contrario pressioni troppo basse), che con lʼausilio di pressostati inducono lo spegnimento del compressore (pressioni troppo basse al contrario ne inducono lʼaccensione se spento), con successivo riavviamento. Quindi il sistema aiuterà a limitare il più possibile il numero di avviamenti, riducendo il consumo energetico dovuto alle correnti di spunto ed evitando di danneggiare il compressore. Per verificare il corretto funzionamento del sistema si utilizzerà un modello simulato del sistema di controllo della pressione nel serbatoio realizzato in ambiente software Simulink. Verrà infine anche quantificato il risparmio economico che si ottiene con lʼintroduzione del sistema.

Interpretare in ambito giuridico e giudiziario: guardare oltre la conoscenza linguistica

L’idea del presente elaborato è nata da una curiosità ed interesse personale di un corso svolto in Erasmus presso la Fachhochschule Köln. Ho subito pensato di approfondire il tema dell’interprete giudiziario e giuridico come figura determinante sia nel processo penale che nella società. Per dare un quadro generale della situazione ho deciso di dividere la tesi in tre capitoli. Nel primo capitolo spiegherò il concetto di interpretazione, attività interlinguistica tesa a creare una comunicazione tra persone di diverse lingue, presentando le varie tipologie e facendo un accenno alla figura del mediatore linguistico-interculturale. Nel secondo capitolo, porrò l’attenzione sul diritto all’assistenza linguistica dell’imputato e della vittima alloglotta durante il processo penale con l’obiettivo di evidenziare le tutele linguistiche europee e in particolar modo italiane. Mi concentrerò, inoltre, sulla mancanza di una formazione adeguata della professione, in Italia, con lo scopo di delineare la necessità di agire di fronte a una situazione di diritti negati, di ruoli misconosciuti, di assenza di consapevolezza e di conoscenza. Nel terzo ed ultimo capitolo mi soffermerò sull’interpretazione giuridica analizzando il video pedagogico di un interrogatorio della questura di Forlì-Cesena, tratto dal progetto europeo ImPLI - Improving Police and Legal Interpreting, per mettere in evidenza le tecniche di interrogatorio utilizzate e le difficoltà che si presentano nel mediare per le indagini di polizia.

Traduzione di racconti brevi arabi

Questo lavoro di traduzione nasce dal mio interesse per la traduzione dall’arabo all’italiano. Purtroppo, attualmente non sono moltissimi i libri tradotti dall’arabo ed è ancora scarso (rispetto ad altri paesi) l’interesse verso la vera letteratura araba, ed in particolar modo verso il genere del racconto breve. Oggigiorno, gli scaffali delle maggiori librerie in Italia riservano un angusto spazio ai libri tradotti dall’arabo. Certo, molto è stato realizzato in comparazione alla prima metà del Novecento, grazie anche all’assegnazione del premio Nobel per la letteratura nel 1988 a Naguib Mahfouz, evento che ha incentivato l’interesse verso gli scrittori in lingua araba. Tuttavia, sono convinta che si può stimolare in misura maggiore la lettura di romanzi e racconti che provengono dal così chiamato “Mondo arabo”, in riferimento a una vasta area geografia che comprende diversi stati, con un differente patrimonio culturale ma accomunati dall’uso della stessa lingua. A questo scopo, ho scelto di tradurre due racconti brevi di due diversi autori, entrambi dall’Egitto tracciando inizialmente la nascita di questo genere sino a delineare il suo valore odierno. Si tratta di due racconti che si allontanano dal modello de Le Mille e una notte, e diversamente da quest’ultime non godono della stessa notorietà. Non presentano tratti di esotismo che tanto affascinano i lettori occidentali e non si inseriscono tra le ultime tendenze letterarie. Si tratta di racconti fuori dagli schemi classici proposti dei racconti arabi già tradotti. Per tali motivi ho deciso di tradurli, in quanto sono convinta fermamente che la letteratura araba non sia solamente Naguib Mahfouz o Khalil Gibran (autori eccezionali senza dubbio), ma sia ricca di molti altri scrittori ancora da essere scoperti.

Studio e analisi di circuiti di energy harvesting a switch sincronizzato per trasduttori piezoelettrici

In questa tesi sono stati simulati i modelli circuitali relativi alle tecniche di estrazione SECE, Q-SECE e SSHI. Sono state graficate e analizzate le caratteristiche di trasferimento di potenza. Tramite simulazioni LTspice, è stata calcolata l'energia estratta con tecnica SECE e Q-SECE ed è stato ricavato un miglioramento delle prestazioni di energia di +30% con la tecnica Q-SECE. Un'analisi simile è stata fatta per il calcolo dell'energia in uscita anche per il modello SSHI-parallel.

Campagna sperimentale per lo studio di vibrazioni su un caricatore automatico di barre

Il lavoro è stato svolto presso IEMCA, azienda attiva nel settore della produzione di caricatori automatici di barre, e si è composto a grandi linee di tre fasi. Nella prima di queste tre fasi è stata analizzata la strumentazione adatta ad eseguire i rilievi di vibrazioni disponibile in azienda con il fine di comprenderne le potenzialità. Questa prima parte del lavoro si è conclusa con il consolidamento di una buona conoscenza del software e dell'hardware a disposizione. Nella seconda fase ci si è concentrati invece sull'elaborazione di un metodo di analisi delle vibrazioni applicabile alle macchine prodotte da IEMCA. A questo scopo si è studiata la macchina denominata Master80Up con il fine di ricavare una procedura di indagine estendibile in futuro anche agli altri sistemi automatici prodotti da IEMCA. La scelta di questo particolare modello è discesa dall'essere in corso di aggiornamento nel momento particolare in cui si è svolto il lavoro. La seconda fase ha visto inizialmente l'elaborazione di un modello fisico della macchina, utilizzato poi nel seguito come supporto all'esecuzione dell'analisi della vibrazione libera della struttura che ha permesso di ottenere una stima qualitativa delle frequenze naturali e dei modi di vibrare del sistema. Nella terza fase infine si è ripetuta la procedura elaborata sulla versione aggiornata della macchina, denominata Master80HD, per verificare gli effetti di irrobustimenti strutturali studiati dall'ufficio tecnico i quali si sono rivelati utili in generale alla riduzione della vibrazione della macchina.

Il memristor, un'innovazione nel campo dell'intelligenza artificiale: Analisi dello stato dell'arte e prospettive future

Questo elaborato concerne la revisione della letteratura scientifica relativa alla teorizzazione e realizzazione tecnologica del memristor, un nuovo componente elettronico teorizzato nel 1971 e realizzato solo nel 2008 nei laboratori della HP (Hewlett Packard, Palo Alto, California). Dopo una descrizione in termini matematici della teoria fisica alla base del dispositivo e del suo funzionamento, viene descritta la sua realizzazione tecnologica e il corrispettivo modello teorico. Succesivamente il lavoro discute la possibile analogia tra il funzionamento del memristor ed il funzionamento di neuroni e sinapsi biologiche all'interno del Sistema Nervoso Centrale. Infine, vengono descritte le architetture recentemente proposte per l'implementazione di reti neurali artificiali fondate su un sistema computazionale parallelo e realizzate mediante sistemi ibridi transistors/memristors.

Virtualizzazione di funzioni di rete su piattaforme per cloud computing

Questo documento affronta le novità ed i vantaggi introdotti nel mondo delle reti di telecomunicazioni dai paradigmi di Software Defined Networking e Network Functions Virtualization, affrontandone prima gli aspetti teorici, per poi applicarne i concetti nella pratica, tramite casi di studio gradualmente più complessi. Tali innovazioni rappresentano un'evoluzione dell'architettura delle reti predisposte alla presenza di più utenti connessi alle risorse da esse offerte, trovando quindi applicazione soprattutto nell'emergente ambiente di Cloud Computing e realizzando in questo modo reti altamente dinamiche e programmabili, tramite la virtualizzazione dei servizi di rete richiesti per l'ottimizzazione dell'utilizzo di risorse. Motivo di tale lavoro è la ricerca di soluzioni ai problemi di staticità e dipendenza, dai fornitori dei nodi intermedi, della rete Internet, i maggiori ostacoli per lo sviluppo delle architetture Cloud. L'obiettivo principale dello studio presentato in questo documento è quello di valutare l'effettiva convenienza dell'applicazione di tali paradigmi nella creazione di reti, controllando in questo modo che le promesse di aumento di autonomia e dinamismo vengano rispettate. Tale scopo viene perseguito attraverso l'implementazione di entrambi i paradigmi SDN e NFV nelle sperimentazioni effettuate sulle reti di livello L2 ed L3 del modello OSI. Il risultato ottenuto da tali casi di studio è infine un'interessante conferma dei vantaggi presentati durante lo studio teorico delle innovazioni in analisi, rendendo esse una possibile soluzione futura alle problematiche attuali delle reti.

Esperimenti di design pattern di ispirazione biologica

L'informatica, assieme alle sue innovazioni tecnologiche, offre al mondo d'oggi uno scenario in continuo sviluppo evolutivo che permette di facilitare alcune necessità dell'essere umano. Con la nascita di internet e dei nuovi dispositivi cellulari, la comunicazione è stata resa più malleabile e immediata. Tuttavia, le nuove tecnologie utilizzano infrastrutture complesse che non sempre sono ampiamente sfruttate a causa delle loro esigenze quali scalabilità, risposte in tempo reale, o tolleranza. Per far fronte a queste caratteristiche, una nuova tendenza del software è quella di fornire autonomia e pro-attività alle entità nel sistema in modo da incrementare la loro interazione. Queste caratteristiche permettono di responsabilizzare i soggetti rendendo il sistema auto-organizzato, con una migliore scalabilità,robustezza, e quindi riducendo le esigenze di calcolo di ciascuna entità. Lo studio dei sistemi auto-organizzanti è stato ispirato alla natura, e in particolare, ai sistemi biologici. Questi sistemi mostrano le caratteristiche interessanti per gli scenari pervasivi, poichè sono robusti e resistenti, in grado di adattarsi al contesto ambientale e quindi reagiscono a determinate modifiche che si verificano nell'ambiente comportandosi di conseguenza. L'ingegneria dell'auto-organizzazione ha il compito di simulare e testare questi comportamenti presentando uno schema progettuale completo che permetta di presentare soluzioni ricorrenti a problemi noti. Tale schema è definito in termini informatici design pattern. Le entità, definite agenti, per interagire e comunicare tra di loro hanno bisogno di coordinarsi tramite un modello specifico. Nel nostro caso è stato scelto TuCSoN, poichè riesce a separare uno spazio dedicato allo scambio di informazioni da uno spazio dedicato alle specifiche che permette di descrivere delle politiche di comportamento per sistemi MAS implementati nell'opportuno linguaggio di programmazione ReSpecT.

Analisi statistiche di dati idro-meteorologici del bacino del fiume Santerno (BO) nell'ultimo secolo.

Ricercare eventuali variazioni o trend nei fenomeni meteorologici è sempre stato uno degli obiettivi degli studi di ricerca. Il dibattito in letteratura evidenzia la difficoltà nell’individuare in maniera univoca un trend relativo agli eventi precipitativi. Nonostante la grande variabilità climatica, la diminuzione delle precipitazioni in inverno e primavera negli ultimi decenni, nel sud Europa e nella parte occidentale del bacino del Mediterraneo, è stata ampiamente confermata. Inoltre, è sempre più importante osservare come eventuali variazioni nelle precipitazioni possano influenzare variazioni di portata volumetrica di un fiume. Il presente studio ha l’obiettivo di individuare eventuali variazioni nelle precipitazioni e nel regime idraulico del bacino di Imola. Lo studio ha preso in considerazione gli eventi precipitativi dagli anni ’20 al 2014 sul bacino del Santerno, localizzato nelle aree montane centro orientali dell’Emilia-Romagna. Dopo aver effettuato il controllo qualità e di omogeneità sui dati ne è stata fatta un’analisi statistica da cui è risultato, in accordo con la letteratura, una diminuzione delle precipitazioni cumulate invernali e del numero di giorni piovosi annuali per alcune stazioni considerate. Attraverso l’uso del modello TOPKAPI, sono state ricostruite alcune variabili idrologiche, come la portata del fiume in una particolare sezione di chiusura, l’umidità del suolo, l’evapotraspirazione potenziale ed effettiva, così da poterne valutare i trend stagionali e annuali. Non è stata rilevata alcuna variazione sia nella portata massima e minima annuale che in quella oraria, mentre è stato identificato un aumento significativo nell’evapotraspirazione potenziale in tutte le stagioni ad eccezione dell’autunno e una diminuzione della saturazione del suolo in inverno e primavera. Infine, le analisi sulle precipitazioni aggregate hanno confermato i risultati ottenuti nella prima parte dello studio. Per concludere, nonostante siano stati evidenziati alcuni cambiamenti significativi nelle precipitazioni cumulate stagionali, non è stata riscontrata alcuna variazione apprezzabile della portata per la sezione di chiusura considerata.

Caratterizzazione biomeccanica di vertebre umane

Le fratture vertebrali sono tra le principali cause dell’incremento della mortalità. Queste sono dovute principalmente a traumi, tumori o particolari patologie metaboliche che colpiscono l’osso. Il tratto maggiormente interessato è quello toraco-lombare in quanto deve sopportare la maggior parte dei carichi. Risulta quindi necessario comprendere come la colonna vertebrale risponde ai carichi così da studiare e sviluppare nuovi protocolli e trattamenti per disordini del tratto spinale. Informazioni quantitative possono essere ottenute mediante test in vitro. Questi hanno alcune limitazioni dovute principalmente alla difficoltà di misurare le tensioni e le deformazioni in zone diverse dalla superficie, alla complessità e al costo delle prove. Un altro limite delle prove in vitro è rappresentato dal fatto che ciascun campione può essere testato a rottura una volta sola. Queste problematiche possono essere superate con l’utilizzo contemporaneo di modelli matematici e test in vitro. In particolare i test in vitro sono utilizzati in fase di validazione del modello matematico, ovvero nella determinazione di quanto il modello è una rappresentazione del comportamento reale che si sta simulando. Il presente lavoro di tesi si inserisce in un progetto di caratterizzazione di vertebre toraco-lombari utilizzate per la validazione di un modello agli elementi finiti. In particolare l’obiettivo dello studio è stata la realizzazione di prove meccaniche in modo da replicare l’anterior wedge fracture. Tali prove sono state effettuate presso il Laboratorio di Biomeccanica del Dipartimento di Ingegneria Industriale dell’Università di Bologna. Gli spostamenti registrati durante le prove sono stati utilizzati dal Laboratorio di Tecnologia Medica dell’Istituto Ortopedico Rizzoli come condizioni al contorno per la realizzazione di un modello FE. Una volta validato e messo a punto, il modello sarà utilizzato per valutare lo stato di salute della colonna vertebrale in vivo.

Information and communication technologies nella gestione integrata del diabete mellito: stato dell'arte, progetto Metabo come caso di studio

Il Diabete, modello paradigmatico delle malattie croniche, sta assumendo negli ultimi anni le proporzioni di una pandemia, che non ha intenzione di arrestarsi, ma del quale, con l’aumento dei fattori di rischio, aumentano prevalenza e incidenza. Secondo stime autorevoli il numero delle persone con diabete nel 2035 aumenterà fino a raggiungere i 382 milioni di casi. Una patologia complessa che richiede lo sforzo di una vasta gamma di professionisti, per ridurre in futuro in maniera significativa i costi legati a questa patologia e nel contempo mantenere e addirittura migliorare gli standard di cura. Una soluzione è rappresentata dall'impiego delle ICT, Information and Communication Technologies. La continua innovazione tecnologica dei medical device per diabetici lascia ben sperare, dietro la spinta di capitali sempre più ingenti che iniziano a muoversi in questo mercato del futuro. Sempre più device tecnologicamente avanzati, all’avanguardia e performanti, sono a disposizione del paziente diabetico, che può migliorare tutti processi della cura, contenendo le spese. Di fondamentale importanza sono le BAN reti di sensori e wearable device, i cui dati diventano parte di un sistema di gestione delle cure più ampio. A questo proposito METABO è un progetto ICT europeo dedicato allo studio ed al supporto di gestione metabolica del diabete. Si concentra sul miglioramento della gestione della malattia, fornendo a pazienti e medici una piattaforma software tecnologicamente avanzata semplice e intuitiva, per aiutarli a gestire tutte le informazioni relative al trattamento del diabete. Innovativo il Clinical Pathway, che a partire da un modello Standard con procedimenti semplici e l’utilizzo di feedback del paziente, viene progressivamente personalizzato con le progressive modificazioni dello stato patologico, psicologico e non solo. La possibilità di e-prescribing per farmaci e device, e-learning per educare il paziente, tenerlo sotto stretto monitoraggio anche alla guida della propria auto, la rendono uno strumento utile e accattivante.

Studio dell'intorno locale di complessi antitumorali di Cu(I) e (II) tramite spettroscopia di assorbimento X

In questo lavoro è presentato l'utilizzo della spettroscopia di assorbimento di raggi X applicata all'indagine inerente il numero e la natura degli atomi vicini di un centro metallico a due diversi stati di ossidazione [Cu(I) e Cu(II)] all'interno di complessi fosfinici e/o azotati. Gli spettri sono stati registrati nella loro completezza, comprendendo sia la soglia sia lo spettro esteso di assorbimento, e le transizioni elettroniche 1s→3d e 1s→4p sono state oggetto d'esame per avere indicazioni circa l'intorno locale del fotoassorbitore (l'atomo centrale). La tecnica più utilizzata, tuttavia, è stata l'analisi EXAFS (Extended X-ray Absorption Fine Structure) che ha permesso di determinare l’effettiva coordinazione di Cu(I) e (II) nel caso dei complessi studiati. Il metodo consiste nella costruzione di un segnale teorico più simile possibile a quello ottenuto sperimentalmente, e l’approccio per raggiungere questo obiettivo consiste nel seguire una procedura di fitting eseguita computazionalmente (tramite il pacchetto software GNXAS), per la quale è necessario un modello strutturale già esistente o creato ex novo da una molecola di partenza molto simile. Sarà presentato lo studio degli esperimenti ottenuti su campioni sia solidi che in soluzione: in questo modo è stato possibile effettuare un confronto tra le due forme dello stesso composto nonché si è potuto osservare i cambiamenti riguardanti l’interazione metallo-solvente a diverse concentrazioni. Come sarà mostrato in seguito, l’analisi sui solidi è risultata più affidabile rispetto a quella riferita alle soluzioni; infatti il basso rapporto segnale/rumore caratterizzante le misure di queste ultime ha limitato le informazioni ottenibili dai relativi spettri di assorbimento di raggi X.

Sistema di terminazione forzata del volo per APR

Questo elaborato presenta le fasi di progettazione e realizzazione di un sistema di terminazione forzata del volo per Aeromobili a Pilotaggio Remoto. Tale sistema ha lo scopo di evitare il potenziale impatto di un APR con cose e persone in caso di perdita di controllo dello stesso, provocandone la caduta all'interno di un’area sicura. Questo dispositivo è ormai indispensabile per l’utilizzo degli APR in ambito professionale e sperimentale in quanto previsto dalla normativa vigente, e dato il crescente sviluppo del settore sarà sempre più richiesto. Dopo una breve rassegna dei sistemi di terminazione attualmente presenti sul mercato viene illustrata la linea di progetto seguita, e successivamente vengono descritti i componenti principali utilizzati per la realizzazione. Sono quindi presentati i vari prototipi ideati fino ad arrivare al modello definitivo, che è stato costruito e poi testato sia al banco prova sia nell'effettivo utilizzo in volo.

Dynamics of the Heisenberg XXZ model across the ferromagnetic transition

In questa tesi viene presentata un'analisi numerica dell'evoluzione dinamica del modello di Heisenberg XXZ, la cui simulazione è stata effettuata utilizzando l'algoritmo che va sotto il nome di DMRG. La transizione di fase presa in esame è quella dalla fase paramagnetica alla ferromagnetica: essa viene simulata in una catena di 12 siti per vari tempi di quench. In questo modo si sono potuti esplorare diversi regimi di transizione, da quello istantaneo al quasi-adiabatico. Come osservabili sono stati scelti l'entropia di entanglement, la magnetizzazione di mezza catena e lo spettro dell'entanglement, particolarmente adatti per caratterizzare la fisica non all'equilibrio di questo tipo di sistemi. Lo scopo dell'analisi è tentare una descrizione della dinamica fuori dall'equilibrio del modello per mezzo del meccanismo di Kibble-Zurek, che mette in relazione la sviluppo di una fase ordinata nel sistema che effettua la transizione quantistica alla densità di difetti topologici, la cui legge di scala è predicibile e legata agli esponenti critici universali caratterizzanti la transizione.