Implementazione automatica di protocolli di interazione AUML mediante reti di Petri

Questa tesi si basa su una serie di lavori precedenti, volti ad analizzare la correlazione tra i modelli AUML e le reti di Petri, per riuscire a fornire una metodologia di traduzione dai primi alle seconde. Questa traduzione permetterà di applicare tecniche di model checking alle reti così create, al fine di stabilire le proprietà necessarie al sistema per poter essere realizzato effettivamente. Verrà poi discussa un'implementazione di tale algoritmo sviluppata in tuProlog ed un primo approccio al model checking utilizzando il programma Maude. Con piccole modifiche all'algoritmo utilizzato per la conversione dei diagrammi AUML in reti di Petri, è stato possibile, inoltre, realizzare un sistema di implementazione automatica dei protocolli precedentemente analizzati, verso due piattaforme per la realizzazione di sistemi multiagente: Jason e TuCSoN. Verranno quindi presentate tre implementazioni diverse: la prima per la piattaforma Jason, che utilizza degli agenti BDI per realizzare il protocollo di interazione; la seconda per la piattaforma TuCSoN, che utilizza il modello A&A per rendersi compatibile ad un ambiente distribuito, ma che ricalca la struttura dell'implementazione precedente; la terza ancora per TuCSoN, che sfrutta gli strumenti forniti dalle reazioni ReSpecT per generare degli artefatti in grado di fornire una infrastruttura in grado di garantire la realizzazione del protocollo di interazione agli agenti partecipanti. Infine, verranno discusse le caratteristiche di queste tre differenti implementazioni su un caso di studio reale, analizzandone i punti chiave.

Progetto di un museo della città a Mehrauli, New Delhi, India

Il mio lavoro di Tesi prende in considerazione la possibilità di riportare alla vita un antico luogo che ha smarrito il suo senso nella città contemporanea. Si tratta dell’area della vasca dello Hauz-i-Shamsi,suggestiva per il legame forte con l’elemento acqua. Il tema progettuale è quello di mantenere questa zona come fonte attrattiva turistica poiché sede del Museo della città di Delhi, riconnettendolo con le altre aree di interesse e con i villaggi circostanti, diventando insieme al parco archeologico di Mehrauli un grande luogo socio culturale della collettività. Risulta evidente di conseguenza, che l'architettura dell'edificio collettivo, o più semplicemente edificio pubblico, si lega indissolubilmente alla vita civile e al suo sviluppo. In tal senso l'analisi storica è il primo momento di un lavoro che tende a definirsi nell'ambito più propriamente disciplinare, progettuale, attraverso l'analisi del ruolo urbano di tali edifici. Per questo motivo i capitoli sono così suddivisi: nel primo si riportano brevi cenni sulla storia dell’India, per poi concentrarsi sulla storia delle evoluzioni urbane di Delhi fino ad arrivare alla progettazione nel XX secolo di Nuova Delhi, esempio di città di fondazione. Nel secondo capitolo si riporta un’analisi dell’area di Mehrauli con un breve elenco dei principali monumenti, fondamentali per capire l’importanza del Parco archeologico, luogo indicato come Patrimonio dell’UNESCO. Ritengo che il viaggio in India sia per un architetto un’esperienza travolgente: non a caso questa tappa ha segnato profondamente le opere e il lavoro di due maestri quali Louis I. Kahn e Le Corbusier. Ho dedicato, infatti, il terzo capitolo ad alcune considerazioni su quest’argomento. Il quarto capitolo vuole essere un’analisi delle principali architetture indiane quali padiglioni, moschee, templi sacri. Nella cultura indiana l’architettura è legata alle religioni del paese e credo che si possano capire le architetture solo dopo aver compreso la complessità del panorama religioso. Si sono analizzati anche i principi compositivi in particolare il ruolo delle geometrie sia nelle architetture tipiche, sia nella pianificazione delle città di fondazione. Il quinto capitolo è un approfondimento sul rapporto architettura-acqua. Prima con brevi cenni e foto suggestive sul rapporto nella storia dell’architettura, poi con spiegazioni sul ruolo sacro dell’acqua in India. Il sesto capitolo, infine, è un approfondimento sul progetto del Museo della città di Delhi.

Les québécismes dans les romans d'Anne Hébert et de Gaétan Soucy et leurs traductions italiennes: analyse intralinguistique et contrastive

La tesi si sofferma sulla traduzione dal francese quebecchese verso l'italiano di due opere letterarie del Québec rappresentative della lingua francese quebecchese: "Les Fous de Bassan" di Anne Hébert e "La petite fille qui aimait trop les allumettes" di Gaétan Soucy. Attraverso un'analisi dei quebecismi e della loro traduzione in italiano, abbiamo potuto verificare se i traduttori avessero tenuto conto o meno delle specificità del francese del Québec. Grazie alle ricerche condotte, abbiamo potuto dimostrare che è possibile giungere a una traduzione dei quebecismi soddisfacente grazie alla corretta consultazione delle risorse lessicografiche specifiche sul francese del Québec attualmente disponibili.

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.

Les québécismes, ces méconnus : réflexion méthodologique sur la traduction en italien du lexique québécois dans Agaguk et N'tsuk d'Yves Thériault.

La tesi si sofferma sulla traduzione in italiano delle specificità lessicali del francese del Québec rilevate in due opere rappresentative della lingua francese quebecchese : Agaguk e N’tsuk di Yves Thériault. L’analisi monolingue e contrastiva dei quebecismi e della loro traduzione italiana ci ha permesso di verificare se i traducenti utilizzati rendessero conto o meno della specificità del francese quebecchese. La nostra ricerca ha quindi contribuito a dimostrare che una traduzione soddisfacente dei quebecismi è possibile, ma solo attraverso la consultazione corretta degli strumenti lessicografici specifici sul francese del Québec di cui oggi il traduttore può disporre.

Le matrici e la loro algebra

In questa tesi ci si propone lo studio dell'anello delle matrici quadrate di ordine n, su un campo, per arrivare a dimostrare che ha solo ideali banali pur non essendo un campo. Allo scopo si introducono le operazioni elementari e il procedimento di traduzione di tali operazioni con opportune moltiplicazioni per matrici dette elementari. Si considera inoltre il gruppo generale lineare arrivando a dimostrare che un particolare sottoinsieme delle matrici elementari è un generatore di tale gruppo.

Il Vocalismo Andaluso. Analisi linguistica della parlata granadina.

Il presente lavoro ha come scopo lo studio del fenomeno linguistico dell'apertura vocalica nella parlata della città di Granada. Attraverso un'approfondita analisi fonetica della produzione orale di parlanti granadini, viene proposta un'indagine sulle eventuali implicazioni che il fenomeno dell'apertura vocalica può avere sul sistema grammaticale spagnolo, aggiornando al 2012 gli studi su tale argomento.

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.

Transizione spagnola e memoria storica. Un’analisi delle leggi Ley de amnistía e Ley para la memoria histórica e della loro ricezione nelle politiche educative in Spagna

Questo elaborato ha l'obiettivo di analizzare due testi di legge spagnoli, la "Ley de amnistía" del 1977 e la "Ley para la memoria histórica" del 2007 e la loro ricezione nelle politiche educative della Spagna. Il lavoro di ricerca, svolto nella città di Madrid, si è focalizzato soprattutto sull'analisi descrittiva di dieci manuali di storia utilizzati in due "Institutos de enseñanza secundaria" e sul commento delle interviste fatte a cinque docenti operanti in questi istituti.

Le traitement de la terminologie dans les ressources lexicographiques. Etude du domaine des énergies renouvelables

La nostra tesi affronta il tema del trattamento della terminologia nelle risorse lessicografiche monolingui e bilingui. Nella società contemporanea, il progresso tecnico-scientifico e la democratizzazione del sapere attuano una migrazione del lessico specialistico verso la lingua corrente. Una delle conseguenze di questa dinamica linguistica è la necessità di includere i tecnicismi nei dizionari destinati al grande pubblico. L'attenzione dei lessicografi si focalizza su quei settori che hanno un forte impatto sociale. Il nostro studio riguarda,nello specifico, il trattamento lessicografico riservato alla terminologia delle energie rinnovabili.