Mongodb tra i database non relazionali - focus su Map-Reduce e gestione della memoria

Panoramica delle caratteristiche dei database NoSQL, con dettaglio su MongoDB: filosofia di progettazione, modello dei dati, indicizzazione, algoritmo Map-Reduce e gestione della memoria.

La figura della donna nella società giapponese: dal Giappone moderno alla società contemporanea

L’idea del presente elaborato nasce da due elementi principali: l’attualità del tema in Giappone ma anche in Europa, e l’esistenza nella lingua giapponese di strutture grammaticali e sintattiche propriamente “maschili”. L’analisi della figura della donna nella società giapponese moderna è trattata attraverso un breve excursus che va dalla mitologia alla Seconda Guerra Mondiale. Il mito presenta la femminilità come valore, e genera una società matriarcale. Tuttavia, l’influenza delle religioni e lo sviluppo del sistema feudale ben presto orientano la società verso un rigido patriarcato. Nonostante la Restaurazione Meiji abbia dato impulso ai primi movimenti di riforma in materia di diritti delle donne, è solo durante il periodo Taishō che la società assimila influenze progressiste e vedute più aperte, e lo status della donna diviene oggetto di riforme e conquiste. Nella seconda metà degli anni Trenta il clima oppressivo in vista della Seconda Guerra Mondiale predilige ancora una volta il ruolo femminile tradizionale plasmato dalla cultura patriarcale. Per la prima volta, durante l’Occupazione statunitense viene proposto un modello femminile alternativo, che sembra promuovere un’immagine diversa della donna. Tuttavia, tale fenomeno indietreggia non appena mutano le priorità degli Stati Uniti in Giappone. In seguito, lo studio della figura della donna nella società è trattata tramite l’analisi della Costituzione del 1946 e delle leggi in materia di famiglia, istruzione e occupazione. Tale analisi risulta interessante in quanto riflette l’andamento altalenante che caratterizza la società giapponese nell'ambito dell’eguaglianza di genere. Inoltre, è riportata l’analisi critica delle leggi in materia di eguaglianza di genere e pari opportunità in ambito lavorativo. L’analisi delle leggi permette di comprendere le tendenze delle nuove generazioni emerse negli ultimi anni, in particolare lo stile di vita della donna del Giappone contemporaneo.

Le sfide traduttive dei sintagmi nominali con modificatori in posizione prenominale nell'interpretazione simultanea dall'inglese in italiano: uno studio sul corpus Epic

Questa ricerca si concentra sulla gestione dei sintagmi nominali complessi nell’interpretazione simultanea in italiano dei discorsi inglesi del corpus elettronico EPIC (European Parliament Interpreting Corpus). EPIC contiene le trascrizioni di discorsi pronunciati al Parlamento europeo in inglese, italiano e spagnolo e le rispettive interpretazioni nelle altre due lingue. Per quest’analisi sono stati utilizzati due sottocorpora: I discorsi originali inglesi e i rispettivi discorsi interpretati in italiano. L’obiettivo del progetto era estrarre i sintagmi nominali complessi dal sottocorpus dei discorsi inglesi e confrontarli con le rispettive traduzioni in italiano per studiare le strategie adottate dagli interpreti. L’ipotesi iniziale era che i sintagmi nominali complessi sono una sfida traduttiva. I sintagmi analizzati erano stringhe di parole formate da una testa nominale preceduta da due o più modificatori, che potevano essere aggettivi, sostantivi, avverbi, numeri cardinali e genitivi. Nel primo capitolo sono state descritte le caratteristiche dei modificatori sia in inglese che in italiano. Il secondo capitolo espone lo stato dell’arte degli studi di interpretazione basati sui corpora, con una sezione dedicata agli studi svolti su EPIC. Il terzo capitolo si concentra sulla metodologia utilizzata. I dati sono stati estratti automaticamente con tre espressioni di ricerca e poi selezionati manualmente secondo dei criteri di inclusione e di esclusione. I sintagmi nominali scelti sono stati confrontati con le corrispondenti traduzioni in italiano e classificati secondo il modello teorico delle relazioni traduttive di Schjoldager (1995). Il quarto capitolo contiene I dati raccolti, che sono stati analizzati nel quinto capitolo sia da un punto di vista quantitativo che qualitativo. I sintagmi nominali in tutto il sottocorpus sono stati confrontati con i sintagmi nominali di gruppi specifici di testi, suddivisi secondo la velocità di eloquio e la modalità di presentazione. L’ipotesi iniziale è stata in parte confermata e sono state descritte le strategie traduttive adottate dagli interpreti.

Sistema client-server per la gestione di dati georeferenziati raccolti via crowdsourcing

Questa tesi descrive un sistema Client Server che ricava dagli smartphone, tramite modello crowdsourcing e crowdsensing, posizioni che successivamente verranno georeferenziate sulla mappa con lo scopo di favorire l'accessibilità urbana.

Inflazione cosmologica R^2

Lo scopo di questa tesi è illustrare il paradigma dell’inflazione cosmologica descrivendo in particolare la teoria dell’inflazione R^2. In una prima sezione si fa riferimento al contesto della relatività generale per descrivere l’universo su larga scala. Vengono prese in esame le ipotesi utilizzate per ottenere il modello standard della cosmologia e le principali proprietà che da esso possono essere ricavate. Si focalizza quindi l’analisi sulla descrizione dell’universo primordiale da cui traggono origine le ipotesi dell’esistenza dell’epoca inflazionaria esponendo, in particolare, come questa teoria riesca a risolvere i problemi della piattezza e dell’orizzonte cosmologico. Viene poi descritto come la fase di espansione esponenziale richiesta da queste ipotesi possa essere generata dalla presenza di un campo scalare φ specifico. Particolare risalto è dato alla descrizione dell’approssimazione di ”slow-roll” ed ai vincoli sul numero di ”e-folding”. Una seconda sezione mostra l’applicazione dell’analisi generale esposta in precedenza al modello di inflazione di Starobinsky. A tal fine sono descritte le caratteristiche delle teorie della gravità f(R) con particolare attenzione alle trasformazioni conformi e scelta del frame. Attraverso l’esposizione delle equazioni di campo cosmologiche nella teoria della gravità R^2 si mostra come il processo di espansione inflazionaria dell’universo nelle sue fasi iniziali possa essere descritto da un comportamento non standard della gravità ad alte energie. Sono riportati i risultati principali ottenuti con questa teoria nel frame di Jordan e in quello di Einstein. La conclusione descrive in sintesi lo stato attuale delle osservazioni sperimentali e come queste abbiano un legame stretto con la teoria delle perturbazioni cosmologiche. In particolare, presentando i risultati ottenuti nel contesto dell’inflazione R^2 ed esponendo gli ultimi dati raccolti dall’esperimento Planck, si analizza come il modello sia in accordo con i dati sperimentali attualmente disponibili.

La spettroscopia di forza basata sull'AFM nello studio dello spazio conformazionale e dei processi aggregativi di proteine prioniche

Le malattie neurodegenerative sono caratterizzate da aggregazione proteica, dipendente dalla perdita della usuale struttura fisiologica funzionale delle proteine coinvolte, a favore di conformazioni tossiche (patologiche). Il modello corrente descrive questi cambiamenti conformazionali come eventi rari e ritiene che non esista una sola conformazione patogena, ma che tali possibili conformazioni siano piuttosto eterogenee. La caratterizzazione di queste strutture è, di conseguenza, difficile con le tradizionali tecniche in bulk che permettono di studiare solo la conformazione media e non rendono possibile il riconoscimento delle caratteristiche dei conformeri individuali. Lo sviluppo delle tecniche di singola molecola ha permesso di studiare in modo approfondito le conformazioni possibili. In questo lavoro la spettroscopia di forza di singola molecola basata sull'AFM viene applicata a PrP (proteina responsabile delle encefalopatie spongiformi trasmissibili). Si studiano gli equilibri conformazionali del monomero e quelli di costrutti oligomerici, allo scopo di caratterizzare gli step iniziali dei processi aggregativi. Nel corso di questo lavoro di tesi è stato, in particolare, sviluppato un sistema di analisi dati, al fine di studiare in modo quantitativo le distribuzioni di eventi ottenute. Grazie a tale strumento è stato possibile riconoscere i segnali di unfolding della conformazione nativa del monomero e notare come essa sia presente anche in costrutti oligomerici, ad indicare come questo ripiegamento sia stabile anche in presenza di più monomeri ravvicinati. Si è osservato l'effetto del pH sulla stabilità di tale struttura, notando come pH acidi destabilizzino il ripiegamento nativo. Inoltre si è studiato il ruolo dell'orientazione dei monomeri nella formazione di strutture dimeriche. Monomeri e oligomeri di PrP sono stati descritti come proteine parzialmente strutturate il cui panorama energetico contiene molti minimi locali, dando origine a parecchie conformazioni transienti.

Un software per la gestione dell'orario delle lezioni

Lo scopo di questa tesi è lo sviluppo di un’interfaccia Web per un software di ottimizzazione, il cui scopo è la definizione dell’orario delle lezioni universitarie. Presenteremo il modello risolutivo al problema del timetabling proposto da Daskalaki et alii, e lo adatteremo alle esigenze della facoltà di Informatica dell’Università di Bologna. In effetti, la necessità di costituire un software atto alla risoluzione del problema dell’orario universitario rappresenta il tema principale trattato in questa tesi, che si ripropone, oltretutto, la costruzione di un’interfaccia grafica accattivante e intuitiva, che possa agevolmente essere utilizzata da docenti e personale di segreteria.

L'evoluzione della funzione di massa stellare delle galassie: un test per i modelli della loro formazione

Per lo sviluppo di un modello realistico di formazione ed evoluzione delle galassie è necessario un confronto sistematico con le osservazioni in modo da verificare che i dati vengano ben riprodotti. Lo scopo che si prefigge questo lavoro di Tesi è un confronto tra le caratteristiche delle galassie presenti nei cataloghi simulati (mock), costruiti sulla base di alcuni modelli, e quelle evinte dai dati osservativi di campioni di galassie (surveys) con l'obbiettivo di far luce su quali siano le maggiori discrepanze e quindi sulla direzione in cui i modelli andrebbero perfezionati. Per far questo, si è scelto di far uso della funzione di massa stellare delle galassie (MF), in quanto strumento statistico più indicativo di una popolazione di galassie, considerando sia la totalità delle galassie, sia separatamente le star-forming e le quiescenti. Questo lavoro di Tesi attua un confronto tra le MF a 0

Paleoambienti di provenienza delle associazioni a foraminiferi in una successione torbiditica del Mar Ionio

Il Mar Ionio è una delle zone tettonicamente più attive del Mediterraneo e per questo rappresenta un’area ottimale per studiare i rapporti tra sedimentazione e tettonica. Più del 90% dei sedimenti quaternari del Mar Ionio sono costituiti da unità torbiditiche messe in posto da sismi, in particolare, uno di questi depositi è definito “Homogenite” oppure “HAT” (Homogenite/Augias Turbidite), riferibile al terremoto/tsunami di Creta del 365 d.C.. In questo contesto, l’analisi delle associazioni a foraminiferi bentonici all’interno delle unità torbiditiche può fornire utili indicazioni riguardo ai paleoambienti di provenienza del sedimento. Lo scopo della tesi è studiare le associazioni a foraminiferi presenti all’interno del sondaggio CQ14_01, prelevato nel Mar Ionio a 3793 m di profondità, nel prisma di accrezione calabro e che presenta una successione riferibile alla HAT dello spessore di circa 7 m. All’interno della HAT, le analisi micropaleontologiche hanno evidenziato la presenza di una cospicua quantità di foraminiferi bentonici di dimensioni comprese tra 63 e 125 µm, costituite principalmente da specie presenti in un ampio intervallo batimetrico e subordinatamente da taxa tipici di piattaforma interna (principalmente Patellina corrugata, Spirillina vivipara e Rosalina spp.). La presenza di una quantità relativamente abbondante di taxa di piattaforma interna suggerisce che sia stata l'onda di ritorno dello tsunami a innescare la torbidite, mentre l'onda di andata avrebbe prodotto la rimobilizzazione del sedimento di piattaforma. Un simile modello di innesco delle torbiditi legate a tsunami è stato elaborato per spiegare alcune torbiditi messe in posto a seguito dell'evento sismico di Tohoku-Oki del 2011 (Arai et al., 2013). Lo studio eseguito in questa Tesi suggerisce che l’analisi delle associazioni a foraminiferi in depositi torbiditici può costituire uno strumento utile per determinare i paleoambenti di provenienza dei fossili e probabilmente anche per ricostruire le modalità di innesco e di messa in posto dei flussi torbiditici.

USB monitor in LabVIEW per il controllo remoto delle schede DAQ del pixel detector di ATLAS

L’esperimento ATLAS al CERN di Ginevra ha un complesso sistema di rivelatori che permettono l’acquisizione e il salvataggio di dati generati dalle collisioni di particelle fondamentali. Il rivelatore per cui trova una naturale applicazione il lavoro di questa tesi è il Pixel Detector. Esso è il più vicino alla beam pipe e si compone di più strati, il più interno dei quali, l’Insertable B-Layer (IBL), aggiunto in seguito allo shut down dell’LHC avvenuto nel 2013, ha apportato diverse innovazioni per migliorare la risoluzione spaziale delle tracce e la velocità di acquisizione dei dati. E’ stato infatti necessario modificare il sistema di acquisizione dati dell’esperimento aggiungendo nuove schede chiamate ROD, ReadOut Driver, e BOC, Back Of Crate. Entrambe le due tipologie di schede sono montate su un apparato di supporto, chiamato Crate, che le gestisce. E’ evidente che avere un sistema remoto che possa mostrare in ogni momento il regime di funzionamento del crate e che dia la possibilità di pilotarlo anche a distanza risulta estremamente utile. Così, tramite il linguaggio di programmazione LabVIEW è stato possibile progettare un sistema multipiattaforma che permette di comunicare con il crate in modo da impostare e ricevere svariati parametri di controllo del sistema di acquisizione dati, come ad esempio la temperatura, la velocità delle ventole di raffreddamento e le correnti assorbite dalle varie tensioni di alimentazione. Al momento il software viene utilizzato all’interno dell’Istituto Nazionale di Fisica Nucleare (INFN) di Bologna dove è montato un crate W-Ie-Ne-R, speculare a quello presente al CERN di Ginevra, contenente delle schede ROD e BOC in fase di test. Il progetto ed il programma sviluppato e presentato in questa tesi ha ulteriori possibilità di miglioramento e di utilizzo, dal momento che anche per altri esperimenti dell’LHC le schede di acquisizione vengono montate sullo stesso modello di crate.

Asimmetrie terminologiche italiano/russo nel settore tecnico

Nell'ambito del presente lavoro il fenomeno di multiformità del termine si esprime in una stratificazione cognitiva riconducibile alla variazione terminologica e viene esaminato in maniera trasversale su entrambe le lingue di lavoro. La terminologia del dominio “Macchine per il riempimento” nasce sotto forma di testi scritti e orali che sono frutto sia di diversi contesti extralinguistici sia della percezione stratificata dei testi. A livello terminografico, i processi interdipendenti di produzione della terminologia stratificata e della sua percezione stratificata si concretizzano in asimmetrie cognitive. La Tesi intende registrare le asimmetrie cognitive presenti nella terminologia del dominio prescelto mediante l'impiego del modello del Dizionario Esplicativo Combinatorio (DEC). Oltre ad essere uno strumento particolarmente adatto a tal fine, il DEC si pone a base di diversi progetti nel settore del lessico specialistico fruibili sul WEB. Il presente lavoro costituisce il primo contributo scientifico elaborato in Italia di adattamento del DEC alla terminologia tecnica. Nella prima parte del lavoro si tratteggia il progetto on-line DiCoEnviro sviluppato dall'Osservatorio Linguistico Senso-Testo (OLST) dell’Università di Montreal in base al nucleo teorico e teoretico DiCo. In seguito si opera una contestualizzazione del modello DEC, sia mediante l’excursus biografico dell'autore Igor Mel'čuk sia mediante la descrizione della teoria Smysl<=>Tekst, fondante il DEC – in termini universalmente impiegabili. In seguito ancora, con la trattazione contemporanea in entrambe le lingue di lavoro, si analizzano le particolarità terminologiche del dominio in base ai testi appartenenti a diverse tipologie testuali. L'analisi porta a tratteggiare quella catena di percezione “dal produttore del macchinario all'utilizzatore diretto” che costituisce la radice delle asimmetrie cognitive-oggetto di ricerca. Sulla scorta delle asimmetrie individuate si formulano proposte di configurazione del DEC funzionali alla sua applicazione al settore terminologico. I risultati lasciano supporre che adattamenti simili a quelli proposti, mutatis mutandis, produrrebbero risultati altrettanto soddisfacenti in ciascun settore industriale.

Progettazione di database con Mysql e MongoDB: analisi di prestazioni su un caso di studio

Analisi di prestazioni di un database costruito con MongoDB e uno con Mysql residenti su due macchine virtuali uguali configurate appositamente per i test di inserimento, interrogazione e eliminazione.

Tensorial group field theories

In questa tesi il Gruppo di Rinormalizzazione non-perturbativo (FRG) viene applicato ad una particolare classe di modelli rilevanti in Gravit`a quantistica, conosciuti come Tensorial Group Field Theories (TGFT). Le TGFT sono teorie di campo quantistiche definite sulla variet`a di un gruppo G. In ogni dimensione esse possono essere espanse in grafici di Feynman duali a com- plessi simpliciali casuali e sono caratterizzate da interazioni che implementano una non-localit`a combinatoriale. Le TGFT aspirano a generare uno spaziotempo in un contesto background independent e precisamente ad ottenere una descrizione con- tinua della sua geometria attraverso meccanismi fisici come le transizioni di fase. Tra i metodi che meglio affrontano il problema di estrarre le transizioni di fase e un associato limite del continuo, uno dei pi` u efficaci `e il Gruppo di Rinormalizzazione non-perturbativo. In questo elaborato ci concentriamo su TGFT definite sulla variet`a di un gruppo non-compatto (G = R) e studiamo il loro flusso di Rinormalizzazione. Identifichiamo con successo punti fissi del flusso di tipo IR, e una superficie critica che suggerisce la presenza di transizioni di fase in regime Infrarosso. Ci`o spinge ad uno stu- dio per approfondire la comprensione di queste transizioni di fase e della fisica continua che vi `e associata. Affrontiamo inoltre il problema delle divergenze Infrarosse, tramite un processo di regolarizzazione che definisce il limite termodinamico appropriato per le TGFT. Infine, applichiamo i metodi precedentementi sviluppati ad un modello dotato di proiezione sull’insieme dei campi gauge invarianti. L’analisi, simile a quella applicata al modello precedente, conduce nuovamente all’identificazione di punti fissi (sia IR che UV) e di una superficie critica. La presenza di transizioni di fasi `e, dunque, evidente ancora una volta ed `e possibile confrontare il risultato col modello senza proiezione sulla dinamica gauge invariante.

Transizione a stati congestionati in modelli di traffico

La congestione del traffico è un fenomeno molto familiare, con il quale si ha a che fare nelle più svariate occasioni. Dal punto di vista fisico, il flusso del traffico rappresenta un sistema di particelle interagenti (i ve- icoli) in condizione di non equilibrio. L’effetto complessivo di un sistema composto da molte particelle interagenti è la creazione di una instabil- ità, osservata empiricamente, nello stato di free flow (scorrimento libero), causata dall’aumentare delle fluttuazioni. In questi casi di parla di phan- tom traffic jam, ovvero una congestione che ha origine senza cause appar- enti, come incidenti o lavori in corso. Sarà dimostrato come la condizione di stop & go si verifichi spontaneamente se la densità media dei veicoli eccede un certo valore critico. L’importanza di poter predire una congestione stradale non è un problema puramente matematico, ma ha risvolti socio-economici non indifferenti. Infatti, le caratteristiche della mobilità e dei sistemi di trasporto sono strettamente legate alla struttura della comunità e alla qualità della vita. Con il seguente studio si cercherà di trovare un osservabile facilmente calcolabile, che potrebbe essere un predittore della formazione di uno stato congestionato con un intervallo di tempo sufficientemente adeguato. A tal fine sono state prese in considerazione misure relative alle condizioni del traffico su strade provinciali dell’Emilia-Romagna, tramite un sistema MTS composto da 3509 spire che registra i passaggi delle macchine; in seguito, per poter avere una comprensione maggiore dei fenomeni che si manifestano durante la transizione a stato congestionato, si è provveduto a creare un modello matematico utilizzato per le simulazioni al computer. I risultati ottenuti dalle simulazioni, poi, sono stati utilizzati per trovare l’osservabile cercato nei dati pervenuti dalle strade campione.

Valutazione della fluenza fotonica di un tubo a raggi X tramite metodi semiempirici basati su simulazioni Montecarlo

Il lavoro svolto in questa tesi si inserisce in una ricerca iniziata pochi anni fa dal Dott. Bontempi. Riguarda la stima della fluenza fotonica tramite due metodi diversi da quelli adottati nella letteratura. I metodi proposti dalla letteratura valutano operativamente la fluenza fotonica ad alta intensità. Sono basati sulla correlazione tra fluenza fotonica e quantità dosimetriche, come l’esposizione o l’Air Kerma. Altre correlano la valutazione dell’HVL con la fluenza dei fotoni. Sebbene queste metodologie siano semplici da implementare, la valutazione della fluenza dei fotoni è ottenuta tramite il concetto di equivalenza del fascio monocromatico. Questo causa discrepanze nella valutazione della reale quantità di fotoni emessa dalla sorgente di raggi X. Il Dott. Bontempi ha sviluppato due diverse metodologie per il calcolo della fluenza: il primo metodo è basato sul calcolo del Kerma unito ad un modello semi empirico per il computo dello spettro dei raggi X. Il secondo metodo è invece basato sulla valutazione della funzione nNPS registrata in un’immagine a raggi X e quella ottenuta simulando il sistema sorgente-rivelatore.