Integrazione di Digital Twins e Mixed Reality: Un Caso di Studio

Questa tesi ha come proposito esplorare le architetture che integrano i Digital Twins in applicazioni di Mixed Reality. L’obiettivo cardine è quello di mostrare una possibile realizzazione di un sistema di questo tipo. Per raggiungere l’obiettivo posto si è scelto di progettare un sistema che sia realizzabile come soluzione in un contesto reale. La tesi è strutturata in modo tale da offrire al lettore una presentazione generale delle tecnologie utilizzate mantenendole ben distinte. Successivamente viene analizzata la possibilità di unire queste tecnologie presentando quindi delle possibili implementazioni. Come Caso di Studio si è scelto di realizzare un’applicazione a supporto dei medici che offrisse, durante un’operazione chirurgica, la possibilità di visualizzare il monitor dei parametri vitali tramite ologramma. L’architettura presentata viene suddivisa in tre sottosistemi indipendenti in base alla tecnologia presa di riferimento. Le macro sezioni presentate sono: Physical Asset, Digital Twins e Hologram. Questi sottosistemi vengono analizzati uno per volta e successivamente viene realizzata l’architettura inerente. Terminata la realizzazione del sistema, vengono presentate al lettore delle alternative architetturali con annesse le possibili implementazioni.

Analisi delle nozioni di dibattito e di incertezza in Wikidata

In questo elaborato si analizzano i principali metodi di rappresentazione delle nozioni di incertezza e di dibattito all’interno della Knowledge Base di Wikidata. In particolare, quali sono i metodi per rappresentare tali nozioni, quali tra questi metodi è il più utilizzato, quali offrono un'accuratezza maggiore (ovvero delle informazioni aggiuntive sulla motivazione del perché un determinato statement è in discussione) e infine la presenza di possibili correlazioni tra i vari metodi. Innanzitutto, è stato svolto uno studio preliminare volto a individuare tali metodi in Wikidata. In seguito, sono stati estratti e costruiti quattro dataset rappresentativi del dominio descritto che contenessero le rappresentazioni in esame. Ogni dataset, rappresentativo di un metodo di rappresentazione, è stato prima analizzato singolarmente e in seguito è stata ricercata la presenza degli altri metodi nello stesso. Infine sono stati presentati gli sviluppi futuri, i punti di forza e le debolezze del lavoro svolto.

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à.

tonicarD: un'applicazione web per l'annotazione semiautomatica delle schede Caronti

Si presenta lo sviluppo di una nuova applicazione web, chiamata tonicarD, che fornisce gli strumenti per fare annotazione dei documenti che costituiscono il catalogo storico della Biblioteca Universitaria di Bologna. Si tratta di schede scritte a mano dal dott. Andrea Caronti nella seconda metà dell'Ottocento, che si ha interesse a digitalizzare. A questo scopo, si è progettato il sistema tonicarD, che permette di eseguire la segmentazione e la trascrizione delle scansioni di tali documenti e genera le immagini che verrano usate per popolare un dataset su cui allenare un modello di riconoscimento automatico del testo. L'applicazione implementa anche lo sviluppo di un algoritmo di segmentazione automatica, oltre che un'approssimativa trascrizione della scheda, con l'obiettivo di agevolare l'utente nell'esecuzione dell'annotazione. Il lavoro include anche test per misurare la qualità della segmentazione automatica e test di usabilità dell'interfaccia, in cui si mettono a confronto l'esperienza degli utenti su tonicarD e Transkribus.

La diffusione dei cheating bot nei videogiochi e possibili soluzioni di contrasto

Il fine di questo elaborato riguarda lo studio di soluzioni per il contrasto di giocatori baranti controllati da algoritmi presenti nel videogioco online Team Fortress 2. Dopo una breve introduzione alla storia degli sparatutto online, si descriverà il funzionamento di tutti i componenti che sviluppano l'ambiente di gioco, oltre a definire termini e sistemi vitali per la comprensione dell'elaborato ed una breve introduzione a Team Fortress 2. Si procederà alla discussione del cheat e dei software e/o environment sfruttati dagli attacanti in partita, andando a cercare di spiegare il meccanismo e l'origine di questi elementi, nonché introdurre il concetto dei bot baranti implementati usando il programma open source cathook. Una volta spiegata la minaccia si andrà a spiegare la difesa da parte del gioco e degli sviluppatori attraverso il software di anticheat Valve Anti-Cheat (VAC) presente sul gioco, definendo le terminologie e alcune caratteristiche comuni rispetto agli altri, per poi introdurre le nuove tecnologie di contrasto sviluppati per Counter Strike: Global Offensive, ovvero Overwatch, Trust Factor e l'anticheat con deep learning VACNET. Infine, dopo aver definito più approfonditamente il funzionamento degli algoritmi baranti, verranno suggerite delle possibili soluzioni implementabili e del motivo per cui non riescono a risolvere completamente il problema. Concluderemo spiegando cosa stanno facendo i sviluppatori, per poi descrivere come effettivamente il problema possiede come l'unica soluzione di evitare di giocare nei server ufficiali di gioco, mantenendo comunque gli algoritmi liberi nei server ufficiali.

Funzioni a variazione limitata di una variabile

Nel primo capitolo sono presentate alcune generalità: le principali proprietà delle funzioni a variazione limitata di una variabile partendo dalla definizione classica introdotta da Jordan e sono ricordati alcuni risultati già studiati durante questi anni di studio. Nel secondo capitolo dimostriamo un importante risultato sulla differenziabilità quasi ovunque delle funzioni a variazione limitata. Questo risultato è ottenuto come conseguenza di un teorema di ricoprimento di Vitali, che abbiamo dimostreremato come risultato più generale in R^n. Abbiamo visto inoltre la definizione di funzione assolutamente continua e caratterizzato questa classe di funzioni, collegandole proprio alla validità del teorema fondamentale del calcolo integrale (la validità del teorema fondamentale per funzioni è in effetti una caratterizzazione di questa classe di funzioni). Nel terzo capitolo infine, dopo aver fornito la definizione moderna di funzione a variazione limitata (funzione BV), si sono confrontate le due definizioni provandone la loro equivalenza.

Benchmarking ’Expressing Without Asserting’ approaches on a large Wikidata dump

Semantic Web technologies provide the means to express the knowledge in a formal and standardized manner, enabling machines to automatically derive meaning from the data. Often this knowledge is uncertain or different degrees of certainty may be assigned to the same statements. This is the case in many fields of study such as in Digital Humanities, Science and Arts. The challenge relies on the fact that our knowledge about the surrounding world is dynamic and may evolve based on new data coming from the latest discoveries. Furthermore we should be able to express conflicting, debated or disputed statements in an efficient, effective and consistent way without the need of asserting them. We call this approach 'Expressing Without Asserting' (EWA). In this work we identify all existing methods that are compatible with actual Semantic Web standards and enable us to express EWA. In our research we were able to prove that existing reification methods such as Named Graphs, Singleton Properties, Wikidata Statements and RDF-Star are the most suitable methods to represent in a reliable way EWA. Next we compare these methods with our own method, namely Conjectures from a quantitative perspective. Our main objective was to put Conjectures into stress tests leveraging enormous datasets created ad hoc using art-related Wikidata dumps and measure the performance in various triplestores in relation with similar concurrent methods. Our experiments show that Conjectures are a formidable tool to express efficiently and effectively EWA. In some cases, Conjectures outperform state of the art methods such as singleton and Rdf-Star exposing their great potential. Is our firm belief that Conjectures represent a suitable solution to EWA issues. Conjectures in their weak form are fully compatible with Semantic Web standards, especially with RDF and SPARQL. Furthermore Conjectures benefit from comprehensive syntax and intuitive semantics that make them easy to learn and adapt.

Design, fabrication and mechanical characterization of a structural node made using Wire and Arc Additive Manufacturing (WAAM) technology

Additive Manufacturing (AM), also known as “3D printing”, is a recent production technique that allows the creation of three-dimensional elements by depositing multiple layers of material. This technology is widely used in various industrial sectors, such as automotive, aerospace and aviation. With AM, it is possible to produce particularly complex elements for which traditional techniques cannot be used. These technologies are not yet widespread in the civil engineering sector, which is slowly changing thanks to the advantages of AM, such as the possibility of realizing elements without geometric restrictions, with less material usage and a higher efficiency, in particular employing Wire-and-Arc Additive Manufacturing (WAAM) technology. Buildings that benefit most from AM are all those structures designed using form-finding and free-form techniques. These include gridshells, where joints are the most critical and difficult elements to design, as the overall behaviour of the structure depends on them. It must also be considered that, during the design, the engineer must try to minimize the structure's own weight. Self-weight reductions can be achieved by Topological Optimization (TO) of the joint itself, which generates complex geometries that could not be made using traditional techniques. To sum up, weight reductions through TO combined with AM allow for several potential benefits, including economic ones. In this thesis, the roof of the British Museum is considered as a case study, analysing the gridshell structure of which a joint will be chosen to be designed and manufactured, using TO and WAAM techniques. Then, the designed joint will be studied in order to understand its structural behaviour in terms of stiffness and strength. Finally, a printing test will be performed to assess the production feasibility using WAAM technology. The computational design and fabrication stages were carried out at Technische Universität Braunschweig in Germany.

Calibration of design strength values of Wire and Arc Additive Manufacturing inclined bars and intersections

Although being studied only for few years, Wire and Arc Additive Manufacturing (WAAM) will become the predominant way of producing stainless-steel elements in a near-like future. The analysis and study of such elements has yet to be defined in a proper way, but the projects regarding this subject are innovating more and more thanks to the findings discovered by the latter. This thesis is focused on an initial stage on the analysis of mechanical and geometrical properties of such stainless-steel elements produced by MX3D laboratories in Amsterdam, and to perform a calibration of the design strength values by means of Annex D of Eurocode 0, which talks about the analysis of the semi-probabilistic safety factors, hence the definition of characteristic values. Moreover, after testing the stainless-steel specimens by means of strain gauges and after obtaining mechanical and geometrical properties, a statistical analysis of such properties and an evaluation of characteristic values is performed. After this, there is to execute the calibration of design strength values of WAAM inclined bars and intersections.