Ottimizzazione di un Data Warehouse con Google Cloud Platform

I dati sono una risorsa di valore inestimabile per tutte le organizzazioni. Queste informazioni vanno da una parte gestite tramite i classici sistemi operazionali, dall’altra parte analizzate per ottenere approfondimenti che possano guidare le scelte di business. Uno degli strumenti fondamentali a supporto delle scelte di business è il data warehouse. Questo elaborato è il frutto di un percorso di tirocinio svolto con l'azienda Injenia S.r.l. Il focus del percorso era rivolto all'ottimizzazione di un data warehouse che l'azienda vende come modulo aggiuntivo di un software di nome Interacta. Questo data warehouse, Interacta Analytics, ha espresso nel tempo notevoli criticità architetturali e di performance. L’architettura attualmente usata per la creazione e la gestione dei dati all'interno di Interacta Analytics utilizza un approccio batch, pertanto, l’obiettivo cardine dello studio è quello di trovare soluzioni alternative batch che garantiscano un risparmio sia in termini economici che di tempo, esplorando anche la possibilità di una transizione ad un’architettura streaming. Gli strumenti da utilizzare in questa ricerca dovevano inoltre mantenersi in linea con le tecnologie utilizzate per Interacta, ossia i servizi della Google Cloud Platform. Dopo una breve dissertazione sul background teorico di questa area tematica, l'elaborato si concentra sul funzionamento del software principale e sulla struttura logica del modulo di analisi. Infine, si espone il lavoro sperimentale, innanzitutto proponendo un'analisi delle criticità principali del sistema as-is, dopodiché ipotizzando e valutando quattro ipotesi migliorative batch e due streaming. Queste, come viene espresso nelle conclusioni della ricerca, migliorano di molto le performance del sistema di analisi in termini di tempistiche di elaborazione, di costo totale e di semplicità dell'architettura, in particolare grazie all'utilizzo dei servizi serverless con container e FaaS della piattaforma cloud di Google.

Parametrizzazione e validazione di campi di forza polarizzabili per l'acetonitrile

Il perfezionamento dei campi di forza in meccanica molecolare, necessario per migliorare l’accuratezza della modellazione classica di materiali, è un procedimento dispendioso. L’accuratezza dei campi di forza è tuttavia la chiave per la predizione affidabile di proprietà chimico-fisiche dalle simulazioni MD. A questo scopo, risulta importante l’inclusione esplicita della polarizzazione, trascurata nei campi di forze tradizionali. Il modello dell’oscillatore di Drude rappresenta una soluzione computazionalmente conveniente ed è implementato in diversi software di simulazione. In questo modello, la polarizzazione atomica è resa dall’introduzione di una particella carica e di massa ridotta, ancorata all’atomo polarizzabile. In questo lavoro di tesi abbiamo sviluppato una procedura per ottenere un campo di forza polarizzabile per molecole organiche in fase liquida, prendendo in esame un solvente polare molto comune: l’acetonitrile. Il nostro approccio si serve di calcoli quantomeccanici preliminari per la determinazione dei valori di riferimento di alcune proprietà molecolari: le cariche parziali atomiche, il momento di dipolo e la polarizzabilità. A questi calcoli seguono due fasi di parametrizzazione basate su algoritmi di minimizzazione. La prima fase riguarda la parametrizzazione delle polarizzabilità atomiche descritte con il modello di Drude e ha come scopo la riproduzione della polarizzabilità molecolare quantomeccanica. Nella seconda fase, si sono ottimizzati i parametri del potenziale Lennard-Jones in modo da riprodurre la densità sperimentale a temperatura e pressione ambiente, ottenendo diverse parametrizzazioni del campo di forza polarizzabile. Infine, queste parametrizzazioni sono state confrontate sulla base della loro capacità di riprodurre alcune proprietà di bulk, quali entalpia di vaporizzazione, costante dielettrica, coefficiente di diffusione e specifiche funzioni di distribuzione radiale.

Il filtro di Kalman: analisi di serie storiche e applicazione ai dati finanziari

Historia magistra vitae, scriveva Cicerone nel De Oratore; il passato deve insegnare a comprendere meglio il futuro. Un concetto che a primo acchito può sembrare confinato nell'ambito della filosofia e della letteratura, ma che ha invece applicazioni matematiche e fisiche di estrema importanza. Esistono delle tecniche che permettono, conoscendo il passato, di effettuare delle migliori stime del futuro? Esistono dei metodi che permettono, conoscendo il presente, di aggiornare le stime effettuate nel passato? Nel presente elaborato viene illustrato come argomento centrale il filtro di Kalman, un algoritmo ricorsivo che, dato un set di misure di una certa grandezza fino al tempo t, permette di calcolare il valore atteso di tale grandezza al tempo t+1, oltre alla varianza della relativa distribuzione prevista; permette poi, una volta effettuata la t+1-esima misura, di aggiornare di conseguenza valore atteso e varianza della distribuzione dei valori della grandezza in esame. Si è quindi applicato questo algoritmo, testandone l'efficacia, prima a dei casi fisici, quali il moto rettilineo uniforme, il moto uniformemente accelerato, l'approssimazione delle leggi orarie del moto e l'oscillatore armonico; poi, introducendo la teoria di Kendall conosciuta come ipotesi di random walk e costruendo un modello di asset pricing basato sui processi di Wiener, si è applicato il filtro di Kalman a delle serie storiche di rendimenti di strumenti di borsa per osservare se questi si muovessero effettivamente secondo un modello di random walk e per prevedere il valore al tempo finale dei titoli.

Mappatura della potenza degli echi del radar MARSIS per l'identificazione della presenza di ghiaccio nel terreno marziano

La superficie marziana è stata analizzata per decenni con immagini e tecniche spettroscopiche, sensibili alle proprietà dei primi millimetri e micrometri del terreno. Le zone sotto la superficie sono state studiate solo indirettamente fino al 2001, quando venne sviluppata la missione Mars Odyssey. Successivamente, è stato lanciato il Mars Advanced Radar for Subsurface and Ionosfere Sounding (MARSIS) a bordo di Mars Express, con l'obiettivo di ricercare ghiaccio e acqua sul pianeta rosso. In questo lavoro è stata mappata la potenza degli echi raccolti da MARSIS, ottenuti ad una frequenza di 4.0 MHz, ispirandosi al lavoro descritto in Mouginot et al. (2010). I valori utilizzati sono stati selezionati tenendo conto degli effetti dell'attenuazione del segnale da parte della ionosfera e della rugosità della superficie. Dalle mappe degli echi, risultanti dall'analisi, si è potuta ricavare la costante dielettrica dello strato sotto la superficie. I dati sono stati normalizzati con una simulazione dei segnali di MARSIS, ottenuta a partire dalla topografia del Marsis Orbiter Laser Altimeter (MOLA). Si osserva che le proprietà dielettriche variano con la latitudine, con valori alti tra 20° e 40° e più bassi ai poli e all'equatore. Le tre zone di maggiore interesse, ovvero le due calotte polari e la Formazione Medusae Fossae, appaiono in blu nella Fig. 4.5. Ciò suggerisce che siano costituite da materiali con una costante dielettrica compresa tra 2 e 4, tipica del ghiaccio. Si pensa, però, che esse possiedano diverse quantità di impurità.

Il teorema di Jordan nella teoria delle serie di Fourier

Nella presente tesi si studia il teorema di Jordan e se ne analizzano le sue applicazioni. La trattazione è suddivisa in tre capitoli e un'appendice di approfondimento sulla funzione di Vitali. Nel primo capitolo, inizialmente, vengono introdotte le funzioni a variazione totale limitata, provando anche una loro caratterizzazione. Poi sono definite le serie di Fourier e si pone attenzione al lemma di Riemann-Lebesgue e al teorema di localizzazione di Riemann. Infine sono enunciati alcuni criteri di convergenza puntale e uniforme. Nel secondo capitolo, viene enunciato e dimostrato il teorema di Jordan. Verrà introdotto, inizialmente, una generalizzazione del teorema della media integrale, necessario per la prova del teorema di Jordan. Il terzo capitolo è dedicato alle applicazione del teorema di Jordan. Infatti si dimostra che ogni serie di Fourier può essere integrata termine a termine su ogni intervallo compatto. Di tale applicazione se ne darà anche una formulazione duale. Infine, nell'appendice, viene costruita la funzione di Vitali e ne sono riportate alcune delle sue proprietà.

Il Teorema di Arnold-Liouville

Lo scopo della tesi è dimostrare il teorema di Arnold-Liouville, il quale afferma che dato un sistema a n gradi di libertà, con n integrali primi del moto in involuzione, esiste una trasformazione canonica di variabili azione-angolo, attraverso la quale si può riscrivere il sistema in uno ad esso equivalente, ma dipendente solo dalle azioni. Per arrivare a questo risultato nel primo capitolo viene richiamata la nozione di sistema hamiltoniano, di flusso del sistema e delle sue proprietà, viene infine introdotta una operazione binaria tra funzioni, la parentesi di Poisson, evidenziando il suo legame con il formalismo hamiltoniano. Nel secondo capitolo si definisce inizialmente cos'è una trasformazione canonica di variabili, dimostrando poi alcuni criteri per la canonicità di queste, mediante la verifica di determinate condizione necessarie e sufficienti, con opportuni esempi di trasformazioni canoniche e non. Nel terzo capitolo si definisce cos'è un sistema hamiltoniano integrabile, facendone successivamente un esempio a un grado di libertà con il pendolo. Il procedimento svolto in questo esempio si vorrà poi estendere a un generico sistema a n gradi di libertà, dunque verrà enunciato e dimostrato il teorema di Arnold-Liouvill, il quale, sotto opportune ipotesi, permette di risolvere questo problema.

Valutazione dello stato dell'acqua nei formaggi a diverso grado di salatura e stagionatura mediante TD-NMR

L’obiettivo iniziale di questo lavoro era quello di studiare il fenomeno della proteolisi nel formaggio, al variare del tempo di stagionatura e di salatura, mediante lo studio dello stato dell’acqua, con una metodica non distruttiva e innovativa per questa tematica: il TD-NMR. I formaggi oggetto di studio sono stati prodotti con un impianto pilota presente in Dipartimento, con lo stesso latte, nella stessa giornata e nelle medesime condizioni di caseificazione. Il primo passo è stato quello di assegnare un nome alle 4 popolazioni di protoni corrispondenti alle 4 curve esponenziali in cui si traducevano i risultati di T2. Dato che gli studi bibliografici consultati non erano concordi su questo aspetto e nessuno aveva svolto esperimenti che potessero confermare le supposizioni formulate, abbiamo proceduto all’analisi di un formaggio simile ai nostri campioni, addizionato di una soluzione dopante a base di Fe(III)Cl2. Questo passaggio ci ha permesso di identificare i tipi di molecole rappresentati dalle 4 popolazioni. Successivamente siamo stati in grado di fare ipotesi concrete sull’evoluzione dei risultati di T2 e intensità relativa al variare del tempo di stagionatura e di salatura. Dalle nostre osservazioni è emerso che è possibile correlare l’andamento di T2 e I a quello di diversi parametri che caratterizzano il formaggio. Le ipotesi emerse da questo studio sono solamente intuizioni preliminari riguardo l’impiego di questo metodo di analisi per il formaggio, che però ha la potenzialità di essere molto utile nella ricerca e anche nell’industria. Si tratta infatti di un metodo caratterizzato da estrema facilità nella preparazione dei campioni, che può essere adattato ad analisi non distruttive e che impiega uno strumento molto economico rispetto ad altri tipi di analisi NMR. Possiamo inoltre concludere che, avendo messo a punto questi aspetti di base, l’interpretazione dei dati sarà senz’altro più semplice rispetto ad altre analisi NMR.

Sperimentazione della piattaforma IoT Cloud per lo sviluppo di sistemi di monitoraggio

L’Internet of Things (IoT) è un termine utilizzato nel mondo della telecomunicazione che fa riferimento all’estensione di Internet al mondo degli oggetti, che acquisiscono una propria identità, venendo così definiti “intelligenti”. L’uomo in questo ambito avrà sempre meno incidenza sul campo poiché sono le macchine ad interagire tra loro scambiandosi informazioni. Gli ambiti applicativi che comprendono IoT sono innumerevoli ed eterogenei; pertanto, non esiste un'unica soluzione tecnologica che possa coprire qualsiasi scenario. Una delle tecnologie che si prestano bene a svolgere lavori in IoT sono le LoRaWAN. Un punto e una sfida essenziali nell'applicazione della tecnologia LoRaWAN è garantire la massima autonomia dei dispositivi ottenendo il più basso consumo di energia possibile e la ricerca di soluzioni di alimentazione efficienti. L'obiettivo in questo elaborato è quello di realizzare un sistema capace di trasmettere un flusso continuo di informazioni senza l'ausilio e il costante monitoraggio dell'uomo. Viene trattato come controllare dei sensori da remoto e come garantire una migliore autonomia dei dispositivi ottenendo un più basso consumo energetico.

Studio, progettazione e sviluppo della nuova soluzione a velocità incrementata per dispositivi di taglio

Il mondo delle macchine automatiche è in costante evoluzione, ed è in questo contesto che si colloca l’attività di analisi e progettazione oggetto di questo studio. Tutto questo è stato svolto presso l’azienda G.D S.p.A. All’interno dell’Ufficio Tecnico dell’azienda, in collaborazione con l’Ufficio Calcolo, è stata analizzata la resistenza dei componenti, il comportamento deformativo e lo stato tensionale di una testa di taglio principalmente per filtri e cannucce, con lo scopo di sviluppare una nuova soluzione a velocità incrementata, già presente in diverse macchine automatiche e che verrà implementata in molte altre ancora in fase di produzione e progettazione. A tale scopo vengono effettuate diverse verifiche sui componenti, confrontando continuamente i risultati con la situazione attuale di funzionamento e con innovative simulazioni dinamiche e FEM, sull’intero assieme, con lo scopo di prendere in considerazione il maggior numero di contributi alle sollecitazioni, alle deformazioni ed alle vibrazioni possibili, che potrebbero causare criticità o malfunzionamenti del sistema, modellando nel modo più realistico possibile il funzionamento e la movimentazione del meccanismo. L’attuale produttività massima della macchina si attesta su 5000 pz/min con una velocità di rotazione della testa di taglio di 2500 rpm. L’analisi e il miglioramento del sistema ha l’obiettivo di aumentare la velocità di produzione, e quindi di rotazione, a 6000 pz/min e 3000 rpm. Viene infine analizzata la nuova soluzione, verificando anche con prove di funzionamento la validità delle simulazioni e della riprogettazione effettuati. Sono stati studiati e presi in considerazione tutti gli aspetti fondamentali della testa di taglio, nel suo assieme e di ogni suo componente, con lo scopo di migliorarne le prestazioni e la produttività garantendo la sicurezza del meccanismo e al tempo stesso un funzionamento ottimale con la creazione di un prodotto di ottima qualità.

Studio esplorativo di costrutti morfosintattici scelti nell’interpretazione simultanea dall’italiano verso il francese e il tedesco

Il presente lavoro si concentra sugli scostamenti di tipo morfosintattico tra un discorso orale e formale-istituzionale tenuto in italiano e le rispettive rese, in interpretazione simultanea, verso il francese e il tedesco. Alla base dell’osservazione condotta vi è la volontà di comprendere fino a che punto un interprete professionista si discosti dalla struttura morfosintattica del testo originale e quali strategie attui, partendo dall'ipotesi che nei punti di maggiore marcatezza morfosintattica l'interprete si allontani maggiormente dalla struttura dell'originale. Dapprima si discutono alcune delle caratteristiche dell’italiano contemporaneo. In seguito, viene proposta un’osservazione teorica dei punti di maggiore vicinanza o lontananza tra la morfosintassi dell’italiano e delle due lingue straniere considerate. Vengono poi affrontate le principali difficoltà in interpretazione simultanea (IS), passando in rassegna le più frequenti strategie di risposta a tali difficoltà. Segue un’illustrazione della metodologia seguita al fine di reperire e raccogliere i discorsi pronunciati nelle Commissioni del Parlamento europeo per la costituzione di un corpus parallelo trilingue su SketchEngine. Infine, vengono presentati i risultati emersi dall'osservazione parallela basata sul corpus, in un confronto in cui vengono individuati i punti di comunanza e di divergenza tra l’originale nella lingua di partenza e le rese nelle lingue di arrivo in corrispondenza di alcuni fenomeni morfosintattici scelti.

La disuguaglianza di Harnack

In questo elaborato si illustra una delle principali proprietà godute dalle funzioni armoniche: la disuguaglianza di Harnack, dal nome del matematico che la dimostrò nel 1887. Nella sua formulazione più semplice, essa afferma che se una funzione armonica è non negativa, allora l'estremo superiore di tale funzione su una palla euclidea è controllato dall'alto dall'estremo inferiore della funzione sulla stessa palla, a meno di una costante moltiplicativa dipendente solo dalla dimensione. Una simile disuguaglianza è soddisfatta anche da soluzioni di equazioni alle derivate parziali più generali dell'equazione di Laplace. Ad esempio, J. Moser nel 1961 dimostra che le soluzioni deboli di equazioni differenziali ellittiche lineari soddisfano una disuguaglianza di tipo Harnack. Tale risultato è argomento dell'ultimo capitolo di questo elaborato.

Missione JUICE: analisi delle opportunità per esperimenti di radar bistatico su Ganimede

Esperimenti di radar bistatico sono stati impiegati con successo nell’esplorazione spaziale ai fini di sondare a distanza superfici planetarie attraverso la riflessione di un segnale radio da parte di un corpo bersaglio. Un'appropriata analisi degli echi riflessi può fornire informazioni sulla struttura, sulla composizione chimica e sulla rugosità della superficie del target su scale proporzionali alle lunghezze d’onda trasmesse. Nel seguente studio si propone la modellazione della geometria del collegamento radio tra JUICE e la Terra per trovare opportunità per la sonda di eseguire esperimenti di radar bistatico sulla superficie di Ganimede, durante i soli flyby della luna. Questi, anche se ancora non è stato programmato con dettaglio nella fase scientifica della missione, potrebbero coincidere con finestre temporali plausibili per l’implementazione degli esperimenti analizzati. Ulteriori considerazioni vertono poi sull’angolo di incidenza e sull’effetto che questo avrà sull’accuratezza della stima della costante dielettrica superficiale della luna, effettuabile con osservazioni bistatiche. L’algoritmo principale per il calcolo del punto speculare e i grafici presentati, sono stati implementati con l’ausilio del software MATLAB e del toolkit SPICE. I risultati ottenuti, analizzando i flyby presi a riferimento, mostrano come la geometria della missione, per la maggior parte di essi, non sia la più favorevole per poter effettuare questo tipo di osservazione. Solo tre dei sette flyby analizzati: G04, G05 e G06, risultano avere una geometria favorevole per esperimenti di radar. bistatico su Ganimede.

Abbondanza di litio nelle stelle nane di alone usando la fotometria Gaia

Il litio, secondo il modello di nucleosintesi del Big Bang, viene prodotto a seguito dell’espansione dell’Universo. Negli anni Ottanta, con l'avvento di spettrografi ad alta risoluzione, è stato possibile misurare l'abbondanza di Li in stelle nane di alone (Spite & Spite 1982). L'abbondanza di Li nelle stelle nane di Popolazione II mostra un valore costante in un ampio intervallo di metallicità e di temperatura effettiva. Tale andamento prende il nome di Plateau di Spite, ed è stato interpretato come una misura dell'abbondanza primordiale dell'elemento. Due decenni dopo la scoperta dello Spite Plateau, grazie alle misurazioni WMAP è stato possibile ottenere i valori delle costanti cosmologiche. Le abbondanze degli elementi leggeri previste dalla cosmologia sono in accordo con quelle misurate, tranne che per il litio. Il valore dello Spite Plateau è infatti inferiore di un fattore 3-4. Tale problema del litio rimane ancora oggi una sfida aperta. Un altro problema aperto riguarda la scoperta del Li-meltdown, ovvero una diminuzione di A(Li) nelle stelle nane con [Fe/H]<-2.5 dex. Nel seguente lavoro sono state studiate stelle nane con metallicità basse, prese da lavori passati. Una volta ottenuto il campione si è lavorato sui dati di Gaia. L'uso di Gaia sulle stelle di alone ha permesso di: lavorare su un campione formato da parametri omogenei e precisi, conoscere lo stato evolutivo delle stelle. Tale lavoro permette per la prima volta di discutere la distribuzione dell'abbondanza di Li nelle stelle nane alla luce del loro stato evolutivo. Il campione di Gaia conferma la presenza del Plateau di Spite con un valore di A(Li)= 2.29 dex, e una caduta dell'abbondanza e un aumento dello scatter per sorgenti [Fe/H]<-2.6 dex (Li meltdown). In particolare, viene dimostrato come il Li meltdown non possa essere spiegato semplicemente come dovuto a stelle binarie o post First Dredge Up.

Analisi numerica per l'evoluzione non lineare di perturbazioni di energia oscura

L'elaborato tratta lo studio dell’evoluzione delle perturbazioni di densità non lineari, confrontando modelli con costante cosmologica (wΛ = −1) e modelli alternativi in cui l’energia oscura sia caratterizzata da un’equazione di stato con w diverso da −1, considerando sia il caso con energia oscura costante, sia quello in cui ha fluttuazioni. La costante cosmologica presenta infatti due problemi teorici attualmente senza soluzione: il problema del suo valore e il problema della coincidenza. Per analizzare l’evoluzione delle perturbazioni di materia ed energia oscura, sia nel caso delle sovradensità che nel caso delle sottodensità primordiali, si implementano numericamente le equazioni differenziali non lineari ricavate a partire dalla teoria del collasso sferico. Per parametrizzare il problema, si fa riferimento ai valori critici del contrasto di densità δc e δv che rappresentano, rispettivamente, la soglia lineare per il collasso gravitazionale e la soglia per l’individuazione di un vuoto cosmico. I valori di δc e δv sono importanti poich´e legati agli osservabili cosmici tramite la funzione di massa e la void size function. Le soglie critiche indicate sono infatticontenute nelle funzioni citate e quindi, cambiando δc e δv al variare del modello cosmologico assunto, è possibile influenzare direttamente il numero e il tipo di oggetti cosmici formati, stimati con la funzione di massa e la void size function. Lo scopo principale è quindi quello di capire quanto l’assunzione di un modello, piuttosto che di un altro, incida sui valori di δc e δv. In questa maniera è quindi possibile stimare, con l’utilizzo della funzione di massa e della void size function, quali sono gli effetti sulla formazione delle strutture cosmiche dovuti alle variazioni delle soglie critiche δc e δv in funzione del modello cosmologico scelto. I risultati sono messi a confronto con il modello cosmologico standard (ΛCDM) per cui si assume Ω0,m = 0.3, Ω0,Λ = 0.7 e wΛ = −1.

ricerca di vulnerabilità in applicazioni apple su dispositivi mobile

Le app mobile sono sempre più pervasive nella vita quotidiana delle persone: gli smartphone hanno rivoluzionato il modo di interagire degli utenti con le varie organizzazioni. Che sia per l'accesso al proprio conto corrente, per la visualizzazione delle notizie quotidiane o per il semplice svago, gli utenti usano sempre più il mondo mobile come canale privilegiato per la fruizione dei contenuti digitali. Il sempre maggior successo delle applicazioni mobile ha sempre più spostato l'attenzione dei malintenzionati sugli smartphone, che sono diventati così uno degli obiettivi più popolari per i cyberattacchi: ciò comporta nuove sfide per le organizzazioni al fine di garantire la sicurezza di dati e sistemi. Risulta fondamentale per un organizzazione in particolare mantenere un controllo sulle proprie applicazioni mobile: configurazioni errate, errori di programmazione, inclusione di librerie software vulnerabili o malevoli e la presenza di credenziali cablate nel codice o nelle configurazioni rappresentano un notevole rischio per la confidenzialità, l'integrità e disponibilità di dati e sistemi. Se risulta fondamentale nello sviluppo un approccio che utilizzi i principi della Security by Design, risulta ancora più importante un presidio costante sulle applicazioni e la costruzione di un ciclo di vita del software sicuro (SSDLC). A tal fine la proposta del progetto di tesi riguarda l'analisi delle principali minacce e vulnerabilità delle applicazioni mobile e lo sviluppo di uno strumento di analisi dei pacchetti mobile (su piattaforma Android o iOS) al fine di identificare possibili rischi prima della pubblicazione dei pacchetti sugli store ufficiali.