Influenza dei difetti sul comportamento a fatica della lega AlSi10Mg prodotta con Laser Powder Bed Fusion

La tesi in oggetto ha lo scopo di valutare la fattibilità di sviluppare, sulla base di dati sperimentali, un metodo previsionale per il comportamento a fatica della lega AlSi10Mg prodotta mediante Laser Powder Bed Fusion, adattabile a componenti di dimensioni qualsiasi. La lega è stata trattata con invecchiamento diretto (T5) ottimizzato per ottenere una parziale riduzione delle tensioni residue senza comprometterne la durezza. Partendo da prove di fatica a flessione rotante condotte seguendo il metodo statistico Stair-Case per la definizione della resistenza a fatica, si vuole correlare il difetto killer, ossia quello che innesca la rottura del provino, alla caratterizzazione dei difetti condotta pre-prova con tomografia computerizzata ad alta risoluzione (µCT). Il difetto killer, osservato sulle superfici di frattura, viene analizzato in termini di dimensione, posizione e forma. Contemporaneamente è stato sviluppato un metodo per l’analisi dei difetti ottenuta con µCT tale da poter identificare quelli considerati più pericolosi, sulla base dello stato tensionale del campione, di posizione e dimensione dei difetti. Inoltre, è stata eseguita una caratterizzazione microstrutturale sulle sezioni trasversali dei campioni per valutare la quantità, dimensione e forma dei difetti e confrontarla con i dati di µCT. Per mostrare la relazione tra le dimensioni del difetto killer e la resistenza a fatica è stato adottato il diagramma di Kitagawa-Takahashi, con il modello di El Haddad. Dal confronto tra le metodologie è stata riscontrata una buona correlazione tra i difetti individuati come pericolosi dai dati di µCT e quelli che hanno effettivamente portato a rottura il campione, osservati in frattografia, supportando quindi la possibilità di sviluppare un metodo previsionale del comportamento a fatica. Quantitativamente, le dimensioni dei difetti killer sono nell’intervallo 90-130 µm e si trovano ad una distanza massima dalla superficie di non oltre 250 µm.

Un framework per la gestione di moduli di insider threat detection basati su eBPF

Gli Insider Threat sono una problematica complessa e rappresentano una delle problematiche più costose per le organizzazioni: questi ultimi possono, potenzialmente, realizzare grandi guadagni dalle informazioni sottratte danneggiando i clienti e provocando danni irreparabili all’organizzazione. Screening effettuati prima dell’assunzione e la costruzione di un relazione di fiducia basata sulla collaborazione rimangono fondamentali ma, spesso, non sono sufficienti ed è bene integrare il processo di difesa da insider threat all’interno delle business operation. Date queste precondizioni, l’obiettivo di questa tesi è stato quello di cercare un approccio sistematico per affrontare il problema dell’Insider Threat e di fornire nuovi strumenti per la sua detection altamente specializzati nel campo della cyber-security. Dato il campo applicativo, risulta fondamentale rendere questo processo totalmente trasparente al potenziale insider threat. Le più moderne tecniche di hiding, prese dai moderni malware, sono state implementate utilizzando eBPF rendendo possibile unire una quasi totale invisibilità unita alla stabilità garantita da questa tecnologia.

The quantum time-dependent harmonic oscillator

La presente tesi si propone di mostrare che l’oscillatore armonico quantistico dipendente dal tempo è un sistema risolvibile in maniera esatta. La trattazione è articolata in tre capitoli: nel primo viene richiamata la teoria dell’oscillatore armonico quantistico indipendente dal tempo, al fine di recuperare i concetti e le metodologie che sono comuni anche alla sua controparte dipendente dal tempo. Nel secondo capitolo viene fornita una breve introduzione alla teoria degli operatori invarianti dipendenti dal tempo, di cui ci interessa la loro relazione con le soluzioni dell’equazione di Schrödinger. Infine, nel terzo capitolo viene presentato il problema dell’oscillatore armonico quantistico dipendente dal tempo e discussa la sua soluzione esatta. In aggiunta se ne individuano gli stati coerenti.

Theoretical models and ab initio calculations of phonons

Questa tesi intende approfondire da un punto di vista, sia teorico sia computazionale, le proprietà fondamentali dei fononi. A tal fine, sono presentati i modelli quantistici di Einstein e di Debye che permettono la derivazione analitica degli osservabili macroscopici principali di un solido, come l’energia media e la capacità termica. Ciò è possibile tramite una trattazione meccano-statistica basata sull’approssimazione armonica dei modi normali di vibrazione degli ioni reticolari. Quindi, all’inizio si mostrano brevemente i risultati principali riguardanti l’oscillatore armonico quantistico. Successivamente, si approfondiscono i temi della dispersione fononica e della densità degli stati vibrazionali per reticoli cristallini 1D e 3D. Si ottiene che la prima non può essere considerata lineare se non nel limite di alte lunghezze d’onda, e che la seconda può presentare punti di singolarità correlati alla forma della relazione di dispersione. Infine, sono state svolte alcune analisi computazionali ab initio relative alla dispersione fononica, la densità degli stati vibrazionali e la frequenza di Debye del Carbonio (diamante) tramite i programmi VASP e Phonopy, confrontando i risultati con dati sperimentali presenti in letteratura.

Il Teorema di Connettività per i Campi Vettoriali di Hörmander, e Applicazioni

Lo scopo di questa Tesi di Laurea è quello di dimostrare il Teorema di Connettività per un sistema di Hörmander di campi vettoriali, il quale ci fornisce una condizione sufficiente alla connessione di un aperto di R^N tramite curve integrali a tratti dei campi vettoriali stessi e dei loro opposti, e presentarne alcune applicazioni. Nel primo Capitolo daremo i prerequisiti necessari alla trattazione degli altri tre, con particolare attenzione ad un Lemma che mette in relazione le curve integrali del commutatore di m campi vettoriali con la composizione di un opportuno numero di mappe flusso dei campi vettoriali che costituiscono il commutatore. Il secondo Capitolo è interamente dedicato alla dimostrazione del Teorema di Connettività e all'analisi della definizione delle curve subunitarie in un aperto rispetto ad una famiglia di campi vettoriali X, dette curve X-subunitarie. Nel terzo Capitolo forniremo una introduzione alla distanza di Carnot-Carathéodory, detta anche distanza di X-controllo, arrivando a dimostrare il notevolissimo Teorema di Chow-Rashewskii, il quale ci fornisce, sotto le ipotesi del Teorema di Connettività, una stima tra la metrica Euclidea e la distanza di X-controllo, mediante due disuguaglianze. Queste ultime implicano anche una equivalenza tra la topologia indotta dalla distanza di X-controllo e la topologia Euclidea. Nel quarto e ultimo Capitolo, indagheremo gli insiemi di propagazione tramite curve integrali dei campi vettoriali in X e tramite curve X-subunitarie. Utilizzando la definizione di invarianza di un insieme rispetto ad un campo vettoriale e avvalendosi del Teorema di Nagumo-Bony, dimostreremo che: la chiusura dei punti raggiungibili, partendo da un punto P in un aperto fissato, tramite curve integrali a tratti dei campi vettoriali in X e dei loro opposti, è uguale alla chiusura dei punti raggiungibili, sempre partendo da P, tramite un particolare sottoinsieme di curve X-subunitarie C^1 a tratti.

Studio e analisi termo-strutturale di modelli stampati 3D FDM per materiali polimerici

A fianco ai metodi più tradizionali, fin ora utilizzati, le tecnologie additive hanno subito negli ultimi anni una notevole evoluzione nella produzione di componenti. Esse permettono un ampio di range di applicazioni utilizzando materiali differenti in base al settore di applicazione. In particolare, la stampa 3D FDM (Fused Deposition Modeling) rappresenta uno dei processi tecnologici additivi più diffusi ed economicamente più competitivi. Le tempistiche e le richieste industriali obbligano sempre di più i progettisti ad uno studio predittivo delle problematiche che si possono incontrare in fare produttiva. In ambito strutturale questo è già da diversi anni la norma per componenti realizzati con tecnologia tradizionale. In ambito termico, invece, si procede ancora troppo spesso per tentativi seguendo l’esperienza del singolo. Per questo motivo, è necessario uno studio approfondito e un metodo per caratterizzare i transitori termici. Per fare ciò è necessario introdurre un modello semplificativo attraverso l’uso su un provino cilindrico. Questa semplice geometria permette di mettere in relazione la soluzione analitica, la soluzione approssimata agli elementi finiti e la soluzione sperimentale. Una volta ottenuti questi risultati sarà poi possibile, mantenendo invariati il ciclo termico e le caratteristiche termo-strutturali del materiale, modificare a piacimento la geometria per analizzare un qualsiasi componente. Questo approccio permette quindi di realizzare delle analisi FEM sui componenti da stampare e di predirne i gradienti termici e le deformazioni a partire dalle caratteristiche del materiale, della geometria e del ciclo termico a cui sono sottoposti. Permettendo così di valutare in modo preventivo e predittivo problematiche di stabilità geometrica e strutturale.

L’influenza araba in Italia con particolare riguardo alla lingua e cultura veneziana

La tesi tratta la relazione stabilitasi nel corso della storia tra il Vicino Oriente e l'Italia (con particolare attenzione alla città di Venezia) e analizza i cambiamenti che ciò ha apportato a livello linguistico e culturale. Vengono presi in considerazione tre approcci da cui osservare tale fenomeno: quello linguistico, quello artistico e quello architettonico. In questo modo è possibile osservare l'impatto che gli scambi con gli arabi hanno avuto nel nostro Paese.

Threat Hunting: analisi e sperimentazione di metodologie di ricerca di vulnerabilità

La caccia alle minacce è una tecnica in cui si ”cercano” fisicamente i ”rischi”, possibili o esistenti, all’interno dell’infrastruttura IT. La caccia alle minacce è un processo proattivo e iterativo guidato da esseri umani che cercano attività ostili, sospette o dannose che sono sfuggite al rilevamento mediante le attuali tecniche automatizzate attraverso reti, endpoint o set di dati come i file di registro. Un caso possibile può essere quello in cui un threat hunter abbia a disposizione per la caccia solo i registri di log provenienti da fonti diverse e anche da diversi sistemi operativi. Questi file di log potrebbero per esempio essere i dati di 3 giorni di raccolta provenienti da 30 40 macchine Windows o Linux e analizzando solamente essi il cacciatore deve essere in grado di determinare se e quali siano le minacce all’interno di una o più macchine del sistema. Un problema che sorge subito all’occhio è come si possa conciliare dati provenienti da fonti differenti, e soprattutto da sistemi operativi diversi; inoltre, un ulteriore problema può essere il determinare quando un file di log sia effettivamente un segnalatore di una minaccia e non un falso positivo. Di conseguenza è richiesta una visibilità totale della rete, nonché dei dati dei dispositivi. Idealmente, sarebbe necessario uno strumento che consenta di avere una panoramica di tutti questi dati con funzionalità di ricerca in grado di contestualizzare ciò che si vede per ridurre al minimo la quantità di ricerca manuale attraverso i registri non elaborati. In questo elaborato verranno mostrate le attività. di simulazione sia su ambiente Linux che ambiente Windows, in cui si andranno a cercare, attraverso gli strumenti che verranno elencati nei primi capitoli, le varie minacce. Verranno quindi simulati degli scenari di attacchi e ne si farà infine un’analisi su come al meglio rilevarli.

Progettazione ed Implementazione Front-End di un Sistema Integrato di Customer Assistance in ambito Industry 4.0

Al giorno d'oggi, l'industry 4.0 è un movimento sempre più prominente che induce ad equipaggiare gli impianti industriali con avanzate infrastrutture tecnologiche digitali, le quali operano sinergicamente con l'impianto, al fine di controllare ed aumentare la produttività, monitorare e prevenire i futuri guasti, ed altro ancora. In questo ambito, gli utenti sono parte integrante della struttura produttiva, in cui ricoprono ruoli strategici e flessibili, collaborano fra loro e con le macchine, con l’obiettivo di affrontare e risolvere proattivamente una vasta gamma di problemi complessi. In particolare, la customer assistance nel settore industriale può certamente variare in relazione a molteplici elementi: il tipo di produzione e le caratteristiche del prodotto; l'organizzazione ed infrastruttura aziendale interna; la quantità di risorse disponibili che possono essere impiegate; il grado di importanza ricoperto dalla customer assistance nel settore industriale di riferimento; altri eventuali fattori appartenenti ad un dominio specifico. Per queste ragioni, si è cercato di individuare e categorizzare nel modo più accurato possibile, il lavoro svolto in questo elaborato ed il contesto nel quale è stato sviluppato. In questa tesi, viene descritta un'applicazione web per erogare assistenza al cliente in ambito di industria 4.0, attraverso il paradigma di ticketing o ticket di supporto/assistenza. Questa applicazione è integrata nel sistema Mentor, il quale è attivo già da anni nel settore industriale 4.0. Il progetto Mentor è una suite di applicazioni cloud-based creata dal gruppo Bucci Industries, una multinazionale attiva nell'industria e nell'automazione con sede a Faenza. In questo caso di studio, si presenta la progettazione ed implementazione della parte front-end del suddetto sistema di assistenza, il quale è integrato ed interconnesso con un paio di applicazioni tipiche di industria 4.0, presenti nella stessa suite di applicazioni.

Data modelling su database non relazionali: confronto di prestazioni su operazioni CRUD

Gli obiettivi di questi tesi sono lo studio comparativo di alcuni DBMS non relazionali e il confronto di diverse soluzioni di modellazione logica e fisica per database non relazionali. Utilizzando come sistemi di gestione due DBMS Document-based non relazionali, MongoDB e CouchDB, ed un DBMS relazionale, Oracle, sarà effettuata un’analisi di diverse soluzione di modellazione logica dei dati in database documentali e uno studio mirato alla scelta degli attributi sui quali costruire indici. In primo luogo verrà definito un semplice caso di studio su cui effettuare i confronto, basato su due entità in relazione 1:N, sulle quali sarà costruito un opportuno carico di lavoro. Idatabase non relazionali sono schema-less, senza schema fisso, ed esiste una libertà maggiore di modellazione. In questo lavoro di tesi i dati verranno modellati secondo le tecniche del Referencing ed Embedding che consistono rispettivamente nell’inserimento di una chiave (riferimento) oppure di un intero sotto-documento (embedding) all’interno di un documento per poter esprimere il concetto di relazione tra diverse entità. Per studiare l’opportunità di indicizzare un attributo, ciascuna entità sarà poi composta da due triplette uguali di attributi definiti con differenti livelli di selettività, con la differenza che su ciascun attributo della seconda sarà costruito un indice. Il carico di lavoro sarà costituito da query definite in modo da poter testare le diverse modellazioni includendo anche predicati di join che non sono solitamente contemplati in modelli documentali. Per ogni tipo di database verranno eseguite le query e registrati i tempi, in modo da poter confrontare le performance dei diversi DBMS sulla base delle operazioni CRUD.

Applicazione della metodologia LCA alle cassette a sponde abbattibili

A partire dagli anni ’70, il modello di sviluppo legato alla crescita economica ha cominciato ad essere messo in discussione ed è iniziato ad emergere un nuovo modello basato sulla sostenibilità, nel quale lo sviluppo non è solo economico, ma anche sociale ed ambientale, e che tiene conto non solo dei bisogni attuali ma anche di quelli futuri. Al fine di analizzare in maniera scientifica queste problematiche, nel corso dei decenni successivi sono state create delle metodologie utili a quantificare l’impatto ambientale legato al ciclo di vita dei prodotti, in modo tale da individuare dei miglioramenti da implementare nelle fasi critiche individuate. Una delle metodologie più diffuse è quella del Life Cycle Assessment (LCA), la quale quantifica i flussi di materia ed energia appartenenti ad un ciclo di vita di un prodotto e ne valuta gli impatti ambientali. L’obiettivo dell’analisi LCA elaborata in questa tesi è valutare lo scenario as-is di produzione delle cassette a sponde abbattibili utilizzate nella filiera dell’ortofrutta di CPR System, ma anche valutare scenari alternativi ad esso ed identificare possibilità di migliorare il modo in cui vengono prodotte le cassette, in modo da facilitare il raggiungimento di specifici obiettivi di performance ambientali, sempre più necessari nell’attuale panorama industriale. Partendo dalla progettazione di un database e dalla raccolta dati del sistema aziendale analizzato, l’elaborato descrive la modellizzazione del ciclo di vita attraverso il software SimaPro e delle fasi eseguite per individuare le criticità principali e valutare scenari alternativi per ridurre l’impatto delle cassette a sponde abbattibili prodotte.

Proprietà meccaniche ottenibili tramite Additive Manufacturing

Da anni è iniziata la quarta rivoluzione industriale che ha portato all’industria 4.0 e che, a differenza delle precedenti, è trainata da diverse tecnologie, tra cui l’Additive Manufacturing (AM). Lo scopo della tesi è quello di analizzare i prodotti ottenuti tramite AM e le loro proprietà meccaniche (resistenza a trazione, durezza, vita a fatica…) per paragonarli con quelli ottenuti tramite metodi convenzionali (fonderia, lavorazione alle macchine utensili…). Il primo capitolo introduttivo presenta le principali caratteristiche del processo, tra cui: i materiali utilizzati, i parametri, i vantaggi e gli svantaggi rispetto ai tradizionali metodi produttivi e l’evoluzione della tecnologia. Il secondo capitolo tratta più in particolare degli acciai, delle leghe di alluminio e di titanio, illustrando le principali tecnologie utilizzate e l’influenza dei parametri di processo e mette, poi, in relazione la microstruttura che si crea in seguito ad AM con le proprietà meccaniche ottenibili, anche in virtù di post-trattamenti. Nel terzo capitolo sono esaminati i materiali polimerici. Vengono illustrate le principali tecnologie utilizzate e le proprietà meccaniche ottenibili in relazione alla materia prima utilizzata e ai parametri di processo. Infine, sono valutati gli effetti del rinforzo in fibra sulle proprietà meccaniche. Nel capitolo finale, si traggono le conclusioni sull’utilità dell’AM per capirne l’importante ruolo all’interno della fabbricazione. Si analizza brevemente il mercato italiano relativo alle tecnologie additive e si fa un accenno a quelli che potrebbero essere gli sviluppi nei prossimi anni.

Caratterizzazione geologica, strutturale e stratigrafica dell’area di Passo Rolle (TN)

Questa tesina ha lo scopo di mettere in luce l’assetto tettono-stratigrafico dell’area attorno a Passo Rolle, vicino a San Martino di Castrozza (TN), concentrandosi in particolare nella zona compresa tra Baita Segantini, Malga Fosse di Sopra, Malga Rolle e la base del Monte Castellazzo. All’interno dell’area studiata si trovano, nella zona orientale, la Cima Costazza e Punta Rolle, e, in quella occidentale, la Tognazza. Nell’area affiora un’unità vulcanica, in particolare nella zona sud-orientale, deposta nel Permiano Inferiore che costituisce il Piastrone Porfirco Atesino, a cui si sovrappongono formazioni sedimentarie del Permiano e Triassico Inferiore. Le unità triassiche in particolare documentano lo sviluppo di condizioni subsidenti nell'area causate dalla progressiva apertura dell’Oceano Tetide avvenuta fra il Permiano e il Triassico. L’evoluzione paleoambientale evidenzia un relativo e progressivo innalzamento del livello del mare. Si passa infatti da un ambiente di pianura alluvionale, con le Arenarie di Val Gardena, ad uno di transizione, dato dalla Formazione a Bellerophon, fino ad un ambiente francamente marino con la Formazione di Werfen, composta da nove membri. Le Arenarie di Val Gardena e alcuni membri della Formazione di Werfen presentano l’intrusione di Dicchi Basici messi in posto nel Ladinico a causa di un aumento della tettonica distensiva. Queste formazioni, assieme al Piastrone Porfirico Atesino, che poggia sul basamento, sono divise dalla presenza di un grande lineamento orientato NNO-SSE chiamato Faglia di Passo Rolle, che si è attivato più volte nel corso della storia geologica del luogo. Fra le altre strutture presenti, in particolare nelle sequenze sedimentarie, si segnalano delle pieghe con asse immergente verso N-NE e cinematica conforme al grande sovrascorrimento del Cismon della Pala.

Impossible Space circolare per favorire la locomozione naturale

In questa relazione di tesi verrà affrontato il problema della locomozione naturale in ambienti virtuali che possiedono una grandezza maggiore dello spazio reale nel quale l'utente si muove. Negli anni sono stati sviluppati numerosi metodi di navigazione, ma tra tutti la locomozione naturale è il sistema che porta un livello di immersione maggiore nello spazio virtuale, più di qualsiasi altra tecnica. In questo lavoro di tesi verrà proposto un algoritmo in grado di favorire la locomozione naturale all'interno di lunghi spazi chiusi, andando a modificare la geometria dello spazio virtuale (che andrà ad assumere una forma circolare) e mantendendo comunque un certo grado di realismo dal punto di vista dell'utente. L'obiettivo è quello di tradurre uno spazio virtuale chiuso e lungo (caso comune: un corridoio) in una forma circolare inscritta in una stanza di 2x2m, con un approccio simile a quello degli impossible spaces, con l'obiettivo di studiare in futuro entro quale percentuale di sovrapposizione l'utente si accorge di trovarsi in una geometria impossibile. Nel primo capitolo verranno introdotti i concetti chiave di VR e AR, nonché un'introduzione all'Engine Unity e al software Blender. Nel secondo capitolo si tratterà di computer graphics, quindi si introdurranno i concetti base della grafica 3D con un focus sulla matematica alla base di ogni processo grafico. Nel terzo capitolo verrà affrontano il concetto di embodiment, quindi la percezione del proprio corpo, l'importanza dell'immersitvità dei sistemi virtuali e verrà descritto un paper precedentemente realizzato riguardante tale concetto. Nel capitolo quattro si parlerà del movimento all'interno dei sistemi di realtà virtuale, della locomozione naturale e delle tecniche per rendere tale metodo più accessibile. Nel capitolo cinque infine verrà descritto l'algoritmo realizzato e verranno mostrati i risultati.

Submesoscale features in regions with different baroclinic deformation radius

In questo studio, un modello nidificato "child" ad alta risoluzione (risoluzione 1/48°) è ottenuto attraverso la piattaforma SURF. Il modello "child" è ottenuto tramite "downscaling" dei campi medi giornalieri dal modello globale "parent" (1/12°). Questo permette di osservare le caratteristiche della sottomesoscala in due regioni dell'oceano Atlantico settentrionale, Azzorre e Bermuda, dal 4 al 12 gennaio 2021. Questa tesi si propone di condurre un'analisi preliminare della relazione fra il raggio di deformazione baroclino e l'esordio dell'attività di sottomesoscala, nelle regioni di interesse. A questo scopo, vengono effettuati molti confronti fra i campi risultanti dal "parent" e dal "child". In particolare, ci concentriamo sulla Mixed-Layer Instability (MLI) studiata attraverso variabili come la Mixed-Layer Depth (MLD), la vorticità relativa, le velocità orizzontali e verticali, l'energia cinetica e la frequenza di Brunt-Vaisala. Dai risultati, mentre il modello "parent" sembra inadeguato, quello "child" è in grado di rilevare la MLI e la presenza di filamenti e scie topografiche in entrambe le regioni, riproducendo meglio le correnti orizzontali e verticali alla sottomesoscala. Ciò fornisce una connessione tra mesoscala e sottomesoscala: mentre nelle Azzorre la MLI sembra svolgere un ruolo chiave nella ristratificazione della colonna d'acqua, lo stesso non sembra nelle Bermuda dove i vortici di mesoscala sono più ampi, influendo maggiormente sulla stratificazione verticale. Qui, i processi di ristratificazione sembrerebbero correlati alle mesoscale piuttosto che alle sottomesoscale. La MLI giocherebbe comunque un ruolo nella generazione di correnti alla sottomesoscala, insieme ad altri processi come la frontogenesi e le scie topografiche. In conclusione, il valore del raggio di deformazione baroclino non sembra influenzare l'attivazione dei processi di sottomesoscala, mentre sembrerebbe determinare l'importanza della MLI nel processo di ristratificazione.