Valutazione non distruttiva di muratura in laterizio: applicazione in laboratorio di tomografia sonica e prove dirette

Il patrimonio edilizio italiano è costituito in gran parte da costruzioni che utilizzano la muratura come struttura portante. Le conoscenze acquisite negli ultimi anni nel campo dell’ingegneria hanno reso evidente come le costruzioni in muratura siano state concepite, nel corso dei secoli, senza quegli accorgimenti che l’evoluzione delle tecniche moderne di analisi ha dimostrato essere necessari. Progettare un intervento edilizio su un edificio esistente, correlato anche alla valutazione di rischio sismico, e cercare di migliorare le prestazioni dello stesso edificio, richiede partire sempre dalla conoscenza delle caratteristiche statiche intrinseche che il materiale della muratura possiede. La conoscenza della patologia comporta l'indubbio vantaggio di mettere al corrente di cosa ci si può attendere nel futuro dal punto di vista strutturale, come ad esempio che il fenomeno non sarà eliminabile all'origine e che la fessura o lesione magari si riformerà sempre, a meno d’interventi statici rilevanti e di costi ingenti. Diventa quindi di fondamentale importanza eseguire uno studio approfondito dei fenomeni strutturali anomali di deterioramento, quali lesioni, fessurazioni e simili, legati spesso a fattori ambientali, attraverso specifiche indagini diagnostiche e di monitoraggio dello stato interno delle strutture, per definire le cause responsabili e il metodo più adeguato alla tutela dei beni storici [Mastrodicasa, 1993]. Il monitoraggio dei possibili parametri che influenzano tali processi può essere continuo nel tempo o per mezzo di metodologia discontinua che prevede l’utilizzo e la ripetizione di prove non distruttive. L’elevato costo di un eventuale processo continuo ha limitato significativamente la sua applicazione, riducendo lo studio all’analisi di pochi parametri derivanti dalle prove diagnostiche e spesso non del tutto adatti alla completa analisi della struttura. Il seguente lavoro di tesi è sviluppato all’interno del progetto SmooHS (Smart Monitoring of Historic Structures) nell’ambito del 7° Programma Quadro della Commissione Europea che si pone come obiettivo lo sviluppo di strumenti di monitoraggio innovativi ‘intelligenti’ e poco invasivi e modelli di degrado e la loro sperimentazione sul campo per verificarne l’effettiva efficacia attraverso il confronto con risultati di prove non distruttive. La normativa correlata a questo studio, “Norme Tecniche per le Costruzioni’ (D.M. 14/01/2008), evidenzia come ‘La conoscenza della costruzione storica in muratura è un presupposto fondamentale sia ai fini di un’attendibile valutazione della sicurezza sismica attuale sia per la scelta di un efficace intervento di miglioramento…. Si ha pertanto la necessità di affinare tecniche di analisi e interpretazione dei manufatti storici mediante fasi conoscitive dal diverso grado di attendibilità, anche in relazione al loro impatto. La conoscenza può, infatti, essere conseguita con diversi livelli di approfondimento, in funzione dell’accuratezza delle operazioni di rilievo, delle ricerche storiche, e delle indagini sperimentali. Tali operazioni saranno funzione degli obiettivi preposti e andranno a interessare tutto o in parte l’edificio, secondo la tipologia dell’intervento previsto’. L’utilizzo di ‘Tecniche diagnostiche non distruttive di tipo indiretto, quali prove soniche e ultrasoniche’ è preferibile poiché molto promettenti e hanno il pregio di poter essere utilizzate in modo diffuso con un relativo impatto sulla costruzione e costi relativamente contenuti. La non identificazione di una procedura univoca di prove non distruttive per ciascuna tipologia edilizia rende necessario uno studio di fattibilità di diverse tecniche per valutarne l’effettiva efficacia in base al risultato atteso. L’obiettivo di questo lavoro di tesi è stato lo studio sperimentale di valutazione dell’efficacia di alcune tecniche soniche in trasmissione, tomografia e prove soniche dirette, nel monitoraggio di provini precedentemente realizzati ad hoc nei laboratori LISG (Laboratorio di Ingegneria Strutturale e Geotecnica) del DICAM dell’Università di Bologna caratterizzati da presenze di discontinuità (vacui o inclusioni di polistirolo) o materiali differenti in determinate posizioni di geometria e localizzazione nota e diverse tessiture murarie (muratura di laterizio tradizionale, muratura a sacco, inclusioni lapidee). Il capitolo 1 presenta una descrizione generale delle murature, le cause principali di deterioramento e conseguenti dissesti. Presenta inoltre una finestra sulle prove diagnostiche. Nel capitolo 2 sono riportati alcuni esempi di applicazioni di tomografia e prove soniche e sviluppi di ricerca su strutture storiche lignee e murarie eseguite recentemente. Nel capitolo 3 sono presentati i provini oggetto di studio, la loro geometria, i difetti, le sezioni. Il capitolo 4 descrive i principi fisici delle prove soniche e grandezze caratteristiche e presenta la procedura di acquisizione e relative strumentazioni. I capitoli 5 e 6 riguardano lo studio sperimentale vero e proprio ottenuto attraverso l’utilizzo di tomografia sonica e prove dirette, con descrizione delle stazioni di prova, visualizzazione dei dati in tabelle per una semplice interpretazione, loro elaborazione e susseguente analisi approfondita, con valutazione dei risultati ottenuti e debite conclusioni. Il capitolo 7 presenta un confronto delle analisi comuni a entrambe le tipologie di prove soniche, visualizzazioni di istogrammi di paragone e considerazioni deducibili.

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