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.

Diritto e potere nella società internazionale. La scuola inglese e le regole di coesistenza dopo la guerra fredda

Il presente studio indaga il rapporto tra il diritto internazionale e il potere, in particolare, il rapporto tra lo sviluppo e il funzionamento di alcuni principi fondamentali della coesistenza internazionale e le diseguaglianze di potere tra gli stati, nella prospettiva della “scuola inglese” della teoria delle relazioni internazionali. Quella a cui si farà riferimento è la scuola inglese “classica” riconosciuta come un corpo di pensiero derivante dall’opera di Martin Wight e Hedley Bull, e non la scuola inglese «moderna» o «nuova», che, in tempi più recenti, soprattutto nel corso degli anni ‘90, ha, più che altro, contribuito al successo della sua «invenzione» . Lo scopo è quello di mostrare, in primo luogo, come una delle caratteristiche distintive di questa scuola sia l’enfasi sulle regole, e, in special modo, sulle regole di diritto internazionale, sebbene in nessun posto la posizione di questi studiosi sull’argomento sia esposta in modo sistematico. Se la prima parte di questo lavoro, di tipo teoretico, tratta la questione della definizione operativa e della comprensione generale dell’istituzione del diritto internazionale, secondo l’approccio della scuola inglese classica, la seconda parte, di tipo empirico, tenta di verificare, tramite esemplificazioni storiche, tratte da eventi politici contemporanei, la validità delle principali conclusioni elaborate nella prima parte. E ciò con particolare riferimento alla distinzione, introdotta da Bull, delle due categorie analitiche di “pluralismo” e “solidarismo”, considerate come un’utile chiave di lettura per interpretare gli sviluppi della società internazionale e del diritto dopo la guerra fredda.

L'attività pionieristica della Scuola bolognese nello studio e nell'utilizzo del cemento armato: 1875 - 1924. Tecniche costruttive e tipologie architettoniche

La ricerca mira ad indagare l’origine della Scuola ingegneristica bolognese ed il ruolo che essa ha avuto durante i suoi primi 50 anni di attività nella diffusione del calcestruzzo armato in Italia, ed in particolare nella città di Bologna, sia dal punto di vista teorico che architettonico. Il processo di sviluppo del cemento armato è stato indagato secondo i percorsi tipici della scienza e della tecnica: teoria e pratica appaiono nel periodo di sperimentazione del materiale assai lontane; soltanto grazie alla comprensione delle sue potenzialità costruttive e del modo di sfruttarle al meglio, esse iniziano a convergere. L’interesse specifico per la Scuola bolognese va quindi a collocarsi all’interno di un panorama assai più ampio, con l’obiettivo di comprendere se, e fino a quando, le due discipline proseguono lungo strade parallele o se, al contrario, esse godono di reciproche influenze.

Identità e diaspora attraverso lo specchio doppio del processo traduttivo. La traduzione del romanzo "The Namesake" - "L'omonimo" di J. Lahiri e il doppiaggio del film "The Namesake" - "Il destino nel nome" di M. Nair

La ricerca si propone come studio teorico e analitico basato sulla traduzione letteraria e audiovisiva del genere diasporico, esemplificato nel romanzo The Namesake – L’omonimo di J. Lahiri e nel film The Namesake – Il destino nel nome di M. Nair. Si sviluppa, quindi, un doppio percorso di analisi, concentrandosi sulla traduzione interlinguistica di due modalità testuali differenti, quella letteraria (il testo narrativo) e quella audiovisiva (in particolare, il doppiaggio). L’approccio teorico è di stampo interdisciplinare, come risulta sempre più imprescindibile nel campo dei Translation Studies: infatti, si cerca di coniugare prospettive di natura più linguistica, quali i Descriptive Translation Studies (in particolare, Toury 1995) e lo sviluppo degli studi sui cosiddetti ‘universali traduttivi’, con approcci di stampo più culturalista, in particolare gli studi sulla traduzione post-coloniali, con le loro riflessioni sui concetti di ‘alterità’ e ‘ibridismo’. Completa il quadro teorico di riferimento una necessaria definizione e descrizione del genere diasporico relativo alla cultura indiana, in rapporto sia al contesto di partenza (statunitense) sia al contesto di arrivo (italiano) per entrambi i testi presi in considerazione. La metodologia scelta per l’indagine è principalmente di natura linguistica, con l’adozione del modello elaborato dallo studioso J. Malone (1988). L’analisi empirica, accompagnata da una serie di riflessioni teoriche e linguistiche specifiche, si concentra su tre aspetti cruciali per entrambe le tipologie testuali, quali: la resa della naturalezza dei dialoghi nel discorso letterario e in quello filmico, la rappresentazione del multiculturalismo e delle varietà linguistiche caratterizzanti i due testi di partenza e i numerosi riferimenti culturo-specifici delle due opere e la loro traduzione in italiano. Si propongono, infine, alcune considerazioni in ottica intersemiotica in relazione alle tre aree individuate, a integrazione dell’indagine in chiave interlinguistica.

Epos orale russo tra oralità e scrittura: problemi e proposte di traduzione

In the present thesis, I discuss the role of orality in translation, taking into account the problems arising while translating Russian folk epics. I investigate the meaning of orality in the context of folkloristic translation, trying to define a concept of oral poetry, and exploring its consequences for translation. In the first chapter, I try to identify the main differences between written literature and oral modes of expression, with special reference to folklore. Oral verbal art is performed, sung or recited, and based on a vital and dynamic interrelation between kinesics, sound, speech and gestures. According to Muhawi (2006), performance provides an interpretive frame enabling a correct interpretation of the message conveyed beyond the literal meaning. Transposing certain performance elements into print is one of the most controversial problems in folklore studies. However, formulas and formal stylistic devices may be rendered in transcription, building a bridge between oral and written elements. In the translation of oral poetry in transcription, this interconnection between orality and literacy might be emphasized, thus creating a hybrid dimension where oral and literary features coexist. In the second chapter, I introduce and describe the genre of Russian folk epics, transmitted orally, and transcribed between the 19th and 20th centuries, from a historical, linguistic and stylistic point of view. In the third and fourth chapters, I explore the issue of translation of Russian oral poetry. I first analyse existing Italian translations of Russian epics, and then present and discuss my own translation, based on a philological, scholarly approach. Thus, in my translation, which is followed by a rich commentary, I try to focus on the rendering of formulas as one of the most relevant aspects of Russian epics. At the same time, oral devices combine with literary features, thus creating a sort of frozen orality.

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.

Valutazione non distruttiva di muratura in laterizio: applicazione in laboratorio di tomografia sonica e prove dirette

Il patrimonio edilizio italiano è costituito in gran parte da costruzioni che utilizzano la muratura come struttura portante. Le conoscenze acquisite negli ultimi anni nel campo dell’ingegneria hanno reso evidente come le costruzioni in muratura siano state concepite, nel corso dei secoli, senza quegli accorgimenti che l’evoluzione delle tecniche moderne di analisi ha dimostrato essere necessari. Progettare un intervento edilizio su un edificio esistente, correlato anche alla valutazione di rischio sismico, e cercare di migliorare le prestazioni dello stesso edificio, richiede partire sempre dalla conoscenza delle caratteristiche statiche intrinseche che il materiale della muratura possiede. La conoscenza della patologia comporta l'indubbio vantaggio di mettere al corrente di cosa ci si può attendere nel futuro dal punto di vista strutturale, come ad esempio che il fenomeno non sarà eliminabile all'origine e che la fessura o lesione magari si riformerà sempre, a meno d’interventi statici rilevanti e di costi ingenti. Diventa quindi di fondamentale importanza eseguire uno studio approfondito dei fenomeni strutturali anomali di deterioramento, quali lesioni, fessurazioni e simili, legati spesso a fattori ambientali, attraverso specifiche indagini diagnostiche e di monitoraggio dello stato interno delle strutture, per definire le cause responsabili e il metodo più adeguato alla tutela dei beni storici [Mastrodicasa, 1993]. Il monitoraggio dei possibili parametri che influenzano tali processi può essere continuo nel tempo o per mezzo di metodologia discontinua che prevede l’utilizzo e la ripetizione di prove non distruttive. L’elevato costo di un eventuale processo continuo ha limitato significativamente la sua applicazione, riducendo lo studio all’analisi di pochi parametri derivanti dalle prove diagnostiche e spesso non del tutto adatti alla completa analisi della struttura. Il seguente lavoro di tesi è sviluppato all’interno del progetto SmooHS (Smart Monitoring of Historic Structures) nell’ambito del 7° Programma Quadro della Commissione Europea che si pone come obiettivo lo sviluppo di strumenti di monitoraggio innovativi ‘intelligenti’ e poco invasivi e modelli di degrado e la loro sperimentazione sul campo per verificarne l’effettiva efficacia attraverso il confronto con risultati di prove non distruttive. La normativa correlata a questo studio, “Norme Tecniche per le Costruzioni’ (D.M. 14/01/2008), evidenzia come ‘La conoscenza della costruzione storica in muratura è un presupposto fondamentale sia ai fini di un’attendibile valutazione della sicurezza sismica attuale sia per la scelta di un efficace intervento di miglioramento…. Si ha pertanto la necessità di affinare tecniche di analisi e interpretazione dei manufatti storici mediante fasi conoscitive dal diverso grado di attendibilità, anche in relazione al loro impatto. La conoscenza può, infatti, essere conseguita con diversi livelli di approfondimento, in funzione dell’accuratezza delle operazioni di rilievo, delle ricerche storiche, e delle indagini sperimentali. Tali operazioni saranno funzione degli obiettivi preposti e andranno a interessare tutto o in parte l’edificio, secondo la tipologia dell’intervento previsto’. L’utilizzo di ‘Tecniche diagnostiche non distruttive di tipo indiretto, quali prove soniche e ultrasoniche’ è preferibile poiché molto promettenti e hanno il pregio di poter essere utilizzate in modo diffuso con un relativo impatto sulla costruzione e costi relativamente contenuti. La non identificazione di una procedura univoca di prove non distruttive per ciascuna tipologia edilizia rende necessario uno studio di fattibilità di diverse tecniche per valutarne l’effettiva efficacia in base al risultato atteso. L’obiettivo di questo lavoro di tesi è stato lo studio sperimentale di valutazione dell’efficacia di alcune tecniche soniche in trasmissione, tomografia e prove soniche dirette, nel monitoraggio di provini precedentemente realizzati ad hoc nei laboratori LISG (Laboratorio di Ingegneria Strutturale e Geotecnica) del DICAM dell’Università di Bologna caratterizzati da presenze di discontinuità (vacui o inclusioni di polistirolo) o materiali differenti in determinate posizioni di geometria e localizzazione nota e diverse tessiture murarie (muratura di laterizio tradizionale, muratura a sacco, inclusioni lapidee). Il capitolo 1 presenta una descrizione generale delle murature, le cause principali di deterioramento e conseguenti dissesti. Presenta inoltre una finestra sulle prove diagnostiche. Nel capitolo 2 sono riportati alcuni esempi di applicazioni di tomografia e prove soniche e sviluppi di ricerca su strutture storiche lignee e murarie eseguite recentemente. Nel capitolo 3 sono presentati i provini oggetto di studio, la loro geometria, i difetti, le sezioni. Il capitolo 4 descrive i principi fisici delle prove soniche e grandezze caratteristiche e presenta la procedura di acquisizione e relative strumentazioni. I capitoli 5 e 6 riguardano lo studio sperimentale vero e proprio ottenuto attraverso l’utilizzo di tomografia sonica e prove dirette, con descrizione delle stazioni di prova, visualizzazione dei dati in tabelle per una semplice interpretazione, loro elaborazione e susseguente analisi approfondita, con valutazione dei risultati ottenuti e debite conclusioni. Il capitolo 7 presenta un confronto delle analisi comuni a entrambe le tipologie di prove soniche, visualizzazioni di istogrammi di paragone e considerazioni deducibili.

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.

El material didáctico para la enseñanza del español como lengua extranjera en Italia: el papel de los elementos culturales en la construcción de la imagen de “lo hispánico”

In this work we examine the reference to cultural elements in a sample of 13 textbooks of Spanish as a foreign language for Italian students. The aim is to observe how they treat the cultural component in the particular context of Spanish language teaching to Italians. In this context, especially relevant issues are the linguistic and cultural proximity between Italy and Spain, and the present fascination for Spain, which has given rise to some interesting phenomena, among others, a massive emigration of Italian youths to Spain.

Yves Bonnefoy traduttore di Shakespeare: il poeta e la prova del dialogo

Contemporary French poet Yves Bonnefoy has always been attracted by English poetry, especially by Shakespeare’s work. Translating Shakespeare’s plays and sonnets has been a fundamental experience for him. The contact with a different culture, a different language and a different sort of poetry has been an important moment in his poetic experience. The dialogue between the French and the Elizabethan poet, which started in the 1950s, hasn't stopped yet and it offers some interesting perspectives to study Bonnefoy's work from a new point of view. Translation – which is first of all a poetic experience to him – is in fact the chance to get in touch with somebody else's poetry and to establish a dialogue with his poetic universe. Such a dialogue requires on the one hand an ‘ethic’ attitude on the translator's part, that is an attentive listening and a deep understanding of the original text. However, Bonnefoy has to create a new ‘poetic’ text in his own language. This is why the ‘seeds’ of his own poetry are also present in his translated texts, in which it is possible to clearly distinguish both the presence of the French poet’s own voice and his attempt to open his ‘speech’ to the specific quality of the Shakespearean poetry. On the other hand, such a deep contact with Shakespeare's work has changed the French poet, contributing to the development and maturity of his own poetry. Indeed, the Elizabethan poet is present in his work in different ways, in his critical essays as well as in his poems. Against this background, the aim of the present study is to define the complex dialogic forms and the osmotic relationships between the poetic experience and the experience of translation, which are considered two different moments of the same ontological research by the French poet.