Deadlock analysis of asynchronous sequential processes

In this thesis we present ad study an object-oriented language, characterized by two different types of objects, passive and active objects, of which we define the operational syntax and semantics. For this language we also define the type system, that will be used for the type checking and for the extraction of behavioral types, which are an abstract description of the behavior of the methods, used in deadlock analysis. Programs can manifest deadlock due to the errors of the programmer. To statically identify possible unintended behaviors we studied and implemented a technique for the analysis of deadlock based on behavioral types.

Analysis of the Kohn Laplacian on the Heisenberg Group and on Cauchy-Riemann Manifolds

The purpose of this study is to analyse the regularity of a differential operator, the Kohn Laplacian, in two settings: the Heisenberg group and the strongly pseudoconvex CR manifolds. The Heisenberg group is defined as a space of dimension 2n+1 with a product. It can be seen in two different ways: as a Lie group and as the boundary of the Siegel UpperHalf Space. On the Heisenberg group there exists the tangential CR complex. From this we define its adjoint and the Kohn-Laplacian. Then we obtain estimates for the Kohn-Laplacian and find its solvability and hypoellipticity. For stating L^p and Holder estimates, we talk about homogeneous distributions. In the second part we start working with a manifold M of real dimension 2n+1. We say that M is a CR manifold if some properties are satisfied. More, we say that a CR manifold M is strongly pseudoconvex if the Levi form defined on M is positive defined. Since we will show that the Heisenberg group is a model for the strongly pseudo-convex CR manifolds, we look for an osculating Heisenberg structure in a neighborhood of a point in M, and we want this structure to change smoothly from a point to another. For that, we define Normal Coordinates and we study their properties. We also examinate different Normal Coordinates in the case of a real hypersurface with an induced CR structure. Finally, we define again the CR complex, its adjoint and the Laplacian operator on M. We study these new operators showing subelliptic estimates. For that, we don't need M to be pseudo-complex but we ask less, that is, the Z(q) and the Y(q) conditions. This provides local regularity theorems for Laplacian and show its hypoellipticity on M.

Taylor formula for Kolmogorov equations

After briefly discuss the natural homogeneous Lie group structure induced by Kolmogorov equations in chapter one, we define an intrinsic version of Taylor polynomials and Holder spaces in chapter two. We also compare our definition with others yet known in literature. In chapter three we prove an analogue of Taylor formula, that is an estimate of the remainder in terms of the homogeneous metric.

Struttura Kahler degli spazi di Teichmuller

Gli spazi di Teichmuller nacquero come risposta ad un problema posto diversi anni prima da Bernhard Riemann, che si domandò in che modo poter parametrizzare le strutture complesse supportate da una superficie fissata; in questo lavoro di tesi ci proponiamo di studiarli in maniera approfondita. Una superficie connessa, orientata e dotata di struttura complessa, prende il nome di superficie di Riemann e costituisce l’oggetto principe su cui si basa l’intero studio affrontato nelle pagine a seguire. Il teorema di uniformizzazione per le superfici di Riemann permette di fare prima distinzione netta tra esse, classificandole in superfici ellittiche, piatte o iperboliche. Due superfici di Riemann R ed S si dicono equivalenti se esiste un biolomorfismo f da R in S, e si dice che hanno la stessa struttura complessa. Certamente se le due superfici hanno genere diverso non possono essere equivalenti. Tuttavia, se R ed S sono superfci con lo stesso genere g ma non equivalenti, è comunque possibile dotare R di una struttura complessa, diversa dalla precedente, che la renda equivalente ad S. Questo permette di osservare che R è in grado di supportare diverse strutture complesse non equivalenti tra loro. Lo spazio di Teichmuller Tg di R è definito come lo spazio che parametrizza tutte le strutture complesse su R a meno di biolomorfismo. D’altra parte ogni superficie connessa, compatta e orientata di genere maggiore o uguale a 2 è in grado di supportare una struttura iperbolica. Il collegamento tra il mondo delle superfici di Riemann con quello delle superfici iperboliche è stato dato da Gauss, il quale provò che per ogni fissata superficie R le metriche iperboliche sono in corrispondenza biunivoca con le strutture complesse supportate da R stessa. Questo teorema permette di fornire una versione della definizione di Tg per superfici iperboliche; precisamente due metriche h1, h2 su R sono equivalenti se e soltanto se esiste un’isometria φ : (R, h1 ) −→ (R, h2 ) isotopa all’identità. Pertanto, grazie al risultato di Gauss, gli spazi di Teichmuller possono essere studiati sia dal punto di vista complesso, che da quello iperbolico.

Classical and quantum aspects of black hole dynamics

Il contenuto fisico della Relatività Generale è espresso dal Principio di Equivalenza, che sancisce l'equivalenza di geometria e gravitazione. La teoria predice l'esistenza dei buchi neri, i più semplici oggetti macroscopici esistenti in natura: essi sono infatti descritti da pochi parametri, le cui variazioni obbediscono a leggi analoghe a quelle della termodinamica. La termodinamica dei buchi neri è posta su basi solide dalla meccanica quantistica, mediante il fenomeno noto come radiazione di Hawking. Questi risultati gettano una luce su una possibile teoria quantistica della gravitazione, ma ad oggi una simile teoria è ancora lontana. In questa tesi ci proponiamo di studiare i buchi neri nei loro aspetti sia classici che quantistici. I primi due capitoli sono dedicati all'esposizione dei principali risultati raggiunti in ambito teorico: in particolare ci soffermeremo sui singularity theorems, le leggi della meccanica dei buchi neri e la radiazione di Hawking. Il terzo capitolo, che estende la discussione sulle singolarità, espone la teoria dei buchi neri non singolari, pensati come un modello effettivo di rimozione delle singolarità. Infine il quarto capitolo esplora le ulteriori conseguenze della meccanica quantistica sulla dinamica dei buchi neri, mediante l'uso della nozione di entropia di entanglement.

Tecniche di utilizzo e classificazione di immagini satellitari multispettrali in un'ottica di pianificazione e gestione delle emergenze umanitarie

Il presente lavoro è inserito nel contesto di applicazioni che riguardano la pianificazione e gestione delle emergenze umanitarie. Gli aspetti che si sono voluti mettere in evidenza sono due. Da un lato l'importanza di conoscere le potenzialità dei dati che si hanno di fronte per poterli sfruttare al meglio. Dall'altro l'esigenza di creare prodotti che siano facilmente consultabili da parte dell'utente utilizzando due diverse tecniche per comprenderne le peculiarità. Gli strumenti che hanno permesso il presente studio sono stati tre: i principi del telerilevamento, il GIS e l'analisi di Change Detection.

Indagine teorica e sperimentale sull'aderenza di barre in frp nel calcestruzzo

L’aderenza tra barre fibrorinforzate e calcestruzzo è una chiave fondamentale per comprendere al meglio l’azione composita di strutture rinforzate o armate in FRP. Deve essere mobilitata una certa aderenza tra la barra e calcestruzzo per trasferire gli sforzi da un corpo all’altro. Poiché il materiale composito è anisotropo, in direzione longitudinale le proprietà meccaniche sono governate da quelle delle fibre, mentre in direzione trasversale dalla resina. La matrice presenta in genere resistenze più basse di quella a compressione del calcestruzzo, cosicché il meccanismo di aderenza risulta diverso da quello sviluppato dalle tradizionali barre in acciaio. In questa tesi viene sviluppata appunto un’indagine sperimentale sul fenomeno dell’aderenza di barre in acciaio e barre in CFRP (fibra di carbonio) nel calcestruzzo, cercando di capire come cambia il fenomeno al variare dei parametri da cui dipende principalmente l’aderenza, come ad esempio la resistenza caratteristica a compressione del calcestruzzo, il diametro e la deformazione superficiale della barra e la posizione di questa nel provino di calcestruzzo. Sono state quindi realizzate delle prove di pull-out, ovvero delle prove di estrazione di barre da provini di calcestruzzo, per determinare le tensioni tangenziali d’aderenza in funzione dello scorrimento locale della barra (local bond-slip). Infine sono stati calibrati, sui risultati delle prove sperimentali, i tre modelli analitici più noti in letteratura che descrivono il fenomeno dell’aderenza delle barre in FRP nel calcestruzzo, ovvero quello di Malvar (1994), il CMR Model (1995) e il Modified BPE Model (1996).

La valutazione della sicurezza degli utenti deboli in prossimita degli attraversamenti pedonali: Il contributo del mobile eye detector

Lo studio effettuato si inserisce all’interno di una collaborazione tra il DICAM e la Provincia di Bologna ed ha come obiettivo l’analisi di sicurezza della SP26 “Valle del Lavino”, poichè risulta la terza tratta stradale a maggior costo sociale di tutta la rete provinciale. Il rapporto di analisi redatto a seguito del Road Safety Review ha infatti evidenziato numerosi deficit in termini di sicurezza dell’infrastruttura, tra cui gli attraversamenti pedonali. Obiettivo specifico della tesi è stato quello di valutare lo stato attuale di sicurezza degli attraversamenti pedonali presenti lungo il tracciato stradale in esame, in maniera tale da individuare, sulla base di una correlazione fra l’ubicazione degli attraversamenti stessi e il comportamento degli utenti alla guida dei veicoli, le intersezioni pedonali più gravosi, che per questo, in un piano di riqualifica della tratta stradale, richiederebbero opportuni interventi di adeguamento e messa in sicurezza. Con questa finalità è stata programmata ed eseguita una campagna di prove su strada che ha coinvolto un campione di 10 utenti, aventi determinati requisiti di base, del tutto ignari dell’obiettivo che si voleva perseguire e inesperti del tracciato di prova. La sperimentazione ha previsto l’impiego, fondamentale, di metodologie innovative, quali il V-Box e il Mobile Eye Detector, in grado di tener conto del comportamento degli utenti alla guida: il primo permette di rilevare l’andamento delle velocità dei partecipanti lungo il tracciato, il secondo restituisce il tracciamento del punto di vista del conducente alla guida. A ciascun partecipante è stato richiesto di condurre un veicolo, non di loro proprietà, per l’intero tratto della SP26 posto esame, compreso tra la progressiva 0+000, in comune di Zola Predosa, e la progressiva 19+200, in località Badia (comune di Monte San pietro), in andata e in ritorno per un complessivo di 38,4 km di tracciato da esaminare. Al conducente alla guida è stato richiesto di indossare durante tutta la guida l’occhiale Mobile Eye mentre l’auto di prova è stata dotata della strumentazione V-Box.

Analisi FEM 3D d'interazione terreno-struttura: effetti dello scavo di una galleria sotto edifici in muratura

La presente tesi ha riguardato lo studio numerico con un modello 3D dell' interazione tra lo scavo di una galleria urbana e un edificio esistente in muratura, la Stazione di Ferrara Porta Reno (risalente ai primi del '900). A tale scopo è stato utilizzato il programma di calcolo agli elementi finiti Plaxis 3D. Nello studio numerico, per il terreno è stato adottato un modello costitutivo avanzato elasto-plastico con incrudimento isotropo, l’Hardening soil model with small strain stiffness, mentre per la muratura e stato utilizzato il criterio di Mohr-Coulomb. Inoltre, lo scavo della galleria è stato simulato con una procedura per passi, tenendo in conto i principali aspetti del processo. La subsidenza in superficie è stata controllata applicando una contrazione fittizia lungo lo scudo. E’ stata svolta un'analisi numerica in condizione di campo libero, ossia in assenza di strutture, al fine di valutare i movimenti del terreno indotti dal processo di scavo; successivamente sono state eseguite diverse analisi accoppiate, in condizioni di simmetria e con eccentricità della costruzione rispetto all'asse della galleria, per studiare il complesso fenomeno di interazione galleria-terreno-struttura. I risultati di tali analisi accoppiate sono stati utilizzati per effettuare una stima del livello di danno atteso per l'edificio. Le analisi numeriche condotte hanno messo in luce, confermando quanto già noto in letteratura, che la presenza di un edificio a piano campagna interagente con l’opera di scavo modifica la forma del profilo dei cedimenti relativa alle condizioni di campo libero. Tale modifica, che dipende dalle specifiche caratteristiche di rigidezza e peso della struttura presa in esame, generalmente si traduce in una riduzione del cedimento differenziale che può influenzare in modo significativo la stima del danno sull’edificio. Ciò è tanto più evidente, quanto maggiore è la perdita di volume indotta dallo scavo della galleria.

Climatological analysis of temperature and salinity fields in the Mediterranean sea

A climatological field is a mean gridded field that represents the monthly or seasonal trend of an ocean parameter. This instrument allows to understand the physical conditions and physical processes of the ocean water and their impact on the world climate. To construct a climatological field, it is necessary to perform a climatological analysis on an historical dataset. In this dissertation, we have constructed the temperature and salinity fields on the Mediterranean Sea using the SeaDataNet 2 dataset. The dataset contains about 140000 CTD, bottles, XBT and MBT profiles, covering the period from 1900 to 2013. The temperature and salinity climatological fields are produced by the DIVA software using a Variational Inverse Method and a Finite Element numerical technique to interpolate data on a regular grid. Our results are also compared with a previous version of climatological fields and the goodness of our climatologies is assessed, according to the goodness criteria suggested by Murphy (1993). Finally the temperature and salinity seasonal cycle for the Mediterranean Sea is described.

Studio reologico di mastici bituminosi modificati con polverino di gomma da PFU

L’analisi della risposta delle pavimentazioni flessibili alle sollecitazioni veicolari ed alle variazioni di temperatura non può prescindere dallo studio del legante bituminoso: è all’interno del film di bitume, infatti, che avviene la rottura per fatica alle basse temperature (alte frequenze di carico) e che si sviluppano le deformazioni con conseguente fenomeno dell’ormaiamento alle alte temperature di esercizio (basse frequenze di carico). Il deterioramento di queste pavimentazioni, dovuto a fenomeni di fessurazione da fatica o di ormaiamento, infatti, è divenuto nel settore infrastrutturale oggetto di studio ed approfondimento. Spesso tali ammaloramenti sono accelerati dall’azione dell’acqua che, in assenza di strati impermeabili, raggiunge gli strati inferiori della sovrastruttura indebolendo le proprietà coesive del legante e di adesione tra bitume ed aggregati. Se a queste problematiche si aggiunge l’impatto ambientale di un’infrastruttura viaria (emissione di fumi durante la stesa del conglomerato), risulta evidente l’interesse nel campo della ricerca circa lo studio di leganti bituminosi modificati e additivati, in grado di aumentare le prestazioni del pacchetto stradale, oltre che a ridurne gli effetti negativi sull’ambiente. Per queste motivazioni, la presente Tesi si concentra sullo studio dei leganti e dei mastici bituminosi ottenuti con l’aggiunta di “Powdered Rubber Modifier (PRM)” ovvero di “Polverino di Gomma” ottenuto mediante il riciclaggio di pneumatici usati, attraverso opportune lavorazioni di natura meccanica. In campo stradale sta assumendo sempre più importanza l’utilizzo di pneumatici riciclati, in grado di aumentare le prestazioni del pacchetto stradale e di ridurne gli effetti negativi sull’ambiente. Per studiare e testare questi leganti e mastici bituminosi si è scelto di utilizzare un approccio tradizionale, consistente nella simulazione della risposta meccanica macroscopica mediante modelli costitutivi basati sulla teoria del mezzo continuo: ciò significa che la miscela viene sottoposta a prove di tipo statico e dinamico in un ampio intervallo di condizioni inerenti all’intensità della forza, alla velocità di applicazione del carico ed alla temperatura. In particolare, i materiali sopra citati sono stati testati mediante Dynamic Shear Rheometer (DSR-UNI EN 14770); tale apparecchiatura è in grado, attraverso l’applicazione di una sollecitazione dinamica con andamento sinusoidale, di simulare le reali condizioni di carico cui è sottoposta una pavimentazione stradale durante la sua vita utile. I risultati reologici ottenuti sono stati confrontati per valutare il contributo prestazionale di ciascun materiale componente le miscele.

Studio della risposta temporale di fotorivelatori con diversi accoppiamenti a scintillatori e diversa elettronica di front end e di read out

Lo scopo di questa tesi è lo studio, mediante misure sperimentali con un telescopio per raggi cosmici, della risposta temporale di rivelatori a scintillazione accoppiati a diversi tipi di fotorivelatori. In particolare sono stati studiati due tipi di fotorivelatori: i fotomoltiplicatori al silicio (SiPM) ed i rivelatori MicroChannel Plate (MCP); entrambi i sensori presentano ottime caratteristiche per ciò che concerne la risposta temporale. Per una migliore caratterizzazione dei fotorivelatori e per una maggiore completezza dello studio sono stati analizzati anche diversi modelli di accoppiamento tra gli scintillatori ed i sensori, sia a diretto contatto che tramite fibre ottiche. Per cercare di sfruttare al meglio le eccellenti proprietà temporali, sono state utilizzate anche diverse schede di front end veloce e diversa elettronica di read out. In particolare in questa tesi, per la prima volta, è stata usata, per lo studio di questi nuovi fotorivelatori, l’elettronica di front end e read out realizzata per il rivelatore TOF dell’esperimento ALICE a LHC. I risultati di questa tesi rappresentano un punto di partenza per la realizzazione di rivelatori con ottima risoluzione temporale in esperimenti di fisica nucleare ed subnucleare (definizione del trigger, misure di tempo di volo, calorimetria). Altre interessanti applicazioni sono possibili in ambito medico, in particolare strumenti di diagnostica avanzata quali ad esempio la PET.

Multicentre study for a robust protocol in single-voxel spectroscopy: quantification of MRS signals by time-domain fitting algorithms

Magnetic Resonance Spectroscopy (MRS) is an advanced clinical and research application which guarantees a specific biochemical and metabolic characterization of tissues by the detection and quantification of key metabolites for diagnosis and disease staging. The "Associazione Italiana di Fisica Medica (AIFM)" has promoted the activity of the "Interconfronto di spettroscopia in RM" working group. The purpose of the study is to compare and analyze results obtained by perfoming MRS on scanners of different manufacturing in order to compile a robust protocol for spectroscopic examinations in clinical routines. This thesis takes part into this project by using the GE Signa HDxt 1.5 T at the Pavillion no. 11 of the S.Orsola-Malpighi hospital in Bologna. The spectral analyses have been performed with the jMRUI package, which includes a wide range of preprocessing and quantification algorithms for signal analysis in the time domain. After the quality assurance on the scanner with standard and innovative methods, both spectra with and without suppression of the water peak have been acquired on the GE test phantom. The comparison of the ratios of the metabolite amplitudes over Creatine computed by the workstation software, which works on the frequencies, and jMRUI shows good agreement, suggesting that quantifications in both domains may lead to consistent results. The characterization of an in-house phantom provided by the working group has achieved its goal of assessing the solution content and the metabolite concentrations with good accuracy. The goodness of the experimental procedure and data analysis has been demonstrated by the correct estimation of the T2 of water, the observed biexponential relaxation curve of Creatine and the correct TE value at which the modulation by J coupling causes the Lactate doublet to be inverted in the spectrum. The work of this thesis has demonstrated that it is possible to perform measurements and establish protocols for data analysis, based on the physical principles of NMR, which are able to provide robust values for the spectral parameters of clinical use.

Study of cosmic nuclei fluxes with AMS-02: implication for dark matter search

L’Alpha Magnetic Spectrometer (AMS-02) é un rivelatore per raggi cosmici (CR) progettato e costruito da una collaborazione internazionale di 56 istituti e 16 paesi ed installato il 19 Maggio del 2011 sulla Stazione Spaziale Internazionale (ISS). Orbitando intorno alla Terra, AMS-02 sará in grado di studiare con un livello di accuratezza mai raggiunto prima la composizione dei raggi cosmici, esplorando nuove frontiere nella fisica delle particelle, ricercando antimateria primordiale ed evidenze indirette di materia oscura. Durante il mio lavoro di tesi, ho utilizzato il software GALPROP per studiare la propagazione dei CR nella nostra Galassia attraverso il mezzo interstellare (ISM), cercando di individuare un set di parametri in grado di fornire un buon accordo con i dati preliminari di AMS-02. In particolare, mi sono dedicata all’analisi del processo di propagazione di nuclei, studiando i loro flussi e i relativi rapporti. Il set di propagazione ottenuto dall’analisi é stato poi utilizzato per studiare ipotetici flussi da materia oscura e le possibili implicazioni per la ricerca indiretta attraverso AMS-02.

Frost heave testing of norwegian materials for road infrastructure

In areas of seasonal frost, frost susceptibility composed by frost heaving during the winter and thaw softening during the spring is one of the most dangerous phenomenon for transportation, road and railway infrastructure. Therefore, the need for frost protection layer becomes imperative. The purpose of frost protection layer is to prevent frost from penetrating down through the pavement and into the sub-soils. Frost susceptible soils under the road can be cause damages on the roads or other structures due to frost heave or reduced capacity characteristics thaw period. "Frost heave" is the term given to the upwards displacement of the ground surface caused by the formation of ice within soils or aggregates (Rempel et al., 2004). Nowadays in Scandinavia the most common material used in frost protection layer in the pavement structure of roads and in the ballast of the railway tracks are coarse-grain crushed rocks aggregates. Based on the capillary rise, the mechanics of frost heave phenomenon is based on the interaction between aggregates and water, as suggested by Konrad and Lemieux in 2005 that said that the fraction of material below the 0.063 mm sieve for coarse-grained soils must be controlled so as to reduce the sensitivity to frost heave. The study conducted in this thesis project is divided in two parts: - the analysis of the coarse grained aggregates used in frost protection layer in Norway; - the analysis of the frost heave phenomenon in the laboratory under known boundary conditions, through the use of the most widely used method, the frost heave test, in” closed system” (without access of water).