Introduzione alla logica e alla matematica intuizioniste

L'elaborato propone un'introduzione alla matematica intuizionista e alla sua formalizzazione. Dopo aver inquadrato storicamente il movimento e averne tratteggiato il pensiero, si approfondiscono la sintassi e la semantica ad esso associate grazie ai lavori di Heyting e Kripke, si confronta la teoria con quella classica, e si indica il legame tra la logica intuizionista e quella modale. Il capitolo conclusivo è dedicato alla costruzione dei numeri naturali e reali, con particolare attenzione alle conseguenze metodologiche del pensiero intuizionista, ai concetti originali e alle nozioni più fini in cui si suddividono alcune nozioni fondamentali della matematica tradizionale.

L'altezza dei triangoli: dall'analisi storico-epistemologica alla sperimentazione didattica

La tesi a partire da un'analisi storico-epistemologica individua degli ostacoli storici legati al concetto di altezza. Dal confronto di questi con gli ostacoli di apprendimento riscontrati a partire da diverse fonti (Invalsi, ricerca scientifica, pretest in sei classi) si arriva a individuare quattro ostacoli che inducono il formarsi di diverse Concezioni legate al concetto di altezza dei triangoli. Si analizzano inoltre i risultati e le evidenze delle Concezione riscontrate nella sperimentazione didattica.

Un Modello Stocastico per la Teoria dell'Evoluzione

Il testo contiene nozioni base di probabilità necessarie per introdurre i processi stocastici. Sono trattati infatti nel secondo capitolo i processi Gaussiani, di Markov e di Wiener, l'integrazione stocastica alla Ito, e le equazioni differenziali stocastiche. Nel terzo capitolo viene introdotto il rapporto tra la genetica e la matematica, dove si introduce l'evoluzione la selezione naturale, e altri fattori che portano al cambiamento di una popolazione; vengono anche formulate le leggi basilari per una modellizzazione dell’evoluzione fenotipica. Successivamente si entra più nel dettaglio, e si determina un modello stocastico per le mutazioni, cioè un modello che riesca ad approssimare gli effetti dei fattori di fluttuazione all'interno del processo evolutivo.

Il gruppo dei punti razionali di una curva ellittica

In questo lavoro si studia l'insieme dei punti di una curva ellittica, visto come gruppo abeliano, con particolare attenzione al caso dei punti a coordinate razionali quando la curva è data da un'equazione a coefficienti razionali. Dopo aver visto le proprietà della legge di gruppo su una cubica liscia piana razionale in forma normale, vengono presentati alcuni risultati sul sottogruppo dei punti razionali, fra i quali i teoremi di Nagell-Lutz e di Mordell, che permettono di dare una descrizione di tale sottogruppo.

La sottotitolazione interlinguistica in tempo reale: il caso Ericsson Olanda e l'esperimento presso il festival Sedicicorto 2014

Al giorno d'oggi l'accessibilità all’informazione e ai prodotti audiovisivi è un argomento particolarmente delicato. Spesso, le categorie più svantaggiate, come le persone affette da disabilità sensoriali e gli stranieri, non hanno pieno accesso alla programmazione televisiva o a eventi ricreativi, culturali o formativi (conferenze, workshop, spettacoli), a causa della mancanza di adeguati servizi di supporto linguistico. Tale carenza rappresenta una mancata opportunità d’integrazione e anche una potenziale perdita, in termini di pubblico e di introiti, per le emittenti e gli enti che organizzano programmi ed eventi di interesse generale. Questa tesi intende analizzare le tecniche attraverso le quali oggi viene realizzata la sottotitolazione interlinguistica in tempo reale. Il nostro obiettivo è quello di dimostrare che approfondendo la ricerca scientifica sul respeaking e su altre tecniche meno costose rispetto alla stenotipia, la sottotitolazione interlinguistica in tempo reale non sarebbe più un miraggio. Il primo capitolo fornisce una panoramica sulla sottotitolazione intralinguistica e interlinguistica e sulla sottotitolazione preregistrata, in diretta e in semi-diretta. Nel secondo capitolo presenteremo il caso dell’azienda Ericsson in Olanda, l'unica a fornire sottotitolazione interlinguistica in tempo reale nei Paesi Bassi, tramite una tecnica che combina un interprete simultaneo, uno stenotipista e un "subtitle keyer" (figura che inserisce i sottotitoli al momento opportuno). La squadra lavora su un segnale dal vivo che viene però trasmesso al pubblico olandese con alcuni secondi di ritardo, permettendo di migliorare la qualità dei sottotitoli. Grazie ad una borsa di studio concessa dal Dipartimento d’Interpretazione e Traduzione di Forlì (Università di Bologna), abbiamo potuto intervistare il responsabile dell’unità di traduzione presso Ericsson, dott. Thijs de Korte, e abbiamo avuto modo di assistere in loco alla realizzazione dei sottotitoli interlinguistici in tempo reale. Il terzo capitolo si concentrerà sulla tecnica del respeaking, dagli ambiti d’uso ai requisiti per svolgere questa professione. Ci concentreremo in particolare sulle somiglianze tra respeaker e interprete simultaneo, che ci condurranno all'esperimento descritto nel capitolo 4. Infatti, date le somiglianze riscontrate tra interpretazione simultanea e respeaking e il potenziale in termini di accessibilità offerto dalla sottotitolazione interlinguistica dal vivo, abbiamo fornito un servizio sperimentale di sottotitolazione in diretta dall’italiano verso l’inglese durante la cerimonia di premiazione del Sedicicorto International Film Festival di Forlì. Dopo aver descritto in dettaglio l’esperienza, analizzeremo i giudizi espressi da ospiti stranieri, pubblico italiano e membri dell'associazione "Sedicicorto", al fine di verificare la qualità del servizio e osservarne i benefici. La conclusione della nostra tesi è che sfruttando appieno il potenziale offerto della tecnologia moderna e approfondendo la ricerca sulle tecniche per la sottotitolazione interlinguistica dal vivo, si potrebbero ridurre i costi dei servizi di supporto linguistico a non udenti e stranieri, incoraggiando dunque aziende ed enti a garantire una maggiore accessibilità all’informazione e agli eventi culturali e formativi.

Fondamenti teorici della teoria classica del campo elettromagnetico

In questo lavoro vogliamo studiare l'evoluzione dell'elettromagnetismo classico ed i fondamenti teorici della teoria classica del campo elettromagnetico. Riprenderemo i risultati sperimentali principali costruendo una teoria coerente dell'interazione elettromagnetica sfruttando il formalismo Lagrangiano già sviluppato per i sistemi meccanici. Lo studio delle proprietà del campo elettromagnetico è di fondamentale importanza per la fisica teorica: la sua relativa semplicità lo rende un buon candidato per lo sviluppo del formalismo necessario alla descrizione dei sistemi ad infiniti gradi di libertà. Questo servirà inoltre come punto di partenza per lo sviluppo di teorie di campo quantistiche più avanzate.

L’insegnamento dell’italiano come L2 ai bambini stranieri in Italia: quadro generale e studio di un caso particolare, tra teoria e pratica a confronto

Il presente lavoro vuole sensibilizzare al problema socio-linguistico dell’insegnamento dell’italiano come lingua seconda: si mostra un panorama della situazione, partendo dall’insegnamento in sé, presentando le tecniche ed i metodi non finalizzati al mero insegnamento, ma anche all’accoglienza della famiglia e alla crescita serena del bambino appena arrivato; si passa, poi, alla descrizione del contesto in cui opera la didattica interculturale, un contesto che presenta varie problematicità, dal sofferto arrivo in una terra straniera, alla necessità di adattamento nel gruppo dei pari e nel sistema scolastico, sia dal punto sociale che dal punto di vista linguistico. Il soggetto di questa tesina sono i bambini, perché un mondo che funzioni bene deve saper ruotare attorno a loro. I protagonisti del "caso particolare" di cui si parla nel titolo sono due bambini cinesi arrivati in Italia da poco e dei quali viene raccontata la loro prima esperienza di studio dell'italiano nel loro nuovo Paese.

L'atmosfera termica e il suo ruolo nell'entropia dei buchi neri

Con il testo presente, si intende mostrare come i gradi di libertà associati all'entropia di un buco nero possano essere ricercati in parte fruttuosamente nell'interazione dei campi quantistici con la struttura causale e geometrica esibita da un buco nero. Nel Capitolo 1, si affrontano le principali caratteristiche dei buchi neri alla luce della teoria classica di Relatività Generale: sono analizzate la soluzione di Schwarzschild e la struttura causale nello spazio-tempo conseguente, discutendo le definizioni di orizzonte e di singolarità e il rapporto che le lega, con riferimento ai risultati di Penrose e Hawking. Introdotto, all'inizio del Capitolo 2, il concetto di gravità superficiale e la metrica di Kerr-Newman, si studia il significato delle Quattro Leggi dei buchi neri, valide per soluzioni stazionarie. Il Capitolo 3 espone quali motivazioni spingano a proporre una caratterizzazione termodinamica dei buchi neri, attribuendovi una temperatura e un'entropia (detta “di Bekenstein-Hawking”) di natura geometrica, dipendente dall'area dell'orizzonte; si trattano qui i problemi che si incontrano nel costruire una corrispondente Meccanica Statistica. Si descrive dunque in quali termini il processo di radiazione di Hawking riesca a dare una spiegazione fisica della temperatura, e si rileva la presenza, secondo osservatori statici, di un'atmosfera termica nei pressi dell’orizzonte. Infine, si esamina la possibilità di attribuire alla radiazione di Hawking i gradi di libertà relativi all'entropia di Bekenstein-Hawking. In particolare, si illustra il modello a muro di mattoni di 't Hooft, che lega i gradi di libertà all'atmosfera termica. Considerando infine la deformazione dell'orizzonte dovuta a fluttuazioni quantistiche, si giunge alla conclusione che l'entropia dell'atmosfera termica rappresenta non un'interpretazione dell'entropia di Bekenstein-Hawking, bensì una sua correzione al secondo ordine.

Studio della funzione di risoluzione dell'esperimento n_TOF e conversione del tempo di volo in energia

La tesi ha come scopo principale quello di studiare la funzione di risoluzione e le distribuzioni della distanza equivalente attraverso i risultati ottenuti dal lavoro del gruppo n_TOF al CERN di Ginevra. n_TOF utilizza un fascio di protoni accelerato dal ProtoSincrotrone (PS) del CERN per crearne due di neutroni (uno verticale e uno orizzontale) tramite spallazione. Dopo aver spiegato la tecnica del tempo di volo (TOF) e descritto il set up sperimentale presente al CERN, si esporranno le simulazioni Monte Carlo utilizzate per simulare la produzione dei fasci di neutroni, analizzando nel dettaglio quello diretto verso la prima sala sperimentale. Nella parte finale del lavoro verranno riportati i risultati ottenuti dalle simulazioni; verrà prestata particolare attenzione al confronto tra le conclusioni ottenute da tre gruppi di lavoro differenti nonchè ad una trattazione statistica delle misure effettuate. Si mostrerà inoltre in che modo lo studio effettuato sia importante nella determinazione delle sezioni d'urto nelle reazioni indotte da neutroni.

Analisi dei profili di tensione e dei flussi di potenza in diversi tipi di reti di distribuzione in media e bassa tensione mediante il software OpenDSS

La teoria secondo la quale vi sia una forte interconnessione tra cambiamento climatico ed emissioni di gas serra è via via più radicata all’interno della comunità scientifica internazionale. La certezza che la richiesta di energia a livello mondiale non possa che aumentare, unita con le preoccupazioni causate dal cambiamento climatico ha indirizzato parte dei cosiddetti paesi “sviluppati” verso politiche volte all’efficienza energetica e alla produzione di energia attraverso fonti rinnovabili. In seguito a queste decisioni il sistema elettrico nazionale si trova in una fase di rapido cambiamento; in particolare le maggiori problematiche, legate alla rete di distribuzione, sono originate da un fenomeno di diffusione su larga scala della generazione distribuita. In questo contesto, nel presente lavoro di tesi, ci si serve del software openDSS per osservare gli ammodernamenti che la rete ha subito e subirà in futuro. In primo luogo viene trattata una rete, prettamente passiva, in bassa tensione che vuole essere lo specchio di ciò che era la rete prima della diffusione della generazione distribuita. Vengono evidenziati in particolare i profili delle tensioni lungo la rete di distribuzione e le potenze circolanti in rete. Viene successivamente studiata la prima rete con l’aggiunta di generatori, volti a simulare il comportamento di pannelli fotovoltaici, evidenziando alcune le problematiche causate dalla GD su una rete non adatta a sopportarla. Infine viene mostrato come la presenza di alcuni accumulatori (modellizzati per simulare il comportamento di veicoli elettrici) possa migliorare le condizioni della rete. L’obiettivo non è quello di condurre delle simulazioni di reti realmente esistenti e di studiare diversi modelli di sviluppo per esse, bensì quello di creare una rete di prova all’interno del software al fine di analizzare qualitativamente come la rete sia mutata e come possibili scenari potrebbero modificarla in futuro.

Misura del flusso neutronico per reazioni indotte da neutroni su 155Gd e 157Gd nell'esperimento nTOF al CERN

Questa tesi è incentrata sullo studio e la determinazione del flusso neutronico della facility nTOF (neutron Time Of Flight) del CERN di Ginevra nel corso della campagna sperimentale del 2016. L'esperimento è finalizzato alla misura della sezione d'urto della reazione di cattura neutronica da parte degli isotopi dispari di gadolinio, 155Gd e 157Gd. In particolare l'analisi verrà condotta in modo da ottenere dati sperimentali nello spettro di energie da neutroni termici (10-2 eV) a 1.0 eV e migliorare i dati già esistenti per energie fino a 1.0 MeV. Dopo aver ricordato le motivazioni scientifiche e tecnologiche che sono alla base del progetto di ricerca, si descrivono le caratteristiche della facility nTOF e si trattano i fondamenti delle reazioni nucleari e le tecniche del tempo di volo, di misura di flusso e di cattura utilizzate nel corso dell'esperimento. Nella parte finale del lavoro si presentano i dati sperimentali acquisiti sul flusso neutronico, la cui accurata conoscenza è fondamentale per la misura di sezioni d'urto di reazioni indotte da neutroni. I risultati ottenuti sono quindi stati elaborati e confrontati con i dati precedenti per poter essere validati e per poter verificare eventuali discrepanze. Dalle analisi dei dati si deduce come la precisione ottenuta sulla determinazione del flusso sia ottimale per i successivi studi che verranno condotti sulla sezione d'urto degli isotopi dispari di gadolinio.

A Reinforcement Learning Agent for Distributed Task Allocation

Al giorno d'oggi il reinforcement learning ha dimostrato di essere davvero molto efficace nel machine learning in svariati campi, come ad esempio i giochi, il riconoscimento vocale e molti altri. Perciò, abbiamo deciso di applicare il reinforcement learning ai problemi di allocazione, in quanto sono un campo di ricerca non ancora studiato con questa tecnica e perchè questi problemi racchiudono nella loro formulazione un vasto insieme di sotto-problemi con simili caratteristiche, per cui una soluzione per uno di essi si estende ad ognuno di questi sotto-problemi. In questo progetto abbiamo realizzato un applicativo chiamato Service Broker, il quale, attraverso il reinforcement learning, apprende come distribuire l'esecuzione di tasks su dei lavoratori asincroni e distribuiti. L'analogia è quella di un cloud data center, il quale possiede delle risorse interne - possibilmente distribuite nella server farm -, riceve dei tasks dai suoi clienti e li esegue su queste risorse. L'obiettivo dell'applicativo, e quindi del data center, è quello di allocare questi tasks in maniera da minimizzare il costo di esecuzione. Inoltre, al fine di testare gli agenti del reinforcement learning sviluppati è stato creato un environment, un simulatore, che permettesse di concentrarsi nello sviluppo dei componenti necessari agli agenti, invece che doversi anche occupare di eventuali aspetti implementativi necessari in un vero data center, come ad esempio la comunicazione con i vari nodi e i tempi di latenza di quest'ultima. I risultati ottenuti hanno dunque confermato la teoria studiata, riuscendo a ottenere prestazioni migliori di alcuni dei metodi classici per il task allocation.

Alla scoperta dei criteri di congruenza dei triangoli tramite la didattica laboratoriale

Questa tesi ha l'obiettivo di presentare un’esperienza di didattica laboratoriale come elemento di sostegno all’insegnamento della geometria, attualmente in declino nella scuola dell’obbligo italiana. Il lavoro, che inquadra brevemente la storia dell’insegnamento della geometria, con accenni alle probabili cause della sua decadenza e alle problematiche legate al suo insegnamento in Italia, offre alcuni spunti per ridare alla materia il valore che le spetta. A tale riguardo si prende in esame un esperimento di didattica con esito positivo: un laboratorio geometrico, imperniato sui tre criteri di congruenza dei triangoli, ideato e attuato nel corso del tirocinio universitario, in due classi di un Liceo Scientifico Statale.

La Teoria della Calcolabilità nelle scuole secondarie di secondo grado: una proposta didattica

Nonostante l'utilizzo di strumenti informatici nella pratica didattica della matematica sia ormai ampiamente diffuso, l'insegnamento dei principi matematici dell'informatica è preso meno in considerazione anche a causa dei pochi punti di contatto nelle "Indicazioni Nazionali" tra le due materie, matematica e informatica, che sono invece intimamente correlate. Questa tesi descrive una attività didattica incentrata sul concetto di calcolabilità e computabilità e basata sul noto formalismo delle Macchine di Turing. É nostra opinione che coinvolgere gli studenti in tali tipologie di attività possa stimolare oltre all'apprendimento di competenze disciplinari, anche lo sviluppo di importanti competenze trasversali, in primis, il problem solving. L’attività proposta nella tesi è stata realizzata in una classe terza di un istituto tecnico economico dove, a seguito di una spiegazione dell’argomento, sono stati svolti due esercizi di gruppo, utilizzando il software \emph{Turing Machine Visualization}, che permette agli studenti e al docente di avere un supporto visuale al dialogo. Al termine dell’attività didattica è stato somministrato agli studenti un questionario che ha permesso di valutare le competenze acquisite da due prospettive distinte: soggettiva e oggettiva. I risultati del questionario sono ampliamente analizzati e discussi nella tesi.

Caratterizzazione in camera climatica dei rivelatori a scintillazione in corso di installazione a M.te Cimone per l’esperimento Gamma-Flash

Questa Tesi di Laurea è legata agli aspetti tecnologici dell'esperimento Gamma-Flash, progetto coordinato dall'Istituto Nazionale di Astrofisica finanziato dall'Agenzia Spaziale Italiana che ha lo scopo di studiare eventi altamente energetici che avvengono in atmosfera denominati Terrestial Gamma-ray Flashes (TGFs). Questi eventi hanno uno stretto legame con i fulmini che avvengono durante episodi temporaleschi. I fulmini producono particelle ionizzate ed elettroni che per effetto bremmstrahlung emettono radiazione in un ampio intervallo di energie da centinaia di keV a decine di MeV. Questo tipo di eventi è stato rivelato da numerose missioni da satellite fin dagli anni '90 (BATSE/CGRO) e successivamente con i satelliti RHESSI, AGILE, BeppoSAX e Fermi. Molto più rare sono le osservazioni di questi eventi da terra o da rivelatori posti su velivoli. Gamma-Flash ha lo scopo di realizzare strumentazione per la rivelazione di questi eventi da un osservatorio posto su M.te Cimone (2165m s.l.m) e su un aereo in grado di raggiungere quote di 8-10000m. L'esperimento viene effettuato attraverso rivelatori a scintillazione e con elettronica dedicata la cui risposta in energia dipende dalla temperatura di funzionamento. È quindi importante conoscere come il detector si comporta al variare della temperatura, che, soprattutto nell'esperimento terrestre, può variare di decine di gradi anche su tempi scala brevi. Scopo di questa tesi è stato quindi di caratterizzare uno dei rivelatori che saranno posti all'Osservatorio O. Vittori di M.te Cimone utilizzando una camera climatica che simula le condizioni di temperatura variabili e riscontrabili durante l'esperimento.