Efficient parallel proximity queries and an application to highly complex motion planning problems with many narrow passages

In vielen Bereichen der industriellen Fertigung, wie zum Beispiel in der Automobilindustrie, wer- den digitale Versuchsmodelle (sog. digital mock-ups) eingesetzt, um die Entwicklung komplexer Maschinen m ̈oglichst gut durch Computersysteme unterstu ̈tzen zu k ̈onnen. Hierbei spielen Be- wegungsplanungsalgorithmen eine wichtige Rolle, um zu gew ̈ahrleisten, dass diese digitalen Pro- totypen auch kollisionsfrei zusammengesetzt werden k ̈onnen. In den letzten Jahrzehnten haben sich hier sampling-basierte Verfahren besonders bew ̈ahrt. Diese erzeugen eine große Anzahl von zuf ̈alligen Lagen fu ̈r das ein-/auszubauende Objekt und verwenden einen Kollisionserken- nungsmechanismus, um die einzelnen Lagen auf Gu ̈ltigkeit zu u ̈berpru ̈fen. Daher spielt die Kollisionserkennung eine wesentliche Rolle beim Design effizienter Bewegungsplanungsalgorith- men. Eine Schwierigkeit fu ̈r diese Klasse von Planern stellen sogenannte “narrow passages” dar, schmale Passagen also, die immer dort auftreten, wo die Bewegungsfreiheit der zu planenden Objekte stark eingeschr ̈ankt ist. An solchen Stellen kann es schwierig sein, eine ausreichende Anzahl von kollisionsfreien Samples zu finden. Es ist dann m ̈oglicherweise n ̈otig, ausgeklu ̈geltere Techniken einzusetzen, um eine gute Performance der Algorithmen zu erreichen.rnDie vorliegende Arbeit gliedert sich in zwei Teile: Im ersten Teil untersuchen wir parallele Kollisionserkennungsalgorithmen. Da wir auf eine Anwendung bei sampling-basierten Bewe- gungsplanern abzielen, w ̈ahlen wir hier eine Problemstellung, bei der wir stets die selben zwei Objekte, aber in einer großen Anzahl von unterschiedlichen Lagen auf Kollision testen. Wir im- plementieren und vergleichen verschiedene Verfahren, die auf Hu ̈llk ̈operhierarchien (BVHs) und hierarchische Grids als Beschleunigungsstrukturen zuru ̈ckgreifen. Alle beschriebenen Verfahren wurden auf mehreren CPU-Kernen parallelisiert. Daru ̈ber hinaus vergleichen wir verschiedene CUDA Kernels zur Durchfu ̈hrung BVH-basierter Kollisionstests auf der GPU. Neben einer un- terschiedlichen Verteilung der Arbeit auf die parallelen GPU Threads untersuchen wir hier die Auswirkung verschiedener Speicherzugriffsmuster auf die Performance der resultierenden Algo- rithmen. Weiter stellen wir eine Reihe von approximativen Kollisionstests vor, die auf den beschriebenen Verfahren basieren. Wenn eine geringere Genauigkeit der Tests tolerierbar ist, kann so eine weitere Verbesserung der Performance erzielt werden.rnIm zweiten Teil der Arbeit beschreiben wir einen von uns entworfenen parallelen, sampling- basierten Bewegungsplaner zur Behandlung hochkomplexer Probleme mit mehreren “narrow passages”. Das Verfahren arbeitet in zwei Phasen. Die grundlegende Idee ist hierbei, in der er- sten Planungsphase konzeptionell kleinere Fehler zuzulassen, um die Planungseffizienz zu erh ̈ohen und den resultierenden Pfad dann in einer zweiten Phase zu reparieren. Der hierzu in Phase I eingesetzte Planer basiert auf sogenannten Expansive Space Trees. Zus ̈atzlich haben wir den Planer mit einer Freidru ̈ckoperation ausgestattet, die es erlaubt, kleinere Kollisionen aufzul ̈osen und so die Effizienz in Bereichen mit eingeschr ̈ankter Bewegungsfreiheit zu erh ̈ohen. Optional erlaubt unsere Implementierung den Einsatz von approximativen Kollisionstests. Dies setzt die Genauigkeit der ersten Planungsphase weiter herab, fu ̈hrt aber auch zu einer weiteren Perfor- mancesteigerung. Die aus Phase I resultierenden Bewegungspfade sind dann unter Umst ̈anden nicht komplett kollisionsfrei. Um diese Pfade zu reparieren, haben wir einen neuartigen Pla- nungsalgorithmus entworfen, der lokal beschr ̈ankt auf eine kleine Umgebung um den bestehenden Pfad einen neuen, kollisionsfreien Bewegungspfad plant.rnWir haben den beschriebenen Algorithmus mit einer Klasse von neuen, schwierigen Metall- Puzzlen getestet, die zum Teil mehrere “narrow passages” aufweisen. Unseres Wissens nach ist eine Sammlung vergleichbar komplexer Benchmarks nicht ̈offentlich zug ̈anglich und wir fan- den auch keine Beschreibung von vergleichbar komplexen Benchmarks in der Motion-Planning Literatur.

Un target a basso costo per la produzione diretta di 99mTc mediante ciclotrone

In Medicina Nucleare è possibile ottenere immagini funzionali grazie all’iniezione nel paziente di un radiofarmaco. Quello più utilizzato nelle procedure diagnostiche di Medicina Nucleare è il 99mTc, un gamma emettitore con tempo di dimezzamento di circa sei ore. Attualmente, questo nuclide è prodotto attraverso generatori di 99Mo-99mTc, sfruttando il decadimento β- del 99Mo. Da diversi anni, però, si cerca in tutto il mondo una soluzione alternativa alla produzione di 99mTc, poiché il 99Mo si ottiene in reattori nucleari a partire dalla reazione di fissione del 235U, ma tali reattori sono stati quasi tutti costruiti più di cinquanta anni fa e necessitano continuamente di spegnimenti prolungati e riparazioni. L’alternativa più accreditata è quella relativa alla produzione diretta di 99mTc in ciclotrone attraverso l’irraggiamento di 100Mo con protoni. Il problema principale risiede nella scelta della forma chimica che contenga il 100Mo e del tipo di target da irraggiare. Quest’ultimo deve resistere ad alte correnti e a lunghi tempi di irraggiamento per ottenere quantità di 99mTc sufficienti a soddisfare almeno il fabbisogno del centro ospedaliero in cui è prodotto. Questo lavoro di tesi, svolto presso il Servizio di Fisica Sanitaria del Policlinico S.Orsola-Malpighi, è basato sulla realizzazione di un target a basso costo di triossido Molibdeno arricchito per la produzione diretta di 99mTc. Si sono inoltre valutate le impurezze e l’attività del nuclide di nostro interesse a seguito di irraggiamenti nel ciclotrone PETtrace.

Misura di Hausdorff e frattali

In questa tesi sono presentate la misura e la dimensione di Hausdorff, gli strumenti matematici che permettono di descrivere e analizzare alcune delle più importanti proprietà degli insiemi frattali. Inoltre viene introdotto il carattere di autosimilarità, comune a questi insiemi, e vengono mostrati alcuni tra i più noti esempi di frattali, come l'insieme di Cantor, la curva di Koch, l'insieme di Mandelbrot e gli insiemi di Julia. Di quest'ultimi sono presenti immagini ottenute tramite un codice Matlab.

Progettazione ed implementazione di un sistema di navigazione per dispositivi mobili in contesti ospedalieri.

Questa tesi descrive il processo di progettazione e di implementazione della versione dimostrativa di una piattaforma pensata per permettere ai frequentatori del Policlinico Sant'Orsola-Malpighi di Bologna di orientarsi con maggiore facilità. La piattaforma comprende funzionalità di ricerca per punto di interesse, navigazione su mappa e navigazione per immagini.

Integrazione di misure NMR e microscopiche per la descrizione quantitativa degli effetti di stress esterni su colture cellulari

La tesi si occupa dell’integrazione di misure NMR e microscopiche per la descrizione quantitativa degli effetti di stress esterni su colture cellulari. Una maggiore comprensione dei dati ricavati tramite NMR potrebbe consentire di interpretare la vitalità e funzionalità cellulare attraverso la localizzazione spaziale degli idrogeni. L'ipotesi di partenza è che la compartimentazione degli idrogeni (associati a molecole di acqua) nel citoplasma possa fornire una stima del numero di cellule vitali (e quindi in grado di mantenere l'acqua al proprio interno mediante processi attivi). I risultati NMR, prodotti dal gruppo di ricerca del Dipartimento di Fisica e Astronomia dell’Università di Bologna della Prof.ssa Fantazzini, sono stati comparati con le informazioni acquisite dal candidato tramite metodologie di conteggio cellulare (sia vive che morte) presenti in un campione sottoposto a forte e prolungato stress (assenza di terreno di coltura e di bilanciamento del sistema tampone tramite CO2 per 400 ore). Cellule da una linea di glioblastoma multiforme (T98G) mantenute in condizioni di coltura standard sono state preparate secondo lo stesso protocollo per entrambe le tecniche di indagine, e monitorate per intervalli di tempo paragonabili. Le immagini delle cellule ottenute al microscopio ottico in modalità “contrasto di fase” sono state acquisite e utilizzate per l’analisi. Una volta definito un metodo di conteggio sperimentale, è stato possibile dedurre il comportamento delle concentrazioni di cellule sopravvissute in funzione del tempo di campionamento. Da una serie ripetuta di esperimenti è stato caratterizzato un andamento nel tempo di tipo esponenziale decrescente per il numero di cellule vive, permettendo la stima della costante di decadimento in buon accordo tra i vari esperimenti. Un analogo modello esponenziale è stato utilizzato per la descrizione dell'aumento del numero di cellule morte. In questo caso, la difficoltà nell'individuare cellule morte integre (per la frammentazione delle membrane cellulari dopo la morte) ha contribuito a determinare una sistematica sottostima nei conteggi. Il confronto dei risultati NMR e microscopici indica che la diminuzione del numero di cellule vive corrisponde ad una analoga diminuzione degli H1 compartimentalizzati fino ad un tempo specifico di circa 50-60 ore in tutti gli esperimenti. Oltre questo tempo, i dati di NMR mostrano invece un incremento di H1 compartimentalizzati, quando invece il numero di cellule vive continua a diminuire in modo monotono. Per interpretare i risultati ottenuti, è stato quindi ipotizzato che, a partire da cellule morte frammentate, strutture micellari e liposomiali formate dai lipidi di membrana in soluzione possano intrappolare gli H1 liberi, aumentando il segnale di risposta della componente compartimentalizzata come evidenziato in NMR.

Un Laboratorio Virtuale distribuito per il test di applicazioni

In questo elaborato andremo a descrivere, sia a livello strutturale che implementativo, il progetto sperimentale da noi ideato volto alla creazione di un laboratorio virtuale di testing. Lo scopo principale del laboratorio è appunto quello di delocalizzare la fase preliminare di testing di un'applicazione; nel nostro caso specifico siamo partiti dallo scenario riguardante la rete ferroviaria ed abbiamo preso in esame il software utilizzato per la gestione del traffico. Il vincolo principale che grava su questo progetto è che l'applicazione da collaudare non deve minimamente essere modificata, e ciò significa che occorre creare intorno ad essa un ambiente di testing conforme alle caratteristiche in cui il software si aspetta di operare. Ed è qui che entra in gioco la virtualizzazione.

Nuovi modelli organizzativi: il caso Valve Corporation

La tesi espone il caso della Valve Corporation, una azienda produttrice e distributrice di Videogiochi. Questa azienda, leader nel suo settore, ha adottato una organizzazione di tipo "flat" ed ha ideato particolari e innovative soluzioni per la produzione dei suoi software. Ha inoltre sviluppato una piattaforma di distribuzione digitale per la vendita online di Videogiochi.

Kontinuierliche Kreuzkupplungsreaktionen in mikrostrukturierten Systemen

Im Rahmen dieser Arbeit wurden unterschiedliche Palladium-katalysierte Kreuzkupplungsreaktionen untersucht. Ein besonderes Augenmerk wurde dabei auf die Suzuki-Miyaura-Reaktion gelegt. Unter anderem aufgrund der langen Reaktionszeiten und der zweiphasigen Bedingungen ist diese Reaktionsklasse nur sehr schwer als kontinuierlicher Prozess zu etablieren. Vielen dieser Ansätze ist jedoch zu eigen, dass der große Vorteil der Mikroprozesstechnik, eine überlegene Kontrolle von Temperatur und Stofftransport, kaum ausgeschöpft wird. An diesem Punkt setzt diese Arbeit von technischer aus Seite an. Der zweite Schwerpunkt der Arbeit sind die prinzipiellen Untersuchungen an kontinuierlichen Flüssig-Flüssig-Zwei-Phasen-Reaktionen. Im Zuge des DBU-finanzierten Transkat-Projektes wurden hierbei anhand einfacher Veresterungsreaktionen grundlegende Kenntnisse zu Stofftransport, Grenzflächen und Phasentrennung innerhalb mikrostrukturierter Systeme gesammelt. Dank speziell angefertigter Glasmikroreaktoren von der Firma mikroglas chemtech GmbH war eine genaue optische und digitale Charakterisierung der Phasengrenzflächen möglich. Ein wichtiges Ergebnis war darüber hinaus, dass ionische Flüssigkeiten, als eigenständige Phasen verwendet, enorm zum Massentransfer und somit zur Reaktionsgeschwindigkeit beitragen können.

Città e architettura a Faenza nel Rinascimento. Progetti e strategie di rinnovamento urbano nell'età di Carlo II Manfredi (1468-77)

La tesi ha come oggetto il rinnovamento urbano che fu realizzato a Faenza per opera del suo signore Carlo II Manfredi tra il 1468 e il 1477, d’accordo con il fratello, il vescovo Federico. La prima opera realizzata da Carlo fu il portico a due livelli che dotò di una nuova facciata il suo palazzo di residenza, di origini medievali. Questa architettura sarebbe stata il preludio di un riordino generale della piazza principale della città, probabilmente allo scopo di ricreare un foro all’antica, come prescritto dai trattati di Vitruvio e di Alberti. L’aspetto originale del loggiato rinascimentale, desumibile da documentazione archivistica e iconografica, permette di attribuirlo con una certa probabilità a Giuliano da Maiano. Oltre alla piazza, Carlo riformò profondamente il tessuto urbano, demolendo molti portici lignei di origine medievale, rettificando le principali strade, completando la cerchia muraria. Federico Manfredi nel 1474 diede inizio alla fabbrica della Cattedrale, ricostruita dalle fondamenta su progetto dello stesso Giuliano da Maiano. L’architettura della chiesa ha uno stile largamente debitore all’architettura sacra di Brunelleschi, ma con significative differenze (come la navata definita da un’alternanza tra pilastri e colonne, o la copertura composta da volte a vela). L’abside della cattedrale, estranea al progetto maianesco, fu realizzata nel 1491-92 e mostra alcuni dettagli riconducibili alla coeva architettura di Bramante. A Faenza si realizza in un periodo di tempo brevissimo una profonda trasformazione del volto della città: loggiato, riforma della piazza, riordino delle strade, una nuova cattedrale, tutto contribuisce a dare lustro ai Manfredi e a fare di Faenza una città moderna e in cui si mettono in pratica, forse per la prima volta nell’Italia settentrionale, i dettami di Vitruvio e di Alberti.

Fattori prognostici in corso di malattia renale cronica (ckd) nel cane

Negli ultimi anni si è assistito ad un miglioramento della qualità di vita dei piccoli animali che, oltre ad aumentarne l'aspettativa di vita, ha determinato un aumento della frequenza di patologie associate all'età medio-avanzata, quali le patologie renali croniche. Il presente studio si fonda sulla necessità, sempre più sentita nella pratica clinica veterinaria, di poter fornire al proprietario del paziente affetto da CKD, una serie di parametri che, oltre a fungere da target terapeutico, possano aiutare a comprenderne la prognosi. Lo studio ha valutato una popolazione di cani affetti da CKD e ne ha seguito o ricostruito il follow-up, per tutto il periodo di sopravvivenza fino al momento dell’exitus. Di tali soggetti sono stati raccolti dati relativi ad anamnesi, esame clinico, misurazione della pressione arteriosa, diagnostica per immagini, esami ematochimici, analisi delle urine ed eventuale esame istologico renale. È stato possibile individuare alcuni importanti fattori prognostici per la sopravvivenza in pazienti con CKD. Oltre a fattori ben noti in letteratura, come ad esempio elevati valori di creatinina e fosforo, o la presenza di proteinuria, è stato possibile anche evidenziare il ruolo prognostico negativo di alcuni parametri meno noti, ed in particolare delle proteine di fase acuta positive e negative, e del rapporto albumina/globuline. Una possibile spiegazione del valore prognostico di tali parametri risiede nel ruolo prognostico negativo dell’infiammazione nel paziente con CKD: tale ruolo è stato suggerito e dimostrato nell’uomo e avrebbe alla base numerosi possibili meccanismi (sviluppo di anemia, complicazioni gastroenteriche, neoplasie, etc.), ma dati analoghi sono mancanti in medicina veterinaria. Una seconda possibile spiegazione risiede nel fatto che potenzialmente i livelli delle proteine di fase acuta possono essere influenzati dalla presenza di proteinuria nel paziente con CKD e di conseguenza potrebbero essere una conferma di come la proteinuria influenzi negativamente l'outcome.

Breve introduzione alla "literatura de cordel" brasiliana.

Questa tesi si pone l'obiettivo di presentare l'universo multicolore e sfaccettato della literatura de cordel brasiliana, particolare forma di poesia caratterizata da poemetti stampati in libretti di carta deperibile e posti in vendita appesi a sottili spaghi, chiamati cordeis in portoghese. L'esposto è strutturato in due parti: nella prima viene introdotto il fenomeno in termini generali, la sua storia, i temi affrontati dai poeti e le forme metriche più utilizzate. Nella seconda è presentata la figura del poeta Leandro Gomes de Barros, illustre rappresentante del genere, e proposta la traduzione del suo classico “O dinheiro” (Il denaro). Il testo, avendo un carattere fortemente divulgativo, è accessibile a tutti, e accompagna il lettore nella narrazione con un grande numero di immagini (raffiguranti le pittoresche copertine dei libricini di Cordel) ed esempi testuali tratti da testi originali, sia contemporanei che classici, che aiutano ad immergersi in questa particolare forma espressiva.

Proposta di traduzione di un capitolo del libro per bambini Le petit gus

L’origine di questo elaborato deriva dalla mia volontà di approcciarmi alla letteratura per l’infanzia e confrontarmi con un genere di traduzione mai affrontato prima d’ora. Ho suddiviso il mio lavoro in quattro capitoli. Nel primo capitolo presenterò brevemente la letteratura per l’infanzia e alcune soluzioni adottate nella traduzione di questo genere di opere. Procederò poi con la presentazione dell’autrice e dei suoi principali lavori, per poi concludere con un’introduzione del libro da me scelto e qualche riferimento a Le Petit Nicolas, il capolavoro al quale l’autrice Desmarteau si è ispirata. Nel secondo capitolo svolgerò un’analisi più approfondita del testo di partenza, soffermandomi in primo luogo sulle scelte lessicali adottate dall’autrice. In questa sezione esporrò le possibili difficoltà che a mio avviso si potrebbero riscontrare nella traduzione dei nomi propri, delle espressioni idiomatiche e dei riferimenti culturali . In seguito prenderò in esame il linguaggio giovanile e il ruolo delle immagini all’interno dell’opera. Nel terzo capitolo ho inserito il testo originale del capitolo che ho deciso di tradurre e la mia proposta di traduzione. Concludo infine con un commento generale della mia versione nel quale espongo alcune problematiche incontrate durante lo svolgimento del mio lavoro e le possibili soluzioni pensate.

Mappatura dell'impervious e consumo di suolo tramite analisi di change detection in telerilevamento

Il telerilevamento rappresenta un efficace strumento per il monitoraggio dell’ambiente e del territorio, grazie alla disponibilità di sensori che riprendono con cadenza temporale fissa porzioni della superficie terrestre. Le immagini multi/iperspettrali acquisite sono in grado di fornire informazioni per differenti campi di applicazione. In questo studio è stato affrontato il tema del consumo di suolo che rappresenta un’importante sfida per una corretta gestione del territorio, poiché direttamente connesso con i fenomeni del runoff urbano, della frammentazione ecosistemica e con la sottrazione di importanti territori agricoli. Ancora non esiste una definizione unica, ed anche una metodologia di misura, del consumo di suolo; in questo studio è stato definito come tale quello che provoca impermeabilizzazione del terreno. L’area scelta è quella della Provincia di Bologna che si estende per 3.702 km2 ed è caratterizzata a nord dalla Pianura Padana e a sud dalla catena appenninica; secondo i dati forniti dall’ISTAT, nel periodo 2001-2011 è stata la quarta provincia in Italia con più consumo di suolo. Tramite classificazione pixel-based è stata fatta una mappatura del fenomeno per cinque immagini Landsat. Anche se a media risoluzione, e quindi non in grado di mappare tutti i dettagli, esse sono particolarmente idonee per aree estese come quella scelta ed inoltre garantiscono una più ampia copertura temporale. Il periodo considerato va dal 1987 al 2013 e, tramite procedure di change detection applicate alle mappe prodotte, si è cercato di quantificare il fenomeno, confrontarlo con i dati esistenti e analizzare la sua distribuzione spaziale.

Miglioramento delle performance termiche e energetiche degli edifici rurali: valutazione del retrofit di locali per la conservazione del vino su casi studio

Il presente studio si colloca all’interno di una ricerca più ampia volta alla definizione di criteri progettuali finalizzati all’ottimizzazione delle prestazioni energetiche delle cantine di aziende vitivinicole, di dimensioni produttive medio - piccole. Nello specifico la ricerca riguarda la riqualificazione di fabbricati rurali esistenti di modeste dimensioni, da convertire a magazzini per la conservazione del vino in bottiglia. Lo studio si pone come obiettivo la definizione di criteri di analisi per la valutazione di interventi di retrofit di tali fabbricati, volto sia al miglioramento delle prestazioni energetiche dell’involucro edilizio, sia alla riduzione del fabbisogno energetico legato al funzionamento di eventuali impianti di controllo termico. La ricerca è stata condotta mediante l’utilizzo del software di simulazione termica Energy Plus, per ottenere i valori simulati di temperatura interna relativi ai diversi scenari migliorativi ipotizzati, e mediante la successiva definizione di indicatori che esplicitino l’influenza delle principali variabili progettuali sull’andamento delle temperature interne dei locali di conservazione e sul fabbisogno energetico del fabbricato necessario a garantire l’intervallo di temperatura di comfort del vino. Tra tutti gli interventi possibili per il miglioramento della prestazione energetica degli edifici, quelli analizzati in questo studio prevedono l’aggiunta di un isolamento a cappotto delle pareti esterne, l’isolamento della copertura e l’aggiunta di una struttura ombreggiante vegetale esterna. I risultati ottenuti danno una prima indicazione sugli interventi più efficaci in termini di miglioramento energetico e mettono in luce l’utilità del criterio proposto nell’evidenziare le criticità degli interventi migliorativi ipotizzati. Il metodo definito nella presente ricerca risulta quindi un valido strumento di valutazione a supporto della progettazione degli interventi di retrofit dei fabbricati rurali da convertire a magazzini per la conservazione del vino.

Effetti audio digitali lineari per strumenti elettrici a corda

L’obbiettivo di questa tesi è quello di studiare le tecnologie e i metodi necessari alla simulazione degli effetti audio lineari, normalmente utilizzati per strumenti a corda elettrici, ed implementarla sullo smartphone. I vantaggi di questa idea sono evidenti nella versatilità e nella comodità di utilizzo, rispetto ai classici dispositivi impiegati dai musicisti (come gli effetti a pedali). Per fare ciò è necessaria la conoscenza delle tecniche di rappresentazione digitale di un segnale, come la trasformata di Fourier, il processo di campionamento e la trasformata Z, esposte nel Capitolo 1. Il Capitolo 2 continua l’introduzione trattando dei metodi utilizzati per creare effetti audio lineari tramite lo studio dei filtri FIR e IIR. Nel capitolo 3 sarà disponibile una classificazione degli effetti più utilizzati, seguiti dal procedimento di sviluppo di due sistemi: un equalizzatore a 10 bande e un delay, che saranno implementati nello smartphone. L’ultimo Capitolo, il quarto, spiega come è sviluppato il progetto, perché iOS è l’unico sistema operativo che permetta di farlo, ed indica le principali classi che necessitano di essere utilizzate.