Un'applicazione mobile per il monitoraggio della qualita del servizio di trasporto ferroviario

In questa tesi cerco di utilizzare l'informatica per realizzare uno strumento di supporto al viaggiatore ferroviario. Il progetto che illustro in queste pagine è una applicazione mobile per Android, della quale descrivo: gli obiettivi che cerca di soddisfare, gli strumenti utilizzati per realizzarla, la sua progettazione, la sua implementazione, la guida per utilizzarla e le prove sperimentali effettuate.

Ottimizzazione del consumo dei grassi durante esercizio fisico: studio di un test per il target mirato di allenamento individuale

Il primo studio ha verificato l'affidabilità del software Polimedicus e gli effetti indotti d'allenamento arobico all’intensità del FatMax. 16 soggetti sovrappeso, di circa 40-55anni, sono stati arruolati e sottoposti a un test incrementale fino a raggiungere un RER di 0,95, e da quel momento il carico è stato aumentato di 1 km/ h ogni minuto fino a esaurimento. Successivamente, è stato verificato se i valori estrapolati dal programma erano quelli che si possono verificare durante a un test a carico costante di 1ora. I soggetti dopo 8 settimane di allenamento hanno fatto un altro test incrementale. Il dati hanno mostrato che Polimedicus non è molto affidabile, soprattutto l'HR. Nel secondo studio è stato sviluppato un nuovo programma, Inca, ed i risultati sono stati confrontati con i dati ottenuti dal primo studio con Polimedicus. I risultati finali hanno mostrato che Inca è più affidabile. Nel terzo studio, abbiamo voluto verificare l'esattezza del calcolo del FatMax con Inca e il test FATmaxwork. 25 soggetti in sovrappeso, tra 40-55 anni, sono stati arruolati e sottoposti al FATmaxwork test. Successivamente, è stato verificato se i valori estrapolati da INCA erano quelli che possono verificarsi durante un carico di prova costante di un'ora. L'analisi ha mostrato una precisione del calcolo della FatMax durante il carico di lavoro. Conclusione: E’ emersa una certa difficoltà nel determinare questo parametro, sia per la variabilità inter-individuale che intra-individuale. In futuro bisognerà migliorare INCA per ottenere protocolli di allenamento ancora più validi.

Un oracolo per la scelta location-based dell'interfaccia di rete nei dispositivi mobili

Viene proposta l'implementazione di un oracolo che utilizza la posizione geografica e informazioni sugli AP WiFi per determinare quali interfacce di un dispositivo mobile mantenere attive.

Proxy sip/rtp/rtcp a supporto della mobilita: Prestazioni.

Scenario VoIP, tecnologia PjSip e descrizione dell'implementazione di un Proxy Relay per la soluzione di alcune problematiche SIP

Quasar - variabilità e casualità

Analisi della variabilità temporale dello spettro di AGN e in particolare di Quasar, con definizione di "quasi-periodicità" e "casualità" su lungo e breve periodo, per un suo uso astrofisico mirato alla creazione di un cifrario crittografico.

Modelli stocastici per tassi di trasferimento e di interesse

Questa tesi nasce come risultato di un'esperienza di stage svolta presso l'ufficio Pianificazione e Risk Management in Cassa di Risparmio di Cento; l'obiettivo di questo lavoro è la descrizione dell'analisi da me svolta per la ricostruzione del metodo di determinazione del tasso interno di trasferimento adottato in questa banca. A questo studio è stata aggiunta una sezione legata all'analisi e all'implementazione di due modelli stocastici per l'evoluzione dei tassi di interesse (modello di Vasicek e modello CIR).

Il potere normativo delle Corti sul processo

La tesi intende offrire una riflessione in merito al potere degli organi giurisdizionali di disporre normativamente su determinati aspetti del processo che si svolge dinanzi ad essi, sostituendosi così al legislatore. Il piano di indagine della tesi si sviluppa prevalentemente nella descrizione della realtà europea davanti alle autorità giurisdizionali di Lussemburgo, attraverso continui riferimenti a pronunce giurisprudenziali. La candidata si sofferma, preliminarmente, definendo, in termini generali, l’origine e l’applicazione dei c.d. atti di soft law in ambito europeo e soffermandosi sul ruolo che ricopre la giurisprudenza nell’ordinamento europeo. Sempre nel capitolo di apertura, un accenno è dedicato al panorama italiano che, alla luce delle recenti e continue riforme processuali ed, in particolare, della lettura costituzionalmente orientata del processo civile in forza della sua ragionevole durata, sta conoscendo, sempre più largamente, il fenomeno dei c.d. protocolli. La tesi si sviluppa, poi, in altri tre capitoli, nei quali sono analizzati tre esempi di manifestazione del potere normativo degli organi giurisdizionali europei sul processo. La candidata passa, così, all’esame delle “Istruzioni pratiche alle parti”, sviscerando le disposizioni ivi contenute alla luce di casi giurisprudenziali, al fine di poter definire la reale efficacia di tali atti e la loro vincolatività nei confronti dei rappresentanti delle parti. A tale capitolo segue quello sull’applicazione del rinvio pregiudiziale tra soft law (c.d. Raccomandazioni) e giurisprudenza. Infine, la candidata svolge le ultime riflessioni sul potere “eccezionale” della Corte di giustizia di limitare nel tempo gli effetti delle proprie sentenze interpretative. Potere che, in questo caso, si manifesta non mediante l’emanazione di atti di soft law, ma attraverso le proprie pronunce giurisprudenziali.

Pllm-gestione del ciclo di vita di un impianto. Il caso dell' azienda ospedaliera di Perugia

Obiettivo della presente tesi è l’ipotesi di applicazione dell’approccio PLLM (Plant Lifecycle Management) in un contesto sanitario sfruttando moderni metodi di organizzazione e coordinamento delle fasi del ciclo di vita di un impianto e nuove tecnologie per la realizzazione di un database informatizzato per la gestione dei dati e delle informazioni all’interno di una struttura sanitaria, nel caso specifico del Blocco Operatorio ‘Vittorio Trancanelli’ dell’Azienda Ospedaliera di Perugia. Per raggiungere tale obiettivo ho prima di tutto analizzato il contesto aziendale, studiate le realtà esistenti, per poi affrontare in dettaglio le variabili del problema. I dati ottenuti in seguito all’attività di ricerca sono stati utilizzati per conoscere e avere una dimensione della mole di informazioni e beni che vengono annualmente smistati e gestiti quotidianamente all’interno della struttura ospedaliera per andare ad analizzare più nello specifico la strutturazione e la complessità di un impianto complesso quale il Blocco Operatorio “Vittorio Trancanelli”. In ultima istanza sono state redatte delle metodologie per la corretta implementazione della piattaforma gestionale in ottica PLLM al fine di garantire una snella e tempestiva fruizione della documentazione utile alla corretta gestione del ciclo di vita di un impianto complesso.

Alcuni problemi additivi riguardanti i numeri primi

La tesi prende spunto da due laboratori del Piano di Lauree Scientifiche, "Numeri primi e crittografia" e "Giocare con i numeri". Si approfondiscono i problemi additivi riguardanti i numeri primi. Questi sono stati scelti per due principali motivi: la semplicità dei contenuti, che possono essere compresi dagli studenti di tutti i tipi di scuola, e la possibilità di prestarsi bene ad un approccio di tipo laboratoriale da parte degli studenti, adattabile alle diverse preparazioni matematiche e al tempo stesso in grado di stimolare curiosità su problemi ancora irrisolti. Si mostreranno metodi di risoluzione di tipo elementare ma anche metodi che coinvolgono l'analisi complessa.

Analisi combinatoria dei parchi d'attrazioni

Da oltre mezzo secolo i parchi di divertimento sono strutture complesse e altamente organizzate, entro cui si muovono migliaia di persone quotidianamente; in cui l'elettrificazione, la manutenzione, la sicurezza (sia come safety sia come security) non possono essere lasciate all'improvvisazione. Fra i diversi modelli matematici con cui è possibile rappresentare un parco di divertimenti i grafi si adattano bene a rappresentare l'organizzazione "geografica" delle attrazioni e dei sentieri che le collegano. Fortunatamente la teoria dei grafi si presta anche molto bene all'impostazione e risoluzione dei problemi di ottimizzazione, fornendo quindi uno strumento privilegiato per miglioramenti strutturali nella direzione sia del risparmio economico, sia della fruizione ottimale delle strutture. In questa tesi ho analizzato un aspetto particolare dei grafi associati a quattro parchi d'attrazione: le distanze reciproche tra attrazioni e in particolare la collocazione dei "centri", cioè di vertici del grafo per cui la massima distanza da altri vertici sia minima. I calcoli sono stati eseguiti adattando un'implementazione esistente in Matlab dell'algoritmo di Dijkstra, utilizzando in ingresso le matrici di adiacenza dei grafi. Dopo un capitolo dedicato ai richiami essenziali di teoria dei grafi, il capitolo due traccia una breve storia dei parchi d'attrazione concentrandosi sui quattro che sono l'oggetto di questo studio. Il terzo capitolo, fulcro teorico della tesi, descrive la sperimentazione riportata nel capitolo quattro.

Modelli termici per componenti elettronici di potenza

L'elaborato illustra una serie di modelli termici, che si differenziano principalmente per la loro accuratezza e velocità di calcolo, per essere in grado di scegliere il modello più adatto da utilizzare in relazione all'applicazione prevista e alle esigenze richieste. Per una migliore comprensione del problema, vengono introdotti inizialmente alcuni concetti generali legati alle temperature in gioco nei componenti elettronici di potenza e alla trasmissione del calore, poi si passa alla determinazione della sorgente del calore (ovvero le perdite) in un modulo IGBT. Vengono quindi descritti alcuni modelli che siano in grado di rappresentare il sistema in esame dal punto di vista termico. Infine viene implementato in Simulink uno dei modelli proposti, mettendo così in pratica gran parte dei concetti esposti. Per il calcolo delle perdite, per i modelli e per la simulazione ci si è concentrati su un determinato componente elettronico di potenza per entrare nel cuore di un problema termico. È stato scelto l’IGBT perché è un dispositivo relativamente nuovo, in continuo miglioramento ed è sempre più utilizzato.

Modelli di predizione numerica di evoluzione di difetti in materiali metallici sotto carichi ciclici

Implementazione di modelli sul calcolatore per cercare di stimare la vita a fatica dei principali materiali metallici utilizzati in ambito aeronautico.

Studio dell'interazione di HIV-1 sulle cellule progenitrici ematopoietiche CD34+ (HPCs)

Oltre alla progressiva perdita dei linfociti T CD4, i pazienti HIV-infetti presentano diverse citopenie periferiche. In particolare l’anemia si riscontra nel 10% dei pazienti asintomatici e nel 92% di quelli con AIDS e la terapia cART non è in grado di risolvere tale problematica. I meccanismi patogenetici alla base di questa citopenia si ritiene che possano riguardare la deregolazione citochinica, il danno alle HPCs, alle cellule in differenziamento e alle cellule stromali. Le cellule progenitrici ematopoietiche CD34+, dopo essere state separate da sangue cordonale e differenziate verso la linea eritroide, sono state trattate con HIV-1 attivo, inattivato al calore e gp120. In prima istanza è stata messa in luce la mancata suscettibilità all’infezione e l’aumento dell’ apoptosi dovuto al legame gp120-CD4/CXCR4 e mediato dal TGF-β1 nelle cellule progenitrici indifferenziate. L’aspetto innovativo di questo studio però si evidenzia esaminando l’effetto di gp120 durante il differenziamento verso la filiera eritrocitaria. Sono stati utilizzati due protocolli sperimentali: nel primo le cellule sono inizialmente trattate per 24 ore con gp120 (o con HIV-1 inattivato al calore) e poi indotte in differenziamento, nel secondo vengono prima differenziate e poi trattate con gp120. Il “priming” negativo determina una apoptosi gp120-indotta molto marcata già dopo 48 ore dal trattamento ed una riduzione del differenziamento. Se tali cellule vengono invece prima differenziate per 24 ore e poi trattate con gp120, nei primi 5 giorni dal trattamento, è presente un aumento di proliferazione e differenziamento, a cui segue un brusco arresto che culmina con una apoptosi molto marcata (anch’essa dipendente dal legame gp120-CD4 e CXCR4 e TGF-β1 dipendente) e con una drastica riduzione del differenziamento. L’insieme dei risultati ha permesso di definire in modo consistente la complessità della genesi dell’anemia in questi pazienti e di poter suggerire nuovi target terapeutici in questi soggetti, già sottoposti a cART.

Grid Connected Doubly Fed Induction Generator Based Wind Turbine under LVRT

This project concentrates on the Low Voltage Ride Through (LVRT) capability of Doubly Fed Induction Generator (DFIG) wind turbine. The main attention in the project is, therefore, drawn to the control of the DFIG wind turbine and of its power converter and to the ability to protect itself without disconnection during grid faults. It provides also an overview on the interaction between variable speed DFIG wind turbines and the power system subjected to disturbances, such as short circuit faults. The dynamic model of DFIG wind turbine includes models for both mechanical components as well as for all electrical components, controllers and for the protection device of DFIG necessary during grid faults. The viewpoint of this project is to carry out different simulations to provide insight and understanding of the grid fault impact on both DFIG wind turbines and on the power system itself. The dynamic behavior of DFIG wind turbines during grid faults is simulated and assessed by using a transmission power system generic model developed and delivered by Transmission System Operator in the power system simulation toolbox Digsilent, Matlab/Simulink and PLECS.

Cognitive radio in sistemi di comunicazione satellitari

La tesi descrive alcune applicazioni in ambito satellitare delle tecniche di radio cognitiva. In particolare si analizza la loro possibile implementazione in uno scenario dual-satellite in banda Ka nel quale l'utente primario si avvale dello standard DVB-S2 per la trasmissione. A seguire la verifica delle performance degli algoritmi di spectum sensing per la detection del segnale primario attraverso simulazioni in ambiente matlab con curve ROC e curve di probabilità di detection in funzione del rapporto segnale rumore.