Spazi per un'educazione innovativa La pedagogia di Gianfranco Zavalloni in un nuovo progetto per la scuola elementare "Panoramica" a Riccione

Studiare il rapporto tra pedagogia ed architettura per ridisegnare la scuola Panoramica a Riccione. I principi guida di Gianfranco Zavalloni, educatore cesenate, maestro di scuola materna e dirigente scolastico, autore de “La pedagogia della lumaca, sono la base su cui fonda il progetto. Natura, lavoro manuale e gioco sono le parole chiavi, nonchè i punti cardini delle teorie del cesenate. L'applicazione di questi concetti uniti a uno studio sui legami di tipo pubblico e privato che si innescano all'interno di un edificio scolastico sono l'ossatura portante del progetto. Il risultato è un edificio innovativo, a diretto contatto con la natura e attento ai principi di sostenibilità e di risparmio energetico.

Sviluppo di un sistema per allocazione e scheduling di applicazioni periodiche

In questa tesi, viene illustrato un metodo risolutivo al problema dell’allocazione e schedulazione, su risorse eterogenee con capacità unaria rinnovabile e cumulativa non rinnovabile, di applicazioni multitask periodiche, con periodi in relazione armonica, strutturate in attività indipendenti o sottoposte a vincoli di precedenza e con durate dipendenti dalla specifica risorsa di allocazione. L’obiettivo è quello di fornire un’implementazione del modello in grado di gestire l’allocazione e la schedulazione di istanze (i.e. insieme di applicazioni) variabili, caratterizzate da una serie di parametri. La struttura implementativa, realizzata secondo la Logic-based Benders decomposition, prevede la suddivisione del problema in due moduli. Il primo in grado di generare un’allocazione e realizzato con tecniche di programmazione lineare intera mista, il secondo con lo scopo di controllare l’ammissibilità di tale allocazione attraverso una schedulazione ottima e realizzato mediante tecniche di programmazione a vincoli. Il meccanismo di comunicazione tra i due moduli avviene mediante vincoli lineari, denominati tagli di Benders, che vengono aggiunti dopo ogni iterazione del sistema. L’efficacia del modello sarà valutata confrontando i risultati ottenuti attraverso una serie di test, con i valori forniti da un metodo di allocazione e schedulazione alternativo.

Progetto e sviluppo di un automa per la gestione ed il controllo di sistemi a pilotaggio remoto

L’attenzione di questa tesi si pone sulla progettazione e lo sviluppo di un automa per il controllo di sistemi a pilotaggio remoto. Punto di partenza dell'intero progetto è stata l'analisi del quadrirotore programmato ed utilizzato dai ricercatori del progetto SHERPA. Le funzionalità evidenziate dall'analisi sono state poi elaborate secondo l'approccio con Attuatore Generalizzato ed implementate in Codesys. Questo software si compone di una parte di controllo, una di simulazione ed una o più interfacce grafiche dedicate all'interazione con l'utente. L'utilizzo di Codesys ha permesso di implementare un automa modulare e riusabile, base di partenza per i futuri progetti di automi aerei. L'automa realizzato consente infine di simulare il comportamento di un generico sistema a pilotaggio remoto e di osservarne la sequenza logica con cui le azioni vengono eseguite.

La traduzione di humour e language-play: analisi contrastiva di un episodio di Modern Family

L’elaborato analizza forme di humour e di language-play, valutandone uso e traduzione in un episodio della serie Modern Family, sitcom famosa per la sua comicità che mescola ironia, giochi di parole e elementi culturali tipici del panorama americano. L’elaborato si articola in quattro capitoli: nel primo si presenta una descrizione della serie, dei suoi personaggi e delle motivazioni del suo successo; il secondo tratta invece di humour, di language-play e della loro traduzione; nel terzo, dopo un breve accenno alle difficoltà del doppiaggio, si affronta la traduzione di Verbally Expressed Humour on Screen (VEH); infine, il quarto capitolo è dedicato all’analisi contrastiva della versione originale e di quella doppiata dell’episodio, articolata secondo tre categorie: language-play, non-specific Verbally Expressed Humour e riferimenti culturali. In appendice, la trascrizione della versione originale e di quella doppiata con i relativi tempi di entrata e di uscita.

Emissione di Compton inverso e applicazioni astrofisiche

Nell'elaborato viene affrontato il processo di diffusione di fotoni denominato Compton Inverso. Per prima cosa c'è una breve introduzione dove vengono elencati i vari processi di diffusione di radiazione e alcune applicazioni astrofisiche del Compton inverso che saranno poi affrontate nella seconda parte. Nel capitolo 1 viene fatta una trattazione fisica del processo e vengono analizzati potenza emessa e spettro risultante. Infine nel capitolo finale vengono approfondite le applicazioni astrofisiche più importanti del Compton inverso: Comptonizzazione, effetto Sunyaev-Zeldovich e Synchrotron Self Compton.

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.

Impianti idroelettrici per la produzione di energia

L'energia idroelettrica è una fonte di energia alternativa e rinnovabile che sfrutta il moto dell'acqua, generato grazie all'energia potenziale presente tra due bacini posti a quote diverse per convertire l'energia meccanica in elettrica attraverso un alternatore collegato a turbina. Gli impianti si classificano in: impianti ad acqua fluente, a deflusso regolato, ad accumulo tramite pompaggio. Le turbine idrauliche sono quei dispositivi meccanici in grado di convertire l'energia cinetica in energia meccanica. Fra tutte studieremo la Pelton, la Francis e la Kaplan e i loro criteri di scelta. I grandi impianti hanno un notevole impatto ambientale, ecco perché la nuova tecnologia si basa sul mini idroelettrico; quest'ultimo dal punto di vista economico è competitivo rispetto alle altre fonti rinnovabili ed ai combustibili fossili.

Programmazione ad Agenti e Pianificazione: AgentSpeak(PL) come caso di studio

In questa tesi si discutono inizialmente i concetti chiave di agente e sistema multi-agente e si descrivono in ogni dettaglio il linguaggio di programmazione AgentSpeak(L) e la piattaforma Jason, fornendo le basi per poter programmare con il paradigma AOP. Lo scopo centrale di questa tesi è quello di estendere il modello di pianificazione dell’interprete di AgentSpeak(L), considerato come caso specifico, con un approccio che può essere integrato in qualsiasi linguaggio di programmazione ad agenti. Si espone un’evoluzione di AgentSpeak(L) in AgentSpeak(PL), ossia la creazione ed esecuzione di piani automatici in caso di fallimento attraverso l'uso di un algoritmo di planning state-space. L'approccio integrativo modifica il Ciclo di Reasoning di Jason proponendo in fase di pianificazione automatica un riuso di piani già esistenti, atto a favorire la riduzione di tempi e costi nel long-term in un sistema multi-agente. Nel primo capitolo si discute della nozione di agente e delle sue caratteristiche principali mentre nel secondo capitolo come avviene la vera e propria programmazione con AgentSpeak(L). Avendo approfondito questi argomenti base, il terzo capitolo è incentrato sull’interprete Jason e il quarto su una migliore estensione dell'interprete, in grado di superare i limiti migliorando le performance nel tempo. Si delineano infine alcune considerazioni e ringraziamenti nel quinto e ultimo capitolo. Viene proposta con scrittura di carattere divulgativo e non ambiguo.

Collaudo funzionale di un inverter trifase per trazione elettrica stradale

Lo scopo della tesi è collaudare un inverter trifase per trazione elettrica stradale al fine di determinarne le specifiche nominali e di massima. Il lavoro è stato organizzato procedendo inizialmente con l’individuazione delle parti principali che concorrono alla formazione del convertitore, studiandone il principio di funzionamento e i diversi valori di tensione e di corrente che ne caratterizzano le prestazioni. Successivamente si è passati al collaudo della parte di potenza del convertitore con l’obiettivo di determinarne le prestazioni in relazione alla massima temperatura consentita di funzionamento. Questo tipo di prova ha richiesto l’individuazione di una sorgente di alimentazione dell’inverter in grado di fornire i picchi di potenza necessari durante la fase di sovraccarico (si tratta di diversi kW per alcune decine di secondi) e contemporaneamente di un carico trifase in grado di assorbire queste potenze senza danneggiarsi. E’ molto importante tenere presente che la prova per la determinazione delle prestazioni nominali dell’inverter, richiede una durata di diverse decine di minuti cioè fin tanto che l’inverter non ha raggiunto l’equilibrio termico e quindi la temperatura non varia apprezzabilmente nel tempo. Allo scopo si è impiegata come sorgente di alimentazione un pacco di batterie Litio-Ioni costituito da 32 celle da 160Ah collegate in serie per una tensione nominale di 105V, mentre come carico si è utilizzato un motore asincrono trifase collegato direttamente in uscita dell’inverter.

Analisi energetica di un edificio residenziale

Quadro legislativo europeo e nazionale e nuovi decreti della regione Emilia Romagna riguardanti le misure per il contenimento dei consumi energetici nell'edilizia. Analisi energetica di un edificio residenziale. Studio di alcuni interventi proposti al fine di incrementare le prestazioni energetiche dell'edificio, diminuendone le dispersioni verso l'ambiente esterno e/o migliorando il rendimento dell'impianto. Tali interventi sono volti alla riduzione dei consumi, sia economici sia di combustibile fossile, e al miglioramento delle condizioni di benessere termoigrometrico. Successiva analisi economica degli interventi, utilizzando come indici il VAN e il PBT e tenendo conto dell'Ecobonus. Relazione tra gli investimenti iniziali di cui necessitano tali interventi e la riduzione dell'indice di prestazione energetica ottenuta. Relazione tra gli investimenti iniziali necessari e i relativi valori di risparmio annuo monetario che si ottiene in seguito alla diminuzione di energia primaria e quindi di combustibile utilizzato per il riscaldamento e la produzione di acqua calda sanitaria. Confronto fra i vari interventi al fine di valutarne la convenienza.

Analisi del ciclo di lavorazione e dei costi di trattamenti termici

La tesi "Analisi del ciclo di lavorazione e dei costi di trattamenti termici" è stata svolta in collaborazione con l'azienda PASELLO TRATTAMENTI TERMICI s.r.l. che si occupa di trattamenti termici dei metalli per conto terzi. L’obiettivo è svolgere l’analisi del ciclo di lavorazione e dei costi di due prodotti ricevuti in conto lavoro dall’azienda, confrontando i trattamenti termici di cementazione in atmosfera e a bassa pressione. Nel capitolo 1 sono descritti i tratti generali dell’azienda, le risorse produttive di cui dispone e come vengono gestite l’identificazione e la tracciabilità dei prodotti durante il processo produttivo. Nel capitolo 2 viene analizzato il ciclo di lavorazione in atmosfera di un prodotto del cliente Sarbo Spa, sottoposto al trattamento termico di cementazione in atmosfera. Dunque vengono descritti il trattamento termico e le caratteristiche principali dei pezzi. Allo stesso modo, nel capitolo 3, viene analizzato il ciclo di lavorazione in bassa pressione di un prodotto del cliente Seven Diesel Spa, sottoposto al trattamento termico di cementazione a bassa pressione. Nel capitolo 4 viene svolta l’analisi dei costi, secondo la logica “full costing”, tenendo distinti i due ordini e determinando il costo industriale. Vengono analizzati gli investimenti nelle due linee, i costi di ammortamento, i costi dei materiali di consumo, i costi di manodopera e i costi dei gas di processo, fino a determinare il costo totale di fornata per la cementazione in atmosfera e per la cementazione a bassa pressione, e quindi l’euro al chilo e al pezzo dei due ordini. Inoltre è quantificata l’incidenza dei costi in percentuale sul costo totale di fornata. Nella conclusione viene sottolineato il fatto che, nonostante l’investimento in una linea innovativa come quella a bassa pressione sia superiore rispetto a quello per la linea in atmosfera, se si considera l’intero processo produttivo, risulta più conveniente la cementazione in bassa pressione.

Valutazione sperimentale di metodologie di rettificazione e impatto su algoritmi di visione stereo

Ricavare informazioni dalla realtà circostante è un obiettivo molto importante dell'informatica moderna, in modo da poter progettare robot, veicoli a guida autonoma, sistemi di riconoscimento e tanto altro. La computer vision è la parte dell'informatica che se ne occupa e sta sempre più prendendo piede. Per raggiungere tale obiettivo si utilizza una pipeline di visione stereo i cui passi di rettificazione e generazione di mappa di disparità sono oggetto di questa tesi. In particolare visto che questi passi sono spesso affidati a dispositivi hardware dedicati (come le FPGA) allora si ha la necessità di utilizzare algoritmi che siano portabili su questo tipo di tecnologia, dove le risorse sono molto minori. Questa tesi mostra come sia possibile utilizzare tecniche di approssimazione di questi algoritmi in modo da risparmiare risorse ma che che garantiscano comunque ottimi risultati.

Problematiche igienico - sanitarie nella produzione di uova e ovoprodotti: analisi critica e gestione dei rischi

In questo mio elaborato vengono analizzate le principali problematiche igienico sanitarie della filiera di produzione delle uova e ovoprodotti, In particolare dopo un’analisi economica del settore di produzione delle uova e ovoprodotti vengono illustrati i principali metodi di allevamento delle galline ovaiole anche alla luce delle recenti tendenze a favorire allevamenti con sistemi alternativi a quelli delle gabbie tradizionali. Sono state inoltre illustrate le diverse fasi lavorazione delle uova in guscio (dalla raccolta alla selezione e confezionamento) e degli ovoprodotti includendo la descrizione delle diverse tipologie di prodotti d’uovo disponibili sul mercato. Accanto alla descrizione dei processi produttivi si sono illustrati anche i riferimenti normativi che disciplinano tali prodotti con particolare riferimento ai regolamenti relativi in materia di igiene, produzione e commercializzazione delle uova di categoria A. In relazione al focus principale della mia tesi sono stati inoltre descritti i principali rischi sanitari per l’uomo derivanti dal consumo di uova e ovoprodotti contaminati, accanto alle principali anomalie fisiche ed alle più comuni frodi alimentari. Più in particolare sono stati illustrati i dati raccolti a livello europeo sui focolai tossinfettivi nei quali sono state coinvolte le uova e ovoprodotti facendo particolare attenzione alle infezioni da S.enteritidis, principale microrganismo contaminante questi prodotti alimentari. Infine sono stati illustrati i principali interventi di gestione del rischio sanitario per le uova e ovoprodotti, partendo dalla fase di produzione fino ad arrivare ad interventi del consumatore, con i quali limitare la diffusione delle malattie a trasmissione alimentare.

Aspetti igienico sanitari delle produzioni di carni avicole: analisi comparativa tra sistemi di allevamento intensivi e sistemi alternativi

In questo lavoro di tesi sono stati affrontati argomenti relativi ai due principali sistemi di allevamento avicolo nel territorio nazionale; l’allevamento effettuato con sistema intensivo e quello attuato con sistema alternativo. Questi due tipi di sistemi sono stati messi a confronto. Inizialmente sono state riportate informazioni sulle attuali normative comunitarie che regolano il commercio e la produzione della carne avicola; di seguito sono stati riportati dati statistici riguardanti la produzione e la commercializzazione di questo prodotto sia a livello nazionale, che a livello globale. Per ognuno dei due tipi di allevamento sono stati approfonditi aspetti riguardanti le caratteristiche qualitative della carne avicola, in particolare riferimenti sulla composizione chimica, sul valore nutritivo e sugli indici di qualità. Sono state prese in esame anche le caratteristiche proprie di ogni tipo di allevamento, come la tecnica e la gestione d’allevamento, e per ognuno di essi sono state riportate le principali differenze che caratterizzano questi due diversi sistemi di allevamento. Successivamente per ognuno dei due sistemi, sono state riportate le principali problematiche igienico-sanitarie, fra cui diverse patologie, tecnopatie, e parassitosi riscontrate sia in fase di allevamento, che in fase di macellazione e commercializzazione. Infine è stata fatta un’analisi comparativa nella quale sono stati messi a confronto i due sistemi di allevamento e nella quale sono stati riportati i metodi e i suggerimenti di riduzione del rischio microbiologico e sanitario in fase di allevamento e di macellazione.

Sviluppo ed applicazione di tecniche di Multiple Kernel Learning per dati di neuroimaging

Questo lavoro di tesi riguarda lo studio e l’implementazione di un algoritmo di multiple kernel learning (MKL) per la classificazione e la regressione di dati di neuroimaging ed, in particolare, di grafi di connettività funzionale. Gli algoritmi di MKL impiegano una somma pesata di vari kernel (ovvero misure di similarità) e permettono di selezionare le features utili alla discriminazione delle istanze durante l’addestramento del classificatore/regressore stesso. L’aspetto innovativo introdotto in questa tesi è stato lo studio di un nuovo kernel tra grafi di connettività funzionale, con la particolare caratteristica di conservare l’informazione relativa all’importanza di ogni singola region of interest (ROI) ed impiegando la norma lp come metodo per l’aggiornamento dei pesi, al fine di ottenere soluzioni sparsificate. L’algoritmo è stato validato utilizzando mappe di connettività sintetiche ed è stato applicato ad un dataset formato da 32 pazienti affetti da deterioramento cognitivo lieve e malattia dei piccoli vasi, di cui 16 sottoposti a riabilitazione cognitiva tra un’esame di risonanza ma- gnetica funzionale di baseline e uno di follow-up. Le mappe di con- nettività sono state ottenute con il toolbox CONN. Il classificatore è riuscito a discriminare i due gruppi di pazienti in una configurazione leave-one-out annidata con un’accuratezza dell’87.5%. Questo lavoro di tesi è stato svolto durante un periodo di ricerca presso la School of Computer Science and Electronic Engineering dell’University of Essex (Colchester, UK).