Sintesi di catalizzatori supportati Au/Cu e studio della loro reattivit�� per l'ossidazione selettiva del 5-idrossimetilfurfurale

Al giorno d���oggi i combustibili fossili come carbone, olio e gas naturale forniscono pi�� del 75% dell���energia mondiale. Tuttavia, la crescente richiesta di queste fonti di energia non rinnovabili, si manifesta in un momento in cui le riserve naturali si stanno esaurendo; �� stato infatti stimato che le riserve petrolifere di tutto il mondo possano essere sufficienti per fornire energia e produrre prodotti chimici per i prossimi quarant���anni. Per questo motivo la conversione delle biomasse per produrre energia e prodotti chimici sta diventando una valida alternativa per diversificare le fonti energetiche e ridurre il surriscaldamento globale. Le biomasse, infatti, oltre ad essere una fonte rinnovabile, generano minori emissioni di gas serra rispetto ai combustibili fossili, perch�� la CO2 rilasciata nei processi di utilizzo viene bilanciata da quella consumata nel processo di crescita delle biomasse stesse. Lo sfruttamento delle biomasse per la produzione di building blocks per la chimica suscita particolare interesse, poich�� le molecole ottenute sono gi�� parzialmente funzionalizzate; ci�� significa che la sintesi di prodotti chimici specifici richiede un minor numero di stadi rispetto ai building blocks petroliferi, con conseguente diminuzione di prodotti di scarto e sottoprodotti. Un esempio di queste potenziali ���molecole piattaforma��� �� il 5-idrossimetilfurfurale (HMF), un importante composto derivato dalla disidratazione di zuccheri, intermedio chiave per la sintesi di un���ampia variet�� di prodotti chimici e combustibili alternativi, tra cui l���acido 2,5- furandicarbossilico (FDCA), che �� stato identificato tra i dodici composti chimici pi�� importanti degli ultimi anni. Per esempio, il FDCA �� un possibile sostituto dell���acido tereftalico, usato per produrre il polietilentereftalato (PET). Recentemente alcuni autori hanno riportato interessanti risultati sull���ossidazione dell���HMF a FDCA utilizzando catalizzatori a base di Au supportato. Questi catalizzatori mostrano per�� significativi problemi di disattivazione. Lo scopo di questo lavoro di tesi �� stato quindi lo sviluppo di catalizzatori attivi e stabili nella reazione di ossidazione dell���HMF a FDCA. Il lavoro portato avanti ha avuto come obbiettivi principali: l���ottimizzazione della sintesi di nanoparticelle di oro e oro/rame a diverso rapporto molare, mediante un processo di sintesi, in acqua, a basso impatto ambientale. Tale metodo di sintesi si basa sull���azione riducente del sistema glucosio-NaOH ed �� stato messo a punto in lavori di tesi precedenti. Le nanoparticelle sintetizzate sono state utilizzate, quali fase attiva, per la preparazione di catalizzatori supportati su TiO2 e CeO2 lo studio dell���attivit�� catalitica e riusabilit�� dei catalizzatori preparati nell���ossidazione in fase liquida del HMF a FDCA.

MoNET the Mobile Network Emulation Tool Modulo kernel per l���emulazione del canale wireless

MoNET e' un emulatore per reti wireless mobili, composto da una suite di software distribuiti. MoNET fornisce a ricercatori e sviluppatori un ambiente virtualizzato controllato per lo sviluppo e il test di applicazioni mobili e protocolli di rete per qualsiasi tipologia di hardware e piattaforma software che possa essere virtualizzata. La natura distribuita di questo emulatore permette di creare scenari di dimensione arbitraria. La rete wireless viene emulata in maniera trasparente, quindi la connettivit�� percepita da ogni nodo virtuale, presenta le stesse caratteristiche di quella fisica emulata.

Geolocalizzazione e QRCode come strumenti a supporto di applicazioni turistico-culturali

Gli smartphone, sono dispositivi per la telefonia mobile che oramai includono una serie di funzionalit�� a supporto della multimedialit�� e non solo. Divenuti quasi dei notebook in miniatura, ne esistono di vari tipi e dimensioni e anche se la loro potenza di calcolo rimane di gran lunga inferiore a quella di un PC, riescono comunque a effettuare operazioni abbastanza evolute e con prestazioni accettabili. Quello che si vuole realizzare con questo lavoro non �� uno studio su questi dispositivi (anche se in parte sar�� affrontato), ma un approfondimento sulla possibilit�� di utilizzare una buona fetta di essi, a supporto dello sviluppo turistico nel nostro paese. In particolare si vuole realizzare una piattaforma mobile che metta in comunicazione individui che vogliono fornire informazione di tipo turistico (beni culturali, eventi, attivit�� commerciali, ecc.) con individui che vogliono fruire di tali contenuti (un qualsiasi turista che sia in grado di utilizzare uno smartphone). Tale applicazione dovr�� raccogliere informazioni su una determinata citt�� e riuscire in maniera chiara e intuitiva a dare risposte alle principali domande che un turista si pone: ��� dove sono? ��� Cosa c����� d���interessante da visitare nei dintorni? ��� Interessante questa statua! Di cosa si tratta? ��� Quali sono gli eventi pi�� interessanti ai quali potrei partecipare? ��� Ho un leggero appetito dove posso andare a mangiare? ��� Dove posso fare un po��� di shopping?

Implementazione automatica di protocolli di interazione AUML mediante reti di Petri

Questa tesi si basa su una serie di lavori precedenti, volti ad analizzare la correlazione tra i modelli AUML e le reti di Petri, per riuscire a fornire una metodologia di traduzione dai primi alle seconde. Questa traduzione permetter�� di applicare tecniche di model checking alle reti cos�� create, al fine di stabilire le propriet�� necessarie al sistema per poter essere realizzato effettivamente. Verr�� poi discussa un'implementazione di tale algoritmo sviluppata in tuProlog ed un primo approccio al model checking utilizzando il programma Maude. Con piccole modifiche all'algoritmo utilizzato per la conversione dei diagrammi AUML in reti di Petri, �� stato possibile, inoltre, realizzare un sistema di implementazione automatica dei protocolli precedentemente analizzati, verso due piattaforme per la realizzazione di sistemi multiagente: Jason e TuCSoN. Verranno quindi presentate tre implementazioni diverse: la prima per la piattaforma Jason, che utilizza degli agenti BDI per realizzare il protocollo di interazione; la seconda per la piattaforma TuCSoN, che utilizza il modello A&A per rendersi compatibile ad un ambiente distribuito, ma che ricalca la struttura dell'implementazione precedente; la terza ancora per TuCSoN, che sfrutta gli strumenti forniti dalle reazioni ReSpecT per generare degli artefatti in grado di fornire una infrastruttura in grado di garantire la realizzazione del protocollo di interazione agli agenti partecipanti. Infine, verranno discusse le caratteristiche di queste tre differenti implementazioni su un caso di studio reale, analizzandone i punti chiave.

Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA

Scopo di questa tesi �� analizzare e sviluppare la parte preposta al controllo dell���integrit�� dei dati (Check&SODA), facente parte di un nuovo plugin per piattaforma Eclipse che supporti il progettista durante le attivit�� di progettazione con SODA, tramite una componente grafica Graph&SODA.

Progetto di scheda a microcontrollore per la telemetria di veicoli elettrici

In un'epoca in cui l'informatizzazione si diffonde a macchia d'olio in ogni aspetto della vita quotidiana e la possibilit�� di essere connessi ad internet risulta vitale per aggiornarsi o anche semplicemente per mantenere contatti �� possibile e allo stesso tempo necessario cercare di sfruttare la rete nel migliore dei modi in ambito lavorativo, per migliorare i propri prodotti e cercando di offrire all'utente beni e servizi sempre migliori, al passo coi tempi e col pensiero moderno. �� in questo ambiente che la connettivit�� si rende necessaria anche nel settore dell'automobile in modo da gestire in maniera efficiente l'enorme quantit�� di dati scambiati dalle varie sottoparti del sistema il cui compito �� quello di supervisionare i componenti elettronici e meccanici. L'obiettivo �� quello quindi di centralizzare ed elaborare le informazioni in modo da semplificare ed ottimizzare la gestione del veicoli per ottenere importanti vantaggi dalla fase di test fino a quella di utilizzo, passando per quella di manutenzione. Per questo risulta fondamentale, nell'epoca in cui viviamo, concedere la possibilit�� al veicolo di interagire con la rete internet in modo da poter sfruttare tutti i vantaggi comunicativi, siano essi con l'ambiente circostante o con persone, che essa prevede. Una volta quindi trovato il modo di interfacciarsi con la rete e sviluppato un software adeguato �� fondamentale implementare fisicamente il dispositivo in modo da ottenere un dispositivo altamente integrabile nel sistema veicolo in modo da non alterare in maniera significativa la disposizione dei componenti di base (meccanici, elettrici ed elettronici) dell'automobile elettrica. �� in quest'ottica che s'inserisce il progetto di una scheda per una vera e propria telemetria del veicolo elettrico con l'obiettivo di ottenere un sistema ad hoc, ma che mantenga una molteplicit�� di interfacce che permettano al dispositivo di rimanere aggiornato con l'evoluzione in atto relativa alle tecniche e ai protocolli (standard) di comunicazione permettendo quindi comunicazioni tramite rete ethernet, Wi-Fi o GPRS, cercando anche di sfruttare sistemi di posizionamento come il GPS. Per questo motivo si �� cercato di realizzare la scheda seguendo la filosofia dei sistemi embedded, architetture il cui compito �� quello di eseguire operazioni molto specifiche spesso con vincoli sull'esecuzione in tempo reale. Questo permette di ridurre al minimo l'hardware in termini di spazio, consumo e costo di realizzazione. Queste dispositivi si sono evoluti recentemente virando sulla creazione di architetture modulari che permettono il riutilizzo delle risorse disponibili; in questo modo si ottengono comunque dispositivi ottimizzati ma in grado di mantenere un certo tipo di flessibilit�� nello sviluppo delle applicazioni e allargando quindi lo spettro dei possibili impieghi. Secondo questi principi si �� cercato quindi di realizzare la scheda in modo che implementasse e realizzasse il software dedicato alla comunicazione del veicolo con internet ma che, grazie all'hardware a disposizione, potesse essere programmata da mani esperte anche per numerosi utilizzi alternativi e resa quindi disponibile all'utente finale in possibili forme. In questo �� risultato fondamentale l'utilizzo della piattaforma Arduino, basata sul microcontrollore ATmega328, che permette appunto una rapida espansione fisica del sistema.

Sistemi embedded open source: Arduino come caso di studio

Il lavoro svolto in questa tesi �� stato quello di introdurre alcuni concetti importanti dei sistemi embedded, in particolare ci si �� soffermati su quelli open source. �� stato trattato nello specifico Arduino come esempio di sistema embedded open source a basso costo.

Analisi di performance di un terminal aeroportuale e sistemi a coda: studio teorico e applicazione numerica per la mobilit�� land-side dell'aeroporto `G.Marconi' di Bologna

Questa tesi si propone di indagare l'impatto di alcuni scenari di sviluppo aeroportuale legati alla prevista implementazione di un sistema di trasporto APM - People Mover, in termini di performance del terminal passeggeri dell'Aeroporto `G.Marconi' di Bologna, per fornire soluzioni efficaci alla mobilit��. Il background teorico �� rappresentato dai risultati ottenuti dalla ricerca sperimentale e ormai acquisiti dalla trattazione classica per code markoviane avanzate (bulk queus), mentre il metodo messo a punto, del tutto generale,parte dagli arrivi schedulati e attraverso una serie di considerazioni econometriche costruisce una serie di scenari differenti,implementati poi attraverso la simulazione dinamica con l'utilizzo del software ARENA. Le principali grandezze di stato descrittive dei processi modellizzati ottenute in output vengono confrontate e valutate nel complesso, fornendo in prima approssimazione previsioni sull'efficacia del sistema previsto. Da ultimo, vengono proposti e confrontati i due approcci forniti tanto dalla manualistica di settore quanto da contributi di ricerca per arrivare a definire un dimensionamento di massima di strutture per la mobilit�� (una passerella di collegamento del terminal alla stazione APM) e una verifica della piattaforma per l'attesa ad essa contigua.

Progettazione e Sviluppo di Applicazioni Web per Cloud Computing

Negli ultimi anni si sente sempre pi�� spesso parlare di cloud computing. L'idea di fondo di questo concetto �� quella di pagare per il solo effettivo utilizzo di un servizio, disponibile sulla rete, avendo a disposizione la possibilit�� di poter variare le proprie risorse utilizzabili a seconda delle necessit��, che potrebbero essere, per esempio, applicazioni standard oppure spazi di storage per i dati. Quando cominci�� a diffondersi l'utilizzo del Web, la rete Internet veniva raffigurata come una nuvola (cloud) in modo tale che si rendesse l'idea di un'entit�� esterna rispetto alla nostra casa o al nostro posto di lavoro, un qualcosa cio�� al di fuori dei luoghi abituali in cui vengono utilizzati i PC. Tale rappresentazione diventa ora utile per poter spiegare il concetto di cloud computing. Infatti, grazie a questa nuova tecnologia, dati e programmi normalmente presenti nei nostri computer potranno ora trovarsi sul cloud. Molti reparti IT sono costretti a dedicare una parte significativa del loro tempo a progetti di implementazione, manutenzione e upgrade che spesso non danno un vero valore per l'azienda. I team di sviluppo hanno cominciato quindi a rivolgersi a questa nuova tecnologia emergente per poter minimizzare il tempo dedicato ad attivit�� a basso valore aggiunto per potersi concentrare su quelle attivit�� strategiche che possono fare la differenza per un'azienda. Infatti un'infrastruttura come quella cloud computing promette risparmi nei costi amministrativi che raggiungono addirittura il 50% rispetto ad un software standard di tipo client/server. Questa nuova tecnologia sta dando inizio ad un cambiamento epocale nel mondo dello sviluppo delle applicazioni. Il passaggio che si sta effettuando verso le nuove soluzioni cloud computing consente infatti di creare applicazioni solide in tempi decisamente pi�� brevi e con costi assai inferiori, evitando inoltre tutte le seccature associate a server, soluzioni software singole, aggiornamenti, senza contare il personale necessario a gestire tutto questo. L'obiettivo di questa tesi �� quello di mostrare una panoramica della progettazione e dello sviluppo di applicazioni Web nel cloud computing, analizzandone pregi e difetti in relazione alle soluzioni software attuali. Nel primo capitolo viene mostrato un quadro generale in riferimento al cloud, mettendo in luce le sue caratteristiche fondamentali, esaminando la sua architettura e valutando vantaggi e svantaggi di tale piattaforma. Nel secondo capitolo viene presentata la nuova metodologia di progettazione nel cloud, operando prima di tutto un confronto con lo sviluppo dei software standard e analizzando poi l'impatto che il cloud computing opera sulla progettazione. Nel terzo capitolo si entra nel merito della progettazione e sviluppo di applicazioni SaaS, specificandone le caratteristiche comuni ed elencando le piattaforme di rilievo allo stato dell'arte. Si entrer�� inoltre nel merito della piattaforma Windows Azure. Nel quarto capitolo viene analizzato nel particolare lo sviluppo di applicazioni SaaS Multi-Tenant, specificando livelli e caratteristiche, fino a spiegare le architetture metadata-driven. Nel quinto capitolo viene operato un confronto tra due possibili approcci di sviluppo di un software cloud, analizzando nello specifico le loro differenze a livello di requisiti non funzionali. Nel sesto capitolo, infine, viene effettuata una panoramica dei costi di progettazione di un'applicazione cloud.

Sintesi e ricopertura organica di maghemiti per intrappolamento in polimeri biocompatibili. Applicazioni in nanomedicina.

Il seguente lavoro �� stato condotto con lo scopo di sviluppare una nano-piattaforma per imaging multimodale MRI/SPECT e MRI/PET. Nanoparticelle magnetiche sono state intrappolate in un polimero biocompatibile, e la superficie delle nanostrutture risultanti �� stata funzionalizzata con un agente chelante per radioisotopi.

Utilizzo del Software OpenStack per la realizzazione di Piattaforme "Cloud"

Il Cloud computing �� probabilmente l'argomento attualmente pi�� dibattuto nel mondo dell'Information and Communication Technology (ICT). La diffusione di questo nuovo modo di concepire l'erogazione di servizi IT, �� l'evoluzione di una serie di tecnologie che stanno rivoluzionando le modalit �� in cui le organizzazioni costruiscono le proprie infrastrutture informatiche. I vantaggi che derivano dall'utilizzo di infrastrutture di Cloud Computing sono ad esempio un maggiore controllo sui servizi, sulla struttura dei costi e sugli asset impiegati. I costi sono proporzionati all'eettivo uso dei servizi (pay-per-use), evitando dunque gli sprechi e rendendo pi�� efficiente il sistema di sourcing. Diverse aziende hanno gi�� cominciato a provare alcuni servizi cloud e molte altre stanno valutando l'inizio di un simile percorso. La prima organizzazione a fornire una piattaforma di cloud computing fu Amazon, grazie al suo Elastic Computer Cloud (EC2). Nel luglio del 2010 nasce OpenStack, un progetto open-source creato dalla fusione dei codici realizzati dall'agenzia governativa della Nasa[10] e dell'azienda statunitense di hosting Rackspace. Il software realizzato svolge le stesse funzioni di quello di Amazon, a differenza di questo, per��, �� stato rilasciato con licenza Apache, quindi nessuna restrizione di utilizzo e di implementazione. Oggi il progetto Openstack vanta di numerose aziende partner come Dell, HP, IBM, Cisco, e Microsoft. L'obiettivo del presente elaborato �� quello di comprendere ed analizzare il funzionamento del software OpenStack. Il fine principale �� quello di familiarizzare con i diversi componenti di cui �� costituito e di concepire come essi interagiscono fra loro, per poter costruire infrastrutture cloud del tipo Infrastructure as a service (IaaS). Il lettore si trover�� di fronte all'esposizione degli argomenti organizzati nei seguenti capitoli. Nel primo capitolo si introduce la definizione di cloud computing, trattandone le principali caratteristiche, si descrivono poi, i diversi modelli di servizio e di distribuzione, delineando vantaggi e svantaggi che ne derivano. Nel secondo capitolo due si parla di una delle tecnologie impiegate per la realizzazione di infrastrutture di cloud computing, la virtualizzazione. Vengono trattate le varie forme e tipologie di virtualizzazione. Nel terzo capitolo si analizza e descrive in dettaglio il funzionamento del progetto OpenStack. Per ogni componente del software, viene illustrata l'architettura, corredata di schemi, ed il relativo meccanismo. Il quarto capitolo rappresenta la parte relativa all'installazione del software e alla configurazione dello stesso. Inoltre si espongono alcuni test effettuati sulla macchina in cui �� stato installato il software. Infine nel quinto capitolo si trattano le conclusioni con le considerazioni sugli obiettivi raggiunti e sulle caratteristiche del software preso in esame.

Sistemi navigazionali multi sensore per il posizionamento in presenza di brevi periodi di GPS outage

Il posizionamento terrestre negli ultimi anni �� stato sempre pi�� facilitato dallo sviluppo delle tecniche satellitari, che permettono di localizzare un punto sulla superficie terrestre con precisioni superiori a quelle richieste per la pura navigazione, tramite la comunicazione tra ricevitore e satelliti. Per la disponibilit�� del sistema satellitare �� indispensabile l���intervisibilit�� ottica satellite - ricevitore, condizione che viene a mancare nel caso ad esempio di trekking sottobosco, a causa della copertura data da manto vegetale e chiome arboree che non permettono una corretta triangolazione geometrica satellitare. Rientrano nei sistemi navigazionali anche le piattaforme inerziali, sistemi che rilevano le accelerazioni impresse e l���orientamento della piattaforma stessa. Se montati su un veicolo possono fungere da ausilio alla determinazione dell��� ���attitude���, cio�� dell���atteggiamento del veicolo durante il suo movimento in uno spazio tridimensionale. In questo lavoro ci si propone di unire i benefici delle due tecnologie, satellitari e inerziali, grazie alla complementariet�� delle loro caratteristiche sugli errori, unendone le potenzialit�� e verificando i benefici prodotti dal loro uso integrato. In particolare si utilizzeranno dispositivi di costo relativamente contenuto.

XWiki Mobile: architetture collaborative per device mobili

Studio di una interfaccia mobile web per la piattaforma XWiki.

Sviluppo di un modulo VHDL per interfacciamento Ethernet-FPGA in applicazioni di high throughput screening

In molti settori della ricerca in campo biologico e biomedico si fa ricorso a tecniche di High Throughput Screening (HTS), tra cui studio dei canali ionici. In questo campo si studia la conduzione di ioni attraverso una membrana cellulare durante fenomeni che durano solo alcuni millisecondi. Allo scopo sono solitamente usati sensori e convertitori A/D ad elevata velocit�� insieme ad opportune interfacce di comunicazione, ad elevato bit-rate e latenza ridotta. In questa tesi viene descritta l'implementazione di un modulo VHDL per la trasmissione di dati digitali provenienti da un sistema HTS attraverso un controller di rete integrato dotato di un'interfaccia di tipo Ethernet, individuando le possibili ottimizzazioni specifiche per l'applicazione di interesse.

Towards model driven software development for Arduino platforms: a DSL and automatic code generation

La tesi ha lo scopo di esplorare la produzione di sistemi software per Embedded Systems mediante l'utilizzo di tecniche relative al mondo del Model Driven Software Development. La fase pi�� importante dello sviluppo sar�� la definizione di un Meta-Modello che caratterizza i concetti fondamentali relativi agli embedded systems. Tale modello cercher�� di astrarre dalla particolare piattaforma utilizzata ed individuare quali astrazioni caratterizzano il mondo degli embedded systems in generale. Tale meta-modello sar�� quindi di tipo platform-independent. Per la generazione automatica di codice �� stata adottata una piattaforma di riferimento, cio�� Arduino. Arduino �� un sistema embedded che si sta sempre pi�� affermando perch�� coniuga un buon livello di performance ed un prezzo relativamente basso. Tale piattaforma permette lo sviluppo di sistemi special purpose che utilizzano sensori ed attuatori di vario genere, facilmente connessi ai pin messi a disposizione. Il meta-modello definito �� un'istanza del meta-metamodello MOF, definito formalmente dall'organizzazione OMG. Questo permette allo sviluppatore di pensare ad un sistema sotto forma di modello, istanza del meta-modello definito. Un meta-modello pu�� essere considerato anche come la sintassi astratta di un linguaggio, quindi pu�� essere definito da un insieme di regole EBNF. La tecnologia utilizzata per la definizione del meta-modello �� stata Xtext: un framework che permette la scrittura di regole EBNF e che genera automaticamente il modello Ecore associato al meta-modello definito. Ecore �� l'implementazione di EMOF in ambiente Eclipse. Xtext genera inoltre dei plugin che permettono di avere un editor guidato dalla sintassi, definita nel meta-modello. La generazione automatica di codice �� stata realizzata usando il linguaggio Xtend2. Tale linguaggio permette di esplorare l'Abstract Syntax Tree generato dalla traduzione del modello in Ecore e di generare tutti i file di codice necessari. Il codice generato fornisce praticamente tutta la schematic part dell'applicazione, mentre lascia all'application designer lo sviluppo della business logic. Dopo la definizione del meta-modello di un sistema embedded, il livello di astrazione �� stato spostato pi�� in alto, andando verso la definizione della parte di meta-modello relativa all'interazione di un sistema embedded con altri sistemi. Ci si �� quindi spostati verso un ottica di Sistema, inteso come insieme di sistemi concentrati che interagiscono. Tale difinizione viene fatta dal punto di vista del sistema concentrato di cui si sta definendo il modello. Nella tesi viene inoltre introdotto un caso di studio che, anche se abbastanza semplice, fornisce un esempio ed un tutorial allo sviluppo di applicazioni mediante l'uso del meta-modello. Ci permette inoltre di notare come il compito dell'application designer diventi piuttosto semplice ed immediato, sempre se basato su una buona analisi del problema. I risultati ottenuti sono stati di buona qualit�� ed il meta-modello viene tradotto in codice che funziona correttamente.