Dall'insieme alla struttura matematica nella scuola di oggi

Percorso didattico alternativo dall'insieme alla struttura matematica con analisi di libri di testo di scuole superiori.

Il polinomio cromatico di un grafo e il teorema dei quattro colori

La seguente tesi affronta la dimostrazione del teorema dei quattro colori. Dopo un introduzione dei concetti cardine utili alla dimostrazione, quali i concetti ed i risultati principali della teoria dei grafi e della loro colorazione, viene affrontata a livello prima storico e poi tecnico l'evoluzione della dimostrazione del teorema, che rimase congettura per 124 anni.

Storia e sviluppo del concetto di limite: fra matematica, filosofia e didattica

La letteratura mostra come siano innumerevoli le difficoltà e gli ostacoli nell'apprendimento del concetto di limite: la ricerca è volta ad ipotizzare un possibile aiuto e supporto alla didattica con l'utilizzo della storia della matematica relativa al concetto di limite.

La ventilazione in ambito residenziale: aspetti tecnico-normativi ed applicazione ad un caso di studio

In questa trattazione è analizzato il tema della ventilazione negli ambienti indoor. Oggi questo argomento è di notevole interesse a causa di una serie di fattori molto importanti: - L’uomo trascorre la maggior parte del tempo in spazi chiusi - L’Organizzazione Mondiale della Sanità sottolinea come molte malattie, tra cui asma e allergie, derivino dall’eccesso di umidità interna e dalla presenza di muffe - Gli stili di vita lavorativi sono differenti rispetto al passato: non c’è più tempo per aprire adeguatamente le finestre - L’aria interna è da 10 a 100 volte più inquinata di quella esterna - Negli ambienti i materiali di arredo e i prodotti per la pulizia possono emettere sostanze nocive - L’infiltrazione dai serramenti, con la costruzione di edifici sempre più ermetici e a bassa permeabilità all’aria, risulta insufficiente per garantire un corretto ricambio - Le nuove leggi in materia di risparmio energetico impongono limiti sul fabbisogno energetico di riscaldamento, in parte dovuto ai processi di ventilazione. Vengono quindi analizzati i due sistemi di ventilazione possibili ad oggi in campo residenziale: la ventilazione naturale e la ventilazione meccanica controllata (VMC) applicati poi ad un edificio nel quartiere di Corticella (BO). Sono stati posti poi a confronto i due sistemi nel calcolo dei fabbisogni energetici per ventilazione e nelle relative incidenze rispetto al termine legato allo scambio termico per trasmissione. Viene proposta infine un'ipotesi di realizzazione di impianto di ventilazione meccanica integrato con una riqualificazione architettonica completa dell'edificio per il raggiungimento di elevate prestazioni energetiche.

Piattaforme di supporto per applicazioni mobili iOS in servizi e-Commerce basati su PrestaShop

Questa tesi è strutturata in due parti per un totale di quattro capitoli. La prima parte, formata dai primi due, analizza il sistema operativo iOS e il linguaggio di programmazione Objective-C. La seconda parte, formata dai restanti, è incentrata sullo sviluppo di un framework per iOS che permetta ad un'app di interagire con la piattaforma di commercio elettronico Prestashop. In particolare, verranno studiate l’architettura del framework ed i suoi elementi, ed infine analizzate le sue performance a tempo di esecuzione.

Analisi life cycle assessment (LCA) di un tetto verde il caso studio dei laboratori unibo di via Terracini.

Negli ultimi decenni, in varie parti del Mondo cosi come in Italia, si è assistito a un rapido aumento di strutture abitative, fabbricati ad uso industriale, residenziale e rurale. La continua sottrazione di terreno per tali scopi ha portato a un aumento di tutta una serie di problematiche ambientali. Con la diminuzione delle aree verdi si è andati incontro a una diminuzione della trattenuta idrica del terreno, all'aumento della velocità di scolo dell'acqua e del tempo di corrivazione con conseguenze sempre più drammatiche per le aree urbanizzate nei periodi di forti piogge. Inoltre, c'è da ricordare, che una diminuzione delle aree a verde comporta, oltre al cambiamento a livello paesaggistico, anche una diminuzione della capacità delle piante di trattenere le polveri inquinanti e di produrre ossigeno. Tutti questi fattori hanno portato allo studio di soluzioni tecnologiche che potessero unire i bisogni di verde della collettività con la necessità di una gestione sostenibile delle acque meteoriche. Tra esse, una che sta trovando notevole applicazione è la creazione di aree verdi sulla copertura degli edifici. Secondo le loro caratteristiche, queste aree verdi sono denominate tetti verdi e/o giardini pensili. La struttura si compone di strati di coltivazione e drenaggio con diversa profondità e una copertura vegetale. La vegetazione utilizzata può andare da specie con bassissime richieste manutentive (tipo estensivo) ad altre con maggiori necessità (tipo intensivo), come i tappeti erbosi. Lo scopo di questa tesi è stato quello di approntare una sperimentazione sul nuovo tetto verde realizzato presso la sede di Ingegneria, via Terracini 28, volta a stimare i costi economici e ambientali sostenuti per la realizzazione dello stesso, per poi confrontarli con i benefici ambientali legati al risparmio idrico ed energetico su scala edificio e urbana. Per la stima dei costi ambientali dei materiali utilizzati, dalla nascita al fine vita, si è utilizzato il metodo LCA- Life Cycle Assessment- e il software Sima Pro

Ottimizzazione di un sistema di tracciabilità a supporto della reliability system engineering per un produttore di beni strumentali: il caso Sacmi

Questa tesi di laurea è stata redatta presso l’azienda Sacmi Imola S.C. ed in particolare all’interno della divisione Closures, che si occupa della progettazione e della realizzazione di linee per la produzione di varie tipologie di capsule. Lo scopo dell’elaborato è descrivere lo sviluppo di un sistema di tracciabilità di prodotto; sistemi di questo tipo, adottati inizialmente nel settore alimentare, stanno acquisendo sempre maggiore importanza anche in altri campi produttivi, poiché rivestono un ruolo strategico al fine della realizzazione di prodotti caratterizzati da livelli elevati di performance e di qualità, capaci di emergere nel mercato moderno caratterizzato da una concorrenza estesa a livello mondiale e molto attento alle esigenze dei clienti. Nel caso specifico di Sacmi il sistema di tracciabilità si rivolge ad una pressa, la CCM (Continuous Compression Moulder), realizzata dall’azienda per la produzione di capsule in materiale termoplastico tramite la tecnologia dello stampaggio a compressione. In particolare il sistema si concentra sugli stampi della macchina CCM, i quali ne rappresentano gli elementi critici dal punto di vista sia tecnico che economico. A livello generale, un sistema di tracciabilità è costituito da due componenti fondamentali: il primo è un sistema di identificazione che permetta di rendere distinguibili ed individuabili le unità da tracciare, mentre il secondo è un sistema di raccolta dati in grado di raccogliere le informazioni desiderate. Queste sono poi archiviate in un apposito database ed attribuite alle entità corrispondenti sfruttando le proprietà del sistema di identificazione. Il primo passo da compiere quando si intende sviluppare un sistema di tracciabilità all’interno di un contesto produttivo già consolidato è la ricostruzione del processo produttivo presente in azienda: si tratta di individuare tutti gli enti aziendali che concorrono al processo e che saranno interessati dall’introduzione del nuovo sistema. Una volta definiti gli attori, è necessario anche capire come questi siano collegati dai flussi di materiale e di informazioni. Il processo produttivo di Sacmi era caratterizzato dalla quasi totale assenza di un flusso strutturato di informazioni a supporto di quello di materiale, ed il sistema di tracciabilità ha provveduto a colmare proprio questa mancanza. Il sistema deve essere in grado di integrarsi perfettamente nel contesto produttivo aziendale: è necessario trovare il giusto compromesso per quanto riguarda la quantità di informazioni da raccogliere, che devono garantire una corretta copertura di tutto il processo senza però appesantirlo eccessivamente. E’ bene che la raccolta dati sia basata su procedure standard che assicurino la ripetibilità delle operazioni di prelievo delle informazioni. Come è logico immaginarsi, l’introduzione di numerose novità nell’ambito di un contesto già strutturato ha fatto emergere un certo numero di problematiche, come ad esempio difficoltà nello stoccaggio e ritardi di produzione; queste devono essere risolte chiedendo uno sforzo aggiuntivo agli enti interessati o, nel medio/lungo periodo, evolvendo ed affinando il sistema con soluzioni più snelle.

Ottimizzazione della gestione del magazzino merce di una realtà commerciale

Il periodo economico attuale è caratterizzato da una crisi che affligge numerose imprese non solo a livello nazionale, ma anche a livello mondiale. Tra le innumerevoli ragioni che hanno portato allo sviluppo di questa situazione troviamo quelle legate al contesto generale e competitivo, e quelle strategiche ed organizzative legate all’errata gestione aziendale. Le aziende devono sapersi rinnovare rimanendo concorrenziali e di alta qualità. È proprio in situazioni come queste che occorre saper considerare tutte le variabili in gioco prima di affrontare nuovi investimenti e, addirittura, i rifornimenti di materiale. La Nuova Bassani s.r.l. è sempre stata un’azienda dinamica e, nei suoi trent’anni di storia, ha saputo interpretare al meglio le esigenze del mercato mantenendosi sana ed affidabile. Adesso è orientata verso il revamping di uno dei suoi magazzini automatici per ovviare i tempi morti tra un’operazione e l’altra, e per velocizzare la preparazione degli ordini, per i clienti che ritirano personalmente il materiale richiesto. Oggi più che mai c’è la necessità non solo di soddisfare le richieste sempre più esigenti, ma anche quella di non tenere a magazzino del materiale che potrebbe risultare invenduto per anni perché “passato di moda”. La Nuova Bassani s.r.l. commercia acciaio ed è facilmente comprensibile quanto sia facile che qualche misura o materiale non venga più richiesto dal mercato perché sostituito da nuove tipologie, magari a lavorabilità migliorata. La tesi di seguito sviluppata ha quindi come scopo quello di: • Analizzare lo storico del venduto per approfondire la conoscenza dei materiali trattati e riscontrare quali sono le punte di diamante su cui puntare maggiormente; • Effettuare un’analisi tecnica per accertare quali materiali tenere in magazzino e in quale quantità, basandosi sui layout delle strutture esistenti; • Studiare il funzionamento del magazzino automatico obsoleto ed eventuali difetti tecnici per determinare soluzioni che lo possano migliorare; • Valutare l’investimento del revamping del magazzino per ragguagliare l’azienda sui tempi di recupero di tale investimento. La tesi sarà divisa in due parti fondamentali che riguardano una l’ottimizzazione delle strutture esistenti, l’altra l’aggiornamento di una delle strutture più importanti.

Studio del comportamento catalitico nella reazione di Water Gas Shift a media ed alta temperatura

Per massimizzare la quantità di H2 nel gas di sintesi ottenuto dal processo di Steam Reforming (SR) si utilizza la reazione di Water Gas Shift (WGS): CO + H2O ⇆ CO2 + H2 ∆H0298 = - 41,2 KJ/mol Sulla base di sistemi catalitici Cu/Zn/Al si è cercato di modificarne la composizione per ottenere catalizzatori attivi e stabili in un intervallo di temperatura tra 350-450 °C, (High Temperature Shift o HTS), al fine di sostituire i tradizionali sistemi a base di Fe/Cr, in relazione alle limitazioni ambientali all’utilizzo del Cr e per poter operare con valori inferiori del rapporto S/DG. Si sono inoltre studiate le caratteristiche dei catalizzatori e le condizioni di reazione che favoriscono la produzione di metilammine ed alcoli nel processo a temperature intermedie, tra 300-350 °C (Middle Temperature Shift o MTS), in relazione alla disattivazione che questi composti comportano nel processo di SR a seguito del riciclo della fase acquosa dal reattore di WGS.

Caratterizzazione di vini bianchi tipici siciliani in termini di profilo in molecole volatili e contenuto di etilcarbammato ed ammine biogene

Nella mia sperimentazione si è determinato le concentrazioni di ammine biogene ed etilcarbammato di vini autoctoni siciliani prodotti a partire da vitigni Catarratto, Grillo ed Insolia provenienti da 4 cantine siciliane e detrrminato il profilo in molecole volatili di questi vini mediante la tecnica GS/MS-SPME e il naso elettronico. Per quanto concerne le ammine biogene, l’ammina rilevata in maggiore quantità è stata la putrescina, mentre la 2-feniletilammina e le poliammine sono state rilevate a bassissime concentrazioni. L’istamina era al di sotto del limite di determinazione (0,1 ppm) nei vini della cantina D e nei vini Grillo e Catarratto della cantina C. La tiramina è stata rilevata solo in 7 dei vini analizzati a concentrazioni mai eccedenti 1,31ppm. I vini della cantina B, pur presentando in 2 campioni delle elevate concentrazioni di putrescina, erano privi di poliammine e tiramina. Per quanto riguarda l’etilcarbammato, esso è risultato sempre al di sotto dei 15ppb, indipendentemente dal vitigno e dalla cantina di produzione, con l’eccezione dei campioni di Catarratto della cantina D. Il vino Grillo proveniente dalla stessa cantina presentava i più bassi valori di etilcarbammato determinato tra i campioni analizzati.Per il profilo in molecole volatili rilevate mediante GC/MS-SPME sono state identificate circa 20 molecole appartenenti a classi chimiche differenti quali esteri, alcoli, acidi ed aldeidi.Al fine di evidenziare meglio le differenze tra i diversi campioni di vino, è stata effettuata un’analisi PCA. La proiezione dei diversi campioni sul piano cartesiano definito dalle componenti 1 e 2 era in grado di spiegare, rispettivamente, il 46,44% e il 17,52% della varianza. I diversi campioni sono stati raggruppati principalmente per cantina e non in rapporto al vitigno. Infatti, sono stati individuati 4 cluster corrispondenti alle 4 cantine di produzione. Dal momento che il profilo sensoriale di un vino è la risultante, oltre che di un complesso equilibrio quali-quantitativo di numerose molecole, anche delle interazioni che si vengono a creare tra le molecole volatili e non in un sistema complesso come il vino, è stata effettuata un’analisi mediante naso elettronico. Come precedentemente, i risultati ottenuti sono stati analizzati mediante l’analisi della componente principale che è stata in grado di spiegare più del 80% della varianza totale. Anche in questo caso, i campioni tendevano a raggrupparsi per cantina e non per vitigno. Dall’analisi critica dei dati si evince come il processo produttivo adottato abbia influito in maniera più significativa rispetto al vitigno sulla differenziazione dei profili in molecole volatili determinati sia mediante gascromatografia che naso elettronico. In conclusione, i risultati della mia sperimentazione hanno evidenziato: marcate differenze in termini di profili in molecole volatili tra i vini analizzati solo in rapporto al processo produttivo adottato dalle cantine, sebbene la zona di produzione della materia prima sia piuttosto ristretta; ottima qualità dei prodotti considerati in termini di molecole potenzialmente tossiche per la salute del consumatore.

Analisi dello spettro di massa invariante j/psi pi+ pi- in collisioni p-p a sqrt(s) = 8 tev con il rivelatore cms

In questo lavoro di tesi è stato studiato lo spettro di massa invariante del sistema J/psi pi+ pi-, m(J/psi pi+ pi-), in collisioni protone-protone a LHC, con energia nel centro di massa sqrt(s)) pari a 8 TeV, alla ricerca di nuovi stati adronici. Lo studio è stato effettuato su un campione di dati raccolti da CMS in tutto il 2012, corrispondente ad una luminosità integrata di 18.6 fb-1. Lo spettro di massa invariante m(J/psi pi+ pi-), è stato ricostruito selezionando gli eventi J/psi->mu+ mu- associati a due tracce cariche di segno opposto, assunte essere pioni, provenienti da uno stesso vertice di interazione. Nonostante l'alta statistica a disposizione e l'ampia regione di massa invariante tra 3.6 e 6.0 GeV/c^2 osservata, sono state individuate solo risonanze già note: la risonanza psi(2S) del charmonio, lo stato X(3872) ed una struttura più complessa nella regione attorno a 5 GeV/c^2, che è caratteristica della massa dei mesoni contenenti il quark beauty (mesoni B). Al fine di identificare la natura di tale struttura, è stato necessario ottenere un campione di eventi arricchito in adroni B. È stata effettuata una selezione basata sull'elevata lunghezza di decadimento, che riflette la caratteristica degli adroni B di avere una vita media relativamente lunga (ordine dei picosecondi) rispetto ad altri adroni. Dal campione così ripulito, è stato possibile distinguere tre sottostrutture nello spettro di massa invariante in esame: una a 5.36 GeV/c^2, identificata come i decadimenti B^0_s-> J/psi pi+ pi-, un'altra a 5.28 GeV/c^2 come i candidati B^0-> J/psi pi+ pi- e un'ultima allargata tra 5.1 e 5.2 GeV/c^2 data da effetti di riflessione degli scambi tra pioni e kaoni. Quest'ultima struttura è stata identificata come totalmente costituita di una combinazione di eventi B^0-> J/psi K+ pi- e B^0_s-> J/psi K+ K-.

Progettazione e sviluppo del back-end per il modulo di correzione automatica del corso di programmazione.

Il web ha cambiato radicalmente le nostre vite. Grazie ad esso, oggi si possono fare cose che solo qualche decennio fa erano pura fantascienza, come ad esempio la telepresenza o gli interventi chirurgici da remoto, ma anche cose più “semplici” come seguire corsi di formazione (anche universitaria), effettuare la spesa, operare con il proprio conto corrente, tutto restando comodamente a casa propria, semplificando così la vita di tutti. Allo stesso tempo il web è stato utilizzato per fini tutt’altro che nobili, ad esempio per commettere crimini informatici, recare danni alla concorrenza, compiere varie forme di truffe ecc. Ogni persona dovrebbe comportarsi in modo corretto e nel pieno rispetto del prossimo, sia sul mondo reale che sul web, ma purtroppo non è sempre così. Per quanto riguarda il mondo del web, sta agli sviluppatori soddisfare le necessità dei propri utenti, assicurandosi però che la propria applicazione non verrà usata per recare qualche tipo di danno a terzi o alla propria infrastruttura. Questa tesi nasce da un idea dei docenti del corso di Programmazione riguardo alla realizzazione di un modulo del sito web del corso che si occupa della correzione automatica di esercizi scritti in linguaggio C dagli studenti del corso, dove per correzione automatica si intende la verifica della correttezza degli esercizi.

Determinazione del gradiente gravitazionale attraverso l'utilizzo di un interferometro atomico

Il lavoro presentato in questa tesi è stato svolto nell'ambito dell'esperimento MAGIA (Misura Accurata di G mediante Interferometria Atomica) che, come suggerito dall'acronimo, si propone di realizzare una misura della Costante Gravitazionale G utilizzando un interferometro atomico come sensore di forza. L'obbiettivo di MAGIA è quello di fornire una misura di G con un'incertezza di circa 100 ppm, per raggiungere lo scopo è necessario conoscere il gradiente gravitazionale presente nel laboratorio durante la misura di G. Un errore nella valutazione del gradiente gravitazionale del 10% comporterebbe un errore nella misura di G di 26 ppm. Si è quindi modificato l'apparato per abilitarlo alla misura del gradiente. Dopo la determinazione del gradiente gravitazionale si è portando l'errore sulla misura di G causato dalla sua incertezza a circa 1 ppm. Vista l'importanza della misura del gradiente gravitazionale negli studi geologici e nella ricerca mineraria, si è studiata la possibilità dell'utilizzo dello strumento come gradiometro per misure geologiche. Inoltre si è anche caratterizzato il sistema di iniezione degli atomi e se n’è studiato un possibile miglioramento.

Segmentazione di immagini mammografiche con convolutional neural networks

Il tumore al seno si colloca al primo posto per livello di mortalità tra le patologie tumorali che colpiscono la popolazione femminile mondiale. Diversi studi clinici hanno dimostrato come la diagnosi da parte del radiologo possa essere aiutata e migliorata dai sistemi di Computer Aided Detection (CAD). A causa della grande variabilità di forma e dimensioni delle masse tumorali e della somiglianza di queste con i tessuti che le ospitano, la loro ricerca automatizzata è un problema estremamente complicato. Un sistema di CAD è generalmente composto da due livelli di classificazione: la detection, responsabile dell’individuazione delle regioni sospette presenti sul mammogramma (ROI) e quindi dell’eliminazione preventiva delle zone non a rischio; la classificazione vera e propria (classification) delle ROI in masse e tessuto sano. Lo scopo principale di questa tesi è lo studio di nuove metodologie di detection che possano migliorare le prestazioni ottenute con le tecniche tradizionali. Si considera la detection come un problema di apprendimento supervisionato e lo si affronta mediante le Convolutional Neural Networks (CNN), un algoritmo appartenente al deep learning, nuova branca del machine learning. Le CNN si ispirano alle scoperte di Hubel e Wiesel riguardanti due tipi base di cellule identificate nella corteccia visiva dei gatti: le cellule semplici (S), che rispondono a stimoli simili ai bordi, e le cellule complesse (C) che sono localmente invarianti all’esatta posizione dello stimolo. In analogia con la corteccia visiva, le CNN utilizzano un’architettura profonda caratterizzata da strati che eseguono sulle immagini, alternativamente, operazioni di convoluzione e subsampling. Le CNN, che hanno un input bidimensionale, vengono solitamente usate per problemi di classificazione e riconoscimento automatico di immagini quali oggetti, facce e loghi o per l’analisi di documenti.

Film di silicon oxinitride (sion) per applicazioni fotovoltaiche, studio di transizioni ottiche.

I materiali per applicazioni fotovoltaiche hanno destato un interesse crescente nella comunità scienti�ca negli ultimi decenni. Le celle HIT (Het- erojunction Intrinsic Thin Layer ) sono dispositivi di ultima generazione che hanno raggiunto e�cienza elevata mantenendo bassi i costi di pro- duzione, e impiegano silicio amorfo (a-Si) come strato emettitore per il suo buon assorbimento della luce e silicio cristallino come regione attiva. La struttura amorfa del silicio presenta però una bassa conducibilità, oltre ad e�etti di degradazione che limitano considerevolmente la durevolezza di una cella. Per questo motivo si stanno cercando possibili alternative al silicio amorfo, in particolare strutture multifase e composti di silicio, ossigeno ed azoto. In questo lavoro sono esposti i risultati dell'analisi di sottili lay- er di Silicon Oxynitride ossigenato (SiOx Ny :H), in forma microcristallina, deposti tramite PECVD (P lasma-Enhanced Chemical Vapor Deposition) su vetro presso l'università di Costanza. La forma microcristallina è una distribuzione di agglomerati cristallini dell'ordine di grandezza di un mi- crometro in una matrice di silicio amorfo, e attualmente le sue proprietà ottiche ed elettroniche non sono ancora state studiate in maniera appro- fondita. Nonostante ciò, è invece evidente che la fase microstallina non presenta tanti difetti intrinseci come la forma amorfa e ne è quindi una val- ida alternativa. In questa ottica, si è svolto uno studio sperimentale delle proprietà ottiche di layers in forma microcristallina di SiOx Ny :H, quali la misura del gap energetico. I risultati sperimentali, volti a trovare la dipen- denza delle caratteristiche dai parametri di deposizione dei layers, hanno mostrato una riduzione del gap energetico con la concentrazione di N2 O, uno dei gas precursori utilizzati nella deposizione dei layers in camera di processo. In conclusione si può dire che il μc−SiOx Ny :H ha le buone carat- teristiche tipiche dei semiconduttori cristallini, che unite alla possibilità di regolare il valore del gap energetico in base alle scelte in fase di deposizione, gli conferisce buone prospettive per applicazioni in celle fotovoltaiche, come emettitore in celle ad eterogiunzione.