Modifiche al protocollo di trasporto LTP per migliorarne le prestazioni in presenza di perdite elevate

La presente tesi si pone come obiettivo quello di analizzare il protocollo LTP (in particolare in ION) e proporre dei miglioramenti utili al caso in cui siano presenti perdite elevate. Piu in dettaglio, una prima parte introduttiva motiva l'inefficacia del TCP/IP in ambito interplanetario e introduce l'architettura DTN Bundle Protocol (Cap.1). La tesi prosegue con la descrizione delle specifiche del protocollo LTP (Cap.2), in particolar modo evidenziando come un bundle venga incapsulato in un blocco LTP, come questo sia successivamente diviso in tanti segmenti LTP e come questi vengano successivamente inviati con il protocollo UDP o con un protocollo analogo. Viene quindi presentata un'approfondita analisi delle penalizzazioni dovute alle perdite dei segmenti LTP, sia di tipo dati che di segnalazione (Cap. 3). Quest'analisi permette di dimostrare la criticita degli effetti delle perdite, in particolare per quello che riguarda i segmenti LTP di segnalazione. Mentre in presenza di perdite basse tali effetti hanno in media un impatto minimo sul tempo di consegna di un blocco LTP (quindi del bundle in esso contenuto), in quanto avvengono raramente, in presenza di perdite elevate rappresentano un collo di bottiglia per il tempo di consegna di un blocco LTP. A tal proposito sono state proposte alcune modifiche che permettono di migliorare le prestazioni di LTP (Cap. 4) compatibilmente con le specifiche RFC in modo da garantire l'interoperabilita con le diverse implementazioni del protocollo. Successivamente nel Cap. 5 viene mostrato come sono state implementate le modifiche proposte in ION 3.4.1. Nel capitolo finale (Cap. 6) sono presenti i risultati numerici relativi ad alcuni test preliminari eseguiti confrontando la versione originale del protocollo con le versioni modificate contenenti i miglioramenti proposti. I test sono risultati molto positivi per elevate perdite, confermando cosi la validita dell'analisi e dei miglioramenti introdotti.

Modelli e Strumenti di Classifciazione Automatica per il Controllo dell'Accesso su Piattaforme Big Data

Dall'analisi dei big data si possono trarre degli enormi benefici in svariati ambiti applicativi. Uno dei fattori principali che contribuisce alla ricchezza dei big data, consiste nell'uso non previsto a priori di dati immagazzinati in precedenza, anche in congiunzione con altri dataset eterogenei: questo permette di trovare correlazioni significative e inaspettate tra i dati. Proprio per questo, il Valore, che il dato potenzialmente porta con sè, stimola le organizzazioni a raccogliere e immagazzinare sempre più dati e a ricercare approcci innovativi e originali per effettuare analisi su di essi. L’uso fortemente innovativo che viene fatto dei big data in questo senso e i requisiti tecnologici richiesti per gestirli hanno aperto importanti problematiche in materia di sicurezza e privacy, tali da rendere inadeguati o difficilmente gestibili, gli strumenti di sicurezza utilizzati finora nei sistemi tradizionali. Con questo lavoro di tesi si intende analizzare molteplici aspetti della sicurezza in ambito big data e offrire un possibile approccio alla sicurezza dei dati. In primo luogo, la tesi si occupa di comprendere quali sono le principali minacce introdotte dai big data in ambito di privacy, valutando la fattibilità delle contromisure presenti all’attuale stato dell’arte. Tra queste anche il controllo dell’accesso ha riscontrato notevoli sfide causate dalle necessità richieste dai big data: questo elaborato analizza pregi e difetti del controllo dell’accesso basato su attributi (ABAC), un modello attualmente oggetto di discussione nel dibattito inerente sicurezza e privacy nei big data. Per rendere attuabile ABAC in un contesto big data, risulta necessario l’ausilio di un supporto per assegnare gli attributi di visibilità alle informazioni da proteggere. L’obiettivo di questa tesi consiste nel valutare fattibilità, caratteristiche significative e limiti del machine learning come possibile approccio di utilizzo.

Characterization of moisture susceptibility of asphaltic bitumen

La ricerca riguarda lo studio delle modifiche indotte dalla diffusione di acqua e umidità nelle pavimentazioni stradali con riferimento ai materiali bituminosi. Lo scopo è stato quello di analizzare le implicazioni che si sviluppano a livello chimico e reologico in vari bitumi. In questo progetto oltre alla fase sperimentale, è stato utilizzato un software per la simulazione agli elementi finiti. Per quanto concerne la fase di laboratorio, è stato sviluppato un nuovo protocollo di condizionamento. Tre diversi bitumi sono stati soggetti alla diffusione di acqua in forma liquida o vapore, a determinate condizioni ambientali e per svariati intervalli temporali. Grazie a l’utilizzo di due camere climatiche il condizionamento è stato realizzato in modo uniforme a precisi valori temperatura e umidità mantenuti stabili. I materiali analizzati: un bitume soft, uno hard, ed infine uno modificato con l’aggiunta di polimeri. Il dispositivo FTIR-ATR è stato utilizzato per la caratterizzazione chimica, mentre il comportamento reologico è stato analizzato tramite test eseguiti con il DSR. Le avanzate tecnologie presenti nel laboratorio della TU Delft hanno consentito di ottenere notevoli risultati. L’analisi è stata condotta con l’obiettivo di evidenziare i diversi cambiamenti indotti dalla diffusione di acqua liquida o vapore e per analizzare l’influenza della temperatura, del tipo del bitume e dell’incremento del tempo di condizionamento. Una analisi analoga è stata condotta parallelamente, con lo scopo di investigare la correlazione tra il processo di invecchiamento e la diffusione di umidità. Infine, la simulazione agli elementi finiti è stata sviluppata tramite il software CAPA-3D per analizzare il comportamento del bitume in periodi più estesi di diffusione di umidità. Inoltre, il comportamento dei bitumi è stato studiato anche in presenza di particelle di riempitivo. Particelle granitiche e calcaree sono state aggiunte ai bitumi in differenti percentuali.

Misurazione della Sostenibilità in Azienda. Approccio Quantitativo all'Analisi della Letteratura attraverso Bibliografic Coupling.

L'elaborato si impegna ad esporre i risultati derivanti da una revisione estensiva della letteratura riguardante le pratiche di misurazione della sostenibilità in azienda. Si è scelto un approccio al problema di impostazione bibliometrico, consistente in analisi statistiche di dati bibliografici ricavabili osservando le relazioni tra documenti. Si sono utilizzati strumenti di clustering per categorizzare la letteratura ed individuare le aree di maggior interesse potenziali per aziende che desiderino investire con successo nella sostenibilità. Come risultato, si è ottenuta una chiara identificazione delle principali tematiche che devono essere tenute in considerazione nell’affrontare valutazioni relative alla misurazione e valorizzazione dei concetti di sostenibilità e impatto ambientale in ambito aziendale. Il presente lavoro si presenta inoltre come guida metodologica per un approccio quantitativo alla revisione della letteratura, adattabile ed applicabile in maniera iterativa per un continuo monitoraggio del tema o per indagini in altri ambiti. Questa tesi si pone dunque come base per ricerche e analisi successive finalizzate alla comprensione della letteratura.

Strumenti e metodi per la tracciabilità della catena logistica agroalimentare: simulazione e diagnostica di una camera climatica

I fenomeni di globalizzazione in atto hanno radicalmente modificato il consumo e la distribuzione dei prodotti agroalimentari e dilatato le distanze tra l’origine delle materie prime e consumo finale. Obiettivo del progetto interuniversitario "Food Supply Chain" è studiare le condizioni di trasporto di prodotti agroalimentari. Una delle attività principali è tracciare ed analizzare i fattori critici di spedizioni dal momento in cui i prodotti lasciano lo stabilimento produttivo in Italia fino ai consumatori situati in EU o extra-EU. La tesi si inserisce all’interno di questo progetto e descrive la realizzazione di due Piattaforme in ambiente LabVIEW per la consultazione e la simulazione dei viaggi logistici, le cui caratteristiche sono conservate e organizzate in appositi database. La "Piattaforma LabVIEW per la consultazione a analisi" permette di consultare il database attraverso interrogazioni multiple, estrarre le informazioni più significative, riprodurre le spedizioni in apposite interfacce e produrre dei report riassuntivi per comunicazioni alle imprese La "Piattaforma LabVIEW per la simulazione in camera climatica" rappresenta il sistema di controllo attraverso cui gestire la simulazione dei singoli viaggi in camera climatica, realizzata nel Laboratorio MECCANICA del DIN della Scuola di Ingegneria e Architettura dell’Università di Bologna. Si potranno così valutare e comparare tra loro soluzioni alternative rispetto ad una medesima catena logistica in termini di packaging, imballaggio e protezioni supplementari della spedizione. Infine si potranno confrontare rotte commerciali differenti relative allo stesso prodotto. I risultati ottenuti in camera climatica costituiranno la base per le successive analisi biochimiche sui prodotti e valutazione finale della sostenibilità dell’intera catena logistica.

Definizione e validazione di uno strumento per la misurazione dell'impatto delle variabili redazionali di un item matematico sulla performance degli studenti

Questa tesi descrive la ricerca condotta tra l'autunno e l'inverno di quest'anno da un gruppo di ricercatori in didattica della matematica relativamente all'influenza che le variazioni redazionali di un quesito matematico hanno sulle performance degli studenti. Lo scopo della ricerca è quella di strutturare e validare una metodologia e uno strumento che permettano di individuare e quantificare l'influenza delle variazioni del testo sulle prestazioni dello studente. Si è sentita l'esigenza di condurre uno studio di questo tipo poichè è sempre più evidente il profondo legame tra il linguaggio e l'apprendimento della matematica. La messa a punto di questo strumento aprirebbe le porte a una serie di ricerche più approfondite sulle varie tipologie di variazioni numeriche e/o linguistiche finora individuate. Nel primo capitolo è presentato il quadro teorico di riferimento relativo agli studi condotti fino ad ora nell'ambito della didattica della matematica, dai quali emerge la grossa influenza che la componente linguistica ha sulla comprensione e la trasmissione della matematica. Si farà quindi riferimento alle ricerche passate volte all'individuazione e alla schematizzazione delle variazioni redazionali dei Word Problems. Nel secondo capitolo, invece si passerà alla descrizione teorica relativa allo strumento statistico utilizzato. Si tratta del modello di Rasch appartenente alla famiglia dei modelli statistici dell'Item Response Theory, particolarmente utilizzato nella ricerca in didattica. Il terzo capitolo sarà dedicato alla descrizione dettagliata della sperimentazione svolta. Il quarto capitolo sarà il cuore di questa tesi; in esso infatti verrà descritta e validata la nuova metodologia utilizzata. Nel quinto sarà eseguita un analisi puntuale di come lo strumento ha messo in evidenza le differenze per ogni item variato. Infine verranno tratte le conclusioni complessive dello studio condotto.

Studio dell'autofagia come meccanismo patogenetico della Neuropatia Ottica Ereditaria di Leber

Questo elaborato di tesi presenta uno studio volto a identificare il ruolo dell’autofagia nella patogenesi della neuropatia ottica ereditaria di Leber (LHON), una patologia neurodegenerativa mitocondriale dovuta a mutazioni nel mtDNA. Tali mutazioni generano difetti nella catena respiratoria, nelle vie apoptotiche mediate dai mitocondri e nella produzione di ROS; dati preliminari hanno dimostrato una correlazione tra le mutazioni LHON e l’omeostasi mitocondriale, regolata dai processi contrapposti di autofagia e mitobiogenesi. Secondo questa ipotesi, le alterazioni LHON aumentano il flusso autofagico soprattutto negli individui affetti, mentre i portatori di mutazione sani (carrier) risultano protetti da un importante incremento nella mitobiogenesi che agisce da meccanismo compensatorio. È stata dunque caratterizzata tramite Western Blotting l’espressione proteica di due marker autofagici, LC3 e p62, in PBMCs (Peripheral Blood Mononuclear Cells) estratte da pazienti LHON, affetti e carrier, e individui di controllo. Sono stati inoltre quantificati i livelli cellulari di due proteine della membrana interna mitocondriale, COX IV e SDHA, al fine di valutare la massa mitocondriale come parametro di confronto rispetto ai livelli di autofagia. È stata infine analizzata l’influenza dell’idebenone sull’autofagia e sulla massa mitocondriale, confrontando pazienti affetti in terapia con questo farmaco e pazienti affetti non trattati. Lo studio ha in parte avvalorato i risultati preliminari; l’elevata variabilità riscontrata porta però all’esigenza, nelle analisi future, di una maggiore campionatura, nonché di indagini di diversa natura condotte in parallelo per validare i risultati.

Studio del comportamento di poli-alfa-olefine come modificatori di viscosità negli oli lubrificanti

Il buon funzionamento di una qualsiasi tipologia di motore prevede l’utilizzo di un componente che abbia il compito di lubrificare le parti meccaniche in movimento, come, ad esempio, l’olio motore per l’automobile. Un fattore determinante nella scelta dell’olio è la variazione della sua viscosità in relazione alla variazione di temperatura, poiché la temperatura di esercizio di un macchinario è solitamente diversa dalla temperatura di avviamento. Tale valore viene identificato in maniera assoluta dal Viscosity Index (VI). L’olio motore è una formulazione complessa in cui sono presenti l’olio base ed una serie di additivi, tra cui molto importante è il modificatore di viscosità (Viscosity Index Improver, VII), che migliora il VI e permette di utilizzare lo stesso olio a basse ed alte temperature (olio multigrade). Come VII possono essere utilizzate diverse tipologie di polimeri solubili in olio, che variano per caratteristiche e target di mercato. La famiglia presa in esame in questa tesi è quella delle poli-alfa-olefine, utilizzate prevalentemente con oli base minerali, e più precisamente copolimeri etilene/propilene. Sono state analizzate le proprietà che questa famiglia ben nota di OCP (Olefin CoPolymer) ingenera nel sistema base-polimero. In particolare si è cercato di correlare le proprietà molecolari del polimero (composizione, peso molecolare e paracristallinità) con le proprietà “tecnologico-applicative” di ispessimento, stabilità meccanica al taglio, punto di non scorrimento, avviamento a freddo, pompabilità a freddo. L’attività è proseguita con la progettazione di un modello fisico, con l’obiettivo di predire il comportamento tecnologico del sistema olio-polimero in funzione delle proprietà molecolari di polimeri appartenenti alla classe delle poli-alfa-olefine lineari, esaminando anche le proprietà tecnologiche di un omopolimero sperimentale.

Trattamento di cellule cancerose mediante plasmi non termici

Con lo sviluppo di sorgenti capaci di sostenere scariche di non equilibrio a pressione atmosferica è nato un notevole interesse per le applicazioni biomediche del plasma, data la generazione nella scarica di una varietà di agenti efficaci in più ambiti. I plasmi di questo tipo, caratterizzati principalmente da una temperatura macroscopica vicina a quella ambiente, sono infatti già utilizzati, ad esempio, per la sterilizzazione, per il trattamento di polimeri per migliorarne la biocompatibilità, e per l’accelerazione del processo di coagulazione del sangue. In questo lavoro verrà presentata un’altra possibilità applicativa, sempre nel settore della plasma medicine, ovvero l’utilizzo dei plasmi per il trattamento di cellule cancerose, che sta avendo un particolare successo a causa dei risultati ottenuti dai vari gruppi di ricerca che sottintendono un suo possibile futuro nel trattamento di neoplasie. Verrà presentata una breve introduzione alla fisica del plasma, mostrando alcuni parametri che caratterizzano questo stato della materia, concentrandosi in particolare sui plasmi non termici o di non equilibrio, per poi passare al processo di ionizzazione del gas. Nel secondo capitolo sono approfondite due sorgenti per la generazione di plasmi non termici, la scarica a barriera dielettrica e il plasma jet. Il terzo capitolo fornisce una preliminare spiegazione degli agenti generati nella scarica e il rapporto che hanno con la materia con cui interagiscono. L’ultimo capitolo è il fulcro della ricerca, e comprende risultati ottenuti negli ultimi anni da vari gruppi di ricerca di molte nazionalità, e una breve parte riguardante la sperimentazione originale svolta anche in mia presenza dal gruppo di ricerca del Dipartimento di Ingegneria dell’Energia Elettrica e dell’Informazione “Guglielmo Marconi”, rappresentato principalmente dal professor Carlo Angelo Borghi e dal professor Gabriele Neretti.

Strumenti statistici per elaborazione dati su sequenziamenti di genoma umano

L'analisi del DNA è una delle chiavi per la comprensione della vita e dei suoi funzionamenti. Le tecniche di sequenziamento di nuova generazione NGS permettono una analisi parallela di molte sequenze che hanno reso possibili i sequenziamenti di genomi interi e l'impiego di questi dati in una vasta gamma di studi. In questa tesi verranno descritte le principali tecniche di sequenziamento NGS. Per quanto riguarda il genoma umano si tratteranno alcune tematiche di studio di varianti affrontate dal gruppo 1000Genomes. Nella fase conclusiva si introdurranno definizioni di statistica utili nell'affrontare l'elaborazione dei dati. Inoltre vengono descritti alcuni strumenti che permettono di svolgere questo tipo di analisi.

Lifecycle analysis for surgery instruments at a hospital

Gli strumenti chirurgici sono importanti “devices” utilizzati come supporto indi-spensabile nella cura di pazienti negli ospedali. Essi sono caratterizzati da un intero ciclo di vita che inizia convenzionalmente nello “Store”, dove gli strumenti sterilizzati sono prelevati per essere utilizzati all’interno delle sale operatorie, e termina nuovamente nello “Store”, dove gli strumenti vengono immagazzinati per essere riutilizzati in un nuovo ciclo. Può accadere che le singole fasi del ciclo subiscano ritardi rispetto ai tempi previ-sti, non assicurando, pertanto, nelle sale operatorie, il corretto numero degli stru-menti secondo i tempi programmati. Il progetto che vado ad illustrare ha come obiettivo l’ottimizzazione del ciclo degli strumenti chirurgici all’interno di un nuovo ospedale, applicando i principi della Lean philosophy ed in particolare i metodi: “Poke Yoke, 5S e tracciabilità”. Per raggiungere tale scopo, il progetto è stato articolato come segue. In un primo momento si è osservato l’intero ciclo di vita degli strumenti nei due principali ospedali di Copenhagen (Hervel e Gentofte hospital). Ciò ha permesso di rilevare gli steps del ciclo, nonché di riscontrare sul campo i principali problemi relativi al ciclo stesso quali: bassa flessiblità, decentramento dei differenti reparti di cleaning e di store rispetto alle operation theatres ed un problema nel solleva-mento degli strumenti pesanti. Raccolte le dovute informazioni, si è passati alla fase sperimentale, in cui sono stati mappati due cicli di vita differenti, utilizzando tre strumenti di analisi: • Idef0 che consente di avere una visione gerarchica del ciclo; • Value stream Mapping che permette di evidenziare i principali sprechi del ciclo; • Simulator Tecnomatix che favorisce un punto di vista dinamico dell’analisi. Il primo ciclo mappato è stato creato con il solo scopo di mettere in risalto gli steps del ciclo e alcuni problemi rincontrati all’interno degli ospedali visitati. Il secondo ciclo, invece, è stato creato in ottica Lean al fine di risolvere alcuni tra i principali problemi riscontrati nei due ospedali e ottimizzare il primo ciclo. Si ricordi, infatti, che nel secondo ciclo le principali innovazioni introdotte sono state: l’utilizzo del Barcode e Rfid Tag per identificare e tracciare la posizione degli items, l’uso di un “Automatic and Retrievial Store” per minimizzare i tempi di inserimento e prelievo degli items e infine l’utilizzo di tre tipologie di carrello, per consentire un flessibile servizio di cura. Inoltre sono state proposte delle solu-zioni “Poke-Yoke” per risolvere alcuni problemi manuali degli ospedali. Per evidenziare il vantaggio del secondo ciclo di strumenti, è stato preso in consi-derazione il parametro “Lead time”e le due simulazioni, precedentemente create, sono state confrontate. Tale confronto ha evidenziato una radicale riduzione dei tempi (nonché dei costi associati) della nuova soluzione rispetto alla prima. Alla presente segue la trattazione in lingua inglese degli argomenti oggetto di ri-cerca. Buona lettura.

Transizione spagnola e memoria storica. Un’analisi delle leggi Ley de amnistía e Ley para la memoria histórica e della loro ricezione nelle politiche educative in Spagna

Questo elaborato ha l'obiettivo di analizzare due testi di legge spagnoli, la "Ley de amnistía" del 1977 e la "Ley para la memoria histórica" del 2007 e la loro ricezione nelle politiche educative della Spagna. Il lavoro di ricerca, svolto nella città di Madrid, si è focalizzato soprattutto sull'analisi descrittiva di dieci manuali di storia utilizzati in due "Institutos de enseñanza secundaria" e sul commento delle interviste fatte a cinque docenti operanti in questi istituti.

Food waste along the supply chain. An analysis of nowadays food supply chain challenges in the italian and english contexts

Scopo. Lo scopo di questo studio è esaminare il problema degli sprechi nelle moderne food supply chain, così da consentire una piena comprensione delle principali cause di inefficienza sistemica nell’industria alimentare e individuare potenziali opportunità di miglioramento. Approccio e Metodologia. Per raggiungere gli obiettivi prefissati la presente trattazione si propone di implementare una ricerca empirica basata sull’analisi di due realtà industriali operanti nel settore alimentare. Nello specifico verranno studiate due aziende integrate rispettivamente nel contesto economico italiano e in quello inglese e operanti a due stadi diversi e complementari della filiera alimentare, quello della produzione e quello della distribuzione. Questo studio incrociato consentirà, auspicabilmente, di portare alla luce quegli elementi chiave necessari per una lettura chiara ed esaustiva delle maggiori sfide che le moderne supply chain si trovano a dover affrontare, in una prospettiva di minimizzazione degli sprechi e di accrescimento del valore per il consumatore. Risultati. I risultati che si prevede di ottenere dall’implementazione di questo studio sono fondamentalmente quattro: 1.Piena comprensione del concetto di spreco nell’industria alimentare. 2.Identificazione dei principali fattori chiave che dovrebbero essere attentamente monitorati con lo scopo di conseguire un’efficace riduzione degli sprechi lungo la filiera alimentare. 3.Analisi critica di quelle che sono le più utilizzate pratiche manageriali e operative nelle moderne aziende alimentari. 4.Individuazione dei potenziali sviluppi che potrebbero essere implementati attraverso l’utilizzo delle più recenti ICT in termini di efficienza della supply chain. Valore della Ricerca. Seppure mediante un’analisi prevalentemente di tipo qualitativo, questa trattazione si prefigge di fornire un contributo nell’ambito del food supply chain management che, data la rilevanza del problema relativo agli sprechi, risulta oggi più attuale che mai. L’originalità di questo studio risiede principalmente nelle fonti dei dati che ne hanno costituito le fondamenta: da un lato la ricerca teorica sviluppata nel Regno Unito, dove lo studio della supply chain è ormai da decenni approfondito nelle più importanti Università; dall’altro la ricerca empirica sviluppata sia presso una delle più importanti e moderne aziende alimentari italiane, che presso uno dei più famosi logistics service provider a livello mondiale.

Verso una teoria delle differenze tra documenti semi-strutturati

I sistemi di versionamento moderni quali "git" o "svn" sono ad oggi basati su svariati algoritmi di analisi delle differenze (detti algoritmi di diffing) tra documenti (detti versioni). Uno degli algoritmi impiegati con maggior successo a tal proposito è il celebre "diff" di Unix. Tale programma è in grado di rilevare le modifiche necessarie da apportare ad un documento al fine di ottenerne un altro in termini di aggiunta o rimozione di linee di testo. L'insieme di tali modifiche prende nome di "delta". La crescente richiesta e applicazione dei documenti semi-strutturati (ed in particolar modo dei documenti XML) da parte della comunità informatica soprattutto in ambito web ha motivato la ricerca di algoritmi di diffing più raffinati che operino al meglio su tale tipologia di documenti. Svariate soluzioni di successo sono state discusse; algoritmi ad alte prestazioni capaci di individuare differenze più sottili della mera aggiunta o rimozione di testo quali il movimento di interi nodi, il loro riordinamento finanche il loro incapsulamento e così via. Tuttavia tali algoritmi mancano di versatilità. L'incapsulamento di un nodo potrebbe essere considerata una differenza troppo (o troppo poco) generale o granulare in taluni contesti. Nella realtà quotidiana ogni settore, pubblico o commerciale, interessato a rilevare differenze tra documenti ha interesse nell'individuarne sempre e soltanto un sottoinsieme molto specifico. Si pensi al parlamento italiano interessato all'analisi comparativa di documenti legislativi piuttosto che ad un ospedale interessato alla diagnostica relativa alla storia clinica di un paziente. Il presente elaborato di tesi dimostra come sia possibile sviluppare un algoritmo in grado di rilevare le differenze tra due documenti semi-strutturati (in termini del più breve numero di modifiche necessarie per trasformare l'uno nell'altro) che sia parametrizzato relativamente alle funzioni di trasformazione operanti su tali documenti. Vengono discusse le definizioni essenziali ed i principali risultati alla base della teoria delle differenze e viene dimostrato come assunzioni più blande inducano la non calcolabilità dell'algoritmo di diffing in questione.

Mechanical behaviour of composite spandrels in unreinforced masonry buildings

La presente tesi tratta il comportamento meccanico delle fasce di piano in muratura composite. Con tale termine ci si riferisce alle fasce di piano che hanno al di sotto un elemento portante in conglomerato cementizio armato, come ad esempio cordoli o solai. Assieme ai maschi murari, le fasce di piano costituiscono gli elementi portanti di una parete in muratura. Tuttavia, in caso di analisi sismica di un edificio in muratura, l’effetto fornito da tali elementi è trascurato e si considera solamente il contributo dei maschi murari. Ciò è dovuto anche alla scarsa conoscenza che ancora oggi si possiede sul loro comportamento meccanico. Per questo motivo diversi gruppi di ricerca tutt’ora sono impegnati in tale studio. In particolare, il lavoro di questa tesi, s’inserisce nel più ampio progetto di ricerca condotto dalla professoressa Katrin Beyer, direttrice del Laboratorio di Ingegneria Sismica e Dinamica Strutturale del Politecnico di Losanna (Svizzera).