Alcuni applicazioni dell'azione di un gruppo su un insieme

la tesi tratta alcuni risultati e applicazioni relative alla teoria delle azioni di gruppi su insiemi finiti, come l'equazione delle classi e il teorema di Cauchy. Infine illustra l'uso di tali risultati nella rappresentazione tramite permutazioni.

A proposito di Crittografia a chiave asimmetrica e numeri primi: tecniche note e proposta di un nuovo test di primalità euristico e deterministico

Con questa tesi verrà spiegata l'intrinseca connessione tra la matematica della teoria dei numeri e l'affidabilità e sicurezza dei crittosistemi asimmetrici moderni. I principali argomenti trattati saranno la crittografia a chiave pubblica ed il problema della verifica della primalità. Nei primi capitoli si capirà cosa vuol dire crittografia e qual è la differenza tra asimmetria e simmetria delle chiavi. Successivamente verrà fatta maggiore luce sugli utilizzi della crittografia asimmetrica, mostrando tecniche per: comunicare in modo confidenziale, scambiare in modo sicuro chiavi private su un canale insicuro, firmare messaggi, certificare identità e chiavi pubbliche. La tesi proseguirà con la spiegazione di quale sia la natura dei problemi alla base della sicurezza dei crittosistemi asimmetrici oggigiorno più diffusi, illustrando brevemente le novità introdotte dall'avvento dei calcolatori quantistici e dimostrando l'importanza che riveste in questo contesto il problema della verifica della primalità. Per concludere verrà fatta una panoramica di quali sono i test di primalità più efficienti ed efficaci allo stato dell'arte, presentando una nuova tecnica per migliorare l'affidabilità del test di Fermat mediante un nuovo algoritmo deterministico per fattorizzare gli pseudoprimi di Carmichael, euristicamente in tempo O~( log^3{n}), poi modificato sfruttando alcune proprietà del test di Miller per ottenere un nuovo test di primalità deterministico ed euristico con complessità O~( log^2{n} ) e la cui probabilità di errore tende a 0 con n che tende ad infinito.

Caratterizzazione sperimentale di sistemi di localizzazione a banda ultra-larga

Il processo di localizzazione risponde all'esigenza dell'uomo di avere una percezione sempre più dettagliata e precisa del contesto in cui si trova, con l'intento di migliorare e semplificare l'interazione con oggetti e cose ivi presenti. L'idea attuale è quella di progettare sistemi di posizionamento con particolare riguardo agli ambienti indoor, caratterizzati da proprietà e densità di elementi che limitano fortemente le prestazioni dei consolidati sistemi di tracking, particolarmente efficienti in spazi aperti. Consapevole di questa necessità, il seguente elaborato analizza le prestazioni di un sistema di localizzazione sviluppato dall'Università di Bologna funzionante in tecnologia Ultra-Wide Bandwidth (UWB) e installato nei laboratori DEI dell'Alma Mater Studiorum con sede a Cesena. L'obiettivo è quello di caratterizzare l'accuratezza di localizzazione del sistema, suggerendo nuovi approcci operativi e de�finendo il ruolo dei principali parametri che giocano nel meccanismo di stima della posizione, sia in riferimento a scenari marcatamente statici sia in contesti in cui si ha una interazione dinamica degli oggetti con lo spazio circostante. Una caratteristica della tecnologia UWB è, infatti, quella di limitare l'errore di posizionamento nel caso di localizzazione indoor, grazie alle caratteristiche fisiche ed elettriche dei segnali, aprendo nuovi scenari applicativi favorevoli in termini economici, energetici e di minore complessità dei dispositivi impiegati.

Risorse idriche sotterranee del continente africano: disponibilità e prospettive di gestione

L’acqua è uno dei principali fattori per la crescita socio-economica e lo sviluppo del continente africano. Il continente africano dispone di ingenti risorse idriche, ma le complessità naturali caratteristiche di alcune regioni del continente e la frequente assenza di una corretta pianificazione della loro gestione ne riduce ad oggi il potenziale in maniera significativa. L’utilizzo delle risorse idriche in Africa è destinato ad incrementare sensibilmente nel corso dei prossimi decenni, come risultato della crescita demografica e dei fabbisogni nell’agricoltura. Le risorse idriche sotterranee giocano un importante ruolo in tale scenario in quanto molti paesi africani caratterizzati da scarsità d’acqua dispongono di sostanziali riserve idriche sotterranee e l’accesso a tali risorse, ancorché limitate, è largamente diffuso nel continente. Si stima che il totale delle risorse idriche sotterranee sia di 0,66 milioni di km cubi. Le risorse sotterranee sono largamente distribuite: i maggiori volumi sono localizzati nei larghi acquiferi sedimentari nelle regioni del nord Africa. Per molti paesi africani pozzi appropriatamente ubicati sono in grado di sostenere le comunità con l’estrazione manuale mediante pompe con una portata di 0,1-0,3 l/s. Grandi impianti di produzione da acquifero (>5 l/s), che siano adatti per lo sviluppo urbano o produzioni agricole intensive, non sono ancora diffusi e sono limitati ad aree particolari. La disponibilità ed accessibilità delle acque sotterranee in gran parte dell’Africa è favorevole ad uno sviluppo rurale piuttosto che urbano. Il maggiore fattore limitante per una gestione sostenibile delle risorse sotterranee è dato dalla necessità di identificare se le acque sotterranee sono rinnovabili (ed in quale misura) o meno, al fine di programmare le corrette politiche gestionali nel tempo.

L'analisi del costo globale per il retrofit energetico applicata ad un caso di studio di edilizia residenziale.

Nell’ottica della pianificazione di interventi di Retrofit Energetico che possano migliorare l’efficienza energetica del comparto edilizio-residenziale, in relazione agli obiettivi della vigente normativa energetica di ispirazione comunitaria, obiettivo della tesi è la ricerca e validazione di strumenti economici che possano guidare le committenze nella scelta del migliore rapporto tra costi e benefici delle opere. La tesi affronta l’approccio dell’analisi del Costo Globale come previsto dalla normativa comunitaria formato dalla direttiva 2010/31/UE sulla prestazione energetica degli edifici, dal regolamento delegato UE n°244 del 16 gennaio 2012 e dalla norma EN 15459 del 2008. Obiettivo è la comparazione di tre interventi alternativi di retrofit energetico per un edificio ad uso misto sito nel centro di Bologna. Si tratta di interventi mirati all’efficientamento e all’abbattimento del fabbisogno energetico per la climatizzazione invernale dello stabile, con gradi successivi di approfondimento, come definiti dalla attuale normativa (ristrutturazione importante di primo livello, di secondo livello e riqualificazione energetica). Lo studio si sviluppa definendo le criticità dello stato attuale del costruito e i possibili interventi migliorativi necessari. Definiti i pacchetti tecnici delle soluzioni di intervento si è passato alla ricerca dei dati necessari comprendenti dati finanziari su tassi di sconto e di inflazione e sui costi di investimento iniziali, costi di gestione e manutenzione, costi di sostituzione e costi energetici relativi alle varie alternative di progetto. I risultati dell’analisi economica delle alternative progettuali, nel periodo di studio considerato, vengono poi confrontati con i dati relativi all’impatto energetico e delle emissioni di CO2 e con le relative classi energetiche.

La traduzione del testo satirico “When will Jesus bring the pork chops?” di George Carlin

Il presente elaborato ha come obiettivo l’analisi della traduzione di alcuni estratti del libro di George Carlin "When will Jesus bring the pork chops?" L’opera si presenta come una raccolta di testi satirici, tutti dello stesso autore, che trattano temi ritenuti spesso tabù, quali, tra gli altri, l’handicap fisico e mentale, la morte e l’abuso. L’autore, conosciuto per la sua grande capacità oratoria, il suo humor dark e per l’uso di un linguaggio spesso scurrile e molto vario in tal sen-so, è uno tra i comici americani più conosciuti e stimati in tutto il mondo. La traduzione di un autore come Carlin è un esercizio importante proprio per la complessità del linguaggio che il comico utilizzava e per le tematiche che trattava, ma non solo; può infatti portare a una mag-giore consapevolezza sul ruolo del traduttore e sulle considerazioni, oltre che di tipo tecnico e pratico, teoriche ed etiche che questo lavoro richiede. Nei capitoli iniziali verranno presentate alcune teorie molto utili ed interessanti sia dal punto di vista pratico sia da quello dell’inquadramento teorico. Nel capitolo sul verbally expressed humour si presenteranno alcuni studi sui problemi principali nella traduzione delle opere umoristiche mentre, nel capitolo finale, si tratterà l'analisi della proposta di traduzione di alcuni frammenti dell’opera di Carlin con un commento sulle scelte applicate.

Tecniche di stimolazione transcranica: TMS e tDCS a confronto

Nel corso degli ultimi decenni si è assistito a un aumento di malattie e disturbi che colpiscono il sistema nervoso,specialmente il cervello. Si è dunque resa necessaria la ricerca e l'analisi di tecniche di stimolazione transcranica a fini sperimentali, clinici e di diagnosi. Tra queste spiccano per la loro versatilità la TMS e la tDCS, le quali hanno già trovato e possono ancora trovare la loro applicazione in numerosi ambiti anche molto differenti tra loro, tra cui quello motorio, verbale, della memoria o per disturbi neurodegenerativi. L'analisi approfondita delle loro applicazioni può non solo portare a meglio comprendere i limiti che le due tecniche hanno al giorno d'oggi e quindi portare a un miglioramento delle stesse, ma anche ad una comprensione più accurata del funzionamento del sistema nervoso, tutt'ora ancora alquanto oscuro nella sua complessità. Infine, confrontando le due tecniche si può meglio definire anche quali possano essere gli ambiti in cui l'una e l'altra sono più vantaggiose o possano dare contributi più incisivi.

Valutazione dell'attivita prebiotica di equiseto e residui della lavorazione degli agrumi

Obiettivo di questa sperimentazione è stata la valutazione in vitro dell’attività prebiotica di un sottoprodotto dell’industria alimentare, il pastazzo di agrumi, ed una pianta officinale largamente diffusa in natura, l’equiseto, nei confronti di alcuni batteri lattici isolati da feci di origine umana. Come riferimento si sono utilizzati due composti a riconosciuta attività prebiotica, l’inulina ed i frutto-oligosaccaridi (FOS), e ceppi di Bifidobacterium isolati da un preparato commerciale (Bifiselle®, Bromatech). I ceppi batterici utilizzati per tale prova sono stati isolati da campioni fecali di individui caratterizzati da differenti regimi alimentari – onnivoro, vegano od ovo-latto vegetariano -nell’ambito delle attività relative al progetto PRIN 2010-2011 “Microrganismi negli alimenti e nell'uomo: studio del microbiota e del relativo metaboloma in funzione della dieta onnivora, vegetariana o vegana (Gut4Diet)”. I risultati ottenuti hanno messo in evidenza come alcuni dei ceppi studiati posseggano una buona capacità di crescita in terreni di coltura con sottoprodotti agrumari ed equiseto come fonti di carbonio. Tramite analisi delle molecole volatili si sono determinate più di 60 molecole appartenenti principalmente alle classi degli acidi organici e loro esteri, alcoli, aldeidi, chetoni e pirazine. Tra queste vi sono alcuni esteri di acidi grassi a corta catena che si sono accumulati soprattutto nei sistemi addizionati di equiseto, FOS ed inulina. E’ noto che gli acidi grassi a corta catena sono prodotti dalla flora batterica intestinale durante la fermentazione di polisaccaridi non digeribili ed esplicano un ruolo protettivo nei confronti di differenti patologie.

Implementazione e benchmarking dell'algoritmo QDANet PRO per l'analisi di big data genomici

Dato il recente avvento delle tecnologie NGS, in grado di sequenziare interi genomi umani in tempi e costi ridotti, la capacità di estrarre informazioni dai dati ha un ruolo fondamentale per lo sviluppo della ricerca. Attualmente i problemi computazionali connessi a tali analisi rientrano nel topic dei Big Data, con databases contenenti svariati tipi di dati sperimentali di dimensione sempre più ampia. Questo lavoro di tesi si occupa dell'implementazione e del benchmarking dell'algoritmo QDANet PRO, sviluppato dal gruppo di Biofisica dell'Università di Bologna: il metodo consente l'elaborazione di dati ad alta dimensionalità per l'estrazione di una Signature a bassa dimensionalità di features con un'elevata performance di classificazione, mediante una pipeline d'analisi che comprende algoritmi di dimensionality reduction. Il metodo è generalizzabile anche all'analisi di dati non biologici, ma caratterizzati comunque da un elevato volume e complessità, fattori tipici dei Big Data. L'algoritmo QDANet PRO, valutando la performance di tutte le possibili coppie di features, ne stima il potere discriminante utilizzando un Naive Bayes Quadratic Classifier per poi determinarne il ranking. Una volta selezionata una soglia di performance, viene costruito un network delle features, da cui vengono determinate le componenti connesse. Ogni sottografo viene analizzato separatamente e ridotto mediante metodi basati sulla teoria dei networks fino all'estrapolazione della Signature finale. Il metodo, già precedentemente testato su alcuni datasets disponibili al gruppo di ricerca con riscontri positivi, è stato messo a confronto con i risultati ottenuti su databases omici disponibili in letteratura, i quali costituiscono un riferimento nel settore, e con algoritmi già esistenti che svolgono simili compiti. Per la riduzione dei tempi computazionali l'algoritmo è stato implementato in linguaggio C++ su HPC, con la parallelizzazione mediante librerie OpenMP delle parti più critiche.