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.

Ricostruzione delle sorgenti corticali da segnali EEG in task di discriminazione visiva: Effetto di training multisensoriale

I neuroni in alcune regioni del nostro cervello mostrano una risposta a stimoli multisensoriali (ad es. audio-visivi) temporalmente e spazialmente coincidenti maggiore della risposta agli stessi stimoli presi singolarmente (integrazione multisensoriale). Questa abilità può essere sfruttata per compensare deficit unisensoriali, attraverso training multisensoriali che promuovano il rafforzamento sinaptico all’interno di circuiti comprendenti le regioni multisensoriali stimolate. Obiettivo della presente tesi è stato quello di studiare quali strutture e circuiti possono essere stimolate e rinforzate da un training multisensoriale audio-visivo. A tale scopo, sono stati analizzati segnali elettroencefalografici (EEG) registrati durante due diversi task di discriminazione visiva (discriminazione della direzione di movimento e discriminazione di orientazione di una griglia) eseguiti prima e dopo un training audio-visivo con stimoli temporalmente e spazialmente coincidenti, per i soggetti sperimentali, o spazialmente disparati, per i soggetti di controllo. Dai segnali EEG di ogni soggetto è stato ricavato il potenziale evento correlato (ERP) sullo scalpo, di cui si è analizzata la componente N100 (picco in 140÷180 ms post stimolo) verificandone variazioni pre/post training mediante test statistici. Inoltre, è stata ricostruita l’attivazione delle sorgenti corticali in 6239 voxel (suddivisi tra le 84 ROI coincidenti con le Aree di Brodmann) con l’ausilio del software sLORETA. Differenti attivazioni delle ROI pre/post training in 140÷180 ms sono state evidenziate mediante test statistici. I risultati suggeriscono che il training multisensoriale abbia rinforzato i collegamenti sinaptici tra il Collicolo Superiore e il Lobulo Parietale Inferiore (nell’area Area di Brodmann 7), una regione con funzioni visuo-motorie e di attenzione spaziale.

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.

Progettazione ed implementazione di un database per la gestione della mappa della connettivita urbana utilizzando tecnologie nosql

Nella tesi, inizialmente, viene introdotto il concetto di Big Data, descrivendo le caratteristiche principali, il loro utilizzo, la provenienza e le opportunità che possono apportare. Successivamente, si sono spiegati i motivi che hanno portato alla nascita del movimento NoSQL, come la necessità di dover gestire i Big Data pur mantenendo una struttura flessibile nel tempo. Inoltre, dopo un confronto con i sistemi tradizionali, si è passati al classificare questi DBMS in diverse famiglie, accennando ai concetti strutturali sulle quali si basano, per poi spiegare il funzionamento. In seguito è stato descritto il database MongoDB orientato ai documenti. Sono stati approfonditi i dettagli strutturali, i concetti sui quali si basa e gli obbiettivi che si pone, per poi andare ad analizzare nello specifico importanti funzioni, come le operazioni di inserimento e cancellazione, ma anche il modo di interrogare il database. Grazie alla sue caratteristiche che lo rendono molto performante, MonogDB, è stato utilizzato come supporto di base di dati per la realizzazione di un applicazione web che permette di mostrare la mappa della connettività urbana.

Presentazione di varietà tridimensionali tramite poliedri

Lo scopo della tesi è dimostrare un teorema che offre una condizione necessaria e sufficiente affinché un poliedro con facce identificate risulti una varietà tridimensionale. Nel primo capitolo si descrive una possibile metodologia di studio e presentazione delle superfici al fine di fare un confronto con le 3-varietà. Nel secondo capitolo, prima di studiare il teorema principale, si descrivono nozioni di topologia algebrica utili nella sua dimostrazione: la coomologia e la dualità di Poincaré. Infine il terzo capitolo è dedicato alla descrizione di due esempi di 3-varietà e ad un controesempio al teorema in dimensione 5.

Studio di un algoritmo di controllo di temperatura per ganasce termosigillanti in macchine per packaging

Gli obiettivi dell'elaborato sono lo studio e la programmazione di un algoritmo di controllo di temperatura per le superfici termosaldanti di macchine per il packaging (confezionatrici in film a file multiple) prodotte dal committente, OMAG srl. L'algoritmo è implementato tramite il software SoMachineMotion v.4.2, prodotto da Schneider Electrics spa. Il controllo è di tipo in anello chiuso in retroazione, con temocoppie e resistenze di riscaldamento con modulazione PWM. Ci si è inizialmente occupati di testare su banco prova varie tipologie di regolatori: a relay, a isteresi, a ricerca diretta del duty cycle, TBH, con approccio misto TBH/integratore di Clegg, PID. I diversi metodi di regolazione sono stati valutati sulla base di una serie di metri di giudizio (precisione dell'inseguimento, prestazioni statiche e dinamiche, flessibilità, peso computazionale, facilità implementativa), pesati secondo i requisiti imposti dal committente. Le metodologie selezionate sono state PID e TBH/Clegg integrator; quest'ultima ha dato risultati assai soddisfacenti, pur essendo un metodo monoparametrico. Si sono quindi studiate diverse modalità per la taratura del regolatore PID, in particolare: tuning in anello chiuso con metodo a relay per la fase di pretuning, algoritmo di Nelder-Mead, per la ricerca diretta continua dei valori che minimizzano l'errore integrale, per un selftuning adattivo. Si è infine proceduto ad implementare le soluzioni individuate in un software robusto, che rispetti gli standard del settore e si sono inoltre sviluppate una serie di funzionalità aggiuntive, quali: modulazione software PWM, preriscaldamento, handling errori/warning, filtraggio segnali in/out. Si è addizionalmente sviluppato un modello matematico predittivo dell'evoluzione del sistema, che potrebbe servire, in un futuro sviluppo, come base per un controllo model-based in cascata al controllo in retroazione studiato.

Geometria e topologia delle superfici

Definizioni e enunciati riguardo al gruppo fondamentale, alle azioni di gruppo, ai rivestimenti, alle varietà topologiche, differenziabili e riemanniane, alle isometrie e ai gruppi discreti di isometrie. Approfondimento riguardo alle superfici connesse, compatte e orientabili con classificazione topologica, definizione di curvatura gaussiana con classificazione delle superfici in base al valore della curvatura, teorema di Killing-Hopf, teorema di uniformizzazione, enunciato del teorema che verrà dimostrato: la sfera è l'unica superficie connessa, compatta e orientabile ellittica, il toro è l'unica piatta, le somme connesse di g tori (g>1) sono iperboliche. Descrizione del piano euclideo con relativa metrica, descrizione delle sue isometrie, teorema di Chasles con dimostrazione, dimostrazione del toro come unica superficie connessa, compatta e orientabile piatta. Descrizione della sfera con relativa metrica, descrizione delle sue isometrie, dimostrazione della semplicità di SO(3), dimostrazione della sfera come unica superficie connessa, compatta e orientabile ellittica. Descrizione di due modelli del piano iperbolico, descrizione delle sue isometrie, dimostrazione del fatto che le somme connesse di g tori (g>1) sono iperboliche. Definizione di gruppo Fuchsiano e di spazio di Teichmuller.

L'introduzione delle funzioni sinusoidali nella scuola secondaria superiore a partire dall'ottica geometrica.

Questo elaborato descrive la proposta di un percorso didattico per introdurre le funzioni sinusoidali nella scuola secondaria superiore a partire da un esperimento di fisica riguardante l'ottica geometrica. Nella seconda parte della tesi è riportata la sperimentazione effettuata in classe e i materiali didattici utilizzati.

Analisi acustica da postazione fissa della presenza e del comportamento di delfinidi in relazione al disturbo antropico

La Bioacustica marina studia gli aspetti “acustici” riguardanti gli animali marini tra cui le capacità uditive, la produzione del suono e la comunicazione attraverso i suoni. Ad oggi, un crescente livello di suoni introdotti negli oceani dalle attività umane sta causando una serie di effetti sull’ecosistema marino ed in particolare su specie che svolgono molteplici funzioni attraverso l’impiego attivo e passivo dei suoni, primi fra tutti i mammiferi marini. Il monitoraggio acustico passivo è uno dei metodi principali e popolari usati per aiutare gli scienziati a indagare e capire i modelli comportamentali degli animali marini. L'area di studio d’interesse si trova nel Canale di Sicilia, nel tratto di mare antistante Capo Granitola (Sicilia sud-occidentale), dove troviamo tra le specie più abbondanti di mammiferi marini: il tursiope, la stenella e il delfino comune. Questo tratto di mare è monitorato acusticamente dal 2012 dal laboratorio di bioacustica dell’IAMC-CNR attraverso un sistema di registrazione subacqueo autonomo. Il lavoro di tesi ha avuto l’obiettivo di analizzare 9 mesi di registrazioni al fine di studiare la presenza di delfinidi. Gli obiettivi specifici di questa tesi sono stati: •La verifica di interazioni tra delfini e attività antropiche attraverso l’analisi della presenza contemporanea di rumori prodotti da imbarcazioni e disegnali sonori prodotti da delfinidi; •Studiare gli andamenti circadiani e stagionali dei vocalizzi dei delfinidi e eventuali variazioni nei principali parametri acustici che caratterizzano i segnali di ecolocalizzazione. Grazie all’analisi dei dati acustici si sono ottenute informazioni sugli andamenti temporali della presenza/vocalizzazioni di delfinidi e sulla possibile interazione con le barche da pesca.

Sviluppo di un sistema integrato innovativo per la contemporanea produzione e separazione di H2 ultrapuro, attraverso oxy-reforming, water-gas shift e membrane al Pd

Il presente lavoro di tesi si è focalizzato sullo studio e sulla ottimizzazione di un sistema integrato, che utilizzi la reazione di oxy-reforming del metano al fine di produrre syngas che venga trattato attraverso la water-gas shift al fine di abbattere il contenuto di CO e al tempo stesso aumentare la resa in H2. Con l’obiettivo di ottenere H2 ad elevata purezza (>99%) da poter essere inviato direttamente a celle a combustible ed in impianti di piccola taglia con possibile delocalizzazione della produzione industriale di energia elettrica e termica “pulita”, la miscela reale uscente dal processo di oxy-reforming è stata processata tramite successiva water-gas shift direttamente all’interno di una membrana ceramica al Pd selettiva nella separazione di H2. L’innovativià di questo progetto di studio è data da diversi parametri quali: 1) l’impiego dell’oxy-reforming in alternativa al normale steam-reforming del CH4, che permette di condurre il processo a temperature decisamente inferiori (700-750°C), utilizzando un minor quantitativo di vapore (S/C = 0.7); 2) l’utilizzo di due nuove formulazioni di catalizzatore di WGS per alte temperature, capace di operare in un unico stadio conversioni di CO ottenibili industrialmente solo attraverso i convenzionali due due stadi di reazione (e due diverse formulazioni di catalizzatori a base di Fe/Cr e Cu); 3) l’utilizzo di supporti ceramici con membrana a base di Pd, capaci di ospitare al loro interno un catalizzatore eterogeneo per la reazione di WGS a 400°C, rendendo quindi possibile la produzione e contemporanea separazione di H2 con un ulteriore effetto positivo poiché la membrana rimuovendo H2 dalla zona di reazione favorisce il superamento dell’equilibrio termodinamico per la conversione del CO, abbassandone il contenuto nel flusso uscente dei gas reazione e rendendo non più necessari sistemi aggiuntivi di separazione quali PSA o PROXY.

Paesaggi di archeologia. Una proposta per Suasa Senonum

Il progetto di musealizzazione dell’area archeologica di Suasa pone le basi sullo studio dei legami storici, culturali e paesaggistici che si sono instaurati sin dall’epoca romana e permangono tutt’oggi. Il primo passo parte dallo studio della Salaria Gallica: nasce così la volontà di mantenere la Salaria usufruibile da tutti, richiamando quindi l’interesse di un pubblico di vario target intorno l’area di progetto . Da questa principio si rende quindi necessaria una prima divisione dell’aria in una parte pubblica ed una privata, la prima interessata dalla costruzione di un nuovo spazio polifunzionale, la seconda destinata al mantenimento delle tracce (archeologiche e paesaggistiche). Si rende fondamentale nello spazio pubblico la costruzione di un nuovo edificio che vada ad ospitare funzioni utili alle due aree, una costruzione che è figlia di principi che caratterizzano l’area sin dall’epoca romana: la viabilità antica e le maglie generatrici. Lo spazio privato, reso tale attraverso la costruzione di un limite fisico è a sua volta diviso in due parchi: il parco archeologico e il parco agricolo. Il parco archeologico è interessato dalla costruzione di una copertura atta alla salvaguardia delle tracce di una delle istanze archeologiche di maggior valore : la Domus dei Coiedii. I principi che contraddistinguono il progetto sono quelli di riproporre, a scopo educativo, la volumetria antica della domus, mantenendo però una pianta libera che sottolinei la maestosità che fu. Si ha così una triade di parchi, legati fra loro da elementi ordinatori che nascono da una rilettura di sistemi romani ed una riproposizione di tali. Si tratta degli elementi d’ombra, che riprenderanno le strutture a sacco tipiche romane, e dei percorsi studiati per sottolineare la gerarchia delle tracce.

Protocolli di autenticazione dimostrabilmente sicuri

All'interno della tesi viene analizzato il problema dell'autenticazione delle parti su un canale insicuro. Viene data una formalizzazione matematica del problema, di cosa sia un protocollo sicuro e viene poi esibito un protocollo dimostrabilmente sicuro, con l'assunzione dell'esistenza di funzioni pseudorandom. Viene poi presa in esame questa assunzione e si discute di quanto l'assunzione sia ragionevole all'atto pratico. Si discutono alcune proprietà delle funzioni pseudorandom e si esibiscono delle funzioni candidate ad essere pseudorandom.

Serie di Puiseux

La tesi è incentrata sullo studio dei punti di singolarità di una curva nel piano proiettivo complesso. Nel caso in cui il punto sia regolare possiamo sfruttare il teorema delle funzioni implicite che ci permette di esplicitare il luogo di zeri di un'equazione implicita rispetto a una variabile. Quando questa ipotesi di regolarità viene meno per avere un risultato analogo diventa necessario utilizzare le serie di Puiseux. L'interpretazione algebrica del teorema di Puiseux risponde alla domanda di trovare un'estensione del campo delle serie di Laurent che sia algebricamente chiuso; prendendo un polinomio di grado positivo in K(x)*[y], mostreremo che esiste sempre una radice del polinomio appartenente a K(x)*. Il legame con l’interpretazione analitica risulta ora evidente: data infatti una curva nel piano complesso la sua equazione può essere vista come un particolare polinomio in K(x)*[y], esplicitare la y in funzione della x equivale appunto a trovare una radice in K(x)*. Nel primo capitolo abbiamo in primo luogo richiamato il risultato di Dini e parlato del luogo singolare di una curva, mostrando che quest'ultimo è un numero finito di punti. In seguito abbiamo introdotto il poligono di Newton, il quale è un insieme convesso del piano associato ad un polinomio in due variabili. Nel secondo capitolo abbiamo visto due formulazioni del teorema di Puiseux, entrambe le dimostrazioni di questo risultato sono costruttive; per renderle più scorrevoli abbiamo ritenuto opportuno costruire degli esempi che evidenziassero i vari passi.

Grafi aleatori - il modello di Erdos-Rényi

Dopo aver dato una definizione formale per il modello di Erdos-Rényi, si dimostra che in un grafo ER il grado dei nodi (misura della connessione) risulta essere una variabile aleatoria con distribuzione binomiale, mentre il clustering (misura della densità di archi a livello locale) tende a zero. Successivamente si determinano le funzioni soglia per alcune proprietà monotone particolarmente significative, consentendo così di descrivere diverse configurazioni possibili per un grafo ER al variare dei suoi parametri. Infine, si mostra come si possano utilizzare i grafi ER per modellizzare la diffusione di una malattia infettiva all’interno di una popolazione numerosa.

Modelli matematici di cardiomiociti derivanti da cellule staminali: una nuova formulazione per riprodurre gli effetti proaritmici del blocco della corrente di potassio

I cardiomiociti derivanti da cellule staminali pluripotenti indotte (hiPSC-CMs) costituiscono un nuovo approccio per lo studio delle proprietà delle cellule cardiache sia degli individui sani che di quelli affetti da malattie ereditarie e possono rappresentare inoltre una piattaforma in vitro per la scoperta di nuovi farmaci e terapie rigenerative. Il grande impatto delle hiPSC-CMs nell’ambito della ricerca si deve soprattutto alle loro proprietà elettrofisiologiche: queste cellule non solo esprimono fenotipi genici e proprietà delle correnti ioniche tipiche delle cellule cardiache, ma sono anche in grado di riprodurre fenomeni aritmici, come le EAD, a seguito della somministrazione di farmaci. Grazie anche alla grande potenza di calcolo oggi disponibile è possibile supportare la pratica in vitro con modelli in silico, abbattendo sia i costi che i tempi richiesti dagli esperimenti in laboratorio. Lo scopo di questo lavoro è quello di simulare il comportamento delle hiPSC-CMs di tipo ventricolare in risposta alla somministrazione di farmaci che interagiscono con la corrente di potassio IKr, principale responsabile della ripolarizzazione cardiaca. L’assunzione di certi farmaci può comportare infatti una riduzione della IKr, con conseguente prolungamento della fase di ripolarizzazione del potenziale d’azione cardiaco. Questo meccanismo è causa dell’insorgenza della sindrome del QT lungo di tipo 2, che in casi estremi può degenerare in aritmie gravi. Ciò suggerisce che queste cellule rappresentano un importante strumento per la valutazione del rischio pro-aritmico che può essere facilitata da simulazioni in silico effettuate utilizzando modelli computazionali basati su dati fisiologici.