Non normalità di matrici ed il ruolo degli autovalori

In questa tesi vengono studiati gli effetti della non-normalità di un operatore all'interno di sistemi dinamici regolati da sistemi di equazioni differenziali ordinarie. Viene studiata la stabilità delle soluzioni, in particolare si approfondiscono fenomeni quali le crescite transitorie. In seguito vengono forniti strumenti grafici come gli Pseudospettri capaci di scoprire e quantificare tali "anomalie". I concetti studiati vengono poi applicati alla teoria dell'ecologia delle popolazioni utilizzando una generalizzazione delle equazioni di Lotka-Volterra. Modelli e matrici vengono implementate in Matlab mentre i risultati grafici sono ottenuti con il Toolbox Eigtool.

Circolazioni e omologia dei grafi

In questa tesi verrà trattato il problema di introdurre una teoria omologica sui grafi. Si vedranno i grafi come un 1-complessi simpliciali, e dunque l'idea sarà di applicare le conoscenze che si hanno di una teoria omologica generale ad un oggetto specifico, che è appunto il grafo.

Un' app mobile interpiattaforma per la geolocalizzazione in tempo reale di membri di un gruppo

Realizzazione di un'app mobile interpiattaforma tramite phonegap che permette la geolocalizzazione di utenti di un gruppo. Connessione Client-Server attraverso Websocket. Librerie di Socket.IO e mappe di Google Maps.

Incapsulamento di applicazioni per il controllo del flusso dati: monitor

Nella presente tesi vengono presentati gli strumenti necessari ad un dispositivo mobile per spostarsi attraverso una molteplicità di reti wi-fi senza perdere l'identità della connessione in essere.

La traduzione audiovisiva: Doppiaggio e sottotitolaggio di Triple Standard

La tesi analizza il procedimento di doppiaggio e sottotitolaggio in italiano del cortometraggio in lingua inglese Triple Standard

Approcci innovativi per future simulazioni HPC verso l'exascale computing con applicazioni alla fisica dei materiali

In questo lavoro di tesi sono state evidenziate alcune problematiche relative alle macchine exascale (sistemi che sviluppano un exaflops di Potenza di calcolo) e all'evoluzione dei software che saranno eseguiti su questi sistemi, prendendo in esame principalmente la necessità del loro sviluppo, in quanto indispensabili per lo studio di problemi scientifici e tecnologici di più grandi dimensioni, con particolare attenzione alla Material Science, che è uno dei campi che ha avuto maggiori sviluppi grazie all'utilizzo di supercomputer, ed ad uno dei codici HPC più utilizzati in questo contesto: Quantum ESPRESSO. Dal punto di vista del software sono state presentate le prime misure di efficienza energetica su architettura ibrida grazie al prototipo di cluster EURORA sul software Quantum ESPRESSO. Queste misure sono le prime ad essere state pubblicate nel contesto software per la Material Science e serviranno come baseline per future ottimizzazioni basate sull'efficienza energetica. Nelle macchine exascale infatti uno dei requisiti per l'accesso sarà la capacità di essere energeticamente efficiente, così come oggi è un requisito la scalabilità del codice. Un altro aspetto molto importante, riguardante le macchine exascale, è la riduzione del numero di comunicazioni che riduce il costo energetico dell'algoritmo parallelo, poiché in questi nuovi sistemi costerà di più, da un punto di vista energetico, spostare i dati che calcolarli. Per tale motivo in questo lavoro sono state esposte una strategia, e la relativa implementazione, per aumentare la località dei dati in uno degli algoritmi più dispendiosi, dal punto di vista computazionale, in Quantum ESPRESSO: Fast Fourier Transform (FFT). Per portare i software attuali su una macchina exascale bisogna iniziare a testare la robustezza di tali software e i loro workflow su test case che stressino al massimo le macchine attualmente a disposizione. In questa tesi per testare il flusso di lavoro di Quantum ESPRESSO e WanT, un software per calcolo di trasporto, è stato caratterizzato un sistema scientificamente rilevante costituito da un cristallo di PDI - FCN2 che viene utilizzato per la costruzione di transistor organici OFET. Infine è stato simulato un dispositivo ideale costituito da due elettrodi in oro con al centro una singola molecola organica.

Frequency-dependent response of snow in uniaxial compression and comparison with numerical simulation

La determinazione del modulo di Young è fondamentale nello studio della propagazione di fratture prima del rilascio di una valanga e per lo sviluppo di affidabili modelli di stabilità della neve. Il confronto tra simulazioni numeriche del modulo di Young e i valori sperimentali mostra che questi ultimi sono tre ordini di grandezza inferiori a quelli simulati (Reuter et al. 2013)⁠. Lo scopo di questo lavoro è stimare il modulo di elasticità studiando la dipendenza dalla frequenza della risposta di diversi tipi di neve a bassa densità, 140-280 kg m-3. Ciò è stato fatto applicando una compressione dinamica uniassiale a -15°C nel range 1-250 Hz utilizzando il Young's modulus device (YMD), prototipo di cycling loading device progettato all'Istituto per lo studio della neve e delle valanghe (SLF). Una risposta viscoelastica della neve è stata identificata a tutte le frequenze considerate, la teoria della viscoelasticità è stata applicata assumendo valida l'ipotesi di risposta lineare della neve. Il valore dello storage modulus, E', a 100 Hz è stato identificato come ragionevolmente rappresentativo del modulo di Young di ciascun campione neve. Il comportamento viscoso è stato valutato considerando la loss tangent e la viscosità ricavata dai modelli di Voigt e Maxwell. Il passaggio da un comportamento più viscoso ad uno più elastico è stato trovato a 40 Hz (~1.1•10-2 s-1). Il maggior contributo alla dissipazione è nel range 1-10 Hz. Infine, le simulazioni numeriche del modulo di Young sono state ottenute nello stesso modo di Reuter et al.. La differenza tra le simulazioni ed i valori sperimentali di E' sono, al massimo, di un fattore 5; invece, in Reuter et al.⁠, era di 3 ordini di grandezza. Pertanto, i nostri valori sperimentali e numerici corrispondono meglio, indicando che il metodo qui utilizzato ha portato ad un miglioramento significativo.

Virtualizzazione parziale del livello transport ai fini della gestione della mobilità

In questo lavoro di tesi verrà presentato un modo per utilizzare simultaneamente due generiche interfacce di rete, prendendo spunto dal modello Always Best Packet Switching (ABPS) e ricorrendo ai principi della virtualizzazione. Il modello ABPS permette ad una applicazione di usare simultaneamente tutte le interfacce di rete, inviando e ricevendo i datagram IP attraverso l’interfaccia idonea, in base alle caratteristiche del datagram stesso e alla disponibilità della rete.

Valutazione di un sistema di recupero di immagini dermatologiche

Questa tesi si inserisce in un progetto di ricerca fra il gruppo di Matematica della Visione del Prof. Ferri e CA-MI S.r.l. volto a progettare un sistema di recupero di immagini mediante il quale un dermatologo potrà acquisire l’immagine di una lesione e recuperare da un database classificato le immagini più somiglianti. Il concetto stesso di “somiglianza” è formalmente realizzato da una parte dell’omologia persistente (funzioni di taglia). Questa tesi utilizza tali metodi al fine di ottenere una combinazione ottimale dei diversi classificatori che si ottengono utilizzando la modularità intrinseca nella teoria. A questo scopo vengono impiegati due modelli e diversi metodi numerici.

Le funzioni olomorfe e il loro collegamento con le funzioni armoniche

Questo elaborato si propone di analizzare il collegamento tra olomorfia e armonicità. La prima parte della tesi tratta le funzioni olomorfe, mentre la seconda parte tratta le funzioni armoniche. Per quanto riguarda la seconda parte, inizialmente ci limiteremo a studiare le funzioni armoniche in R^2, sottolineando il legame tra queste e le funzioni olomorfe. Considereremo poi il caso generale, ovvero estenderemo la nozione di funzione armonica ad R^N e osserveremo che molte delle proprietà viste per le funzioni olomorfe valgono anche per le funzioni armoniche. In particolare, vedremo che le formule di media per le funzioni armoniche svolgono un ruolo analogo alla formula integrale di Cauchy per le funzioni olomorfe. Vedremo anche che il Teorema di Liouville per le funzioni armoniche è l’analogo del Teorema di Liouville per le funzioni intere (funzioni olomorfe su tutto C) e, infine, osserveremo che il Principio del massimo forte non è altro che il trasferimento alle funzioni armoniche del Principio del massimo modulo visto nella teoria delle funzioni olomorfe.

Un sistema location-based per la mappatura degli Access Point su Android

un' applicazione in grado di memorizzare e mappare tutti i punti dove è possibile collegarsi, in modo gratuito, ad internet usando il nostro Smartphone. Per tenere traccia di questi punti si utilizza un meccanismo in grado di determinare la posizione geografica del dispositivo mediante il quale l’utente si connette alla rete. Inoltre è possibile la condivisione di tutti i punti registrati su un database online per rendere pubbliche le proprie registrazioni.

Strumenti di gestione per infrastrutture IT

L'elaborato analizza gli strumenti utilizzati nella gestione di infrastrutture informatiche. In particolare: nel primo capitolo viene fatta una panoramica del Cloud Computing e relativi modelli infrastrutturali e di distribuzione. Nel secondo vengono analizzate le piattaforme di gestione di sistemi basati su architettura IaaS, quali OpenStack, OpenNebula ed Eucalyptus. Nel terzo capitolo vengono esaminati due dei Software Configuration Management maggiormente utilizzati: Puppet e Chef. Nel quarto ed ultimo capitolo viene descritto lo standard OCCI (Open Cloud Computing Interface).

Analisi del microclima e valutazione integrata del rischio per ambienti confinati e sensibili: il caso della Biblioteca Classense

Il presente lavoro nasce dall’esigenza maturata, oramai da diversi decenni, di conoscere l’ambiente che circonda i beni culturali, in virtù della loro intrinseca natura non rinnovabile. La ricerca si compone di due parti: l’analisi microclimatica e lo sviluppo di una metodologia innovativa di analisi relativa del rischio, che vede come bersagli i beni culturali, con particolare riferimento a quelli librari. In particolare, sulla base dei dati di temperatura, umidità relativa, concentrazioni di NO2 e O3, misurati in alcune sale della Biblioteca Classense di Ravenna, nel periodo dal 21 luglio al 7 agosto 2014, è stato possibile caratterizzare diversi ambienti confinati, tra loro eterogenei, e confrontare le dinamiche che s’instaurano tra l’ambiente indoor e quello outdoor, mediante, ad esempio, il calcolo del cosiddetto rapporto Indoor/Outdoor (I/O) e la stima del tasso di ventilazione. È stata poi proposta una metodologia di analisi del rischio che valuta i suddetti parametri microclimatici, come fattori di rischio. Attraverso tale metodologia, che identifica gli eventuali stati anomali nel sistema, è possibile giungere ad una definizione delle priorità per quegli aspetti esaminati che potrebbero discostarsi dalle condizioni di benessere, provocando un’accelerazione dei processi di degrado dei beni librari. Tale metodologia, infine, è stata applicata alle sale oggetto dell’analisi microclimatica, allo scopo di identificare eventuali fattori di rischio microclimatici.

Produzione di biogas dagli scarti della lavorazione degli agrumi

La presente tesi di laurea tratta la valorizzazione degli scarti della lavorazione degli agrumi. Tutti i processi di trasformazione utilizzati nell’industria agrumaria danno origine a tre prodotti principali: succo, olio essenziale e pastazzo; il terzo, sottoprodotto a basso valore o scarto di lavorazione, è una biomassa vegetale costituita da scorze, detriti di polpa, semi e frutti di scarto. Questo lavoro si è concentrato su due aspetti fondamentali: lo studio dei possibili utilizzi del pastazzo di agrumi, che si può considerare una fonte di sostanze ad alto valore aggiunto, e la valorizzazione di tale sottoprodotto mediante digestione anaerobica per la produzione di biogas. La composizione chimica degli scarti della lavorazione degli agrumi offre ampie possibilità di utilizzazione: come alimento zootecnico, per la produzione di compost, per l’estrazione di pectina, fibre alimentari e oli essenziali, per il recupero di limonene e per produrre bioetanolo. Infine di recente il pastazzo è stato individuato come componente nella produzione di biogas, attraverso la digestione anaerobica; ciò risulta coerente con il quadro normativo riguardante gli incentivi per la produzione di biogas. E' stato analizzato un caso pratico, l’impianto di produzione di biogas alimentato a biomasse, situato in Sicilia, in contrada Nuova Scala a Mussomeli (CL); l’impianto ha una potenza di 999 KW ed è attivo dal 31 Dicembre 2012. In generale, affinchè si realizzi un corretto dimensionamento di un impianto di produzione di biogas, è necessario conoscere il potenziale metanigeno, che esprime la quantità di biogas metano massimo potenzialmente ottenibile da una biomassa, e la quantità di biomasse disponibili. In particolare, per l’impianto in questione, sono stati elaborati dati relativi alle analisi chimiche condotte sulle singole matrici in input all’impianto, sulla base delle quali è possibile dare un primo giudizio di fermentescibilità dei vari substrati e della rispettiva resa in biogas.

Analisi topologico-computazionale della perfusione di tessuti in tomografia computerizzata

Lo scopo di questa tesi è quello di presentare l'applicazione di tecniche legate alla Teoria di Taglia a un problema di analisi di immagini biomediche. Il lavoro nasce dalla collaborazione del gruppo di Matematica della Visione dell'Università di Bologna, con il progetto PERFECT del Centro di Ricerca ARCES. La tesi si pone quindi come analisi preliminare di approccio alternativo ai metodi preesistenti. I metodi sono principalmente di Topologia Algebrica Applicata, ambito emergente e rilevante nel mondo della Matematica Computazionale. Il nucleo dell'elaborazione è costituito dall'analisi di forma dei dati per mezzo di Funzioni di Taglia. Questa nozione è stata introdotta nel 1999 da Patrizio Frosini e in seguito sviluppata principalmente dallo stesso, Massimo Ferri, Claudia Landi e altri collaboratori appartenuti al Gruppo di Ricerca di Matematica della Visione dell'Università di Bologna.