Combinatoria e topologia di arrangiamenti di iperpiani

In questo elaborato vengono studiati gli arrangiamenti di iperpiani prima di tutto dal punto di vista combinatorio e, in seguito, dal punto di vista topologico. Particolare attenzione verrà riposta nello studio della coomologia del complemento di arrangiamenti complessi. Per giungere ad una completa descrizione coomologica si sfrutterà la costruzione e lo studio di particolari algebre esterne basate sulle caratteristiche combinatorie degli arrangiamenti.

MoNET the Mobile Network Emulation Tool Modulo kernel per l’emulazione del canale wireless

MoNET e' un emulatore per reti wireless mobili, composto da una suite di software distribuiti. MoNET fornisce a ricercatori e sviluppatori un ambiente virtualizzato controllato per lo sviluppo e il test di applicazioni mobili e protocolli di rete per qualsiasi tipologia di hardware e piattaforma software che possa essere virtualizzata. La natura distribuita di questo emulatore permette di creare scenari di dimensione arbitraria. La rete wireless viene emulata in maniera trasparente, quindi la connettività percepita da ogni nodo virtuale, presenta le stesse caratteristiche di quella fisica emulata.

Una semantica distribuita per il Multi-CCS utilizzando reti di Petri

Questa tesi descrive e approfondisce l'algebra di processo Multi-CCS, le fornisce una semantica basata sulle reti di Petri non limitate - a correzione e miglioramento della precedente - e una dimostrazione dettagliata della sua correttezza, ovvero della bisimilitudine tra la marcatura ottenuta dalla uova semantica e da un generico processo Multi-CCS e lo stesso processo nella semantica di default definita sugli LTS

Model-driven Usability: alcuni approcci e un prototipo.

Questa tesi si occupa degli aspetti di usabilità nell'interazione degli utenti con le applicazioni, usando le tecniche di generazione automatica della Model-Driven Architecture. Viene prodotto un generatore di applicazioni model-driven, basato su un modello di progettazione Goal-Oriented, con risultati apprezzabili nel fornire all'utente un'interazione dinamica con l'applicazione prodotta.

Geolocalizzazione e QRCode come strumenti a supporto di applicazioni turistico-culturali

Gli smartphone, sono dispositivi per la telefonia mobile che oramai includono una serie di funzionalità a supporto della multimedialità e non solo. Divenuti quasi dei notebook in miniatura, ne esistono di vari tipi e dimensioni e anche se la loro potenza di calcolo rimane di gran lunga inferiore a quella di un PC, riescono comunque a effettuare operazioni abbastanza evolute e con prestazioni accettabili. Quello che si vuole realizzare con questo lavoro non è uno studio su questi dispositivi (anche se in parte sarà affrontato), ma un approfondimento sulla possibilità di utilizzare una buona fetta di essi, a supporto dello sviluppo turistico nel nostro paese. In particolare si vuole realizzare una piattaforma mobile che metta in comunicazione individui che vogliono fornire informazione di tipo turistico (beni culturali, eventi, attività commerciali, ecc.) con individui che vogliono fruire di tali contenuti (un qualsiasi turista che sia in grado di utilizzare uno smartphone). Tale applicazione dovrà raccogliere informazioni su una determinata città e riuscire in maniera chiara e intuitiva a dare risposte alle principali domande che un turista si pone: • dove sono? • Cosa c’è d’interessante da visitare nei dintorni? • Interessante questa statua! Di cosa si tratta? • Quali sono gli eventi più interessanti ai quali potrei partecipare? • Ho un leggero appetito dove posso andare a mangiare? • Dove posso fare un po’ di shopping?

Analisi LCA delle case di paglia di Pescomaggiore (AQ)

Questa tesi di laurea ha un duplice scopo: da un lato l’analisi delle caratteristiche delle balle di paglia usate come materiale da costruzione, dall’altro la valutazione ambientale tramite metodologia LCA di un intervento di reinsediamento post-sisma a Pescomaggiore, in Abruzzo, realizzato con edifici in balle di paglia autocostruiti. Nella parte prima si focalizza l’attenzione sulle direttive europee e i loro recepimenti italiani a cui fare riferimento per le gestione energetica degli edifici, oltre ad una panoramica sulla certificazione energetica. Si riportano inoltre sinteticamente quelle parti della normativa edilizia che riguardano le costruzioni con materiali innovativi. La parte seconda è il frutto di una lunga fase di ricerca bibliografica, in cui si è cercato di fare chiarezza sulle caratteristiche della paglia: traspirabilità, isolamento termico, resistenza al fuoco e fonoassorbenza le parti su cui si è maggiormente rivolta l’attenzione. Nella parte terza viene descritta dettagliatamente la metodologia LCA, e in particolare la sua applicazione nel campo dell’edilizia: le diverse fasi in cui si compone, l’uso di software e di banche dati appropriate e i metodi più utilizzati per l’analisi degli impatti. Nella quarta ed ultima parte viene descritto dettagliatamente il caso di studio: una delle case di paglia dell’Ecovillaggio di Pescomaggiore; segue una descrizione accurata della fase di inventario, effettuata anche tramite un sopralluogo in sito. Infine vengono riportati e commentati i risultati dell’analisi, ed espresse considerazioni e proposte migliorative.

Gruppi semplici sporadici: i gruppi di Mathieu

La tesi tratta dei gruppi semplici sporadici, in particolar modo dei gruppi di Mathieu. Sono state ripercorse tappe storiche fondamentali, a partire dalla semplicità del gruppo alterno An, n>4, nota a Galois, fino a giungere al teorema di classificazione dei gruppi semplici, di cui i gruppi sporadici rappresentano un caso particolare. Vengono poi proposte diverse costruzioni dei gruppi di Mathieu, passando dall'algebra alla geometria fino alla teoria dell'informazione. Quindi vengono discusse le proprietà principali dei gruppi di Mathieu, e infine si presentano congetture in cui i gruppi di Mathieu, o più in generale i gruppi sporadici, giocano un ruolo fondamentale, come ad esempio nella congettura "moonshine". Al termine della tesi vengono presentati i gruppi di Mathieu in ambiti diversi dal mondo matematico, dal gioco alla musica.

Sprawl urbano: indici applicati a un caso studio.

Lo sviluppo urbano avvenuto negli ultimi 20 anni soprattutto nelle grandi città, ma anche in quelle più piccole, è stato definito con il termine americano “urban sprawl”. In linea del tutto generale, lo sprawl può essere definito come la tendenza delle aree urbane a svilupparsi in maniera dispersa e disorganizzata nelle campagne circostanti. I principali impatti del fenomeno riguardano il consumo e l’impermeabilizzazione del suolo oltre a forti impatti su tutte le altre matrici ambientali. Per una corretta pianificazione necessita di essere studiato e quantificato nelle sue differenti declinazioni. Nella presente tesi vengono riportati i risultati della analisi diacronica nel Comune di Carpi (Provincia di Modena) attraverso una sequenza temporale di mappe dell’uso/copertura del suolo (1954,1976,1997,2003,2008) appositamente redatte. Vengono, in particolare, analizzati gli aspetti legati allo sviluppo urbano (del comune e delle frazioni di sua competenza) al fine di evidenziare l’occorrenza di sprawl. Ciò è stato fatto attraverso l’analisi degli andamenti dell’area urbana e di quella agricola nel tempo, delle trasformazioni principali avvenute nel territorio (sia in termini qualitativi che quantitativi), dell’evoluzione della rete infrastrutturale e infine mediante il calcolo di indici propri dell’ecologia del paesaggio utilizzati in molti studi sullo sprawl urbano. Dai risultati di questa analisi emerge che il territorio in esame si è fortemente trasformato dal 1954 al 1976; in particolare l’urbanizzazione è avvenuta in un primo tempo a carico del centro principale di Carpi e in seguito (1976-2008) ha interessato maggiormente le frazioni secondarie e l’edificato discontinuo lungo le principali infrastrutture viarie. Questo aspetto è attribuibile al fenomeno dello sprawl in termini di sviluppo periurbano e di invasione delle campagne. Il calcolo degli indici ha evidenziato che l’area urbana totale è fortemente dispersa, sia rispetto al centro principale che considerata come totale, fin dal 1954 (alta entropia relativa di Shannon) e contemporaneamente il territorio agricolo si presenta frammentato (Patch Density e Mean Patch Size) e con un’eterogeneità ambientale abbastanza limitata; questi indici non mostrano però un andamento che indichi un aumento dello sprawl nella sequenza temporale. Ciò che gli indici rilevano è l’urbanizzazione veloce e compatta avvenuta tra il 1954 ed il 1976. Il presente studio rivela quindi l’inadeguatezza degli indici scelti ad evidenziare il fenomeno dello sprawl negli ultimi vent’anni nel territorio d’indagine a causa della bassa sensibilità a trasformazioni molto moderate ed a scale di dettaglio dell’area urbana molto piccole.

Provenienza dei sedimenti arenitici nel bacino di Tracia (eo-oligocene, Turchia nord-occidentale e Grecia nord-orientale)

The Thrace Basin is the largest and thickest Tertiary sedimentary basin of the eastern Balkans region and constitutes an important hydrocarbon province. It is located between the Rhodope-Strandja Massif to the north and west, the Marmara Sea and Biga Peninsula to the south, and the Black Sea to the est. It consists of a complex system of depocenters and uplifts with very articulate paleotopography indicated by abrupt lateral facies variations. Its southeastern margin is widely deformed by the Ganos Fault, a segment of the North Anatolian strike-slip fault system . Most of the Thrace Basin fill ranges from the Eocene to the Late Oligocene. Maximum total thickness, including the Neogene-Quaternary succession, reaches 9.000 meters in a few narrow depocenters. This sedimentary succession consists mainly of basin plain turbiditic deposits with a significant volcaniclastic component which evolves upwards to shelf deposits and continental facies, with deltaic bodies prograding towards the basin center in the Oligocene. This work deals with the provenance of Eocene-Oligocene clastic sediments of the southern and western part of Thrace Basin in Turkey and Greece. Sandstone compositional data (78 gross composition analyses and 40 heavy minerals analyses) were used to understand the change in detrital modes which reflects the provenance and geodinamic evolution of the basin. Samples were collected at six localities, which are from west to est: Gökçeada, Gallipoli and South-Ganos (south of Ganos Fault), Alexandroupolis, Korudağ and North-Ganos (north of Ganos Fault). Petrologic (framework composition and heavy-mineral analyses) and stratigraphic-sedimentologic data, (analysis of sedimentologic facies associations along representative stratigraphic sections, paleocurrents) allowed discrimination of six petrofacies; for each petrofacies the sediment dispersal system was delineated. The Thrace Basin fill is made mainly of lithic arkoses and arkosic litharenites with variable amount of low-grade metamorphic lithics (also ophiolitic), neovolcanic lithics, and carbonate grains (mainly extrabasinal). Picotite is the most widespread heavy mineral in all petrofacies. Petrological data on analyzed successions show a complex sediment dispersal pattern and evolution of the basin, indicating one principal detrital input from a source area located to the south, along both the İzmir-Ankara and Intra-Pontide suture lines, and a possible secondary source area, represented by the Rhodope Massif to the west. A significant portion of the Thrace Basin sediments in the study area were derived from ophiolitic source rocks and from their oceanic cover, whereas epimetamorphic detrital components came from a low-grade crystalline basement. An important penecontemporaneous volcanic component is widespread in late Eocene-Oligocene times, indicating widespread post-collisional (collapse?) volcanism following the closure of the Vardar ocean. Large-scale sediment mass wasting from south to north along the southern margin of the Thrace Basin is indicated (i) in late Eocene time by large olistoliths of ophiolites and penecontemporaneous carbonates, and (ii) in the mid-Oligocene by large volcaniclastic olistoliths. The late Oligocene paleogeographic scenario was characterized by large deltaic bodies prograding northward (Osmancik Formation). This clearly indicates that the southern margin of the basin acted as a major sediment source area throughout its Eocene-Oligocene history. Another major sediment source area is represented by the Rhodope Massif, in particolar the Circum-Rhodopic belt, especially for plutonic and metamorphic rocks. Considering preexisting data on the petrologic composition of Thrace Basin, silicilastic sediments in Greece and Bulgaria (Caracciolo, 2009), a Rhodopian provenance could be considered mostly for areas of the Thrace Basin outside our study area, particularly in the northern-central portions of the basin. In summary, the most important source area for the sediment of Thrace Basin in the study area was represented by the exhumed subduction-accretion complex along the southern margin of the basin (Biga Peninsula and western-central Marmara Sea region). Most measured paleocurrent indicators show an eastward paleoflow but this is most likely the result of gravity flow deflection. This is possible considered a strong control due to the east-west-trending synsedimentary transcurrent faults which cuts the Thrace Basin, generating a series of depocenters and uplifts which deeply influenced sediment dispersal and the areal distribution of paleoenvironments. The Thrace Basin was long interpreted as a forearc basin between a magmatic arc to the north and a subduction-accretion complex to the south, developed in a context of northward subduction. This interpretation was challenged by more recent data emphasizing the lack of a coeval magmatic arc in the north and the interpretation of the chaotic deposit which outcrop south of Ganos Fault as olistoliths and large submarine slumps, derived from the erosion and sedimentary reworking of an older mélange unit located to the south (not as tectonic mélange formed in an accretionary prism). The present study corroborates instead the hypothesis of a post-collisional origin of the Thrace Basin, due to a phase of orogenic collapse, which generated a series of mid-Eocene depocenters all along the İzmir-Ankara suture (following closure of the Vardar-İzmir-Ankara ocean and the ensuing collision); then the slab roll-back of the remnant Pindos ocean played an important role in enhancing subsidence and creating additional accommodation space for sediment deposition.

Sicurezza di rete, analisi del traffico e monitoraggio.

Il lavoro è stato suddiviso in tre macro-aree. Una prima riguardante un'analisi teorica di come funzionano le intrusioni, di quali software vengono utilizzati per compierle, e di come proteggersi (usando i dispositivi che in termine generico si possono riconoscere come i firewall). Una seconda macro-area che analizza un'intrusione avvenuta dall'esterno verso dei server sensibili di una rete LAN. Questa analisi viene condotta sui file catturati dalle due interfacce di rete configurate in modalità promiscua su una sonda presente nella LAN. Le interfacce sono due per potersi interfacciare a due segmenti di LAN aventi due maschere di sotto-rete differenti. L'attacco viene analizzato mediante vari software. Si può infatti definire una terza parte del lavoro, la parte dove vengono analizzati i file catturati dalle due interfacce con i software che prima si occupano di analizzare i dati di contenuto completo, come Wireshark, poi dei software che si occupano di analizzare i dati di sessione che sono stati trattati con Argus, e infine i dati di tipo statistico che sono stati trattati con Ntop. Il penultimo capitolo, quello prima delle conclusioni, invece tratta l'installazione di Nagios, e la sua configurazione per il monitoraggio attraverso plugin dello spazio di disco rimanente su una macchina agent remota, e sui servizi MySql e DNS. Ovviamente Nagios può essere configurato per monitorare ogni tipo di servizio offerto sulla rete.

Speciazione del cromo nei sedimenti di una laguna costiera

Il presente lavoro di tesi ha affrontato le problematiche legate alla speciazione del cromo in particolare i rischi legati alla forma esavalente che risulta particolarmente tossica per gli organismi acquatici. Sono state svolte diverse prove per la messa appunto di una metodica standar dell’US EPA “Method 3060A” indicata per l’estrazione selettiva del Cr(VI) in campioni di sedimento e suolo. Un set di campioni provenienti da sedimenti della laguna costiera della Pialassa della Baiona sono stati analizzati per quantificare i livelli cromo environmentally available, previa dissoluzione in acqua regia, e livelli di cromo esavalente per valutare l’eventuale rischio per il biota acquatico. Sia i livelli di concentrazione di cromo environmentally available confrontati con le linee guida internazionali che i livelli di cromo e Cr(VI) paragonati ai livelli di effetto ritrovati in letteratura non mostrano un potenziale rischio per gli organismi bentonici. I bassi valori di cromo esavalente sono in accordo con le condizioni riducenti tipiche di ambienti di transizione come quello di studio dove la forma chimica del cromo predominante sembra essere quella trivalente. La metodica seguita per la determinazione del cromo esavalente ha diversi limiti rappresentati dall’azione di interferenti quali AVS, Fe(II) e materia organica naturalmente presenti nei sedimenti, per questo procede ancora la ricerca di analisi di speciazione più selettive.

Utilizzo di variabili proxy per la disaggregazione delle emissioni atmosferiche a livello locale e stima delle relative pressioni ambientali

Il presente lavoro di tesi nasce dalla collaborazione tra l’Università di Bologna, Polo Scientifico Didattico di Ravenna, e l’Agenzia Regionale Prevenzione ed Ambiente dell’Emilia Romagna (ARPA EMR), sezione di Ravenna, inserendosi nell’ambito del progetto di Dottorato “Sviluppo di tecniche per la progettazione delle reti di monitoraggio della qualità dell’aria”. Lo scopo principale dello studio è quello di definire una metodologia di tipo Top-Down per disaggregare spazialmente sulla Provincia di Ravenna le emissioni in atmosfera stimate dall’inventario provinciale di ARPA EMR. La metodologia CORINAIR (COordination INformation AIR), sviluppata dalla Agenzia Europea per l’Ambiente, prefigura due possibili procedure di stima delle emissioni in atmosfera: Top-Down (parte dalla scala spaziale più ampia e discende a livelli inferiori) e Bottom-Up (parte invece dall’analisi della realtà produttiva locale per passare a quella relativa a livelli di aggregazione maggiori). La metodologia proposta, di tipo Top-Down, si avvale volutamente di variabili proxy facilmente reperibili a livello comunale, in modo che possa essere applicata anche ad altre realtà locali, meno ricche di dati statistici e ambientali di quanto non lo sia la regione Emilia Romagna in generale e la provincia di Ravenna in particolare. La finalità ultima dello studio è quella di fornire una metodologia per ottenere, attraverso dati resi disponibili da ogni amministrazione comunale, un quadro conoscitivo della situazione emissiva in atmosfera a livello locale a supporto della gestione della qualità dell’aria e dei relativi fattori di pressione. Da un punto di vista operativo, il lavoro di tesi è stato suddiviso in: una fase progettuale, con l’obiettivo di individuare i Macrosettori CORINAIR e gli inquinanti principali da tenere in considerazione nello studio, ed identificare le variabili proxy più opportune per la disaggregazione delle emissioni; una fase di raccolta dei dati ed infine, l’elaborazione dei dati con l’ausilio del software GIS ArcMap 9.3. La metodologia Top-Down è stata applicata in due fasi: con la prima si è effettuata la disaggregazione dal livello provinciale a quello comunale; con la seconda, le emissioni attribuite al comune di Ravenna sono state distribuite spazialmente su una griglia le cui celle hanno dimensione 100m x 100m in modo da ottenere una disaggregazione ad alta risoluzione. I risultati ottenuti dalla disaggregazione effettuata sono stati confrontati, là dove possibile, con dati ottenuti da un approccio Bottom-Up, allo scopo di validare la metodologia proposta. I confronti fra le stime effettuate con l’approccio Top-Down e quelle derivanti dall’approccio Bottom-Up hanno evidenziato risultati diversi per i differenti Macrosettori investigati. Per il macrosettore industriale, si sono evidenziate una serie di limitazioni dimostrando che l’utilizzo della proxy ‘superficie industriale’, così come applicata, non è adeguata né a livello qualitativo né quantitativo. Limitazioni significative, si osservano anche per il macrosettore ‘traffico veicolare’ per il quale è possibile effettuare una stima accurata delle emissioni totali ma poi la disaggregazione spaziale ad alta risoluzione appare insoddisfacente. Ottime risultano invece le performance della metodologia proposta per il macrosettore combustione non industriale, per il quale si osserva un buon accordo sia per i valori emissivi globali, sia per la loro distribuzione spaziale ad alta risoluzione. Relativamente agli altri settori e macrosettori analizzati (‘Altre sorgenti mobili’ e ‘Agricoltura’), non è stato possibile effettuare confronti con dati provenienti dall’approccio Bottom- Up. Nonostante ciò, dopo un’attenta ricerca bibliografica, si può affermare, che le proxy utilizzate sono fra quelle più impiegate in letteratura, ed il loro impiego ha permesso l’ottenimento di una distribuzione spaziale verosimile ed in linea con l’inventario provinciale ARPA EMR. In ultimo, le mappe di pressione ottenute con l’ausilio di ArcMap sono state analizzate qualitativamente per identificare, nel territorio del Comune di Ravenna, le zone dove insiste una maggiore pressione emissiva sul comparto atmosferico. E’ possibile concludere che il livello di dettaglio ottenuto appare sufficiente a rappresentare le zone più critiche del territorio anche se un ulteriore lavoro dovrà essere previsto per sviluppare meglio i macrosettori che hanno mostrato le maggiori criticità. Inoltre, si è riusciti a tracciare una metodologia sufficientemente flessibile per poterla applicare anche ad altre realtà locali, tenendo comunque sempre presente che, la scelta delle proxy, deve essere effettuata in funzione delle caratteristiche intrinseche del territorio.