Implementazione del frontend di una app Android per la didattica della deduzione naturale.

All'interno del presente elaborato vengono illustrate le scelte progettuali e l'implementazione del frontend dell'applicazione "LogicPlayer", un'App didattica per la risoluzione di alberi di Deduzione Naturale realizzata per sistemi Android

Elaborazione del linguaggio naturale per la costruzione di un motore di ricerca semantico

Questa tesi riguarda la progettazione di un motore di ricerca semantico a partire dalla costruzione di un'ontologia pesata di token, possibile grazie ad un'elaborazione del linguaggio naturale dei testi ed all'utilizzo di altri strumenti per la descrizione dell'intorno semantico dei termini.

Implementazione del backend di una app Android per la didattica della deduzione naturale

Questo elaborato di tesi illustra la realizzazione del back-end di LogicPlayer, un'app Android per la didattica della Deduzione Naturale

Affinamento mediante lagunaggio facoltativo dell'effluente del depuratore di Cesena

Nell’ambito dei trattamenti depurativi delle acque reflue, un ruolo di primaria importanza viene rivestito dalla tecnica di finissaggio. Si tratta di un sistema depurativo definito “naturale” ai sensi di legge, ed è adottato in regioni e luoghi tipicamente sensibili come zone lagunari o porti dove siano presenti particolari e restrittive normative sugli scarichi idrici. Normalmente si tratta di trattamenti appropriati per insediamenti con popolazione compresa tra 50 e 2000 A.E.(abitanti equivalenti), ma laddove il contesto ambientale lo consenta, può risultare opportuno il ricorso a queste tecniche di depurazione, suggerite dallo stesso D.Lgs. 152/99, anche per gli insediamenti di maggiori dimensioni adottando soluzioni integrate con impianti a fanghi attivi o a biomassa adesa a valle del trattamento, con funzione di affinamento dell'effluente. Nel presente lavoro, l’obiettivo è stato quello di analizzare l’entità dell’effetto di finissaggio esercitato su acque reflue in acque di transizione. Nello specifico si è studiato un tratto interno del Canale di Allacciamento (considerato alla stregua di uno stagno facoltativo), fra i comuni di Cesena e Cesenatico, il quale riceve a monte gli effluenti del depuratore di Cesena mentre a valle è influenzato dalle oscillazioni di marea.

Verifica dei requisiti acustici di una scuola media e proposte di miglioramento

L’acustica delle aule scolastiche è uno dei fattori che influenzano principalmente la qualità ed il livello di apprendimento degli alunni. L'obiettivo della tesi è quello di dimostrare come si possono avere miglioramenti in termini di qualità acustica negli edifici scolastici con interventi mirati e dai costi ragionevoli. L’analisi è stata condotta su un edificio esistente che ospita una scuola media. Sono stati misurati in situ tutti gli aspetti acustici rilevanti e richiesti per legge: l’isolamento di facciata, il rumore di calpestio ed il tempo di riverberazione. Sono stati studiati anche altri parametri importanti, ma spesso trascurati o sconosciuti come Sti o Sti-PA, capaci di quantificare il grado di comprensione del parlato in ambienti chiusi. Lo studente, oltre ad aver contribuito allo svolgimento delle misurazioni, ha elaborato i dati e rilevato le criticità presenti nell’edificio scolastico. Attraverso l’uso di software di simulazione ha studiato gli interventi necessari per il ripristino e per il miglioramento dei requisiti acustici dei locali. Le soluzioni adottate sono un compromesso tra un buon livello di prestazioni acustiche ed i costi necessari per gli interventi proposti

Sulla distrutta chiesa delle Monache Agostiniane di Gesù e Maria a bologna. Strumenti e metodi per verifiche di una paternità incerta.

«Così una circoncisione del Guercino mi ha fatto una profonda impressione, perché già conosco ed amo questo maestro. Gli ho perdonato il soggetto antipatico e ho goduto dell’esecuzione», commentò Goethe nel suo Viaggio in Italia, quando passò per Bologna tra il 18 ed il 20 ottobre 1786. Lo scrittore tedesco fu una delle ultime personalità che poté ammirare l’opera che campeggiava sull' altare maggiore della chiesa di Gesù e Maria, autentico tempio del barocco bolognese, oggi scomparso. L’abbattimento del complesso intervenne infatti all’inizio del XIX secolo con la conseguente dispersione dell’intero corpo iconografico e del materiale mobiliare, a testimonianza della qualità e del pregio, non solo delle opere un tempo contenute all’interno, ma anche della struttura architettonica. L’interesse alla chiesa di Gesù e Maria è stato determinato dal forte impatto che l’edificio ed il suo apparato ebbe sui contemporanei, come dimostrano efficacemente i testi di letterati e cronisti bolognesi coevi, quali Carlo Cesare Malvasia e Antonio Masini. Per quanto riguarda invece la celebre pala d’altare del Guercino, oltre a Goethe, anche Stendhal ne valutò l’importanza riportandola come una tra le più belle di Bologna. La finalità di questa tesi di laurea, dunque, è quella di far luce sulla vita di questa opera, a partire dalle testimonianze dirette, ricavate dalla comparazione dei documenti dispersi in diversi fondi archivistici di Bologna, indagando soprattutto sulla possibile “paternità” del progetto.

Lis e Lsf: due lingue dei segni a confronto. Analisi storica, legislativa e linguistica

La presente tesi nasce dal desiderio di effettuare un confronto tra due lingue dei segni che possiedono un'origine comune: la lingua dei segni italiana (LIS) e la langue des signes française (LSF). Si è cercato di capire quanto queste ultime possano essere analoghe tutt'oggi effettuando un confronto tra le loro principali strutture sintattiche, dopo aver passato in rassegna gli avvenimenti storici ed i provvedimenti legislativi più influenti in entrambi i paesi. La pecularietà di questa tesi risiede essenzialmente nel suo carattere inedito poiché finora nessun confronto del genere era stato realizzato tra queste due lingue. Nel primo capitolo, si è deciso di passare in rassegna le varie definizioni proposte dall'OMS circa l'handicap e la disabilità in modo da distinguere due concetti che spesso vengono considerati sinonimi. Vediamo inoltre quanto è importante l'impatto dell'ambiente circostante e della società nei confronti dell'handicap, dopodiché viene rivolta particolare attenzione alla sordità. Nel secondo capitolo, ripercorriamo i sentieri della storia, dai pensatori dell'Antichità fino al giorno d'oggi, al fin di vedere quali sono state le varie correnti di pensiero riguardo la sordità e le lingue dei segni attraverso i secoli. In seguito, ci focalizziamo sull'aspetto legislativo riportando i vari disegni di legge e provvedimenti legislativi che hanno segnato un decisivo progresso nel campo del riconoscimento delle lingue dei segni in Francia ed in Italia. Nel terzo capitolo, dopo una breve introduzione sulle lingue dei segni, vengono scomposti i parametri formazionali della LIS e della LSF, soffermandoci sulle differenze circa la dattilologia e le configurazioni in LSF e in LIS. Infine, viene effettuato il confronto tra le principali strutture sintattiche in LSF e in LIS allo scopo di verificare l'ipotesi alla base della presente tesi. Dopo aver esposto l'obiettivo, ciò che emerge dal confronto, sebbene vi siano alcune piccole differenze, conferma l'ipotesi all'origine della ricerca.

Analisi e progettazione di un sistema di link discovery semi-automatico nell'ambito dei Linked Open Data

Lo scopo di questo elaborato è di analizzare e progettare un sistema in grado di supportare la definizione dei dati nel formato utilizzato per definire in modo formale la semantica dei dati, ma soprattutto nella complessa e innovativa attività di link discovery. Una attività molto potente che, tramite gli strumenti e le regole del Web Semantico (chiamato anche Web of Data), permette data una base di conoscenza sorgente ed altre basi di conoscenza esterne e distribuite nel Web, di interconnettere i dati della base di conoscenza sorgente a quelli esterni sulla base di complessi algoritmi di interlinking. Questi algoritmi fanno si che i concetti espressi sulla base di dati sorgente ed esterne vengano interconnessi esprimendo la semantica del collegamento ed in base a dei complessi criteri di confronto definiti nel suddetto algoritmo. Tramite questa attività si è in grado quindi di aumentare notevolmente la conoscenza della base di conoscenza sorgente, se poi tutte le basi di conoscenza presenti nel Web of Data seguissero questo procedimento, la conoscenza definita aumenterebbe fino a livelli che sono limitati solo dalla immensa vastità del Web, dando una potenza di elaborazione dei dati senza eguali. Per mezzo di questo sistema si ha l’ambizioso obiettivo di fornire uno strumento che permetta di aumentare sensibilmente la presenza dei Linked Open Data principalmente sul territorio nazionale ma anche su quello internazionale, a supporto di enti pubblici e privati che tramite questo sistema hanno la possibilità di aprire nuovi scenari di business e di utilizzo dei dati, dando una potenza al dato che attualmente è solo immaginabile.

Studio di modelli di illuminazione e texture in ambiente WebGL

Il mondo di Internet ha vissuto un radicale e inarrestabile processo di rinnovamento nel corso dell'ultimo decennio. Nel giro di pochi anni, i siti che popolano il World Wide Web si sono evoluti divenendo vere e proprie applicazioni in grado di fornire un livello di interattività e di coinvolgimento fino ad allora impensabile. Il mondo del Web è mutato, e con esso quello dei browser, i quali assumono sempre più le conformazioni di "sistemi operativi nei sistemi operativi": si sono tramutati in complesse piattaforme di sviluppo in grado di fornire a programmatori e web designer potenti librerie e API relative a qualsiasi ambito, nonché avanzati strumenti di debugging. Numerosi standard che governano l'ecosistema di Internet hanno raggiunto la maturità in questo contesto: fra tutti HTML5, il quale ha arricchito enormemente le potenzialità di un browser introducendo nuovi strumenti orientati alla multimedialità e alla classificazione semantica delle risorse. Altri standard altrettanto importanti hanno visto la luce in questi anni, affermandosi e conquistando, nel giro di pochissimi anni, l'interesse di un'ampia platea di sviluppatori. E' il caso di WebGL, una potente e flessibile libreria grafica derivata dal mondo di OpenGL che ha aperto le porte al rendering di scene tridimensionali all'interno di un qualsiasi browser moderno. WebGL ha rappresentato un punto di svolta abbattendo un'ulteriore barriera tra il mondo del web che vive all'interno di un browser e la dimensione delle applicazioni native che popolano un sistema operativo, consolidando il già affermato concetto di web app che lentamente sta seppellendo l'idea di "sito" così come era stato concepito all'inizio del nuovo millennio. Scopo di questo elaborato è quello di fornire una panoramica delle principali funzionalità offerte dalla libreria WebGL (con una particolare attenzione per il supporto cross browser) e di analizzare le possibilità che essa offre, studiando e implementando i principali modelli di illuminazione e le tecniche di applicazione texture per definire un ambiente tridimensionale esplorabile e il più possibile realistico all'interno della dimensione del web.

Accrescimento di Chamelea gallina (Linneo, 1758) in Adriatico

La vongola Chamelea gallina è un mollusco appartenente alla famiglia Veneridae avente un'ampia distribuzione nel Mediterraneo. L’animale vive su fondali sabbiosi o sabbiosi – fangosi, con distribuzione aggregata, in prossimità della costa, a bassa profondità da 0 a 15metri. Nel presente studio è stata stimata sia la biomassa di Chamelea gallina espressa in kg/mq che la distribuzione di taglia, per valutare l’accrescimento della specie. L’accrescimento della vongola, così come per altre specie fossorie è influenzato da fattori biotici e abiotici, come la temperatura, lo stato trofico delle acque, la natura dei sedimenti ed infine la densità. Lo scopo di questa tesi è stato quello di monitorare l’attività di pesca delle vongole nel Compartimento di Rimini e raccogliere gli elementi conoscitivi esistenti a fine di ottimizzare la gestione della risorsa. A tal fine sono state realizzate a Rimini due campagne di pesca nel mese di Luglio e Dicembre 2014, utilizzando una draga idraulica di tipo commerciale conforme agli standard previsti dalla legge. Il campionamento è stato effettuato su 9 transetti perpendicolari alla costa con stazioni a 0,25-0,50-0,75 e proseguendo 1 Miglio qualora nei campioni vi sia ancora la presenza di vongole. A fine di valutare la frazione di individui con taglia inferiore a quella commerciale (25mm), all’interno della draga è stato posto un retino campionatore. Il materiale contenuto nella draga è stato selezionato al vibro-vaglio installato a bordo, attrezzato con griglie aventi fori del diametro di 19mm di apertura. Tutte le vongole trattenute dal vaglio sono state analizzate per ottenere una distribuzione di taglia. I risultati acquisiti nel corso della presente indagine hanno evidenziato una generale situazione di sofferenza per la taglia commerciale. In particolare sono state catturate molte vongole della prima maturità sessuale (14mm). Tutto ciò potrebbe essere proprio un’indicazione di banco in ricostituzione e ripresa dopo una situazione di crisi. Per quanto riguarda le forme giovanili i risultati ottenuti dalle due campagne di pesca indicano una notevole differenza di densità dei banchi di Chamelea gallina. Tali risultati sono stati ottenuti con il software ImageJ, il quale è in grado di rilevare la larghezza massima delle singole vongole. Infine sono stati registrati i valori di biomassa espressi in kg/mq, evidenziando una discreta oscillazione di valori tra le stazioni campionate. Infatti in entrambi i campionamenti le stazioni situate all’ interno degli strati più costieri presentano nella maggior parte dei casi valori, sia in biomassa che in numero, maggiori rispetto a quelle di largo. Concludendo, l’insieme dei dati raccolti ha evidenziato la necessità di urgenti misure di controllo e regolamentazione della risorsa, dei parametri eco-ambientali e della pesca esercitata, al fine di acquisire quelle informazioni utili per avviare un corretto piano di gestione della risorsa.

Modellazione di mesh tramite operatori booleani

Nella computer grafica, nell’ambito della modellazione geometrica, si fa uso delle operazioni booleane tra solidi per la manipolazione e la creazione di nuovi oggetti. Queste operazioni, quali unione, intersezione e differenza, vengono applicate alle superfici degli oggetti 3D esattamente come si fa su altri insiemi. In questo modo si riescono ad ottenere nuove forme complesse come combinazione delle altre, che sono in genere più semplici. Ciò che è stato realizzato in questo lavoro di tesi si colloca all’interno di un progetto preesistente, realizzato per consentire la manipolazione di modelli tridimensionali mediante l’utilizzo di operatori booleani: Mesh Glue. In questo lavoro, si è estesa la logica dell’applicazione degli operatori booleani, presente in Mesh Glue, per poter gestire anche scenari con mesh che presentano facce in tangenza. Inoltre, si è inserito Mesh Glue all’interno di un progetto più grande: Mesh Craft. Mesh Craft è un progetto che consiste in un ambiente di modellazione che utilizza come sistema di input il Leap Motion Controller, un dispositivo capace di identificare le dita di una mano e seguirne i movimenti con alta precisione.

Mycelium tectonics: studio di comportamenti morfologico-costruttivi attraverso sistemi biologici e simulazioni al computer

Mycelium Tectonics è un lavoro multidisciplinare che interseca l’architettura con la biologia e con la tecnologia. Il concetto di tettonica - qui definito come il territorio in cui si costruiscono le relazioni tra l’organizzazione formale e i processi di funzionamento endogeni - viene indagato partendo da un punto di vista materico, dai limiti fisici e meccanici della materia e dalle differenze che ne possono emergere attraverso il cambio di scala. Procedendo dunque dal basso, sono stati studiati fenomeni quali l’auto-organizzazione e le intelligenze collettive, costituite da elementi con comportamenti autonomi, in cui l’organizzazione globale non è pianificata a priori ma emerge dalle interrelazioni degli elementi stessi. Si è tentato di descrivere una tettonica in cui fosse proprio la differenziazione e la variazione, di cui il sistema è intrinsecamente capace, a produrre una propria forma di organizzazione tettonica ed estetica su cui la funzionalità potesse essere mappata in modi non convenzionali. La biologia fornisce in questo diversi stimoli circa il concetto di costruire in termini di articolazione spaziale e adattabilità: in natura ogni struttura viene generata mediante processi di crescita intrinsecamente coerenti, e le relazioni che la regolano rendono impossibile scindere le parti dal tutto; una logica profondamente differente dai processi produttivi - e costruttivi – odierni, che racchiude in questo il potenziale per superarne i limiti. L’esperienza di laboratorio ha permesso un’ indagine approfondita sulle capacità esplorative e di morfogenesi del micelio: un organismo pluricellulare molto semplice formato da numerosi filamenti (ife), capaci di ramificarsi e riconnettersi tra loro per formare una rete biologica di trasporto. Le strategie messe in atto durante la crescita, poi simulate digitalmente, si sono evidenziate durante tutto il percorso di ricerca pratica, fornendo non solo motivo di dibattito teorico, quanto stimoli e possibilità a livello operativo. Partendo dagli esperimenti in vitro, lo studio si è poi soffermato sulla possibilità di far crescere il micelio (della specie Pleurotus Ostreatus) su strutture fibrose di canapa. Queste sono state simulate ed indagate digitalmente, al fine di costruire prototipi fisici da far colonizzare attraverso una crescita controllata del micelio. I modelli, lasciati essiccare, mostrano caratteristiche e performance emergenti, coerentemente alle premesse architettoniche. Considerando i risultati - seppur parziali - dell’attività teorico-sperimentale condotta, diviene necessario considerare un significato più esteso del termine sostenibilità, oltre ad un esame più approfondito delle ripercussioni a scala ecologica conseguenti l’applicazione di soluzioni qui soltanto ipotizzate.

Specifica e sintesi automatica di sistemi software: Una notazione in linguaggio z

L'attuale processo di sviluppo del software è abbastanza lontano dai canoni di sistematicità e correttezza propri di altre aree dell'ingegneria. L'obiettivo di questa Tesi è quello di fornire metodologie e strumenti realmente ingegneristici per la costruzione del software, attraverso l'introduzione di linguaggi general purpose per l'analisi e la progettazione, di robustezza industriale e con semantica formalmente definita. A partire da frasi corrette in tali linguaggi, le quali costituiscono a tutti gli effetti modelli di sistemi software, ci si propone la completa generazione del codice corrispondente.

Riprogettazione dei processi e informatizzazione di un reparto manutenzione. Il caso de "il Resto del Carlino"

In un contesto dinamico come quello odierno la competitività delle imprese è profondamente legata alla capacità di gestire i propri processi aziendali e di intervenire su di essi. Ciò presuppone un cambio di paradigma, da “qual è il mio ruolo nell’azienda?” a “qual è il mio ruolo nei processi aziendali?”, ovvero l’abbandono della logica funzionale a favore di quella per processi. Tale progetto di tesi, nato dal mio tirocinio in Poligrafici Printing S.p.a. (polo industriale del quotidiano “Il Resto del Carlino”), si pone l’obiettivo di illustrare, facilitare e promuovere la gestione per processi e la riprogettazione di questi ultimi come strumento per raggiungere flessibilità, controllo ed efficienza operativa, con particolare riferimento all’informatizzazione di un reparto manutenzione.

Ottimizzazione di microcanali con condizioni al contorno diverse

Negli ultimi due decenni i microcanali hanno un'ampia gamma di applicazioni pratiche in ambiti specializzati, come le micropompe, l’ingegneria biomedica, la microfluidica, ecc. Quindi il miglioramento della capacità di scambio termico è molto significativo e, per questo motivo, è interessante studiare come influisce sullo scambio termico la variazione della geometria dei microcanali. Per descrivere le prestazioni associate ad una superficie di scambio termico ci si riferisce a dei parametri adimensionali. Ad esempio, si possono utilizzare numero di Poiseuille fRe e numero di Nusselt Nu, a cui sono associate, rispettivamente, le prestazioni in termini di attrito meccanico e di scambio termico convettivo della superficie. E si vedrà il comportamento termoidraulico al variare di parametri geometrici come il fattore di forma ed il raggio di curvatura degli spigoli della sezione attraverso simulazioni effettuate tramite FlexPDE. L’ottimizzazione delle sezioni di microcanali attraverso i Performance Evaluation Criteria (PEC) è basata su un’analisi condotta dal punto di vista della prima legge della termodinamica: l'ottimizzazione della funzione obiettivo è il suo unico scopo. Ma non ha tenuto conto dell’entropia generata nello scambiatore, che varia dopo l’ottimizzazione. Poiché l’entropia prodotta da un generico sistema termodinamico è direttamente legata alle perdite per irreversibilità nello stesso, quindi coincide l’efficienza del sistema dal punto di vista termodinamico. Per questo motivo, Bejan propone una procedura di ottimizzazione basata sulla seconda legge della termodinamica, in cui anche l’entropia è trattata come una funzione obiettivo che dovrà essere sempre minimizzata. Dopo una prima fase di analisi dal punto di vista fisico, il modello è stato applicato a casi concreti, in cui funzione obiettivo e numero di generazione entropica sono stati espressi in dipendenza dell’incognita geometrica da valutare.