La corrispondenza di Galois

In questa tesi viene studiata la corrispondenza di Galois. Tale corrispondenza mette in relazione particolari sottogruppi con sottocampi intermedi di un'estensione finita.

La corrispondenza di Galois per polinomi di terzo e quarto grado

Nella tesi viene studiata tramite un certo numero di esempi la corrispondenza di Galois per polinomi di terzo e quarto grado.

Apologia della Corrispondenza di Monteverde contro il giornale La voce della ragione nei fascicoli dal 15 novembre 1834 fino al 15 febbraio 1835.

Mode of access: Internet.

Teoria di Galois e polinomi ciclotomici

Questa tesi tratta di argomenti di Teoria di Galois. In essa sono presenti alcuni richiami fondamentali della teoria di Galois, come il gruppo di Galois di una estensione di campi di Galois e la corrispondenza di Galois. Prosegue con lo studio delle radici m-esime primitive dell'unità e dei polinomi ciclotomici. Infine si studia il gruppo di Galois di un polinomio ciclotomico.

Campi finiti e segnale GPS

Lo scopo della tesi è quello di studiare una delle applicazioni della teoria dei campi finiti: il segnale GPS. A questo scopo si descrivono i registri a scorrimento a retroazione lineare (linear feedback shift register, LFSR), dispositivi utili in applicazioni che richiedono la generazione molto rapida di numeri pseudo-casuali. I ricevitori GPS sfruttano il determinismo di questi dispositivi per identificare il satellite da cui proviene il segnale e per sincronizzarsi con esso. Si inizia con una breve introduzione al funzionamento del GPS, poi si studiano i campi finiti: sottocampi, estensioni di campo, gruppo moltiplicativo e costruzione attraverso la riduzione modulo un polinomio irriducibile, fattorizzazione di polinomi, formula per il numero e metodi per la determinazione di polinomi irriducibili, radici di polinomi irriducibili, coniugati, teoria di Galois (automorfismo ed orbite di Frobenius, gruppo e corrispondenza di Galois), traccia, polinomio caratteristico, formula per il numero e metodi per la determinazione di polinomi primitivi. Successivamente si introducono e si esaminano sequenze ricorrenti lineari, loro periodicità, la sequenza risposta impulsiva, il polinomio caratteristico associato ad una sequenza e la sequenza di periodo massimo. Infine, si studiano i registri a scorrimento che generano uno dei segnali GPS. In particolare si esamina la correlazione tra due sequenze. Si mostra che ogni polinomio di grado n-1 a coefficienti nel campo di Galois di ordine 2 può essere rappresentato univocamente in n bit; la somma tra polinomi può essere eseguita come XOR bit-a-bit; la moltiplicazione per piccoli coefficienti richiede al massimo uno shift ed uno XOR. Si conclude con la dimostrazione di un importante risultato: è possibile inizializzare un registro in modo tale da fargli generare una sequenza di periodo massimo poco correlata con ogni traslazione di se stessa.

Progettazione e sviluppo di estensioni per AContent

In questo documento di tesi viene descritta la progettazione e la realizzazione di estensioni per il sistema di authoring AContent. L'idea è di creare un'estensione dell'authoring tool che implementi il concetto di template ovvero strumenti di grande efficacia e di facile utilizzo nelle fasi di redazione dei contenuti. Si prevede di aggiungerli ad AContent senza la necessità di integrare un intero motore di template ma utilizzando strutture dati esistenti e specifiche standard di e-learning. I servizi aggiuntivi da offrire agli autori sono stati organizzati secondo tre approcci diversi da cui sono emersi tre livelli di template. Il Template di Layout che determina l'aspetto grafico dei contenuti, il Template di Pagina che definisce la struttura di ogni singola pagina e il Template di Struttura che propone e imposta un modello per la struttura dell'intero contenuto didattico. Il documento è costituito da una seconda parte di progetto che va a coinvolgere il sistema ATutor e pone grande attenzione sulle caratteristiche di interoperabilità fra l'authoring AContent e il LCMS ATutor. Lo scopo è quello di estendere le funzionalità di integrazione dei contenuti del sistema così da presentare materiale didattico esterno archiviato in AContent. Viene trattata l'integrazione di LTI all'interno dei due sistemi considerati assegnando i ruoli di Tool Provider (AContent), fornitore di contenuti didattici remoti e Tool Consumer (ATutor), richiedente di tali contenuti. Sono considerati, infine, i due moduli di ATutor AContent Repository e External Tool che si occupano di importare materiale didattico da AContent tramite il Web Service REST. Si prevede la loro modifica affinché, attraverso il canale di comunicazione LTI stabilito, siano in grado di creare dei Live Content Link ovvero riferimenti a contenuti remoti (esterni alla piattaforma utilizzata) aggiornati in tempo reale. Infatti, a differenza di una normale importazione di un LO esterno è previsto che venga creano un "riferimento". In questo modo, la modifica di una pagina sul Tool Provider AContent si ripercuoterà istantaneamente su tutti i contenuti dei Tool Consumer che hanno instaurato un Live Content Link con il provider.

L'espressione dell'enzima Indoleamina 2,3-Diossigenasi come meccanismo immunoregolatore in cellule dentritiche normali e leucemiche

L’enzima indoleamina 2,3-diossigenasi (IDO) catalizza la conversione dell’aminoacido essenziale triptofano in chinurenine. Questa proprietà conferisce a IDO la capacità di inibire la risposta immunitaria sia causando la deplezione dal microambiente di triptofano, che è necessario ai linfociti T per proliferare ed espandersi, sia producendo metaboliti che possono causare l’apoptosi dei linfociti T. Nel presente studio è stata indagata la funzione di IDO in cellule dendritiche normali e leucemiche. Lo studio dell’espressione di IDO in cellule dendritiche normali ha permesso di osservare che, quando immature, IDO è poco espresso, mentre durante la maturazione IDO viene up-regolato. In particolare, l’incremento nell’espressione di IDO non è strettamente legato al livello di maturazione, ma alla qualità dello stimolo maturativo. Infatti uno stimolo endogeno come il ligando di CD40 ha una scarsa efficacia nell’up-regolazione di IDO, uno stimolo batterico come l’LPS ha un’efficacia intermedia, mentre uno stimolo rappresentato da citochine pro-infiammatorie ha un’efficacia massima. L’espressione di IDO risulta direttamente propozionale alla produzione di chinurenine, all’inibizione della proliferazione dei linfociti T e all’induzione di una popolazione di linfociti T regolatori. Lo studio dell’espressione di IDO in cellule dendritiche leucemiche ha permesso di osservare che IDO è espresso a un livello intermedio nelle cellule dendritiche leucemiche immature e viene up-regolato durante la maturazione. La conseguenza principale dell’espressione di IDO in cellule dendritiche leucemiche è l’induzione di una popolazione di linfociti T regolatori fortemente in grado di limitare sia la risposta CD4+ che la risposta CD8+ anti-leucemica e capaci di inibire la maturazione di altre cellule dendritiche. Nel complesso, i dati emersi da questo studio hanno permesso di concludere che, in cellule dendritiche normali, IDO rappresenta un meccanismo tollerogenico la cui intensità di espressione è correlata all’intensità dello stimolo attivatorio da controbilanciare, a cui è sottoposta la cellula dendritica. Nelle cellule dendritiche leucemiche IDO rappresenta un meccanismo di tumor-escape in grado di inibire l’attivazione di cellule dendritiche, linfociti CD4+ e linfociti CD8+.

Studio di fattibilità del gruppo di sterzo di un rasaerba professionale

Studio del gruppo di sterzo di un nuovo trattore rasaerba professionale della Grillo S.p.A., azienda che opera nell'ambito dell'agricoltura e del giardinaggio. Lo studio consta principalmente nella definizione di una geometria di sterzo efficace in grado di garantire alla macchina rasaerba il più piccolo raggio di sterzata possibile, compatibilmente con gli ingombri e le dimensioni della macchina stessa, il cui vantaggio consiste nel permettere la realizzazione di traiettorie strette in prossimità di alberi e nell'intorno di ostacoli che possono essere presenti lungo i percorsi di taglio, caratteristica molto ricercata dai clienti ed indispensabile per ottenere alta guidabilità del veicolo e rasatura uniforme del manto erboso senza la necessità di interventi manuali. Le ruote sterzanti di un veicolo risultano parallele solo in condizioni di traiettorie rettilinee mentre in corrispondenza di traiettorie curve tendono ad assumere angoli diversi, venendo a mancare in questo modo il parallelismo. E' oggetto di questa trattazione determinare i valori degli angoli necessari per ottenere un determinato raggio di curvatura e definire di conseguenza il sistema articolato in grado di far seguire alle ruote l'andamento di questi angoli. L'obiettivo è quindi il miglioramento e l'evoluzione del gruppo di sterzo presente sulle macchine della stessa gamma cercando di realizzare un prodotto meccanicamente più semplice e con un comportamento regolare ed uniforme in funzione del verso di sterzata; l'analisi degli sforzi e le successive verifiche strutturali, anche mediante l'impiego di software FEM dei componenti soggetti a carichi variabili con il variare della sterzata, permetteranno di convalidarne l'integrità e l'effettiva resistenza alle sollecitazioni. I componenti primari dell'assale necessiteranno di essere verificati anche nel caso di carichi dinamici (urti) in situazioni particolarmente gravose tipiche di incidenti e rotture delle macchine Grillo avvenuti in fase di lavoro o nel caso di manovre incaute. La movimentazione del veicolo avverrà per mezzo di quattro motori idraulici due dei quali verranno installati in corrispondenza dei fuselli dell'assale sterzante: ciò comporterà il dimensionamento di tali motori al fine di garantire non solo la percorrenza del mezzo con una determinata velocità ma anche il taglio lungo salite di pendenza discreta, condizioni di lavoro ordinarie di molti utilizzatori.

Mammografia digitale: confronto tra qualità immagine in relazione alle curve di acquisizione dosimetriche

Il presente lavoro è stato svolto presso il Servizio di Fisica Sanitaria dell’Azienda USL della Romagna, Presidio Ospedaliero di Ravenna e consiste nella validazione del dato dosimetrico visualizzato su due apparecchiature per mammografia digitale e nel confronto tra qualità immagine di diverse curve di acquisizione in funzione della dose e della post-elaborazione. Presupposto per l’acquisizione delle immagini è stata la validazione del dato dosimetrico visualizzato sui mammografi, tramite misura diretta della dose in ingresso con strumentazione idonea, secondo protocolli standard e linee guida europee. A seguire, sono state effettuate prove di acquisizione delle immagini radiografiche su due diversi fantocci, contenenti inserti a diverso contrasto e risoluzione, ottenute in corrispondenza di tre curve dosimetriche e in funzione dei due livelli di post-elaborazione delle immagini grezze. Una volta verificati i vari passaggi si è proceduto con l’analisi qualitativa e quantitativa sulle immagini prodotte: la prima valutazione è stata eseguita su monitor di refertazione mammografica, mentre la seconda è stata effettuata calcolando il contrasto in relazione alla dose ghiandolare media. In particolare è stato studiato l’andamento del contrasto cambiando le modalità del software Premium View e lo spessore interposto tra la sorgente di raggi X ed il fantoccio, in modo da simulare mammelle con grandezze differenti.

Il modello di Kaluza: unificazione tra gravità ed elettromagnetismo

Una teoria di unificazione ha il notevole compito di fornire un modello in grado di unificare le forze fondamentali della natura in una sola. Storicamente uno dei primi tentativi è rappresentato dal modello di Kaluza, che propone una formulazione unificata di gravità ed elettromagnetismo. In 4 dimensioni il campo gravitazionale e il campo elettromagnetico sono entità nettamente separate. Tale dualismo può essere superato estendendo la teoria della Relatività Generale ad uno spaziotempo a 5 dimensioni. Se alle consuete 4 si aggiunge una quinta dimensione spaziale, allora si dimostra che la gravità e l’elettromagnetismo possono essere visti come la manifestazione di un unico campo di forza, che è interpretabile in termini della geometria dello spaziotempo a 5 dimensioni. Nonostante i suoi intrinseci limiti, il modello di Kaluza rappresenta comunque un punto di partenza per molte altre teorie di campo unificato più moderne e a più di 5 dimensioni. L'obiettivo è di sviluppare le linee fondamentali del modello di Kaluza. Preliminarmente si riportano i risultati principali dell'elettromagnetismo e della Relatività Generale, dato che il modello si formula a partire da questi. Si stabilisce la condizione di cilindro, secondo cui le quantità fisiche non subiscono variazioni nella quinta dimensione. Si ipotizza un ansatz per il tensore metrico 5D e si scrivono le equazioni di campo unitario e della geodetica, come estensioni a 5 dimensioni di quelle in 4. Si dimostra che il campo unitario in 4 dimensioni si separa nel campo scalare costante, nel campo elettromagnetico e nel campo gravitazionale. Le componenti quadridimensionali della geodetica 5D riconducono a quella 4D e alle leggi del moto 4D in presenza dei campi gravitazionale ed elettromagnetico. Inoltre si interpreta la carica elettrica come la quinta componente della velocità covariante 5D.

Tabelle di Young e algoritmo di Robinson-Schensted

La tesi tratta i concetti fondamentali della teoria delle tabelle di Young e l'algoritmo di Robinson-Schensted. Nella prima parte si trovano le definizioni preliminari e le 2 operazioni principali definite sulle tabelle di Young. Si definiscono i prodotti tra tabelle. Si fornisce la definizione di parola associata ad una tabella e si introduce la definizione di knuth-equivalenza per le parole. Nella seconda parte della tesi si introduce l'algoritmo di Robinson-Schensted con con relativa corrispondenza di Robinson-Schensted-Knuth. Si danno anche risultati relativi alle sottosequenze crescenti massime di una parola; e risultati relativi alle tabelle associate alle permutazioni.

Tabelle di Young e statistiche sulle permutazioni

La presente tesi è suddivisa in due parti: nella prima parte illustriamo le definizioni e i relativi risultati della teoria delle tabelle di Young, introdotte per la prima volta nel 1900 da Alfred Young; mentre, nella seconda parte, diamo la nozione di numeri Euleriani e di Polinomi Euleriani. Nel primo capitolo abbiamo introdotto i concetti di diagramma di Young e di tabelle di Young standard. Inoltre, abbiamo fornito la formula degli uncini per contare le tabelle di Young della stessa forma. Il primo capitolo è focalizzato sul teorema di Robinson-Schensted, che stabilisce una corrispondenza biunivoca tra le permutazioni di Sn e le coppie di tabelle di Young standard della stessa forma. Ne deriva un'importante conseguenza che consiste nel poter trovare in modo efficiente la massima sottosequenza crescente di una permutazione. Una volta definite le operazioni di evacuazione e "le jeu de taquin" relative alle tabelle di Young, illustriamo una serie di risultati riferibili alla corrispondenza biunivoca R-S che variano in base alla permutazione che prendiamo in considerazione. In particolare, enunciamo il teorema di simmetria di M.P.Schüztenberger, che dimostriamo attraverso la costruzione geometrica di Viennot. Nel secondo capitolo, dopo aver dato la definizione di discesa di una permutazione, descriviamo altre conseguenze della corrispondenza biunivoca R-S: vediamo così che esiste una relazione tra le discese di una permutazione e la coppia di tabelle di Young associata. Abbiamo trattato approfonditamente i numeri Euleriani, indicati con A(n,k) = ]{σ ∈ Sn;d(σ) = k}, dove d(σ) indica il numero di discese di una permutazione. Descriviamo le loro proprietà e simmetrie e vediamo che sono i coefficienti di particolari polinomi, detti Polinomi Euleriani. Infine, attraverso la nozione di eccedenza di una permutazione e la descrizione della mappa di Foata arriviamo a dimostrare un importante risultato: A(n,k) conta anche il numero di permutazioni di Sn con k eccedenze.

L'Aquila 2010 : quartiere San Silvestro : residenze e luoghi per la collettività

Il progetto di intervento per la ricostruzione dell’Aquila è il frutto del lavoro sul discusso e attuale tema del terremoto del 6 aprile 2009 in Abruzzo, che ha profondamente colpito la città ed il suo territorio. Quest’ultimo è stato l’elemento fondativo da cui partire in fase progettuale, affinchè la memoria possa diventare nuovamente fonte di identità e dove il paesaggio rappresenti un dialogo costante tra passato e presente, dove gli spazi aperti assumano il ruolo di rinnovata struttura generativa. Lo scenario che si prospetta dopo il sisma, mostra come sia forte la necessità di ritornare alla propria città, l’Aquila, attraverso la fruizione di spazi di relazione pubblici quali le piazze, le chiese e gli spazi privati dell’abitazione. L’intervento all’interno del quartiere di San Silvestro in cui si è sviluppato il progetto, rappresenta una realtà molteplice e complessa in cui più elementi interagiscono tra loro. Per questo, il progetto si pone come obiettivo quello di “intrecciare relazioni”, ossia creare legami tra sistemi ed elementi ora disgiunti che, se tra loro connessi, diventano l’occasione per far rivivere la città. La volontà di creare relazioni si è definita attraverso diverse azioni; una di queste è la scelta di intervenire a scala urbana, definendo un nuovo sistema viario che possa svincolare il centro dal percorso congestionato di via Duca degli Abruzzi. L’intervento previsto su macroscala non solo ha l’obbiettivo di tutelare il centro storico dal traffico carrabile, ma privilegia la circolazione pedonale all’interno del quartiere, cercando di restituire una percezione dello spazio a misura d’uomo. Altro aspetto caratterizzante il progetto è la volontà di “ricostruire scene urbane” caratteristiche del centro storico aquilano, consolidando gli spazi di aggregazione già esistenti come piazza san Silvestro e inserendo nuovi spazi di relazione in corrispondenza di porta Branconia, un punto nevralgico del progetto perché congiunge la cinta muraria con il centro storico e con la città all’esterno delle mura. Il progetto prevede che il sistema del verde retrostante sia accessibile attraverso percorsi nel verde che, dal centro, confluiscono sull’asse commerciale di via della Croce Rossa. La definizione della parte più storica del quartiere di San Silvestro avviene attraverso un sistema di nuovi elementi che dialogano con le preesistenze storiche: un complesso di alloggi che si sviluppa nel lotto adiacente la chiesa, secondo la tipologia a schiera, ha un duplice affaccio, su via Duca degli Abruzzi da un lato e su via Sant’Agnese dall’altro; un nuovo museo per la città che si colloca su piazza San Silvestro confrontandosi direttamente con la Chiesa e col palazzo Branconi-Farinosi, rispettandone il ruolo e l’importanza. Nell’area di espansione, limitrofa al già esistente quartiere di San Silvestro, si è cercati di privilegiare la relazione della città col suolo: a tal proposito l’andamento delle curve di livello presenti, dà origine a strade per l’accesso agli alloggi sociali che confluiscono nel verde adiacente le mura della città. L’elemento unificatore di questo nuovo impianto risulta essere dunque il parco pubblico che costeggia le mura, congiungendo piazza S. Silvestro con l’estremità ovest dell’area e con i percorsi pedonali che caratterizzano tutta l’area di progetto trovando la massima espressione in prossimità proprio delle mura storiche. Attraverso queste prime intenzioni progettuali si è cercato di sviluppare un sistema organico e coerente di elementi capaci di dialogare con il contesto circostante e di instaurare nuove relazioni con la città. Se consideriamo le diverse componenti che formano il sistema possiamo evidenziare la presenza di elementi serventi, quali gli spazi aventi funzione pubblica, e di elementi serviti, come le residenze, aventi funzione privata. In particolare, il sistema residenziale, assume uno sviluppo uniforme ed omogeneo all’interno dell’area di intervento articolandosi con differenti connotazioni a seconda del diverso contesto circostante.

I linfociti T regolatori nella patologia epatica da HCV: dall'epatite cronica al trapianto

La storia naturale dell’epatopatia HCV-relata passa dall’epatite cronica alla cirrosi ed eventualmente all’epatocarcinoma fino ad arrivare alla possibile necessità del trapianto di fegato. HCV non esercita citolisi diretta, pertanto i fattori immunologici giocano il duplice ruolo di determinare l’evoluzione dell’infezione e il danno epatico. All’interno del sistema immunitario esistono linfociti in grado di inibire l’attivazione delle cellule effettrici modulando la risposta immunitaria; la popolazione regolatoria meglio conosciuta è costituita dai cosiddetti T-reg caratterizzati dal fenotipo CD4+CD35hiFoxp3+. Scopo di questo studio è stato determinare fenotipo e funzione dei T-reg, valutandone le correlazioni con caratteristiche cliniche e parametri biochimici e virologici, nelle diverse fasi della malattia epatica da HCV, a partire dall’epatite cronica, passando per la cirrosi, l’epatocarcinoma e terminando con il follow-up post-trapianto di fegato. Sono stati reclutati 80 pazienti con infezione cronica da HCV non in trattamento antivirale, di cui 52 con epatite cronica, 12 con cirrosi e 16 con epatocarcinoma. Di questi, 11 sono andati incontro a trapianto di fegato e sono stati poi seguiti fino a 36 mesi di follow up. Ventinove soggetti avevano transaminasi persistentemente nella norma e 28 mostravano ALT costantemente oltre 2.5x i valori normali. Quaranta donatori di sangue sono stati utilizzati come controlli sani. Marcatori di superficie (CD4, CD25) ed intracellulari (Foxp3) sono stati valutati in citofluorimetria su sangue intero periferico per tutti i soggetti al basale ed ogni 2-4 settimane dopo trapianto. In una quota di pazienti i T-reg sono stati estratti dai linfociti del sangue periferico con metodi immunomagnetici e la loro funzione valutata come percentuale di inibizione di proliferazione e produzione di IFN-γ da parte delle cellule bersaglio CD4+CD25- in esperimenti di co-coltura effettuati al basale e dopo 24-36 settimane dal trapianto. La percentuale di T-reg e l’espressione del Foxp3 sono risultate aumentate nei soggetti con HCV rispetto ai controlli sani, in particolare in coloro con cirrosi, HCC e nei pazienti con transaminasi normali indipendentemente dallo stadio di malattia, correlando inversamente con i livelli di transaminasi e direttamente con il punteggio MELD. La produzione di IFN-γ è incrementata in tutti i pazienti HCV ma efficacemente controllata solamente dai T-reg dei pazienti con transaminasi normali. Dopo il trapianto di fegato, si verifica una precoce e reversibile riduzione delle T-reg circolanti. Alla 24ma e 36ma settimana dal trapianto la percentuale dei T-reg circolanti è sovrapponibile al basale e i loro effetti, sia in termini di proliferazione che di produzione di IFN-γ, sulle cellule bersaglio, già dotate di una ridotta attività intrinseca, appaiono particolarmente incisivi. In conclusione, l’epatopatia cronica da HCV è caratterizzata da una popolazione di T-reg espansa che però, con l’eccezione dei soggetti con transaminasi normali, non appare in grado di limitare il danno epatico immuno-mediato e potrebbe favorire lo sviluppo e la crescita di lesioni tumorali nei pazienti con malattia avanzata. Il trapianto di fegato, probabilmente a causa della terapia immunosoppressiva, si associa ad un marcato e transitorio declino dei T-reg le cui numerosità e funzione vengono completamente recuperate a sei mesi dall’intervento. La migliore conoscenza dei meccanismi alla base delle cinetica e della funzione delle cellule regolatorie potrà fornire utili strumenti per il loro utilizzo come adiuvanti nella terapia dell’epatopatia cronica HCV relata.