Analisi acustica da postazione fissa della presenza e del comportamento di delfinidi in relazione al disturbo antropico

La Bioacustica marina studia gli aspetti “acustici” riguardanti gli animali marini tra cui le capacità uditive, la produzione del suono e la comunicazione attraverso i suoni. Ad oggi, un crescente livello di suoni introdotti negli oceani dalle attività umane sta causando una serie di effetti sull’ecosistema marino ed in particolare su specie che svolgono molteplici funzioni attraverso l’impiego attivo e passivo dei suoni, primi fra tutti i mammiferi marini. Il monitoraggio acustico passivo è uno dei metodi principali e popolari usati per aiutare gli scienziati a indagare e capire i modelli comportamentali degli animali marini. L'area di studio d’interesse si trova nel Canale di Sicilia, nel tratto di mare antistante Capo Granitola (Sicilia sud-occidentale), dove troviamo tra le specie più abbondanti di mammiferi marini: il tursiope, la stenella e il delfino comune. Questo tratto di mare è monitorato acusticamente dal 2012 dal laboratorio di bioacustica dell’IAMC-CNR attraverso un sistema di registrazione subacqueo autonomo. Il lavoro di tesi ha avuto l’obiettivo di analizzare 9 mesi di registrazioni al fine di studiare la presenza di delfinidi. Gli obiettivi specifici di questa tesi sono stati: •La verifica di interazioni tra delfini e attività antropiche attraverso l’analisi della presenza contemporanea di rumori prodotti da imbarcazioni e disegnali sonori prodotti da delfinidi; •Studiare gli andamenti circadiani e stagionali dei vocalizzi dei delfinidi e eventuali variazioni nei principali parametri acustici che caratterizzano i segnali di ecolocalizzazione. Grazie all’analisi dei dati acustici si sono ottenute informazioni sugli andamenti temporali della presenza/vocalizzazioni di delfinidi e sulla possibile interazione con le barche da pesca.

Paesaggi di archeologia. Una proposta per Suasa Senonum

Il progetto di musealizzazione dell’area archeologica di Suasa pone le basi sullo studio dei legami storici, culturali e paesaggistici che si sono instaurati sin dall’epoca romana e permangono tutt’oggi. Il primo passo parte dallo studio della Salaria Gallica: nasce così la volontà di mantenere la Salaria usufruibile da tutti, richiamando quindi l’interesse di un pubblico di vario target intorno l’area di progetto . Da questa principio si rende quindi necessaria una prima divisione dell’aria in una parte pubblica ed una privata, la prima interessata dalla costruzione di un nuovo spazio polifunzionale, la seconda destinata al mantenimento delle tracce (archeologiche e paesaggistiche). Si rende fondamentale nello spazio pubblico la costruzione di un nuovo edificio che vada ad ospitare funzioni utili alle due aree, una costruzione che è figlia di principi che caratterizzano l’area sin dall’epoca romana: la viabilità antica e le maglie generatrici. Lo spazio privato, reso tale attraverso la costruzione di un limite fisico è a sua volta diviso in due parchi: il parco archeologico e il parco agricolo. Il parco archeologico è interessato dalla costruzione di una copertura atta alla salvaguardia delle tracce di una delle istanze archeologiche di maggior valore : la Domus dei Coiedii. I principi che contraddistinguono il progetto sono quelli di riproporre, a scopo educativo, la volumetria antica della domus, mantenendo però una pianta libera che sottolinei la maestosità che fu. Si ha così una triade di parchi, legati fra loro da elementi ordinatori che nascono da una rilettura di sistemi romani ed una riproposizione di tali. Si tratta degli elementi d’ombra, che riprenderanno le strutture a sacco tipiche romane, e dei percorsi studiati per sottolineare la gerarchia delle tracce.

Trasformata di Fourier e trasformata Wavelet

Questo elaborato si concentra sullo studio della trasformata di Fourier e della trasformata Wavelet. Nella prima parte della tesi si analizzano gli aspetti fondamentali della trasformata di Fourier. Si definisce poi la trasformata di Fourier su gruppi abeliani finiti, richiamando opportunamente la struttura di tali gruppi. Si mostra che calcolare la trasformata di Fourier nel quoziente richiede un minor numero di operazioni rispetto a calcolarla direttamente nel gruppo di partenza. L'ultima parte dell'elaborato si occupa dello studio delle Wavelet, dette ondine. Viene presentato quindi il sistema di Haar che permette di definire una funzione come serie di funzioni di Haar in alternativa alla serie di Fourier. Si propone poi un vero e proprio metodo per la costruzione delle ondine e si osserva che tale costruzione è strettamente legata all'analisi multirisoluzione. Un ruolo cruciale viene svolto dall'identità di scala, un'identità algebrica che permette di definire certi coefficienti che determinano completamente le ondine. Interviene poi la trasformata di Fourier che riduce la ricerca dei coefficienti sopra citati, alla ricerca di certe funzioni opportune che determinano esplicitamente le Wavelet. Non tutte le scelte di queste funzioni sono accettabili. Ci sono vari approcci, qui viene presentato l'approccio di Ingrid Daubechies. Le Wavelet costituiscono basi per lo spazio di funzioni a quadrato sommabile e sono particolarmente interessanti per la decomposizione dei segnali. Sono quindi in relazione con l'analisi armonica e sono adottate in un gran numero di applicazioni. Spesso sostituiscono la trasformata di Fourier convenzionale.

Protocolli di autenticazione dimostrabilmente sicuri

All'interno della tesi viene analizzato il problema dell'autenticazione delle parti su un canale insicuro. Viene data una formalizzazione matematica del problema, di cosa sia un protocollo sicuro e viene poi esibito un protocollo dimostrabilmente sicuro, con l'assunzione dell'esistenza di funzioni pseudorandom. Viene poi presa in esame questa assunzione e si discute di quanto l'assunzione sia ragionevole all'atto pratico. Si discutono alcune proprietà delle funzioni pseudorandom e si esibiscono delle funzioni candidate ad essere pseudorandom.

Serie di Puiseux

La tesi è incentrata sullo studio dei punti di singolarità di una curva nel piano proiettivo complesso. Nel caso in cui il punto sia regolare possiamo sfruttare il teorema delle funzioni implicite che ci permette di esplicitare il luogo di zeri di un'equazione implicita rispetto a una variabile. Quando questa ipotesi di regolarità viene meno per avere un risultato analogo diventa necessario utilizzare le serie di Puiseux. L'interpretazione algebrica del teorema di Puiseux risponde alla domanda di trovare un'estensione del campo delle serie di Laurent che sia algebricamente chiuso; prendendo un polinomio di grado positivo in K(x)*[y], mostreremo che esiste sempre una radice del polinomio appartenente a K(x)*. Il legame con l’interpretazione analitica risulta ora evidente: data infatti una curva nel piano complesso la sua equazione può essere vista come un particolare polinomio in K(x)*[y], esplicitare la y in funzione della x equivale appunto a trovare una radice in K(x)*. Nel primo capitolo abbiamo in primo luogo richiamato il risultato di Dini e parlato del luogo singolare di una curva, mostrando che quest'ultimo è un numero finito di punti. In seguito abbiamo introdotto il poligono di Newton, il quale è un insieme convesso del piano associato ad un polinomio in due variabili. Nel secondo capitolo abbiamo visto due formulazioni del teorema di Puiseux, entrambe le dimostrazioni di questo risultato sono costruttive; per renderle più scorrevoli abbiamo ritenuto opportuno costruire degli esempi che evidenziassero i vari passi.

Equazioni stocastiche lineari e disuguaglianza di Harnack

In questo elaborato si presentano alcuni risultati relativi alle equazioni differenziali stocastiche (SDE) lineari. La soluzione di un'equazione differenziale stocastica lineare è un processo stocastico con distribuzione multinormale in generale degenere. Al contrario, nel caso in cui la matrice di covarianza è definita positiva, la soluzione ha densità gaussiana Γ. La Γ è inoltre la soluzione fondamentale dell'operatore di Kolmogorov associato alla SDE. Nel primo capitolo vengono presentate alcune condizioni necessarie e sufficienti che assicurano che la matrice di covarianza sia definita positiva nel caso, più semplice, in cui i coefficienti della SDE sono costanti, e nel caso in cui questi sono dipendenti dal tempo. A questo scopo gioca un ruolo fondamentale la teoria del controllo. In particolare la condizione di Kalman fornisce un criterio operativo per controllare se la matrice di covarianza è definita positiva. Nel secondo capitolo viene presentata una dimostrazione diretta della disuguaglianza di Harnack utilizzando una stima del gradiente dovuta a Li e Yau. Le disuguaglianze di Harnack sono strumenti fondamentali nella teoria delle equazioni differenziali a derivate parziali. Nel terzo capitolo viene proposto un esempio di applicazione della disuguaglianza di Harnack in finanza. In particolare si osserva che la disuguaglianza di Harnack fornisce un limite superiore a priori del valore futuro di un portafoglio autofinanziante in funzione del capitale iniziale.

Grafi aleatori - il modello di Erdos-Rényi

Dopo aver dato una definizione formale per il modello di Erdos-Rényi, si dimostra che in un grafo ER il grado dei nodi (misura della connessione) risulta essere una variabile aleatoria con distribuzione binomiale, mentre il clustering (misura della densità di archi a livello locale) tende a zero. Successivamente si determinano le funzioni soglia per alcune proprietà monotone particolarmente significative, consentendo così di descrivere diverse configurazioni possibili per un grafo ER al variare dei suoi parametri. Infine, si mostra come si possano utilizzare i grafi ER per modellizzare la diffusione di una malattia infettiva all’interno di una popolazione numerosa.

Progetto di un sistema per la trasmissione wireless di potenza in campo vicino a dispositivi impiantabili

I dispositivi impiantabili stanno acquisendo grande importanza nell’ambito delle applicazioni biomedicali, ciò è dovuto principalmente alla loro attitudine nell’adempiere funzioni di stimolazione, monitoraggio su organi interni e di comunicazione di segnali vitali al mondo esterno. La comunità scientifica, in particolare, concentra la sua attenzione sulle tecniche di alimentazione di tali dispositivi. Le batterie al litio hanno rappresentato, fino a qualche tempo fa, la sorgente di alimentazione primaria. Il bisogno crescente di minimizzare le dimensioni di questi dispositivi e migliorare la qualità di vita del paziente (evitare successive operazioni chirurgiche, rischi e infezioni a causa dei cavi percutanei), ha spinto nella ricerca di nuove soluzioni. Una di queste è rappresentata dalla Wireless Power Transfer (WPT). In questo lavoro di tesi, è stato proposto un sistema di alimentazione wireless transcutaneo. Il sistema sfrutta il principio dell’accoppiamento induttivo risonante, che consiste nella trasmissione di energia in campo vicino tra due risuonatori magneticamente accoppiati. Al fine di acquisire la massima efficienza, sono state effettuate operazioni di ottimizzazione geometrica sul trasmettitore e di adattamento sul modello circuitale. I software CST e LTspice hanno reso possibile le simulazioni sul sistema dal punto di vista elettromagnetico e circuitale. Gli sviluppi futuri prevedono di convalidare i risultati ottenuti realizzando prove “in vitro”.

Studio di una macchina automatica per l'avvolgimento ed il confezionamento di tubo plastico flessibile

Studio di una macchina automatica adibita all’avvolgimento ed al packaging di bobine di tubo corrugato flessibile in materiale plastico, denominata FLASH 700, finalizzato alla definizione dei principali parametri funzionali, degli attuali limiti di funzionamento ed alla soluzione di alcuni problemi. L’attività ha comportato un’iniziale studio dettagliato della macchina, indirizzato all’acquisizione delle necessarie competenze tecniche di costruzione e funzionamento, per poterne successivamente definire i parametri funzionali e comprenderne gli attuali limiti e margini di miglioramento, definiti i quali si è passati ad un'accurata fase di studio riguardante il ciclo di funzionamento del gruppo avvolgitore (che arrotola il tubo in bobine), eseguita durante i collaudi pre-vendita, con lo scopo di delineare i tempi necessari ad eseguire ogni operazione e ad evidenziare i punti critici (tempi morti) del sistema che caratterizzano l’attuale tempo ciclo. Infine, determinate le principali cause dei limiti di funzionamento e definite le principali funzioni di macchina causa del tempo ciclo, sono state proposte alcune possibili modifiche costruttive finalizzate all’abbattimento degli attuali limiti. Alcune delle soluzioni proposte sono state infine realizzate e collaudate in macchina, al fine di verificarne il reale miglioramento apportato.

Analisi di mercato e design strategico di una macchina utensile ad altissima produttività

L’elaborato ha l’obiettivo di analizzare lo sviluppo di un nuovo prodotto destinato al mercato delle macchine utensili ad elevata produttività, dette macchine transfer. Verranno esaminate le varie fasi che consentono la definizione del nuovo prodotto e delle relative specifiche. La tesi è divisa in due parti principali: -Analisi di mercato e design strategico, la quale consiste nell’analisi dei concorrenti e del mercato al fine di comprendere quali funzioni deve avare la macchina per poter essere competitiva. -Progettazione e ingegnerizzazione di una macchina con le caratteristiche precedentemente individuate, con approfondimento sui gruppi più importanti della stessa.

Analisi dei comportamenti degli utenti per lo sviluppo di un sistema di App Recommendation

Negli ultimi cinque anni lo sviluppo di applicazioni mobile ha visto un grandissimo incremento dovuto pricipalmente all’esplosione della diffusione di smartphone; questo fenomeno ha reso disponibile agli analisti una enorme quantità di dati sulle abitudini degli utenti. L’approccio centralizzato nella distribuzione delle applicazioni da parte dei grandi provider quali Apple, Google e Microsoft ha permesso a migliaia di sviluppatori di tutto il mondo di raggiungere con i loro prodotti gli utenti finali e diffondere l’utilizzo di applicativi installabili; le app infatti sono diventate in poco tempo fondamentali nella vita di tutti i giorni e in alcuni casi hanno sostituito funzioni primarie del telefono cellulare. Obiettivo principale di questo studio sarà inferire pattern comportamentali dall’analisi di una grossa mole di dati riguardanti l’utilizzo dello smartphone e delle app installabili da parte di un gruppo di utenti. Ipotizzando di avere a disposizione tutte le azioni che un determinato bacino di utenza effettua nella selezione delle applicazioni di loro interesse quando accedono al marketplace (luogo digitale da cui è possibile scaricare nuove applicazioni ed installarle) è possibile stimare, ovviamente con un certo margine di errore, dati sensibili dell’utente quali: Sesso, Età, Interessi e così via analizzandoli in relazione ad un modello costruito su dati di un campione di utenti ben noto. Costruiremo così un modello utilizzando dati di utenti ben noti di cui conosciamo i dettagli sensibili e poi, tramite avanzate tecniche di regressione e classificazione saremo in grado di definire se esiste o meno una correlazione tra le azioni effettuate su uno Smartphone e il profilo dell’utente. La seconda parte della tesi sarà incentrata sull'analisi di sistemi di raccomandazioni attualmente operativi e ci concentreremo sullo studio di possibili sviluppi sviluppi futuri di questi sistemi partendo dai risultati sperimentali ottenuti.

"Cloudy": un'applicazione di assistenza allo shopping basata sulle API di Marketcloud

In questo lavoro di tesi si è analizzato il problema di creare un sistema di assistenza allo shopping integrabile in applicazioni e-commerce web e mobile sviluppate con le tecnologie messe a disposizione da Marketcloud, ovvero un progetto che punta a fornire strumenti per la realizzazione, la manutenzione, la gestione, la diffusione e la pubblicizzazione di tali applicazioni limitando i costi e le problematiche di sviluppo a carico delle aziende che intendono fornire servizi di e-commerce. Dopo aver discusso gli aspetti principali del progetto Marketcloud, sono state analizzate le necessità delle aziende interessate allo sviluppo del sistema di assistenza in esame, così come le aspettative degli utenti (i clienti) finali, ed è stato discusso perché fosse necessario e preferibile, nel caso in esame, non utilizzare soluzioni già presenti sul mercato. Infine, è stata progettata ed implementata un’applicazione web che includesse tale sistema e che fosse immediatamente integrabile tra i servizi già sviluppati da Marketcloud, testandone risultati, prestazioni, problemi e possibili sviluppi futuri. Al termine del lavoro di implementazione, il sistema e l'applicazione garantiscono all'utente finale l'utilizzo di tre funzioni: ricerca per categoria, ricerca libera, recommendation di prodotti. Per gestire la ricerca libera, è stato implementato un sistema di filtri successivi, ed una rete neurale multi-livello dotata di un opportuno algoritmo di machine learning per poter apprendere dalle scelte degli utenti; per la recommendation di prodotti, è stato utilizzato un sistema di ranking (classificazione). Le prestazioni della rete neurale sono state oggetto di attenta analisi.

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.

Progetto di un dispositivo wireless di feedback tattile per un sistema di ausilio per non vedenti o ipovedenti

La tesi è incentrata sullo studio e sulla progettazione di un dispositivo wireless di feedback tattile per un sistema di ausilio per non vedenti o ipovedenti. Il dispositivo composto da micro motori vibranti avvisa l'utente di imminenti ostacoli nel suo cammino. La rilevazione degli ostacoli è opera del visore, un sistema composto da una videocamera stereo, con elaborazione su FPGA, collegata ad un Odroid-U3. Viene trattato anche lo sviluppo di un'applicazione server, con relativa libreria di funzioni, che permette al visore di comunicare con dispositivi iOS esterni. Quest'ultima parte è avvenuta in collaborazione con il collega Luca Ranalli che si è occupato dell' App client per smartphone e tablet iOS.

Agire sui bisogni, condividere responsabilità al tempo di internet: per il disegno di un'applicazione a supporto dello scambio sociale

Dalla volontà di proporre una soluzione al tema delle disabilità fisiche in ambiente cittadino evoluto e tecnologicamente avanzato, è nata l'idea di progettare un'applicazione in grado di generare visibilità attorno ad un tema che dovrebbe progredire nella stessa maniera dello sviluppo tecnologico. Lo scopo di questa tesi è proporre un tentativo concreto per entrare in contatto con una problematica di ordine sociale che lo sviluppo tecnologico dovrebbe tenere in maggiore considerazione. Si vuole cercare di sfruttare Internet come mezzo per enfatizzare un problema concreto come la mancanza di visibilità e coinvolgimento sociale attorno la tematica delle disabilità. I nativi digitali utilizzano costantemente sia social network che piattaforme dedite allo scambio di informazioni e alla creazione di visibilità. Vivono il mondo digitale come una vetrina nella quale potersi mettere in mostra e creare una reputazione. Il mondo digitale, in particolare quello dei social network viene visto dai più come la fonte principale di costruzione dei legami sociali, ciò è sicuramente vero, ma bisogna capire che tipo e quanto profonde possano essere tali relazioni. La mia generazione è cresciuta in un periodo ibrido, coinvolta sia nel mondo analogico sia in quello digitale, molti sono stati risucchiati da un vortice di superficialità e apparenze altamente correlati con gli effetti generati da una società capitalistica perfettamente identificabile nei profili che ogni giorno andiamo a creare per metterci in mostra nei social network. In prima analisi con la collaborazione del Dipartimento disabilità dell'Università di Bologna si era cercato di porre l'attenzione su un approccio più orientativo per venire in contro a problematiche del genere. Qualcosa che permettesse a tutti nella stessa maniera di vivere la realtà accademica e cittadina stimolando l'interazione degli studenti con socialità marginale.