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.

La funzione di Möbius di un insieme parzialmente ordinato

Nel 1837 il matematico A.F. Möbius definì la funzione aritmetica mu(n) che vale 0 se n è divisibile per il quadrato di un numero primo, (-1)^k se n è il prodotto di k primi distinti e \mu(1)=1. Essa ricopre un ruolo di fondamentale importanza per quanto riguarda la distribuzione dei numeri primi, nonché per la sua duttilità nella risoluzione di diversi problemi di conteggio grazie alla formula di inversione di Möbius, che può essere pensata come un analogo formale del teorema fondamentale del calcolo integrale. Una sorprendente varietà di problemi di calcolo combinatorio si rivelano essere nient'altro che casi particolari di un problema più generale che riguarda la possibilità di invertire una somma fatta sugli elementi di un insieme parzialmente ordinato. L'obiettivo di questo elaborato è quello di illustrare come sia possibile generalizzare il concetto di funzione aritmetica estendendolo a quello di funzione di un'algebra di incidenza. Le algebre di incidenza hanno catturato l'interesse di svariati matematici a partire dagli anni '60 del secolo scorso, e si svilupparono come ambiente naturale nel quale generalizzare la formula di inversione di Mobius. La funzione di Möbius della teoria dei numeri, definita originariamente sull'insieme dei numeri interi positivi ordinato per divisibilità, può quindi essere definita su generici insiemi parzialmente ordinati.

Dall'insieme alla struttura matematica nella scuola di oggi

Percorso didattico alternativo dall'insieme alla struttura matematica con analisi di libri di testo di scuole superiori.

Esempi di calcolo della funzione zeta di Hasse-Weil

Si danno la definizione formale e alcune proprietà elementari della funzione zeta di Hasse-Weil. Si forniscono poi alcuni esempi di calcolo della stessa, in particolare si esaurisce il caso delle coniche affini.

Algebre di Lie eccezionali realizzate come algebre di matrici

La classificazione delle algebre di Lie semplici di dimensione finita su un campo algebricamente chiuso si divide in due parti: le algebre di Lie classiche e quelle eccezionali. La differenza principale è che le algebre di Lie classiche vengono introdotte come algebre di matrici, quelle eccezionali invece non si presentano come algebre di matrici ma un modo di introdurle è attraverso il loro diagramma di Dynkin. Lo scopo della tesi è di realizzare l' algebra di Lie eccezionale di tipo G_2 come algebra di matrici. Per raggiungere tale scopo viene introdotta un' algebra di composizione: la cosiddetta algebra degli ottonioni. Quest'ultima viene costruita in due modi diversi: come spazio vettoriale sui reali con un prodotto bilineare e come insieme delle coppie ordinate di quaternioni. Il resto della tesi è dedicato all' algebra delle derivazioni degli ottonioni. Viene dimostrato che questa è un' algebra di Lie semisemplice di dimensione 14. Infine, considerando la complessificazione dell'algebra delle derivazioni degli ottonioni, viene dimostrato che quest'ultima è semplice e quindi isomorfa a G_2.

Prestazioni di processi di migrazione di reti di macchine virtuali

L'obiettivo della tesi è la valutazione delle prestazioni delle migrazioni di reti di macchine virtuali. Ci si è concentrati sul trasferimento delle memorie di tali macchine virtuali in quanto è l'azione che maggiormente comporta l'impiego di tempo e risorse. Allo scopo, si è scelto l'approccio pre-copy in quanto utilizzato dagli hypervisor più diffusi. Si è costruito un modello in grado di descrivere il sistema in esame, analizzandolo sia dal punto di vista matematico, che simulativo. Proprio grazie ai simulatori proposti si sono confrontati i valori del tempo di migrazione e del downtime, indici fondamentali per la migrazione in tempo reale, nel caso di trasferimento in serie e in parallelo delle macchine di un insieme. Si sono considerate anche reti di macchine virtuali aventi diversa dimensione delle memorie, analizzando e confrontando, anche questa volta, gli indici di prestazione con quelli degli altri processi. Si è prestata particolare attenzione anche alla caratterizzazione della dirtying-rate, parametro importante dell'approccio pre-copy.

Libri dentro ai libri: proposta di traduzione de "La bibliothecaire" di Gudule

Questa tesi consiste in una proposta di traduzione del libro per ragazzi: "La bibliothécaire" dell'autrice Gudule. Il lavoro parte da una definizione della letteratura per l'infanzia attraverso i suoi elementi costitutivi: appartenenza al sistema formativo e insieme a quello letterario; doppio destinatario dell'opera (ragazzi e adulti mediatori); disparità di conoscenze tra autore e lettore. Al lettore viene dedicata particolare attenzione, attraverso uno studio delle fasce d'età e dei generi tradizionalmente dedicati a ciascuna. In seguito si analizza lo stato della letteratura per l'infanzia in relazione al sistema letterario: in particolare, si propongono due visioni opposte, una che vede questa letteratura come marginale, inferiore, e l'altra che invece le riconosce pari dignità rispetto alla letteratura per adulti. La parte teorica si conclude con l'analisi della traduzione per l'infanzia: dopo alcuni accenni alle teorie traduttive che hanno più influenzato il settore, si pongono criteri per distinguere traduzione e adattamento e si definiscono le motivazioni ideologiche che possono portare a modificare il testo. Si descrivono inoltre alcuni modi in cui il traduttore può rendere evidente il suo intervento, facendo sentire la sua voce nel testo tradotto. Si elencano infine i problemi di mediazione culturale e i modi in cui il traduttore può farvi fronte. La seconda parte della tesi si concentra sull'analisi del testo, per individuarne i temi centrali ed evidenziare i problemi da risolvere durante la traduzione: un rilievo particolare lo ha l'intertestualità, alla base dell'intero libro, e il rapporto dei personaggi con la lettura, la scrittura e in generale con la lingua. Il commento alla traduzione spiega le motivazioni dietro alle scelte traduttive, in particolare quelle legate ad un uso particolare della lingua e alla traduzione delle citazioni e allusioni ad altri testi presenti nel romanzo.

Ottimizzazione del sistema di trattamento fumi a doppio stadio del termovalorizzatore HERA di Coriano (RN)

Lo studio svolto si propone di stabilire quali sono le condizioni di gestione ottimale del sistema di depurazione dei fumi dell’impianto di termovalorizzazione di Rimini, situato nel comune di Coriano e gestito da Herambiente, una società nata nel 2009 nell'ambito del Gruppo Hera, una delle più importanti multiutility italiane che opera nei servizi dell’ambiente, dell’acqua e dell’energia. Il sistema di depurazione dell’impianto è composto da un doppio stadio di abbattimento a secco in cui si dosa calce (Ca(OH)2), al primo stadio, e bicarbonato di sodio (NaHCO3), al secondo. Rispetto alla calce, il bicarbonato garantisce una migliore efficienza di abbattimento dei gas acidi (HCl, SO2, HF), ma ha un prezzo d’acquisto maggiore. Da tale considerazione ha origine il problema di ottimizzazione economica: è necessario individuare una soluzione che consenta di ridurre il consumo e la spesa dei reagenti utilizzati senza alterare le emissioni di inquinanti a camino. I costi operativi legati alla gestione del sistema di depurazione, inoltre, devono tenere in considerazione anche la produzione dei residui solidi generati nei due stadi di abbattimento. Il calcolo di ottimizzazione è stato eseguito utilizzando un modello matematico in grado di prevedere il comportamento dei sistemi reagenti nei due stadi di abbattimento tramite la conoscenza di un parametro empirico. Dopo aver calibrato il modello con i dati di funzionamento dell’impianto, è possibile procedere alla sua implementazione al fine di valutare, in diversi periodi dell’anno 2015, come variano i costi operativi totali in funzione della conversione di HCl (gas acido più critico) al primo stadio di abbattimento e individuare quindi la migliore condizione economico-operativa per ciascun periodo considerato.

Progetto di suolo : esperienze a confronto

Il mio percorso universitario presso la Facoltà di Architettura “Aldo Rossi” inizia nell’anno accademico 2005-2006. Da allora ad oggi ho avuto modo di sviluppare particolarmente alcuni temi, oggetto di lavori realizzati nel corso dei miei studi. L’attività di progettazione svolta ogni anno mi ha permesso di acquisire il modus operandi proprio di un progetto di architettura e allo stesso tempo di porre l’attenzione su alcuni argomenti, che a mio avviso, devono essere sempre affrontati da chi ha intenzione di svolgere il mestiere dell’architetto. Durante i corsi di Composizione Architettonica ed Urbanistica frequentati, ho avuto l’occasione di mettere in luce un aspetto che ritengo estremamente importante, anzi addirittura fondante, che potrebbe essere definito come “progetto di suolo”. Il suolo per un architetto rappresenta la condizione fisica essenziale affinché un oggetto architettonico possa essere costruito, ma in realtà esso non è un puro elemento di supporto per l’architettura, quanto piuttosto un “tema” che offre una molteplicità di risposte e soprattutto di possibilità per il progettista. Il costruito nel suo essere sintetico racchiude un duplice significato: da un lato implica la presenza tangibi-le di una manufatto architettonico, ma dall’altro rinvia anche alla dimensione del vuoto, da intendersi come complesso di spazi pubblici e collettivi, che assieme all’architettura generano la città o una sua parte. Nel corso degli studi ho avuto sempre l’occasione di riflettere sul peso che il “suolo” riveste all’interno di un progetto: la sua morfologia, la sua struttura e quindi il suo disegno, il suo trattamento e la sua gestione, sono aspetti che ogni volta fondano e precisano l’idea progettuale. Mi sono sempre chiesta come l’architettura potesse dialogare con il paesaggio circostante, con la superfi-cie sulla quale si innesta, con la città: essa non è un oggetto puramente introverso ma deve necessaria-mente instaurare una relazione con ciò che la circonda, in modo da poter giustificare la sua stessa pre-senza. Il filo conduttore che lega i progetti qui selezionati e presentati è dunque il progetto del suolo, inscindibile rispetto al progetto architettonico e avente pari valore: esso rappresenta un elemento fondativo che si pone in dialogo diretto, continuo e soprattutto reciproco con l’architettura.

Verifiche numeriche dello stato di sollecitazione di una struttura alare di un velivolo ultraleggero

Lo scopo del progetto è di calcolare, tramite un modello agli elementi finiti, lo stato di sollecitazione delle parti costituenti l’ala di un velivolo ultraleggero, e di visualizzare i risultati della soluzione del calcolo in maniera grafica. L’aeromobile oggetto di studio è lo Yuma 912 S commercializzato da Alisport, un velivolo di categoria ULM (UltraLeggero Motorizzato) con capacità STOL (Short TakeOff and Landing – decollo ed atterraggio corti). Tutto il lavoro di progettazione, modellazione e calcolo è stato eseguito con un’unica tipologia di programma, CATIA V5, disponibile commercialmente, al fine di evitare conflitti tra diversi programmi CAD (per disegno assistito dal calcolatore) e CAE/FEA (per analisi ingegneristica del prodotto). Il lavoro si è articolato nelle seguenti fasi: progettazione assistita dal calcolatore, sviluppo del modello, valutazione della soluzione. I carichi introdotti nell’analisi sono stati scelti considerando le caratteristiche del velivolo ed il proprio diagramma di manovra, quindi calcolati in maniera teorica e successivamente applicati al modello in esame. La soluzione è stata poi visualizzata tramite simulazione della struttura deformata ed applicazione di una scala di colori sulle zone sottoposte ai diversi stati di sollecitazione.

SDN e sperimentazioni di VM migration

Le nuove teorie di rete come Software Defined Networking Network Function Virtualization, insieme alle teorie Cognitive/Autonomics consentono di abilitare scenari futuri “disruptive” di rete. Lo scopo di questa tesi è quello di esplorare questi scenari futuri e di capire il ruolo della migrazione di funzioni di rete, sotto forma di Virtual Machine. Si vuole affrontare la migrazione di Virtual Machine dal punto di vista delle performance, ma anche come strumento di gestione delle risorse in uno scenario di rete d'accesso autonomica.

Studio per la gestione ottimizzata di una flotta omogenea di rotabili ferroviari per i servizi metropolitani del bacino di bologna

Nel corso degli ultimi anni è nata a Bologna l’idea di un Servizio Ferroviario Metropolitano (SFM),il quale si inserisce in un progetto di riassetto del servizio ferroviario regionale dell’Emilia – Romagna che prevede il potenziamento dei collegamenti ferroviari all’interno del bacino Bolognese. Il lavoro di tesi ha lo scopo di fornire una possibile gestione ottimizzata del materiale rotabile, attraverso la determinazione di una flotta omogenea che verrà impiegata all’interno del Servizio Ferroviario Metropolitano del bacino bolognese. Tale gestione ottimizzata prevederà l’impiego di un’unica tipologia di treni declinata in due versioni di diversa capacità in termini di posti a sedere.

Proprietà elettriche di cellule interagenti con matrici polimeriche biocompatibili

L'utilizzo di polimeri organici coniugati in dispositivi elettronici per applicazioni biologiche, grazie alle loro proprietà meccaniche ed elettriche, insieme alla loro biocompatibilità, è un campo di ricerca relativamente nuovo e in rapida espansione. In questo lavoro di tesi si utilizza la tecnica del Voltage Clamp in configurazione whole cell per caratterizzare le proprietà elettrofisiologiche della linea cellulare di glioblastoma multiforme (T98G) e per registrare le correnti ioniche di cellule adese su una matrice polimerica biocompatibile di poli(etilenediossitiofene)-poli(stirenesulfonato) (PEDOT:PSS). La tecnica consiste nel bloccare il potenziale di membrana al valore desiderato, secondo un preciso protocollo di stimolazione, misurando la corrente necessaria per mantenere costante il potenziale presente tra le due superfici della membrana cellulare. Nella prima parte del lavoro le cellule sono state perfuse con farmaci inibitori dei canali potassio, prima con il bloccante non specifico tetraetilammonio (TEA), e poi selettivamente tramite bloccanti specifici come iberiotossina e dendrotossina. Il 44% circa delle cellule ha evidenziato una significativa corrente residua riconducibile all'attività dei canali ionici voltaggio-dipendenti Kv1.2. Al contrario nelle cellule restanti questi canali non sono espressi. Successivamente, sempre utilizzando le T98G, si è analizzato come lo stato di ossido-riduzione del polimero coniugato PEDOT:PSS possa influenzare le correnti dei canali ionici di membrana; è emerso che il substrato di PEDOT:PSS ridotto provoca una diminuzione significativa della corrente registrata rispetto al substrato di controllo (petri in polistirene). Questi risultati sono stati confrontati con le curve di proliferazione delle cellule T98G coltivate per 24h, 48h e 72h sui diversi substrati considerati, evidenziando interessanti correlazioni nel caso del substrato PEDOT:PSS ridotto.