Towards model driven software development for Arduino platforms: a DSL and automatic code generation

La tesi ha lo scopo di esplorare la produzione di sistemi software per Embedded Systems mediante l'utilizzo di tecniche relative al mondo del Model Driven Software Development. La fase più importante dello sviluppo sarà la definizione di un Meta-Modello che caratterizza i concetti fondamentali relativi agli embedded systems. Tale modello cercherà di astrarre dalla particolare piattaforma utilizzata ed individuare quali astrazioni caratterizzano il mondo degli embedded systems in generale. Tale meta-modello sarà quindi di tipo platform-independent. Per la generazione automatica di codice è stata adottata una piattaforma di riferimento, cioè Arduino. Arduino è un sistema embedded che si sta sempre più affermando perché coniuga un buon livello di performance ed un prezzo relativamente basso. Tale piattaforma permette lo sviluppo di sistemi special purpose che utilizzano sensori ed attuatori di vario genere, facilmente connessi ai pin messi a disposizione. Il meta-modello definito è un'istanza del meta-metamodello MOF, definito formalmente dall'organizzazione OMG. Questo permette allo sviluppatore di pensare ad un sistema sotto forma di modello, istanza del meta-modello definito. Un meta-modello può essere considerato anche come la sintassi astratta di un linguaggio, quindi può essere definito da un insieme di regole EBNF. La tecnologia utilizzata per la definizione del meta-modello è stata Xtext: un framework che permette la scrittura di regole EBNF e che genera automaticamente il modello Ecore associato al meta-modello definito. Ecore è l'implementazione di EMOF in ambiente Eclipse. Xtext genera inoltre dei plugin che permettono di avere un editor guidato dalla sintassi, definita nel meta-modello. La generazione automatica di codice è stata realizzata usando il linguaggio Xtend2. Tale linguaggio permette di esplorare l'Abstract Syntax Tree generato dalla traduzione del modello in Ecore e di generare tutti i file di codice necessari. Il codice generato fornisce praticamente tutta la schematic part dell'applicazione, mentre lascia all'application designer lo sviluppo della business logic. Dopo la definizione del meta-modello di un sistema embedded, il livello di astrazione è stato spostato più in alto, andando verso la definizione della parte di meta-modello relativa all'interazione di un sistema embedded con altri sistemi. Ci si è quindi spostati verso un ottica di Sistema, inteso come insieme di sistemi concentrati che interagiscono. Tale difinizione viene fatta dal punto di vista del sistema concentrato di cui si sta definendo il modello. Nella tesi viene inoltre introdotto un caso di studio che, anche se abbastanza semplice, fornisce un esempio ed un tutorial allo sviluppo di applicazioni mediante l'uso del meta-modello. Ci permette inoltre di notare come il compito dell'application designer diventi piuttosto semplice ed immediato, sempre se basato su una buona analisi del problema. I risultati ottenuti sono stati di buona qualità ed il meta-modello viene tradotto in codice che funziona correttamente.

Oxymoron,progetto di un grattacielo direzionale a Shenzhen, Cina applicazione della Soft Kill Option (SKO) nella progettazione architettonica

Lo scopo della tesi è quello di affrontare la progettazione con un approccio,quanto più attuale e per certi versi avanguardista, chiamato Parametric design (progettazione parametrica), accoppiato efficacemente col concetto di Arte generativa (in questo caso Architettura). Già nel 1957 Luigi Moretti affrontò il tema dell’architettura parametrico-generativa fondando l’IRMOU (Istituto per la Ricerca Matematica e Operativa applicata all'Urbanistica) e oggi è una mentalità molto diffusa nei più grandi studi del mondo. Il tema non è solo tecnologico o informatico strumentale, ma è proprio un modo di pensare e immaginare il possibile, costruito o naturale che sia. E’ un modo di vivere la propria creatività. L’aggettivo “generativa” è legato al fatto che l’arte in esame è generata seguendo regole preimpostate e ben definite dal progettista, coerentemente agli obiettivi e alle finalità del progetto. L’evoluzione delle stesse, seguendo relazioni molto semplici, può dar vita a risultati sorprendenti e inaspettati, dotati di una notevole complessità che però, se letta nell’insieme, è perfettamente in armonia con l’idea progettuale di partenza. Il fascino di questa materia è il legame entusiasmante che crea tra architettura, ingegneria, poesia, filosofia, matematica, biologia, fisica, pittura ecc ecc. Questo perché i concetti di evoluzione, di relazione e di generazione appartengono a tutto ciò che ci circonda, e quindi alla concezione umana di vita. E’ possibile in questo modo permeare il costrutto progettuale con principi e regole oggettivamente riconoscibili e apprezzabili dallo spettatore perché instrisi di una forte veridicità processuale. Il titolo "Oxymoron" è la traduzione inglese della figura retorica ossimoro,la quale è strettamente connessa all’ispirazione progettuale: proviene dall’indagine approfondita di processi evolutivi (distruttivi in questo caso) caratterizzanti realtà naturali che, esplorate con sempre più accuratezza, determinano morfologie e forme aventi profonde radici strutturali. La distruzione che crea lo spazio. La genesi stessa della forma segue predominanti algoritmi matematici governati e corretti da variabili di diversa natura che definiscono l'enviroment di influenze interagenti ed agenti sul campione di studio. In questo caso la ricerca è focalizzata su processi erosivi fisici e chimici, di agenti esterni (quali vento e sali rispettivamente) ,di cui materiali inorganici, quali minerali e aggregati degli stessi (rocce), sono soggetti. In particolare, l’interesse è approfondito su fenomeni apparentemente emergenti dei tafoni e dei cosiddetti Micro canyon. A tal scopo si sfrutterà un metodo di soft kill option (SKO) di ottimizzazione topologica (optimization topology) attraverso gli strumenti informatici più idonei quali software di modellazione parametrica e di calcolo computazionale. La sperimentazione sta proprio nell'utilizzare uno strumento concepito per uno scopo, con un'ottica strettamente ingegneristica, per un'altra meta, ossia ricavare e ottenere se possibile un metodo di lavoro o anche solo un processo generativo tale da riprodurre o simulare casi e situazioni riscontrabili in natura negli eventi soggetti a erosione. Il tutto coerente con le regole che stanno alla base della genesi degli stessi. Il parallelismo tra singolarità naturale e architettura risiede nella generazione degli spazi e nella combinazione di questi. L’ambizioso obiettivo è quello di innescare un ciclo generativo, che messo in comunicazione diretta con un contesto variegato ed eterogeneo, dia vita a una soluzione progettuale dall'alto contenuto morfologico e spaziale.

Macchinario per il disimballo di bobine: dal bisogno al progetto

Ho progettato un sistema semi automatico per il disimballo di bobine di film plastico formato da una rulliera motorizzata, una catenaria a denti di cane, un dispenser di euro pallet e una pinza end-effector. Inoltre mi sono concentrato sullo studio della logistica dei carrelli elevatori dell'azienda, producendo una mappatura dettagliata per individuare percorsi anomali o inefficienze. Prima di dedicarmi a modellazione 3D e calcoli, ho cercato di reperire più informazioni possibili che mi potessero aiutare ad ottenere un prodotto che rispondesse a tutte le specifiche richieste. Per individuare le caratteristiche progettuali su cui concentrarmi ho elaborato delle tabelle QFD, compilate assieme agli operatori addetti al disimballo, ottenendo così un’oggettiva priorità sulle funzioni necessarie. La progettazione ha portato ad un macchinario sicuramente competitivo che risponde a pieno alle funzioni richieste, nei tempi e nei modi dettati dall’azienda.

Alla ricerca dell'autenticità. Kathy Acker e Vladimir Sorokin a confronto

Il mio lavoro di tesi si intitola "Alla ricerca dell'autenticità. Kathy Acker e Vladimir Sorokin a confronto". La comparazione riflette sulle inaspettate similarità sociali, e di conseguenza letterarie, di Usa e Urss dagli anni Settanta agli anni Novanta, indagate attraverso l'arte dei due scrittori citati nel titolo.  Kathy Acker è nata nel 1947 a New York e durante gli anni Settanta frequentò assiduamente la comunità artistica definita "Downtown New York". Vladimir Sorokin è nato nel 1955 nei dintorni di Mosca e negli stessi anni entrò all'intorno del circolo "Moskovskij Konzeptualism" della grande città. Queste due comunità artistiche erano create dalla libera aggregazione di artisti, scultori, letterati, poeti, musicisti.. in un vortice creativo in contrasto con la chiusura sociale e artistica degli ambiti definibili come accademici o ufficiali.  Con le loro opere Acker e Sorokin cercarono di distruggere le norme sovraimposte e arrivare all'"autenticità" riguardo al sé, all'homo sovieticus, all'uomo americano e riguardo al genere umano in generale.  Nell'arco del mio studio l'utopia del radioso avvenire sovietico e l'utopia del sogno americano d'oltreoceano si sono rivelati come prigioni della vita di ogni giorno, in grado di allontanare l'uomo dai suoi desideri veri e dai suoi impulsi più umani. Le risposte artistiche delle due comunità in generale e dei due scrittori in particolare sono volte alla liberazione dai vincoli dell'utopia e alla riscoperta di ciò che è ritenuto come debolezza e bassezza dell'uomo. Le due comunità artistiche cercarono il contatto con un vasto pubblico non elitario, cercano un linguaggio comprensibile da tutti. Contemporaneamente il corpo con tutte le sue pulsioni cerca di riguadagnare il proprio spazio in un sè egemonizzato dalla mente. Ma quel che queste comunità artistiche soprattutto fanno è porre domande alla coscienza e incoscienza della società. Cercano di trasformare il terrore quotidiano in qualcosa di comprensibile e scaricabile, un ruolo che una volta era proprio dei rituali trasgressivi del popolo e che dal Novecento, con la trasformazione del popolo in massa omologata, sono venuti a mancare. Acker e Sorokin cercano strutture narrative e artistiche in grado di proporre alla “corporealtà collettiva” una via di redenzione ritualistica. Questi artisti non si conformano e sono in grado di illuminare, di dare sostentamento all'individuo nella ricerca personale di una lingua, di un pensiero, di un mito in cui vivere. Reagiscono al balbettio omologante delle società di massa, non si adeguano a nessuna forma fissa e anche la loro arte continua a evolvere, a fallire, a cercare.

IN LOCO VRBI DICITVR PORTAVREA: Dal disegno al modello digitale, studio per una ipotesi ricostruttiva della Porta Aurea di Ravenna ai fini della fruizione museale.

In questo studio si esamina la ricostruzione di Porta Aurea a Ravenna, edificio di epoca romana ormai scomparsa ma di cui rimangono molti documenti sia a livello di tradizione storica locale che per quanto riguarda disegni di illustri architetti come Andrea Palladio. Il processo di ricostruzione si articola sull’uso di materiale distintamente catalogato a seconda di diversi gradi di incertezza. Per giungere alla costruzione sono state effettuate anche due campagne di rilievo con la tecnica di acquisizione del Laser Scanner Leica C10 all-in-one. La prima presso il Museo Nazionale di Ravenna, dove sono tutt’oggi conservati alcuni frammenti architettonici di pregio provenienti da Porta Aurea. Una seconda indagine di rilievo è stata invece effettuata presso le mura di Ravenna in Via di Porta Aurea ove rimangono i resti delle porzioni di mura o meglio torrioni verticali che incorniciavano il monumento ravennate. Sintesi finale di questo lavoro è il raggiungimento di un modello “possibile” ma comunque ideale desunto dall’intreccio di diverse fonti iconografiche al fine di una possibile fruizione museale presso lo stesso Museo Nazionale di Ravenna.

Realizzazione di un sistema di traduzione automatica di regole semantiche dall'italiano al francese.

Nell’ambito di questo progetto di tesi è stato studiato un sistema per la traduzione automatica, dall'italiano al francese, del contenuto di regole semantiche. Le regole in oggetto riguardano la categorizzazione di documenti secondo la tassonomia definita da IPTC.

Tecnologie RFId: dal tag ai sistemi back-end

I sistemi di identificazione tramite radiofrequenza hanno acquistato negli ultimi tempi una sempre maggiore importanza per il mondo produttivo, soprattutto nel settore della movimentazione delle merci, evolvendo verso applicazioni di tracciamento sempre più avanzate. La tesi si propone di analizzare in dettaglio la tecnologia RFId, chiarendone gli aspetti fondamentali ed esponendo criticità e punti di forza.

Studio della distribuzione del segnale misurato dal rivelatore a tempo di volo (tof) di alice e di nuovi algoritmi per la sua ottimizzazione

Questa tesi si propone di investigare l'origine di effetti non gaussiani nella distribuzione del segnale del rivelatore Time of Flight (TOF) dell'esperimento A Large Ion Collider Experiment (ALICE). Con la presa dati iniziata nel 2009 si è infatti osservata un'asimmetria nel segnale la cui origine è ancora oggetto di studio. L'analisi svolta mostra come essa sia dovuta a motivi strumentali piuttosto che fenomenologici e permette quindi di correggere in parte questa anomalia migliorando la risoluzione del rivelatore. ALICE è uno dei quattro esperimenti allestiti lungo l'anello del LHC e ha come obiettivo principale verificare l'esistenza di prove sperimentali che confermino l'esistenza di un nuovo stadio della materia, il cosiddetto Quark Gluon Plasma (QGP). Secondo la Cromodinamica Quantistica (QCD), la teoria che descrive l'interazione forte, caratteristica fondamentale di quark e gluoni è il loro confinamento all'interno di adroni. Studi recenti nell'ambito della QCD non-perturbativa hanno tuttavia dimostrato che in condizioni estreme di densità di materia adronica e temperatura sarebbe possibile un'inversione di tendenza nell'andamento della costante di accoppiamento forte. Le condizioni necessarie alla formazione del QGP sono ben riproducibili nelle collisioni ad energie ultrarelativistiche tra ioni pesanti, come quelle che sono state prodotte a LHC negli ultimi due anni, fra ioni di piombo con energie del centro di massa pari a 2.76 TeV per coppia di nucleoni. L'esperimento ALICE si propone di studiarne i prodotti e poiché la molteplicità di particelle che si generano nell'urto e considerevole, e necessario un sistema di rivelazione che permetta l'identificazione di particelle cariche su un grande angolo solido e in un ampio intervallo di impulsi. Il TOF, utilizzando un particolare rivelatore a gas detto Multigap Resistive Plate Chamber (MRPC), svolge brillantemente questo compito permettendo di raggiungere una risoluzione temporale inferiore ai 100 ps.