Dalla geometria con riga e compasso alla geometria con origami

Lo scopo di questo lavoro è mostrare la potenza della teoria di Galois per caratterizzare i numeri complessi costruibili con riga e compasso o con origami e la soluzione di problemi geometrici della Grecia antica, quali la trisezione dell’angolo e la divisione della circonferenza in n parti uguali. Per raggiungere questo obiettivo determiniamo alcune relazioni significative tra l’assiomatica delle costruzioni con riga e compasso e quella delle costruzioni con origami, antica arte giapponese divenuta recentemente oggetto di studi algebrico-geometrici. Mostriamo che tutte le costruzioni possibili con riga e compasso sono realizzabili con il metodo origami, che in più consente di trisecare l’angolo grazie ad una nuova piega, portando ad estensioni algebriche di campi di gradi della forma 2^a3^b. Presentiamo poi i risultati di Gauss sui poligoni costruibili con riga e compasso, legati ai numeri primi di Fermat e una costruzione dell’eptadecagono regolare. Concludiamo combinando la teoria di Galois e il metodo origami per arrivare alla forma generale del numero di lati di un poligono regolare costruibile mediante origami e alla costruzione esplicita dell’ettagono regolare.

Meccanica Sarti: localizzazione, traduzione e lavoro terminologico

Die Idee zu der vorliegenden Masterarbeit entstand nach meinem Praktikum bei dem Bologneser Unternehmen Meccanica Sarti, das im Bereich der metallmechanischen Industrie tätig ist. Ziel meiner Masterarbeit ist die Lokalisierung der Unternehmenswebsite ins Deutsche und die deutsche Übersetzung der Unternehmensbroschüre. Vor beiden Projekten wurde jeweils eine Terminologiearbeit durchgeführt. Die Masterarbeit ist in vier Kapitel untergliedert. Das erste Kapitel ist Meccanica Sarti gewidmet, einem Unternehmen, das sich auf die Fertigung und Bearbeitung feinmechanischer Bauteile für die Industrie spezialisiert hat. Das zweite Kapitel bietet eine theoretische Einführung in die Lokalisierung: Insbesondere werden die wichtigsten mit ihr verknüpften Konzepte (z.B. das Akronym GILT), ihre Geschichte und ihre Entwicklung erläutert. Das Kapitel enthält auch einen Überblick auf die den ÜbersetzerInnen während der Lokalisierung zur Verfügung stehenden elektronischen Hilfsmittel und die Auszeichnungs- bzw. Programmiersprachen, mit denen die Webseiten geschrieben sind. Im dritten Kapitel werden die Fachsprachen und die Terminologiearbeit thematisiert. Die Übersetzung eines Fachtextes ist nur dann möglich, wenn die ÜbersetzerInnen den Wortschatz des betreffenden Fachgebiets, d.h. die Terminologie, kennen. Nach einer Übersicht über die Merkmale der Fachsprachen und der Terminologie wird auf die von Meccanica Sarti benutzte Terminologie eingegangen. Im Rahmen der Masterarbeit wurde zunächst ein Korpus mit den vom Unternehmen zur Verfügung gestellten Dokumenten erstellt und mit dem Programm AntConc wurden die häufigsten keyword und n-gram ermittelt. Im Anschluss daran wurden mit SDL MultiTerm die einschlägigen terminologischen Eintrage erstellt. Das vierte Kapitel beinhaltet die Analyse der Website und der Broschüre und die Auseinandersetzung mit ihren sprachlichen bzw. grafischen Merkmalen. An die Analyse schließt sich eine Überlegung zu SDL Trados, dem benutzen CAT Tool, an. Das Kapitel enthält auch die Lokalisierung der Website und die Übersetzung der Broschüre, die beide ins Deutsche durchgeführt wurden. Abschließend werden die Übersetzungsstrategien, -verfahren, -probleme und -schwierigkeiten anhand der theoretischen Überlegungen am Anfang des Kapitels beschrieben.

Tensorial group field theories

In questa tesi il Gruppo di Rinormalizzazione non-perturbativo (FRG) viene applicato ad una particolare classe di modelli rilevanti in Gravit`a quantistica, conosciuti come Tensorial Group Field Theories (TGFT). Le TGFT sono teorie di campo quantistiche definite sulla variet`a di un gruppo G. In ogni dimensione esse possono essere espanse in grafici di Feynman duali a com- plessi simpliciali casuali e sono caratterizzate da interazioni che implementano una non-localit`a combinatoriale. Le TGFT aspirano a generare uno spaziotempo in un contesto background independent e precisamente ad ottenere una descrizione con- tinua della sua geometria attraverso meccanismi fisici come le transizioni di fase. Tra i metodi che meglio affrontano il problema di estrarre le transizioni di fase e un associato limite del continuo, uno dei pi` u efficaci `e il Gruppo di Rinormalizzazione non-perturbativo. In questo elaborato ci concentriamo su TGFT definite sulla variet`a di un gruppo non-compatto (G = R) e studiamo il loro flusso di Rinormalizzazione. Identifichiamo con successo punti fissi del flusso di tipo IR, e una superficie critica che suggerisce la presenza di transizioni di fase in regime Infrarosso. Ci`o spinge ad uno stu- dio per approfondire la comprensione di queste transizioni di fase e della fisica continua che vi `e associata. Affrontiamo inoltre il problema delle divergenze Infrarosse, tramite un processo di regolarizzazione che definisce il limite termodinamico appropriato per le TGFT. Infine, applichiamo i metodi precedentementi sviluppati ad un modello dotato di proiezione sull’insieme dei campi gauge invarianti. L’analisi, simile a quella applicata al modello precedente, conduce nuovamente all’identificazione di punti fissi (sia IR che UV) e di una superficie critica. La presenza di transizioni di fasi `e, dunque, evidente ancora una volta ed `e possibile confrontare il risultato col modello senza proiezione sulla dinamica gauge invariante.

Geometria della visione

La visione è il processo cerebrale mediante il quale l'organismo umano riesce a estrarre informazioni dal dato visivo proveniente dalla retina. Tentare di imitare questo comportamento mediante un elaboratore elettronico, il cosiddetto problema della visione, è una delle maggiori sfide del XXI secolo. In questo contesto lo scopo della tesi è dare una descrizione degli strumenti matematici che permettono di modellizzare la visione stereoscopica ed esporre le condizioni sotto le quali sia possibile effettuare una ricostruzione 3D ambientale a partire da due immagini della stessa scena nell'ipotesi di assenza di errore.

Geometria delle ipersuperfici quadriche dello spazio proiettivo

In questo lavoro vengono analizzate due sottovarietà notevoli di P^5 legate allo studio delle ipersuperfici quadriche: la quadrica di Klein e la superficie di Veronese. La quadrica di Klein è una ipersuperficie di grado 2 di P^5 in corrispondenza biunivoca con l'insieme delle rette di P^3. Riguardando P^5 come lo spazio delle coniche di P^2, la superficie di Veronese corrisponde alle coniche di rango 1, cioè alle rette doppie.

Tangram ed edutainment per l'apprendimento della geometria

Partendo dalle analisi condotte sulla relazione esistente tra il divertimento ed un migliore apprendimento, e sui concetti di Edutainment e Gamification, si è realizzata una applicazione per dispositivi mobili che riproduce in formato digitale il gioco cinese del Tangram al fine di utilizzarlo come strumento di edutainment volto all'apprendimento di alcune nozioni di geometria ed all'allenamento delle abilità legate alla logica. Nello sviluppo di tale applicazione si è fatto riferimento alla metodologia di progettazione delle applicazioni ibride, in modo da semplificare la portabilità cross-platform tra i dispositivi, e si è prestata particolare attenzione alla creazione di un sistema che possa essere inserito come modulo all'interno di una applicazione multi-gioco di più ampio respiro. Per la progettazione si è fatto riferimento al paradigma ad oggetti e ad una gestione delle dinamiche di gioco event-driven.

Applicazioni e implementazioni della computazione quantistica

Questa tesi introduce le basi della teoria della computazione quantistica, partendo da un approccio teorico-matematico al concetto di qubit per arrivare alla schematizzazione di alcuni circuiti per algoritmi quantistici, analizzando la differenza tra le porte logiche classiche e la loro versione quantistica. Segue poi una lista descrittiva di possibili applicazioni dei computer quantistici, divise per categorie, e i loro vantaggi rispetto ai computer classici. Tra le applicazioni rientrano la crittografia quantistica, gli algoritmi di fattorizzazione e del logaritmo discreto di Shor, il teletrasporto di informazione quantistica e molte altre. La parte più corposa della tesi riguarda le possibili implementazioni, ovvero come realizzare praticamente un computer quantistico rendendo entità fisiche i qubit. Di queste implementazioni vengono analizzati i vari aspetti necessari alla computazione quantistica, ovvero la creazione di stati iniziali, la misura di stati finali e le trasformazioni unitarie che rappresentano le porte logiche quantistiche. Infine vengono elencate le varie problematiche del modello preso in considerazione. Infine vengono citati alcuni esperimenti e modelli recenti che potrebbero vedere una realizzazione su scala industriale nei prossimi anni.

Sviluppo dell'interfaccia per il caricamento della geometria iniziale del propellente solido di un modello balistico

Il presente lavoro di tesi, nell’ambito della simulazione balistica di razzi a propellente solido, è volto alla creazione di un’interfaccia che permetta il caricamento delle geometrie dei motori desiderati, in formato SPP, nel codice di simulazione balistica ROBOOST come richiesto da Avio Spa. In particolare saranno descritte le procedure attraverso le quali tale interfaccia è stata realizzata e verranno analizzati i passaggi mediante i quali è possibile ottenere una mesh 3D del motore a propellente solido partendo dalla sua geometria in formato SPP. Si analizzerà inoltre il processo di chiusura di una mesh estratta da una qualsiasi iterazione della simulazione al fine di potervi effettuare delle simulazioni CFD sempre su richiesta della sopracitata azienda. Infine verranno mostrati e discussi i risultati ottenuti per meglio visualizzare il lavoro svolto.

Geometria e topologia delle superfici

Definizioni e enunciati riguardo al gruppo fondamentale, alle azioni di gruppo, ai rivestimenti, alle varietà topologiche, differenziabili e riemanniane, alle isometrie e ai gruppi discreti di isometrie. Approfondimento riguardo alle superfici connesse, compatte e orientabili con classificazione topologica, definizione di curvatura gaussiana con classificazione delle superfici in base al valore della curvatura, teorema di Killing-Hopf, teorema di uniformizzazione, enunciato del teorema che verrà dimostrato: la sfera è l'unica superficie connessa, compatta e orientabile ellittica, il toro è l'unica piatta, le somme connesse di g tori (g>1) sono iperboliche. Descrizione del piano euclideo con relativa metrica, descrizione delle sue isometrie, teorema di Chasles con dimostrazione, dimostrazione del toro come unica superficie connessa, compatta e orientabile piatta. Descrizione della sfera con relativa metrica, descrizione delle sue isometrie, dimostrazione della semplicità di SO(3), dimostrazione della sfera come unica superficie connessa, compatta e orientabile ellittica. Descrizione di due modelli del piano iperbolico, descrizione delle sue isometrie, dimostrazione del fatto che le somme connesse di g tori (g>1) sono iperboliche. Definizione di gruppo Fuchsiano e di spazio di Teichmuller.

La penna 3D e l'insegnamento della geometria: un'esperienza sul campo

In questa tesi si presenta l’attività didattica "Fascinating World of Geometric Forms", la relativa sperimentazione fatta su un campione di 175 studenti al quarto anno di scuola secondaria di secondo grado e i risultati ottenuti. In questo progetto, grazie alla penna 3D, è stato possibile fare matematica costruttiva in classe. Gli studenti hanno potuto disegnare e costruire nello spazio 3D, senza più essere costretti a disegnare in prospettiva sul foglio. La ricerca principalmente tenta di sviluppare l'intuito geometrico, pertanto è facilmente adattabile a studenti di varie età. Si propongono una serie di attività volte a rispondere alla domanda "Come uscire dal piano?" e, a tal proposito, si suggeriscono vari metodi: aggiungere la profondità agli elementi del piano; comporre sviluppi piani di poliedri; ruotare figure geometriche piane limitate attorno a un asse contenuto nel piano della figura; comporre nello spazio sezioni piane di quadriche. Questo progetto di ricerca, sviluppato sotto la supervisione del professor Alberto Parmeggiani del Dipartimento di Matematica di Bologna e in collaborazione con il professor Gianni Brighetti del Dipartimento di Psicologia di Bologna, si pone come obiettivo quello di avvicinare gli studenti allo studio della geometria dello spazio e, soprattutto, di sviluppare in loro la capacità di creare immagini mentali e concetti figurali.

Geometria frattale: analisi della lacunarita cerebrale in MRI

La geometria frattale descrive la complessità strutturale di oggetti che presentano, entro certi limiti, invarianza a fattori di scala. Obiettivo di questa tesi è l’analisi di indici frattali della morfologia cerebrale e cerebellare da immagini di risonanza magnetica (MRI) pesate T1 e della loro correlazione con l’età. A tale scopo sono state analizzate la dimensione frattale (D0) e la lacunarità (λs), indice di eterogeneità strutturale, della sostanza grigia (GM) e bianca (WM), calcolate mediante algoritmi di box counting e di differential gliding box, implementati in linguaggio C++, e regressione lineare con scelta automatica delle scale spaziali. Gli algoritmi sono stati validati su fantocci 3D ed è stato proposto un metodo per compensare la dipendenza di λs dalle dimensioni dell’immagine e dalla frazione di immagine occupata. L’analisi frattale è stata applicata ad immagini T1 a 3T del dataset ICBM (International Consortium for Brain Mapping) composto da 86 soggetti (età 19-85 anni). D0 e λs sono state rispettivamente 2.35±0.02 (media±deviazione standard) e 0.41±0.05 per la GM corticale, 2.34±0.03 e 0.35±0.05 per la WM cerebrale, 2.19±0.05 e 0.17±0.02 per la GM cerebellare, 1.95±0.06 e 0.30±0.04 per la WM cerebellare. Il coefficiente di correlazione lineare tra età e D0 della GM corticale è r=−0.38 (p=0.003); tra età e λs, r=0.72 (p<0.001) (mostrando che l’eterogeneità strutturale aumenta con l’invecchiamento) e tra età e λs compensata rispetto al volume della GM cerebrale (GMV), r=0.51 (p<0.001), superiore in valore assoluto a quello tra età e GMV (r=−0.45, p<0.001). In un modello di regressione lineare multipla, dove l’età è stata modellata da D0, λ e GMV della GM corticale, λs è risultato l’unico predittore significativo (r parziale=0.62, p<0.001). La lacunarità λs è un indice sensibile alle variazioni strutturali dovute all’invecchiamento cerebrale e si candida come biomarcatore nella valutazione della complessità cerebrale nelle malattie neurodegenerative.

Selezione di trasduttori per la misura di portata fluidi nei motori a combustione interna

Si vuole dimostrare la fattibilità di realizzazione di una serie di misuratori di portata fluidi da applicare principalmente per le misure di portata dei fluidi di un motore in prova al banco. Queste portate di interesse riguardano: liquido di raffreddamento, tipicamente acqua a una temperatura prossima ai 100°C, olio lubrificante, tipicamente ad una temperatura di 150°C, aria di aspirazione, BlowBy, aria che filtra dalle fasce elastiche e dalla camera di combustione passa in coppa e quindi presenta goccioline e vapori d'olio, e possibilmente EGR. La prima fase consiste nel valutare ciò che offre il mercato per rendersi conto di quali sono i livelli di prestazione di misura dei sensori commerciali e il loro prezzo. Dunque, oltre alla consultazione di datasheet, segue una richiesta di preventivi ai fornitori di tali prodotti. Conclusa la fasce di analisi di mercato sopra descritta si avvia la fase di design del misuratore. Dopo l'analisi il principio di misura ottimale risulta quello ultrasonico. In particolare è opportuno effettuare una prima distinzione fra misuratori per liquidi e per gas, i quali naturalmente presenteranno differenze geometriche sia per la compatibilità con l'impianto nel quale verranno montati sia per le caratteristiche del fluido di cui interessa la misura. Disegnata a CAD la geometria i due tubi vengono stampati in 3D, dopodichè vengono montati i trasduttori per la generazione e la ricezione degli ultrasuoni. Si effettuano le prove di laboratorio, per liquidi e poi per gas, nel primo caso misurando la portata acqua messa in circolo da una pompa, nel secondo caso misurando la portata aria di un Ducati al banco motori. I dati acquisiti da varie prove vengono poi elaborati tramite Matlab, e si ricavano conclusioni in termini di rumore, accuratezza, ripetibilità ed infine di conferma che è fattibile realizzarli ad un costo contenuto ma che per riuscirci è necessario molto più sviluppo e ottimizzazione.

Caratterizzazione meccanica di un incollaggio acciaio-CFRP per applicazione automotive

Nella tesi viene caratterizzato meccanicamente un giunto incollato acciaio-CFRP usato nella produzione di un componente automotive. In particolare viene analizzata l'influenza data da trattamenti termici di invecchiamento e sono messe a confronto diverse tipologie di adesivi.

Ottimizzazione topologica di componenti per macchina automatica da produrre mediante manifattura additiva

L'azienda IMA S.p.a., leader nel settore delle macchine automatiche per il packging, intende approfondire la conoscenza sui processi di manifattura additiva con l'obiettivo futuro di riuscire a realizzare il 5% di componenti che compongono le macchine della gamma dell'azienda mediante l'utilizzo di queste nuove tecnologie. Il raggiungimento di tale obiettivo comporta un radicale cambio di mentalità rispetto al passato e la creazione di nuove figure professionali e procedure di progettazione dei componenti totalmente nuove ed innovative. In questo contesto, vengono in aiuto i metodi numerici di ottimizzazione topologica. Noti carichi, vincoli, materiali e geometria d'ingombro del particolare, questi metodi vanno a determinare l'ottimale distribuzione del materiale per ottenere un incremento delle prestazioni del componente, andando a collocare il materiale solo in corrispondenza delle zone dove è strettamente necessario. L'ottimizzazione topologica strutturale, ottenimento della massima rigidezza specifica, è stato proprio l'argomento di questo elaborato. E' stato impiegato il software COMSOL Multiphysics 5.2 per implementare il problema di ottimizzazione. Inizialmente abbiamo affrontato problemi semplici, i cui risultati sono reperibili in letteratura. Dopo aver validato la correttezza della nostra implementazione, abbiamo infine esteso il problema a un caso di studio di un componente di una macchina IMA. Il caso di studio riguardava un componente che esegue l'estrazione della fustella piana dal magazzino in cui l'intero pacco fustelle viene riposto dall'operatore. I risultati ottenuti su questo componente sono stati positivi ottenendo un miglioramento della rigidezza specifica di quest'ultimo. L'obiettivo primario dell'elaborato è stato quello di realizzare una panoramica dei metodi di ottimizzazione topologica e riuscire ad applicare questi ad un caso concreto per valutare se tale tipo di progettazione potesse essere adeguato alle esigenze di IMA. L'obiettivo è stato largamente raggiunto.

Processi di appropriazione nello studio della fisica quantistica: analisi di una sperimentazione didattica in una quinta liceo scientifico

In questa tesi sono stati analizzati i dati raccolti nella sperimentazione di un percorso di fisica quantistica in una quinta liceo scientifico – indirizzo musicale, svolta nel periodo Marzo-Giugno 2015. Il percorso, progettato dai ricercatori in Didattica della Fisica del DIFA di Bologna, comprende una parte “genuinamente” quantistica sviluppata a partire dall’“Esperimento più bello della Fisica”. Il percorso è stato progettato sulla base dei criteri che definiscono l’appropriazione, costrutto che esprime un particolare tipo di apprendimento attraverso cui lo studente “fa proprio” un concetto. L’analisi è stata condotta con l’obiettivo di osservare casi di appropriazione tra gli studenti e di rifinire il costrutto di appropriazione, valutando in particolare l’efficacia del questionario sociometrico, uno strumento appositamente progettato dall’autore di questa tesi per valutare una delle dimensioni di cui si compone il costrutto di appropriazione. I principali dati analizzati per dare risposta agli obiettivi della tesi riguardano le risposte degli studenti a interviste realizzate alla fine del percorso scolastico, nonché gli esiti di altre attività appositamente progettate: svolgimento di un compito in classe, elaborazione di un tema scientifico, compilazione di questionari. I risultati mostrano come si siano ritrovati tre punti molto delicati che possono ostacolare l’appropriazione: il tempo a disposizione, le dinamiche di classe e soprattutto il rapporto che hanno avuto gli studenti con i concetti quantistici del percorso. Tali fattori hanno portato reazioni molto diverse: chi è stato stimolato e questo ha favorito l’appropriazione, chi ha compreso la fisica quantistica ma non l’ha accettata, chi l’ha compresa e accettata senza troppi problemi, chi si è rifiutato di studiarla perché “troppo grande per sé”.