Introduzione alla teoria dei giochi. Riflessioni didattiche

In questo elaborato si vuole introdurre la teoria dei giochi da un punto di vista matematico attraverso la trattazione di alcuni argomenti di base: i giochi in forma estesa e a somma zero, l'equilibrio di Nash e i giochi cooperativi.

Analisi di modelli teorico-empirici di capacità per le intersezioni a rotatoria

In questa tesi di laurea si affronta l’analisi di diversi modelli per il calcolo della capacità di un’intersezione a rotatoria: alcuni di questi sono di tipo empirico, altri invece sono di tipo teorico (teoria del gap acceptance). Innanzitutto si descrivono le caratteristiche di tutti i modelli studiati e si esaminano i risultati ottenuti nel calcolo della capacità al variare del flusso circolante, effettuato su un campione di venti rotatorie. In particolare si cerca di confrontare tra loro i vari modelli e di interpretare il significato dei parametri che compaiono nelle diverse formule. Successivamente si amplia l’analisi, utilizzando i dati raccolti come punto di partenza per una serie di altre elaborazioni ed interpolazioni. Alla base di questa seconda parte dello studio c’è l’idea di provare a vedere se sia possibile ricavare un nuovo modello, derivante da quelli studiati, che possa riassumerli in maniera semplice e aiutare a chiarire quali sono i parametri più importanti dai quali dipende il valore di capacità di una rotatoria. Questo nuovo modello dovrebbe eventualmente servire più che altro per interpretare i modelli studiati e per capire se uno di questi si comporti meglio degli altri in situazioni particolari oppure se sia più adatto in determinate condizioni di traffico piuttosto che in altre. Uno degli obiettivi principali di questo studio è infatti quello di provare a capire se la capacità di una rotatoria è influenzata maggiormente da aspetti geometrici, legati quindi alla forma e alle dimensioni della rotatoria stessa, oppure se un ruolo predominante è svolto da fattori comportamentali, legati quindi all’interazione tra i veicoli e ai processi di scelta degli utenti, che devono decidere se immettersi o meno nella rotatoria.

Studio sull’evoluzione temporale degli impatti dell’inceneritore di Coriano (Rimini) mediante Life Cycle Assessment

Lo scopo del progetto di tesi è stato quello di indagare come è variato nel tempo l’impatto dell’impianto di incenerimento situato a Coriano, in provincia di Rimini, a seguito dell’introduzione di soluzioni tecnologiche sempre più evolute al fine di una maggiore tutela ambientale. Lo studio è stata condotto utilizzando la tecnica del Valutazione del Ciclo di Vita (LCA, Life Cycle Assesment), che consente di quantificare gli impatti utilizzando indicatori precisi e di considerare il processo in tutti i suoi dettagli. I risultati evidenziano una progressiva diminuzione dell’impatto complessivo dell’impianto, dovuto sia alle operazioni di adeguamento relative alle attività di incenerimento, sia all’introduzione di un sistema sempre più efficiente di recupero energetico. I confini del sistema sono infatti stati ampliati per poter includere nello studio l’energia elettrica generata dal recupero del calore prodotto durante la combustione. Sono stati valutati rapporti causa-effetto tra i risultati ottenuti ed alcune informazioni correlate al processo, quali composizione dei rifiuti e variazione temporale del mix energetico in Italia. Sono infine state effettuate valutazioni relativamente alla comparazione dell’impianto studiato con altre realtà territoriali ed impiantistiche e sono state prese in esame alcune tra le tecnologie più innovative applicabili al processo, soprattutto per quel che riguarda la depurazione dei fumi.

Studio reologico avanzato di bitumi modificati ed additivati:proposta di una nuova procedura di aging

Le problematiche ambientali e socio – economiche legate alla costruzione di nuove infrastrutture viarie, impongono la progettazione e costruzione di strade che combinino ad elevati standard prestazionali, la riduzione dell’impatto ambientale in fase realizzativa e manutentiva. Quanto detto avvalora il crescente utilizzo di materiali bituminosi modificati con polimeri ed additivati con cere. I primi conferiscono alla miscela maggiore elastoplasticità, incrementandone la durabilità e la resistenza a fatica. Nei secondi la presenza del materiale paraffinico contribuisce a ridurre la viscosità del bitume, il che consente il notevole abbassamento della temperatura di produzione e stesa della miscela. Numerosi studi inoltre hanno dimostrato che le caratteristiche meccaniche della pavimentazione sono fortemente influenzate dal grado di ossidazione delle componenti organiche del bitume, ovvero dal fenomeno dell’invecchiamento o aging. Risulta pertanto fondamentale affiancare allo studio reologico del bitume, prove di simulazione dell’ invecchiamento nel breve e lungo termine. Nel corso della seguente ricerca si provvederà pertanto ad analizzare leganti modificati ed additivati secondo la teoria della viscoelasticità, simulando le reali condizioni di carico ed invecchiamento alle quali il bitume è sottoposto. Tutte le prove di caratterizzazione reologica avanzata prevederanno l’utilizzo del DSR (Dynamic Shear Rheometer) in varie configurazioni di prova e si simulerà l’invecchiamento a breve termine mediante RTFOT (Rolling thin film oven test). Si proporrà inoltre una nuova procedura di aging invecchiando il bitume alla temperatura di equiviscosità o Twork , ovvero a quel valore della temperatura tale per cui, in fase di messa in opera, si avrà una distribuzione molecolare omogenea del modificante all’interno del bitume. Verranno quindi effettuate ulteriori prove reologiche sui leganti invecchiati a tale temperatura. Si darà infine supporto ai risultati della ricerca effettuando prove chimiche con la tecnica analitica FTIR (Fourier Transform Infrared Spectroscopy), analizzando i cambiamenti molecolari avvenuti nel bitume a seguito dell’aggiunta del modificante e dell’invecchiamento.

I Responsori della Settimana Santa del Ms 443 dell'Accademia Filarmonica di Bologna

La tesi è dedicata allo studio dei Responsori della Settimana Santa contenuti nel volume manoscritto Musica per la Settimana Santa conservato presso l’Accademia Filarmonica di di Bologna: (I-Baf FA1 443), che la tradizione storiografica fino ad alcuni anni fa attribuiva interamente ad Alessandro Scarlatti. Il volume raccoglie un ampio repertorio di brani musicali appartenenti a generi destinati ai periodi liturgici della Quaresima e del Triduo pasquale. Il lavoro è dedicato ai responsori considerati innanzitutto come progetto compositivo a sé stante e come fonte di rilievo nell’ambito della musica sacra e del genere responsoriale in particolare. Lo studio è suddiviso in due parti: la prima riguarda le ricerche codicologiche sul volume, del quale si riassume anche la storia con nuove ricerche sulla sua acquisizione da parte dell’Accademia Filarmonica. Viene poi esaminato il contesto storico-liturgico della musica per la Settimana Santa e si prendono in esame gli aspetti stilistici del repertorio responsoriale polifonico italiano dalla metà del ‘500 allla prima metà del ’700, in particolare nell’ambito del cosiddetto «stile osservato» del tempo. Nel terzo ed ultimo capitolo della prima parte vengono analizzati nella forma e nello stile i responsori del Ms 443 di Bologna, tenendo conto della teoria musicale e delle consuetudini contrappuntistiche in vigore tra la fine del sec. XVII e l’inizio del sec. XVIII. Nelle rispettive appendici ai capitoli si dànno le Tavole esplicative, con dati di natura codicologica, tecnico-musicale e testuale liturgica e gli elenchi dettagliati delle fonti responsoriali polifoniche rintracciate, manoscritte e a stampa. La seconda parte del lavoro presenta l’edizione critica della musica, con annessa la sua riproduzione in facsimile su CD. Nell’apparato critico la sezione dei Testi restituisce l’edizione filologica dei testi liturgici intonati.

Modelli per l'aggregazione di dati federati: il caso degli orari di apertura degli esercizi commerciali e enti pubblici

Questa tesi tratta di scambio di dati aperti (open data exchange). In particolare, tratta di intervalli temporali con annesse informazioni di vario tipo. Le attività commerciali, come aziende, bar, ristoranti, cinema, teatri, e via dicendo, hanno bisogno di un modo comune per poter condividere i dati inerenti ai propri orari (timetable). Lo scopo di questa tesi è quello di mostrare un modello efficiente, compatto e completo per poter condividere tali informazioni con l'ausilio di formati standard (XML). Oggi giorno esistono diverse soluzioni atte a far fronte a questa necessità ma si tratta di soluzioni incomplete e che gestiscono tali informazioni separatamente. Il problema sorto è quello di avere un'unica struttura che posso unificare informazioni di diverso carattere con gli orari di un'attività: un cinema ha la necessità di fornire orari di diverse proiezioni svolte in sale diverse, una tournée dovrà poter specificare le coordinate geografiche del prossimo evento e così discorrendo.

Seo: ottimizzazione dei siti web

Obiettivo di questa tesi è sviscerare i concetti fondamentali legati al SEO, in particolar modo dal punto di vista delle aziende italiane: l’evoluzione di questo business nel nostro territorio, gli strumenti e le tecniche di ottimizzazione impiegati nella realizzazione dei siti internet, i capitali, umani ed economici, che alimentano questo mercato in Italia e all’estero e i fattori che oggigiorno sono considerati di fondamentale importanza per ottenere visibilità nei motori di ricerca.

Sulla teoria delle frazioni continue

La tesi si propone di fornire una introduzione completa ai fondamenti della teoria delle frazioni continue (numeriche). Questo da' adito anche alla illustrazione e alla soluzione di vari problemi specialmente nell'ambito della teoria dei numeri che, in vari modi, si rifanno alle frazioni continue.

La testimonianza come fonte di conoscenza irriducibile

La testimonianza è riconosciuta in epistemologia come una fonte fondamentale di conoscenza. Meno consenso c’è riguardo lo status epistemico delle credenze formate e intrattenute su base testimoniale: la questione è se la testimonianza fornisca di per sé le ragioni per affidarvisi, o se tali ragioni siano riducibili alla giustificazione fornita da percezione, memoria e ragionamento. Il dibattito circa lo status epistemico delle credenze acquisite tramite testimonianza ha dato origine a due linee di pensiero contrapposte: il riduzionismo e l’anti-riduzionismo. Secondo gli antiriduzionisti, che si rifanno al pensiero di Thomas Reid, la testimonianza è una fonte basica di giustificazione, alla pari di percezione, memoria e ragionamento. Ciò significa che il soggetto che riceve testimonianza è giustificato a crederne il contenuto in assenza di defeaters rilevanti. I riduzionisti, che fanno capo al lavoro di David Hume, sostengono al contrario che, oltre all’assenza di defeaters rilevanti, per poter credere giustificatamente il contenuto di una testimonianza il soggetto deve essere in possesso di ragioni positive non-testimoniali. Queste ragioni sono normalmente rintracciate in un’induzione che parte dalla memoria dell’osservazione di una generale conformità tra i fatti e le testimonianze, e conclude che un certo tipo di testimone, di circostanza, di contesto, o di contenuto veicolato sono fonti attendibili di informazioni. La critica principale che viene mossa contro l’antiriduzionismo è che sembra approvare la credulità e l’irresponsabilità epistemica . Mostrerò al contrario che la conoscenza testimoniale non sia riducibile ad alcun tipo di inferenza e che la giustificazione che fornisce è in linea con un resoconto del processo che costituisce testimonianza in termini di norme e di committment. Sosterrò una tesi antiriduzionista basata su un resoconto affidabilista della giustificazione che si spiega nei termini dell’esercizio di abilità epistemiche acquisite entro un ambiente epistemico dove le stesse sono profondamente radicate. Un resoconto dell’asserzione nei termini delle norme da cui è regolata mostrerà che la credenza testimoniale è giustificata in virtù della conoscenza che è presupposta dall’asserzione, che della testimonianza è la forma paradigmatica.

Ottimizzazione della tecnologia costruttiva in Xlam nell’ambito del Social Housing: applicazione ad un caso concreto nel quartiere Pilastro (BO)

In questa tesi verrà descritto il lavoro di progettazione mirato a studiare una nuova tecnologia costruttiva, basata su pannelli in legno lamellare a strati incrociati (Xlam). In particolare verranno progettati moduli abitativi a comportamento tubolare, componibili per realizzare alloggi e complessi abitativi per famiglie a basso reddito. Infine la tecnologia elaborata verrà applicata ad un'area di progetto localizzata nel quartiere Pilastro a Bologna.

Analisi della stabilità dei risultati dei test di risposta termica: prove in campo, confronto e analisi critica per diversi metodi di esecuzione e modellizzazione

Il Test di Risposta Termica (Thermal Response Test-TRT) (Mogenson,1983) è il test esistente con il più alto grado di accuratezza per la caratterizzazione del reservoir geotermico superficiale. Il test consiste in una simulazione in situ del funzionamento di un sistema a circuito chiuso di sfruttamento dell’energia geotermica, per un periodo limitato di tempo, attraverso l’iniezione o estrazione di calore a potenza costante all’interno del geo-scambiatore (Borehole Heat Exchanger-BHE). Dall’analisi della variazione delle temperature del fluido circolante, è possibile avere una stima delle proprietà termiche medie del volume del reservoir geotermico interessato dal test. Le grandezze principali per la caratterizzazione di un serbatoio geotermico sono la conduttività termica (λ), la capacità termica volumetrica (c), la temperatura indisturbata del suolo (Tg) e la resistenza termica del pozzo (Rb); la loro determinazione è necessaria per il corretto progettazione degli geo-scambiatori. I risultati del TRT sono tuttavia sensibili alle condizioni al contorno spazio-temporali quali ad es.: variazione della temperatura del terreno, movimento d’acqua di falda, condizioni metereologiche, eventi stagionali, ecc. Questo lavoro vuole: i) introdurre uno studio sui problemi di caratterizzazione del reservoir geotermico superficiale, in particolare analizzando l’effetto che il movimento d’acqua di falda ha sui parametri termici; ii) analizzare la sensitività dei risultati del test alle variabilità dei parametri caratteristici del funzionamento delle attrezzature. Parte del lavoro della mia tesi è stata svolta in azienda per un periodo di 4 mesi presso la “Groenholland Geo Energy systems” che ha sede ad Amsterdam in Olanda. Tre diversi esperimenti sono stati realizzati sullo stesso sito (stratigrafia nota del terreno: argilla, sabbia fine e sabbia grossa) usando una sonda profonda 30 metri e diversi pozzi per l’estrazione d’acqua e per monitorare gli effetti in prossimità del geo scambiatore. I risultati degli esperimenti sono stati molto diversi tra di loro, non solo in termini di dati registrati (temperature del fluido termovettore), ma in termini dei valori dei parametri ottenuti elaborando i dati. In particolare non è sufficiente adottare il modello classico della sorgente lineare infinita (Infinite Line Source Solution- ILS) (Ingersoll and Plass, 1948), il quale descrive il trasferimento di calore per conduzione in un mezzo omogeneo indefinito a temperatura costante. Infatti, lo scambio di calore avviene anche tramite convezione causata dal movimento d’acqua di falda, non identificabile mediante gli approcci classici tipo CUSUM test (Cumulative Sum test) (Brown e altri,1975) Lo studio della tesi vuole dare un quadro di riferimento per correlare la variabilità dei risultati con la variabilità delle condizioni al contorno. L’analisi integra le metodologie classiche (ILS) con un approccio geostatistico utile a comprendere i fenomeni e fluttuazioni che caratterizzano il test. Lo studio delle principali variabili e parametri del test, quali temperatura in ingresso e uscita del fluido termovettore, portata del fluido e potenza iniettata o estratta, è stato sviluppato mediante: il variogramma temporale, ovvero la semivarianza dell’accrescimento, che esprime il tipo di autocorrelazione temporale della variabile in esame; la covarianza incrociata temporale, ovvero la covarianza fra due variabili del sistema, che ne definisce quantitativamente il grado di correlazione in funzionamento del loro sfasamento temporale. L’approccio geostatistico proposto considera la temperatura del fluido Tf come una funzione aleatoria (FA) non stazionaria nel tempo (Chiles, 1999), il cui trend è formalmente definito, ma deve essere identificato numericamente. Si considera quindi un classico modello a residuo; in cui la FA è modellizzata come la somma di un termine deterministico, la media (il valore atteso) m(t),coincidente col modello descritto dalla teoria della sorgente lineare infinità, e di un termine aleatorio, la fluttuazione, Y(t). Le variabili portata e potenza sono invece considerate delle funzioni aleatorie stazionarie nel tempo, ovvero a media costante. Da questo studio di Tesi si sono raggiunte delle conclusioni molto importanti per lo studio del TRT: Confronto tra gli esperimenti in estrazione di calore, con e senza movimento d’acqua di falda: si studia l’effetto indotto dalla falda sul TRT. E’ possibile caratterizzare quantitativamente l’incremento della conducibilità termica equivalente legata a fenomeni convettivi dovuti al movimento d’acqua di falda. Inoltre, i variogrammi sperimentali evidenziano periodicità simili nei due casi e legate al funzionamento della pompa di calore e della componentistica associata ed alla circolazione del fluido termovettore all’interno della sonda. Tuttavia, la componente advettiva ha un effetto di smorzamento sulle piccole periodicità dei variogrammi, ma di aumento dell’ampiezza delle periodicità maggiori a causa del funzionamento della pompa di calore che deve fornire maggiore energia al sistema per bilanciare le dispersioni dovute al movimento d’acqua di falda. Confronto fra estrazione ed iniezione di calore, con movimento d’acqua di falda: si studia la significatività dei risultati nei due casi. L’analisi delle variografie evidenzia significative differenze nella struttura dei variogrammi sperimentali. In particolare, nel test con iniezione di calore i variogrammi sperimentali delle temperature hanno valori sistematicamente inferiori, circostanza che assicura una migliore precisione nella stima dei parametri termici. Quindi eseguire il TRT in iniezione di calore risulta più preciso. Dall’analisi dei variogrammi sperimentali delle singole variabili quali temperatura del fluido in ingresso e uscita all’interno del geoscambiatore è stato confermato il fenomeno di smorzamento delle oscillazioni da parte del terreno. Dall’analisi delle singole variabili del test (temperature, potenza, portata) è stata confermata l’indipendenza temporale fra portate e temperature. Ciò è evidenziato dalle diverse strutture dei variogrammi diretti e dalle covarianze incrociate prossime a zero. Mediante correlogrami è stato dimostrato la possibilità di calcolare il tempo impiegato dal fluido termovettore per circolare all’interno della sonda. L’analisi geostatistica ha permesso quindi di studiare in dettaglio la sensitività dei risultati del TRT alle diverse condizioni al contorno, quelle legate al reservoir e quelle legate al funzionamento delle attrezzature

Componentistica avanzata per Impianti di Combustione a Biomassa

In un quadro internazionale di forte interesse verso uno sviluppo sostenibile e sfide energetiche per il futuro, il DIEM, in collaborazione con altri istituti di ricerca ed imprese private, sta progettando l’integrazione di componentistica avanzata su di una caldaia alimentata a biomasse. Lo scopo finale è quello di realizzare una caldaia a biomasse che produca energia in maniera più efficiente e con un impatto ambientale ridotto. L’applicazione è indirizzata inizialmente verso caldaie di piccola-media taglia (fino a 350 kW termici) vista la larga diffusione di questa tipologia di impianto. La componentistica in oggetto è: - filtro sperimentale ad alta efficienza per la rimozione del particolato; - celle a effetto Seebeck per la produzione di energia elettrica direttamente da energia termica senza parti meccaniche in movimento; - pompa Ogden per la produzione di energia meccanica direttamente da energia termica; La finalità dell’attività di ricerca è la progettazione dell’integrazione dei suddetti dispositivi con una caldaia a biomassa da 290 kW termici per la realizzazione di un prototipo di caldaia stand-alone ad impatto ambientale ridotto: in particolare, la caldaia è in grado, una volta raggiunte le condizioni di regime, di autoalimentare le proprie utenze elettriche, garantendo il funzionamento in sicurezza in caso di black-out o consentendo l’installazione della caldaia medesima in zone remote e prive di allaccio alla rete elettrica. Inoltre, la caldaia può fornire, tramite l'utilizzo di una pompa a vapore o pompa Ogden, energia meccanica per il pompaggio di fluidi: tale opportunità si ritiene particolarmente interessante per l'integrazione della caldaia nel caso di installazione in ambito agricolo. Infine, l'abbinamento di un filtro ad alta efficienza e basso costo consente l'abbattimento delle emissioni inquinanti, favorendo una maggiore diffusione della tecnologia senza ulteriori impatti sull'ambiente.

Co-simulazione e co-progetto non lineare/elettromagnetico di sistemi wireless non convenzionali

L’attività di ricerca contenuta in questa tesi si è concentrata nello sviluppo e nell’implementazione di tecniche per la co-simulazione e il co-progetto non lineare/elettromagnetico di sistemi wireless non convenzionali. Questo lavoro presenta un metodo rigoroso per considerare le interazioni tra due sistemi posti sia in condizioni di campo vicino che in condizioni di campo lontano. In sostanza, gli effetti del sistema trasmittente sono rappresentati da un generatore equivalente di Norton posto in parallelo all’antenna del sistema ricevente, calcolato per mezzo del teorema di reciprocità e del teorema di equivalenza. La correttezza del metodo è stata verificata per mezzo di simulazioni e misure, concordi tra loro. La stessa teoria, ampliata con l’introduzione degli effetti di scattering, è stata usata per valutare una condizione analoga, dove l’elemento trasmittente coincide con quello ricevente (DIE) contenuto all’interno di una struttura metallica (package). I risultati sono stati confrontati con i medesimi ottenibili tramite tecniche FEM e FDTD/FIT, che richiedono tempi di simulazione maggiori di un ordine di grandezza. Grazie ai metodi di co-simulazione non lineari/EM sopra esposti, è stato progettato e verificato un sistema di localizzazione e identificazione di oggetti taggati posti in ambiente indoor. Questo è stato ottenuto dotando il sistema di lettura, denominato RID (Remotely Identify and Detect), di funzioni di scansione angolare e della tecnica di RADAR mono-pulse. Il sistema sperimentale, creato con dispositivi low cost, opera a 2.5 GHz ed ha le dimensioni paragonabili ad un normale PDA. E’ stato sperimentata la capacità del RID di localizzare, in scenari indoor, oggetti statici e in movimento.