Il test di primalità aks

La tesi presenta l'algoritmo AKS, deterministico e polinomiale, scoperto dai matematici Agrawal, Kayal e Saxena nel 2002. Esso si basa su una generalizzazione del Piccolo Teorema di Fermat all'anello dei polinomi a coefficienti in Zp.

Il teorema dei quattro vertici e il teorema di Jordan-Schönflies

Una curva di Jordan è una curva continua nel piano, semplice e chiusa. Lo scopo della tesi è presentare tre teoremi riguardanti le curve di Jordan. Il teorema dei quattro vertici afferma che ogni curva di Jordan regolare di classe C^2 ha almeno quattro punti in cui la curvatura orientata ha un massimo o un minimo locali. Il teorema della curva di Jordan asserisce che una curva di Jordan divide il piano esattamente in due parti, l'interno e l'esterno della curva. Secondo il teorema di Schönflies, la chiusura dell'interno di una curva di Jordan è omeomorfa a un disco chiuso.

Il Teorema di Inversione di Lévy

In questa tesi si dimostra il teorema di inversione di Lévy, risultato che permette di ricostruire, a partire dalla funzione caratteristica di una variabile aleatoria assolutamente continua, la sua densità. Come conseguenza si dimostra che la funzione caratteristica di una variabile aleatoria ne caratterizza univocamente la distribuzione. Viene inoltre presentata una applicazione della formula di inversione per la valutazione di opzioni in finanza con esempi numerici basati sul modello Merton.

Il metodo di Newton e le sue varianti per sistemi di equazioni non lineari

In questa tesi sono stati descritti i principali metodi numerici per la risoluzione di sistemi non lineari. Tali metodi sono stati analizzati sia dal punto di vista teorico (analisi di convergenza locale) che pratico (algoritmo e implementazione).

Le problematiche legate alla traduzione della letteratura per l'infanzia: il caso di "A copier 100 fois" di Antoine Dole

Il presente elaborato finale è la proposta di traduzione delle prime 35 pagine del libro di Antoine Dole intitolato À copier 100 fois. In seguito a un suo inquadramento nel panorama della letteratura per l'infanzia e a una breve digressione sullo sviluppo della traduzione relativa a quest'ambito, l'obiettivo è quello di mostrare le strategie traduttive adottate elencandole e descrivendole all'interno del commento alla traduzione.

Ridurre lo scarto nella pesca con reti da posta: il caso di studio nella AMP delle isole Egadi

Sebbene la selettività nel tramaglio sia assodata, rimangono solitamente catturati dalla rete individui di specie bentoniche che non hanno rilevanza ai fini della commercializzazione ma svolgono ruoli ecologici rilevanti nell'ecosistema marino. Oltre che il danno ecologico, la cattura di invertebrati del benthos costituisce un aggravio di lavoro per i pescatori che impiegano molto tempo per la pulizia delle reti. L'obiettivo generale di questo lavoro è la riduzione della cattura "indesiderata" di invertebrati del benthos, migliorando la selettività ed aumentando ulteriormente la sostenibilità della pesca con il tramaglio. Nello specifico si è voluto sperimentare l'installazione di una "greca" sulla parte terminale del tramaglio. Si tratta di una fascia di rete mono-panno montata alla base dell'attrezzo, prima della lima dei piombi, allo scopo di minimizzare la cattura di specie accessorie e il rischio di danneggiamento degli organismi bentonici. Sono state impiegate 2 imbarcazioni provviste di attrezzo sperimentale in ciascuna delle tre differenti aree di indagine (Favignana, Marettimo, Trapani), per un totale di 48 uscite. Le prove di pesca sono state condotte all’interno dell’Area Marina Protetta Isole Egadi. E’ stato previsto che ogni barca impieghi un attrezzo sperimentale di 1000 metri di lunghezza in cui si alternano 50 metri di tramaglio standard (pannello interno con maglia di 31,25 mm di lato, pannelli esterni con maglia di 180 mm di lato), con pezze delle stesse caratteristiche a cui è stata aggiunta una “greca” di 35 cm di altezza, di maglia di 50 mm di lato. Dal confronto delle catture di specie commerciali e non commerciali ottenute con il tramaglio sperimentale, valutando le differenze di cattura tra le pezze con "greca" e quelle armate in maniera tradizionale, si è osservato che si ha una riduzione degli organismi bentonici nonché delle specie commerciali. L'attrezzo risulta in generale più selettivo nei confronti della rete tradizionale.

Formulazione e messa a punto di una metodologia per il progetto di ventilatori per gallerie del vento con applicazione al "long-pipe" del laboratorio CICLoPE : analisi attraverso l'impiego di modelli matematici in MATLAB

Nell'ottica di un futuro riprogetto, totale o parziale, del ventilatore della galleria del vento del progetto CICLoPE dell'Università di Bologna, è stato messo a punto, grazie a modelli matematici di letteratura, un algoritmo per la determinazione della geometria delle pale di un fan. La procedura si basa su ipotesi di incompressibilità e assenza di vortici di estremità ed è in grado di fornire la geometria del ventilatore una volta che sono state fissate: le condizioni richieste nella sezione di test, l'efficienza del tunnel e alcune proprietà del ventilatore stesso (ad esempio tipologia di profilo aerodinamico e numero di pale). L'algoritmo è in grado di lavorare solamente con la configurazione ventilatore seguito da profili raddrizzatori, ma è in previsione un'estensione che consentirà di studiare anche la configurazione a fan controrotanti (come quella del CICLoPE). Con questo software sono state progettate numerose soluzioni diverse per studiare il legame tra rendimento e geometria del ventilatore. Inoltre sono stati individuati i parametri che permettono di ottenere una pala con rastremazione e svergolatura trascurabili, con lo scopo di abbassare i costi del manufatto. In particolare è stato dimostrato come le configurazioni con diametro della nacelle grande (superiore al 65\% del diametro della sezione di potenza) siano particolarmente adatte a fornire rendimenti alti con la minima complicatezza della pala. Per quanto riguarda l'efficienza aerodinamica del profilo, i test comparativi indicano che questo parametro influisce relativamente poco sul rendimento del macchinario ma modifica profondamente la geometria della pala. Efficienze elevate tendono, secondo lo studio, a richiedere pale estremamente rastremate e poco svergolate; questo porta a preferire l'adozione di profili mediamente efficienti ma dall'ampio intervallo operativo in termini di angolo di attacco.

Applicazione mobile per la somministrazione e il monitoraggio di piani alimentari

L'applicazione consente di gestire i piani alimentari forniti dal medico, visualizzare i pasti proposti e scegliere quali gruppi si mangia durante il giorno. La dispensa consente di visualizzare quali cibi sono all'interno del piano alimentare dando la possibilità di selezionarli. Grazie a degli algoritmi e a degli esami in laboratorio è possibile visualizzare la lista dei cibi più consigliati per il proprio organismo così da favorire il consumo di cibi sani.

Valutazione della vulnerabilità costiera nell'area ravennate: il caso di Marina di Ravenna e foce Bevano

La tesi tratta di un concetto che negli ultimi anni sta diventando sempre più importante e per questo, deve essere studiato e analizzato: la vulnerabilità costiera. In generale per vulnerabilità si intende il carattere di chi o di ciò che è vulnerabile, ossia la sua predisposizione ad essere colpito, attaccato o danneggiato. Viene anche definita come l’attitudine di un dato elemento o contesto territoriale a supportare gli effetti di un evento dannoso in funzione dell’intensità dell’evento stesso. Questa nozione, in particolare, verrà applicata all’ambito costiero; pertanto si parlerà di vulnerabilità costiera dell’area ravennate. La vulnerabilità costiera è definita come il grado a cui un sistema costiero è suscettibile agli effetti negativi del cambiamento climatico, inclusi la variabilità climatica e gli eventi estremi. Negli ultimi decenni si è giunti alla conclusione che le manifestazioni meteo-marine di estrema entità hanno avuto la tendenza a svilupparsi con maggiore intensità e frequenza (es.: mareggiate). Questo è il motivo per cui la trattazione verterà su tale argomento, al fine di presentare, chiarire e rendere più esplicita questa tematica, sempre maggiormente presente nella realtà di tutti i giorni. Nei due siti di interesse: Marina di Ravenna e foce Bevano, sono stati effettuati due transetti, da cui sono stati estratti i relativi profili topografici, sui quali è stato calcolato il Dune Safety Factor, considerando i diversi valori di sopraelevazione marina totale.

Studio e realizzazione di un'applicazione per il marketing di prossimità

Basta un segnale Wi-Fi, Bluetooth o altro per inviare informazioni e contenuti automaticamente sui dispositivi mobili dei consumatori permettendo ai proprietari di attività commerciali di non essere troppo invasivi e petulanti ma nello stesso tempo informare i fruitori. Con più di sei miliardi di telefoni cellulari nelle mani dei consumatori di oggi e con i numeri in costante scalata, gli smartphone stanno diventando una necessità di base del secolo. Questo rende quasi ogni consumatore con un telefono potenzialmente sensibili a una campagna di marketing di prossimità. Il marketing di prossimità (proximity marketing) è una tecnica di marketing che opera su un’area geografica delimitata e precisa attraverso tecnologie di comunicazione di tipo visuale e mobile con lo scopo di promuovere la vendita di prodotti e servizi. La tesi propone un nuovo strumento rivolto al turismo trasformando gli itinerari in percorsi a premi, che sono interamente stabiliti dagli operatori.

Progettazione e sviluppo di un'applicazione iOS per il supporto di strategie di mobile marketing automation e di prossimità

In questa tesi vengono presentati la progettazione e lo sviluppo di un'applicazione iOS, denominata "Promotions", che ha lo scopo di essere il supporto alle strategie di mobile marketing automation e di prossimità di un ipotetico brand con una catena di negozi, che vuole proporre alla propria clientela promozioni, messaggi, sondaggi, sistemi di engagement e fidelity definiti in un determinato customer journey. L'elaborato parte da una descrizione e analisi del mobile marketing, del marketing automation e di prossimità, della piattaforma e delle tecnologie utilizzate. Prosegue con un'analisi sullo stato dell'arte di applicazioni e realtà simili a quella sviluppata già presenti sul mercato, per poi passare alla relazione sulla progettazione, sviluppo e realizzazione dell'app. Vengono poi evidenziate le scelte implementative attuate e descritte le simulazioni di utilizzo dell'app, terminando con gli obiettivi raggiunti e con le conclusioni finali.

Esperimenti sul controllo remoto di stazioni per il monitoraggio di processi geofisici per la valutazione di geohazard

In collaborazione con la sezione di Bologna dell’Istituto Nazionale di Geofisica e Vulcanologia (INGV) si è dato il via ad un progetto mirato alla costruzione di nuove stazioni monitoranti. Stazioni che dovranno avere un basso impatto in termini di costi e consumi energetici, dando contemporaneamente la possibilità di essere pilotate a distanza. Quest’ultimo è un parametro fondamentale perché permetterebbe di interagire con la stazione anche durante il verificarsi di calamità naturali. Per giungere ad una soluzione si è quindi proceduto analizzando i possibili scenari e le soluzioni attualmente impiegate. Valutandone gli aspetti negativi e positivi. Successivamente, terminata la fase di documentazione, si è passati a vagliare le soluzioni tecnologiche attualmente disponibili sul mercato e ad assemblare un prototipo sperimentale. Non appena in possesso di una macchina sulla quale poter effettuare tutte le prove necessarie si è passati alla fase successiva. L’implementazione di test che potessero rappresentare al meglio una situazione reale. Da qui si è giunti ad una conclusione, tenendo in considerazione diversi fattori: le condizioni imposte dall’ambiente durante le operazioni di test ed i risultati ottenuti.

Per il progetto di restauro: Analisi e sintesi di esperienze diverse

È possibile delineare un percorso operativo imprescindibile e necessario ad un intervento di restauro? Alla base di questa tesi vi è la volontà di definire una traccia leggera ma chiara, un iter metodologico pratico che tuttavia non appiattisca il restauro ad una mera disciplina tecnica ma lo consideri per quello che realmente è, un atto di progettazione dell’architettura, con le relative complessità e sfaccettature che contraddistinguono questo delicato esercizio. Ho tracciato la mia ipotesi di un percorso con l'aiuto di una bibliografia di riferimento, suddividendo in tappe il percorso in modo da renderlo più chiaro e leggibile. Dopodiché ho presentato tre esperienze, fatte nel corso di questi anni di studio, e ho comparato questi lavori con la metodologia definita precedentemente. Fine ultimo di questo elaborato è andare oltre le singole esperienze svolte ed estrapolare un filo conduttore per il progetto di restauro, che possa servire di qui in avanti, in esperienze future.

Il teorema di Poincaré sulla stabilità di orbite periodiche

In questa tesi si introduce l'analisi della stabilità delle orbite periodiche mostrandone un risultato fondamentale: il Teorema di Poinaré. A tal fine sono preliminarmente riportati alcune definizioni e risultati riguardanti la stabilità delle soluzioni e l'esistenza di soluzioni periodiche

Il teorema di Borsuk-Ulam

Il teorema di Borsuk-Ulam asserisce che, data una funzione continua f da S^n in R^n, esiste una coppia di punti antipodali sulla sfera che vengono mandati da f nello stesso punto. In questa tesi si vede l'equivalenza di sei diverse formulazioni del teorema e se ne dà una dimostrazione nel caso 2-dimensionale, utilizzando spazi di orbite, gruppo fondamentale e rivestimenti. Si studiano alcune sue dirette conseguenze come generalizzazioni di risultati preliminari sulla suddivisione di regioni piane, dandone anche un’interpretazione fisica e si vede come tutto questo si applica al “Ham Sandwich Theorem” in R^3.