Algoritmi euristici per problemi di sequenziamento su una macchina con vincoli sui tempi di completamento

Si analizzano diversi algoritmi euristici volti alla soluzione di problemi di scheduling su macchina singola con vincoli sui tempi di completamento, quali earliness, tardiness, manutenzione, ecc. e ne vengono mostrati i risultati.

Modelli matematici per l'ottimizzazione del trasporto multimodale

Modello su AMPL per ottimizzare la scelta del trasporto in base al tragitto, all'orario di partenza e all'intervallo di tempo considerato.

Modelli e Algoritmi per Problemi di Coloring con il Linguaggio AMPL

Come il titolo suggerisce, due sono gli aspetti oggetto di questo elaborato: i modelli e gli algoritmi (con le rispettive criticità), e il linguaggio di modellazione AMPL. Il filo conduttore che integra le due parti, nonché mezzo ultimo per un’applicazione pratica dell’attività di modellazione, è l’ottimizzatore, la ”macchina” che effettua la risoluzione vera e propria dei suddetti modelli.

I numeri trascendenti nella storia

L'origine e lo sviluppo del concetto di numero trascendente attraversano quasi tutta la storia della matematica ed i risultati più importanti si sono ottenuti solo in tempi relativamente recenti. I numeri trascendenti costituiscono un argomento che ha sempre affascinato i matematici ma fino a poco tempo fa, in una prospettiva di epoche storiche, si conoscevano pochissimi esempi di numeri di cui si sapesse dimostrare la trascendenza. La dimostrazione della trascendenza di pi greco mette fine ai tentativi di risolvere per via elementare la quadratura del cerchio, uno dei problemi classici dell'antichità. Scopo di questa tesi è presentare delle dimostrazioni di esistenza dei numeri trascendenti utilizzabili anche a scopo didattico e dimostrare la trascendenza del numero di Nepero e di pi greco. Ho deciso, inoltre, nel mio lavoro di tesi, di ripercorrere le tappe principali dell'evoluzione storica del concetto di numero trascendente ed ho analizzato quelle che oltre ad essere di grande importanza storica, sono utili ad una migliore comprensione del concetto stesso. La presentazione di queste tappe può essere molto importante, a mio parere, da un punto di vista didattico in quanto i testi di matematica mostrano quasi sempre concetti e teoremi come entità assolute e immutabili, inserite nei giorni nostri, senza fare riferimento al contesto storico ed umano in cui le idee sono nate.

Progettazione e implementazione di una applicazione didattica interattiva per il riconoscimento di oggetti basata sull'algoritmo SIFT

Nell'elaborato viene introdotto l'ambito della Computer Vision e come l'algoritmo SIFT si inserisce nel suo panorama. Viene inoltre descritto SIFT stesso, le varie fasi di cui si compone e un'applicazione al problema dell'object recognition. Infine viene presentata un'implementazione di SIFT in linguaggio Python creata per ottenere un'applicazione didattica interattiva e vengono mostrati esempi di questa applicazione.

Comportamenti decisionali e cognizione nella didattica digitale: dalle teorie ad uno studio di caso in una scuola primaria

L'argomento principale della mia tesi è la LIM, lavagna interattiva multimediale. Ho suddiviso la tesi in due parti: - nella prima descrivo i nativi digitali e in contrapposizione gli immigrati digitali. - nella seconda parte faccio riferimento ad un caso di studio da me effettuato in una scuola primaria

La funzione di Möbius di un insieme parzialmente ordinato

Nel 1837 il matematico A.F. Möbius definì la funzione aritmetica mu(n) che vale 0 se n è divisibile per il quadrato di un numero primo, (-1)^k se n è il prodotto di k primi distinti e \mu(1)=1. Essa ricopre un ruolo di fondamentale importanza per quanto riguarda la distribuzione dei numeri primi, nonché per la sua duttilità nella risoluzione di diversi problemi di conteggio grazie alla formula di inversione di Möbius, che può essere pensata come un analogo formale del teorema fondamentale del calcolo integrale. Una sorprendente varietà di problemi di calcolo combinatorio si rivelano essere nient'altro che casi particolari di un problema più generale che riguarda la possibilità di invertire una somma fatta sugli elementi di un insieme parzialmente ordinato. L'obiettivo di questo elaborato è quello di illustrare come sia possibile generalizzare il concetto di funzione aritmetica estendendolo a quello di funzione di un'algebra di incidenza. Le algebre di incidenza hanno catturato l'interesse di svariati matematici a partire dagli anni '60 del secolo scorso, e si svilupparono come ambiente naturale nel quale generalizzare la formula di inversione di Mobius. La funzione di Möbius della teoria dei numeri, definita originariamente sull'insieme dei numeri interi positivi ordinato per divisibilità, può quindi essere definita su generici insiemi parzialmente ordinati.

Società della conoscenza e nuove tecnologie: innovazione didattica nella scuola secondaria di secondo grado

All'interno di questo elaborato vengono analizzati gli effetti positivi e negativi dell'introduzione delle nuove tecnologie nel sistema scolastico all'interno della società odierna, definita società della conoscenza; vengono descritte la lavagna interattiva multimediale e successivamente due software didattici, proponendo al termine una proposta di innovazione attuabile nella scuola secondaria di secondo grado, basata su un mio intervento riguardante l'unità didattica della "Retta nel piano cartesiano" e della "Parabola". Il filo conduttore è quello dell'analisi critica nei confronti delle potenzialità che la rivoluzione digitale porta con sé, cercando di riflettere su quello che potrebbe essere il giusto compromesso tra la nostra scuola e i tempi odierni.

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.

Metodologie per la simulazione fluidodinamica di pompe gerotor

La modellazione di una pompa gerotor può essere svolta mediante l'utilizzo di modelli matematici di tipo numerico. Questo tipo di soluzione prevedere la realizzazione di un dominio fluido discretizzato. In questo lavoro l'analisi è stata effettuata mediante il software STAR-CCM+. Sono state applicate due tecniche per la discretizzazione del dominio, l'Overset ed il Morphing, applicabili in problemi di interazione tra fluido e struttura in movimento. Analizzate le due tecniche, la seconda è stata applicata nello studio del comportamento di una pompa gerotor. I risultati ottenuti hanno portato alla definizione di un secondo modello ottimizzato mediante la variazione della luce di aspirazione.

Sviluppo di metodologie di simulazione avanzate per la progettazione fluidodinamica di condotti di motori endotermici alternativi

L’attuale panorama motoristico, fortemente guidato dalle normative, prevede l’implementazione di diverse tecnologie che hanno lo scopo di migliorare l’efficienza del motore e ridurre le emissioni di inquinanti e per le quali risulta necessario una corretta progettazione dei condotti di aspirazione. Lo sviluppo ottimale dei condotti risulta un compromesso tra obiettivi contrastanti e in termini matematici si tratta di un’ottimizzazione multiobiettivo. Le simulazioni CFD e gli algoritmi genetici sono stati applicati con successo allo studio di questi problemi, ma la combinazione di questi elementi risulta notevolmente dispendiosa in termini di tempo, in quanto sarebbero necessarie un alto numero di simulazioni. Per ridurre i tempi di calcolo, un set di simulazioni CFD pu`o essere pi`u convenientemente utilizzato per istruire una rete neurale, che una volta opportunamente istruita pu`o essere usata per prevedere gli output delle simulazioni in funzione dei parametri di progetto durante l’ottimizzazione con l’algoritmo genetico, operando quella che viene chiamata una ottimizzazione virtuale. In questa tesi, viene mostrata una metodologia numerica per l’ottimizzazione multi-obiettivo dei condotti di aspirazione, basata su un modello CAD a geometria variabile, le simulazioni fluidodinamiche tridimensionali e una rete neurale combinata con un algoritmo genetico.

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.

Analisi dei sistemi elettorali dal punto di vista matematico: una proposta didattica

La legge n.92 del 20 agosto 2019 ha introdotto l'insegnamento dell'educazione civica nelle scuole, con un approccio fortemente interdisciplinare. Nell'elaborato viene proposto lo studio dei sistemi elettorali, con una visione trasversale fra la matematica e l'educazione civica, al fine di rendere consapevoli gli studenti riguardo al nesso fra voto e rappresentanza in democrazia. La scelta del sistema elettorale infatti influisce pesantemente sulla scelta degli organi rappresentanti, generando incongruenze e paradossi. Viene inoltre descritta un'attività didattica proposta ad alcune classi del triennio del liceo classico, presentando gli strumenti e le strategie didattiche utilizzate, volte a stimolare diversi canali cognitivi. L’attività proposta punta ad aumentare la consapevolezza dell’utilizzo della matematica nei sistemi elettorali e a stimolare l’interesse verso la materia. In conclusione dell’elaborato vengono analizzati i risultati di un breve questionario rilasciato agli studenti per valutare l’efficacia dell’attività didattica effettuata.

Problemi di antitrust relativi alle grandi potenze del web (GAFAM): dall’evoluzione storica alla risposta al COVID-19 ed eventuali futuri sviluppi

Quello che intendo studiare sono i più importanti interventi antimonopolio negli ultimi 20 anni, per quanto riguarda le grandi potenze del web ossia Amazon, Apple, Google, Microsoft e Facebook. In particolare approfondirò tutti gli interventi applicati negli Stati Uniti d’America e in Europa nelle varie fasi temporali, ovvero dalla nascita dei colossi della rete, fino ad arrivare al periodo prepandemia, considerando che quest’ultima ha rappresentato un evento durante il quale si sono verificati dei cambiamenti fondamentali che hanno richiesto da parte delle autorità, ulteriori e successivi interventi e controlli per evitare abusi di potere. Ai fini della ricerca sarà importante studiare le origini della regolamentazione antitrust, sia in USA che in Europa da un punto di vista storico. Di conseguenza questi giganti del web hanno avuto l’opportunità di affermare il proprio potere e a volte di abusarne tanto da intensificare le attenzioni dell’antitrust nei loro confronti. Di conseguenza le vicende saranno seguite quotidianamente per mantenere lo studio aggiornato. Si tratta infatti di un settore in continuo divenire, la cui analisi sarebbe priva di significato senza una costante attenzione verso i cambiamenti.

Cartografie Rinascimentali: dai problemi pratici alla matematica soggiacente

La struttura di questo progetto di tesi vuole ripercorrere le tappe della storia della cartografia del Rinascimento: prima, vestendo i panni del cartografo rinascimentale, usufruendo delle sue conoscenze legate alla praticità, e, successivamente, attraverso la lente del matematico dell’Ottocento. Questo testo tratterà solamente le cartografie che rappresentano il globo intero. In particolare, si analizzerà la mappa di Mercatore e la mappa di Waldseemüller, di cui si approfondirà anche la costruzione tramite riga e compasso.