Geodetiche su superfici dello spazio euclideo tridimensionale

In questa tesi si studiano le geodetiche sulle superfici dello spazio euclideo tridimensionale. Tali curve, che godono di proprietà analoghe a quelle delle rette nel piano, vengono definite come quelle particolari curve sulle superfici il cui campo dei vettori tangenti e' parallelo, cioè ha derivata covariante nulla. Sulle superfici di rotazione le geodetiche sono tutti i meridiani, i paralleli aventi vettori tangenti paralleli all'asse di rotazione e tutte le curve soddisfacenti la condizione di Clairaut. Dopo aver studiato le geodetiche su alcune superfici significative si introduce la nozione di mappa esponenziale che permetterà di dimostrare le proprietà di minimo locale delle geodetiche.

Progettazione di un sistema di comando innovativo di una frizione per motocoltivatori

Motocoltivatori, motofalciatrici e motozappe sono macchine definite come “macchine agricole semoventi”, ovvero dotate di apparati ed organi di trazione propri; il loro impiego spazia dall’agricoltura al giardinaggio, dall’uso professionale all’hobbistica. Il presente elaborato consiste nello studio di fattibilità funzionale ed economica nonché nel progetto di un nuovo comando alle stegole per l’azionamento di una frizione per un motocoltivatore Grillo con conducente a piedi. In particolare, l’obiettivo è consentire un innesto e disinnesto della frizione più agevoli per l’operatore, in rispetto delle specifiche di sicurezza richieste dalla normativa europea UNI EN 709. Il progetto si è articolato nell’analisi del meccanismo sia da un punto di vista teorico, tramite modello statico e cinematico, sia pratico, tramite misure sperimentali sul prototipo realizzato, i cui risultati offrono la possibilità di implementazione sui motocoltivatori.

Lo sviluppo linguistico (L1): L'acquisizione degli articoli nei bambini italiani e spagnoli

This project focuses on the acquisition of Italian and Spanish as mother tongues. Chapter 1 explores some of the main theories concerning language acquisition in order to give a general overview about this field of investigation. Chapter 2 presents the main steps of the acquisition of Italian and Spanish during childhood as described by Camaioni (2001) and Hernández Pina (1990). Chapter 3 contains an analysis carried out on several transcripts of natural conversations between children and their parents. Particular attention was paid to understand how Italian and Spanish children acquire definite and indefinite articles between 18 and 30 months of age. The goal of this paper is to understand whether Italian and Spanish children follow the same pattern of language acquisition when articles are considered, given the undoubtable similarity of these two Romance languages. The results of this study suggest that the acquisition of articles by native Italian and Spanish speakers mirrors such similarity. Yet, Spanish children seem faster at learning new uses of articles (i.e. articulated prepositions), but at first they make many more mistakes compared to Italians. This suggests that Spanish children tend to make experiments with the linguistic items they already know in order to increase their linguistic competences. On the other hand, Italians seem slower at learning new features of their mother tongue, but the number of mistakes they make is generally lower, which suggests that they rather stabilize their competences before learning new ones. The analysis also highlights the importance of imitation in the process of language acquisition: children tend to repeat what they hear from their parents to learn new features of their mother tongue. Needless to say, this paper only aims at serving as a springboard for further investigation, since language acquisition remains a fascinating and largely unsolved process.

Sociale, sostenibile, efficiente. Una soluzione per il comparto ater di via Bramante a Rovigo

Il progetto di tesi elaborato tratta uno dei temi più attuali nell’ambito architettonico, l’efficienza energetica degli edifici. La tesi, sviluppata all’interno del Laboratorio di Laurea in Architettura Sostenibile, tratta un caso peculiare, in quanto riguarda il recupero di un’opera incompiuta, un comparto di 24 alloggi di Social Housing situato nella città di Rovigo. Il proprietario dell’impianto, l’ente pubblico per l’edilizia sociale ATER, ha posto delle direttive qualitative e quantitative per portare a compimento l’opera. Preso atto di queste disposizioni, e a seguito di accurate analisi di tipo tecnico, morfologico e demografico, sono state definite accurate strategie progettuali, riguardanti la definizione di alloggi idonei alla richiesta dell’ente e alla conformazione demografica della città, il recupero della preesistenza e lo sviluppo di una architettura energicamente efficiente.

Studio di una macchina automatica per l'avvolgimento ed il confezionamento di tubo plastico flessibile

Studio di una macchina automatica adibita all’avvolgimento ed al packaging di bobine di tubo corrugato flessibile in materiale plastico, denominata FLASH 700, finalizzato alla definizione dei principali parametri funzionali, degli attuali limiti di funzionamento ed alla soluzione di alcuni problemi. L’attività ha comportato un’iniziale studio dettagliato della macchina, indirizzato all’acquisizione delle necessarie competenze tecniche di costruzione e funzionamento, per poterne successivamente definire i parametri funzionali e comprenderne gli attuali limiti e margini di miglioramento, definiti i quali si è passati ad un'accurata fase di studio riguardante il ciclo di funzionamento del gruppo avvolgitore (che arrotola il tubo in bobine), eseguita durante i collaudi pre-vendita, con lo scopo di delineare i tempi necessari ad eseguire ogni operazione e ad evidenziare i punti critici (tempi morti) del sistema che caratterizzano l’attuale tempo ciclo. Infine, determinate le principali cause dei limiti di funzionamento e definite le principali funzioni di macchina causa del tempo ciclo, sono state proposte alcune possibili modifiche costruttive finalizzate all’abbattimento degli attuali limiti. Alcune delle soluzioni proposte sono state infine realizzate e collaudate in macchina, al fine di verificarne il reale miglioramento apportato.

Industrializzazione di una famiglia di componenti meccanici secondo i principi dell'industria 4.0

Il progetto di tesi tratta l'industrializzazione di una famiglia di componenti meccanici con gli obiettivi di riduzione del lead time e dei costi di produzione ed un miglioramento della qualità costruttiva. Per fare ciò è stato definito un nuovo ciclo di fabbricazione che riunisse tutte le operazioni di asportazione di truciolo in un unico centro di lavoro di fresatura. Sono state definite, progettate e messe in atto tutte le fasi del processo produttivo utilizzando i moderni software CAD-CAM-CNC. Al termine sono stati elaborati i risultati ottenuti svolgendo anche una analisi economica per valutare il risparmio percentuale annuo sul costo di produzione. Infine è stato fatto un confronto fra il vecchio ed il nuovo processo produttivo realizzato secondo i principi dell'Industria 4.0 ed i relativi vantaggi che esso permette di ottenere.

Smart execution of distributed application by balancing resources in mobile devices and cloud-based avatars

L’obiettivo del progetto di tesi svolto è quello di realizzare un servizio di livello middleware dedicato ai dispositivi mobili che sia in grado di fornire il supporto per l’offloading di codice verso una infrastruttura cloud. In particolare il progetto si concentra sulla migrazione di codice verso macchine virtuali dedicate al singolo utente. Il sistema operativo delle VMs è lo stesso utilizzato dal device mobile. Come i precedenti lavori sul computation offloading, il progetto di tesi deve garantire migliori performance in termini di tempo di esecuzione e utilizzo della batteria del dispositivo. In particolare l’obiettivo più ampio è quello di adattare il principio di computation offloading a un contesto di sistemi distribuiti mobili, migliorando non solo le performance del singolo device, ma l’esecuzione stessa dell’applicazione distribuita. Questo viene fatto tramite una gestione dinamica delle decisioni di offloading basata, non solo, sullo stato del device, ma anche sulla volontà e/o sullo stato degli altri utenti appartenenti allo stesso gruppo. Per esempio, un primo utente potrebbe influenzare le decisioni degli altri membri del gruppo specificando una determinata richiesta, come alta qualità delle informazioni, risposta rapida o basata su altre informazioni di alto livello. Il sistema fornisce ai programmatori un semplice strumento di definizione per poter creare nuove policy personalizzate e, quindi, specificare nuove regole di offloading. Per rendere il progetto accessibile ad un più ampio numero di sviluppatori gli strumenti forniti sono semplici e non richiedono specifiche conoscenze sulla tecnologia. Il sistema è stato poi testato per verificare le sue performance in termini di mecchanismi di offloading semplici. Successivamente, esso è stato anche sottoposto a dei test per verificare che la selezione di differenti policy, definite dal programmatore, portasse realmente a una ottimizzazione del parametro designato.

Aspects of supergeometry in locally covariant quantum field theory

In questa tesi vengono presentati i piu recenti risultati relativi all'estensione della teoria dei campi localmente covariante a geometrie che permettano di descrivere teorie di campo supersimmetriche. In particolare, si mostra come la definizione assiomatica possa essere generalizzata, mettendo in evidenza le problematiche rilevanti e le tecniche utilizzate in letteratura per giungere ad una loro risoluzione. Dopo un'introduzione alle strutture matematiche di base, varieta Lorentziane e operatori Green-iperbolici, viene definita l'algebra delle osservabili per la teoria quantistica del campo scalare. Quindi, costruendo un funtore dalla categoria degli spazio-tempo globalmente iperbolici alla categoria delle *-algebre, lo stesso schema viene proposto per le teorie di campo bosoniche, purche definite da un operatore Green-iperbolico su uno spazio-tempo globalmente iperbolico. Si procede con lo studio delle supervarieta e alla definizione delle geometrie di background per le super teorie di campo: le strutture di super-Cartan. Associando canonicamente ad ognuna di esse uno spazio-tempo ridotto, si introduce la categoria delle strutture di super-Cartan (ghsCart) il cui spazio-tempo ridotto e globalmente iperbolico. Quindi, si mostra, in breve, come e possibile costruire un funtore da una sottocategoria di ghsCart alla categoria delle super *-algebre e si conclude presentando l'applicazione dei risultati esposti al caso delle strutture di super-Cartan in dimensione 2|2.

Studio sperimentale del comportamento a fatica di calcestruzzi rinforzati con fibre sintetiche

La presente tesi di Laurea Magistrale ha lo scopo di studiare sperimentalmente il comportamento a fatica dei calcestruzzi rinforzati con fibre macro-sintetiche (Macro Synthetic Fiber Reinforced Concrete, MSFRC). Sono condotte prove cicliche di flessione su tre punti al fine di caratterizzare il comportamento dei calcestruzzi fibrorinforzati in regime fessurato nel caso di fatica ad alto numero di cicli (High Cycle Fatigue, HCF). Oltre a prove di fatica sono condotte anche prove monotone a flessione al fine di ottenere la caratterizzazione meccanica del materiale determinandone i principali parametri di frattura; i risultati di tali prove sono utili anche a definire la procedura di prova definitiva da adottare durante i test di fatica. Le testimonianze presenti in letteratura sul comportamento a fatica degli FRC rinforzati con fibre sintetiche sono molto limitate, specialmente nel caso di fatica ad alto numero di cicli; inoltre le prove cicliche, a differenza delle prove monotone, non sono prove standardizzate e quindi definite dalla normativa. Nel corso della presente campagna sperimentale si cercherà quindi di definire una procedura per poter eseguire in maniera stabile le prove di flessione, monotone e di fatica, su campioni prismatici di calcestruzzo fibrorinforzato. L’idea alla base della campagna sperimentale oggetto di questa tesi è quella di riprodurre, mediante prove di fatica, le usuali condizioni di esercizio a cui sono sottoposte, durante la loro vita utile, strutture come pavimentazioni stradali o industriali; infatti il traffico stradale o il transito di macchinari possono indurre su strutture del genere dei carichi ripetuti nel tempo tali da provocarne il collasso per fatica. La presente tesi è articolata in otto capitoli nei quali verranno evidenziate le principali proprietà, sia meccaniche che fisiche, del materiale composito oggetto dello studio, saranno definite le procedure dei test eseguiti e verranno discussi i risultati derivanti da essi.

Analisi e comparazione delle principali piattaforme e-learning

L’oggetto di studio di questa tesi sono le piattaforme e-learning: programmi informatici che permettono di creare e gestire corsi di insegnamento attraverso internet. Innanzitutto viene fatta un’introduzione al concetto di e-learning, definendone le principali caratteristiche. Successivamente sono state delineate le peculiarità di dodici piattaforme tra le più diffuse: Edmodo, Ilias, Sakai,Dokeos, Schoology, Chamilo, Claroline, eFront, Atutor, Docebo, Moodle, Blackboard. Per ciascuna di esse viene fatto un inquadramento storico e geografico, definendo dove, quando, grazie a chi sono state sviluppate e il loro livello di diffusione globale. Vengono definite alcune caratteristiche tecniche quali: il tipo di licenza, il supporto fornito agli utenti, l’accessibilità dei contenuti erogati da ciascun programma, gli strumenti dedicati alla didattica, gli aspetti social e di comunicazione. Queste informazioni sono state utilizzate nel capitolo finale per eseguire un confronto, in modo da capire quali piattaforme risultano essere migliori a soddisfare le esigenze di Enti di Formazione a livello universitario.

Real Driving Emissions: analisi e sperimentazione di metodologie di selezione dei percorsi su strada e di definizione di cicli di laboratorio

La presente tesi si occupa di identificare la metodologia utilizzata per la definizione di percorsi Real Driving Emissions. Nel particolare sono stati individuati due percorsi, uno in piano, definite RDE Moderate Track ed uno in quota, definito RDE Extended Track. Si è anche eseguita una analisi dei cicli su banco a rulli NEDC e WLTC in ottica Real Driving Emissions.

Evaluating the urban heat island for cities of Emilia-Romagna region through numerical simulations

Lo scopo di questo studio è la comprensione della dinamica dello strato limite urbano per città dell’Emilia Romagna tramite simulazioni numeriche. In particolare, l’attenzione è posta sull’ effetto isola di calore, ovvero sulla differenza di temperatura dell’aria in prossimità del suolo fra zone rurali e urbane dovuta all’urbanizzazione. Le simulazioni sono state effettuate con il modello alla mesoscala "Weather Research and Forecasting" (WRF), accoppiato con le parametrizzazioni urbane "Building Effect Parametrization" (BEP) e "Building Energy Model" (BEM), che agiscono a vari livelli verticali urbani. Il periodo di studio riguarda sei giorni caldi e senza copertura nuvolosa durante un periodo di heat wave dell’anno 2015. La copertura urbana è stata definita con il "World Urban Databes and Access Portal Tools" (WUDAPT), un metodo che permette di classificare le aree urbane in dieci "urban climate zones" (UCZ), attraverso l’uso combinato di immagini satellitari e "training areas" manualmente definite con il software Google Earth. Sono state svolte diverse simulazioni a domini innestati, con risoluzione per il dominio più piccolo di 500 m, centrato sulla città di Bologna. Le differenze fra le simulazioni riguardano la presenza o l’assenza delle strutture urbane, il metodo di innesto e tipo di vegetazione rurale. Inoltre, è stato valutato l’effetto dovuto alla presenza di pannelli fotovoltaici sopra i tetti di ogni edificio e le variazioni che i pannelli esercitano sullo strato limite urbano. Per verificare la bontà del modello, i dati provenienti dalle simulazioni sono stati confrontati con misure provenienti da 41 stazioni all’interno dell’area di studio. Le variabili confrontate sono: temperatura, umidità relativa, velocità e direzione del vento. Le simulazioni sono in accordo con i dati osservativi e riescono a riprodurre l’effetto isola di calore: la differenza di temperatura fra città e zone rurali circostanti è nulla durante il giorno; al contrario, durante la notte l’isola di calore è presente, e in media raggiunge il massimo valore di 4°C alle 1:00. La presenza dei pannelli fotovoltaici abbassa la temperatura a 2 metri dell’aria al massimo di 0.8°C durante la notte, e l’altezza dello strato limite urbano dell’ordine 200mrispetto al caso senza pannelli. I risultati mostrano come l’uso di pannelli fotovoltaici all’interno del contesto urbano ha molteplici benefici: infatti, i pannelli fotovoltaici riescono a ridurre la temperatura durante un periodo di heat wave, e allo stesso tempo possono parzialmente sopperire all’alto consumo energetico, con una conseguente riduzione del consumo di combustibili fossili.

Luoghi geometrici e curve celebri

Scopo di questo elaborato è affrontare lo studio di luoghi geometrici piani partendo dagli esempi più semplici che gli studenti incontrano nel loro percorso scolastico, per poi passare a studiare alcune curve celebri che sono definite come luoghi geometrici. Le curve nell'elaborato vengono disegnate con l'ausilio di Geogebra, con il quale sono state preparate delle animazioni da mostrare agli studenti. Di alcuni luoghi si forniscono dapprima le equazioni parametriche e successivamente, attraverso il teorema di eliminazione e il software Singular, viene ricavata l'equazione cartesiana.

Gamification e Machine Learning per migliorare l’esperienza di guida e diminuire i consumi in un veicolo elettrico

Questo progetto di tesi è parte di un programma più ampio chiamato TIME (Tecnologia Integrata per Mobilità Elettrica) sviluppato tra diversi gruppi di ricerca afferenti al settore meccanico, termofluidodinamico e informatico. TIME si pone l'obiettivo di migliorare la qualità dei componenti di un sistema powertrain presenti oggi sul mercato progettando un sistema general purpose adatto ad essere installato su veicoli di prima fornitura ma soprattutto su retrofit, quindi permettendo il ricondizionamento di veicoli con motore a combustione esistenti ma troppo datati. Lo studio svolto si pone l'obiettivo di identificare tutti gli aspetti di innovazione tecnologica che possono essere installati all'interno del sistema di interazione uomo-macchina. All'interno di questo progetto sarà effettuata una pianificazione di tutto il lavoro del gruppo di ricerca CIRI-ICT, partendo dallo studio normativo ed ergonomico delle interfacce dei veicoli analizzando tutti gli elementi di innovazione che potranno far parte del sistema TIME e quindi programmare tutte le attività previste al fine di raggiungere gli obiettivi prefissati, documentando opportunamente tutto il processo. Nello specifico saranno analizzate e definite le tecniche da utilizzare per poi procedere alla progettazione e implementazione di un primo sistema sperimentale di Machine Learning e Gamification con lo scopo di predire lo stato della batteria in base allo stile di guida dell'utente e incentivare quest'ultimo tramite sistemi di Gamification installati sul cruscotto ad una guida più consapevole dei consumi. Questo sistema sarà testato su dati simulati con l'obiettivo di avere un prodotto configurabile da installare sul veicolo.

Tabelle di Young e statistiche sulle permutazioni

La presente tesi è suddivisa in due parti: nella prima parte illustriamo le definizioni e i relativi risultati della teoria delle tabelle di Young, introdotte per la prima volta nel 1900 da Alfred Young; mentre, nella seconda parte, diamo la nozione di numeri Euleriani e di Polinomi Euleriani. Nel primo capitolo abbiamo introdotto i concetti di diagramma di Young e di tabelle di Young standard. Inoltre, abbiamo fornito la formula degli uncini per contare le tabelle di Young della stessa forma. Il primo capitolo è focalizzato sul teorema di Robinson-Schensted, che stabilisce una corrispondenza biunivoca tra le permutazioni di Sn e le coppie di tabelle di Young standard della stessa forma. Ne deriva un'importante conseguenza che consiste nel poter trovare in modo efficiente la massima sottosequenza crescente di una permutazione. Una volta definite le operazioni di evacuazione e "le jeu de taquin" relative alle tabelle di Young, illustriamo una serie di risultati riferibili alla corrispondenza biunivoca R-S che variano in base alla permutazione che prendiamo in considerazione. In particolare, enunciamo il teorema di simmetria di M.P.Schüztenberger, che dimostriamo attraverso la costruzione geometrica di Viennot. Nel secondo capitolo, dopo aver dato la definizione di discesa di una permutazione, descriviamo altre conseguenze della corrispondenza biunivoca R-S: vediamo così che esiste una relazione tra le discese di una permutazione e la coppia di tabelle di Young associata. Abbiamo trattato approfonditamente i numeri Euleriani, indicati con A(n,k) = ]{σ ∈ Sn;d(σ) = k}, dove d(σ) indica il numero di discese di una permutazione. Descriviamo le loro proprietà e simmetrie e vediamo che sono i coefficienti di particolari polinomi, detti Polinomi Euleriani. Infine, attraverso la nozione di eccedenza di una permutazione e la descrizione della mappa di Foata arriviamo a dimostrare un importante risultato: A(n,k) conta anche il numero di permutazioni di Sn con k eccedenze.