Analisi ed efficientamento di un impianto tecnologico di lavorazione a freddo delle lamiere per la produzione di elettrodomestici in serie: il caso Electrolux S.p.A.

L'elaborato di tesi prende in esame il processo di produzione della linea “Pordenone”, in funzione nello stabilimento forlivese, di Electrolux S.P.A., azienda leader mondiale nella produzione di elettrodomestici e apparecchiature per l'uso domestico. Ragione del presente studio è l’acquisizione dell’opportuna comprensione del funzionamento dell’impianto al fine di individuare le inefficienze, le causali di fermata per la pianificazione della produzione o per gli interventi di manutenzione correttiva dei guasti, in modo da poter suggerire azioni di miglioramento. Per monitorare il processo di produzione è stato applicato all'oggetto di indagine lo studio del diagramma di Pareto, che ha permesso di evidenziare le principali causali all'origine della riduzione di produttività. Oltre a suggerire ipotesi di azioni di miglioramento, si è sottolineata l'importanza del coinvolgimento motivazionale degli operatori nelle procedure di lavoro, e l'opportunità di una maggiore implementazione del sistema informatico. Ragioni di carattere economico o di sicurezza dell'operatore, non hanno permesso di accogliere alcuni suggerimenti proposti, mentre sono state apportate migliorie nella produzione attraverso la riduzione delle fermate di lavoro. Nell'attuale clima di incertezza produttiva e di calo di domanda da parte di alcuni mercati, non è facile elaborare strategie di produzione innovative, tali da garantire la qualità del prodotto offerto e i risultati economici attesi, nel rispetto autentico dell'ambiente della collettività. Tuttavia, si ritiene che le informazioni generate da un adeguato monitoraggio del sistema offrano la possibilità di guardare avanti verso i progressi, piuttosto che concentrare la propria attenzione sulle opportunità mancate, e che le stesse informazioni possano trasformare l'agire dalla reattività (azione dopo il fatto) alla proattività (agire in anticipo) per migliorare efficacemente il processo di produzione.

Sviluppo di applicazioni real-time multi-utente: un middleware basato sulla piattaforma Croquet

Il crescente aumento del numero di dispositivi connessi in rete e delle applicazioni che vengono sviluppate su di essa ha trasformato completamente lo standard delle applicazioni che una volta erano single-user, facendo quindi arrivare lo standard ad un modello multi-utente, dove si ha un ambiente collaborativo e condiviso in cui le azioni di un determinato utente vanno ad influire anche sugli altri. Altra necessità al giorno d'oggi è inoltre che queste applicazioni multi-utente siano anche real-time, ovvero che si aggiornino in tempo reale e che di conseguenza l'azione di un singolo utente debba essere trasmessa e notificata a tutti gli altri in modo che possano gestirla di conseguenza. Lo sviluppo di tali applicazioni risulta quindi particolarmente complesso, tuttavia esistono anche soluzioni architetturali e framework che risultano essere dedicati all'implementazione di tale tipo di applicazioni, il quale obiettivo è quindi quello di semplificarne e velocizzarne lo sviluppo, tramite l'utilizzo di pattern o architetture mirate all'implementazione di un tipo specifico di tali applicazioni. Un esempio di tali soluzioni è Croquet, che permette la creazione di applicazioni real-time multi-utente, senza la necessità di scrivere alcun codice per la parte server o per la gestione delle comunicazioni tra i peer, ma solamente sviluppando il modello del client, ovvero la parte in esecuzione sulla macchina dell'utente. Questa tesi andrà quindi ad effettuare uno studio sul funzionamento e sull'architettura di Croquet proseguendo quindi con lo sviluppo di un middleware che permetta la creazione di applicazioni real-time multi-utente indipendenti dal linguaggio di sviluppo, le quali si potranno quindi appoggiare sull'architettura di Croquet per funzionare e comunicare, avendo quindi a disposizione tutte le garanzie che vengono offerte da Croquet e dalla sua architettura.

Sistemi di testing per celle a combustibile

La tesi tratta funzionamento, ottimizzazione e applicazioni delle celle a combustibile PEM (PEM Fuel cells) che sono dispositivi capaci di convertire reversibilmente l’energia chimica contenuta nel combustibile in energia elettrica, energia termica e prodotti di reazione. Vengono analizzati gli effetti di temperatura, pressione e umidità sulla cinetica, sulle prestazioni, sull’OCV, sulla conduttività della membrana e sul trasferimento di massa. In generale, per utilizzare una cella a combustibile PEM, ogni componente, materiale e l'assemblaggio delle celle dovrebbe essere realizzabile e ottimizzato per ottenere alte prestazioni. Vengono, quindi, trattate le tecniche di test e diagnosi che rappresentano il modo più popolare e affidabile per convalidare i progetti di questi componenti e della cella combustibile stessa. Inoltre, si affronta il discorso sull’idrogeno definito come vettore di energia che ha assunto un ruolo di primo piano per un mercato a basse emissioni; infatti ha un grande potenziale come combustibile alternativo e assume un ruolo centrale nello scenario energetico del futuro. Infine, si parla anche di applicazioni pratiche ed esistenti riguardanti le celle a combustibile in veicoli, come le proposte di Nuvera ed EH Group.

DevOps e la mia esperienza presso Capgemini S.p.A.

Il mercato IT è in costante evoluzione e il termine DevOps sta diventando sempre più popolare. Però, come tutte le altre metodologie, ha i suoi vantaggi e svantaggi. Qui li mostrerò e vedremo una sua applicazione attraverso un'esperienza personale.

On the Iwasawa decomposition

La decomposizione di Iwasawa è una particolare decomposizione di un gruppo di Lie semisemplice G in cui i fattori sono sottogruppi chiusi di G. In questa tesi si analizza nello specifico la decomposizione di Iwasawa del gruppo SL(2,R), dandone alcune rilevanti applicazioni algebriche e topologiche (Capitolo 2). Alcune di queste sono ad esempio l'omeomorfismo di SL(2,R) con l'interno di un toro solido e l'esistenza di un unico omomorfismo continuo (quello banale) da SL(2,R) al gruppo additivo di R. Vengono poi studiate le classi di coniugio degli elementi di SL(2,R) in termini dei sottogruppi che compaiono nella decomposizione di Iwasawa e l'azione di SL(2,R) sul semipiano superiore del piano complesso, da cui è possibile ricavare una dimostrazione alternativa della decomposizione di Iwasawa. Il Capitolo 1 raccoglie il materiale introduttivo utile ad una lettura autocontenuta della tesi; in particolare vengono introdotti i gruppi topologici GL(n,F) e SL(n,F) (dove F indica un campo), l'azione di un gruppo su un insieme e l'esponenziale di matrici. Infine nel Capitolo 3 viene estesa la dimostrazione della decomposizione di Iwasawa ai gruppi SL(n,R) e SL(n,C).

Messa a punto di un metodo di estrazione mediante estrazione ad ultrasuoni con sonotrodo per il recupero di composti fenolici da sansa di mele

Ogni anno le industrie alimentari che processano frutta e verdura generano un’enorme quantità di sottoprodotti, tra cui semi, bucce e sansa, che contengono grandi quantità di composti bioattivi come polisaccaridi, fibre alimentari e polifenoli. Per quanto riguarda il settore delle mele, uno dei frutti più consumati al mondo, solo il 70% di queste vengono consumate come fresche, mentre, il 25-30% viene scartato durante le fasi di produzione del succo, di sidro o di aceto di mele. Il principale sottoprodotto ottenuto da queste lavorazioni prende il nome di sansa di mela, la cui composizione è complessa (fibre alimentari, zuccheri fermentescibili, minerali, vitamine, fenoli, carotenoidi, ecc.) e dipende dalla varietà del frutto e dalla tecnologia di lavorazione. La sansa viene utilizzata in applicazioni alimentari e mangimistiche, ma anche nei sistemi di digestione anaerobica. Nonostante ciò, a causa della mancanza di tecniche di estrazione sostenibili, il valore di questi sottoprodotti è considerato trascurabile paragonato a quello di frutta e verdura processata. I metodi di estrazione convenzionali presentano alcune limitazioni in termini di tempo, energia e quantità di solvente utilizzato. L'estrazione assistita da ultrasuoni (UAE) con sonotrodo, tecnica innovativa non termica, permette di estrarre componenti bioattivi in ​​brevissimo tempo, a bassa temperatura e con poco solvente. Tra i componenti bioattivi presenti nella sansa di mela, i composti fenolici rappresentano una classe varia ed interessante, in particolare per la loro azione positiva sulla salute umana. La messa a punto di un metodo completo e affidabile per l’estrazione e per la caratterizzazione dei composti fenolici bioattivi nella mela, utilizzando HPLC-ESI-TOF-MS come potente tecnica analitica, è stato uno degli obiettivi principali di tutta la sperimentazione.

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.

La riabilitazione dello schema corporeo in fisioterapia: Scoping Review

Introduzione Lo schema corporeo è la rappresentazione sensori-motoria del corpo che elabora input propriocettivi, somatosensoriali e visivi per guidare le azioni. Poiché è essenziale nel movimento, è importante considerare il valore che ha un intervento sullo schema corporeo nella riabilitazione motoria. Studiare i diversi interventi in letteratura, può essere un interessante primo approccio all’argomento per un fisioterapista. Obiettivi Il fine di questa Scoping Review è quello di identificare in letteratura gli interventi riabilitativi, in ambito fisioterapico, che agiscono sullo schema corporeo del paziente osservandone poi, le popolazioni e gli outcome. Metodi Nel periodo tra luglio e ottobre 2022, si sono interrogate le seguenti banche dati: PubMed, Cochrane Library, PEDro, Scopus, Trip Medical Database. La ricerca ha prodotto 138 risultati, selezionati poi con i seguenti criteri di eleggibilità: lingua inglese o italiana, testo integrale, intervento riabilitativo rivolto allo schema corporeo, descrizione dell'outcome relativo e intervento di competenza fisioterapica. Hanno soddisfatto i criteri fissati 17 studi. Risultati All'interno dei 17 studi, sono stati individuati 17 interventi diversi con un'azione sullo schema corporeo; lo spettro di popolazione osservato include pazienti eterogenei per numero, età e condizione. Gli outcome descritti sono: modifiche nella rappresentazione corporea, miglioramento della performance motoria, riduzione del dolore, incremento del ROM, diminuzione della paura del movimento, del distress psicologico e aumento della qualità della vita. Conclusioni La revisione ha mostrato grande eterogeneità negli interventi, nelle popolazioni e negli outcome. La presente Scoping Review, fornisce una panoramica di come la letteratura tratti il tema della riabilitazione dello schema corporeo in fisioterapia, mostra diverse tipologie di trattamento e lascia intuire le potenzialità di questo tipo di intervento sulla riabilitazione del paziente.

Modified gravity with tensor computer algebra: a case study

Il modello ΛCDM è il modello cosmologico più semplice, ma finora più efficace, per descrivere l'evoluzione dell'universo. Esso si basa sulla teoria della Relatività Generale di Einstein e fornisce una spiegazione dell'espansione accelerata dell'universo introducendo la costante cosmologica Λ, che rappresenta il contributo della cosiddetta energia oscura, un'entità di cui ben poco si sa con certezza. Sono stati tuttavia proposti modelli teorici alternativi che descrivono gli effetti di questa quantità misteriosa, introducendo ad esempio gradi di libertà aggiuntivi, come nella teoria di Horndeski. L'obiettivo principale di questa testi è quello di studiare questi modelli tramite il tensor computer algebra xAct. In particolare, il nostro scopo sarà quello di implementare una procedura universale che permette di derivare, a partire dall'azione, le equazioni del moto e l'evoluzione temporale di qualunque modello generico.

Utilizzo della TMS nella riabilitazione post-ictus

L’ictus è la terza causa di morte al mondo, dopo le malattie cardiovascolari e le neoplasie, causando il 10-12% di tutti i decessi all’anno, ed è la principale causa di invalidità e la seconda di demenza. Solamente il 25% dei pazienti sopravvissuti guarisce completamente, mentre il 75% sopravvive con qualche forma di disabilità, e la metà di questi presenta un’invalidità talmente grave da non essere più autosufficiente. Il peso di questo disturbo dal punto di vista economico è altrettanto importante. In tutto il mondo, l’ictus è responsabile di circa il 2-4% dei costi totali per la sanità, e più del 4% delle spese sanitarie dirette nei paesi industrializzati. È evidente la necessità ottimizzare la diagnosi, il trattamento e la riabilitazione di questo disturbo. Una delle tecniche emergenti per la riabilitazione post ictus è la stimolazione magnetica transcranica (TMS). La TMS è una tecnica non invasiva e indolore di neuro stimolazione e neuro modulazione che permette di stimolare o inibire alcune aree della corteccia cerebrale. Questo metodo prevede l’induzione di un campo elettrico all’interno del cervello per mezzo della variazione di un campo magnetico esterno, che genererà la depolarizzazione o iperpolarizzazione dei neuroni sottostanti, e la conseguente nascita di potenziali di azione. Quando viene applicata alla corteccia motoria primaria, la TMS può attivare il tratto corticospinale e provocare degli spasmi nei muscoli associati, ovvero dei potenziali motori evocati (MEP), che possono fornire informazioni su diversi parametri fisiologici. La TMS può essere utilizzata come strumento di diagnosi, prognosi e terapia, a seconda della tipologia di stimolazione utilizzata, dalla tipologia di bobina e dalla sede della stimolazione. Lo scopo di questo elaborato è di descrivere le recenti applicazioni della TMS nella riabilitazione post ictus, facendo una distinzione tra il suo utilizzo come strumento di prognosi e di terapia.

Gli integrali di cammino

Normalmente la meccanica quantistica non relativistica è ricavata a partire dal fatto che una particella al tempo t non può essere descritta da una posizione $x$ definita, ma piuttosto è descritta da una funzione, chiamata funzione d'onda, per cui vale l'equazione differenziale di Schr\"odinger, e il cui modulo quadro in $x$ viene interpretato come la probabilità di rilevare la particella in tale posizione. Quindi grazie all'equazione di Schr\"odinger si studia la dinamica della funzione d'onda, la sua evoluzione temporale. Seguendo quest'approccio bisogna quindi abbandonare il concetto classico di traiettoria di una particella, piuttosto quello che si studia è la "traiettoria" della funzione d'onda nei vari casi di campi di forze che agiscono sulla particella. In questa tesi si è invece scelto di studiare un approccio diverso, ma anch'esso efficace nel descrivere i fenomeni della meccanica quantistica non relativistica, formulato per la prima volta negli anni '50 del secolo scorso dal dott. Richard P. Feynman. Tale approccio consiste nel considerare una particella rilevata in posizione $x_a$ nell'istante $t_a$, e studiarne la probabilità che questa ha, nelle varie configurazioni dei campi di forze in azione, di giungere alla posizione $x_b$ ad un successivo istante $t_b$. Per farlo si associa ad ogni percorso che congiunge questi due punti spazio-temporali $a$ e $b$ una quantità chiamata ampiezza di probabilità del percorso, e si sviluppa una tecnica che permette di sommare le ampiezze relative a tutti gli infiniti cammini possibili che portano da $a$ a $b$, ovvero si integra su tutte le traiettorie $x(t)$, questo tipo di integrale viene chiamato integrale di cammino o più comunemente path integral. Il modulo quadro di tale quantità darà la probabilità che la particella rilevata in $a$ verrà poi rilevata in $b$.

Proposal for the acoustic requalification of a site of the "Bologna Engineering School", including the design of a noise barrier

Il lavoro di questa tesi ha riguardato lo studio e l'analisi acustica del sito della Scuola di Ingegneria di Bologna in Via Terracini con l’obiettivo di trovare una soluzione per mitigare il disturbo sonoro rilevato nella zona. Dalle diverse misurazioni fonometriche si è stabilita l’entità numerica di partenza che ha richiesto un’implentazione attraverso delle misurazioni di tipo qualitativo con delle registrazioni in formato wave ed annotando al contempo il numero ed il tipo di veicoli che circolavano. Attraverso l'implementazione dei vari dati ricavati dai rilievi delle diverse sezioni, è stata convalidata la consapevolezza del principale problema dell'area: l'inquinamento acustico causato dal traffico stradale. Lo studio è proseguito monitorando le bande di frequenza che interessavano questo tipo di rumore e quantificando il livello in dB che superava i limiti imposti dalla normativa. Non essendo possibile ridurre il traffico acustico direttamente alla fonte, si è optato per misure di protezione del recettore che si sono configurate nell'inserimento dell'asfalto fonoassorbente e nella progettazione di una barriera acustica. Dopo aver ricercato i diversi tipi di barriere, si è deciso per la barriera con cristalli sonici. Si è indagato quali fattori influissero sulle proprietà dei cristalli sonici: la distribuzione geometrica, la frazione di riempimento e la dimensione degli elementi periodici influenzano la formazione delle bande proibite, la loro larghezza e quindi la capacità fonoisolante del cristallo sonico. In base all'altezza degli edifici e alla loro distanza dalla strada, Via Terracini è stata suddivisa in quattro sezioni. Infine, per le varie sezioni, è stato riprodotto il grafico frequenza/perdita di inserzione che ha confermato una riduzione del livello sonoro di quasi 15 dB. Il progetto ha previsto anche il dimensionamento e la verifica delle azioni statiche (carichi e azione del vento) e dell'azione sismica del sistema strutturale della barriera.

Middleware per integrazione di dati eterogenei per sistemi SAP su Openshift

Questo lavoro di tesi è incentrato sullo sviluppo di una soluzione applicativa nell'ambito dell'integrazione di sistemi software basati su tecnologie considerate legacy. In particolar modo è stato studiata una soluzione integrativa per il popolare ERP gestionale Sap su piattaforma Cloud OpenShift. La soluzione è articolata su diversi livelli basati sull'architettura proposta da Gartner nell'ambito della Digital Integration Hub. È stata sviluppata tramite tecnologie open source leader nel settore e tecnologie cloud avanzate.

Stereo matching su GPU

La Stereo Vision è un popolare argomento di ricerca nel campo della Visione Artificiale; esso consiste nell’usare due immagini di una stessa scena,prodotte da due fotocamere diverse, per estrarre informazioni in 3D. L’idea di base della Stereo Vision è la simulazione della visione binoculare umana:le due fotocamere sono disposte in orizzontale per fungere da “occhi” che guardano la scena in 3D. Confrontando le due immagini ottenute, si possono ottenere informazioni riguardo alle posizioni degli oggetti della scena.In questa relazione presenteremo un algoritmo di Stereo Vision: si tratta di un algoritmo parallelo che ha come obiettivo di tracciare le linee di livello di un area geografica. L’algoritmo in origine era stato implementato per la Connection Machine CM-2, un supercomputer sviluppato negli anni 80, ed era espresso in *Lisp, un linguaggio derivato dal Lisp e ideato per la macchina stessa. Questa relazione tratta anche la traduzione e l’implementazione dell’algoritmo in CUDA, ovvero un’architettura hardware per l’elaborazione pa- rallela sviluppata da NVIDIA, che consente di eseguire codice parallelo su GPU. Si darà inoltre uno sguardo alle difficoltà che sono state riscontrate nella traduzione da *Lisp a CUDA.

La gestione scorte a magazzino: il progetto 'ROP' in Ravaglioli S.p.A.

L’elaborato di tesi presentato è stato svolto con l’obiettivo di identificare una metodologia chiara ed efficacie per consentire alle aziende di classificare correttamente i codici presenti a magazzino e assegnarvi la politica di approvvigionamento più idonea. Il focus del lavoro si è incentrato sulla realizzazione di un trade off tra l’obiettivo delle aziende di evitare lo stock out di merce, e quello di riuscire a contenere le giacenze medie dei codici a magazzino e delle corrispettive scorte di sicurezza, che rappresentano sempre un insieme di costi ingenti. Partendo quindi da una analisi dettagliata delle politiche di approvvigionamento dettate dalla letteratura, ci si sofferma sul metodo a punto di riordino, individuato come il più idoneo a perseguire questa mission. Segue quindi una descrizione dei passi da seguire per riuscire a determinare il perimetro di azione più compatibile con le caratteristiche del modello, fino a giungere alla reale simulazione di calcolo e successiva implementazione dei nuovi dati a sistema. Il tutto viene svolto facendo riferimento ai dati appartenenti all’azienda Ravaglioli S.p.A. di Sasso Marconi (BO), che ha permesso di svolgere ed implementare tutti gli steps e le analisi elencate nell’elaborato di tesi e sta attualmente lavorando utilizzando gli output del lavoro presentato. La tesi si conclude con la valutazione degli effettivi benefici derivanti dal progetto e una proposta di possibile sviluppo futuro dell’elaborato.