Programmazione ad Agenti e Pianificazione: AgentSpeak(PL) come caso di studio

In questa tesi si discutono inizialmente i concetti chiave di agente e sistema multi-agente e si descrivono in ogni dettaglio il linguaggio di programmazione AgentSpeak(L) e la piattaforma Jason, fornendo le basi per poter programmare con il paradigma AOP. Lo scopo centrale di questa tesi è quello di estendere il modello di pianificazione dell’interprete di AgentSpeak(L), considerato come caso specifico, con un approccio che può essere integrato in qualsiasi linguaggio di programmazione ad agenti. Si espone un’evoluzione di AgentSpeak(L) in AgentSpeak(PL), ossia la creazione ed esecuzione di piani automatici in caso di fallimento attraverso l'uso di un algoritmo di planning state-space. L'approccio integrativo modifica il Ciclo di Reasoning di Jason proponendo in fase di pianificazione automatica un riuso di piani già esistenti, atto a favorire la riduzione di tempi e costi nel long-term in un sistema multi-agente. Nel primo capitolo si discute della nozione di agente e delle sue caratteristiche principali mentre nel secondo capitolo come avviene la vera e propria programmazione con AgentSpeak(L). Avendo approfondito questi argomenti base, il terzo capitolo è incentrato sull’interprete Jason e il quarto su una migliore estensione dell'interprete, in grado di superare i limiti migliorando le performance nel tempo. Si delineano infine alcune considerazioni e ringraziamenti nel quinto e ultimo capitolo. Viene proposta con scrittura di carattere divulgativo e non ambiguo.

Condivisione di dati strutturati con Google Fusion Tables

L'elaborato presenta Google Fusion Tables, un software che fa parte dei servizi messi a disposizione da Google, funzionale per la gestione di database. Il servizio gratuito e online ha quindi lo scopo di supportare i compiti di gestori di basi di dati e fornisce operazioni di manipolazione dei dati come estrazione, aggregazione, filtraggio e fusione. Il servizio utilizza dati strutturati, i quali sono estratti dalle pagine Web con appositi motori di ricerca come WebTables, trattato nell'elaborato. Google Fusion Tables è impiegato in ambito scientifico ed è nato per esplicitare le informazioni di ricerche scientifiche che spesso sono contenute in database e fogli di calcolo difficilmente condivisi nel Web. Questo servizio è molto pratico per le aziende, le quali possono integrare dati interni ed esterni all’organizzazione per ampliare la propria conoscenza e ottenere un vantaggio competitivo sui concorrenti. Vengono quindi presentate le caratteristiche distintive che potrebbero indurre numerose organizzazioni a scommettere su questo nuovo servizio.

Tecniche di misura della risposta impulsiva di ambienti indoor in ambito acustico

Questo elaborato si pone l’obiettivo principale di formulare una metodologia volta alla misura sperimentale della risposta impulsiva di ambienti indoor in ambito acustico. Lo studio della risposta impulsiva di una stanza trova diverse applicazioni nell’ambito dell’ingegneria acustica. Essa contiene infatti informazioni sulla geometria della stanza stessa, che può essere ricostruita con appositi algoritmi. È sovente impiegata anche in campo architettonico per progettare interventi di correzione o ottimizzazione acustica. In questo elaborato si darà spazio ad una terza applicazione: si utilizzerà la risposta impulsiva misurata in una determinata stanza per aggiungere effetti ambientali a suoni registrati in camere anecoiche. Per perseguire quest’obiettivo, nel capitolo 1 si richiamano i concetti di base riguardo i sistemi LTI, funzioni di trasferimento e risposta impulsiva, approfondendo gli aspetti legati alle tecniche tradizionalmente usate per la misura della risposta impulsiva in ambito acustico. Si pone poi la base teorica del metodo sperimentale che sarà sviluppato nel corso dell’elaborato, fondato sulla stima numerica dello spettro di segnali ad energia finita. Nel secondo capitolo s’illustra l’impostazione della catena di misura, chiarendo le scelte hardware intraprese, le motivazioni di tali scelte, il funzionamento generale dei dispositivi impiegati e le condizioni ottimali di misura. Il capitolo 3 rappresenta il cuore di questo elaborato, nel quale viene illustrata l’implementazione vera e propria della metodologia della misura della risposta impulsiva, a partire dal settaggio degli strumenti utilizzati, alla realizzazione del codice MATLAB per l’elaborazione dei dati, per giungere infine all’analisi dei risultati sperimentali ottenuti. Con il quarto ed ultimo capitolo si introduce il concetto di equalizzazione e si implementa una prima e grossolana soluzione al problema degli effetti distorcenti introdotti dai dispositivi non ideali.

Un esempio di Economia Circolare: il riciclo e il riuso dei dispositivi Tessili per Sala Operatoria

Negli ultimi decenni l’attenzione alle tematiche della sostenibilità ambientale e dell’inquinamento globale da parte dell’opinione pubblica e delle imprese è in costante aumento. Una tra le principali fonti di inquinamento è costituita dai rifiuti, e di conseguenza, la loro gestione e il loro smaltimento sono diventate una priorità, non solo per le istituzioni, ma anche per le imprese e per i cittadini. Inoltre la crescita della domanda delle risorse presenti in natura è in costante aumento e l’approvvigionamento di esse si è rivelato essere invece soggetto a significativi limiti. In questo attuale contesto quindi, il modello economico lineare fino ad oggi utilizzato, “take-make-dispose”, non risulta più idoneo. Si è sviluppato così il concetto di “Economia Circolare”. L’obiettivo di questa economia è quello di eliminare il concetto di scarto, il rifiuto deve essere considerato una vera e propria risorsa. In questo sistema tutte le attività, a partire dall’ estrazione fino ad arrivare alla produzione, sono organizzate in modo che i rifiuti di uno diventino risorse per un altro. L’obiettivo della tesi è quello di applicare il concetto di Economia Circolare al mercato dei dispositivi tessili per sala operatoria (DTSO), utilizzando la valutazione del ciclo di vita di un prodotto (analisi LCA) in modo da individuare le fasi più critiche e poter operare dei miglioramenti. Dopo essere stati sottoposti a 70 cicli di lavaggio e sterilizzazione i dispositivi TTR (Tessuti Tecnici Riutilizzabili) non sono più idonei ad essere utilizzati in ambito ospedaliero e vengono smaltiti in discarica , così come vengono smaltiti altri miliardi di rifiuti ogni giorno.Questi tessuti, seppur non conformi agli standard qualitativi richiesti dalle norme ospedaliere, possono essere riciclati o riutilizzati in prodotti di altro tipo. L’obiettivo di questo lavoro è quello di reimmettere questi dispositivi in un ciclo di vita di un nuovo prodotto, in ottica appunto di economia circolare.

Tecniche di demolizione controllata: una panoramica sull’uso dell’esplosivo nelle demolizioni civili.

In questo studio si è prima fatta una panoramica sulle tecniche di demolizione esistenti, sia controllate che non, elencandone i vantaggi e gli svantaggi, per poi passare, nel terzo capitolo, ad una descrizione dettagliata delle tecniche a demolizione controllata, soffermandosi in particolare sull’utilizzo dell’esplosivo e vagliandone le varie metodologie ed applicazioni. 8 In particolare dell’uso dell’esplosivo come tecnica di demolizione è stata vista la teoria ne supporta l’uso, dal dimensionamento delle cariche nei vari casi di utilizzo, al calcolo e prevenzione dei possibili effetti indesiderati. Infine, nel quarto capitolo, la teoria è stata messa in pratica in un esempio applicativo, sviluppandone tutte le fasi che precedono l’atto della demolizione vera e propria, dalle fasi pre-progettuali di raccolta dei dati necessari, al controllo di possibili interferenze e disturbi arrecati agli ipotetici edifici confinanti.

Utilizzo del modello Calpuff per la valutazione della qualità dell'aria da emissioni odorigene da un impianto per la lavorazione di semi oleosi

Il presente elaborato di tesi si concretizza in un inquadramento generale relativo alle emissioni odorigene: cosa sono, i riferimenti normativi, come si misurano. Si è poi fatto riferimento a un caso reale, ovvero un impianto operante nella lavorazione dei semi oleosi che ha subito una modifica della propria configurazione impiantistica. Le emisisoni odorigene sono state modellate, mediante l'utilizzo del software Calpuff, in relazione a due stati: prima e dopo la modifica. Questo ha permesso di fare un confronto in termini di impatto sull'ambiente.

Analisi delle microstrutture generate su ingranaggi per uso automotive da processi di rettifica a secco

Il contenuto della tesi riguarda un progetto di ricerca avente come scopo l’eliminazione degli olii di rettifica dal processo di taglio, avviato da alcune aziende del territorio emiliano, con la collaborazione dell’Università di Bologna e di Genova. In particolare essa tratta la rettifica degli ingranaggi a secco, poiché molte aziende del territorio emiliano si occupano della produzione di macchine per la realizzazione degli ingranaggi, oppure della fabbricazione vera e propria degli stessi. Inoltre viene trattato con particolare attenzione uno dei problemi fondamentali che si possono manifestare con la rettifica: le bruciature. Viene eseguita un’analisi dettagliata delle microstrutture dei materiali e di quali sono gli effetti provocati dalle bruciature nel processo di rettifica a secco degli ingranaggi.

La gestione del rischio sanitario nell'ambito della ristorazione collettiva: esperienza nel territorio emiliano-romagnolo

L’elaborato illustra come il cambiamento delle abitudini quotidiane, nel corso degli anni, ha portato alla nascita di un tipo di ristorazione capace di conciliare i bisogni di tipo nutrizionale e relazionale con l’aspetto qualitativo fondato sulla salubrità degli alimenti. Il settore della ristorazione collettiva è disciplinato dai Reg. CE 178\02 e 852\04, i quali stabiliscono rispettivamente i principi ed i requisiti generali della legislazione alimentare e le linee guida sull'igiene dei prodotti alimentari. Le principali categorie di ristorazione collettiva sono quella aziendale, scolastica e sociosanitaria che soddisfano le esigenze di un numero ampio di persone accomunate dall’esigenza di usufruire dei pasti, al di fuori della propria abitazione (lavoratori-studenti- degenti di un ospedale). Le fasi principali da affrontare nell’analisi della ristorazione sono la preparazione e la distribuzione dei pasti con attenzione alla prevenzione delle tossinfezioni alimentari e la salubrità degli alimenti prodotti, trasformati e somministrati. La qualità non deve rappresentare un costo bensì un investimento: le aziende che operano nel settore alimentare hanno necessità di certificare ufficialmente il proprio adeguamento alla Normativa HACCP,al fine di aumentare la trasparenza, fornire sicurezza al consumatore e diminuirne l’incertezza, nel rispetto di quanto previsto dalle Leggi. I centri di produzione durante l’intero ciclo di lavorazione dei pasti, dalla preparazione alla commercializzazione, si affidano all’autocontrollo igienico fondato sui principi del modello HACCP che racchiude tute le misure da adottare per garantire la sicurezza igienico sanitaria e l’integrità degli alimenti. L’adempimento dei principi dell’HACCP nelle catene ristorative viene garantito dai controlli ufficiali svolti dalle autorità sanitarie con programmi ed interventi di vigilanza atti a ridurre i pericoli fisici-biologici che possono rendere dannoso un alimento per il consumatore.

Shape-based compliance control for snake robots

I serpenti robot sono una classe di meccanismi iper-ridondanti che appartiene alla robotica modulare. Grazie alla loro forma snella ed allungata e all'alto grado di ridondanza possono muoversi in ambienti complessi con elevata agilità. L'abilità di spostarsi, manipolare e adattarsi efficientemente ad una grande varietà di terreni li rende ideali per diverse applicazioni, come ad esempio attività di ricerca e soccorso, ispezione o ricognizione. I robot serpenti si muovono nello spazio modificando la propria forma, senza necessità di ulteriori dispositivi quali ruote od arti. Tali deformazioni, che consistono in movimenti ondulatori ciclici che generano uno spostamento dell'intero meccanismo, vengono definiti andature. La maggior parte di esse sono ispirate al mondo naturale, come lo strisciamento, il movimento laterale o il movimento a concertina, mentre altre sono create per applicazioni specifiche, come il rotolamento o l'arrampicamento. Un serpente robot con molti gradi di libertà deve essere capace di coordinare i propri giunti e reagire ad ostacoli in tempo reale per riuscire a muoversi efficacemente in ambienti complessi o non strutturati. Inoltre, aumentare la semplicità e ridurre il numero di controllori necessari alla locomozione alleggerise una struttura di controllo che potrebbe richiedere complessità per ulteriori attività specifiche. L'obiettivo di questa tesi è ottenere un comportamento autonomo cedevole che si adatti alla conformazione dell'ambiente in cui il robot si sta spostando, accrescendo le capacità di locomozione del serpente robot. Sfruttando la cedevolezza intrinseca del serpente robot utilizzato in questo lavoro, il SEA Snake, e utilizzando un controllo che combina cedevolezza attiva ad una struttura di coordinazione che ammette una decentralizzazione variabile del robot, si dimostra come tre andature possano essere modificate per ottenere una locomozione efficiente in ambienti complessi non noti a priori o non modellabili.

Sistemi di Mobile-Health per il monitoraggio e l'assistenza alla gravidanza

Con il termine "Mobile-Health" si intende l’uso di tecnologie mobili in ambito medico-sanitario. Questa tesi si propone di fornire un quadro generale di come i sistemi di Mobile-Health possano aiutare nell'assistenza e nel monitoraggio della gravidanza. Attraverso l'analisi delle ricerche effettuate in questo campo, e lo studio dei sistemi attualmente utilizzati in ambito ospedaliero, si cerca di valutare se effettivamente questo tipo di tecnologie può fornire un contributo significativo nell'assistere le donne incinte. Viene trattato il tema del Self-Management che riguarda appunto l'auto-gestione della propria condizione di salute attraverso l’uso di tecnologie mobili. Vengono introdotti problemi e complicazioni della gravidanza e i corrispettivi trattamenti. Si analizzano studi e ricerche che riguardano dispositivi e software per le donne incinte, compreso il tema delle “app mediche”. Infine, grazie al contributo delle dottoresse Iliana Colonna e Marina Carfagna (coordinatrici ostetriche negli ospedali di Rimini e Cesena), si presenta una panoramica sull’attuale uso di tecnologie nei reparti ospedalieri di ostetricia.

Il monolite di copertura del Mausoleo di Teodorico in Ravenna: commento alle ipotesi sulla sua messa in opera

Nella tesi si cerca di dare una nuova chiave di lettura del monumento unico nel suo genere, quanto noto Parliamo del Mausoleo di Teodorico che si erige nelle immediate vicinanze del centro di Ravenna.Il Mausoleo costruito nel v secolo, quando Ravenna è capitale dell’impero d’Occidente e vi si stabilisce Teodorico il Grande. La struttura è stata molto esaminata nel corso del tempo da molti studiosi ma non si ha notizia di una analisi d'insieme. Si è cercato quindi di mettere a fuoco uno degli aspetti più emblematici ed ancor ben lungi da scientifiche certezze: La sua copertura.Si tratta di un monolite con un peso stimato tra le 240 e le 270 Tonnellate proveniente dalle cave di Aurisina in Istria. Numerosi studiosi si sono cimentati nello stipulare le proprie ipotesi sul trasporto e soprattutto sulla sua messa in opera senza giungere ad un univoca conclusione. Si è proceduto poi alla loro schematizzazione in filoni principali senza tralasciare una propria opinione valutandone i pro e i contro anche in base alle conoscenze attuali. Si sono confrontati metodi di trasporto dei monoliti, senza tralasciare l’analisi delle macchine da cantiere dell’epoca a supporto delle ipotesi proposte. Da ultimo mi sono soffermato sul significato semantico delle dentellature di sommità della copertura, o modiglioni: anche per questi elementi vi sono stati e mi auguro ci saranno numerosi dibattiti sul loro aspetto simbolico o quantomeno funzionale. Durante la stesura della è scaturito anche un interessante confronto di idee che testimonia quanto la questione sia ancora articolata ed interessante. Si apre quindi a suggerimenti per spunti futuri specialmente per quanto riguarda indagini diagnostiche strumentali sulla cupola e sulla sua crepa. Mi auguro che raccogliendo e analizzando le principali ipotesi si possa proseguire questo filone investigativo.