Studio e implementazione di metodi per la migrazione di processi tramite dmtcp

In questo elaborato vengono descritte le principali modalità di migrazione di processi con riferimento al Sistema Operativo GNU Linux. Sono presentate : caratteristiche di migrazione, varianti implementative, tecniche di checkpoint restart, DMTCP ed il progetto ULPM. Il corso di riferimento è Progetto di Sistemi Virtuali. Il relatore è il professor Renzo Davoli.

Il potere normativo delle Corti sul processo

La tesi intende offrire una riflessione in merito al potere degli organi giurisdizionali di disporre normativamente su determinati aspetti del processo che si svolge dinanzi ad essi, sostituendosi così al legislatore. Il piano di indagine della tesi si sviluppa prevalentemente nella descrizione della realtà europea davanti alle autorità giurisdizionali di Lussemburgo, attraverso continui riferimenti a pronunce giurisprudenziali. La candidata si sofferma, preliminarmente, definendo, in termini generali, l’origine e l’applicazione dei c.d. atti di soft law in ambito europeo e soffermandosi sul ruolo che ricopre la giurisprudenza nell’ordinamento europeo. Sempre nel capitolo di apertura, un accenno è dedicato al panorama italiano che, alla luce delle recenti e continue riforme processuali ed, in particolare, della lettura costituzionalmente orientata del processo civile in forza della sua ragionevole durata, sta conoscendo, sempre più largamente, il fenomeno dei c.d. protocolli. La tesi si sviluppa, poi, in altri tre capitoli, nei quali sono analizzati tre esempi di manifestazione del potere normativo degli organi giurisdizionali europei sul processo. La candidata passa, così, all’esame delle “Istruzioni pratiche alle parti”, sviscerando le disposizioni ivi contenute alla luce di casi giurisprudenziali, al fine di poter definire la reale efficacia di tali atti e la loro vincolatività nei confronti dei rappresentanti delle parti. A tale capitolo segue quello sull’applicazione del rinvio pregiudiziale tra soft law (c.d. Raccomandazioni) e giurisprudenza. Infine, la candidata svolge le ultime riflessioni sul potere “eccezionale” della Corte di giustizia di limitare nel tempo gli effetti delle proprie sentenze interpretative. Potere che, in questo caso, si manifesta non mediante l’emanazione di atti di soft law, ma attraverso le proprie pronunce giurisprudenziali.

La politica energetica nei paesi emergenti (Brics): il caso India

la tesi analizza e sviluppa le politiche energetiche nei paesi emergenti con particolare riferimento al caso indiano

Comportamento ciclico di un pilastro in C.C.A inghisato in fondazione: comportamento sperimentale e modellazione numerica

Vista la necessità di migliorare le prestazioni sismiche delle costruzioni, in particolare di quelle prefabbricate, in questa tesi è stato studiato il comportamento di un particolare tipo di collegamento fra pilastro prefabbricato e plinto di fondazione, proposto e utilizzato dalla ditta APE di Montecchio Emilia. Come noto, l'assemblaggio degli elementi prefabbricati pone il problema delle modalità di collegamento nei nodi, le quali condizionano il comportamento statico e la risposta al sisma dell'insieme strutturale. Per studiare il comportamento del collegamento in questione, sono state effettuate delle prove di pressoflessione ciclica su due provini. Inoltre, sono stati sviluppati dei modelli numerici con l'obiettivo di simulare il comportamento reale. Si è utilizzato il software Opensees (the Open System for Earthquake Engineering Simulation), creato per la simulazione sismica delle strutture.

Strategie di osservazione, metodo di analisi e qualità dei prodotti per un esperimento mipas di seconda generazione.

In questo elaborato viene studiato un nuovo strumento satellitare chiamato MIPAS2k: uno spettrometro a trasformata di Fourier, in grado di misurare gli spettri di emissione dei gas atmosferici attraverso la tecnica di misure al lembo. Lo scopo di MIPAS2k è quello di determinare la distribuzione spaziale di quantità atmosferiche tra cui il VMR delle specie chimiche: ozono, acqua, acido nitrico e protossido di azoto. La necessità di idearne un successore è nata dopo la perdita di contatto con lo strumento MIPAS da cui MIPAS2k, pur preservandone alcune caratteristiche, presenta differenze fondamentali quali: i parametri osservazionali, il tipo di detector utilizzato per eseguire le scansioni al lembo e la logica attraverso cui vengono ricavate le distribuzioni dei parametri atmosferici. L’algoritmo attraverso cui viene effettuata l’inversione dei dati di MIPAS2k, chiamato FULL2D, usa la stessa logica di base di quello utilizzato per MIPAS chiamato Geo-Fit. La differenza fondamentale tra i due metodi risiede nel modo in cui i parametri sono rappresentati. Il Geo-Fit ricostruisce il campo atmosferico delle quantità da determinare tramite profili verticali mentre il FULL2D rappresenta i valori del campo atmosferico all’interno degli elementi della discretizzazione bidimensionale dell’atmosfera. Non avendo a disposizione misure del nuovo strumento si è dovuto valutarne le performance attraverso l’analisi su osservati simulati creati ricorrendo al modello diretto del trasferimento radiativo e utilizzando un’atmosfera di riferimento ad alta risoluzione. Le distribuzioni bidimensionali delle quantità atmosferiche di interesse sono state quindi ricavate usando il modello di inversione dei dati FULL2D applicato agli osservati simulati di MIPAS2k. I valori dei parametri ricavati sono stati confrontati con i valori dell’atmosfera di riferimento e analizzati utilizzando mappe e quantificatori. Con i risultati di queste analisi e' stato possibile determinare la risoluzione spaziale e la precisione dei prodotti di MIPAS2k per due diverse risoluzioni spettrali.

Riqualificare e preservare progetto di riqualificazione sostenibile dell'istituto tecnico industriale Marconi di Forli

Oggetto di questa tesi e la riqualificazione dell'Istituto Tecnico Industriale Statale Giovanni Marconi di Forli; riqualificazione intesa come efficientamento energetico dell'intero complesso, per farlo entrare in classe energetica A (<8 kWh/m3a), ed intesa anche, e soprattutto, come miglioramento delle condizioni di benessere degli utenti sotto piu aspetti, come il comfort visivo, quello acustico, la qualita dell'aria interna, la sensibilizzazione dell'utenza su diversi aspetti (energetici, ambientali, storici) ed il rinnovo della comunicazione all'interno dell'istituto. L'interesse per questo tema deriva direttamente dal lavoro svolto nel Laboratorio di Laurea in Architettura Sostenibile, di cui questa tesi e il naturale sviluppo, nato da una collaborazione pluriennale tra il comune di Forli e il Dipartimento di Architettura dell'Università di Bologna. Le richieste della committenza sono esplicabili in pochi punti: - Mantenimento della destinazione d'uso dell'edificio - Mantenimento dell'immagine e della matericita esterna del complesso - Riqualifica di V.le della Liberta Le richieste provenienti dal Laboratorio di Laurea si limitano al raggiungimento di una classificazione di tipo A per quanto riguarda le prestazioni energetiche dell'edificio, che a seguito di attente analisi e simulazioni risulta essere in classe C. E' un edificio dalla storia importante, con un'autorevole identita, che padroneggia Viale della Liberta insieme ad altri edifici pubblici dai simili pregi storico architettonici. Per questi ed altri motivi tutte le scelte operate per il raggiungimento degli obiettivi preposti sono state prese tenendo a mente questi valori che l'edificio ed il suo intorno urbano possiedono. Un ulteriore aspetto preso in considerazione nell'elaborazione di questa tesi e quello che concerne la riqualifica di Viale della Liberta, il quale presenta numerosi aspetti critici che abbiamo affrontato con lo stesso rispetto per la storia usato per l'Istituto. L'intento di questa tesi e quindi quello di conciliare il rispetto per l'ambiente con quello per le pre-esistenze, soprattutto quando hanno un elevato valore storico architettonico, cercando di dimostrare che storia, sostenibilita ambientale ed innovazione possono conciliarsi: tre aspetti con cui sempre piu spesso i progettisti debbono confrontarsi, dato il vastissimo parco architettonico esistente che possediamo e data l'impossibilita di ignorare l'impatto ambientale e gli sprechi energetici che questo patrimonio edilizio procura.

Der Alpenkönig und der Menschenfeind: analisi del tedesco austriaco nel teatro dell’Ottocento

Questo lavoro si basa su una delle varietà del tedesco, lingua pluricentrica, e , in particolare, sul tedesco austriaco. L'analisi verrà fatta su un testo di teatro austriaco dell'Ottocento. Si traccerà, quindi, un breve profilo dell’autore, Ferdinand Raimund, e del periodo storico-culturale in cui questo pezzo teatrale si inserisce, l’Alt-Wiener Volkstheater. Si rivolgerà poi l’attenzione sul testo in particolare scelto,"Der Alpenkönig und der Menschenfeind", fornendo una breve descrizione della trama e degli aspetti simbolici principali. Successivamente si passerà all’analisi vera e propria dei tratti del tedesco austriaco più ricorrenti e significativi del testo, cercando di attingere da più campi (fonologia, morfologia, sintassi, lessico e pragmatica). Infine, prima di trarre le conclusioni, si dedicherà una parte del lavoro anche al linguaggio aulico e del XIX secolo e a quello tipico letterario.

La gestione dei beni fiscali da parte di Federico II di Svevia: Il "Quaternus excadenciarum capitinate". Edizione e commento

La ricerca è stata incentrata su di una fonte di grande importanza per una più puntuale comprensione della vita del regno di Federico II: il Quaternus excadenciarum Capitinate. Essa ha tenuto presenti le altre fonti coeve: Liber Augustalis, Registro della Cancelleria di Federico II degli anni 1239-1240, fonti cronachistiche. Il Quaternus è un inventario di talune particolari categorie di beni demaniali, le excadencie, la cui concessione è scaduta e pertanto ritornano al fisco. Tali beni sono situati in 33 località del Giustizierato di Capitanata. Senza data, è stato redatto tra il 1249 e il 1250 (risultano inseriti i beni confiscati a Pier della Vigna, bollato di tradimento nel febbraio 1249). Obiettivo della ricerca è stato duplice: 1) analizzare e approfondire le questioni di natura giuridico-istituzionale ed economica implicate nel documento e tentare di ricostruire uno spaccato della Capitanata del XIII sec.; 2) offrire una nuova e più corretta edizione del testo. La prima parte dello studio ha inteso inquadrare il documento nel contesto delle esigenze proprie delle monarchie del tempo di tenere sotto controllo i beni immobili di ciascun regno ed analizzare la politica economica fridericiana (capp. I, II). La seconda parte è stata dedicata agli approfondimenti innanzi ricordati. Essa è struttura in sette capitoli (I. Il Quaternus excadenciarum Capitinate; II. Beni e diritti costituenti le excadencie Capitinate; III. Il Quaternus come specchio di una politica dispotica; IV. La gestione delle excadencie; V. Pesi e misure; VI. Monete e valori; VII. Il Quaternus come documento sullo stato della Capitanata nel XIII secolo). In appendice: tabelle che offrono per ciascuna delle 33 località considerate, puntuali indicazioni dei beni e diritti censiti, dei nomi dei titolari delle concessioni (spesso personaggi di rango) e delle relative rendite.

La neutralità della rete

La tesi analizza il problema della Net Neutrality, prendendo in esame le aziende telefoniche italiane e la loro posizione rispetto al problema.

Distribuzione dei neuroni che esprimono il peptide correlato al gene della calcitonina (CGRP) nel midollo spinale di Tursiope (Tursiops truncatus, Montagu, 1821)

Il peptide correlato al gene della calcitonina (CGRP) è una molecola presente nei neuroni del midollo spinale di diverse specie di Mammiferi, inclusi topi, ratti, conigli, cani, gatti, pecore, scimmie e uomo. Nonostante la distribuzione dei neuroni contenenti questo neuropeptide sia stata studiata in maniera dettagliata nel midollo spinale delle suddette specie, non sono disponibili, in letteratura, informazioni relative alla presenza di queste cellule nel midollo spinale dei Cetacei. Di conseguenza, è stata condotta la presente ricerca che ha avuto lo scopo di determinare, mediante metodiche di immunoistochimica, la distribuzione e la morfologia dei neuroni esprimenti il CGRP nel midollo spinale di tursiope (Tursiops truncatus). In questa specie, la distribuzione laminare (secondo Rexed) dei neuroni CGRP-immunoreattivi è assai simile a quella che si osserva nei Roditori, nei Carnivori e nei Primati; infatti, i corpi cellulari immunopositivi sono localizzati soprattutto in corrispondenza dell’apice del corno dorsale (lamine I e II) e nel corno ventrale (lamine VIII e IX). La distribuzione e la morfologia dei neuroni esprimenti CGRP nel midollo spinale di tursiope suggeriscono come tale neuropeptide possa essere coinvolto nella trasmissione delle informazioni sia sensitive (somatiche e viscerali) che motorie. I neuroni CGRP-immunoreattivi localizzati nelle lamine I e II del midollo spinale di tursiope, come dimostrato in altre specie, potrebbero agire da interneuroni modulando le informazioni nocicettive che dai gangli spinali vengono trasmesse al midollo spinale. Nelle lamine I e II sono presenti anche numerosi processi immunopositivi che, oltre ad appartenere a neuroni locali, derivano, molto probabilmente, dai ai neuroni pseudounipolari dei gangli spinali. In accordo con quanto appena affermato, è opportuno sottolineare come le fibre afferenti primarie provenienti dai gangli spinali utilizzino il CGRP per la trasmissione delle informazioni dolorifiche. La presenza di CGRP nei neuroni della lamina VIII, invece, indica come questo neuropeptide possa essere implicato nella trasmissione di segnali di natura motoria, utilizzando meccanismi presinaptici. Infine, la presenza di numerosi motoneuroni immunoreattivi per il CGRP nella lamina IX indicherebbe un’azione diretta svolta da questo neuropeptide nell’interazione tra motoneurone inferiore e muscolo scheletrico.

Frequency-dependent response of snow in uniaxial compression and comparison with numerical simulation

La determinazione del modulo di Young è fondamentale nello studio della propagazione di fratture prima del rilascio di una valanga e per lo sviluppo di affidabili modelli di stabilità della neve. Il confronto tra simulazioni numeriche del modulo di Young e i valori sperimentali mostra che questi ultimi sono tre ordini di grandezza inferiori a quelli simulati (Reuter et al. 2013)⁠. Lo scopo di questo lavoro è stimare il modulo di elasticità studiando la dipendenza dalla frequenza della risposta di diversi tipi di neve a bassa densità, 140-280 kg m-3. Ciò è stato fatto applicando una compressione dinamica uniassiale a -15°C nel range 1-250 Hz utilizzando il Young's modulus device (YMD), prototipo di cycling loading device progettato all'Istituto per lo studio della neve e delle valanghe (SLF). Una risposta viscoelastica della neve è stata identificata a tutte le frequenze considerate, la teoria della viscoelasticità è stata applicata assumendo valida l'ipotesi di risposta lineare della neve. Il valore dello storage modulus, E', a 100 Hz è stato identificato come ragionevolmente rappresentativo del modulo di Young di ciascun campione neve. Il comportamento viscoso è stato valutato considerando la loss tangent e la viscosità ricavata dai modelli di Voigt e Maxwell. Il passaggio da un comportamento più viscoso ad uno più elastico è stato trovato a 40 Hz (~1.1•10-2 s-1). Il maggior contributo alla dissipazione è nel range 1-10 Hz. Infine, le simulazioni numeriche del modulo di Young sono state ottenute nello stesso modo di Reuter et al.. La differenza tra le simulazioni ed i valori sperimentali di E' sono, al massimo, di un fattore 5; invece, in Reuter et al.⁠, era di 3 ordini di grandezza. Pertanto, i nostri valori sperimentali e numerici corrispondono meglio, indicando che il metodo qui utilizzato ha portato ad un miglioramento significativo.

Equazioni Differenziali e Teorema di Frobenius

L’obiettivo di questa tesi è quello di presentare, in maniera elementare ma esaustiva, una delle teorie più interessanti nell’ambito dell’analisi matematica: le equazioni differenziali, equazioni che legano una funzione (vista come incognita) alle sue derivate. Nel presentare la teoria delle equazioni differenziali, l’esposizione viene suddivisa in tre capitoli. Il primo ha il fine di presentare la teoria, introducendo le definizioni e i principali risultati, con particolare attenzione al problema di Cauchy, mentre nel secondo l’attenzione si focalizza su come le soluzioni di un sistema differenziale dipendano dai dati iniziali. Nel terzo capitolo la teoria viene generalizzata attraverso il Teorema di Frobenius. Infatti, così come la soluzione di un’equazione differenziale ordinaria permette di ricostruire una curva passante per un dato punto a partire dal suo campo di tangenti, analogamente il Teorema di Frobenius permette di ricostruire una sottovarietà liscia a partire da un sistema di spazi vettoriali tangenti.

Monitoraggio da dati in situ e telerilevati delle proprietà ottiche delle acque costiere dell’Adriatico a supporto della gestione costiera

Il presente lavoro è stato finalizzato all’analisi delle caratteristiche spettrali delle acque sia da dati in situ che telerilevati, attraverso l’implementazione di algoritmi semi-empirici e modelli bio-ottici dedicati. Inoltre prende in considerazione la correzione delle immagini ottiche per la mappatura delle concentrazioni del particellato sospeso per osservarne la distribuzione nelle acque costiere dell’Alto Adriatico. Le acque costiere sono caratterizzate da un'alta variabilità di proprietà ottiche che dipende dalle specifiche ambientali e stagionali, dai processi idrodinamici e dalle componenti che contiene. Lo studio della dinamica di dispersione del materiale totale sospeso, analizzato in questo lavoro, è stato possibile proprio grazie alle proprietà ottiche del particellato sospeso che, assieme alla clorofilla, è annoverato tra le sostanze otticamente attive. E’ stata svolta un’analisi pluriennale al fine di valutare quali fossero i diversi fattori che influenzano le dinamiche e la distribuzione del particellato sospeso presente nelle acque costiere nell’area prospiciente il delta del Po. La dinamica di dispersione del materiale sospeso in acque superficiali è modulato da variazioni spazio-temporali legate a diversi fattori, tra i quali sono stati considerati l’influenza dell’apporto fluviale del Po e il contributo derivante da diverse condizioni meteomarine. L’analisi effettuata e i risultati ottenuti sono un contributo preliminare a supporto di una gestione costiera, e può fornire una visuale d’insieme dei principali fattori che determinano la presenza di materiale sospeso nella regione costiera esaminata. Tali informazioni sono utili ad una gestione più informata al fine di ridurre gli impatti legati alla presenza di materiale sospeso nelle acque dell’area presa in esame. Le attività svolte sono incluse nel progetto CYAN IS WAS all’interno del programma esecutivo sulla cooperazione scientifica e tecnologica tra la Repubblica d’Italia e il Regno di Svezia per gli anni 2010-2013 e nell’ambito del progetto bandiera RITMARE.

Meccanismi neurali per la rappresentazione semantica e lessicale: modello di una rete neurale per apprendere il significato di oggetti e parole

Lo studio della memoria semantica attraverso modelli teorici (qualitativi o matematici) gioca un ruolo importante nelle neuroscienze cognitive. In questa tesi viene presentato un modello della memoria semantica e lessicale. Il principio alla base del modello è che la semantica di un oggetto è descritta attraverso una collezione di proprietà, che sintetizzano la percezione dell’oggetto nelle diverse regioni corticali. Gli aspetti semantici e lessicali sono memorizzati in regioni separate del cervello, ma reciprocamente connesse sulla base dell’esperienza passata, secondo un meccanismo di apprendimento Hebbiano. L’obiettivo del lavoro è indagare i meccanismi che portano alla formazione di categorie, analizzare il ruolo delle diverse proprietà nella costruzione di un concetto e le connessioni tra queste proprietà e la parola corrispondente al nome dell’oggetto. Durante l’addestramento per ogni oggetto sono presentate alcune proprietà in input, con una data frequenza: alcune sono condivise, cioè appartengono a più di un concetto e permettono la formazione di categorie, altre sono distintive, cioè sono tipiche di un concetto e consentono la rappresentazione dei membri di una categoria. Un ulteriore aspetto riguardante le proprietà è la distinzione fra proprietà salienti, che sono spontaneamente evocate, e proprietà marginali. E’ stata utilizzata una tassonomia composta da 11 parole che identificano 11 animali. La salienza è stabilita dalla frequenza con cui si verifica ciascuna proprietà. La distinzione tra proprietà condivise e distintive, e tra proprietà salienti e non salienti, è stata ottenuta mediante l’uso della regola di Hebb con una diversa soglia presinaptica e postsinaptica, producendo patterns di sinapsi asimmetriche all’interno della rete semantica (auto-associazione) e tra la rete semantica e lessicale (etero-associazione). La rete addestrata è in grado di risolvere compiti di riconoscimento e denominazione di oggetti, mantenendo una distinzione tra le categorie e i suoi membri, e fornendo un diverso ruolo per le proprietà salienti rispetto alle proprietà marginali.

Traffic light policies for low penetration rate of monitoring devices

La gestione del traffico è una delle principali problematiche delle città moderne, e porta alla definizione di nuove sfide per quanto riguarda l’ottimizzazione del flusso veicolare. Il controllo semaforico è uno degli elementi fondamentali per ottimizzare la gestione del traffico. Attualmente la rilevazione del traffico viene effettuata tramite sensori, tra i quali vengono maggiormente utilizzate le spire magnetiche, la cui installazione e gestione implica costi elevati. In questo contesto, il progetto europeo COLOMBO si pone come obiettivo l’ideazione di nuovi sistemi di regolazione semaforica in grado di rilevare il traffico veicolare mediante sensori più economici da installare e mantenere, e capaci, sulla base di tali rilevazioni, di auto organizzarsi, traendo ispirazione dal campo dell’intelligenza artificiale noto come swarm intelligence. Alla base di questa auto organizzazione semaforica di COLOMBO vi sono due diversi livelli di politiche: macroscopico e microscopico. Nel primo caso le politiche macroscopiche, utilizzando il feromone come astrazione dell’attuale livello del traffico, scelgono la politica di gestione in base alla quantità di feromone presente nelle corsie di entrata e di uscita. Per quanto riguarda invece le politiche microscopiche, il loro compito è quello di deci- dere la durata dei periodi di rosso o verde modificando una sequenza di fasi, chiamata in COLOMBO catena. Le catene possono essere scelte dal sistema in base al valore corrente della soglia di desiderabilità e ad ogni catena corrisponde una soglia di desiderabilità. Lo scopo di questo elaborato è quello di suggerire metodi alternativi all’attuale conteggio di questa soglia di desiderabilità in scenari di bassa presenza di dispositivi per la rilevazione dei veicoli. Ogni algoritmo complesso ha bisogno di essere ottimizzato per migliorarne le performance. Anche in questo caso, gli algoritmi proposti hanno subito un processo di parameter tuning per ottimizzarne le prestazioni in scenari di bassa presenza di dispositivi per la rilevazione dei veicoli. Sulla base del lavoro di parameter tuning, infine, sono state eseguite delle simulazioni per valutare quale degli approcci suggeriti sia il migliore.