Dimensione di un insieme parzialmente ordinato

Con questo lavoro si studia l'argomento della dimensione di un insieme parzialmente ordinato P, introdotta nel 1941 da Dushnik e Miller, tramite diagrammi di Hasse, in modo da avere una visione geometrica di un concetto algebrico. Il Teorema di Szpilrajn permette di linearizzare un qualsiasi insieme parzialmente ordinato P: questo anticipa la definizione di dimensione, siccome tutte le linearizzazioni sono realizzatori: le loro coppie comuni sono presenti anche in P. La dimensione viene definita come il minimo numero cardinale m di realizzatori per P. Vengono rivisti alcuni dei risultati già pubblicati da M. Barnabei, F. Bonetti e R. Pirastu e ripresi da M. Silimbani nella sua Tesi di Dottorato: ci si concentra sulla dimensione 2 in cui può essere definito un etichettamento doppio, che si può utilizzare per avere un algoritmo poco costoso atto a sapere se un insieme parzialmente ordinato ha dimensione 2 : esso pone le basi per una corrispondenza biunivoca tra un insieme parzialmente ordinato di cardinalità n dotato di un etichettamento doppio e l'insieme delle permutazioni su n elementi. Infine viene spiegato un altro modo per scoprire se un insieme parzialmente ordinato P ha dimensione al massimo 2 servendosi del solo diagramma di Hasse: ciò succede se e solo se il grafo di inconfrontabilità di P ammette un orientamento transitivo.

Deployment automatico di applicazioni specificate in linguaggio ABS

Da quando è iniziata l'era del Cloud Computing molte cose sono cambiate, ora è possibile ottenere un server in tempo reale e usare strumenti automatizzati per installarvi applicazioni. In questa tesi verrà descritto lo strumento MODDE (Model-Driven Deployment Engine), usato per il deployment automatico, partendo dal linguaggio ABS. ABS è un linguaggio a oggetti che permette di descrivere le classi in una maniera astratta. Ogni componente dichiarato in questo linguaggio ha dei valori e delle dipendenze. Poi si procede alla descrizione del linguaggio di specifica DDLang, col quale vengono espressi tutti i vincoli e le configurazioni finali. In seguito viene spiegata l’architettura di MODDE. Esso usa degli script che integrano i tool Zephyrus e Metis e crea un main ABS dai tre file passati in input, che serve per effettuare l’allocazione delle macchine in un Cloud. Inoltre verranno introdotti i due sotto-strumenti usati da MODDE: Zephyrus e Metis. Il primo si occupa di scegliere quali servizi installare tenendo conto di tutte le loro dipendenze, cercando di ottimizzare il risultato. Il secondo gestisce l’ordine con cui installarli tenendo conto dei loro stati interni e delle dipendenze. Con la collaborazione di questi componenti si ottiene una installazione automatica piuttosto efficace. Infine dopo aver spiegato il funzionamento di MODDE viene spiegato come integrarlo in un servizio web per renderlo disponibile agli utenti. Esso viene installato su un server HTTP Apache all’interno di un container di Docker.

Valutazione funzionale ed economica di una innovativa macchina utensile in alluminio

L’oggetto di studio della presente tesi è una macchina utensile ad altra produttività con tavola rotante (transfer) che presenta numerosi elementi di innovazione rispetto a versioni precedenti. In particolare è stata ottimizzata la scelta dei materiali che compongono i vari elementi della struttura, sono stati ripensati gli impianti di servizio e, infine, è stato reso possibile l’impiego di tecnologie di lavorazione che permettono una notevole riduzione del consumo elettrico. Il transfer è costituito da una stazione di carico/scarico e da numerose stazioni di lavoro equipaggiate con moduli a tre assi che permettono di eseguire le diverse operazioni da realizzare sul componente in lavorazione. Le unità a tre assi vengono impiegate per movimentare gli elettromandrini che mettendo in rotazione gli utensili permettono l’esecuzione delle diverse lavorazioni. L’attività svolta è stata suddivisa in diverse fasi: nella prima è stata realizzata un’analisi funzionale che ha permesso di valutare (i) la rigidezza dell’unità a tre assi che equipaggia ogni stazione di lavoro e (ii) l’errore di posizionamento indotto dal riscaldamento delle viti di manovra che permettono la movimentazione dei tre assi della macchina. Nella seconda fase sono state valutate le potenzialità della tecnologia Minimum Quantity Lubrication (MQL) come alternativa ecologica ed economica alla tradizionale tecnica di lubrorefrigerazione con emulsione. La tecnica MQL consiste nel nebulizzare nella zona di taglio un aerosol composto da aria e olio. In particolare è stato calibrato il sistema di generazione dell’aerosol stesso ed è stata indagata l’influenza dei diversi parametri di taglio sulla qualità della lavorazione. Infine è stata effettuata un’analisi economica che ha permesso di valutare il vantaggio economico in termini di potenza installata e consumo di energia elettrica del transfer in relazione ad una macchina utensile di pari taglia che presenta le soluzioni costruttive standard per questa tipologia di dispositivo.

Progettazione e implementazione di un servizio di autenticazione a più fattori per i servizi dell'ateneo

I sistemi di autenticazione con secondo fattore permettono una migliore protezione dell'identità digitale degli utenti. Questo lavoro descrive l'analisi e progettazione della soluzione di autenticazione a più fattori da integrare nel sistema di Ateneo, conclusasi con lo sviluppo del modulo di integrazione tra il servizio di autenticazione Web Single Sign-On dell'Università di Bologna (ADFS 3.0) e la piattaforma scelta per la fornitura (Time4ID). L'integrazione è stata effettuata programmando un Authentication Provider, costituito da una libreria di integrazione scritta in C#, capace di integrarsi con la piattaforma cloud-based di verifica del secondo fattore.

Analisi sperimentale di un accumulo termico tramite fluido a cambiamento di fase

L’incremento dell’istallazione di collettori solari termici e panelli solari ibridi nell’ultimo decennio ha spinto il mercato settoriale alla ricerca di nuovi sistemi di accumulo termico da implementare a tali impianti, al fine di poter sfruttare l’energia derivante dal sole con una efficienza termica maggiore. I dispositivi oggigiorno in commercio, nonostante le tecnologie impiantistiche risultino essere state migliorate, non hanno subito un’evoluzione ed ancora oggi il principale materiale d’accumulo è l’acqua, ottenendo così dispositivi con efficienze molto ridotte, di dimensioni elevate e collocabili in zone interne abitabili. L’utilizzo di fluido a cambiamento di stato come mezzo di accumulo può essere una valida alternativa al fine di incrementare l’efficienza dal punto di vista energetico e la riduzione degli ingombri, data l’elevata energia interna posseduta dal materiale durante il cambiamento di fase. Nel seguente elaborato di tesi, si è posto come obbiettivo quello di effettuare uno studio sulla possibilità di accumulare energia termica mediante l’utilizzo di un fluido a cambiamento di fase a base organica, tramite un’analisi sperimentale ed energetica dei meccanismi di fusione attorno ad un ramo dello scambiatore di calore, al fine di valutare la conformazione migliore che permetta la sottrazione di energia termica latente durante la fase di solidificazione. Questo ha comportato, oltre alla scelta del PCM ottimale per l’accumulo, la progettazione e realizzazione del prototipo e l’attrezzatura sperimentale.

Utilizzo di cellule MCF-7 in coltura per valutare la presenza di xenoestrogeni e composti genotossici in acque ad uso potabile pre- e post- trattamento

Nelle matrici ambientali sono spesso presenti xenoestrogeni, molecole sintetiche o di origine naturale ad attività estrogenica in grado di alterare il normale equilibrio ormonale di organismi esposti, incidendo negativamente su alcune funzioni vitali come la riproduzione ed il metabolismo. Diverse sostanze chimiche presenti in ambiente, tra cui alcune molecole ad attività estrogenica, sono anche potenziali composti genotossici, in grado, cioè, di interagire con il DNA ed esercitare effetti anche a lungo termine come l’insorgenza di tumori nei vertebrati, uomo compreso. L’obiettivo del presente lavoro di tesi è stato quello di mettere a punto ed utilizzare due saggi biologici, il saggio E-screen ed il test dei micronuclei, per valutare la presenza di xenoestrogeni e composti genotossici in campioni di acque prelevate prima e dopo i trattamenti di potabilizzazione, utilizzando cellule MCF-7 di adenocarcinoma mammario come modello sperimentale in vitro. Le indagini biologiche sono state condotte sulla base di una convenzione di ricerca con la Società acquedottistica Romagna Acque- Società delle fonti e hanno previsto tre campagne di monitoraggio. I campioni di acqua sperimentale, raccolti prima e dopo i trattamenti presso diversi impianti di potabilizzazione, sono stati preventivamente filtrati, estratti in fase solida, fatti evaporare sotto leggero flusso di azoto, ed infine, saggiati sulle cellule. Il test E-screen, di cui abbiamo dimostrato un elevato livello di sensibilità, ha permesso di escludere la presenza di composti ad attività estrogenica nei campioni esaminati. Allo stesso modo, i risultati del test dei micronuclei hanno dimostrato l’assenza di effetti genotossici, confermando la buona qualità delle acque analizzate. Nell’ambito delle attività di monitoraggio, le indagini biologiche risultano essenziali per la valutazione di una potenziale contaminazione ambientale, in quanto forniscono informazioni anche quando non sono state condotte analisi chimiche. Inoltre, anche quando le analisi chimiche siano state condotte, i test biologici informano della potenzialità tossica di una matrice causata eventualmente da sostanze non oggetto del saggio chimico. Infine, i test biologici permettono di identificare eventuali sinergie tra più contaminanti presenti nelle acque, affermandosi come test da condurre in maniera complementare ai saggi chimici. I test biologici come quelli impiegati nel lavoro di tesi sono molto sensibili ed informativi, ma necessitano della definizione di protocolli standardizzati per garantirne un’uniforme applicazione alle acque ad uso potabile, almeno a livello nazionale.

Definizione del sistema di acquisizione e controllo di una sala prova motori

L’obiettivo della tesi è l’integrazione di alcuni dispositivi AVL e di un motore elettrico passo-passo lineare all’interno di un sistema di controllo e acquisizione dati per una sala prova motori. La sala prove in cui è svolto il lavoro è quella del laboratorio Hangar del Dipartimento di Ingegneria Industriale di Forlì. Inizialmente viene proposta una breve descrizione della sala prove; essa è divisa in una parte hardware, in cui vengono spiegati i principali device utilizzati per il controllo, e in una parte software, in cui vengono descritti i programmi utilizzati (LabView e TestIT). Successivamente, i capitoli centrali, si occuperanno dei componenti AVL e del motore lineare utilizzati in sala. Per quanto riguarda AVL i dispositivi da integrare sono la bilancia per il carburante 733s e lo smoke meter 415s. Si traccia quindi una descrizione degli impianti e si indicano i principi operativi. Entrambi sfruttano il linguaggio seriale, quindi si procede con la creazioni di un’interfaccia grafica in grado di convertire i comandi desiderati dall’utente in codice ASCII. Allo stesso modo viene affrontato il motore lineare NEMA. In questo caso il dialogo avviene tramite una connessione Ethernet. La parte centrale si conclude con un capitolo nel quale si spiega l’introduzione dei VI all’interno di TestIT e le problematiche che ne possono scaturire. Nell’appendice finale saranno descritte brevemente le connessioni pratiche e gli interventi di progettazione avvenuti per organizzare il rack.

Studio di un invertitore: progettazione e dimensionamento di un inversore di marcia in una macchina agricola ibrida

Progettazione e dimensionamento di un inversore di marcia in una macchina agricola ibrida di piccola potenza dotata di cambio a uso continuo.

La valutazione dell'effetto domino per gli stabilimenti a rischio di incidente rilevante: un caso di studio

Per “effetto domino” si intende uno scenario incidentale in cui un evento primario si propaga ad apparecchiature contigue tramite un vettore di impatto, con innesco di eventi incidentali secondari ed amplificazione delle conseguenze finali dell’incidente. Nei casi di maggior gravità gli effetti di scenari incidentali di questo tipo possono danneggiare contemporaneamente più impianti appartenenti allo stesso stabilimento oppure addirittura coinvolgere più stabilimenti. Gli incidenti dovuti ad effetto domino sono tra i più severi e complessi che possono avere luogo nell’industria di processo; la complessità che contraddistingue l’effetto domino influenza anche la definizione stessa del fenomeno e ne rende difficoltosa l’individuazione delle caratteristiche principali. È comunque condivisa l’idea che, perché uno scenario incidentale evolva con effetto domino, sia necessario l’elemento “propagazione”, ovvero lo sviluppo di uno o più scenari secondari causati dall’incidente iniziale con un aggravio dell’area di danno rispetto a quella connessa allo scenario incidentale iniziale. L’effetto domino è un argomento di grande interesse nell’ambito della valutazione del rischio di incidente rilevante, sia a causa dell’elevato rischio connesso alla sequenza di eventi incidentali che esso comporta, sia dell’indeterminazione ancora presente nelle metodologie di analisi e di valutazione del fenomeno stesso. La Direttiva Europea 2012/18/UE (la cosiddetta Direttiva Seveso III) ed il suo recente recepimento italiano, il D.Lgs. 105/2015, stabiliscono la necessità di valutare l’effetto domino tra stabilimenti, in particolare in aree industriali ad elevata concentrazione di attività a rischio di incidente rilevante. Tuttavia anche la valutazione dell’effetto domino all’interno dei singoli stabilimenti è importante, potendo essa rappresentare, da un certo punto di vista, il completamento dell’analisi di sicurezza dello stabilimento. In un contesto come quello dell’analisi del rischio di incidente rilevante, in corrispondenza dell’aggiornamento quinquennale del Rapporto di Sicurezza di stabilimento richiesto dalle norme di legge, nel presente lavoro di tesi è stata effettuata la valutazione dell’effetto domino intra-stabilimento per un sito a rischio di incidente, applicando la metodologia proposta nell’Allegato E del D.Lgs. 105/2015.

Rdnet network - protocollo di comunicazione tra controller e pc tramite cavo lan

Questo documento presenta la relazione di una tesi in azienda svolta presso la ditta RCF spa a Reggio Emilia. La tesi consiste nell’apportare migliorie ad un software preesistente, che opera nel campo di dispositivi audio di diverse tipologie (es casse e mixer), i quali normalmente vengono utilizzati nel sistema d’impianto audio in un concerto. In particolare la nuova funzionalità sviluppata consiste nell’implementazione del protocollo di comunicazione tra controllore e PC mediante l’utilizzo di una connessione Ethernet.

Studio di fattibilità tecnica di una macchina automatica per la gestione di blister farmaceutici

Lo scopo principale dell’elaborato è descrivere e studiare la fattibilità tecnica e le fasi di progettazione e di realizzazione di una macchina automatica adibita alla gestione di blister farmaceutici. Tale attività è stata svolta in collaborazione con l’azienda Siropack Italia S.r.l. a seguito di un percorso di tirocinio curriculare. E’ dunque obiettivo della tesi esplicitare, motivandole, le scelte effettuate in campo progettuale, grazie alle quali si è arrivati alla realizzazione vera e propria della macchina. Dopo una descrizione dell’azienda e dei settori verso cui si interfaccia, si passa ad esporre, in maniera generale, il panorama farmaceutico nazionale ed internazionale, descrivendo anche il cliente per il quale è stata realizzata la macchina e ogni step affrontato per la sua progettazione. In questa fase viene descritto anche il nastro adibito alla gestione del magazzino, dove sosteranno numerose unità del prodotto lavorato. Si conclude poi con la descrizione dei passi che portano la macchina al suo effettivo funzionamento. Essendo un prototipo, dovrà poi affrontare numerose ore di prove e collaudi prima di essere definitivamente consegnata al cliente; in questo elaborato non verrà, però, descritto quest’ultimo step poiché la linea, della quale la macchina fa parte, è tutt’ora in fase di realizzazione.

Progettazione di un sistema di comando innovativo di una frizione per motocoltivatori

Motocoltivatori, motofalciatrici e motozappe sono macchine definite come “macchine agricole semoventi”, ovvero dotate di apparati ed organi di trazione propri; il loro impiego spazia dall’agricoltura al giardinaggio, dall’uso professionale all’hobbistica. Il presente elaborato consiste nello studio di fattibilità funzionale ed economica nonché nel progetto di un nuovo comando alle stegole per l’azionamento di una frizione per un motocoltivatore Grillo con conducente a piedi. In particolare, l’obiettivo è consentire un innesto e disinnesto della frizione più agevoli per l’operatore, in rispetto delle specifiche di sicurezza richieste dalla normativa europea UNI EN 709. Il progetto si è articolato nell’analisi del meccanismo sia da un punto di vista teorico, tramite modello statico e cinematico, sia pratico, tramite misure sperimentali sul prototipo realizzato, i cui risultati offrono la possibilità di implementazione sui motocoltivatori.

Analisi e ottimizzazione delle prestazioni e dell'affidabilità di una macchina per il packaging di prodotti igienico-sanitari

L’oggetto di studio di questo lavoro, svolto presso l’azienda Vire Automation del gruppo Bucci Industries di Faenza, è una macchina per il packaging di prodotti igienico-sanitari, più precisamente pannolini baby. Dopo una prima indagine di mercato svolta con l’aiuto dei commerciali dell’azienda, si sono ipotizzate una serie di soluzioni tecniche per migliorare il funzionamento e le prestazioni della macchina. Tramite uno strumento detto Casa della qualità si sono evidenziate le soluzioni tecniche che risultano più apprezzate dal mercato e per questo posseggono una maggior priorità di realizzazione. Si è intervenuti su di un gruppo funzionale per lo spostamento orizzontale del prodotto che agisce superiormente rispetto al pianale di processo e sul trasporto pioli che invece agisce per ostacolo tra cilindri di acciaio ed i prodotti. In particolare per il primo si è realizzato un apposito studio delle grandezze cinematiche in gioco e, dopo una progettazione 3D, si sono stimate le coppie motrici richieste dal nuovo asse che è risultato vantaggioso rispetto al precedente. Per il secondo invece, vista l’esigenza di ottenere un gruppo rifasatore che permettesse alla macchina di funzionare correttamente nonostante i ritardi di arrivo dei prodotti dalla linea di produzione, si è realizzata una nuova gestione logica del gruppo per sopperire alla peggior condizione di funzionamento verificabile e si è riprogettato il gruppo per dotarlo delle nuove necessarie caratteristiche.

Dispersione di sostanze odorigene nell'atmosfera e modellizzazione mediante software dedicato (un'applicazione del software LAPMOD)

Gli odori rappresentano uno degli elementi di disturbo che la popolazione avverte maggiormente e, anche nel caso in cui non siano associati a sostanze tossiche, sono causa di conflitti e di intolleranza, sia nei confronti delle aziende che li diffondono nel territorio, sia nella scelta del sito di localizzazione di nuovi impianti. La valutazione del disturbo olfattivo e la sua regolamentazione (esistono linee guida, ma non una legislazione di riferimento) rappresentano aspetti caratterizzati da elevata complessità, dal momento che l’inquinamento olfattivo è strettamente associato alla percezione umana. Nella tesi vengono valutate le emissioni odorigene e le relative immissioni, dovute ad un comparto per la gestione integrata dei rifiuti. Per caratterizzare le emissioni sono stati prelevati dei campioni di aria presso le principali sorgenti individuate e quantificate utilizzando la tecnica dell’olfattometria dinamica. Una volta caratterizzate le sorgenti, i dati di emissione ottenuti dalla campagna di misura e dall’analisi olfattometrica sono stati utilizzati come dati di input del modello LAPMOD (LAgrangian Particle MODel). LAPMOD è stato implementato con un modulo specifico per la determinazione delle concentrazioni massime orarie che utilizza un peak-to-mean variabile nel tempo, a differenza di altri modelli che usano un valore costante per la determinazione. Dall'elaborazione dei dati è emerso che, utilizzando il modulo specifico per gli odori, le concentrazioni come 98° percentile riferite al giorno tipico hanno un andamento opposto rispetto all’uso di un peak-to-mean costante. Dal confronto della simulazione in cui le emissioni sono indipendenti dalla variazione della portata di odore in funzione della velocità del vento, con quella che invece simula tale dipendenza (nelle sorgenti che presentano paratie laterali e tettoia) è emerso che la simulazione che mitiga completamente l’effetto del vento è più coerente con la realtà.

Traduzione dal tedesco di ricette dolci cultura e tradizione in ambito culinario

Zusammenfassung In dieser Arbeit wird die Übersetzung des deutschen Kochbuchs “Das beste Dr. Oetker Backbuch” ins italienische vorgestellt. Das Ziel ist es den kulturellen Problemen auf den Grund zu gehen, welche besonders bei den Rezepten entstehen, die Zutaten enthalten die es in Italien nicht gibt. Diese Arbeit ist in vier Kapitel eingeteilt: im ersten Kapitel wird die Textart definiert und beschrieben; im zweiten Kapitel findet man sieben ins italienisch übersetze Rezepte mit deutschem Originaltext; das dritte Kapitel besteht aus dem Kommentar zur Übersetzung und zu den Unterschieden zwischen der deutschen und italienischen Kultur das vierte und letze Kapitel hingegen beschreibt die Arbeitsweise und Organisation des hier vorgestellten Beitrags. Resumen En este trabajo se propone la traducción de recetas de dulces alemanes de el recetario Das beste Dr. Oetker Backbuch en italiano. El objeto es entender las problemas de adaptación cultural sobre todo cuando se traducen ingredientes de recetas que no existen en Italia. El trabajo se desarolla a lo largo de cuatro capitulos: en el primero hay una breve descripción de la clasificación textual; en el segundo capítulo se encuentra la traducción de siete recetas de un recetario aleman con el texto original; el tercer capítulo es un comentario a la traducción y a la diferencia que hay entre las tradiciones alemanas y las tradiciones italianas y, en fín el cuarto capítulo incluye toda la descripción y la organicación de el trabajo concluido.