L'HBIM semantico per la catalogazione e la fruizione dei Beni Culturali. Il caso studio della Chiesa di Santa Maria delle Vergini (MC) e la piattaforma Inception.

Questa tesi di laurea si pone l’obiettivo di investigare alcune delle nuove frontiere offerte dalla crescita sincretica e multidisciplinare dei linguaggi digitali applicati all’architettura e ai beni culturali. Si approfondiranno i concetti teorici fondamentali dell’informazione digitale: il web semantico come ambiente di scambio, i metadata come informazioni sui dati, i LOD (Link Open Data) come standard e fine. Per l’ambito dei beni culturali verranno presentati i temi di ricerca e sviluppo nel campo della catalogazione e fruizione digitali: ontologie, dizionari normalizzati aperti, database (Catalogo Digitale), etc. Per l’ambito edilizio-architettonico verrà introdotto l’Heritage Building Information Modeling (HBIM) semantico come metodologia multidisciplinare focalizzata su rilievo geometrico, modellazione, archiviazione e scambio di tutte le informazioni utili alla conoscenza e conservazione dei beni storici. Il punto d’incontro tra i due mondi è individuato nella possibilità di arricchire le geometrie attraverso la definizione di una semantica (parametri-metadati) relazionata alle informazioni (valori-dati) presenti nei cataloghi digitali, creando di fatto un modello 3D per architetture storiche con funzione di database multidisciplinare. Sarà presentata la piattaforma web-based Inception, sviluppata dall’omonima startup incubata come spinoff dall’Università di Ferrara, che, tra le diverse applicazioni e potenzialità, verrà utilizzata come strumento per la condivisione e fruizione, garantendo la possibilità di interrogare geometrie e metadati in continuità con i principi LOD. Verrà definito un workflow generale (procedure Scan2BIM, modellazione geometrica, definizione script per l’estrazione automatica dei dati dal Catalogo Digitale, associazione dati-geometrie e caricamento in piattaforma) successivamente applicato e adattato alle precise necessità del caso studio: la Chiesa di S. Maria delle Vergini (MC), su commissione dell’ICCD referente al MiBACT.

Il Sistema IBE di Boneh e Franklin

Un sistema di cifratura IBE (Identity-Based Encription Scheme) si basa su un sistema crittografico a chiave pubblica, costituita però in questo caso da una stringa arbitraria. Invece di generare una coppia casuale di chiavi pubbliche e private e pubblicare la prima, l'utente utilizza come chiave pubblica la sua "identità", ovvero una combinazione di informazioni opportune (nome, indirizzo...) che lo identifichino in maniera univoca. In questo modo ad ogni coppia di utenti risulta possibile comunicare in sicurezza e verificare le reciproche firme digitali senza lo scambio di chiavi private o pubbliche, senza la necessità di mantenere una key directory e senza dover ricorrere ogni volta ai servizi di un ente esterno. Nel 2001 Boneh e Franklin proposero uno schema completamente funzionante con sicurezza IND-ID-CCA, basato su un analogo del problema computazionale di Diffie-Hellman e che da un punto di vista tecnico-matematico utilizza la crittografia su curve ellittiche e la mappa bilineare Weil Pairing.

Analisi dell'adattamento degli elementi culturospecifici della serie TV "The Marvelous Mrs. Maisel"

La possibilità di avere accesso alle piattaforme streaming consente all’utente di avere a disposizione un vasto catalogo pieno di contenuti multimediali provenienti da ogni parte del mondo. I prodotti audiovisivi, di cui cresce costantemente il numero di consumatori, sono diventati uno dei mezzi principali della globalizzazione e dello scambio tra i popoli: un film o una serie televisiva sono portatori di elementi originari e tipici della cultura del paese che li produce. In questo contesto, risulta evidente l’importanza della traduzione audiovisiva: il compito dei traduttori è tentare di facilitare il contatto tra le culture e la comprensione degli elementi che le caratterizzano, nel passaggio da una lingua a un’altra. Tuttavia, a causa dei limiti derivanti dalla natura audiovisiva di questi testi, non è sempre possibile ottenere un risultato che rispetti il testo di partenza e che allo stesso tempo sia comprensibile allo spettatore. Per questi motivi, i traduttori si trovano spesso costretti a valutare, a seconda della vicinanza tra le due culture, se mantenere, eliminare o gestire con strategie adatte i termini culturospecifici. Dopo aver contestualizzato brevemente le origini e le caratteristiche della traduzione audiovisiva, l’elaborato in oggetto si propone di descrivere gli adattamenti in italiano e in spagnolo di alcune espressioni, collocate in uno specifico contesto culturale, della serie tv statunitense The Marvelous Mrs. Maisel (Amy Sherman-Palladino, 2017), con l’obiettivo di identificare le tecniche di traduzione e il principale approccio, source-oriented o target-oriented, adottato.

Il latte di cammello: composizione e poteziali prodotti alimentari

I cammelli sono tipicamente allevati in paesi con vaste aree desertiche e possono essere impiegati per diversi scopi, tra i quali la produzione di latte, carne, lana, utilizzati nel trasporto, nella corsa, nel turismo, in lavori agricoli o nel mercato della cosmesi. Per quanto riguarda la produzione di latte di cammello, i paesi africani rappresentano circa il 90% dell'intera produzione mondiale, seguiti dai paesi Asiatici. Il latte di cammello (LC), in termini di valori nutritivi, è superiore al latte bovino e piuttosto vicino al latte umano, esso contiene, infatti, alte concentrazioni di composti bioattivi essenziali per la salute umana. Tuttavia, i prodotti alimentari ottenuti dal LC sono ancora molto limitati rispetto a quelli di latte bovino, nonostante essi apportino numerosi benefici sia nutrizionali che per la salute. Le differenze nella composizione, rispetto al latte vaccino, rendono i processi di produzione dei prodotti a base di latte bovino inadatti alla produzione di derivati a base di latte di cammello. Pertanto, una comprensione completa della composizione, dei composti bioattivi e della stabilità al calore è essenziale per preservarne il valore nutritivo intrinseco, ottenendo nel contempo le caratteristiche desiderabili nei prodotti finali. L'attuale utilizzo di LC è molto al di sotto del suo potenziale, questo perché la produzione di prodotti alimentari è molto impegnativa e presenta molti elementi critici. Questa relazione, si concentrerà sulla descrizione della possibile produzione di prodotti alimentari derivati da LC, compreso latte pastorizzato/sterilizzato, agente schiumogeno, polvere, gelato, formaggio, burro e yogurt. Considerando le difficoltà e le conoscenze necessarie per la produzione di prodotti di LC, verranno analizzate le sue proprietà intrinseche: la composizione, il suo valore nutritivo, le funzionalità e la stabilità durante il trattamento termico.

Protocollo QUIC ed evoluzione di HTTP

Nel documento qui presente verranno analizzati e confrontati i protocolli di rete per la trasmissione e lo scambio di informazioni sul web. Un protocollo di rete può essere definito come un insieme di regole che vengono stabilite per instaurare una comunicazione corretta, inoltre specifica cosa deve essere comunicato, in che modo e quando. Si parla di protocollo di rete se le due macchine che prendono parte alla comunicazione sono remote; quindi, andando ad effettuare una connessione tra loro grazie ad internet. Per prima cosa vengono presentati gli attuali protocolli utilizzati nella rete e ricercati i motivi che hanno portato a crearne e svilupparne di nuovi, effettuando un confronto tra vantaggi e svantaggi di ogni singolo protocollo, analizzandone teoricamente i funzionamenti. In particolare, ci si soffermerà su due protocolli dello stesso genere, vi sarà un confronto di ciò che c’è sempre stato ed è ancora presente, protocollo HTTP tramite TCP, e ciò che si sta cercando di sviluppare ed implementare al meglio HTTP3 implementato con QUIC. Proprio quest’ultimo verrà approfondito ed esaminato nello specifico, andando a mettere a fuoco i principali motivi per cui si è arrivati al suo sviluppo e alla sua implementazione.

Geometric deep learning for polygonal mesh denoising

Il seguente lavoro si propone come analisi degli operatori convoluzionali che caratterizzano le graph neural networks. ln particolare, la trattazione si divide in due parti, una teorica e una sperimentale. Nella parte teorica vengono innanzitutto introdotte le nozioni preliminari di mesh e convoluzione su mesh. In seguito vengono riportati i concetti base del geometric deep learning, quali le definizioni degli operatori convoluzionali e di pooling e unpooling. Un'attenzione particolare è stata data all'architettura Graph U-Net. La parte sperimentare riguarda l'applicazione delle reti neurali e l'analisi degli operatori convoluzionali applicati al denoising di superfici perturbate a causa di misurazioni imperfette effettuate da scanner 3D.

La classificazione dalla geometria alla didattica

Diversi studi in didattica della matematica sostengono che la performance sia influenzata non solo da fattori cognitivi ma anche da fattori affettivi. È ormai assodato che ogni individuo si approccia ai saperi da acquisire e da insegnare in modi dipendenti da aspetti come le emozioni che ha provato e che prova nei confronti della disciplina, le competenze che crede di possedere, le convinzioni sui contenuti disciplinari da apprendere o da spiegare. La matematica che si studia nella scuola secondaria di secondo grado è lontana dalla matematica contemporanea e dalla ricerca attuale. Questo, unito al fatto che quasi mai si sottolinea il percorso storico che ha portato allo sviluppo di certi strumenti matematici, fa sì che l’idea che uno studente si fa di questa disciplina sia irrealistica: una materia arida, immobile, con risultati indiscutibili e stabiliti nell’antichità più remota. Alla luce di ciò si può pensare di proporre agli studenti di scuola secondaria attività che li stimolino e li motivino, nell’ottica di modificare l'insieme delle loro convinzioni sulla matematica. In questo lavoro mi sono occupata della classificazione delle varietà bidimensionali per poi affrontare il passaggio alle 3-varietà. Si tratta di un problema che presenta diversi motivi di interesse: classico ma risolto in tempi moderni, frutto di un processo di pensiero collettivo e che mostra come la matematica sia una materia in costante evoluzione, nella quale l’approccio interdisciplinare può essere vincente rispetto a quello settoriale. Una prima parte del lavoro è stata dedicata allo studio dei temi topologici e geometrici con riferimento non solo alla genesi e, quando possibile, alla strategia dimostrativa, ma anche alla loro valenza didattica. Una seconda parte è stata dedicata alla selezione e all’analisi di come alcuni di questi contenuti si possano declinare in modo fruibile e fertile per gli studenti di scuola secondaria e alla progettazione di un possibile percorso didattico.

Machining feature recognition

La tesi ricade nell'ambito della modellazione dei solidi ed in particolare nel riconoscimento automatico di lavorazioni su di esso presenti con l'obiettivo principale di risolvere alcune delle problematiche presenti nel software SolidPlus. Quest'ultimo ha come scopo quello di acquisire un solido progettato con un software commerciale di progettazione Cad, di rilevare le possibili lavorazioni presenti sulla parte assimilata e generare un file in un formato riconoscibile dalle macchine a controllo numerico per poterlo lavorare. Nel primo capitolo si introduce la rivoluzione industriale scaturita dall'attuazione dei principi dell'industria 4.0. Nel secondo capitolo si esegue un'analisi di alcune delle soluzioni attualmente presenti in letteratura per rilevare e classificare le lavorazioni, con particolare riferimento a quelle soluzioni che si basano sull'analisi del BRep, modello alla base del Cad. Il terzo capitolo riguarda invece il software oggetto di analisi definendo quelle che sono le funzionalità attualmente presenti e le problematiche riscontrate. Il quarto capitolo consiste nell'esame di alcuni casi di fallimento nel riconoscimento delle lavorazioni e delle relative strategie attuate per la risoluzione delle problematiche. In appendice sono stati introdotti i concetti relativi all'iso 10303, standard alla base dei file d'interscambio tra il software di progettazione Cad e le proprietà dei linguaggi a marcatori, fondamentale per lo scambio dati tra software ufficio e macchina

L'adattamento culturale in Erasmus: i diversi approcci all'esperienza

Il contenuto della tesi è incentrato sul processo di adattamento che lo studente Erasmus assume al momento dell'entrata in contatto con una cultura e dei valori diversi dai propri. L’elaborato si basa sul pensiero di Berry, che ha posto l'attenzione sull'inevitabile processo di adattamento dello studente e studiato strategie con le quali quest'ultimo può confrontarsi alla diversità. Nel primo capitolo si è dapprima analizzato il fenomeno della globalizzazione e il modo in cui la società attuale si adopera ogni giorno per prendere parte al processo di trasformazione, per poi porre l'attenzione sull'università di Bologna e sui progetti di scambio che quest'ultima propone. Nel secondo capitolo si è presentata la struttura dell’intervista sottoposta a cinque studentesse Erasmus outgoing del terzo anno del corso di laurea in Mediazione Linguistica Interculturale di Forlì al fine di far emergere i dettagli principali di quanto vissuto all'estero. Nel terzo e ultimo capitolo si sono analizzati i risultati delle interviste, mettendo in relazione la teoria e la pratica. Alla luce del pensiero di Berry, si è verificato come la realtà sia strettamente relazionata con gli elementi trattati dal sociologo e come le funzionalità delle strategie di adattamento possano essere applicabili a diverse esperienze di scambio all'estero.

Studio del ciclo geochimico del Mercurio all'interfaccia aria-neve nel plateau Antartico

Lo studio si basa sull’analisi di campioni di neve superficiale (0-3 cm) e sub-superficiale (3-6 cm) raccolti nei pressi della “clean area” di Concordia Station, nel plateau Antartico, e di campioni di deposizione raccolti a seguito di eventi di precipitazione nello stesso sito. Il sito di campionamento “clean area” è designato allo studio dei valori di fondo nel plateau antartico, poiché ritenuto privo di contaminazione antropica. L’obiettivo è la quantificazione delle concentrazioni in ultra-tracce di mercurio per lo studio di eventuali patterns relativi al ciclo geochimico dell’elemento nei periodi interessati da radiazione solare. Inoltre, per studiare i processi che controllano il ciclo del mercurio nel plateau Antartico sono stati considerati sia i parametri meteorologici che le variazioni di elementi chimici usati per tracciare le possibili sorgenti emissive ed i meccanismi di scambio che avvengono per il mercurio all’interfaccia aria-neve. Le analisi sono state svolte con ICP-SFMS, una tecnica di spettrometria in grado di rilevare concentrazioni nell’ordine del ppt. A causa dei limiti di rilevazione molto bassi, tutte le provette usate per le analisi e la conservazione dei campioni sono state trattate al fine di minimizzare la contaminazione. I campioni destinati alle analisi di mercurio sono stati trattati con acido, seguendo la procedura per la stabilizzazione di metalli volatili. Il lavoro svolto non ha identificato particolari processi di trasporto e di scambio mentre invece riporta episodi di contaminazione della “clean area” dovuti in parte alla non usuale provenienza del vento ed in parte al crescente impatto antropico dovuto alle attività delle stazioni di ricerca. Lo studio ha messo in luce le problematiche legate al possibile impatto della base di ricerca Concordia Station sui processi naturali evidenziando la necessità di ulteriori studi e approfondimenti sul tema della contaminazione della designata “area pulita” per il campionamento di neve.

Caratterizzazione di un sistema di veto per un rilvelatore di neutroni nell'ambito dell'esperimento FOOT

L’adroterapia è un tipo di terapia oncologica in cui il tumore è irraggiato con particelle cariche (adroni) quali protoni e ioni carbonio. Il vantaggio principale rispetto alla radioterapia convenzionale a raggi X consiste nel fatto che l’irraggiamento con adroni non coinvolge i tessuti sani circostanti quelli malati. Tuttavia, si conosce ancora poco sui processi di frammentazione nucleare che avvengono tra gli adroni del fascio usato nel trattamento e i nuclei presenti nel corpo umano. Così, nel 2017 nasce l’esperimento FOOT (FragmentatiOn Of Target) con lo scopo di misurare le sezioni d’urto differenziali dei frammenti nucleari prodotti nell’interazione a energie di 200-400 MeV/u (tipicamente impiegate in adroterapia). Attualmente l’apparato sperimentale di FOOT è in grado di compiere misure accurate solo per frammenti carichi, ma nell’ultimo anno si è cominciata ad esplorare la possibilità di rivelare anche i neutroni. Per questa operazione è necessario servirsi di scintillatori liquidi affiancati ad un sistema di veto costituito da scintillatori plastici sottili accoppiati a sensori che segnalano il passaggio di eventuali frammenti carichi. In una precedente campagna di misure con la collaborazione FOOT, si sono utilizzati come sensori dei tubi fotomoltiplicatori (PMT). Per migliorare le prestazioni del sistema di veto si è reso necessario l’utilizzo di scintillatori plastici veloci, letti da sensori fotomoltiplicatori al silicio (SiPM). In questa tesi mi sono occupato della risoluzione temporale dei segnali acquisiti con scintillatori plastici EJ-204 di 3 mm di spessore, letti da SiPM SenseL®.

Modellazione sperimentale e numerica del comportamento delle interfacce tra sabbia e acciaio

Nell’analisi del comportamento delle fondazioni profonde, è cruciale comprendere la relazione che governa il legame sforzo-deformazione quando si innesca uno scorrimento relativo tra il terreno e altri materiali di costruzione. Quando tra terreno e struttura insorge uno scorrimento relativo, vi è la formazione di una zona denominata “banda di taglio”, essa è una porzione di terreno costituita da un sottile strato posto a diretto contatto con la superficie di un materiale avente caratteristiche meccaniche differenti. L'interazione struttura-terreno avviene a causa della mobilitazione di una forza agente in direzione tangenziale alla superficie di contatto tra i due mezzi. Lo studio dei problemi d'interfaccia è rilevante per tutte quelle strutture la cui resistenza allo scorrimento risulta essere una componente predominante nei riguardi della risposta della fondazione nel suo complesso. Il presente lavoro di tesi ha come oggetto l’analisi sperimentale e la modellazione del comportamento meccanico della sabbia Rohsand 3152 a contatto con superfici d’acciaio di diversa ruvidezza. Tale tema di studio si inserisce in un più ampio programma di ricerca sullo studio del comportamento di pali battuti a punta aperta in terreni granulari sottoposti a sforzi assiali. L'obiettivo principale della tesi è quello di analizzare e interpretare i dati delle prove di laboratorio condotte su Rohsand 3152 e implementare un modello costitutivo elasto-plastico, capace di cogliere tutti gli aspetti che influenzano il comportamento d'interfaccia in condizioni di carico monotono.

Implementazione di un protocollo Header-compression a livello applicazione per scenari IoT

Il fenomeno noto come Internet of Things costituisce oggi il motore principale dell'espansione della rete Internet globale, essendo artefice del collegamento di miliardi di nuovi dispositivi. A causa delle limitate capacità energetiche e di elaborazione di questi dispositivi è necessario riprogettare molti dei protocolli Internet standard. Un esempio lampante è costituito dalla definizione del Constrained Application Protocol (CoAP), protocollo di comunicazione client-server pensato per sostituire HTTP in reti IoT. Per consentire la compatibilità tra reti IoT e rete Internet sono state definite delle linee guida per la mappatura di messaggi CoAP in messaggi HTTP e viceversa, consentendo così l'implementazione di proxies in grado di connettere una rete IoT ad Internet. Tuttavia, questa mappatura è circoscritta ai soli campi e messaggi che permettono di implementare un'architettura REST, rendendo dunque impossibile l'uso di protocolli di livello applicazione basati su HTTP.La soluzione proposta consiste nella definizione di un protocollo di compressione adattiva dei messaggi HTTP, in modo che soluzioni valide fuori dagli scenari IoT, come ad esempio scambio di messaggi generici, possano essere implementate anche in reti IoT. I risultati ottenuti mostrano inoltre che nello scenario di riferimento la compressione adattiva di messaggi HTTP raggiunge prestazioni inferiori rispetto ad altri algoritmi di compressione di intestazioni (in particolare HPACK), ma più che valide perchè le uniche applicabili attualmente in scenari IoT.

Caratterizzazione e miglioramento del sistema isolante per macchine elettriche per autotrazione

La forte espansione del mercato della mobilità elettrica degli ultimi anni ha portato sotto i riflettori nuove esigenze, tecnologie e problematiche per il Power Train di questi veicoli. L’attenzione all’affidabilità del motore elettrico è ormai al pari di quella verso prestazioni, efficienza e costi. Al fine di garantire una vita utile al motore congrua con quella del veicolo, che si attesta tra mediamente tra i 5 e i 10 anni, è necessario conoscere attentamente quali sono le criticità del sistema isolante (EIS) della macchina. All’interno di questo ambito, questa tesi si è concentrata sull’analisi dei diversi componenti che costituiscono l’EIS dello statore di un motore elettrico impiegato in una super car ibrida. Il primo passo è stato caratterizzare i sottocomponenti dello statore, a partire dai fili (Litz Wires) con cui sono realizzati i suoi avvolgimenti. I tempi di endurance dei fili sotto attività di scarica parziale (PD) nell'ordine dei minuti hanno dimostrato la necessità di operare in assenza di scariche. Per questo motivo è stato studiato l'andamento del PDIV sotto diverse forme d'onda e per provini invecchiati termicamente. Lo studio è stato poi esteso allo statore completo, sottoponendo l’EIS a cicli di invecchiamento, al fine di diagnosticare, attraverso prove elettriche, se le sue prestazioni restano accettabili per l’interezza della vita prevista dall’applicazione. In conclusione, sono state trattate le problematiche della qualifica dell’EIS completo di un motore elettrico. È stata proposta una soluzione per realizzare un sistema idoneo a sottoporre lo statore da invecchiare a stress elettrico e termico contemporaneamente. Gli studi effettuati in merito hanno dimostrato la fattibilità ed i benefici di questo sistema, permettendo di rispecchiare al meglio le condizioni di servizio della macchina, con l’obiettivo di perfezionare le attuali procedure di qualifica.

Realizzazione e validazione di provini in resina epossidica per la simulazione di scariche parziali interne.

L’elaborato si pone l’obiettivo di realizzare e validare dei campioni in resina epossidica per la rilevazione di attività di scariche parziali interne. Nella prima fase dell’attività di ricerca, sono definite le linee progettuali riguardanti la scelta dei materiali da utilizzare, al fine di creare degli stampi per poter ottenere dei campioni di forma idonea e, successivamente, si procede alla scelta del tipo di resina e degli elettrodi da adoperare. All’interno dei provini, viene iniettata, con una siringa di precisione dotata di un ago sottile, una cavità di aria indicante un eventuale difetto nella matrice polimerica dell’isolante, se sottoposto a un determinato tipo di stress (elettrico, termico, meccanico). I provini sono testati in un circuito di prova ad alto voltaggio per la misura della tensione di innesco alla quale si verificano le scariche; attraverso l’utilizzo di un software specifico, viene poi ricavato il PD pattern utile per l’approccio all’identificazione della tipologia di scarica. Inoltre, sono effettuate delle simulazioni con l’ambiente di calcolo Comsol ottenendo il valore del campo elettrico all’interno della cavità di aria. Il PD pattern viene, in seguito, analizzato estrapolando dei marker statistici di interesse per l’applicazione della fuzzy logic. Questa tipologia di logica prevede la verifica di regole linguistiche per la corretta identificazione del tipo di scarica, individuata dal pattern in esame (interna, superficiale o corona). A seconda dei valori ricavati dai marker, vengono applicate le regole della fuzzy logic per poter classificare, nei campioni esaminati, l’attività di scarica parziale come interna.