Modifica dinamica del clock di Virtualbox

Tesi sullo studio del clock di Virtualbox e su un metodo per poterlo modificare dinamicamente.

Progettazione e ottimizzazione di un cambio automatico a variazione continua del rapporto di trasmissione

Lo scopo di questo elaborato di tesi è quello di trattare la progettazione di un cambio automatico per un trattore agricolo. L’idea alla base è quella di realizzare un meccanismo in grado di fornire una variazione continua del rapporto di trasmissione. Scelto come modello di trattore il Goldoni Energy 80, è stata adottata come soluzione quella di un rotismo epicicloidale, per la cui variazione del rapporto di trasmissione sarà utilizzato un motore elettrico. Il motore controllerà la velocità di una delle ruote permettendo di modificare quella dell’albero in uscita. Per il dimensionamento degli organi meccanici sono state considerate le seguenti caratteristiche del trattore: -velocità minima di marcia; -velocità massima di marcia; -dimensioni degli pneumatici delle ruote motrici primarie; -coppia e velocità del motore a combustione interna in condizioni nominali; -coppia e velocità del motore a combustione interna in regime di funzionamento massimo. Saranno affrontate le problematiche relative: -al dimensionamento cinematico e dinamico delle ruote dentate; -alla scelta di un motore elettrico adatto al caso; -alla scelta e al proporzionamento dei cuscinetti; -al dimensionamento e alle verifiche a fatica degli alberi meccanici; -al montaggio dei vari componenti e del relativo carter.

Il metodo di steepest descent per la regolarizzazione di immagini

Scopo della tesi è la descrizione di un metodo per il calcolo di minimi di funzionali, basato sulla steepest descent. L'idea principale è quella di considerare un flusso nella direzione opposta al gradiente come soluzione di un problema di Cauchy in spazi di Banach, che sotto l'ipotesi di Palais-Smale permette di determinare minimi. Il metodo viene applicato al problema di denoising e segmentazione in elaborazione di immagini: vengono presentati metodi classici basati sull'equazione del calore, il total variation ed il Perona Malik. Nell'ultimo capitolo il grafico di un'immagine viene considerato come varietà, che induce una metrica sul suo dominio, e viene nuovamente utilizzato il metodo di steepest descent per costruire algoritmi che tengano conto delle caratteristiche geometriche dell'immagine.

Il teatro comunitario in Argentina: paradigmi e pratiche tra identità e memoria. Con un focus sul caso italiano

La tesi indaga l’esperienza del teatro comunitario, una delle espressioni artistiche più originali e pressoché sconosciute nel panorama teatrale novecentesco, che ha avuto in Argentina un punto di riferimento fondamentale. Questo fenomeno, che oggi conta cinquanta compagnie dal nord al sud del paese latinoamericano, e qualcuna in Europa, affonda le sue radici nella Buenos Aires della post-dittatura, in una società che continua a risentire degli esiti del terrore di Stato. Il teatro comunitario nasce dalla necessità di un gruppo di persone di un determinato quartiere di riunirsi in comunità e comunicare attraverso il teatro, con l'obiettivo di costruire un significato sociale e politico. La prima questione messa a fuoco riguarda la definizione della categoria di studio: quali sono i criteri che consentono di identificare, all’interno della molteplicità di pratiche teatrali collettive, qualcosa di sicuramente riconducibile a questo fenomeno. Nel corso dell’indagine si è rivelata fondamentale la comprensione dei conflitti dell’esperienza reale e l’individuazione dei caratteri comuni, al fine di procedere a un esercizio di generalizzazione. La ricerca ha imposto la necessità di comprendere i meccanismi mnemonici e identitari che hanno determinato e, a loro volta, sono stati riattivati dalla nascita di questa esperienza. L’analisi, supportata da studi filosofici e antropologici, è volta a comprendere come sia cambiata la percezione della corporeità in un contesto di sparizione dei corpi, dove il lavoro sulla memoria riguarda in particolare i corpi assenti (desaparecidos). L’originalità del tema ha imposto la riflessione su un approccio metodologico in grado di esercitare una adeguata funzione euristica, e di fungere da modello per studi futuri. Sono stati pertanto scavalcati i confini degli studi teatrologici, con particolare attenzione alle svolte culturali e storiche che hanno preceduto e affiancato l’evoluzione del fenomeno.

Studio di transistor elettrochimici e loro applicazioni

In questa tesi, utilizzando le particolari proprietà del polimero conduttivo poli(3,4-etilenediossitiofene) drogato con polistirene sulfonato , o PEDOT:PSS, sono stati realizzati dei transistor elettrochimici organici (OECTs), in cui il gate e canale source-drain sono stati realizzati depositando su substrato di vetro film sottili di questo polimero. I dispositivi realizzati sono stati caratterizzati, per comprenderne meglio le funzionalità e le proprietà per possibili applicazioni future, in particolare come sensori di glucosio. Il PEDOT:PSS è uno dei materiali più studiati per applicazioni della bioelettronica in virtù della sua grande stabilità chimica e termica, della reversibilità del suo processo di drogaggio, della grande conducibilità e delle sue proprietà elettrochimiche, nonché della sua attività in un vasto range di pH. Vengono trattate nell’elaborato anche le tecniche di deposizione di questo polimero per la creazione di film sottili, necessari per le varie applicazioni nell’ambito della bioelettronica organica, la quale si propone di unire la biologia e l’elettronica in un mutuale scambio di informazioni e segnali. Questa interazione si sta verificando soprattutto nel campo sanitario, come si può evincere dagli esempi riportati nella trattazione. Si conclude la parte teorica con una descrizione degli OECTs: viene spiegata la loro struttura, la capacità di connettere conducibilità ionica ed elettronica e il loro funzionamento, inserendo anche un confronto con i FET (“Field Effect Transistor”), per agevolare la comprensione dei meccanismi presenti in questi strumenti. Per la parte sperimentale si presenta invece una descrizione dettagliata dei procedimenti, degli strumenti e degli accorgimenti usati nel fabbricare i transistor sui quali si è lavorato in laboratorio, riportando anche una piccola esposizione sulle principali misure effettuate: curve caratterische I–V, transcaratteristiche e misure di corrente nel tempo sono le principali acquisizioni fatte per studiare i dispositivi. E’ stata studiata la diversa risposta degli OECTs al variare della concentrazione di PBS in soluzione, mostrando un generale rallentamento dei processi e una diminuzione della capacità di modificare la corrente source-drain al calare della concentrazione. In seguito, è stato effettuato un confronto tra transistor appena fatti e gli stessi analizzati dopo un mese, osservando una riduzione della corrente e quindi della conducibilità, seppur senza una modifica qualitativa delle curve caratteristiche (che mantengono il loro andamento). Per quanto riguarda la possibilità di usare questi dispositivi come sensori di glucosio, si introduce uno studio preliminare sulla risposta di un transistor, il cui gate è stato funzionalizzato con ferrocene, alla presenza di glucosio e glucosio ossidasi, un enzima necessario al trasferimento di elettroni, nella soluzione elettrolitica, seppur con qualche difficoltà, per via della mancanza di informazioni sui parametri da utilizzare e il range in cui compiere le misure (tuttora oggetto di ricerca).

Studio e valutazione sperimentale di tecniche di radio fingerprinting per navigazione indoor con dispositivi mobili Android

Lo studio effettuato raccoglie informazioni al fine di svolgere un’analisi globale delle tecniche attualmente in uso, o in fase di studio, nel campo della localizzazione di dispositivi all’interno di un ambiente chiuso, ovvero laddove non è possibile sfruttare la copertura del sistema GPS. La panoramica è frutto dell’analisi e dello studio di paper tecnici pubblicati dai collaboratori dell’IEEE, fruibili all’interno del portale IEEE Xplore. A corredo di questo studio è stata sviluppata una applicazione per dispositivi Android basata sulla tecnica del Wi-Fi fingerprint; l’applicazione, che rappresenta un primo approccio alle tecniche di localizzazione, è a tutti gli effetti un sistema standalone per la localizzazione, consente cioè di costruire sia la mappa per la localizzazione, partendo da un ambiente sconosciuto, sia di ottenere la posizione dell’utente all’interno di una mappa conosciuta. La tesi si conclude con una analisi dei risultati e delle performance ottenute dall’applicazione in un uso comune, al fine di poter valutare l’efficacia della tecnica presa in considerazione. I possibili sviluppi futuri sono analizzati in un capitolo a parte e trovano spazio in ambienti nei quali si vogliono offrire servizi "context-based", ovvero basati sulla posizione esatta dell’utente.

Meccanizzazione dei vigneti allevati a doppia cortina e a cordone libero

La ricerca svolta ha voluto approfondire le possibilità offerte dai sistemi di allevamento dei vigneti a Doppia Cortina (GDC) e a Cordone Libero nei riguardi della meccanizzazione. La ricerca ha considerato gli interventi di potatura invernale, di gestione della chioma (spollonatura, cimatura, defogliazione e pettinatura della doppia cortina) e di vendemmia. Un’operazione particolarmente seguita è stata la potatura invernale realizzando differenti livelli di meccanizzazione. Tutti gli interventi sono stati eseguiti sia manualmente che meccanicamente, confrontando i tempi d’impiego, la qualità del lavoro svolto e gli impegni di manodopera. I risultati sono stati sintetizzati in una valutazione economica, ipotizzando differenti livelli di costo della manodopera impiegata, per ottenere giudizi di convenienza per i singoli interventi e per costruire una valutazione completa e più organica della linea di lavoro proposta. Nelle due forme d’allevamento la meccanizzazione della potatura invernale e della gestione della chioma hanno rispettato pienamente gli obbiettivi tecnici prefissati, dimostrando di essere un valido mezzo per ridurre tempi e costi di gestione. Per questi interventi l’acquisto delle macchine risulta conveniente anche per vigneti di piccola dimensione. Ancor più evidenti in queste due forme d’allevamento sono i vantaggi economici offerti dalla vendemmia meccanica, realizzata con pochi maltrattamenti e perdite di prodotto. La tendenza a meccanizzare integralmente gli interventi di gestione del ciclo colturale della vite, può essere nei prossimi anni un motivo di interesse e di scelta nella realizzazione di nuovi impianti con queste due forme di allevamento, che hanno dimostrato di essere un’espressione completa di sinergia tra macchina e pianta.

Progettazione e realizzazione di un editor grafico per il rendering di scene tridimensionali mediante opengl

L'obiettivo di questo elaborato è quindi quello di progettare e realizzare un editor grafico per la modellazione di oggetti tridimensionali, di consentire ad un utente di costruire scene complesse curandone il rendering. Il progetto è stato realizzato facendo uso del linguaggio C++ e degli strumenti messi a disposizione dalle librerie OpenGL

Legislazione della crisi e rinvio al contratto collettivo

La tesi analizza il mutamento in atto nelle fonti del diritto del lavoro, attraverso uno studio dei casi di rinvio dalla legge al contratto collettivo. Nella Parte I della tesi è affrontato il tema dei rapporti tra legge e contratto collettivo. In una prospettiva statica, i rapporti tra legge e contratto collettivo sono caratterizzati dall’operare dei principii di gerarchia e del favor: la legge prevede il trattamento minimo di tutela e il contratto collettivo può modificare tale trattamento in senso più favorevole al lavoratore. In una prospettiva dinamica, i rapporti tra legge e contratto collettivo sono più complessi: nell’ordinamento italiano, infatti, la disciplina del rapporto e del mercato del lavoro è caratterizzata da una valorizzazione degli apporti dell’autonomia collettiva. In particolare, il contratto collettivo è destinatario di una serie di rinvii, che lo autorizzano a completare la disciplina legale e a modificarla anche in senso meno favorevole al lavoratore, al fine di creare un mercato del lavoro maggiormente dinamico. Nella Parte II della tesi l’analisi si concentra sull’art. 8 della l. n. 148/2011. Tale disposizione è stata introdotta durante la crisi economico-finanziaria che ha colpito l’Italia tra il 2011 e il 2012, a seguito di trattative tra il Governo italiano e le istituzioni dell’UE, al fine di attribuire alle imprese uno strumento per incrementare la loro competitività e produttività. L’art. 8 autorizza il contratto collettivo a derogare in peius alla legge con riferimento a un arco tematico di materie e istituti che comprende l’intero profilo della disciplina del rapporto di lavoro, con alcune eccezioni. L’art. 8 rappresenta il punto di arrivo di una lunga evoluzione legislativa e consente di mettere in discussione la ricostruzione tradizionale dei rapporti tra legge e contratto collettivo basata sui principii di gerarchia e di favore.

Complessi tetrazolici di Ru(II) come fotoassorbitori per celle solari di tipo DSSC

Questo lavoro di tesi sperimentale è stato dedicato alla sintesi di alcuni nuovi complessi tetrazolici di Ru(II) e, in collaborazione con il personale dell’istituto ISTEC-CNR di Faenza, al loro impiego come fotoassorbitori per celle solari di tipo DSSC. L’idea progettuale alla base di questa attività è scaturita dalla volontà di modificare la struttura di due coloranti di riferimento (N719 e N749) sostituendo i gruppi tiocianato (SCN-) coordinati al centro metallico con leganti tetrazolici opportunamente funzionalizzati. In questo elaborato si riporta la descrizione e la discussione dettagliata della sintesi dei complessi, della loro caratterizzazione e delle performances delle celle DSSC contenenti tali complessi come fotoassorbitori.

Il tempo nei sistemi coordinati: esperimenti in TuCSoN

La tesi intende esplorare i problemi relativi al tempo nei sistemi coordinati e costruire esperimenti sia applicativi che di estensione di middleware di coordinazione, concentrandosi in particolare sulla tecnologia di coordinazione TuCSoN.

Middleware per Internet of Things: Java Embedded come caso di studio

Grazie al progresso dell'elettronica, ai giorni nostri, è possibile costruire dispositivi elettronici molto piccoli, che col passare del tempo lo sono sempre più. Questo ci permette di poter imboccare nuove strade nel mondo dell'informatica, sfruttando proprio questo fatto. Le dimensioni ridotte dei dispositivi in commercio, come sensori, attuatori, tag e tanto altro, sono particolarmente adatte a nuovi scenari applicativi. Internet of Things è una visione in cui Internet viene esteso alle cose. Facendo largo uso di dispositivi come sensori e tag è possibile realizzare sistemi intelligenti che possono avere riscontri positivi nella vita di tutti i giorni. Tracciare la posizione degli oggetti, monitorare pazienti da remoto, rilevare dati sull'ambiente per realizzare sistemi automatici (ad esempio regolare automaticamente la luce o la temperatura di una stanza) sono solo alcuni esempi. Internet of Things è la naturale evoluzione di Internet, ed è destinato a cambiare radicalmente la nostra vita futura, poichè la tecnologia sarà sempre più parte integrante della nostra vita, aumentando sempre più il nostro benessere e riducendo sempre più il numero delle azioni quotidiane da compiere. Sempre più sono middleware, le piattaforme e i sistemi operativi che nascono per cercare di eliminare o ridurre le problematiche relative allo sviluppo di sistemi di questo genere, e lo scopo di questa tesi è proprio sottolinearne l'importanza e di analizzare gli aspetti che questi middleware devono affrontare. La tesi è strutturata in questo modo: nel capitolo uno verrà fatta una introduzione a Internet of Things, analizzando alcuni degli innumerevoli scenari applicativi che ne derivano, insieme però alle inevitabili problematiche di tipo tecnologico e sociale. Nel secondo capitolo verranno illustrate le tecnologie abilitanti di Internet of Things, grazie alle quali è possibile realizzare sistemi intelligenti. Nel terzo capitolo verranno analizzati gli aspetti relativi ai middleware, sottolineandone l'importanza e prestando attenzione alle funzioni che devono svolgere, il tutto riportando anche degli esempi di middleware esistenti. Nel quarto capitolo verrà approfondito il middleware Java Embedded di Oracle.

Valutazione dell'interazione tra delfinidi e squalo bianco (Carcharodon carcharias) in Sud Africa

Lo studio dell’utilizzo dell’habitat, sebbene ci dia principalmente informazioni di come gli organismi interagiscono con esso o indirettamente tra di loro, è un aspetto molto importante dell’ecologia sia terrestre che marina in quanto può essere utilizzato per scopi conservativi ma anche per uno sviluppo di quello che può essere un turismo legato alla presenza di tali organismi. Scopo del presente lavoro è verificare come la presenza di un predatore come lo squalo bianco possa modificare la distribuzione dei delfinidi nell’area di Mossel Bay, Sudafrica. A tal fine si sono analizzati i dati relativi alle presenze di squalo bianco e di delfinidi per un periodo di circa un anno e si sono analizzate le distribuzioni delle specie considerate e le eventuali sovrapposizioni, per valutare come le due specie interagiscono e si influenzano a vicenda. Da quanto osservato nella presente ricerca si può concludere che le specie di cetacei considerate adottino una strategia di avoidance dagli squali basata principalmente sull’utilizzo di acque a profondità diversa rispetto a quelle utilizzate dagli elasmobranchi. L’aver considerato la batimetria come parametro di discriminazione tra le specie ha evitato di valutare in maniera non corretta le distribuzioni delle stesse, in quanto ha fornito una sorta di terza dimensione che ha permesso di dettagliare meglio la stratificazione nella colonna d’acqua delle specie considerate. L’analisi effettuata ha interessato i dati relativi ad un solo anno di monitoraggio, e quindi non possono essere presi come riferimento assoluto per valutare la reale distribuzione delle specie considerate. Può però essere ritenuta un primo step per meglio comprendere quali siano le strategie difensive messe in atto dai cetacei nei confronti degli attacchi da squalo e, con ulteriori analisi e monitoraggi, quali invece possono essere le strategie attuate dagli elasmobranchi.

Laplace operator on finite graphs and a network diffusion model for the progression of the Alzheimer disease

Nella tesi viene descritto il Network Diffusion Model, ovvero il modello di A. Ray, A. Kuceyeski, M. Weiner inerente i meccanismi di progressione della demenza senile. In tale modello si approssima l'encefalo sano con una rete cerebrale (ovvero un grafo pesato), si identifica un generale fattore di malattia e se ne analizza la propagazione che avviene secondo meccanismi analoghi a quelli di un'infezione da prioni. La progressione del fattore di malattia e le conseguenze macroscopiche di tale processo(tra cui principalmente l'atrofia corticale) vengono, poi, descritte mediante approccio matematico. I risultati teoretici vengono confrontati con quanto osservato sperimentalmente in pazienti affetti da demenza senile. Nella tesi, inoltre, si fornisce una panoramica sui recenti studi inerenti i processi neurodegenerativi e si costruisce il contesto matematico di riferimento del modello preso in esame. Si presenta una panoramica sui grafi finiti, si introduce l'operatore di Laplace sui grafi e si forniscono stime dall'alto e dal basso per gli autovalori. Al fine di costruire una cornice matematica completa si analizza la relazione tra caso discreto e continuo: viene descritto l'operatore di Laplace-Beltrami sulle varietà riemanniane compatte e vengono fornite stime dall'alto per gli autovalori dell'operatore di Laplace-Beltrami associato a tali varietà a partire dalle stime dall'alto per gli autovalori del laplaciano sui grafi finiti.

'Sensate esperienze' e 'necessarie dimostrazioni': Una proposta di insegnamento della cinematica

La matematica è un’attività umana che sembra non lasciare indifferente quasi nessuno: alcuni rimangono affascinati dalla sua ‘magia’, molti altri provano paura e rifiutano categoricamente persino di sentirla nominare. Spesso, non solo a scuola, si percepisce la matematica come un’attività distaccata, fredda, lontana dalle esigenze del mondo reale. Bisognerebbe, invece, fare in modo che gli studenti la sentano come una risorsa culturale importante, da costruire personalmente con tempo, fatica e soddisfazione. Gli studenti dovrebbero avere l’opportunità di riflettere sul senso di fare matematica e sulle sue potenzialità, attraverso attività che diano spazio alla costruzione autonoma, alle loro ipotesi e alla condivisione delle idee. Nel primo capitolo, a partire dalle difficoltà degli studenti, sono analizzati alcuni studi sulla straordinaria capacità della matematica di organizzare le nostre rappresentazioni del mondo che ci circonda e sull’importanza di costruire percorsi didattici incentrati sulla modellizzazione matematica. Dalla considerazione di questi studi, è stato elaborato un progetto didattico, presentato nel secondo capitolo, che potesse rappresentare un’occasione inconsueta ma significativa per cercare di chiarire l’intreccio profondo tra matematica e fisica. Si tratta di una proposta rivolta a studenti all’inizio del secondo biennio in cui è prevista una revisione dei problemi della cinematica attraverso le parole di Galileo. L’analisi di documenti storici permette di approfondire le relazioni tra grandezze cinematiche e di mettere in evidenza la struttura matematica di tali relazioni. Le scelte che abbiamo fatto nella nostra proposta sono state messe in discussione da alcuni insegnanti all’inizio della formazione per avere un primo riscontro sulla sua validità e sulle sue potenzialità. Le riflessioni raccolte sono state lo spunto per trarre delle considerazioni finali. Nelle appendici, è presente materiale di lavoro utilizzato per la progettazione e discussione del percorso: alcuni testi originali di Aristotele e di Galileo, le diapositive con cui la proposta è stata presentata agli studenti universitari e un esempio di protocollo di costruzione di Geogebra sul moto parabolico.