Risolubilità per radicali

Lo scopo di questa tesi è di esporre il cuore centrale della teoria di Galois, la risolubilità per radicali delle equazioni polinomiali nel caso in cui il campo di partenza abbia caratteristica 0. L’operato è articolato in tre capitoli. Nel primo capitolo vengono introdotte le nozioni fondamentali della teoria dei campi e della teoria di Galois. Nel secondo capitolo, si sviluppa il problema della risolubilità per radicali. Vengono prima introdotti i gruppi risolubili e alcune loro particolarità. Poi vengono introdotte le nozioni di estensioni radicali e risolubili e relativi teoremi. Nel paragrafo 2.3 viene dimostrato il teorema principale della teoria, il teorema di Galois, che identifica la risolubilità del gruppo di Galois con la risolubilità dell’estensione. Infine l’ultimo paragrafo si occupa della risolubilità dei polinomi, sfruttando il loro campo di spezzamento. Nel terzo ed ultimo capitolo, viene discussa la risolubilita` dell’equazione polinomiale generale di grado n. Vengono inoltre riportati diversi esempi ed infine viene presentato un esempio di estensione di Galois di grado primo p non risolubile in caratteristica p.

Analisi efficiente di tracce prodotte da un simulatore di protocolli di rete

Questa tesi consiste nello sviluppo di codice per un applicativo esistente. Tale applicativo si occupa di simulazione di protocolli di rete su varie topologie di rete. La parte di cui si occupa questa tesi è la fase di analisi dei file di traccia generati. Tale fase è una delle tre fasi dell'applicativo. I file di traccia contengono informazioni che permettono di stimare due grandezze, copertura e ritardo. Per copertura si intende una media fra tutte le coperture. Ogni copertura sarà relativa ad uno specifico nodo della rete. Per copertura di uno specifico nodo della rete si intende la parte di messaggi arrivati a quel nodo relativamente a tutti i messaggi generati all'interno della rete. Per ritardo si intende la media del numero di salti che avvengono per arrivare ai vari nodi che compongono la rete. I valori calcolati, mediante le informazioni contenute nei trace file, vengono poi memorizzati su dei file. Oltre al calcolo di queste specifiche grandezze, la tesi include anche una possibile soluzione relativa al parallelismo dei processi. Tale soluzione mira ad avere un numero, stabilito in base alla memoria principale libera, di processi che vengono eseguiti in maniera parallela.

Determinazione sperimentale della minima attivita rivelabile dei calibratori di attivita dei radionuclidi

I calibratori di attività dei radionuclidi sono strumenti fondamentali per la pratica diagnostica e terapeutica in Medicina Nucleare. Il loro ruolo principale è quello di quantificare accuratamente l’attività dei radiofarmaci somministrata ai pazienti, vengono pertanto progettati per avere una accuratezza di misura ottimale per attività relativamente alte. Lo scopo di questo studio è stato quello di determinare il livello di minima attività rivelabile (o Minimum Detectable Activity, MDA) di diversi modelli di calibratori di attività, al fine di estendere l’utilizzo di questi strumenti ad altre applicazioni. E’ stata quindi eseguita un’estesa campagna di misure sperimentali sui principali modelli di calibratori commercialmente distribuiti. Le modalità di misura della MDA sviluppate sono basate su un adattamento delle tecniche di riferimento per altri tipi di strumenti; tali tecniche, non solo rispondono all’obiettivo immediato, ma hanno permesso di dimostrare che è possibile una determinazione generalizzata della MDA di questa classe di apparecchiature. I risultati che verranno presentati sono stati ottenuti con una metodologia indipendente dal tipo di apparecchiatura e sono basati su misurazioni che possono essere replicate in ogni laboratorio.

Polinomi di Bernstein e curve di Bezier

Questo lavoro si pone come obiettivo l'approfondimento della natura e delle proprietà dei polinomi espressi mediante la base di Bernstein. Introdotti originariamente all'inizio del '900 per risolvere il problema di approssimare una funzione continua su un intervallo chiuso e limitato della retta reale (Teorema di Stone-Weierstrass), essi hanno riscosso grande successo solo a partire dagli anni '60 quando furono applicati alla computer-grafica per costruire le cosiddette curve di Bezier. Queste, ereditando le loro proprietà geometriche da quelle analitiche dei polinomi di Bernstein, risultano intuitive e facilmente modellabili da un software interattivo e sono alla base di tutti i più moderni disegni curvilinei: dal design industriale, ai sistemi CAD, dallo standard SVG alla rappresentazione di font di caratteri.

Implementazione di un sistema per la classificazione di banchi di pesce da dati di acustica

La tesi è finalizzata ad una preliminare fase di sperimentazione di un algoritmo che, a partire da dati di acustica, sia in grado di classificare le specie di pesce presenti in cale mono e plurispecifiche. I dati sono stati acquisiti nella fascia costiera della Sicilia meridionale, durante alcune campagne di ricerca effettuate tra il 2002 e il 2011, dall’IAMC – CNR di Capo Granitola. Sono stati registrati i valori delle variabili ambientali e biotiche tramite metodologia acustica e della composizione dei banchi di pesci catturati tramite cale sperimentali: acciughe, sardine, suri, altre specie pelagiche e pesci demersali. La metodologia proposta per la classificazione dei segnali acustici nasce dalla fusione di logica fuzzy e teorema di Bayes, per dar luogo ad un approccio modellistico consistente in un compilatore naïve Bayes operante in ambiente fuzzy. Nella fattispecie si è proceduto alla fase di training del classificatore, mediante un learning sample di percentuali delle categorie ittiche sopra menzionate, e ai dati di alcune delle osservazioni acustiche, biotiche e abiotiche, rilevate dall’echosurvey sugli stessi banchi. La validazione del classificatore è stata effettuata sul test set, ossia sui dati che non erano stati scelti per la fase di training. Per ciascuna cala, sono stati infine tracciati dei grafici di dispersione/correlazione dei gruppi ittici e le percentuali simulate. Come misura di corrispondenza dei dati sono stati considerati i valori di regressione R2 tra le percentuali reali e quelle calcolate dal classificatore fuzzy naïve Bayes. Questi, risultando molto alti (0,9134-0,99667), validavano il risultato del classificatore che discriminava con accuratezza le ecotracce provenienti dai banchi. L’applicabilità del classificatore va comunque testata e verificata oltre i limiti imposti da un lavoro di tesi; in particolare la fase di test va riferita a specie diverse, a condizioni ambientali al contorno differenti da quelle riscontrate e all’utilizzo di learning sample meno estesi.

Caratterizzazione sperimentale delle proprietà elettromagnetiche di materiali plastici mediante metodi risonanti

In questa tesi è stato affrontato un metodo sperimentale per la caratterizzazione elettromagnetica di un materiale plastico, ovvero l'acetato di cellulosa, fornito all'Università da una azienda della regione interessata ad un futuro impiego dell'acetato come materiale principale nelle "cover" di smartphone di ultima generazione. Il fine principale è quello di determinare le principali proprietà dielettriche del materiale, ovvero la permettività relativa o costante dielettrica e il fattore di dissipazione, o tangente di perdita, la cui conoscenza risulta il primo passo per per lo scopo iniziale dell'azienda. Il metodo impiegato fa uso di un risonatore in microstriscia a T, dato che il pattern della metallizzazione superiore assume questa forma. In questa tecnica avviene un confronto tra un prototipo reale di riferimento analizzato con VNA e un modello dello stesso risonatore realizzato all'interno del simulatore elettromagnetico CST, in particolare un confronto tra le frequenze di risonanza dei due casi, ricavate dall'andamento risonante dell'ampiezza di S21. I valori di permettività relativa e tangente di perdita vengono ricavati realizzando una moltitudine di simulazioni con CST fino a trovare il modello più simile al prototipo reale.

Emissione di Bremsstrahlung e applicazioni astrofisiche.

In ambiente astrofsico i principali meccanismi di produzione di energia sono associati a cariche elettriche in moto non uniforme. In generale è noto che cariche libere emettono radiazione elettromagnetica solamente se accelerate:una carica stazionaria ha campo elettrico costante e campo magnetico nullo, quindi non irradia, e lo stesso si ha per una carica in moto uniforme (difatti basta porsi nel sistema di riferimento solidale ad essa perchè si ricada nel caso precedente). In questo contesto si inserisce la radiazione di Bremsstrahlung, caratteristica dei plasmi astrofsici molto caldi e dovuta all'interazione coulombiana tra gli ioni e gli elettroni liberi del gas ionizzato. Data la piccola massa dell'elettrone, durante l'interazione lo ione non viene accelerato in maniera apprezzabile, quindi è possibile trattare il problema come quello di cariche elettriche negative decelerate dal campo coulombiano stazionario di un mare di cariche positive. Non a caso in tedesco la parola Bremsstrahlung signifca radiazione di frenamento". L'emissione di Bremsstrahlung è detta anche free-free emission poichè l'elettrone perde energia passando da uno stato non legato a un altro stato non legato. Questo processo di radiazione avviene nel continuo, su un intervallo di frequenze che va dal radio ai raggi gamma. In astrofsica è il principale meccanismo di raffreddamento per i plasmi a temperature elevate: si osserva nelle regioni HII, sottoforma di emissione radio, ma anche nelle galactic hot-coronae, nelle stelle binarie X, nei dischi di accrescimento intorno alle stelle evolute e ai buchi neri, nel gas intergalattico degli ammassi di galassie e nelle atmosfere di gas caldo in cui sono immerse le galassie ellittiche, perlopiù sottoforma di emissione X. La trattazione del fenomeno sarà estesa anche al caso relativistico che, per esempio, trova applicazione nell'emissione dei ares solari e della componente elettronica dei raggi cosmici. Infine la radiazione di Bremsstrahlung, oltre a permettere, solamente mediante misure spettroscopiche, di ricavare la temperatura e la misura di emissione di una nube di plasma, consente di effettuare una vera e propria "mappatura" del campo gravitazionale dei sistemi che hanno gas caldo.

Sulla dinamica del corpo rigido: alcuni teoremi fondamentali e l'ellissoide di inerzia

Scopo di questo elaborato è la trattazione del momento di inerzia di un sistema meccanico rispetto ad una retta, con particolare attenzione alla struttura geometrica associata a questa nozione, ovvero all’ellissoide di inerzia. Si parte dalla definizione delle grandezze meccaniche fondamentali, passando per le equazioni cardinali della dinamica, arrivando a dimostrare il teorema di König. Viene poi studiato il momento di inerzia ed evidenziato il suo ruolo importante per la determinazione del momento angolare e dell’energia cinetica: in particolare è emersa la centralità dell’ellissoide d’inerzia. Si conclude con la dimostrazione del teorema di Huyghens e alcuni esempi espliciti di calcolo dell’ellissoide di inerzia.

Il metodo di steepest descent per la regolarizzazione di immagini

Scopo della tesi è la descrizione di un metodo per il calcolo di minimi di funzionali, basato sulla steepest descent. L'idea principale è quella di considerare un flusso nella direzione opposta al gradiente come soluzione di un problema di Cauchy in spazi di Banach, che sotto l'ipotesi di Palais-Smale permette di determinare minimi. Il metodo viene applicato al problema di denoising e segmentazione in elaborazione di immagini: vengono presentati metodi classici basati sull'equazione del calore, il total variation ed il Perona Malik. Nell'ultimo capitolo il grafico di un'immagine viene considerato come varietà, che induce una metrica sul suo dominio, e viene nuovamente utilizzato il metodo di steepest descent per costruire algoritmi che tengano conto delle caratteristiche geometriche dell'immagine.

Emissione di bremsstrahlung e applicazioni astrofisiche

La radiazione elettromagnetica è una singola entità, come si deduce dall’universalità delle leggi di Maxwell, nonostante lo spettro elettromagnetico sia caratterizzato da regioni a cui si associano nomi differenti. Questo implica l’esistenza di un meccanismo fondamentale comune alla base di tutti i processi di radiazione, che si identifica in una carica in moto non uniforme. Infatti una carica stazionaria ha un campo elettrico costante e un campo magnetico nullo, quindi non irradia; lo stesso vale per una carica in moto uniforme. La radiazione di Bremsstrahlung, che avviene nel continuo, spaziando dal radio ai raggi gamma, fu scoperta negli anni ’30 del secolo scorso, in seguito all’osservazione che la perdita di energia che subisce un elettrone attraversando la materia non è data unicamente dalla ionizzazione: l’elettrone, accelerato dal nucleo ionizzato, irradia e, di conseguenza, viene frenato. Letteralmente “Bremsstrahlung“ significa “radiazione di frenamento” e in astrofisica rappresenta il principale meccanismo di raffreddamento di un plasma a temperature molto elevate; nel seguente elaborato tale plasma sarà considerato monoatomico e completamente ionizzato. Dall’analisi dello spettro di Bremsstrahlung si possono rilevare la temperatura e la misura di emissione della nube di gas osservato, che consentono di ricavare la densità, la massa e la luminosità della nube stessa. Nel capitolo 1 vengono riportate la descrizione di questo processo di radiazione e le principali formule che lo caratterizzano, illustrate in ambiente semiclassico (Bremsstrahlung termica) e in ambiente relativistico (Bremsstrahlung relativistica). Nel capitolo 2 segue la trattazione di alcuni esempi astrofisici: le regioni HII; il gas intergalattico degli ammassi di galassie ed emettono principalmente nella banda X; le galassie Starburst; le binarie X; la componente elettronica dei raggi cosmici e i brillamenti solari; infine un accenno agli oggetti di Herbig-Haro.

Formule di media per le funzioni armoniche

In questo lavoro studiamo le funzioni armoniche e le loro proprietà: le formule di media, il principio del massimo e del minimo (forte e debole), la disuguaglianza di Harnack e il teorema di Louiville. Successivamente scriviamo la prima e la seconda identità di Green, che permettono di ottenere esplicitamente la soluzione fondamentale dell’equazione di Laplace, tramite il calcolo delle soluzioni radiali del Laplaciano. Introduciamo poi la funzione di Green, da cui si ottiene una formula di rappresentazione per le funzioni armoniche. Se il dominio di riferimento è una palla, la funzione di Green può essere determinata esplicitamente, e ciò conduce alla rappresentazione integrale di Poisson per le funzioni armoniche in una palla.

Midi networking: Metodologie di interconnessione di strumenti musicali tramite reti fisiche e virtuali

Il lavoro che si presenta ha la principale funzione di proporre un metodo di interconnessione di strumenti musicali digitali che utilizzi i più comuni protocolli e strumenti hardware di rete. Nell'ottica di Internet of Things, si vuole rendere MIDI un sotto-protocollo di rete.

Un'applicazione della teoria di Morse alla topologia delle varietà di Stein

In questa tesi si è data una dimostrazione dovuta ad Andreotti e Frenkel del Teorema di Lefschetz, utilizzando gli strumenti e i risultati della Teoria di Morse.

Varietà topologiche compatte di dimensione due

In questa tesi si mostra che la caratteristica di Eulero e l'orientabilità (o non orientabilità) sono invarianti topologici per le superfici compatte e si studia il teorema di classificazione per tali superfici.

Risolubilità per radicali di equazioni polinomiali

Lo scopo di questa tesi è lo studio della risolubilità per radicali di equazioni polinomiali nel caso in cui il campo dei coefficienti del polinomio abbia caratteristica zero. Nel primo capitolo vengono richiamati i principali risultati riguardanti la teoria di Galois. Nel secondo capitolo si introducono le nozioni di gruppo risolubile e gruppo semplice analizzandone le proprietà. Nel terzo capitolo si definiscono le estensioni di campi radicali e risolubili. Viene inoltre dimostrato il teorema di Galois che mette in evidenza il legame tra gruppi risolubili ed estensioni risolubili. Infine, nell'ultimo capitolo, si applicano i risultati ottenuti al problema della risolubilità per radicali delle equazioni polinomiali dando anche diversi esempi. In particolare viene analizzato il caso del polinomio universale di grado n.