Middleware per la gestione di interfacce di comunicazione e di sorgenti di contesto in ambienti wireless eterogenei

The full exploitation of multi-hop multi-path connectivity opportunities offered by heterogeneous wireless interfaces could enable innovative Always Best Served (ABS) deployment scenarios where mobile clients dynamically self-organize to offer/exploit Internet connectivity at best. Only novel middleware solutions based on heterogeneous context information can seamlessly enable this scenario: middleware solutions should i) provide a translucent access to low-level components, to achieve both fully aware and simplified pre-configured interactions, ii) permit to fully exploit communication interface capabilities, i.e., not only getting but also providing connectivity in a peer-to-peer fashion, thus relieving final users and application developers from the burden of directly managing wireless interface heterogeneity, and iii) consider user mobility as crucial context information evaluating at provision time the suitability of available Internet points of access differently when the mobile client is still or in motion. The novelty of this research work resides in three primary points. First of all, it proposes a novel model and taxonomy providing a common vocabulary to easily describe and position solutions in the area of context-aware autonomic management of preferred network opportunities. Secondly, it presents PoSIM, a context-aware middleware for the synergic exploitation and control of heterogeneous positioning systems that facilitates the development and portability of location-based services. PoSIM is translucent, i.e., it can provide application developers with differentiated visibility of data characteristics and control possibilities of available positioning solutions, thus dynamically adapting to application-specific deployment requirements and enabling cross-layer management decisions. Finally, it provides the MMHC solution for the self-organization of multi-hop multi-path heterogeneous connectivity. MMHC considers a limited set of practical indicators on node mobility and wireless network characteristics for a coarsegrained estimation of expected reliability/quality of multi-hop paths available at runtime. In particular, MMHC manages the durability/throughput-aware formation and selection of different multi-hop paths simultaneously. Furthermore, MMHC provides a novel solution based on adaptive buffers, proactively managed based on handover prediction, to support continuous services, especially by pre-fetching multimedia contents to avoid streaming interruptions.

Ingegneria di sistemi auto‐organizzanti con il paradigma multiagente

Self-organisation is increasingly being regarded as an effective approach to tackle modern systems complexity. The self-organisation approach allows the development of systems exhibiting complex dynamics and adapting to environmental perturbations without requiring a complete knowledge of the future surrounding conditions. However, the development of self-organising systems (SOS) is driven by different principles with respect to traditional software engineering. For instance, engineers typically design systems combining smaller elements where the composition rules depend on the reference paradigm, but typically produce predictable results. Conversely, SOS display non-linear dynamics, which can hardly be captured by deterministic models, and, although robust with respect to external perturbations, are quite sensitive to changes on inner working parameters. In this thesis, we describe methodological aspects concerning the early-design stage of SOS built relying on the Multiagent paradigm: in particular, we refer to the A&A metamodel, where MAS are composed by agents and artefacts, i.e. environmental resources. Then, we describe an architectural pattern that has been extracted from a recurrent solution in designing self-organising systems: this pattern is based on a MAS environment formed by artefacts, modelling non-proactive resources, and environmental agents acting on artefacts so as to enable self-organising mechanisms. In this context, we propose a scientific approach for the early design stage of the engineering of self-organising systems: the process is an iterative one and each cycle is articulated in four stages, modelling, simulation, formal verification, and tuning. During the modelling phase we mainly rely on the existence of a self-organising strategy observed in Nature and, hopefully encoded as a design pattern. Simulations of an abstract system model are used to drive design choices until the required quality properties are obtained, thus providing guarantees that the subsequent design steps would lead to a correct implementation. However, system analysis exclusively based on simulation results does not provide sound guarantees for the engineering of complex systems: to this purpose, we envision the application of formal verification techniques, specifically model checking, in order to exactly characterise the system behaviours. During the tuning stage parameters are tweaked in order to meet the target global dynamics and feasibility constraints. In order to evaluate the methodology, we analysed several systems: in this thesis, we only describe three of them, i.e. the most representative ones for each of the three years of PhD course. We analyse each case study using the presented method, and describe the exploited formal tools and techniques.

Altinópolis, una utopia brasiliana. Analisi di una esperienza di educazione alla pace e non violenza come pratica alternativa dell'educazione popolare

The present thesis has as its object of study a project called “Education towards Peace and No Violence”, developed in the town of Altinópolis, in the inner part of the state of São Paulo, Brazil. Based on the analysis and the studies that were carried out, it was possible to identify the difficulties in the implementation of the project, as well as the positive results evidenced by the reduction of the reports of violence in the town. Through a careful research of the historical facts, it shall be demonstrated the progress of education, particularly in Brazil, throughout the years. In addition, a panoramic view of the studies and programs for peace developed in North America and Occidental Europe will be presented. The education for peace based in the holistic concept of human development appeared as a new educational paradigm that works as a crucial instrument in the construction process towards a peaceful and more human society based in social justice.

Scene di violenza, esperienze emotive e condotte aggressive

The aim of this research is to estimate the impact of violent film excerpts on university students (30 f, 30 m) in two different sequences, a “justified” violent scene followed by an “unjustified” one, or vice versa, as follows: 1) before-after sequences, using Aggressive behaviour I-R Questionnaire, Self Depression Scale and ASQ-IPAT Anxiety SCALE; 2) after every excerpt, using a self-report to evaluate the intensity and hedonic tone of emotions and the violence justification level. Emotion regulation processes (suppression, reappraisal, self-efficacy) were considered. In contrast with the “unjustified” violent scene, during the “justified” one, the justification level was higher; intensity and unpleasantness of negative emotions were lower. Anxiety (total and latent) and rumination diminished after both types of sequences. Rumination decreases less after the JV-UV sequence than after the UV-JV sequence. Self-efficacy in controlling negative emotions reduced rumination, whereas suppression reduced irritability. Reappraisal, self-efficacy in positive emotion expression and perceived emphatic selfefficacy did not have any effects.

Democrazia partecipativa, cooperazione e sostenibilità nei processi di sviluppo locale in Ecuador. Il caso di Salinas de Guaranda

Il dibattito sullo sviluppo, che caratterizza da anni i principali tavoli di discussione politica a livello internazionale, ha via via richiamato l'attenzione sul “locale” come dimensione ottimale a partire dalla quale implementare politiche volte al miglioramento delle condizioni di vita di molte popolazioni del mondo. L'allargamento a livello globale del già esistente gap tra i “poveri” – vecchi e nuovi – ed i “ricchi” del mondo ha reso la lotta e l'alleviamento della povertà uno degli obiettivi più urgenti dei nostri giorni, ma anche più difficili da raggiungere a livello mondiale. Gran parte della povertà mondiale è povertà rurale, ovvero quella povertà che caratterizza i tanti agricoltori (campesinos) del mondo, che continuano a vivere ai margini della società e ad essere scalzati fuori da ogni possibilità di accesso al mercato per via della mancanza strutturale di risorse nella quale versano. La necessità di sopravvivere, unita all'esigenza di incorporare i veloci cambiamenti imposti dal mondo globalizzato, ha portato nel tempo queste popolazioni a perdere o a contaminare, talvolta irreparabilmente, l' “antico” rapporto con l'ambiente e la natura, fonte di vita e sostentamento, ed anche molti dei propri ancestrali aspetti culturali tradizionali che, paradossalmente, sono stati proprio gli unici elementi dimostratisi in grado di rinsaldare i legami già esistenti all'interno delle comunità e di tenere unite queste fragili realtà di fronte alle continue sfide imposte dal “cambiamento”. E' in questo contesto che si innesta l'esperienza di sviluppo proposta e presentata in questo lavoro; un'esperienza che nasce sulle Ande ecuadoriane, in un villaggio meticcio della Provincia di Bolívar, capoluogo parrocchiale di una più vasta comunità che raggruppa una trentina di villaggi, molti dei quali in toto o in prevalenza di etnia indigena quechua. Un'esperienza, quella di Salinas de Bolívar, che all'interno del panorama ecuadoriano si presenta come un esempio innovativo, coraggioso ed ambizioso di riconquista del protagonismo da parte della popolazione locale, divenendo “emblema” dello sviluppo e “immagine che guida”. Questo, in un paese come l'Ecuador, dove l'assenza di politiche efficaci a supporto del settore agricolo, da un lato, e di politiche sociali efficienti atte a risollevare le precarie condizioni di vita in cui versa la maggior parte della popolazione, soprattutto campesina, dall'altro, rende obbligatorio riflettere sull'importanza e sull'esigenza insieme di restituire spazio e vigore alle compagini della società civile che, come nell'esperienza raccontata, attraverso particolari forme organizzative di tipo socio-economico, come la Cooperazione, sono andate a colmare, seppur solo in parte, i vuoti lasciati dallo Stato dando vita a iniziative alternative rispetto al ventaglio di proposte offerte dai consueti meccanismi di mercato, fortemente escludenti, ma comunque vicine agli attori locali e più rappresentative delle loro istanze, giustificando ed avallando ancora di più la netta separazione oramai riconosciuta tra mera “crescita” e “sviluppo”, dove l'aspetto qualitativo, che va a misurare per l'appunto il benessere e la qualità di vita di una popolazione e del suo ambiente, non deve cioè cedere il passo a quello più strettamente quantitativo, a partire dal quale, se non vi è una equa redistribuzione delle risorse, quasi mai si potranno innescare processi di sviluppo duraturi e sostenibili nel tempo. L'accezione di “alternativo” sta quindi ad indicare, prima di ogni altra cosa, l'implementazione di processi di sviluppo che siano includenti e pertanto accessibili a tutti gli individui, indistintamente, e realmente concretizzabili partendo dalle risorse presenti in loco e nel rispetto di quell'insieme identitario – storico, sociale, culturale, politico, economico ed ambientale – che caratterizza ogni realtà ed ogni specifico contesto sociale ed economico del mondo. Di qui l'importanza di implementare alla base processi di governance che, attraverso la partecipazione di tutti gli attori del territorio si configurino come emanazione delle istanze degli stessi. Nel corso del lavoro si fornirà un breve ma incisivo identikit dell'Ecuador, come fondamentale cornice al caso di studio oggetto di indagine, supportata da una descrizione geografico-ambientale, sociale, culturale, politica ed economica della realtà nella quale esso si sviluppa, tanto a livello nazionale quanto più strettamente regionale. Questo esercizio sarà utile al fine di rendere più visibili e comprensibili i fattori che hanno determinato lo sviluppo e la continuità dell'esperienza dei Salineros nel lungo cammino, iniziato appena trent'anni fa, verso l'autodeterminazione e la riconquista di una libertà di scelta un tempo non lontano negata e successivamente ritrovata, che li ha resi di nuovo protagonisti del proprio presente e in grado di guardare ad un futuro diverso e possibile.

Estro linguistico e problemi traduttivi in Mr Alfred M. A. di George Friel

My work is focused on George Friel, a distinguished Scottish writer known for his witty style bristling with puns and more or less literary allusions. In particular I proposed an annotated translation of what can be considered his masterpiece “Mr Alfred M.A.” in which wordplay has a central role for its plot. In the first part of my thesis I outlined the fundamental features of Friel’s writing: the wide variety of registers and styles, the rhythm and irony. Additionally I pointed out the strategies that the translator has to face when translating this text. Finally I identified the number of problems which may arise while translating Friel’s “Mr Alfred M.A.” into Italian with particular concern on the strategies of supplementation and explicitation for wordplay.

Metamorfismo ercinico di bassa-pressione: evoluzione tettonico-metamorfica del complesso di mandatoriccio (massiccio della Sila - Calabria)

Low-pressure/high-temperature (LP/HT) metamorphic belts are characterised by rocks that experienced abnormal heat flow in shallow crustal levels (T > 600 °C; P < 4 kbar) resulting in anomalous geothermal gradients (60-150 °C/km). The abnormal amount of heat has been related to crustal underplating of mantle-derived basic magmas or to thermal perturbation linked to intrusion of large volumes of granitoids in the intermediate crust. In particular, in this latter context, magmatic or aqueous fluids are able to transport relevant amounts of heat by advection, thus favouring regional LP/HT metamorphism. However, the thermal perturbation consequent to heat released by cooling magmas is responsible also for contact metamorphic effects. A first problem is that time and space relationships between regional LP/HT metamorphism and contact metamorphism are usually unclear. A second problem is related to the high temperature conditions reached at different crustal levels. These, in some cases, can completely erase the previous metamorphic history. Notwithstanding this problem is very marked in lower crustal levels, petrologic and geochronologic studies usually concentrate in these attractive portions of the crust. However, only in the intermediate/upper-crustal levels of a LP/HT metamorphic belt the tectono-metamorphic events preceding the temperature peak, usually not preserved in the lower crustal portions, can be readily unravelled. The Hercynian Orogen of Western Europe is a well-documented example of a continental collision zone with widespread LP/HT metamorphism, intense crustal anatexis and granite magmatism. Owing to the exposure of a nearly continuous cross-section of the Hercynian continental crust, the Sila massif (northern Calabria) represents a favourable area to understand large-scale relationships between granitoids and LP/HT metamorphic rocks, and to discriminate regional LP/HT metamorphic events from contact metamorphic effects. Granulite-facies rocks of the lower crust and greenschist- to amphibolite-facies rocks of the intermediate-upper crust are separated by granitoids emplaced into the intermediate level during the late stages of the Hercynian orogeny. Up to now, advanced petrologic studies have been focused mostly in understanding P-T evolution of deeper crustal levels and magmatic bodies, whereas the metamorphic history of the shallower crustal levels is poorly constrained. The Hercynian upper crust exposed in Sila has been subdivided in two different metamorphic complexes by previous authors: the low- to very low-grade Bocchigliero complex and the greenschist- to amphibolite-facies Mandatoriccio complex. The latter contains favourable mineral assemblages in order to unravel the tectono-metamorphic evolution of the Hercynian upper crust. The Mandatoriccio complex consists mainly of metapelites, meta-arenites, acid metavolcanites and metabasites with rare intercalations of marbles and orthogneisses. Siliciclastic metasediments show a static porphyroblastic growth mainly of biotite, garnet, andalusite, staurolite and muscovite, whereas cordierite and fibrolite are less common. U-Pb ages and internal features of zircons suggest that the protoliths of the Mandatoriccio complex formed in a sedimentary basin filled by Cambrian to Silurian magmatic products as well as by siliciclastic sediments derived from older igneous and metamorphic rocks. In some localities, metamorphic rocks are injected by numerous aplite/pegmatite veins. Small granite bodies are also present and are always associated to spotted schists with large porphyroblasts. They occur along a NW-SE trending transcurrent cataclastic fault zone, which represents the tectonic contact between the Bocchigliero and the Mandatoriccio complexes. This cataclastic fault zone shows evidence of activity at least from middle-Miocene to Recent, indicating that brittle deformation post-dated the Hercynian orogeny. P-T pseudosections show that micaschists and paragneisses of the Mandatoriccio complex followed a clockwise P-T path characterised by four main prograde phases: thickening, peak-pressure condition, decompression and peak-temperature condition. During the thickening phase, garnet blastesis started up with spessartine-rich syntectonic core developed within micaschists and paragneisses. Coevally (340 ± 9.6 Ma), mafic sills and dykes injected the upper crustal volcaniclastic sedimentary sequence of the Mandatoriccio complex. After reaching the peak-pressure condition (≈4 kbar), the upper crust experienced a period of deformation quiescence marked by the static overgrowths of S2 by Almandine-rich-garnet rims and by porphyroblasts of biotite and staurolite. Probably, this metamorphic phase is related to isotherms relaxation after the thickening episode recorder by the Rb/Sr isotopic system (326 ± 6 Ma isochron age). The post-collisional period was mainly characterised by decompression with increasing temperature. This stage is documented by the andalusite+biotite coronas overgrown on staurolite porphyroblasts and represents a critical point of the metamorphic history, since metamorphic rocks begin to record a significant thermal perturbation. Peak-temperature conditions (≈620 °C) were reached at the end of this stage. They are well constrained by some reaction textures and mineral assemblages observed almost exclusively within paragneisses. The later appearance of fibrolitic sillimanite documents a small excursion of the P-T path across the And-Sil boundary due to the heating. Stephanian U-Pb ages of monazite crystals from the paragneiss, can be related to this heating phase. Similar monazite U-Pb ages from the micaschist combined with the lack of fibrolitic sillimanite suggest that, during the same thermal perturbation, micaschists recorded temperatures slightly lower than those reached by paragneisses. The metamorphic history ended with the crystallisation of cordierite mainly at the expense of andalusite. Consequently, the Ms+Bt+St+And+Sill+Crd mineral assemblage observed in the paragneisses is the result of a polyphasic evolution and is characterised by the metastable persistence of the staurolite in the stability fields of the cordierite. Geologic, geochronologic and petrographic data suggest that the thermal peak recorded by the intermediate/upper crust could be strictly connected with the emplacement of large amounts of granitoid magmas in the middle crust. Probably, the lithospheric extension in the relatively heated crust favoured ascent and emplacement of granitoids and further exhumation of metamorphic rocks. After a comparison among the tectono-metamorphic evolutions of the different Hercynian crustal levels exposed in Sila, it is concluded that the intermediate/upper crustal level offers the possibility to reconstruct a more detailed tectono-metamorphic history. The P-T paths proposed for the lower crustal levels probably underestimate the amount of the decompression. Apart from these considerations, the comparative analysis indicates that P-T paths at various crustal levels in the Sila cross section are well compatible with a unique geologic scenario, characterized by post-collisional extensional tectonics and magmas ascent.

Strategie di elaborazione di tracciati GPS per reti veicolari

Il proliferare di dispositivi di elaborazione e comunicazione mobili (telefoni cellulari, computer portatili, PDA, wearable devices, personal digital assistant) sta guidando un cambiamento rivoluzionario nella nostra società dell'informazione. Si sta migrando dall'era dei Personal Computer all'era dell'Ubiquitous Computing, in cui un utente utilizza, parallelamente, svariati dispositivi elettronici attraverso cui può accedere a tutte le informazioni, ovunque e quantunque queste gli si rivelino necessarie. In questo scenario, anche le mappe digitali stanno diventando sempre più parte delle nostre attività quotidiane; esse trasmettono informazioni vitali per una pletora di applicazioni che acquistano maggior valore grazie alla localizzazione, come Yelp, Flickr, Facebook, Google Maps o semplicemente le ricerche web geo-localizzate. Gli utenti di PDA e Smartphone dipendono sempre più dai GPS e dai Location Based Services (LBS) per la navigazione, sia automobilistica che a piedi. Gli stessi servizi di mappe stanno inoltre evolvendo la loro natura da uni-direzionale a bi-direzionale; la topologia stradale è arricchita da informazioni dinamiche, come traffico in tempo reale e contenuti creati dagli utenti. Le mappe digitali aggiornabili dinamicamente sono sul punto di diventare un saldo trampolino di lancio per i sistemi mobili ad alta dinamicità ed interattività, che poggiando su poche informazioni fornite dagli utenti, porteranno una moltitudine di applicazioni innovative ad un'enorme base di consumatori. I futuri sistemi di navigazione per esempio, potranno utilizzare informazioni estese su semafori, presenza di stop ed informazioni sul traffico per effettuare una ottimizzazione del percorso che valuti simultaneamente fattori come l'impronta al carbonio rilasciata, il tempo di viaggio effettivamente necessario e l'impatto della scelta sul traffico locale. In questo progetto si mostra come i dati GPS raccolti da dispositivi fissi e mobili possano essere usati per estendere le mappe digitali con la locazione dei segnali di stop, dei semafori e delle relative temporizzazioni. Queste informazioni sono infatti oggi rare e locali ad ogni singola municipalità, il che ne rende praticamente impossibile il pieno reperimento. Si presenta quindi un algoritmo che estrae utili informazioni topologiche da agglomerati di tracciati gps, mostrando inoltre che anche un esiguo numero di veicoli equipaggiati con la strumentazione necessaria sono sufficienti per abilitare l'estensione delle mappe digitali con nuovi attributi. Infine, si mostrerà come l'algoritmo sia in grado di lavorare anche con dati mancanti, ottenendo ottimi risultati e mostrandosi flessibile ed adatto all'integrazione in sistemi reali.