L'aspetto geometrico delle identità algebriche: un esperimento nell'insegnamento della matematica

Un esperimento nell'insegnamento della matematica condotto attraverso l'aspetto geometrico delle identità algebriche.

Presentazione di varietà tridimensionali tramite poliedri

Lo scopo della tesi è dimostrare un teorema che offre una condizione necessaria e sufficiente affinché un poliedro con facce identificate risulti una varietà tridimensionale. Nel primo capitolo si descrive una possibile metodologia di studio e presentazione delle superfici al fine di fare un confronto con le 3-varietà. Nel secondo capitolo, prima di studiare il teorema principale, si descrivono nozioni di topologia algebrica utili nella sua dimostrazione: la coomologia e la dualità di Poincaré. Infine il terzo capitolo è dedicato alla descrizione di due esempi di 3-varietà e ad un controesempio al teorema in dimensione 5.

C'era una volta il doppiaggio - Analisi del doppiaggio della varietà diacronica nella versione spagnola del primo episodio della serie tv Once Upon A Time

L’argomento principale di questa tesi è il doppiaggio. Nel primo capitolo ci inoltriamo nel mondo della traduzione audiovisiva, concentrandoci sulla storia del doppiaggio e sui processi che servono per portare le opere in paesi dove non si parla la lingua originale dei film e delle serie tv. Il secondo capitolo introduce la serie tv americana targata ABC Once Upon A Time. Vengono presentati trama, personaggi, temi e alcuni dati sulla distribuzione della serie in Italia e in Spagna. Il terzo capitolo invece, ci porta nel pieno dell’analisi del doppiaggio in italiano e in spagnolo del primo episodio della serie attraverso la comparazione con l’originale inglese e lo studio della varietà diacronica attraverso le formule di cortesia, il lessico, la fraseologia, i sintagmi verbali e la morfologia. In conclusione, il nostro scopo è quello di dimostrare che la scelta traduttiva adottata dalla Spagna è diversa da quella italiana, quest’ultima più simile all’originale inglese.

Classificazione delle curve ellittiche viste come curve algebriche piane

Nel presente lavoro è affrontato lo studio delle curve ellittiche viste come curve algebriche piane, più precisamente come cubiche lisce nel piano proiettivo complesso. Dopo aver introdotto nella prima parte le nozioni di Superfici compatte e orientabili e curve algebriche, tramite il teorema di classificazione delle Superfici compatte, se ne fornisce una preliminare classificazione basata sul genere della superficie e della curva, rispettivamente. Da qui, segue la definizione di curve ellittiche e uno studio più dettagliato delle loro pricipali proprietà, quali la possibilità di definirle tramite un'equazione affine nota come equazione di Weierstrass e la loro struttura intrinseca di gruppo abeliano. Si fornisce quindi un'ulteriore classificazione delle cubiche lisce, totalmente differente da quella precedente, che si basa invece sul modulo della cubica, invariante per trasformazioni proiettive. Infine, si considera un aspetto computazionale delle curve ellittiche, ovvero la loro applicazione nel campo della Crittografia. Grazie alla struttura che esse assumono sui campi finiti, sotto opportune ipotesi, i crittosistemi a chiave pubblica basati sul problema del logaritmo discreto definiti sulle curve ellittiche, a parità di sicurezza rispetto ai crittosistemi classici, permettono l'utilizzo di chiavi più corte, e quindi meno costose computazionalmente. Si forniscono quindi le definizioni di problema del logaritmo discreto classico e sulle curve ellittiche, ed alcuni esempi di algoritmi crittografici classici definiti su quest'ultime.

Shape-based compliance control for snake robots

I serpenti robot sono una classe di meccanismi iper-ridondanti che appartiene alla robotica modulare. Grazie alla loro forma snella ed allungata e all'alto grado di ridondanza possono muoversi in ambienti complessi con elevata agilità. L'abilità di spostarsi, manipolare e adattarsi efficientemente ad una grande varietà di terreni li rende ideali per diverse applicazioni, come ad esempio attività di ricerca e soccorso, ispezione o ricognizione. I robot serpenti si muovono nello spazio modificando la propria forma, senza necessità di ulteriori dispositivi quali ruote od arti. Tali deformazioni, che consistono in movimenti ondulatori ciclici che generano uno spostamento dell'intero meccanismo, vengono definiti andature. La maggior parte di esse sono ispirate al mondo naturale, come lo strisciamento, il movimento laterale o il movimento a concertina, mentre altre sono create per applicazioni specifiche, come il rotolamento o l'arrampicamento. Un serpente robot con molti gradi di libertà deve essere capace di coordinare i propri giunti e reagire ad ostacoli in tempo reale per riuscire a muoversi efficacemente in ambienti complessi o non strutturati. Inoltre, aumentare la semplicità e ridurre il numero di controllori necessari alla locomozione alleggerise una struttura di controllo che potrebbe richiedere complessità per ulteriori attività specifiche. L'obiettivo di questa tesi è ottenere un comportamento autonomo cedevole che si adatti alla conformazione dell'ambiente in cui il robot si sta spostando, accrescendo le capacità di locomozione del serpente robot. Sfruttando la cedevolezza intrinseca del serpente robot utilizzato in questo lavoro, il SEA Snake, e utilizzando un controllo che combina cedevolezza attiva ad una struttura di coordinazione che ammette una decentralizzazione variabile del robot, si dimostra come tre andature possano essere modificate per ottenere una locomozione efficiente in ambienti complessi non noti a priori o non modellabili.

Superfici rigate

Intuitivamente una superficie S è rigata se è un'unione di rette o, equivalentemente, se per ogni punto di essa passa una retta che giace interamente sulla superficie. La superficie si dice doppiamente rigata se per ogni suo punto passano due rette della superficie. Gli esempi più comuni e facili da visualizzare sono i piani, i coni e i cilindri. Scopo di questo elaborato è lo studio delle superfici rigate dello spazio affine reale tridimensionale e delle loro proprietà geometriche locali e globali, con particolare attenzione allo studio delle superfici sviluppabili e delle quadriche rigate. Si considereranno poi le rigate nello spazio proiettivo tridimensionale complesso per arrivare ad un risultato classico sulle superfici algebriche rigate luogo delle rette che si appoggiano a tre curve dello spazio. Nonostante le rigate siano tra le superfici più semplici, il loro studio può essere effettuato da diversi punti di vista: quello della geometria analitica elementare, della geometria differenziale e della geometria proiettiva. La proprietà di una superficie di essere rigata o doppiamente rigata si conserva per trasformazioni affini e per trasformazioni proiettive, e questo le ha rese largamente utilizzate in architettura, come mostra l’ampia letteratura al riguardo.

Esempi di calcolo della funzione zeta di Hasse-Weil

Si danno la definizione formale e alcune proprietà elementari della funzione zeta di Hasse-Weil. Si forniscono poi alcuni esempi di calcolo della stessa, in particolare si esaurisce il caso delle coniche affini.

Artificial Surfing Reefs per la difesa e riqualificazione della costa: ipotesi progettuale a Cattolica (RN)

Un artificial surfing reef (di seguito ASR) è un’importante opera che ha come obiettivo principe la riproduzione di onde e correnti ideali per eseguire il surf. Com’è noto, questo spettacolare sport si basa sul processo di frangimento delle onde che si propagano a riva. Ciò nonostante gli ASR possono servire come opere di difesa dall’erosione della spiaggia essendo in grado di smorzare sulla loro cresta l’energia ondosa. In questo lavoro di tesi si andrà ad analizzare quali parametri sono necessari per rendere uno paraggio fruibile dai surfers assieme ad una disamina degli effetti che un ASR può ingenerare sull’idrodinamica della costa, oltre a definire compiutamente i criteri di progettazione di un reef artificiale, basandoci su studi pregressi di progettisti e su evidenze sperimentali condotte su modelli fisici. Applicheremo tali criteri progettuali ad un caso pratico sulle coste emiliano - romagnole, nella provincia di Rimini laddove il fiume Conca sfocia in Adriatico. Ci baseremo su una progettazione di massima dell’ASR ed infine, anche sulla base di una sommaria analisi dei costi, valuteremo quale alternativa meglio si addica allo stato della costa e del litorale della regione.

Sincronizzazione e condivisione di file system tra sistemi operativi

La necessità di sincronizzare i propri dati si presenta in una moltitudine di situazioni, infatti il numero di dispositivi informatici a nostra disposizione è in continua crescita e, all' aumentare del loro numero, cresce l' esigenza di mantenere aggiornate le multiple copie dei dati in essi memorizzati. Vi sono diversi fattori che complicano tale situazione, tra questi la varietà sempre maggiore dei sistemi operativi utilizzati nei diversi dispositivi, si parla di Microsoft Windows, delle tante distribuzioni Linux, di Mac OS X, di Solaris o di altri sistemi operativi UNIX, senza contare i sistemi operativi più orientati al settore mobile come Android. Ogni sistema operativo ha inoltre un modo particolare di gestire i dati, si pensi alla differente gestione dei permessi dei file o alla sensibilità alle maiuscole. Bisogna anche considerare che se gli aggiornamenti dei dati avvenissero soltanto su di uno di questi dispositivi sarebbe richiesta una semplice copia dei dati aggiornati sugli altri dispositivi, ma che non è sempre possibile utilizzare tale approccio. Infatti i dati vengono spesso aggiornati in maniera indipendente in più di un dispositivo, magari nello stesso momento, è pertanto necessario che le applicazioni che si occupano di sincronizzare tali dati riconoscano le situazioni di conflitto, nelle quali gli stessi dati sono stati aggiornati in più di una copia ed in maniera differente, e permettano di risolverle, uniformando lo stato delle repliche. Considerando l' importanza e il valore che possono avere i dati, sia a livello lavorativo che personale, è necessario che tali applicazioni possano garantirne la sicurezza, evitando in ogni caso un loro danneggiamento, perchè sempre più spesso il valore di un dispositivo dipende più dai dati in esso contenuti che dal costo dello hardware. In questa tesi verranno illustrate alcune idee alternative su come possa aver luogo la condivisione e la sincronizzazione di dati tra sistemi operativi diversi, sia nel caso in cui siano installati nello stesso dispositivo che tra dispositivi differenti. La prima parte della tesi descriverà nel dettaglio l' applicativo Unison. Tale applicazione, consente di mantenere sincronizzate tra di loro repliche dei dati, memorizzate in diversi dispositivi che possono anche eseguire sistemi operativi differenti. Unison funziona a livello utente, analizzando separatamente lo stato delle repliche al momento dell' esecuzione, senza cioè mantenere traccia delle operazioni che sono state effettuate sui dati per modificarli dal loro stato precedente a quello attuale. Unison permette la sincronizzazione anche quando i dati siano stati modificati in maniera indipendente su più di un dispositivo, occupandosi di risolvere gli eventuali conflitti che possono verificarsi rispettando la volontà dell' utente. Verranno messe in evidenza le strategie utilizzate dai suoi ideatori per garantire la sicurezza dei dati ad esso affidati e come queste abbiano effetto nelle più diverse condizioni. Verrà poi fornita un' analisi dettagiata di come possa essere utilizzata l' applicazione, fornendo una descrizione accurata delle funzionalità e vari esempi per renderne più chiaro il funzionamento. Nella seconda parte della tesi si descriverà invece come condividere file system tra sistemi operativi diversi all' interno della stessa macchina, si tratta di un approccio diametralmente opposto al precedente, in cui al posto di avere una singola copia dei dati, si manteneva una replica per ogni dispositivo coinvolto. Concentrando l' attenzione sui sistemi operativi Linux e Microsoft Windows verranno descritti approfonditamente gli strumenti utilizzati e illustrate le caratteristiche tecniche sottostanti.

Modellazione della famiglia di linguaggi SOS

Indagine sulla varietà sintattica presente all'interno dei formalismi di specifica della semantica operazionale strutturale (SOS) di linguaggi di programmazione e calcolo di processi. Rassegna di tool di implementazione con attenzione al grado di copertura linguistica.

L'Aquila 2010 : valle Pretara : Riqualificazione del quartiere Eritrea

Il sisma del 6 aprile ha palesato delle criticità già presenti nel territorio aquilano. Dopo l'emergenza ci si chiede quindi quale debba essere il futuro della città. Quello che risulta più evidente è sicuramente la scomparsa di un'interdipendenza tra città e territorio circostante che era invece alla base della nascita stessa del nucleo storico. Questo era infatti concepito inizialmente come una serie di entità eterogenee separate, 99 rioni che avrebbero ospitato la popolazione di altrettanti villaggi e castelli, ed arriva nel corso dei secoli ad inglobare un territorio molto più ampio di centri minori che si riconoscono nel capoluogo. Anche con la successiva crescita non si è mai sentita la necessità di provvedere ad uno sviluppo organizzato attraverso la realizzazione di servizi, ma si è sempre cercato di mantenere il centro storico come unico contenitore, non solo per la città ma per l'intero territorio. Così lo sviluppo fuori le mura è avvenuto soprattutto per mano privata generando una periferia caotica e disorganizzata come risposta alla domanda di alloggi, a cui non è mai stato dato l'onere, se non in fase progettuale, di sopperire alle necessità urbane di servizi e infrastrutture e soprattutto ad una totale mancanza di pianificazione di sviluppo futuro. Con la completa distruzione del centro storico è scomparso il cuore pulsante del territorio aquilano, a cui è subito seguito anche lo spegnimento della periferia, che gravitava e si appoggiava su di esso per la sua sopravvivenza. A questo punto la scelta di agire sulla prima periferia, in una zona di cerniera con il centro storico, diventa una scelta fondamentale, poiché questa diventa una possibilità per dare luogo ad una rinascita non solo della città dentro le mura ma dell'Aquila moderna. Poiché questo sia possibile è chiaro come l'attenzione maggiore debba rivolgersi non solo alla risposta della domanda abitativa, ma anche alla progettazione di spazi per la collettività, servizi a diversa scala e sedi per il piccolo e medio commercio per rendere possibili nuove opportunità sociali ed economiche. In quest'ottica risulta indispensabile mantenere un collegamento, fisico e visivo, con il centro storico, attraverso la riqualificazione della fascia verde a ridosso delle mura e la sua naturale prosecuzione al di là della strada nell'area di progetto. Una delle problematiche principali è stata inoltre la definizione o meno di un confine. La scelta è stata quella di una struttura aperta: una maglia senza un limite preciso ma con una chiara direzionalità che si rifà a quella del centro storico e che risulta la più adatta ad accogliere gli sviluppi futuri della città. Il progetto cerca quindi di interfacciarsi sempre con quelle che sono le preesistenze (come nel caso della Chiesa di S. Maria Mediatrice), per cui si perde una lettura chiusa del quartiere, a favore di un intervento che vuole essere una ricucitura piuttosto che un'imposizione al luogo. Diretta conseguenza è stata quindi la scelta di lavorare sugli spazi aperti, diversificandoli e caratterizzandoli a seconda delle situazioni, intesi come elementi di relazione, generatori di una fluida sequenza di luoghi, in cui l'edificio che vi trova sede non può essere scisso dal contesto circostante, ma ne diventa elemento complementare. Lo spazio assume così diverse declinazioni nel passaggio dal pubblico al privato, privo di cesure nette, alla ricerca di un abitare collettivo senza rinunce alla propria individualità. Alla varietà dei luoghi, si affianca anche la progettazione diversificata degli alloggi, per rispondere alle contemporanee esigenze dell'abitare.

Ri-abitare il margine urbano - Strategie di riqualificazione per il social housing: un edificio residenziale "ACER" come modello di intervento

La tesi individua alcune strategie di rigenerazione urbana e di riqualificazione edilizia, al fine di ottenere una serie di linee guida per l’intervento sul patrimonio di edilizia abitativa situata nelle periferie urbane. Tali principi sono stati poi applicati ad un edificio ACER collocato nella prima periferia di Forlì, per sperimentare l’efficacia delle strategie individuate. Dalla ricerca svolta sulle strategie di intervento volte alla riqualificazione sociale delle periferie, in particolare la teoria del “Defencible space” di Jacobs, si evidenzia l’importanza di accentuare nei residenti il sentimento di territorialità, ovvero la consapevolezza di far parte di una comunità specifica insediata in un particolare spazio, alimentata attraverso la frequentazione e l’appropriazione percettivo-funzionale degli spazi pubblici. Si è deciso quindi di allargare il campo di intervento alla rigenerazione dell’interno comparto, attraverso la riorganizzazione degli spazi verdi e la dotazione di attrezzature sportive e ricreative, in modo da offrire spazi specifici per le diverse utenze (anziani, giovani, bambini) e la definizione di un programma funzionale di servizi ricreativi e spazi destinati a piccolo commercio per integrare le dotazioni carenti dell’area. Dall’analisi approfondita dell’edificio sono emerse le criticità maggiori su cui intervenire: - l’intersezione dei percorsi di accesso all’edificio - la struttura portante rigida, non modificabile - la scarsa varietà tipologica degli alloggi - l’elevato fabbisogno energetico. La riqualificazione dell’edificio ha toccato quindi differenti campi: tecnologico, funzionale, energetico e sociale; il progetto è stato strutturato come una serie di fasi successive di intervento, eventualmente realizzabili in tempi diversi, in modo da consentire il raggiungimento di diversi obiettivi di qualità, in funzione della priorità data alle diverse esigenze. Secondo quest’ottica, il primo grado di intervento, la fase 1 - riqualificazione energetica, si limita all’adeguamento dello stato attuale alle prestazioni energetiche richieste dalla normativa vigente, in assenza di adeguamenti tipologici e spaziali. La fase 2 propone la sostituzione degli impianti di riscaldamento a caldaie autonome presenti attualmente con un impianto centralizzato con pompa di calore, un intervento invasivo che rende necessaria la realizzazione di un “involucro polifunzionale” che avvolge completamente l’edificio. Questo intervento nasce da tre necessità fondamentali : - architettonica: poter ampliare verso l’esterno le superfici degli alloggi, così da intervenire sulle unità abitative rendendole più rispondenti alle necessità odierne; - statica: non dover gravare in ciò sull’edificio esistente apportando ulteriori carichi, difficilmente sopportabili dalla struttura esistente, assicurando il rispetto della normativa antisismica in vigore; - impiantistica/tecnologica: alloggiare i condotti del nuovo impianto centralizzato per il riscaldamento, raffrescamento e acs; La fase 3 è invece incentrata sull’ampliamento dell’offerta abitativa, in modo da rispondere anche a necessità legate ad utenze speciali, come utenti disabili o anziani. L’addizione di nuovi volumi si sviluppa in tre direzioni: - un volume parassita, che aderisce all’edificio nel fronte sud/est, indipendente dal punto di vista strutturale, ruotato per sfruttare al meglio l’orientamento ottimale. - un volume satellite, indipendente, connesso all’edificio esistente tramite un elemento di raccordo, e nel quale sono collocati alcuni alloggi speciali. - un’addizione in copertura, che non appoggia direttamente sul solaio di copertura esistente, ma grava sull’elemento di chiusura del’involucro realizzato nella fase 2 Completano il progetto le addizioni volumetriche a piano terra, destinate a servizi quali un centro diurno, un micronido e un bar, i quali costituiscono la traduzione alla scala dell’edificio delle strategie applicate nel progetto di comparto. Questi interventi hanno consentito di trasformare un edificio costruito negli anni ’80 in un complesso residenziale moderno, dotato spazi accessori di grande qualità, tecnologie moderne che ne garantiscono il comfort abitativo, servizi alla persona disponibili in prossimità dell’edificio.

Mapping class group e complesso delle curve per superfici di Heegaard

In una 3-varietà chiusa è possibile individuare alcune superfici (dette di Heegaard) tali che, tagliando la 3-varietà lungo una di queste, essa si spezza in due corpi con manici che hanno per bordo tale superficie. La tesi propone alcuni recenti risultati circa l'interazione tra la topologia della 3-varietà, il gruppo di automorfismi delle sue superfici di Heegaard e complessi simpliciali costruiti a partire dalle curve su tali superfici.

Criteri e metodi per un museo virtuale di architettura : una proposta per un museo palladiano

Spesso il termine virtuale viene associato ad un mondo immateriale, lontano dalla realtà e distante dagli elementi più concreti che la caratterizzano. La virtualità, tuttavia, non è solo questo. Se considerata, come lo stesso Levy sostiene, un mondo che non si contrappone al reale (ma all’attuale), anzi lo potenzia e lo rafforza, il suo valore e l’idea di essa cambiano notevolmente. Già la fotografia, il cinema, la televisione possono essere considerate, ancora prima della più moderna realtà virtuale e delle innovative tecnologie forme di virtualità. Il loro utilizzo largamente diffuso ha ampliato le potenzialità del concreto ed è oggi apprezzato e utilizzato da tutti. Il nostro progetto nasce dalla volontà di sperimentare le nuove forme del virtuale associandole al campo dell’architettura per potenziarne la conoscenza didattica, la diffusione e trasmettere gli importanti contenuti che le sottendono in maniera chiara ed efficace. Il progetto sviluppato affronta un tema concreto di concept di museo virtuale su web e una proposta di installazione interattiva all’interno del salone di Palazzo Barbaran a Vicenza. A cardine di questi due lavori vi è il lascito Palladiano, a cominciare dallo sprawl di ville, palazzi e chiese diffusi nel paesaggio Veneto, passando per i progetti ideali rimasti solo su carta e concludendo con la sua opera bibliografica più famosa: I quattro libri dell’architettura. Palladio e il digitale è dunque un progetto che vuole dimostrare l’importanza e la versatilità delle installazioni virtuali, quali strumenti utili all’apprendimento e alla trasmissione della conoscenza, e dall’altro rispondere concretamente ai cambiamenti della società, cercando, attraverso queste sperimentazioni, di definire anche i nuovi caratteri dell’ evoluzione museale.