Stato dell'arte della progettazione automatica di programmi per robot

La comprensione delle proprietà e delle meccaniche di funzionamento dei sistemi complessi e dinamici che ci circondano è uno degli obiettivi principali delle discipline ingegneristiche e scientifiche. Lo sviluppo nel campo dell'Intelligenza Artificiale ha permesso la creazione di entità robotiche sempre più intelligenti, in grado di manifestare comportamenti notevoli e di raggiungere gli obiettivi prefissati: la progettazione di software di controllo ha velocemente ricevuto una crescente responsabilità. Questo elaborato si propone di inquadrare in generale la situazione della progettazione di software di controllo robotici, focalizzandosi in particolare sulle tecniche di progettazione automatica di programmi per robot: dopo aver inquadrato il background su cui si basa la progettazione automatica ed aver mostrato una panoramica dei principali metodi di progettazione diretta, vengono elencate e spiegate le tecniche più utilizzate ed interessanti della progettazione automatica di programmi per robot.

"Bombe d'acqua" ed eventi estremi: integrazione di metodi tradizionali con tecniche GIS in un piccolo bacino pedecollinare.

I cambiamenti climatici stanno sempre più influenzando l’assetto territoriale ed ambientale della nostra società. Questo fatto si evince da eventi che riescono a sconvolgere le opere atte alla loro mitigazione; tali sistemi vengono progettati tenendo conto delle competenze acquisite in campo teorico e archivistico, ovvero la serie dei dati storici sui quali costruire dei modelli probabilistici che permettano di determinare il massimo grado di intensità che l'evento di interesse potrà generare. Questi database, però, conseguentemente ai cambiamenti ambientali cui stiamo avendo testimonianza diretta, risultano essere sempre meno affidabili allo scopo di impostare questi studi di tendenza. Esempio di quanto detto sono le alluvioni, generate da eventi meteorologici fuori dall'ordinario: queste situazioni, sempre più frequenti sul nostro territorio, oltre che subire l'influsso dei cambiamenti climatici, trovano un substrato favorevole nel quale attecchire, dovuto dall'alto grado di antropizzazione del territorio. In questo ambito, rientrano quegli eventi che i media chiamano "bombe d'acqua", le quali scaricano su un piccolo territorio una massiccia quantità di acque di precipitazione in un arco di tempo estremamente limitato. L'effetto principale è quello di mettere in crisi la rete idrologica della zona colpita, la quale non è stata progettata per sopportare eventi di tale magnitudo. Gli effetti avversi sul territorio possono essere importanti e vantano una vasta gamma di effetti. Inondazioni ed allagamenti in primis, poi i conseguenti da danni economici, ma anche smottamenti o colate di fango ed il collasso dei sistemi fognari. In questo lavoro di tesi, queste problematiche saranno trattate col fine ultimo di valutare delle soglie di precipitazioni, tali per cui, in caso di eventi meteorologici fuori dall’ordinario, sarà possibile allertare la popolazione localizzata nella zona soggetta a rischio idro-geologico. Questa analisi è stata condotta grazie ai dati reperiti per un piccolo bacino pedecollinare del Comune di Rimini.

Analisi del ciclo di vita applicato alla produzione dell'anidride maleica mediante vie alternative di sintesi industriale

Nel campo dell’industria chimica la ricerca si è mossa in direzione di rendere i processi più sostenibili. Ciò viene effettuato considerando le linee guida della green chemistry. In questo contesto si colloca la metodologia LCA che valuta l’impatto ambientale associato ad un processo o un prodotto, comprendendo tutto il suo ciclo di vita. Nel presente lavoro di tesi si studia l’applicazione della LCA alla sintesi industriale di anidride maleica (AM), che viene ottenuta tramite reazione di ossidazione del benzene o dell’n-butano. Nello studio si sono modellate tre diverse vie di sintesi dell’AM considerando il processo di produzione che parte da benzene e il processo di produzione da butano con due diversi tipi di reattore: il letto fisso e il letto fluido (processo ALMA). Negli scenari si considerano le fasi di produzione dei reagenti e si è modellata la fase della reazione di ossidazione e l’incenerimento dei sottoprodotti e del reagente non convertito. Confrontando i tre processi, emerge che al processo che parte da benzene sono associati gli impatti globali maggiori mentre il processo ALMA ha un minore carico ambientale. Il processo da benzene risulta avere maggiori impatti per le categorie Cambiamento climatico, Formazione di particolato e Consumo dei metalli. Il processo da butano a tecnologia a letto fisso presenta invece maggiori impatti per le categorie Tossicità umana e Consumo di combustibili fossili, dovuti alla maggiore richiesta energetica effettuata dal processo di ossidazione del butano con tecnologia a letto fisso e alla richiesta di combustibile ausiliario per la fase di incenerimento. Tale risultato emerge anche dall’analisi effettuata con il Cumulative Energy Demand. Al processo ALMA sono associati gli impatti inferiori in assoluto, nonostante abbia una resa inferiore al processo che utilizza il letto fisso. I risultati dell’analisi LCA sono stati confermati dall’analisi delle incertezze, realizzata con il metodo statistico Monte Carlo.

Studio e ottimizzazione per un sistema di sovralimentazione di un motore Wankel per alte quote

Tramite GT-POWER è stato simulato il comportamento di un motore Wankel per UAV. Dopo avere realizzato il modello del motore aspirato si sono svolte le prime simulazioni e si è individuato il turbocompressore più adatto. Completato il modello con turbocompressore si sono svolte altre simulazioni individuando la quota di ristabilimento (critical altitude) alle condizioni ISA+0, ISA+25 e ISA-50. Infine si è calcolata la potenza erogata dal motore sovralimentato alla quota di 10000 metri s.l.m.

Migrazione concorrente di macchine virtuali su piattaforme open source

Questa tesi si pone l’obiettivo di effettuare un’analisi aggiornata sulla recente evoluzione del Cloud Computing e dei nuovi modelli architetturali a sostegno della continua crescita di richiesta di risorse di computazione, di storage e di rete all'interno dei data center, per poi dedicarsi ad una fase sperimentale di migrazioni live singole e concorrenti di macchine virtuali, studiandone le prestazioni a livello di risorse applicative e di rete all’interno della piattaforma open source di virtualizzazione QEMU-KVM, oggi alla base di sistemi cloud-based come Openstack. Nel primo capitolo, viene effettuato uno studio dello stato dell’arte del Cloud Computing, dei suoi attuali limiti e delle prospettive offerte da un modello di Cloud Federation nel futuro immediato. Nel secondo capitolo vengono discusse nel dettaglio le tecniche di live migration, di recente riferimento per la comunità scientifica internazionale e le possibili ottimizzazioni in scenari inter e intra data center, con l’intento di definire la base teorica per lo studio approfondito dell’implementazione effettiva del processo di migrazione su piattaforma QEMU-KVM, che viene affrontato nel terzo capitolo. In particolare, in quest’ultimo sono descritti i principi architetturali e di funzionamento dell'hypervisor e viene definito il modello di progettazione e l’algoritmo alla base del processo di migrazione. Nel quarto capitolo, infine, si presenta il lavoro svolto, le scelte configurative e progettuali per la creazione di un ambiente di testbed adatto allo studio di sessioni di live migration concorrenti e vengono discussi i risultati delle misure di performance e del comportamento del sistema, tramite le sperimentazioni effettuate.

Analisi della efficienza energetica di una villetta monofamiliare alla luce delle recenti normative tecniche

Nel documento si studia un edificio allo scopo di determinarne il comportamento energetico e di indagarne possibili soluzioni migliorative.

Modellazione avanzata di un incendio in uno stabilimento industriale secondo i principi della fire safety engineering

Lo sviluppo di un incendio all’interno di depositi di liquidi infiammabili costituisce uno scenario particolarmente critico a causa della rilevanza delle conseguenze che ne possono scaturire. L’incendio causato dalla formazione di grandi pozze sviluppatesi a seguito di forature dei contenitori e il rapido coinvolgimento di tutto lo stoccaggio rappresentano uno scenario di incendio tipico di queste realtà. Si ha quindi la necessità di adottare provvedimenti atti a garantire specifici obiettivi di sicurezza tramite l’introduzione di misure antincendio. La prevenzione incendi, sino al 2007, era basata esclusivamente su norme di tipo prescrittivo, in base alle quali si definivano le misure di sicurezza secondo un criterio qualitativo. Successivamente l’ingegneria antincendio si è sempre più caratterizzata da approcci basati su analisi di tipo prestazionale, in grado di dimostrare il raggiungimento dell’obiettivo di sicurezza sulla base del comportamento reale d’incendio ottenuto mediante un’accurata simulazione del fuoco che ragionevolmente può prodursi nell'attività. La modellazione degli incendi è divenuta possibile grazie allo sviluppo di codici di fluidodinamica computazionale (CFD), in grado di descrivere accuratamente l’evoluzione delle fiamme. Il presente studio si inserisce proprio nell’ambito della modellazione CFD degli incendi, eseguita mediante il software Fire Dynamics Simulator (FDS). L’obiettivo dell’elaborato è studiare l’azione dell’impianto di spegnimento a schiuma sullo sviluppo di un incendio di pozza in un deposito di liquidi infiammabili, in termini di riduzione della potenza termica rilasciata dal fuoco, al fine di determinare le temperature massime raggiunte, in corrispondenza delle quali valutare il comportamento di resistenza strutturale degli edifici. Il presente lavoro è articolato in 6 capitoli. Dopo il Capitolo 1, avente carattere introduttivo, vengono richiamati nel Capitolo 2 i principali concetti della chimica e fisica degli incendi. Nel Capitolo 3 vengono esaminate le normative intese ad unificare l’approccio ingegneristico alla sicurezza antincendio. Il Capitolo 4 fornisce una dettagliata descrizione del software di calcolo, FDS - Fire Dynamics Simulator, adoperato per la modellazione dell’incendio. Nel Capitolo 5 si procede alla progettazione prestazionale che conduce alla determinazione della curva naturale d'incendio in presenza degli impianti di spegnimento automatici. Infine nel Capitolo 6 si riportano le considerazioni conclusive.

Studio di un azionamento brushless di tipo predittivo per la trazione in un veicolo elettrico ibrido

Nel campo dell’automotive, negli ultimi anni, gli sviluppi sono stati consistenti: infatti sono state introdotte sul mercato molte novità, tra le quali vetture con propulsione elettrica o ibrida. Il controllo del motore termico durante il moto è studiato da moltissimi anni, mentre il controllo di un motore elettrico è tuttora in fase di continua ricerca e sviluppo. Infatti, con l’introduzione di tecniche vettoriali, si sono ottenuti notevoli miglioramenti a livello di qualità di utilizzo del motore elettrico stesso. In particolare, l’introduzione di un nuovo metodo di controllo che prende il nome di “controllo predittivo” cerca di ottimizzare ulteriormente la propulsione elettrica. Oggetto di studio in questa tesi è il controllo predittivo implementato per la regolazione delle correnti di statore in un motore brushless. Dopo una presentazione di carattere generale, che spazia dalle tipologie di vetture elettriche alle batterie utilizzate a bordo, passando dai vari tipi di propulsori elettrici verosimilmente utilizzabili, viene descritto, a livello teorico, il sistema utilizzato nelle simulazioni in questa tesi, prestando particolare attenzione alla macchina sincrona brushless a magneti permanenti ed al suo controllo vettoriale oltre che alla tecnica per un corretto deflussaggio. Successivamente sono descritti il controllo predittivo di corrente utilizzato nelle simulazioni, con un occhio di riguardo alla compensazione del ritardo di calcolo necessario per ottimizzare ulteriormente il controllo del motore di trazione elettrico, e la modellizzazione del veicolo elettrico ibrido in ambiente Simulink di Matlab, rimandando alle Appendici A e B per la eventuale consultazione dei codici implementati. Infine sono presentati i risultati ottenuti con vari tipi di prove per verificare se effettivamente il veicolo esegue ciò che è richiesto.

Crescent shaped brace: Dispositivo metallico di dissipazione isteretica

Nella presente tesi è stato esaminato il comportamento di un sistema di dissipazione isteretica denominato CSB, costituito da un elemento metallico realizzato partendo da profili di tipo standard, la cui peculiarità consiste nella particolare forma geometrica a boomerang che consente di dimensionare la rigidezza laterale e la forza di snervamento in maniera indipendente. I CSB posso essere utilizzati sia come alternativa ai controventi diagonali tradizionali, sia come sistema resistente alle azioni orizzontali dimensionato per ottenere un comportamento di soft-storey “controllato” (cosiddetto isolamento di piano) nell’ambito della progettazione di tipo PBSD (Performance Based Seismic Design). Il comportamento del dispositivo CSB è stato studiato dapprima attraverso una prima campagna sperimentale che è stata poi validata con l’utilizzo di modelli analitici e numerici.

Studio e progettazione di giunti incollati di tipo strutturale per applicazioni aeronautiche

Il presente elaborato è stato approfondito e sviluppato presso lo stabilimento della Blackshape Aircraft S.p.A. sito in Monopoli (Bari). L’obiettivo è stato principalmente orientato sull’individuazione di un metodo di progettazione di giunzioni incollate fra laminati in CFRP basato su di un modello matematico in grado di prevederne la resistenza. Per realizzare tale studio sono stati necessari approfondimenti preliminari relativi al comportamento meccanico dei laminati in materiale composito e agli studi condotti da Hart-Smith sulla teoria degli incollaggi. E’ stato determinato un metodo analitico per il calcolo della lunghezza di sovrapposizione degli aderenti. Il criterio di resistenza del giunto individuato, basato sulla teoria del cedimento multiassiale di Von Mises, è stato approvato dalla Agenzia Europea per la Sicurezza Aerea, EASA. A livello numerico-pratico è stato preso in esempio il giunto fra i gusci di fusoliera relativi al nuovo velivolo Blackshape con certificazione VLA (Very Light Aircraft).

Implementazione di una metodologia basata sulla chimica cinetica estesa tabulata per la simulazione dell'insorgenza e dell'evoluzione della detonazione nei motori ad accensione comandata

L'analisi accurata del processo di combustione è un aspetto sempre più influente nello sviluppo di un motore a combustione interna. In particolare il fenomeno della detonazione pone dei limiti sull'efficienza dei motori ad accensione comandata. Il rapporto di compressione è limitato in fase di progettazione dello sviluppo motore, lasciando al controllo dell'anticipo di accensione il compito di ridurre le problematiche di una combustione anomala. Nella seguente tesi si vuole implementare una metodologia per la valutazione dell'insorgere e dello sviluppo della detonazione in base alle condizioni di funzionamento del motore per differenti miscele di combustibili. Il metodo consiste nell'affiancare la cinetica chimica tabulata al risolutore CFD, \textsc{KIVA-3}. La cinetica chimica permette di determinare la velocità di reazione per differenti specie durante l'ossidazione a partire da precise condizioni ambiente. Il solutore CFD potrebbe risolvere questo tipo di problema ma utilizzare dei modelli con più reazioni chimiche richiede dei tempi di simulazioni troppo elevati. La cinetica chimica tabulata consiste nella determinazione ed estrapolazione dei dati relativi all'evoluzione della detonazione utilizzando schemi cinetici con centinaia o migliaia di reazioni. In seguito alla determinazione della miscela desiderata sono state eseguite delle simulazioni utilizzando il solutore Cantera per la determinazione dell'evoluzione dell'ossigeno. E' stata scelta questa grandezza come indicatore del progresso della detonazione poiché fornisce un'indicazione sullo stato di avanzamento delle reazioni. Successivamente i dati ricavati sono stati forniti al solutore CFD, tramite il quale sono state effettuate delle simulazioni per verificare i risultati ottenuti nella valutazione del comportamento di un motore ad alte prestazioni.

Applicazione di reticoli di Bragg "chirped" per il monitoraggio strutturale di laminati CFRP

L’uso dei materiali compositi è andato aumentando negli ultimi decenni per la loro elevata rigidezza, la resistenza specifica e il possibile risparmio, notevole in termini di peso dell’intera struttura. Tali materiali introducono però nuove problematiche riguardanti le modalità di danneggiamento e il comportamento a fatica. Mentre questi fenomeni sono relativamente ben compresi nei materiali metallici, per una struttura in composito non esistono ancora modelli in grado di predire con sufficiente affidabilità l’evoluzione del danneggiamento. Negli ultimi anni la ricerca si è focalizzata sullo sviluppo di sistemi in grado di rilevare la presenza e l’evoluzione del danno, definiti Structural Health Monitoring Systems, ovvero sistemi di monitoraggio strutturale. Il danneggiamento strutturale può così essere individuato e identificato per mezzo di sensori distribuiti integrati nella struttura stessa, aventi la possibilità di trasmettere queste informazioni a un sistema di analisi esterno permettendo di valutare lo stato di degrado della struttura in tempo reale. In questo contesto si inseriscono le attività di ricerca sulle strutture intelligenti che, inglobando al loro interno opportune tipologie di sensori e attuatori, sono in grado di monitorare l’ambiente fisico operativo, raccoglierne e interpretarne le informazioni per poi rispondere ai cambiamenti della struttura in modo appropriato attraverso gli attuatori. L’impiego di sensori e attuatori inglobati nelle strutture offre molteplici vantaggi rispetto ai sistemi di trasduzione e attuazione convenzionali. L’attività di ricerca condotta in questa tesi è rivolta all’indagine di tecniche di SHM per mezzo di sensori a fibra ottica. Essi presentano molteplici peculiarità che li rendono i candidati ideali per queste applicazioni. Esistono diversi tipi di sensori che utilizzano le fibre ottiche. Nel presente lavoro si sono utilizzati sensori di deformazione basati sui reticoli di Bragg (FBG) chirped. Questi sensori sono costituiti da un reticolo inscritto all’interno della fibra, che ha l’effetto di riflettere solo alcune lunghezze d’onda della luce incidente. Se le proprietà geometriche del reticolo cambiano per effetto di una deformazione, cambia anche la forma dello spettro riflesso. Inoltre, con il tipo di sensore usato, è possibile correlare lo spettro con la posizione di eventuali danneggiamenti interni al materiale. Gli obbiettivi di questa ricerca sono di verificare gli effetti della presenza di una fibra ottica sulle caratteristiche meccaniche di un laminato e di trovare un legame tra la risposta in frequenza del sensore FBG e lo stato tensionale e il grado di danneggiamento di un componente in composito.

Caratterizzazione sperimentale di materiali compositi soggetti ad impatto sul bordo

Il materiale composito è entrato nell’ambiente industriale rivoluzionando il concetto di progettazione delle strutture e permettendo il raggiungimento di prestazioni molto più elevate, rispetto ai materiali tradizionali. Infatti, i compositi sono in grado di garantire elevata resistenza e leggerezza, proprietà molto richieste in svariati ambiti industriali. Un suo notevole impiego è riscontrabile nell’industria aeronautica, dove le principali case produttrici di aeromobili hanno investito un apprezzabile quantitativo di risorse economiche nella realizzazione di velivoli con una sempre maggiore percentuale di questo materiale. Il composito, nonostante ci siano testimonianze del suo utilizzo già durante la seconda guerra mondiale, viene tutt’ora ritenuto “nuovo”; questo poiché molte delle sue caratteristiche non sono state ancora esaurientemente analizzate. Le conoscenze ad esso relative presentano ancora, infatti delle lacune, come il loro comportamento a seguito di un impatto. L’obiettivo della presente tesi è quello di indagare, attraverso una campagna sperimentale innovativa, il comportamento del CFRP di fronte a tale problematica, prestando particolare attenzione alla casistica dell’impatto sul bordo. Su tale argomento infatti, non si hanno esempi in letteratura né normative a cui fare riferimento. I campioni, impiegati nel presente studio, sono stati realizzati scegliendo una configurazione cross-ply, che ben si adatta alle successive fasi della campagna. Sui provini ottenuti sono stati eseguiti gli impatti, con l’utilizzo di un pendolo di Charpy, alcuni centrali e altri laterali, con due differenti energie. Questa prima parte della campagna sperimentale è stata svolta presso i laboratori hangar di Forlì, della Scuola di Ingegneria e Architettura dell’Università di Bologna. La caratterizzazione del materiale è avvenuta mediante prove a compressione. Il processo è stato eseguito per verificare l’influenza che l’impatto genera sulle proprietà meccaniche a compressione. Per poter eseguire una campagna di test ottimale, si è vista necessaria un’attenta analisi delle varie attrezzature utilizzabili per le prove a compressione. La scelta è ricaduta sull’attrezzatura CLC (Combined Loading Compression), la quale è risultata essere la più affidabile e maneggevole per le prove oggetto di studio. La fase relativa allo svolgimento delle prove a compressione è stata eseguita presso i laboratori ENEA di Faenza –Unità Tecnica Tecnologie dei Materiali Faenza (UTTMATF).

Bioelettronica organica: Nuovi approcci tecnologici per la stimolazione e la rilevazione della comunicazione di cellule neuronali.

Il campo della Bioelettronica si è sviluppato a partire dal 18 secolo con l’ esperimento di Luigi Galvani che, applicando uno stimolo elettrico ai muscoli di una rana dissezionata, ne osservò il movimento. Da questo esperimento si è aperta la strada che ha portato ad oggi ad un grande sviluppo tecnologico nella realizzazione di dispositivi elettronici che permettono di offrire un miglioramento generale delle condizioni di vita. Come spesso accade con le tecnologie emergenti, i materiali sono la maggiore limitazione nello sviluppo di nuove applicazioni. Questo è certamente il caso della Bioelettronica. I materiali elettronici organici, nella forma di polimeri conduttivi, hanno mostrato di poter dotare gli strumenti elettronici di grandi vantaggi rispetto a quelli tradizionali a base di silicio, in virtù delle loro proprietà meccaniche ed elettroniche, della loro biocompatibilità e dei bassi costi di produzione. E’ da questi studi che nasce più propriamente il campo della Bioelettronica Organica, che si basa sulla applicazione di semiconduttori a base di carbonio in forma di piccole molecole coniugate e di polimeri, e del loro utilizzo nei dispositivi elettronici. Con il termine di ‘Bioelettronica organica’, quindi, si descrive l’accoppiamento tra dispositivi elettronici organici e il mondo biologico, accoppiamento che si sviluppa in due direzioni: da un lato una reazione o un processo biologico può trasferire un segnale ad un dispositivo elettronico organico, dall’altro un dispositivo elettronico organico può avviare un processo biologico.

Progettazione e realizzazione di prove meccaniche comparative su un fissatore esterno articolato per correzioni angolari

La fissazione esterna ha subito una forte evoluzione nel corso degli anni, passando dall’essere una tecnica utilizzata esclusivamente nella stabilizzazione delle fratture, fino a diventare una risorsa importante in ortopedia ricostruttiva per il trattamento di molte patologie ossee e dei tessuti molli. Il prototipo di fissatore esterno monolaterale articolato Kore (Citieffe S.r.l.), oggetto di questo studio, consente di effettuare correzione di deformità angolari e piccoli allungamenti su ossa lunghe. Il lavoro sperimentale si è concentrato sul testare le prestazioni meccaniche del dispositivo e della sua componentistica, con l'obiettivo di mettere in evidenza eventuali problemi. I risultati sono stati confrontati con quelli ottenuti in prove realizzate precedentemente in azienda, e con quelli ricavati su dispositivi concorrenti da altri autori. Sono state svolte una prova di compressione assiale statica, una prova a fatica di compressione assiale, una prova a flessione a quattro punti ed una prova di regolazione dinamometrica sul meccanismo di attuazione del dispositivo. E’ stata poi progettata una configurazione per studiare le principali caratteristiche dei morsetti. Nel caso del morsetto a compensazione si è verificata l'effettiva capacità di scorrimento del morsetto, mentre nel morsetto a traliccio, dotato di un meccanismo di snodo, ne viene accertata la tenuta. Al termine dei test, in base ai risultati raccolti dalle prove meccaniche e dalle prove svolte su osso artificiale, sono state fatte valutazioni riguardanti alcune modifiche da apportare al prototipo. Per quanto riguarda il dispositivo dovrà essere ridotta la dimensione del corpo centrale, al fine di avere un dispositivo più duttile, leggero e vicino al corpo. Questa modifica inoltre limiterà l'influenza della flessione delle pins sul comportamento meccanico del fissatore, migliorandone le prestazioni. Relativamente al morsetto a traliccio dovrà essere ridotta la lunghezza dello snodo, per limitare lo sforzo sulla vite di serraggio del meccanismo. Nel morsetto a compensazione dovrà essere modificato il profilo, per garantire un migliore scorrimento.