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.

O duplo sentido no forró: estudos semântico-estilísticos

Esta dissertação consiste em uma análise semântico-estilística de dez letras de música da variedade de forró conhecida como forró de duplo sentido ou forró safado. Investiga-se o que é o forró safado, como se desenvolveu no contexto do forró, desde sua origem até os dias atuais, caracterizando-se pelo emprego de recursos linguísticos, com a finalidade de promover a obscenidade e o humor por meio da ambiguidade. Observa-se os processos pelos quais os ouvintes participam da construção do sentido desses textos, preenchendo as lacunas deixadas pelo(s) autor(es) com a compreensão do conteúdo sexual implícito. O sentido obsceno, nessas canções, decorre da exploração das semelhanças e coincidências possíveis na constituição fônica de palavras ou expressões, assim como do emprego de signos verbais cujas latências de sentido permitem a atualização da conotação maliciosa. Destacam-se, no forró de duplo sentido, articulando-se em uma recriação da linguagem que visa à produção da ambiguidade, os seguintes fenômenos: polissemia, homofonia, sinonímia e metáfora, dos quais decorrem engenhosos e irreverentes efeitos de sentido

Colocação de pronomes oblíquos átonos: normas e uso

Dentre os muitos capítulos da gramática normativa, a colocação dos pronomes oblíquos átonos é um dos que mais apresenta diferenças entre o português do Brasil e o de Portugal. Neste trabalho, procuramos demonstrar que as regras poderiam ser simplificadas ou até mesmo reduzidas, com base no estudo de um corpus organizado a partir de textos formais, presentes em um dos principais veículos da mídia impressa brasileira, onde predomina a variedade padrão culta do idioma

Studio e caratterizzazione del colore rosso dell'epicarpo nella pera Max Red Bartlett, mutante della cv William

Durante il secolo scorso sono state individuate alcune mutazioni per il colore della buccia della varietà William che invece di essere giallo arriva a maturazione con diverse tonalità di colore rosso. L’intensità e la tipologia del fenotipo dovuto a questa mutazione mostra una variabilità all’interno dei diversi cloni rossi di questa cultivar: Max Red Bartlett, Rosired e Sensation. Questa mutazione è ereditabile e usando come genitore uno dei sopra-citati mutanti per il rosso sono state prodotte altre cultivar caratterizzate da buccia rossa come Cascade. Max Red Bartlett presenta una intensa colorazione rossa nelle prime fasi di maturazione per poi striarsi perdendo di lucentezza e non ricoprendo totalmente la superficie del frutto. Max Red Bartlett ha inoltre il problema di regressione del colore. Questa mutazione infatti non è stabile e dopo qualche anno può regredire e presentare il fenotipo di William. Diverso è invece lo sviluppo per esempio di Rosired che durante le prime fasi di accrescimento del frutto è identica a Williams (di colore verde con la parte del frutto rivolta verso il sole leggermente rossastra) per poi virare e mantenere un vivo colore rosso su tutta la superficie del frutto. Questa tesi si è proposta di caratterizzare questa mutazione che coinvolge in qualche modo la via biosintetica per la sintesi del colore. In particolare si è cercato di investigare sui probabili geni della via degli antociani coinvolti e in quale modo vengono espressi durante la maturazione del frutto, inoltre si è cercato di trovare quali specifiche molecole venissero diversamente sintetizzate. Le cultivar utilizzate sono state William e Max Red Bartlett. Di quest’ultima era già disponibile una mappa molecolare, ottenuta sulla popolazione di’incrocio di Abate Fetel (gialla) x MRB (rossa) con AFLP e SSR, quest’ultimi hanno permesso di denominare i diversi linkage group grazie alla sintenia con le altre mappe di pero e di melo. I semenzali appartenenti a questa popolazione, oltre a dimostrare l’ereditarietà del carattere, erano per il 50% gialli e 50% rossi. Questo ha permesso il mappaggio di questo carattere/mutazione che si è posizionato nel linkage group 4. Una ricerca in banca dati eseguita in parallelo ha permesso di trovare sequenze di melo dei geni coinvolti nella via biosintetica degli antociani (CHS, CHI, F3H, DFR, ANS e UFGT), sulle quali è stato possibile disegnare primer degenerati che amplificassero su DNA genomico di pero. Le amplificazioni hanno dato frammenti di lunghezza diversa. Infatti nel caso di F3H e DFR l’altissima omologia tra melo e pero ha permesso l’amplificazione quasi totale del gene, negli altri casi invece è stato necessario utilizzare primer sempre più vicini in modo da facilitare l’amplificazione. I frammenti ottenuti sono stati clonati sequenziati per confermare la specificità degli amplificati. Non sono stati evidenziati polimorfismi di sequenza in nessuna delle sei sequenze tra William e Max Red Bartlett e nessun polimorfismo con Abate, per questo motivo non è stato possibile mapparli e vedere se qualcuno di questi geni era localizzato nella medesima posizione in cui era stato mappato il “colore/mutazione”. Sulle le sequenze ottenute è stato possibile disegnare altri primer, questa volta specifici, sia per analisi d’espressione. Inizialmente è stato sintetizzato il cDNA dei geni suddetti per retrotrascrizione da RNA estratto sia da bucce sia da foglie appena germogliate (le quali presentano solo in questa fase una colorazione rossastra in MRB ma non in William). Al fine di osservare come varia l’espressione dei geni della via biosintetica delle antocianine durante la fase di maturazione dei frutti, sono stati fatti 4 campionamenti, il primo a 45gg dalla piena fioritura, poi a 60, 90, 120 giorni. Foglie e bucce sono state prelevate in campo e poste immediatamente in azoto liquido. Dai risultati con Real Time è emerso che vi è una maggiore espressione nelle prime fasi di sviluppo in Max Red Bartlett per poi calare enormemente in giugno. Si potrebbe ipotizzare che ci sia una reazione di feed back da parte della piante considerando che in questa fase il frutto non si accresce. I livelli di espressione poi aumentano verso la fase finale della maturazione del frutto. In agosto, con l’ultimo campionamento vi è una espressione assai maggiore in Max Red Bartlett per quei geni posti a valle della via biosintetica per la sintesi delle antocianine. Questo risultato è confermato anche dal livello di espressione che si riscontra nelle foglie. In cui i geni F3H, LDOX e UFGT hanno un livello di espressione nettamente maggiore in Max Red Bartlett rispetto a William. Recentemente Takos et al (2006) hanno pubblicato uno studio su un gene regolatore della famiglia Myb e ciò ha permesso di ampliare i nostri studi anche su questo gene. L’altissima omologia di sequenza, anche a livello di introni, non ha permesso di individuare polimorfismi tra le varietà Abate Fetel e Max Red Bartlett, per nessun gene ad eccezione proprio del gene regolatore Myb. I risultati ottenuti in questa tesi dimostrano che in pero l’espressione relativa del gene Myb codificante per una proteina regolatrice mostra una netta sovra-espressione nel primo stadio di maturazione del frutto, in Max Red Bartlett 25 volte maggiore che in William. All’interno della sequenza del gene un polimorfismo prodotto da un microsatellite ha permesso il mappaggio del gene nel linkage group 9 in Max Red Bartlett e in Abate Fetel. Confrontando questo dato di mappa con quello del carattere morfologico rosso, mappato nel linkage group 4, si deduce che la mutazione non agisce direttamente sulla sequenza di questo gene regolatore, benché sia espresso maggiormente in Max Red Bartlett rispetto a William ma agisca in un altro modo ancora da scoprire. Infine per entrambe le varietà (William e Max Red Bartlett) sono state effettuate analisi fenotipiche in diversi step. Innanzi tutto si è proceduto con una analisi preliminare in HPLC per osservare se vi fossero differenze nella produzione di composti con assorbenza specifica delle antocianine e dei flavonoidi in generale. Si è potuto quindi osservare la presenza di due picchi in Max Red Bartlett ma non in William. La mancanza di standard che coincidessero con i picchi rilevati dallo spettro non ha permesso in questa fase di fare alcuna ipotesi riguardo alla loro natura. Partendo da questo risultato l’investigazione è proceduta attraverso analisi di spettrometria di massa associate ad una cromatografia liquida identificando con una certa precisione due composti: la cianidina-3-0-glucoside e la quercitina-3-o-glucoside. In particolare la cianidina sembra essere la molecola responsabile della colorazione della buccia nei frutti di pero. Successive analisi sono state fatte sempre con lo spettrometro di massa ma collegato ad un gas cromatografo per verificare se vi fossero delle differenze anche nella produzione di zuccheri e più in generale di molecole volatili. L’assenza di variazioni significative ha dimostrato che la mutazione coinvolge solo il colore della buccia e non le caratteristiche gustative e organolettiche di William che restano inalterate nel mutante.

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.

Contributo della modellistica idrologica all'analisi di suscettività alle frane superficiali in argilla

L'Appenino Emiliano è tra le zone più franose al mondo; i fenomeni che la interessano sono abbastanza lenti e quindi mai catastrofici, ma, vista la loro diffusione, molto dannosi per le infrastrutture. La ricerca della pericolosità associata alle frane si distingue in previsione spaziale e previsione temporale; la prima, detta anche suscettività, è il tema del presente lavoro. La suscettività è volta alla realizzazione di carte di propensione al dissesto, relative e indipendenti dal tempo. Dall'inizio degli anni '90 sono disponibili in letteratura diversi modelli per rispondere a questa esigenza, i quali sono generalmente costituiti da una componente geo-meccanica (di solito il modello del Pendio Infinito) e una idrologica. Il presente lavoro si concentra su quest'ultima che, nei diversi modelli, presenta la maggiore varietà, e cerca di capire quale sia il contributo che questa componente può dare all'analisi di suscettività in un'area argillosa. Per valutare questo contributo, sono stati applicati ad un'area di studio rappresentativa, diversi modelli fisicamente basati noti in letteratura o creati appositamente. Le informazioni dinamiche dei modelli transitori sono state integrate nel tempo secondo diversi metodi che tengono conto della permanenza delle condizioni critiche nel versante. I risultati dell'analisi suggeriscono che, nell'area di studio, e presumibilmente nelle aree a prevalenza argillosa in genere, per la determinazione della suscettività alle frane, il contributo di un modello fisicamente basato, completo di componente geo-meccanica e componente idrologica accoppiate, è assolutamente trascurabile rispetto ad un semplice modello geo-meccanico basato sulla sola pendenza come quello del Pendio Infinito. Le indicazioni provenienti da un modello completo possono essere ridondanti o addirittura fuorvianti se questo non è adatto alle caratteristiche dell'area in studio e ben calibrato.

Le traduzioni italiane d'autore di Madame Bovary di Flaubert

Confrontarsi con lo stile di un autore e riuscire a trasferirlo con tutte le sue sfumature in un’altra lingua rappresenta da sempre per il traduttore una sfida di non poco conto, soprattutto se le peculiarità stilistiche da riprodurre sono quelle di un autore come Flaubert. È nell’incredibile universo racchiuso negli studi e nelle ricerche relative alla traduzione, nel quale, timidamente, ci proponiamo di inoltrarci, attraverso uno dei capolavori della letteratura mondiale, Madame Bovary, e in particolare attraverso un’indagine critica di alcune traduzioni italiane realizzate da scrittori in proprio: Diego Valeri (1936), Oreste del Buono (1965), Natalia Ginzburg (1983) e Maria Luisa Spaziani (1997). Focalizzeremo la nostra attenzione innanzitutto sulla traduzione d’autore, nella quale, più che in ogni altra tipologia di atto traspositivo, si intersecano fedeltà e tradimento, creatività e interventismo, letteralità e rielaborazione. Proseguiremo con un’ampia e articolata analisi del testo di partenza, in cui verranno messe in luce le principali peculiarità del romanzo e dello stile autoriale. Entrando poi nella specificità delle diverse traduzioni, procederemo a un esame comparativo della resa di alcuni tratti caratteristici del romanzo da parte dei vari traduttori, in particolare circa le metafore e le similitudini; la terminologia specialistica, che denota il realismo flaubertiano; i vocaboli appartenenti a diversi livelli linguistici, attinti sia dalle varietà diacroniche sia da quelle sincroniche del francese e infine, alcune configurazioni frastiche particolari del testo, quelle che, anziché improntarsi alla varietas grammaticale, mostrano una monotonia grammaticale voluta, con la funzione di riprodurre a livello sintattico quanto espresso semanticamente. Seguirà l’analisi del contesto socio-letterario in cui si collocano le traduzioni oggetto di studio, articolata in un’indagine comparativa sullo stadio della lingua italiana, sullo statuto della traduzione e sulle attitudini traspositive riguardo a certi elementi del discorso. La determinazione del quadro d’insieme, unitamente agli aspetti estrapolati nel corso della trattazione, consentirà la definizione di ogni sujet traduisant e della sua position traductive circa il significato, le finalità, le forme e i modi del tradurre, nel tentativo di ricondurre le variazioni apportate al testo originale allo stile di ogni singolo scrittore in proprio. A completamento del lavoro inseriremo in appendice la nostra proposta traduttiva degli atti del processo a Madame Bovary.

Nuove frontiere del mercato: la cultura della responsabilità nell’agire economico

La tesi di dottorato focalizza su quei fenomeni nei quali è particolarmente visibile una diffusa propensione all’assunzione di responsabilità nei confronti del significato e delle conseguenze del proprio agire di mercato. La tesi esamina le implicazioni connesse ad una nuova etica del consumo sia dal punto di vista del consumatore sia da quello dell’impresa, in particolare indaga l’atteggiamento di consumatori e produttori rispetto a pratiche di responsabilità sociale di impresa. Nel primo capitolo “Dimensioni di un consumo in evoluzione” le griglie concettuali interpretative del fenomeno del consumo vengono distinte da quelle peculiari del sistema produttivo, arrivando all’individuazione di strumenti che svelano le logiche proprie del fenomeno indagato. In questo scenario la società complessa corrisponde alla società dei consumi e il consumo diventa area esperienziale, capace anche di creare senso, orizzonti valoriali e di assumere valenze interattive e simboliche. Nel secondo capitolo “Il cittadino consumatore” è stato rappresentato il variegato mondo del consumatore, quel cittadino che si esprime politicamente non solo con il voto ma anche attraverso le proprie pratiche di consumo che veicolano scelte, ideali, valori. Sono rappresentati i tanti volti del consumatore “responsabile”, “critico” ed “etico”, attraverso lo studio del commercio equo e solidale, i Gas, la finanza etica, tutti significativi segnali di mutamento con cui governi e imprese sono chiamati a confrontarsi. Vengono prese in esame ricerche nazionali e internazionali per meglio comprendere quanto e con quali modalità sono diffuse, nella popolazione, pratiche di consumo responsabile rispetto a ben identificate pratiche di Rsi. Nel terzo capitolo “La Responsabilità Sociale d’Impresa” si approfondisce il concetto di responsabilità sociale di impresa: sono illustrate le evoluzioni che questa prassi ha subito nel corso della storia, le sue differenti declinazioni attuali, gli elementi che la distinguono, i suoi strumenti. Nel quarto capitolo “La responsabilità sociale di impresa e la grande distribuzione” vengono analizzate le relazioni esistenti tra la grande distribuzione (Coop e Conad) e la Rsi, considerando anche il ruolo della grande distribuzione, nella metropoli, nelle scelte di consumo. Nello specifico si vogliono comprendere le strategie aziendali, la struttura organizzativa, i servizi, i prodotti “etici” distribuiti e la loro relazione con il consumatore. Il quinto capitolo “La ricerca” contiene la ricerca empirica, 60 interviste in profondità somministrate a consumatori di Coop e Conad e a elementi rappresentativi (dirigenti) delle aziende in questione; l’elaborazione dei dati avviene con l’analisi di contenuto attraverso la costruzione di frasi chiave. Le conclusioni finali a cui perveniamo cercano di fare luce sul mondo del consumo e su quello dell’impresa nel momento in cui si confrontano con la responsabilità del proprio agire. Emergono diversi elementi per sostenere che la cultura della responsabilità assume un peso tutt’altro che marginale nelle strategie di azione delle imprese e nell’analisi del comportamento dei consumatori. Il sistema impresa assume la responsabilità come elemento qualificante la propria politica industriale, legandolo alla sostenibilità, alla reputazione, al rapporto fiduciario con il cliente. Analizzando il ruolo dei cittadini consumatori nello spazio di riferimento, nell’impegno e nel tentativo di decidere, attraverso determinati consumi, il modo di vivere il proprio territorio, abbiamo forse compreso qualcosa in più. Si veicola attraverso le scelte di consumo un’idea di vivere la città per cui è imprescindibile la qualità della vita, perseguita anche attraverso l’approvazione o, di converso, il disconoscimento delle imprese e dei rispettivi prodotti. Nell’analisi dell’atteggiamento partecipativo del cittadino verso la propria sfera pubblica possiamo sostenere che la dimensione del consumo tracima di gran lunga il mercato prefigurando un differente modello di società.

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.

Biomeccanica del servizio e del diritto nel tennis: confronto fra atleti di livello di gioco differente

Il tennis è uno sport molto diffuso che negli ultimi trent’anni ha subito molti cambiamenti. Con l’avvento di nuovi materiali più leggeri e maneggevoli la velocità della palla è aumentata notevolmente, rendendo così necessario una modifica a livello tecnico dei colpi fondamentali. Dalla ricerca bibliografica sono emerse interessanti indicazioni su angoli e posizioni corporee ideali da mantenere durante le varie fasi dei colpi, confrontando i giocatori di altissimo livello. Non vi sono invece indicazioni per i maestri di tennis su quali siano i parametri più importanti da allenare a seconda del livello di gioco del proprio atleta. Lo scopo di questa tesi è quello di individuare quali siano le variabili tecniche che influenzano i colpi del diritto e del servizio confrontando atleti di genere differente, giocatori di livello di gioco diverso (esperti, intermedi, principianti) e dopo un anno di attività programmata. Confrontando giocatori adulti di genere diverso, è emerso che le principali differenze sono legate alle variabili di prestazione (velocità della palla e della racchetta) per entrambi i colpi. Questi dati sono simili a quelli riscontrati nel test del lancio della palla, un gesto non influenzato dalla tecnica del colpo. Le differenze tecniche di genere sono poco rilevanti ed attribuibili alla diversa interpretazione dei soggetti. Nel confronto di atleti di vario livello di gioco le variabili di prestazione presentano evidenti differenze, che possono essere messe in relazione con alcune differenze tecniche rilevate nei gesti specifici. Nel servizio i principianti tendono a direzionare l’arto superiore dominante verso la zona bersaglio, abducendo maggiormente la spalla ed avendo il centro della racchetta più a destra rispetto al polso. Inoltre, effettuano un caricamento minore degli arti inferiori, del tronco e del gomito. Per quanto riguarda il diritto si possono evidenziare queste differenze: l’arto superiore è sempre maggiormente esteso per il gruppo dei principianti; il tronco, nei giocatori più abili viene utilizzato in maniera più marcata, durante la fase di caricamento, in movimenti di torsione e di inclinazione laterale. Gli altri due gruppi hanno maggior difficoltà nell’eseguire queste azioni preparatorie, in particolare gli atleti principianti. Dopo un anno di attività programmata sono stati evidenziati miglioramenti prestativi. Anche dal punto di vista tecnico sono state notate delle differenze che possono spiegare il miglioramento della performance nei colpi. Nel servizio l’arto superiore si estende maggiormente per colpire la palla più in alto possibile. Nel diritto sono da sottolineare soprattutto i miglioramenti dei movimenti del tronco in torsione ed in inclinazione laterale. Quindi l’atleta si avvicina progressivamente ad un’esecuzione tecnica corretta. In conclusione, dal punto di vista tecnico non sono state rilevate grosse differenze tra i due generi che possano spiegare le differenze di performance. Perciò questa è legata più ad un fattore di forza che dovrà essere allenata con un programma specifico. Nel confronto fra i vari livelli di gioco e gli effetti di un anno di pratica si possono individuare variabili tecniche che mostrano differenze significative tra i gruppi sperimentali. Gli evoluti utilizzano tutto il corpo per effettuare dei colpi più potenti, utilizzando in maniera tecnicamente più valida gli arti inferiori, il tronco e l’arto superiore. I principianti utilizzano prevalentemente l’arto superiore con contributi meno evidenti degli altri segmenti. Dopo un anno di attività i soggetti esaminati hanno dimostrato di saper utilizzare meglio il tronco e l’arto superiore e ciò può spiegare il miglioramento della performance. Si può ipotizzare che, per il corretto utilizzo degli arti inferiori, sia necessario un tempo più lungo di apprendimento oppure un allenamento più specifico.