Uso do R-shiny para execução de modelos matemáticos via web: estudo de caso sobre a dinâmica de propagação do HLB do citros.

RESUMO - O Huanglongbing (HLB ou Greening) é a doença mais importante e destrutiva da citricultura mundial. Presente de forma endêmica nos continentes asiático e africano há várias décadas, essa doença foi constatada no Brasil em 2004, sendo transmitida pelo psilídeo Diaphorina citri e causada por bactérias de floema Candidatus Liberibacter spp. Para auxiliar o estudo da doença, foram desenvolvidos modelos matemáticos para avaliação da propagação do HLB Citros. Este trabalho tem por objetivo a criação de um sistema para execução via web de um destes modelos, permitindo aos profissionais de diversas formações, em especial os das áreas biológicas, que são os especialistas do domínio em estudo, acesso rápido aos resultados fornecidos pelo modelo matemático, eliminando ainda a necessidade de conhecimento prévio em alguma linguagem de programação ou de métodos de resolução de equações diferenciais. O sistema foi completamente implementado em R, tendo sido o pacote deSolve usado para solução do modelo matemático e o framework web Shiny para a interface com usuário, sendo todos open source.

Sviluppo di un framework per l'automazione dei test al banco e la prototipazione di algoritmi di controllo di motori a combustione interna

Negli ultimi anni, i limiti sempre più stringenti sulle emissioni inquinanti dei gas di scarico, hanno portato ad un notevole aumento della complessità dei motori a combustione interna. Questa complicazione determina un aumento esponenziale del numero di test da effettuare nella sala prova. I metodi tipici di gestione dei test non possono più essere utilizzati, ma è essenziale creare un sistema che ottimizzi le prove. Per ridurre drasticamente il tempo di esecuzione, è necessario implementare un'architettura in grado di facilitare lo scambio di dati tra i sistemi presenti nella sala prova, e, in aggiunta, definire le strategie di automazione dei test. L'approccio a taluni metodi si presenta ancora complicato in molti gruppi di sviluppo di strategie di controllo motore, anche se, una volta sviluppati, portano e a grandi benefici durante la fase di test. Il lavoro illustra i metodi implementati per la gestione di queste strategie. Prima si descrive l'approccio utilizzato nella calibrazione di anticipo di accensione per mantenere livelli accettabili di detonazione durante il processo di calibrazione. Successivamente è mostrato il sistema di automazione dei test che consente il pieno controllo del punto di funzionamento del motore, la gestione dell'acquisizione e la verifica della stabilità delle condizioni ottenute. L'ultima parte mostra sistemi di prototipazione rapida per la gestione di componenti innovatici del motore.

Studio delle cariche di spazio in cavi modello e full size tramite metodo dell'impulso elettroacustico (PEA)

La tesi tratta del metodo PEA per la misura della carica di spazio. Viene fatta una valutazione sull'applicazione del metodo e sul significato dei risultati per le prove sui cavi modello. Utilizzando quanto ottenuto dalle prove si fa poi una riflessione su come sia più sensato calcolare il campo elettrico, partendo dalla distribuzione di carica ottenuta. Infine verra mostrata una prova su un cavo full size (progetto IFA2) per avere un riscontro degli studi fatti in laboratorio su un test di fabbrica. Le conclusioni si concentreranno sui problemi attuali relativi al sistema di misura e sulle possibili migliorie future.

Applicazione del sistema di gestione per la salute e sicurezza sul lavoro in conformità al nuovo standard ISO 45001:2018, un caso di studio in Rosetti Marino SpA.

L’implementazione di un sistema di gestione può rappresentare un’opportunità di crescita per quelle organizzazioni che riescono ad integrare efficacemente la gestione degli aspetti di salute e sicurezza con gli altri sistemi presenti, quali il sistema di gestione strategica o il sistema di comunicazione interno. Un sistema di gestione non garantisce, in modo diretto, performance migliori, ma se utilizzato con coerenza rispetto ai valori aziendali, stabiliti nella politica di gruppo, permette di gestire le responsabilità, i processi, le tempistiche di attuazione e le non conformità rilevate in maniera adeguata. Alla luce di quanto esposto, l’obiettivo di questo lavoro è stato quello di: 1. esaminare i requisiti del nuovo Standard ISO 45001:2018 e della OHSAS 18001:2007 in via di sostituzione; 2. effettuare la gap analysis, ovvero un’analisi degli scostamenti relativa ai contenuti della ISO 45001:2018 a partire dal sistema di gestione salute e sicurezza aziendale certificato OHSAS 18001:2007; 3. definire le azioni necessarie ad assicurare la transizione della certificazione dall’attuale Standard OHSAS 18001:2007 al suddetto ISO 45001:2018. Il lavoro è scaturito nel corso dello svolgimento di un tirocinio presso Rosetti Marino S.p.A. all’interno del reparto HSSE-Q che si occupa di salute e sicurezza sul lavoro, protezione dell’ambiente e qualità dei processi produttivi.

Valutazione della applicazione del ciclo Miller a motori a benzina ad iniezione diretta ad alta potenza specifica

Negli ultimi decenni nuove e sempre più restrittive normative antiinquinamento son state introdotte nei paesi maggiormente industrializzati dettando un aumento degli sforzi progettuali imposti all’industria automobilistica per cercare di contenere l’impatto ambientale esercitato dai motori a combustione interna. E’ evidente quindi l’importanza di possedere una profonda conoscenza dei fenomeni fisici e chimici che influenzano i processi di combustione così come avere a disposizione modelli quanto più accurati per la loro corretta rappresentazione tramite CFD. Per i motori ad accensione comandata gli studi si sono focalizzati sulla ricerca dell’efficienza evitando di incorrere in rischi di detonazione. Numerose sono le tecnologie che permettono di assolvere alle funzioni richieste, tra le più affermate vi sono i sistemi a fasatura variabile, in particolare le strategie che prendono il nome di ciclo Miller. Tale sistema, implementabile facilmente senza l’utilizzo di alcun sistema aggiuntivo, permette di ridurre sensibilmente temperature e pressioni in camera. Il seguente lavoro di tesi studierà, attraverso simulazione numerica tridimensionale condotta con software CONVERGE®, gli aspetti fisici e fluidodinamici indotti dalle diverse strategie REF, EIVC e LIVC applicate ad un motore GDI con tecnologia downsizing e turbocharging (modellato in ambiente CAD, tramite PTC CREO®). Successivamente, allo stesso motore, saranno apportate modifiche progettuali con lo scopo di comprendere in che modo un aumento di un punto del rapporto di compressione, che equivale a spostarsi verso zone a prestazioni più elevate, impatti sull’entità di pressione, temperatura e comportamento fluidodinamico e fisico a pari condizioni operative e di alzata. L’analisi ed il confronto con gli altri casi sancirà se questa nuova configurazione possa essere accettabile o rischiosa ai fini della detonazione.

La traduzione nel processo di espansione aziendale e l’internazionalizzazione di impresa: localizzazione web del sito di FAM Batterie S.r.l.

Il presente elaborato è stato realizzato attraverso il progetto Language Toolkit, sviluppato grazie alla collaborazione fra la Camera di Commercio della Romagna e il Dipartimento Interpretazione e Traduzione del Campus di Forlì (DIT). Mediante questo progetto, il candidato ha potuto portare a termine la localizzazione del sito web aziendale di FAM Batterie s.r.l. dall'italiano allo spagnolo. Lo scopo di questa tesi è quello di presentare e analizzare tale progetto di localizzazione. Per questo motivo, il lavoro è stato strutturato in due sezioni principali. Nella prima parte si discuterà del processo di internazionalizzazione di impresa per identificare il modo in cui un'azienda può espandersi, focalizzando l’attenzione sull'impatto che la globalizzazione e la digitalizzazione possono avere al momento di prendere questa decisione. Nella seconda parte si approfondirà il processo di localizzazione, che sarà discusso per dimostrare la necessità di adattarsi a un locale come passaggio fondamentale per una corretta internazionalizzazione. Infine, verrà analizzato il progetto specifico di localizzazione del sito web www.fambatterie.it, evidenziandone gli elementi più importanti dal punto di vista della traduzione.

Comparazione performance di un'applicazione enterprise basata su service mesh

Ultimamente si stanno sviluppando tecnologie per rendere più efficiente la virtualizzazione a livello di sistema operativo, tra cui si cita la suite Docker, che permette di gestire processi come se fossero macchine virtuali. Inoltre i meccanismi di clustering, come Kubernetes, permettono di collegare macchine multiple, farle comunicare tra loro e renderle assimilabili ad un server monolitico per l'utente esterno. Il connubio tra virtualizzazione a livello di sistema operativo e clustering permette di costruire server potenti quanto quelli monolitici ma più economici e possono adattarsi meglio alle richieste esterne. Data l'enorme mole di dati e di potenza di calcolo necessaria per gestire le comunicazioni e le interazioni tra utenti e servizi web, molte imprese non possono permettersi investimenti su un server proprietario e la sua manutenzione, perciò affittano le risorse necessarie che costituiscono il cosiddetto "cloud", cioè l'insieme di server che le aziende mettono a disposizione dei propri clienti. Il trasferimento dei servizi da macchina fisica a cloud ha modificato la visione che si ha dei servizi stessi, infatti non sono più visti come software monolitici ma come microservizi che interagiscono tra di loro. L'infrastruttura di comunicazione che permette ai microservizi di comunicare è chiamata service mesh e la sua suddivisione richiama la tecnologia SDN. È stato studiato il comportamento del software di service mesh Istio installato in un cluster Kubernetes. Sono state raccolte metriche su memoria occupata, CPU utilizzata, pacchetti trasmessi ed eventuali errori e infine latenza per confrontarle a quelle ottenute da un cluster su cui non è stato installato Istio. Lo studio dimostra che, in un cluster rivolto all'uso in produzione, la service mesh offerta da Istio fornisce molti strumenti per il controllo della rete a scapito di una richiesta leggermente più alta di risorse hardware.

Arricchimento semantico nel contesto dell'Existing Building Information Modelling: aspetti metodologici e applicazione al caso della Rocca Estense di San Felice sul Panaro.

(ITA) L’industria mondiale odierna nel campo dell’architettura e dell’ingegneria si esprime quasi esclusivamente mediante l’approccio BIM, Building Information Modeling. Anche se sviluppato pensando alle nuove costruzioni ed ancora in via di perfezionamento, è entrato prepotentemente nei capitoli normativi di molti stati all’urlo dell“interoperability”. Su questo tema è recente l’interesse e la possibilità di adozione per l’intervento sul costruito, ovvero di Existing Building Information Modelling, eBIM. Gli studi applicativi-sperimentali in questo ambito sono sempre più numerosi e convergono, purtroppo, sulla delicata correlazione tra la gestione del contenuto semantico e la perdita di interoperabilità. Questa tesi si incentra sull’analisi di tale correlazione valutando in particolare l’aspetto metodologico-applicativo dell’arricchimento semantico adottando come caso studio la Torre Nord della Rocca Estense di San Felice sul Panaro. (ENG)Today's global industry in architecture and engineering fields, expresses itself almost entirely focusing on BIM, Building Information Modeling. Even though it was developed taking in consideration new buildings and the ones that are in the process of improvement, it has entered the regulatory chapters of many states in the hymn of "interoperability". Concerning this topic is recent the interest and possibility of adopting a process to intervene on the already built constructions, Existing Building Information Modeling, eBIM. Application-experimental studies in this area are increasingly numerous and unfortunately converge, on the delicate correlation between the management of the semantic content and the loss of interoperability. This thesis focuses on the analysis of this correlation by evaluating in particular the methodological-applicative aspect of semantic enrichment by adopting the North Tower of the Rocca Estense in San Felice sul Panaro as a case study.

La modellazione dell’impatto della rete di distribuzione idrica sulla qualita’ dell’acqua nel Water Safety Plan – Applicazione alla citta’ di Cesena

Lo studio ha indagato l’impatto delle reti di distribuzione idrica sulla qualità dell’acqua ed il supporto che in questo ambito possono fornire i modelli numerici nella redazione dei Piani di Sicurezza delle Acque (PSA) o Water Safety Plan (WSP). In una prima fase, esso è stato analizzato prendendo atto del percorso normativo europeo e nazionale e delle linee guida fornite dall’Organizzazione Mondiale di Sanità (OMS) e dall’Istituto Superiore di Sanità (ISS) che hanno portato i Piani di Sicurezza delle Acque nell’ambito del controllo delle acque potabili, tenendo conto, anche, dei vari soggetti coinvolti e delle problematiche generate dai cambiamenti climatici. In una seconda fase, si è analizzato il caso studio della rete di distribuzione idrica della città di Cesena, fornito dal gestore HERA S.p.A., modellando la qualità dell’acqua attraverso il programma EPANET 2.2. Questa analisi è stata sviluppata successivamente alla calibrazione del modello idraulico. Per gli aspetti che richiedono una georeferenziazione è stato utilizzato il programma open source QGIS, mentre per le analisi dei dati e le elaborazioni statistiche relative al campionamento del cloro residuo e delle portate immesse dalle fonti idriche è stato utilizzato il linguaggio R. E' stato quindi possibile creare mappe georeferenziate per diversi momenti della giornata del tempo di permanenza dell'acqua nella rete di distribuzione, delle concentrazioni di cloro residuo dell'acqua prelevata dagli utenti e analizzare il ruolo dei serbatoi di compenso.

Development of a framework for the analysis of document-based phishing campaigns

In questo elaborato di tesi si affronta lo sviluppo di un framework per l'analisi di URL di phishing estratte da documenti malevoli. Tramite il linguaggio python3 e browsers automatizzati si è sviluppata una pipeline per analizzare queste campagne malevole. La pipeline ha lo scopo di arrivare alla pagina finale, evitando di essere bloccata da tecniche anti-bot di cloaking, per catturare una schermata e salvare la pagina in locale. Durante l'analisi tutto il traffico è salvato per analisi future. Ad ogni URL visitato vengono salvate informazioni quali entry DNS, codice di Autonomous System e lo stato nella blocklist di Google. Un'analisi iniziale delle due campagne più estese è stata effettuata, rivelando il business model dietro ad esse e le tecniche usate per proteggere l'infrastruttura stessa.

Un framework di astrazione per lo Stream Processing a supporto di RAM3S

L’elaborazione di quantità di dati sempre crescente ed in tempi ragionevoli è una delle principali sfide tecnologiche del momento. La difficoltà non risiede esclusivamente nel disporre di motori di elaborazione efficienti e in grado di eseguire la computazione coordinata su un’enorme mole di dati, ma anche nel fornire agli sviluppatori di tali applicazioni strumenti di sviluppo che risultino intuitivi nell’utilizzo e facili nella messa in opera, con lo scopo di ridurre il tempo necessario a realizzare concretamente un’idea di applicazione e abbassare le barriere all’ingresso degli strumenti software disponibili. Questo lavoro di tesi prende in esame il progetto RAM3S, il cui intento è quello di semplificare la realizzazione di applicazioni di elaborazione dati basate su piattaforme di Stream Processing quali Spark, Storm, Flinke e Samza, e si occupa di esaudire il suo scopo originale fornendo un framework astratto ed estensibile per la definizione di applicazioni di stream processing, capaci di eseguire indistintamente sulle piattaforme disponibili sul mercato.

Towards a full cosmological exploitation of cosmic voids

A stately fraction of the Universe volume is dominated by almost empty space. Alongside the luminous filamentary structures that make it up, there are vast and smooth regions that have remained outside the Cosmology spotlight during the past decades: cosmic voids. Although essentially devoid of matter, voids enclose fundamental information about the cosmological framework and have gradually become an effective and competitive cosmological probe. In this Thesis work we present fundamental results about the cosmological exploitation of voids. We focused on the number density of voids as a function of their radius, known as void size function, developing an effective pipeline for its cosmological usage. We proposed a new parametrisation of the most used theoretical void size function to model voids identified in the distribution of biased tracers (i.e. dark matter haloes, galaxies and galaxy clusters), a step of fundamental importance to extend the analysis to real data surveys. We then applied our built methodology to study voids in alternative cosmological scenarios. Firstly we exploited voids with the aim of breaking the degeneracies between cosmological scenarios characterised by modified gravity and the inclusion of massive neutrinos. Secondly we analysed voids in the perspective of the Euclid survey, focusing on the void abundance constraining power on dynamical dark energy models with massive neutrinos. Moreover we explored other void statistics like void profiles and clustering (i.e. the void-galaxy and the void-void correlation), providing cosmological forecasts for the Euclid mission. We finally focused on the probe combination, highlighting the incredible potential of the joint analysis of multiple void statistics and of the combination of the void size function with different cosmological probes. Our results show the fundamental role of the void analysis in constraining the fundamental parameters of the cosmological model and pave the way for future studies on this topic.

L'applicazione del principio di autonomia come parametro di compatibilita con il diritto UE

La tesi indaga l’applicazione del principio di autonomia del diritto UE nella giurisprudenza della Corte di giustizia. In particolare, il lavoro mira ad analizzare le modalità attraverso cui il principio viene adoperato come parametro di compatibilità, ai fini dello scrutinio della Corte, in quei casi riguardanti il rapporto tra giurisdizioni di diritto internazionale e diritto dell’Unione. Una volta delineato il contesto teorico di partenza, concernente il significato dell’autonomia del diritto UE all’interno del “quadro costituzionale” dell’Unione, si passa all’analisi, caso per caso, della prassi giurisprudenziale, al fine di individuare ed estrapolare gli elementi costanti nei casi. La disamina svolta parte da pronunce celebri, tra cui il parere 1/91, Kadi e il parere 2/13, in cui il principio nasce e si sviluppa. Successivamente, si passa alle pronunce più recenti, componenti la c.d. saga Achmea, riguardante la compatibilità con il principio di autonomia dei meccanismi ISDS. I risultati raccolti nell’analisi vengono sintetizzati in modo da ricostruire un test di compatibilità unitario e astratto, composto da tre elementi. Si arriva così, per via induttiva, all’elaborazione di un modello idoneo a spiegare le modalità di applicazione del principio di autonomia come parametro di compatibilità. Sulla scorta di ciò vengono formulate considerazioni e riflessioni concernenti le principali implicazioni per l’ordinamento UE e per i suoi attori, che derivano dal principio di autonomia e dal suo utilizzo giurisprudenziale. Infine, si prende in considerazione una visione del principio di autonomia alternativa a quella emersa nel corso della trattazione e se ne valuta il potenziale impatto sulla concezione e sull’applicazione del principio stesso.

L'iniziativa dei cittadini europei: un'analisi della sua efficacia come strumento di democrazia partecipativa

Fin dalla sua attuazione nel 2012, l'Iniziativa dei cittadini europei (ICE) ha catturato l'attenzione di accademici e politici per il suo apparente potenziale come strumento di democrazia partecipativa in grado di promuovere il coinvolgimento diretto dei cittadini nel processo decisionale dell'UE. Tuttavia, dopo il suo lancio, questo strumento sembra aver deluso le speranze e le aspettative riposte in esso e, invece di fungere da ponte tra i cittadini e le istituzioni dell'UE, sembra essere diventato una chiara prova della leadership burocratica dell'UE a Bruxelles. Con la riforma della sua legislazione di attuazione, le istituzioni europee hanno voluto dare all'ICE un'altra possibilità di raggiungere il suo pieno potenziale di democratizzazione. A tre anni dall'entrata in vigore del nuovo Regolamento 2019/788 e a più di dieci anni dal suo inserimento nell'ordinamento giuridico europeo, riteniamo che sia il momento giusto per valutare il reale impatto dell'ICE nella promozione della democrazia partecipativa nell'UE. Per raggiungere questo obiettivo, la presente tesi di dottorato intraprende un'analisi completa di questa struttura di opportunità per la partecipazione dei cittadini, esplorando le sue origini, il suo quadro normativo, la sua applicazione pratica e le sue implicazioni per la democrazia europea attraverso un approccio interdisciplinare che combina l'uso di metodi sia qualitativi che quantitativi. Questa ricerca mira a fornire una comprensione più profonda e critica dell'ICE e del suo ruolo nella costruzione di un'Europa più partecipativa e più vicina ai cittadini.

Sviluppo di una libreria per la visualizzazione di dati spazio temporali in R

Pacchetto R per il supporto dell'analisi di dati spazio temporali. Il pacchetto fornisce due funzioni, le quali permettono di avviare due applicazioni web, sviluppate con il framework shiny, per la visualizzazione di dati con connotazione spaziale di tipo areale o puntuale. Le applicazioni generano, a partire dai dati caricati dall'utente, due grafici interattivi per la visualizzazione della distribuzione temporale e spaziale del fenomeno che i dati descrivono. Sono previsti, all'interno dell'interfaccia utente delle applicazioni, una serie di componenti che permettono di personalizzare i grafici prodotti.