On the Design of a Boolean-network Robot Swarm: Collective Recognition of Ground Patterns.

Uno dei principali ambiti di ricerca dell’intelligenza artificiale concerne la realizzazione di agenti (in particolare, robot) in grado di aiutare o sostituire l’uomo nell’esecuzione di determinate attività. A tal fine, è possibile procedere seguendo due diversi metodi di progettazione: la progettazione manuale e la progettazione automatica. Quest’ultima può essere preferita alla prima nei contesti in cui occorra tenere in considerazione requisiti quali flessibilità e adattamento, spesso essenziali per lo svolgimento di compiti non banali in contesti reali. La progettazione automatica prende in considerazione un modello col quale rappresentare il comportamento dell’agente e una tecnica di ricerca (oppure di apprendimento) che iterativamente modifica il modello al fine di renderlo il più adatto possibile al compito in esame. In questo lavoro, il modello utilizzato per la rappresentazione del comportamento del robot è una rete booleana (Boolean network o Kauffman network). La scelta di tale modello deriva dal fatto che possiede una semplice struttura che rende agevolmente studiabili le dinamiche tuttavia complesse che si manifestano al suo interno. Inoltre, la letteratura recente mostra che i modelli a rete, quali ad esempio le reti neuronali artificiali, si sono dimostrati efficaci nella programmazione di robot. La metodologia per l’evoluzione di tale modello riguarda l’uso di tecniche di ricerca meta-euristiche in grado di trovare buone soluzioni in tempi contenuti, nonostante i grandi spazi di ricerca. Lavori precedenti hanno gia dimostrato l’applicabilità e investigato la metodologia su un singolo robot. Lo scopo di questo lavoro è quello di fornire prova di principio relativa a un insieme di robot, aprendo nuove strade per la progettazione in swarm robotics. In questo scenario, semplici agenti autonomi, interagendo fra loro, portano all’emergere di un comportamento coordinato adempiendo a task impossibili per la singola unità. Questo lavoro fornisce utili ed interessanti opportunità anche per lo studio delle interazioni fra reti booleane. Infatti, ogni robot è controllato da una rete booleana che determina l’output in funzione della propria configurazione interna ma anche dagli input ricevuti dai robot vicini. In questo lavoro definiamo un task in cui lo swarm deve discriminare due diversi pattern sul pavimento dell’arena utilizzando solo informazioni scambiate localmente. Dopo una prima serie di esperimenti preliminari che hanno permesso di identificare i parametri e il migliore algoritmo di ricerca, abbiamo semplificato l’istanza del problema per meglio investigare i criteri che possono influire sulle prestazioni. E’ stata così identificata una particolare combinazione di informazione che, scambiata localmente fra robot, porta al miglioramento delle prestazioni. L’ipotesi è stata confermata applicando successivamente questo risultato ad un’istanza più difficile del problema. Il lavoro si conclude suggerendo nuovi strumenti per lo studio dei fenomeni emergenti in contesti in cui le reti booleane interagiscono fra loro.

Il blocco urbano: una parte di città nella Friedrichstadt a Berlino

La tesi consiste nella progettazione di un blocco urbano nella Friedrichstadt nella città di Berlino. Il progetto cerca una soluzione al i problemi strutturali della città causati dagli interventi realizzati durante la DDR. Si cerca di instaurare un dialogo tra il complesso socialista e la struttura della città storica.

Archeologia, paesaggio, architettura: il museo archeologico di Verucchio

Progetto per un museo archeologico a Verucchio. Inserimento dell'edificio nel contesto territoriale e paesaggistico attraverso la progettazione di un vasto parco che si apre verso la Valmarecchia.

Supporting semantic web technologies in the pervasive service ecosystems middleware

Semantic Web technologies are strategic in order to fulfill the openness requirement of Self-Aware Pervasive Service Ecosystems. In fact they provide agents with the ability to cope with distributed data, using RDF to represent information, ontologies to describe relations between concepts from any domain (e.g. equivalence, specialization/extension, and so on) and reasoners to extract implicit knowledge. The aim of this thesis is to study these technologies and design an extension of a pervasive service ecosystems middleware capable of exploiting semantic power, and deepening performance implications.

Politiofeni regioregolari funzionalizzati per applicazioni fotovoltaiche

Studi preliminari condotti dal gruppo di ricerca presso il quale ho svolto il mio lavoro di tesi, avevano dimostrato che il poli[3-(6-bromoesil)tiofene] non regioregolare funzionalizzato con idrossifenilporfirina [TPPOH] può essere utilizzato con successo per la realizzazione di celle fotovoltaiche. Il presente lavoro di tesi di laurea magistrale è stato quindi incentrato sulla sintesi e caratterizzazione di un campione di poli[3-(6-bromoesil)tiofene] [PT6Br] ad elevata regioregolarità e sulla sua successiva funzionalizzazione con diverse percentuali di 5-(4-idrossifenil)-10,15,20-trifenilporfirina [TPPOH] per ottenere i copolimeri poli[3-(6-bromoesil)tiofene-co-(3-[5-(4-fenossi)-10,15,20-trifenilporfinil]esiltiofene)] [P(T6Br-co-T6TPP)], anch’essi con elevata percentuale di concatenamenti testa-coda, al fine di valutare se la regioregolarità del polimero sia in grado di migliorare l’efficienza fotovoltaica. Il campione che ha fornito i risultati migliori è stato poi ulteriormente testato eseguendo prove su celle trattate termicamente per tempi diversi, in modo tale da verificare come la durata del riscaldamento, che incide sull’organizzazione strutturale del materiale, influisca sulle prestazioni ottenibili dalla cella stessa. I prodotti polimerici sintetizzati sono stati caratterizzati mediante tecniche spettroscopiche (NMR, FT-IR, UV-Vis), ne sono determinate le proprietà termiche ed i pesi molecolari medi e la relativa distribuzione, mediante cromatografia a permeazione su gel (GPC). Le prestazioni delle celle fotovoltaiche realizzate utilizzando i copolimeri prodotti sono state misurate tramite un multimetro Keithley ed un Solar Simulator, che permette di riprodurre l’intero spettro della radiazione solare.

Studio reologico avanzato di bitumi modificati ed additivati:proposta di una nuova procedura di aging

Le problematiche ambientali e socio – economiche legate alla costruzione di nuove infrastrutture viarie, impongono la progettazione e costruzione di strade che combinino ad elevati standard prestazionali, la riduzione dell’impatto ambientale in fase realizzativa e manutentiva. Quanto detto avvalora il crescente utilizzo di materiali bituminosi modificati con polimeri ed additivati con cere. I primi conferiscono alla miscela maggiore elastoplasticità, incrementandone la durabilità e la resistenza a fatica. Nei secondi la presenza del materiale paraffinico contribuisce a ridurre la viscosità del bitume, il che consente il notevole abbassamento della temperatura di produzione e stesa della miscela. Numerosi studi inoltre hanno dimostrato che le caratteristiche meccaniche della pavimentazione sono fortemente influenzate dal grado di ossidazione delle componenti organiche del bitume, ovvero dal fenomeno dell’invecchiamento o aging. Risulta pertanto fondamentale affiancare allo studio reologico del bitume, prove di simulazione dell’ invecchiamento nel breve e lungo termine. Nel corso della seguente ricerca si provvederà pertanto ad analizzare leganti modificati ed additivati secondo la teoria della viscoelasticità, simulando le reali condizioni di carico ed invecchiamento alle quali il bitume è sottoposto. Tutte le prove di caratterizzazione reologica avanzata prevederanno l’utilizzo del DSR (Dynamic Shear Rheometer) in varie configurazioni di prova e si simulerà l’invecchiamento a breve termine mediante RTFOT (Rolling thin film oven test). Si proporrà inoltre una nuova procedura di aging invecchiando il bitume alla temperatura di equiviscosità o Twork , ovvero a quel valore della temperatura tale per cui, in fase di messa in opera, si avrà una distribuzione molecolare omogenea del modificante all’interno del bitume. Verranno quindi effettuate ulteriori prove reologiche sui leganti invecchiati a tale temperatura. Si darà infine supporto ai risultati della ricerca effettuando prove chimiche con la tecnica analitica FTIR (Fourier Transform Infrared Spectroscopy), analizzando i cambiamenti molecolari avvenuti nel bitume a seguito dell’aggiunta del modificante e dell’invecchiamento.

Progetto e realizzazione di riferimenti in tensione simmetrici in tecnologia CMOS

La tesi tratta del progetto e della realizzazione di un riferimento in tensione simmetrico e stabile in temperatura, realizzato in tecnologia CMOS. Nella progettazione analogica ad alta precisione ha assunto sempre più importanza il problema della realizzazione di riferimenti in tensione stabili in temperatura. Nella maggior parte dei casi vengono presentati Bandgap, ovvero riferimenti in tensione che sfruttano l'andamento in temperatura dell'energy gap del silicio al fine di ottenere una tensione costante in un ampio range di temperatura. Tale architettura risulta utile nei sistemi ad alimentazione singola compresa fra 0 e Vdd essendo in grado di generare una singola tensione di riferimento del valore tipico di 1.2V. Nella tesi viene presentato un riferimento in tensione in grado di offrire le stesse prestazioni di un Bandgap per quanto riguarda la variazione in temperatura ma in grado di lavorare sia in sistemi ad alimentazione singola che ad alimentazione duale. Il circuito proposto e' in grado di generare due tensioni, simmetriche rispetto a un riferimento dato, del valore nominale di ±450mV. All'interno della tesi viene descritto il progetto di due diverse architetture, entrambe in grado di generare le tensioni con le specifiche richieste. Le due architetture sono poi state confrontate analizzando in particolare la stabilità in temperatura, la potenza dissipata, il PSRR (Power Supply Rejection Ratio) e la simmetria delle tensioni generate. Al termine dell'analisi è stato poi implementato su silicio il circuito che garantiva le prestazioni migliori. In sede di disegno del layout su silicio sono stati affrontati i problemi derivanti dall'adattamento dei componenti al fine di ottenere una maggiore insensibilità del circuito stesso alle incertezze legate al processo di realizzazione. Infine sono state effettuate le misurazioni attraverso una probe station a 4 sonde per verificare il corretto funzionamento del circuito e le sue prestazioni.

Sintesi e caratterizzazione di nanoparticelle bimetalliche Pd/Au E Pd/Cu

I nanomateriali presentano proprietà molto differenti dai corrispondenti materiali bulk; per questo motivo, negli ultimi anni, se ne è sempre più diffuso l’utilizzo. In particolare, recentemente ha suscitato grande interesse l’impiego di nanoparticelle bimetalliche, le cui proprietà ottiche, morfologiche e dimensionali possono essere modulate sulla base della composizione. L’interesse del mondo industriale allo studio di materiali con dimensioni nano-metriche deriva principalmente dalle loro possibili applicazioni su grande scala ed è quindi di fondamentale importanza la messa a punto di metodologie di sintesi versatili, facilmente scalabili ed a basso impatto ambientale. L’ottimizzazione della sintesi è un aspetto molto importante in quanto deve assicurare un accurato controllo di forma, dimensioni e composizione. A tale scopo è stata sviluppata una sintesi a basso impatto ambientale, in acqua, basata sull’azione riducente del sistema glucosio – NaOH, che permette di ottenere nanoparticelle stabili e con dimensioni omogenee. Nel corso dello studio il riscaldamento è stato effettuato mediante un sistema a microonde: una tecnologia affidabile e sicura che permette un riscaldamento rapido ed omogeneo. La tesi ha come scopo:• l’ottimizzazione e la caratterizzazione di nanosospensioni monometalliche di Pd mediante la sintesi già ottimizzata in lavori precedenti per i metalli: Au, Ag e Cu; •lo studio di sistemi bimetallici Pd/Cu e Pd/Au con morfologia di lega, ottenuti per co-riduzione dei sali precursori; •lo studio dell’attività catalitica delle nanoparticelle sintetizzate nella reazione di riduzione del 4-nitrofenolo a 4-amminofenolo mediante NaBH4; •lo studio della supportazione su carbone di Pd/Au per applicazioni elettrocatalitiche. Per poter studiare e valutare l’eventuale presenza di effetti sinergici tra i metalli coinvolti nella sintesi sono stati confrontati sistemi monometallici con sistemi bimetallici a differenti composizioni (Pd/Cu e Pd/Au). In particolare è stato possibile apprezzare un miglioramento delle prestazioni catalitiche per i sistemi bimetallici Pd/Au rispetto ai metalli di partenza, al contrario i sistemi bimetallici Pd/Cu mostrano un peggioramento dell’attività catalitica all’aumentare del contenuto di rame. La nanosospensione Pd/Au risultata con le maggiori prestazioni catalitiche, è stata supportata su carbone per applicazioni nel campo dell’elettrocatalisi. Da uno studio preliminare sulle tecniche di supportazione è emerso che il metodo migliore per depositare le nanoparticelle sul carbone è l’impregnazione fisica.

Progetto e modellazione CAD di micro turbine eoliche

Progetto di due turbine eoliche di piccola potenza per alimentare utenze remote. Sia la turbina ad asse verticale che quella ad asse orizzontale sono state dimensionate andando ad ottimizzare il funzionamento per un vento di 7.5 m/s ed un carico dato da un alternatore da 500W. Entrambe le turbine sono poi state modellate al CAD e sono stati realizzati i disegni costruttivi di alcuni elementi delle stesse.

Modellazione CAD e studio di motorizzazione dell'aliante SG-38

Modellazione al CAD di un aliante sviluppato in Germania nei primi decenni dello scorso secolo e studio preliminare di fattibilità della motorizzazione del velivolo.

Evoluzione dei Modelli e delle Tecnologie per il Web: DART e HTML5 come caso di studio

Nell’ultimo decenno si è assisitito ad una frenetica evoluzione delle tecnologie di connessione e trasferimento dati, dagli impianti di fibra ottica sempre più diffusi e performanti, alle varie tecnologie mobile UMTS e LTE. Tutto ciò ha permesso a sempre più persone di poter spendere una maggiore fetta del proprio tempo sulla rete sia per svago che per lavoro. Questo ha portato col tempo l’utente interattivo alla ricerca di servizi remoti che prima usufruiva in locale, sia per motivi di portabilità e di interconnessione, sia per una semplice questione di sincronizzazione fra i vari dispositivi posseduti. Il presente progetto di tesi si pone come obiettivo di indagare con occhio ingegneristico all’evoluzione della struttura del web fino ad identificare e analizzare l’attuale necessità di poter avere in rete tutti quei servizi anche completi e strutturalmente complessi che prima si aveva sul proprio desktop; tutto ciò attraverso l’esempio di un nuovo linguaggio di sviluppo per applicazioni web strutturate proposto da Google: DART. In questa analisi non si potrà prescindere dallo studio attento della tecnologia che sin dagli inizi della rete ha fatto da struttura al web ovvero l’Html e il suo ultimo standard Hmtl5. Nella prima parte verrà mostrata, attraverso un breve percorso, la nascita e lo sviluppo del web, sino ai giorni nostri. Si effettuerà quindi una panoramica, rivisitando tutti più importanti passi che hanno portato la rete internet ad essere ciò che oggi utilizziamo, ponendo una particolare attenzione alle attuali esigenze di progettazione della struttura dei servizi web. Nel secondo capitolo viene introdotta la tecnologia a base del web, l’Html; attraverso una breve analisi dell’evoluzione di quest’ultima si arriverà sino all’attuale HTML5 e alle funzionalità offerte nell’ottica della programmazione web strutturata. Nel terzo capitolo si analizzerà in maniera più approfondita la necessità di un web strutturato e le potenzialità del progetto Dart attraverso alcuni esempi esplicativi. Infine si trarranno alcune conclusioni sull’attuale situazione del web, sulla necessità di un web strutturato e sulla possibilità di riuscita del progetto Dart.

Migration strategies from IPv4 to IPv6 in a complex service provider environment

Progettazione ed implementazione di una strategia di migrazione da IPv4 a IPv6 in una realtà complessa come quella del consorzio interuniversitario CINECA. Sono stati presi in considerazione sia i livelli di rete e trasporto, sia il livello applicativo, cercando di fornire una visione completa delle problematiche incontrate. La strategia di migrazione scelta comprende le scelte tecniche fino ad ora implementate dal CINECA e i successivi passi che verranno intrapresi in futuro.

Identity Provider Shibboleth per il servizio di federazione e Single Sign-On di Ateneo

L’università di Bologna, da sempre attenta alle nuove tecnologie e all’innovazione, si è dotata nel 2010 di un Identity Provider (IDP), ovvero un servizio per la verifica dell’identità degli utenti dell’organizzazione tramite username e password in grado di sollevare le applicazioni web (anche esterne all’organizzazione) dall’onere di verificare direttamente le credenziali dell’utente delegando totalmente la responsabilità sul controllo dell’identità digitale all’IDP. La soluzione adottata (Microsoft ADFS) si è dimostrata generalmente semplice da configurare e da gestire, ma ha presentato problemi di integrazione con le principali federazioni di identità regionali e italiane (FedERa e IDEM) a causa di una incompatibilità con il protocollo SAML 1.1, ancora utilizzato da alcuni dei servizi federati. Per risolvere tale incompatibilità il "CeSIA – Area Sistemi Informativi e Applicazioni" dell’Università di Bologna ha deciso di dotarsi di un Identity Provider Shibboleth, alternativa open source ad ADFS che presenta funzionalità equivalenti ed è in grado di gestire tutte le versioni del protocollo SAML (attualmente rilasciato fino alla versione 2.0). Il mio compito è stato quello di analizzare, installare, configurare e integrare con le federazioni IDEM e FedERa un’infrastruttura basata sull’IDP Shibboleth prima in test poi in produzione, con la collaborazione dei colleghi che in precedenza si erano occupati della gestione della soluzione Microsoft ADFS. Il lavoro che ho svolto è stato suddiviso in quattro fasi: - Analisi della situazione esistente - Progettazione della soluzione - Installazione e configurazione di un Identity Provider in ambiente di test - Deploy dell’Identity Provider in ambiente di produzione