Gestione delle preferenze nei sistemi informativi

Database preferences La tesi passa in rassegna i principali approcci alla formulazione e risoluzione di query su database relazionali con preferenza, di tipo sia qualitativo sia quantitativo. Verranno inoltre studiati gli algoritmi per il calcolo di skyline.

Online Stream Processing di Big Data su Apache Storm per Applicazioni di Instant Coupon

Big data è il termine usato per descrivere una raccolta di dati così estesa in termini di volume,velocità e varietà da richiedere tecnologie e metodi analitici specifici per l'estrazione di valori significativi. Molti sistemi sono sempre più costituiti e caratterizzati da enormi moli di dati da gestire,originati da sorgenti altamente eterogenee e con formati altamente differenziati,oltre a qualità dei dati estremamente eterogenei. Un altro requisito in questi sistemi potrebbe essere il fattore temporale: sempre più sistemi hanno bisogno di ricevere dati significativi dai Big Data il prima possibile,e sempre più spesso l’input da gestire è rappresentato da uno stream di informazioni continuo. In questo campo si inseriscono delle soluzioni specifiche per questi casi chiamati Online Stream Processing. L’obiettivo di questa tesi è di proporre un prototipo funzionante che elabori dati di Instant Coupon provenienti da diverse fonti con diversi formati e protocolli di informazioni e trasmissione e che memorizzi i dati elaborati in maniera efficiente per avere delle risposte in tempo reale. Le fonti di informazione possono essere di due tipologie: XMPP e Eddystone. Il sistema una volta ricevute le informazioni in ingresso, estrapola ed elabora codeste fino ad avere dati significativi che possono essere utilizzati da terze parti. Lo storage di questi dati è fatto su Apache Cassandra. Il problema più grosso che si è dovuto risolvere riguarda il fatto che Apache Storm non prevede il ribilanciamento delle risorse in maniera automatica, in questo caso specifico però la distribuzione dei clienti durante la giornata è molto varia e ricca di picchi. Il sistema interno di ribilanciamento sfrutta tecnologie innovative come le metriche e sulla base del throughput e della latenza esecutiva decide se aumentare/diminuire il numero di risorse o semplicemente non fare niente se le statistiche sono all’interno dei valori di soglia voluti.

Sviluppo di un framework per la gestione di documenti multimediali

Questo lavoro di tesi si propone di realizzare un sistema in grado non solo di gestire la similarità tra media di stesso tipo, in modo tale da essere al pari per potenzialità in catalogazione e ricerca dei sistemi esistenti, ma di introdurre anche il concetto di similarità tra documenti, i quali contengono media di diverso tipo. Anche se esistono già DBMS in grado di gestire tipi di media complessi, nessuno ha un modello in grado di gestire la compresenza di più tipi di dato efficientemente. Per realizzare un sistema multimediale che sia in grado di gestire non solo la similarità tra media compatibili per tipo ma in generale la ricerca tra documenti si è deciso di utilizzare sistemi per media specifici già esistenti e di integrarli in modo da farli cooperare. A tale proposito si è deciso inizialmente di creare un sistema in grado di gestire documenti che possano contenere inizialmente parti testuali, immagini, video e serie temporali. E’ chiaro intuire come le differenze tra i singoli sistemi (e tra le singole tipologie di dati) rendano quasi impossibile il confronto tra media di tipo diverso esaminandone solamente il contenuto. Per questo un sistema multimediale come quello proposto non potrà effettuare ricerca per contenuto tra media differenti (a parte tra immagini e video in cui può essere possibile confrontare l’immagine con gli screenshot che compongono un video) ma si baserà principalmente sul confronto semantico tra media di tipo diverso e lo combinerà invece con ricerche per metadati e contenuto tra media dello stesso tipo. In questa tesi verranno analizzate le tecnologie utilizzate, le modifiche apportate ai framework esistenti e le novità introdotte per realizzare il sistema generale e in seguito verrà proposta la realizzazione due applicazioni su casi reali per dimostrare l’efficacia di tale sistema.

Esperienza vissuta e scrittura nella poesia di Bassani

Seguendo le tracce della metologia proposta da Dilthey fino a Heidegger riguardo il concetto di Erlebnis (esperienza vissuta), si rintracciano i rapporti tra vita e opera nella produzione poetica di Giorgio Bassani che si prolunga dal 1939 al 1982. La ricerca evidenzia le conessioni della dinamica tra biografia e produzione artistica e il conseguente processo d’interiorizzazione psicologica che il percorso autobiografico dell’ autore rivela nella sua poesia. L’ impatto sul piano psicologico che lo spazio autorappresentato ha nello stesso autore, diventa nei testi proposti spazi di sperienze interiori [Fremont 1976]. Le proposte metodologiche sopra esposte possono essere un utile riferimento per un’analisi critica della poesia bassaniana, che può essere letta o come esperienza autonoma, con una sua originalità di stile e una sua ampiezza d’occasioni, o come laboratorio di temi e nodi che avranno uno sviluppo narrativo, una volta scorporati dalla matrice originaria e amplificati nella loro carica dinamica di proiezioni e figurazioni.

Il concetto di funzione: storia, applicazioni, sviluppi

Il concetto di funzione è tra i più rilevanti, ma anche tra i più controversi concetti matematici. In questo lavoro di tesi si è esaminato questo concetto a partire dalle sue origini fino ad arrivare alla definizione bourbakista, che è quella insegnata a tutti gli studenti a partire dalla scuola secondaria fino ad arrivare all'università. Successivamente si è analizzato in che modo questo delicato concetto viene presentato agli studenti delle scuole secondarie di secondo grado, osservando come le recenti Indicazioni Nazionali e Linee Guida danno suggerimenti per affrontare questo argomento, anche esaminando alcuni libri di testo. Infine si è descritto come il concetto di funzione abbia preso, in tempi relativamente recenti, un respiro più ampio dando luogo all'analisi funzionale, laddove le funzioni non sono più viste come corrispondenza punto a punto ma come oggetti che vengono osservati globalmente. Si considereranno infatti nuovi spazi i cui elementi sono funzioni.

Analisi di criteri di gestione di reti complesse di distribuzione dell'energia

La tesi è il risultato di uno studio condotto sulle reti distribuzione dell’energia termica, elettrica e frigorifera; queste reti possono essere sviluppate per aumentare la diffusione della microgenerazione e generazione diffusa con l’obiettivo di renderle autonome elettricamente, termicamente e in alcuni casi indipendenti dal punto di vista del combustibile sfruttando possibilmente cogeneratori integrati e sistemi a fonte rinnovabile. In particolare la tesi si sofferma sull’analisi di criteri di gestione di una rete di teleriscaldamento esistente in modo da ridurne al minimo le dispersioni di energia termica in ambiente e gli scambi di energia elettrica con la rete nazionale. Lo sviluppo della tesi è stato suddiviso sostanzialmente in tre parti: la prima riguarda la caratterizzazione del comportamento di una rete di teleriscaldamento reale nel comprensorio urbano di Corticella a Bologna con determinati sistemi di produzione dell’energia elettrica e termica in centrale; nella seconda parte vengono analizzati nuovi sistemi in centrale di produzione e presso le utenze; infine la terza parte riguarda l’analisi economica ed energetica di tutte le soluzioni di gestione esaminate. Quindi ogni configurazione, data da nuovi sistemi di produzione delle fonti energetiche richieste e di gestione della rete, viene prima analizzata in riferimento a tre tipologie di scambio termico presso le utenze e poi valutata in termini di consumo di combustibile e di scambi di energia elettrica con la rete nazionale attraverso il costo di acquisto del gas naturale, il costo d’acquisto dell’energia elettrica dalla rete e il prezzo di vendita dell’energia elettrica alla rete. Sebbene le utenze vengano considerate sempre in assetto passivo all’interno di alcune configurazioni viene sfruttata la delocalizzazione della produzione di energia termica e la gestione della rete a bassa temperatura per ridurre il più possibile l’impatto ambientale della centrale e della rete di teleriscaldamento.

Funzioni di Sobolev

In questa tesi cercherò di analizzare le funzioni di Sobolev su R}^{n}, seguendo le trattazioni Measure Theory and Fine Properties of Functions di L.C. Evans e R.F.Gariepy e l'elaborato Functional Analysis, Sobolev Spaces and Partial Differential Equations di H. Brezis. Le funzioni di Sobolev si caratterizzano per essere funzioni con le derivate prime deboli appartenenti a qualche spazio L^{p}. I vari spazi di Sobolev hanno buone proprietà di completezza e compattezza e conseguentemente sono spesso i giusti spazi per le applicazioni di analisi funzionale. Ora, come vedremo, per definizione, l'integrazione per parti è valida per le funzioni di Sobolev. È, invece, meno ovvio che altre regole di calcolo siano allo stesso modo valide. Così, ho inteso chiarire questa questione di carattere generale, con particolare attenzione alle proprietà puntuali delle funzioni di Sobolev. Abbiamo suddiviso il lavoro svolto in cinque capitoli. Il capitolo 1 contiene le definizioni di base necessarie per la trattazione svolta; nel secondo capitolo sono stati derivati vari modi di approssimazione delle funzioni di Sobolev con funzioni lisce e sono state fornite alcune regole di calcolo per tali funzioni. Il capitolo 3 darà un' interpretazione dei valori al bordo delle funzioni di Sobolev utilizzando l'operatore Traccia, mentre il capitolo 4 discute l' estensione su tutto R^{n} di tali funzioni. Proveremo infine le principali disuguaglianze di Sobolev nel Capitolo 5.

Tecniche di misura della risposta impulsiva di ambienti indoor in ambito acustico

Questo elaborato si pone l’obiettivo principale di formulare una metodologia volta alla misura sperimentale della risposta impulsiva di ambienti indoor in ambito acustico. Lo studio della risposta impulsiva di una stanza trova diverse applicazioni nell’ambito dell’ingegneria acustica. Essa contiene infatti informazioni sulla geometria della stanza stessa, che può essere ricostruita con appositi algoritmi. È sovente impiegata anche in campo architettonico per progettare interventi di correzione o ottimizzazione acustica. In questo elaborato si darà spazio ad una terza applicazione: si utilizzerà la risposta impulsiva misurata in una determinata stanza per aggiungere effetti ambientali a suoni registrati in camere anecoiche. Per perseguire quest’obiettivo, nel capitolo 1 si richiamano i concetti di base riguardo i sistemi LTI, funzioni di trasferimento e risposta impulsiva, approfondendo gli aspetti legati alle tecniche tradizionalmente usate per la misura della risposta impulsiva in ambito acustico. Si pone poi la base teorica del metodo sperimentale che sarà sviluppato nel corso dell’elaborato, fondato sulla stima numerica dello spettro di segnali ad energia finita. Nel secondo capitolo s’illustra l’impostazione della catena di misura, chiarendo le scelte hardware intraprese, le motivazioni di tali scelte, il funzionamento generale dei dispositivi impiegati e le condizioni ottimali di misura. Il capitolo 3 rappresenta il cuore di questo elaborato, nel quale viene illustrata l’implementazione vera e propria della metodologia della misura della risposta impulsiva, a partire dal settaggio degli strumenti utilizzati, alla realizzazione del codice MATLAB per l’elaborazione dei dati, per giungere infine all’analisi dei risultati sperimentali ottenuti. Con il quarto ed ultimo capitolo si introduce il concetto di equalizzazione e si implementa una prima e grossolana soluzione al problema degli effetti distorcenti introdotti dai dispositivi non ideali.

Analisi del cammino di pazienti con lesione midollare

Nel trattamento e nella cura di pazienti con lesione spinale è fondamentale una corretta valutazione della lesione e delle disfunzionalità che questa produce. Il cammino è senza dubbio una delle funzionalità maggiormente ridotta a seguito di una lesione, che può portare sia ad una diminuzione di questa capacità sia ad una completa inabilità. Nella valutazione del cammino il clinico si avvale di diverse strumentazioni come sistemi stereofotogrammetrici, pedane di forza ed elettromiografi che gli permettono di svolgere un’analisi strumentale del passo ed indagare le cause muscolari e neurologiche che portano a delle anormalità nella deambulazione. Questo lavoro si propone di presentare questi sistemi e compiere una panoramica dei principali parametri cinematici (velocità del cammino, lunghezza del passo, fase di stance, angoli articolari, ciclogrammi intra-articolari) che influenzano il passo e le metodologie con più successo nel migliorarli. Inoltre verranno evidenziati i risultati ottenuti dall’analisi elettromiografica riguardo alla presenza di pattern muscolari comuni alla base del cammino riscontrabili anche in persone sane e come gli impulsi EMG siano modulabili in ampiezza e durata a seguito di training motori.

Studio e realizzazione dell’emulatore μARM e del progetto JaeOS per la didattica dei Sistemi Operativi

La maggior parte degli strumenti per la didattica dei sistemi operativi sono basati sull'architettura MIPS, che è ampiamente superata. Questo lavoro introduce μARM, un emulatore, basato su architettura ARM7TDMI adeguato all'insegnamento a livello universitario. Inoltre viene presentato JaeOS, un manuale di specifiche per un sistema operativo multi-strato che supporti esecuzione multi-processo, memoria virtuale, sincronizzazione dei thread, gestione di dispositivi esterni ed un file system. I progetti tradizionali, come OSP2 o OS/161, forniscono un buon quantitativo di codice già sviluppato agli studenti, i quali devono modificare i moduli del sistema già implementati ed aggiungerne di nuovi. Con μARM/JaeOS gli studenti sono sottoposti ad un'esperienza pedagogicamente differente, partendo dal solo emulatore hardware e finendo con un sistema operativo, interamente sviluppato da loro, in grado di eseguire programmi sviluppati dagli studenti stessi.

La conversione del mondo pagano al Christianesimo : studio su lafine del paganesimo popolare e su le origini del culto dei Santi

UANL

Tarabotti fra omissioni e femminismo: il mistero della sua formazione

This paper given at the conference "Donne a Venezia" in May 2008 discloses the complexity of Arcangela Tarabotti (1604-1652), a proto-feminist polemist and writer who lived all her life in a remoted convent, Sant'Anna in Castello, in a remoted part of Venice. Despite having been cloistered at the age of 11, according to her account, she managed to publish her books and become a recognised member of the République des Lettres. How did she manage to develop her incredibly modern ideas, suggesting women should study and work and avoid getting married with astronomical dowries? The article deals with entirely new documents, uncovered in archives and tries to provide an answer to such dearing questions.

Restauro e rifunzionalizzazione ex deposito S.I.T.A. mcmxxxv - Forlì

La mia tesi propone un progetto di restauro e rifunzionalizzazione dell’Ex Stabilimento SITA di Forli costruito nel 1935. Attualmente l’edificio, al confine fra centro storico e tessuto urbano moderno, crea un grande vuoto urbano. L’obiettivo principale del progetto è il restauro e il consolidamento del manufatto, nonché una sua successiva rifunzionalizzazione. L’obbiettivo è la creazione di un centro culturale pubblico, di aggregazione e di incontro, che stimoli un nuovo impulso vitale ed economico nella zona circostante. La nuova funzione è quella di un centro culturale polifunzionale, gestito da una fondazione che fornisca spazi di utilizzo ampi, flessibili ed intercambiabili. Nello specifico si intende: spazi per conferenze cittadine, spettacoli teatrali temporanei, fiere, mercatini, mostre con particolari esigenze di dimensioni, concerti e festival organizzati sia dal privato che dalla pubblica amministrazione. Concludendo la parola chiave e il fine di questa tesi sono il restauro e la conservazione, e gli strumenti che si utilizzeranno per raggiungerli sono il consolidamento e la rifunzionalizzazione. Per questo motivo gli spazi e la struttura subiscono i minimi cambiamenti necessari per le nuove funzioni, seppur nei limiti imposti dal preesistente.

On the Design of a Boolean-network Robot Swarm: Collective Recognition of Ground Patterns.

Uno dei principali ambiti di ricerca dell’intelligenza artificiale concerne la realizzazione di agenti (in particolare, robot) in grado di aiutare o sostituire l’uomo nell’esecuzione di determinate attività. A tal fine, è possibile procedere seguendo due diversi metodi di progettazione: la progettazione manuale e la progettazione automatica. Quest’ultima può essere preferita alla prima nei contesti in cui occorra tenere in considerazione requisiti quali flessibilità e adattamento, spesso essenziali per lo svolgimento di compiti non banali in contesti reali. La progettazione automatica prende in considerazione un modello col quale rappresentare il comportamento dell’agente e una tecnica di ricerca (oppure di apprendimento) che iterativamente modifica il modello al fine di renderlo il più adatto possibile al compito in esame. In questo lavoro, il modello utilizzato per la rappresentazione del comportamento del robot è una rete booleana (Boolean network o Kauffman network). La scelta di tale modello deriva dal fatto che possiede una semplice struttura che rende agevolmente studiabili le dinamiche tuttavia complesse che si manifestano al suo interno. Inoltre, la letteratura recente mostra che i modelli a rete, quali ad esempio le reti neuronali artificiali, si sono dimostrati efficaci nella programmazione di robot. La metodologia per l’evoluzione di tale modello riguarda l’uso di tecniche di ricerca meta-euristiche in grado di trovare buone soluzioni in tempi contenuti, nonostante i grandi spazi di ricerca. Lavori precedenti hanno gia dimostrato l’applicabilità e investigato la metodologia su un singolo robot. Lo scopo di questo lavoro è quello di fornire prova di principio relativa a un insieme di robot, aprendo nuove strade per la progettazione in swarm robotics. In questo scenario, semplici agenti autonomi, interagendo fra loro, portano all’emergere di un comportamento coordinato adempiendo a task impossibili per la singola unità. Questo lavoro fornisce utili ed interessanti opportunità anche per lo studio delle interazioni fra reti booleane. Infatti, ogni robot è controllato da una rete booleana che determina l’output in funzione della propria configurazione interna ma anche dagli input ricevuti dai robot vicini. In questo lavoro definiamo un task in cui lo swarm deve discriminare due diversi pattern sul pavimento dell’arena utilizzando solo informazioni scambiate localmente. Dopo una prima serie di esperimenti preliminari che hanno permesso di identificare i parametri e il migliore algoritmo di ricerca, abbiamo semplificato l’istanza del problema per meglio investigare i criteri che possono influire sulle prestazioni. E’ stata così identificata una particolare combinazione di informazione che, scambiata localmente fra robot, porta al miglioramento delle prestazioni. L’ipotesi è stata confermata applicando successivamente questo risultato ad un’istanza più difficile del problema. Il lavoro si conclude suggerendo nuovi strumenti per lo studio dei fenomeni emergenti in contesti in cui le reti booleane interagiscono fra loro.

La transizione del documento da cartaceo a digitale: norma, tecnologie e strumenti a servizio della dematerializzazione secondo il Codice dell’Amministrazione Digitale

Si vuole analizzare l’evoluzione della normativa e criticità che il Legislatore si è trovato ad affrontare durante la transizione da un contesto documentale cartaceo ad uno informatico, passando per sistemi ibridi, nell’ottica di incentivare l’informatizzazione e dematerializzazione delle procedure. Viene preso in considerazione l’intero ciclo di vita del documento, partendo dalla formazione (digitale o cartacea) fino alla sua conservazione, con particolare attenzione alle problematiche riscontrate dalle Pubbliche Amministrazioni in quanto produttori massivi di materiale documentale. Si toccheranno tematiche specifiche come la declinazione in ambito digitale della firma, ovvero le firme elettroniche, remote, massive, timbro digitale. Verranno approfonditi gli aspetti legali e problematiche correlate alla protocollazione ed archiviazione.