Collaudo e analisi termografica di centraline elettroniche per sistemi automotive

Questa tesi affronta lo sviluppo di sistemi elettronici per il collaudo automatizzato di centraline elettroniche per sistemi automotive. Viene illustrato lo sviluppo di un simulatore per il collaudo basato su ambiente Labview. Inoltre, viene presentata un'analisi di fattibiltà del rilevamento di malfunzionamenti basata sull'elaborazione di immagini termografiche.

Il deperimento dei geomateriali da costruzione: implicazioni sulla capacità sismica residua di edifici in CA e muratura ordinaria

This work is dedicated to the study of damaging phenomena involving reinforced concrete structures and masonry buildings and the consequences in terms of structural performances decay. In the Italian context there are many examples of structures that have already exceeded their service life, considering not only the ancient buildings but also infrastructures and R/C buildings that today are operating from more than 50th years. Climate change which is subject to the entire planet, with changing in seasonal weather and increasing in environmental pollution, is not excluded could have a harmful influence on the rate of building materials decay previously deemed as durables. If the aggressive input changes very fast, for example in a few decades, then it can also change the response of a construction material considered so far durable; in this way the knowledge about the art of good build, consolidated over the centuries, is thwarted. Hence this study is focused on the possibility to define the residual capacity for vertical or seismic loads for structures that are already at the limit of their service life, or for which is impossible to define a service life. The problem in an analysis of this kind, and that is what makes this research different from the main studies avaibles in the literature, is to keep in correlation – in a not so expensive computationally way – issues such as: - dangerous environmental inputs adequately simulated; - environmental conditions favorable to the spread of pollutants and development of the degradation reactions (decay’s speed); - link between environmental degradation and residual bearing capacity A more realistic assessment of materials residual performances that constitute the structure allows to leave the actual system for the residual load-bearing capacity estimation in which all factors are simply considered through the use of a safety factor on the materials properties.

Evoluzioni e tendenze dei consumi alimentari delle famiglie italiane - Analisi delle decisioni di consumo attraverso il modello Almost Ideal

Il problema affrontato nel lavoro riguarda l'allocazione della spesa tra gruppi di beni alimentari (domestici ed extra-domestici) e le modificazioni che tale allocazione ha subito nell’arco dell’ultimo decennio. L’obiettivo principale dell'analisi proposta è, quindi, di spiegare come variazioni della quota di spesa destinata alle componenti del consumo alimentare siano attribuibili a fattori strettamente economici, oltre che alle caratteristiche struttura socio-demografiche dei consumatori. Allo scopo di valutare l’allocazione inter-temporale della spesa individuale viene proposto come schema di analisi il sistema di domanda Almost Ideal di Deaton e Muellbauer (AIDS).

Analisi statica dei Deadlock in Featherweight Java con Futuri

Abbiamo studiato ABSFJf, un linguaggio ad oggetti concorrente con tipi di dato futuro ed operazioni per acquisire e rilasciare il controllo delle risorse. I programmi ABSFJf possono manifestare lock (deadlock e livelock) a causa degli errori del programmatore. Per individuare staticamente possibili com- portamenti non voluti abbiamo studiato e implementato una tecnica per l'analisi dei lock basata sui contratti, che sono una descrizione astratta del comportamento dei metodi. I contratti si utilizzano per formare un automa i cui stati racchiudono informazioni di dipendenza di tipo chiamante-chiamato; vengono derivati automaticamente da un algoritmo di type inference e model- lati da un analizzatore che sfrutta la tecnica del punto

Analisi e progettazione di architetture private cloud per servizi di push notification verso dispositivi mobile

Questa tesi ha come scopo l’analisi approfondita dei diversi servizi di push notification per dispositivi mobile e la progettazione di una componente integrabilem in una private cloud per l’inoltro e la gestione delle push notification.