L’edilizia residenziale popolare pubblica di Milano nei primi tre decenni del XX secolo

Lo stabilirsi di nuovi criteri abitativi nella Lombardia di fine Ottocento e dei primi decenni del XX secolo, ha fatto emergere, nel vasto tema dell’abitazione popolare, componenti meritevoli di essere analizzate nelle loro differenti declinazioni. Nella ricerca sono quindi stati analizzati: gli studi tipologici di quel periodo, l’impiego di differenti materiali edili, il linguaggio compositivo, le interrelazioni dei manufatti architettonici con il contesto urbano, l’apporto delle cooperative alla realizzazione degli interventi, lo sviluppo e l’impiego della prefabbricazione e la tutela, valorizzazione e trasformazione del patrimonio edilizio esistente. Presupposto di quest’analisi è stata l’ampia ricostruzione storiografica delle fasi germinali e del dibattito ottocentesco sulla casa operaia e popolare, che hanno condotto (all’inizio del novecento) alla creazione dell’Istituto Autonomo Case Popolari od Economiche di Milano. Sono state enucleate anche le principali caratteristiche formali e tecnologiche dell’edilizia residenziale popolare milanese di quel periodo. La ricerca inoltre è stata finalizzata alla definizione di strategie gestionali del patrimonio storiografico esistente (documentario, iconografico e bibliografico) rivolto a una migliore fruizione dei beni architettonici considerati e a supporto di conoscenza per la sua valorizzazione, tutela, trasformazione e recupero. Per questa ragione l’analisi delle fonti documentarie e archivistiche, si è basata sull’indagine di alcuni progetti originari (quasi mai in possesso dell’Aler e parzialmente dispersi in archivi comunali e privati). La ricostruzione del patrimonio storico-visuale dell’edilizia residenziale d’inizio secolo, ha dedicato attenzione anche agli aspetti architettonici e di vita degli spazi comuni, dello stato di conservazione e delle trasformazioni delle strutture originarie. Accanto a questi filoni di indagine è stata sviluppata un’attenta analisi della letteratura esistente, studiando sia la pubblicistica sia la letteratura scientifica coeva alle costruzione e gli studi, anche di grande portata, compiuti nei decenni successivi. L’indagine propone anche una periodizzazione delle fasi realizzative dell’edilizia popolare, relazionandole a contesti architettonici e storiografici di più ampio respiro. Si sono indagate, ad esempio, le ragioni del costituirsi di una forte interdipendenza delle varie realtà sociali urbane e si sono posti a confronto gli elementi prettamente architettonici con il quadro tematico connesso al concetto di modernità. La ricerca non ha neppure trascurato gli studi chiarificatori delle istanze sociali, che hanno trovato particolari riferimenti nelle analisi scientifiche (pubblicate su riviste specialistiche, in qualche caso di difficile reperibilità) o nelle ricerche commissionate dal Comune di Milano nel primo decennio del XX secolo. Grande importanza è stata riposta anche nell’analisi delle delibere comunali (verificate e documentate in modo organico e complessivo) che, a partire dal 1861, trattano il tema dell’impegno pubblico nella realizzazione di edilizia operaia a basso costo.

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.

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.