Bitcoin: aspetti tecnici, economici e politici di una crittovaluta

Bitcoin è una moneta digitale decentralizzata e parzialmente anonima. Viene scambiata tramite un software open source che utilizza la crittografia per garantire l'integrità e l'autenticità delle transazioni. Permette di inviare denaro digitale in maniera rapida, sicura ed economica attraverso Internet. La tesi si propone di analizzarne il fenomeno, partendo dalla sua storia fino alle possibili evoluzioni future. Vengono introdotte le basi di crittografia per comprenderne i concetti ed i meccanismi di funzionamento. In seguito viene analizzata l'implementazione del software e vengono discussi i principali vantaggi e criticità. La tesi esplora le possibili conseguenze di una sua adozione dal punto di vista economico e politico, e le innovazioni che potrebbe portare al sistema finanziario. Vengono infine mostrati alcuni esempi di software ispirati a Bitcoin che ne estendono ed ampliano le funzionalità nell'ambito dei sistemi distribuiti.

Analisi di abbondanze in componenti di sistemi binari

In questo lavoro è stata svolta l'analisi chimica differenziale di 22 sistemi binari monitorati nel corso della survey SARG. L'obiettivo è determinare eventuali differenze di abbondanza e porre limiti osservativi a uno degli scenari attualmente accreditato come responsabile del legame tra metallicità della stella e presenza di pianeti giganti.

Progettazione e realizzazione di uno smart distributed system per il controllo degli accessi in ambito aziendale

Il lavoro svolto è dedicato alla realizzazione ed implementazione di un sistema distribuito "smart" per il controllo degli accessi. Il progetto sviluppato è inquadrato nel contesto di "SPOT Software", che necessita di migliorare il processo aziendale di controllo accessi e gestione presenze al fine di aumentarne usabilità ed efficienza. Saranno affrontate in generale le tematiche di Internet of Things, Smart Building, Smart City e sistemi embedded, approfondendo il ruolo delle tecnologie di comunicazione NFC e BLE, al centro di questo lavoro. Successivamente sarà discussa la progettazione di ognuno dei tre nodi del sistema, motivando le scelte tecnologiche e progettuali: Web application, Smart device e Smartphone app.

Studio e analisi di software per il porting di codice a 64 bit

XCModel è un sistema CAD, basato su NURBS, realizzato ed utilizzato in ambiente accademico. È composto da quattro pacchetti per la modellazione 2D, 3D e la resa foto-realistica, ognuno dotato di una propria interfaccia grafica. Questi pacchetti sono in costante evoluzione: sia per le continua evoluzioni dell’hardware che ai cambiamenti degli standard software. Il sistema nel complesso raccoglie la conoscenza e l’esperienza nella modellazione geometrica acquisita nel tempo dai progettisti. XCModel, insieme ai suoi sottosistemi, sono stati progettati per diventare un laboratorio di insegnamento e ricerca utile a sperimentare ed imparare metodi ed algoritmi nella modellazione geometrica e nella visualizzazione grafica. La natura principalmente accademica, e la conseguente funzione divulgativa, hanno richiesto continui aggiornamenti del programma affinché potesse continuare a svolgere la propria funzione nel corso degli anni. La necessità di continuare a ad evolversi, come software didattico, anche con il moderno hardware, è forse il principale motivo della scelta di convertire XCModel a 64 bit; una conversione che ho svolto in questa tesi. Come molte altre applicazioni realizzate a 32 bit, la maggior parte del codice viene eseguito correttamente senza problemi. Vi sono però una serie di problematiche, a volte molto subdole, che emergono durante la migrazione delle applicazioni in generale e di XCModel in particolare. Questa tesi illustra i principali problemi di portabilità riscontrati durante il porting a 64 bit di questo pacchetto seguendo il percorso da me intrapreso: mostrerò gli approcci adottati, i tool utilizzati e gli errori riscontrati.

Sicurezza dei sistemi di autenticazione basati su credenziali, raccolta ed analisi di un vasto insieme di password

Nell’era dell’informazione in cui viviamo, ogni persona viene sdoppiata in due entità: oltre alla parte reale e materiale vi è un alterego fatto di dati ed informazioni che vive nei database e nei server che compongono il web. Il collegamento tra le due parti è dato dagli account e dalle chiavi di autenticazione, che si presumono essere segrete. Al giorno d’oggi ogni persona possiede almeno un account, sia esso una web mail, un profilo su un social network o l’account di online banking. Quasi la totalità di questi sistemi effettua l’autenticazione dell’utente tramite l’immissione di una password, e la sicurezza di quest’ultima è essenziale per la protezione delle informazioni personali, dei dati bancari e della propria identità. Col passare del tempo le informazioni personali che diamo in custodia al web crescono sempre più velocemente e diventano sempre più personali e delicate, ma purtroppo l’importanza che viene data alla sicurezza informatica non cresce di pari passo sia da parte degli utenti, sia da parte dei fornitori dei servizi web. Questa tesi ha come scopo quello di portare il lettore ad avere più coscienza rispetto alle tematiche della sicurezza informatica e di esporre in modo chiaro e semplice alcune delle problematiche che riguardano la sicurezza dei sistemi di autenticazione.

Tuning remoto di filtering, pre-processing e buffering per scenari internet of things

La tesi propone una soluzione middleware per scenari in cui i sensori producono un numero elevato di dati che è necessario gestire ed elaborare attraverso operazioni di preprocessing, filtering e buffering al fine di migliorare l'efficienza di comunicazione e del consumo di banda nel rispetto di vincoli energetici e computazionali. E'possibile effettuare l'ottimizzazione di questi componenti attraverso operazioni di tuning remoto.

La base di Bernstein in spazi polinomiali generalizzati a tratti

Le funzioni polinomiali possono essere utilizzate per approssimare le funzioni continue. Il vantaggio è che i polinomi, le loro derivate e primitive, possono essere rappresentati in maniera semplice attraverso i loro coefficienti ed esistono algoritmi stabili e veloci per valutarli. Inoltre gli spazi polinomiali godono di numerose proprietà importanti. In questo lavoro ci occuperemo di altri spazi funzionali, noti in letteratura come spazi di Chebyshev o polinomi generalizzati, per ragioni di riproducibilità. Infatti ciò che si ottiene attraverso i polinomi è soltanto una approssimazione che spesso risulta essere insufficiente. E' importante, quindi, considerare degli spazi in cui sia possibile avere una rappresentazione esatta di curve. Lo studio di questi spazi è possibile grazie alla potenza di elaborazione degli attuali calcolatori e al buon condizionamento di opportune basi di rappresentazione di questi spazi. Negli spazi polinomiali è la base di Bernstein a garantire quanto detto. Negli spazi di Chebyshev si definisce una nuova base equivalente. In questo lavoro andremo oltre gli spazi di Chebyshev ed approfondiremo gli spazi di Chebyshev a tratti, ovvero gli spazi formati dall'unione di più spazi del tipo precedente. Si dimostrerà inoltre l'esistenza di una base a tratti con le stesse proprietà della base di Bernstein per gli spazi polinomiali.

I sistemi di numerazione: dalla didattica ai frattali

Questa tesi è incentrata sullo studio dei sistemi di numerazione. Dopo un'analisi storica dei vari contributi apportati dai diversi popoli, si mostrano alcune applicazioni didattiche elementari e alcuni giochi ricreativi. Per mostrare l'interesse di questi sistemi anche per la ricerca contemporanea, si passa a una trattazione più generale fino a giungere alla geometria frattale.

Una trattazione ipertestuale di alcuni elementi di statica dei sistemi meccanici.

L'obbiettivo di questa tesi è svolgere una trattazione semplice ma esauriente degli aspetti essenziali per lo studio delle configurazioni di equilibrio di semplici sistemi meccanici. In particolare l'analisi è volta a far parte del 'Progetto Matematica'; un portale del Dipartimento di Matematica dell'Università di Bologna, il cui scopo, attraverso le tesi di chi vi partecipa, è ''presentare la Matematica del primo biennio delle facoltà scientifiche in maniera interattiva, graduale, multimediale: in una parola, nel modo più amichevole possibile''. L'analisi, dopo alcuni richiami su elementi di base di calcolo vettoriale, si apre con un capitolo che enuncia nozioni e risultati fondamentali di meccanica classica, indispensabili per affrontare il problema dell'equilibrio nell'ambito della statica. Con il secondo capitolo inizia la trattazione delle configurazioni di equilibrio partendo dalla statica del punto materiale per poi passare ai sistemi più complessi costituiti da un numero arbitrario di punti. Per la parte di applicazioni vengono illustrati i due metodi classici di risoluzione: quello basato sulle equazioni cardinali della statica, che oltre ad individuare le configurazioni di equilibrio del sistema consente di determinare anche i corrispondenti valori delle reazioni vincolari, e quello basato sul principio dei lavori virtuali. Vengono poi riportati tre problemi standard la cui risoluzione è svolta attraverso entrambi i metodi per cercare di garantire una più completa comprensione della materia. Per l'esposizione degli argomenti analizzati si è fatto riferimento principalmente ai Trattati: D. Graffi, 'Elementi di Meccanica Razionale', Patron, Bologna 1973; S. Graffi, 'Appunti dalle lezioni di Fisica Matematica II'; a cui si rinvia per ogni ulteriore approfondimento (sulla materia),in particolare riguardo ai dettagli che, per necessità di sintesi, si sono dovuti omettere.

TuCSoN on Cloud: Revisione dell'architettura

In questa tesi si revisiona l'architettura di TuCSoN on Cloud. Sono trattati i problemi riguardanti la gestione dei nodi TuCSoN su un cloud simulato su Cloudify; ovvero come sono memorizzati i vari tuple centre per ogni utente. É inoltre trattato il problema della concorrenza e della sicurezza, ovvero di come é gestita la password dell'utente.

Sviluppo di metodologie per l'interazione tra un sistema di ausilio a ipovedenti e dispositivi iOS

L’oggetto di questa tesi riguarda la predisposizione un sistema di ausilio per non vedenti, basato su visione 3D, alla comunicazione in rete. Si è quindi sviluppata un’applicazione per dispositivi iOS che sia in grado di ricevere e interpretare i dati inviati da tale sistema. In particolare, questo lavoro si inserisce in un lavoro più ampio che ha l’obiettivo di fornire diverse modalità di interfacciamento con il sistema di rilevazione ostacoli per utenti ipovedenti e di sostituire le attuali tecnologie cablate con tecnologie wireless. Il seguente lavoro descrive i problemi emersi e le soluzioni adottate durante lo sviluppo del sistema, al fine di fornire un’adeguata documentazione a coloro che avranno intenzione di proseguire nell’ampliamento delle funzioni realizzabili.

Programmazione ad Agenti - Un Caso di Studio nel Linguaggio Sarl

Agent-oriented programming (AOP) è un paradigma di programmazione che concepisce un software come insieme di agenti che possiedono caratteristiche di autonomia, proattività e che sono in grado di comunicare con altri agenti. Sebbene sia stato impiegato soprattutto nell'ambito dell'intelligenza artificiale questo tipo di programmazione si rivela utile per lo sviluppo di sistemi distribuiti riuscendo a gestire agilmente problemi di concorrenza. Lo scopo di questa tesi è analizzare le caratteristiche del paradigma e dei software basati su agenti, utilizzando come caso di studio Sarl, un linguaggio general-purpose molto recente. La parte principale del lavoro consiste nella descrizione dei modelli teorici che hanno portato alla nascita della programmazione ad agenti, in particolare del modello BDI, e dei principali framework per lo sviluppo di sistemi multi-agente.

Sviluppo di sistemi fotocatalitici per l'ossidazione selettiva di 5-idrossimetilfurfurale

Lo scopo di questo lavoro di tesi è stato lo studio dell’attività fotocatalitica nella reazione di ossidazione selettiva della 5-idrossimetilfurfurale (HMF) di diversi sistemi a base di diossido di titanio. Il lavoro ha comportato la preparazione di una polvere di ossido di titanio nanoparticellare tramite microemulsione. La polvere ottenuta è stata caratterizzata e confrontata con due polveri commerciali (Evonik P25 e Millenium DT51). Successivamente, la titania prepata tramite microemulsione è stata sottoposta a spray-freeze drying per aumentarne l’area superficiale e ridurne la densità. La tecnica di spray-freeze drying è stata poi utilizzata per sviluppare nanocompositi a base di titania, silice e ceria, e per decorare alcune polveri con nanoparticelle di oro e di oro/rame preformate. Le nanoparticelle sono state sintetizzate tramite un processo in acqua a basso impatto ambientale, usando un sistema glucosio-sodio idrossido come riducente e PVP come stabilizzante. Le polveri preparate sono state caratterizzate tramite analisi BET, DRS, XRD, SEM e TEM. Tutti i materiali sviluppati sono stati testati nella reazione di fotoossidazione selettiva dell’HMF utilizzando un simulatore solare. Sono inoltre state svolte prove fotocatalitiche utilizzando scavenger di specie attive, volte ad indagare il meccanismo promosso da alcune delle polveri preparate e le differenze fra questi.

Sviluppo e ingegnerizzazione di sistemi ibridi a base di nanoparticelle inorganiche e microalghe da applicare nella depurazione acque

Lo scopo di questo lavoro di tesi consiste nella produzione e ingegnerizzazione di nuovi sistemi ibridi ottenuti accoppiando nanoparticelle di titania con la microalga Chlorella Vulgaris, per applicazione nel settore del risanamento delle acque reflue. Lo studio è stato rivolto all’ottimizzazione del materiale, il quale integra due proprietà: l’attività fotocatalitica sfruttata per la degradazione degli inquinanti organici conferita dalla titania e la capacità di biosorbimento di metalli pesanti tipica della biomassa. I risultati hanno evidenziato effetti sinergici positivi promossi dalla dispersione della microalga sulla superficie dell’ossido ed in grado di migliorare le performance di biorimediazione del materiale. Al fine di favorire l’applicazione industriale del sistema catalitico preparato, i campioni prodotti in sospensione sono stati ingegnerizzati rimuovendo il solvente tramite tecnologia di Spray-Freeze-Drying. Con l’obiettivo di ottimizzare la formulazione e correlare le proprietà chimico-fisiche dei materiali alle performance ottenute, è stata svolta un’approfondita caratterizzazione sia sulle sospensioni (ELS, DLS) che sui prodotti granulati (BET, SEM-FEG, SEM-EDS). Le prestazioni funzionali dei campioni preparati sono state valutate rispetto alla reazione modello di fotodegradazione della Rodamina B e nell’assorbimento del catione rameico.

Sviluppo di un sistema per gestire e partizionare segnali neurali

La Brain Computer Interface, con l’acronimo BCI, è un mezzo per la comunicazione tra cervello e macchina. La comunicazione si basa sulla emanazione di segnali elettrici del cervello che vengono rilevati da un dispositivo, il quale invia i segnali digitalizzati ad un elaboratore. I segnali elettrici, chiamati EEG, permettono al cervello di regolare la comunicazione tra le diverse cellule neurali. La BCI intercetta questi segnali e, previa elaborazione, permette di ottenere diversi diagrammi, detti metriche, per poter misurare, sotto svariati aspetti, il funzionamento del cervello. Le ricerche scientifiche sulle EEG hanno rilevato una correlazione tra i segnali elettrici nel cervello di un soggetto con il suo livello di performance e stato emotivo. È quindi possibile comprendere, tramite una serie di parametri, come la mente dei soggetti reagisce a stimoli esterni di svariata tipologia durante lo svolgimento di un’attività. L’elaboratore, che riceve il segnale dalla BCI, è il componente che si occupa di trasformare i segnali elettrici, generati dal cervello e digitalizzati, in risultati facilmente interpretabili dall’utente. Elaborare i segnali EEG in tempo reale porta a dover utilizzare algoritmi creati appositamente per questo scopo e specifici perle metriche preposte. Lo scopo di questa tesi è quello di presentare un progetto sullo sviluppo della fase di smistamento dei dati ricevuti dall’elaboratore. Nel contempo si fornirà una conoscenza scientifica minima per comprendere le scelte fatte. Tale progetto è stato reso possibile dalla collaborazione con l’azienda Vibre, che si dedica allo sviluppo di un sistema comprendente BCI ed elaboratore.