Il test di primalità aks

La tesi presenta l'algoritmo AKS, deterministico e polinomiale, scoperto dai matematici Agrawal, Kayal e Saxena nel 2002. Esso si basa su una generalizzazione del Piccolo Teorema di Fermat all'anello dei polinomi a coefficienti in Zp.

Analisi geochimica ed ambientale di sedimenti ed acque del lago di Veovaca (Vares- Bosnia ed Erzegovina)

Il lavoro svolto nella zona di Vareš, in particolare nella zona del lago di Veovača ha investigato diverse matrici ambientali (sedimenti, suoli, acque) per valutare le loro caratteristiche e la loro qualità. Nella zona è stata presente in passato attività estrattiva e di lavorazione dei minerali estratti, da qui la necessità di questo studio esplorativo. Il lavoro svolto si divide in tre fasi: campionamento, svolto in quattro giorni passati in campagna; analisi dei campioni raccolti e interpretazione dei risultati. Sono state campionate acque e sedimenti in punti interni al lago, altri in corrispondenza delle sue sponde e punti lungo la diga. Sul materiale solido sono state svolte analisi di spettrometria di fluorescenza a raggi X, mentre sulle acque sono state applicate tecniche di spettrometria di assorbimento atomico (AAS), spettrometria di emissione al plasma induttivamente accoppiato (ICP-AES) e cromatografia ionica oltre che a misure di parametri chimico-fisici in campo. Sono stati poi valutati i risultati, attraverso il confronto con banche dati di riferimento ed elaborazioni statistiche e grafiche. Si tratta di uno studio preliminare effettuato su un piccolo numero di campioni e perciò solo indicativo e non in grado di fornire risposte definitive sulla condizione ambientale dell'area. Tuttavia queste prime informazioni consentono di delineare un quadro nel quale future indagini potranno approfondire aspetti e problemi critici per la qualità ambientale.

Studio di Flow-Assurance e sensitivity analysis in sistemi di distribuzione di petrolio e gas naturale

Argomento del lavoro è stato lo studio di problemi legati alla Flow-Asurance. In particolare, si focalizza su due aspetti: i) una valutazione comparativa delle diverse equazioni di stato implementate nel simulatore multifase OLGA, per valutare quella che porta a risultati più conservativi; ii) l’analisi della formazione di idrati, all’interno di sistemi caratterizzati dalla presenza di gas ed acqua. Il primo argomento di studio nasce dal fatto che per garantire continuità del flusso è necessario conoscere il comportamento volumetrico del fluido all’interno delle pipelines. Per effettuare tali studi, la Flow-Assurance si basa sulle Equazioni di Stato cubiche. In particolare, sono state confrontate: -L’equazione di Soave-Redlich-Kwong; -L’equazione di Peng-Robinson; -L’equazione di Peng-Robinson modificata da Peneloux. Sono stati analizzati 4 fluidi idrocarburici (2 multifase, un olio e un gas) con diverse composizioni e diverse condizioni di fase. Le variabili considerate sono state pressione, temperatura, densità e viscosità; sono state poi valutate le perdite di carico, parametro fondamentale nello studio del trasporto di un fluido, valutando che l'equazione di Peng-Robinson è quella più adatta per caratterizzare termodinamicamente il fluido durante una fase di design, in quanto fornisce l'andamento più conservativo. Dopo aver accertato la presenza di idrati nei fluidi multifase, l’obiettivo del lavoro è stato analizzare come il sistema rispondesse all’aggiunta di inibitori chimici per uscire dalla regione termodinamica di stabilità dell’idrato. Gli inibitori utilizzati sono stati metanolo e mono-etilen-glicole in soluzione acquosa. L’analisi è stata effettuata confrontando due metodi: -Metodo analitico di Hammerschmidt; -Metodo iterativo con PVTSim. I risultati ottenuti hanno dimostrato che entrambi gli inibitori utilizzati risolvono il problema della formazione di idrato spostando la curva di stabilità al di fuori delle pressioni e temperature che si incontrano nella pipeline. Valutando le quantità da iniettare, il metodo di Hammerschmidt risulta quello più conservativo, indicando portate maggiori rispetto al PVTsim, soprattutto aggiungendo metanolo.

Analisi del moto di particelle in sospensione mediante simulazioni di fluidodinamica computazionale

La mobilitazione di polveri radioattive nel caso di un incidente di perdita di vuoto (LOVA) all’interno di ITER (International Thermonuclear Experimental Reactor), è uno dei problemi di sicurezza che si sono posti durante la costruzione di tale reattore. Le polveri vengono generate dalla continua erosione da parte del plasma del materiale di contenimento. Ciò porta ad un accumulo delle stesse all’interno della camera di vuoto. Nel caso di un incidente LOVA il rilascio di tali polveri in atmosfera rappresenta un rischio per la salute di lavoratori e della popolazione circostante. Per raccogliere dati su tale tipo di incidente è stata costruita presso il laboratorio dell’università di Tor Vergata una piccola facility, STARDUST, in cui sono stati eseguiti vari esperimenti con delle condizioni iniziali simili a quelle presenti all’interno di ITER. Uno di questi esperimenti in particolare simula la rottura della camera di vuoto mediante l’ingresso di aria in STARDUST, inizialmente posto a 100 Pa, con un rateo di pressurizzazione di 300 Pa s−1. All’interno del serbatoio sono presenti delle polveri che, in differente percentuale, vengono portate in sospensione dal flusso di fluido entrante. In particolare le polveri sono composte da tungsteno (W), acciaio inossidabile (SS – 316 ) e carbonio ( C ). Scopo del presente lavoro è quello di riprodurre il campo di velocità che si genera all’interno di STARDUST nel caso dell’esperimento appena descritto e valutare il moto delle particelle portate in sospensione e la loro successiva deposizione. Ciò viene fatto mediante l’utilizzo di una geometria bidimensionale creata con Salome. Su tale geometria sono costruite differenti mesh strutturate in base al tipo di simulazione che si vuole implementare. Quest’ultima viene poi esportata nel solutore utilizzato, Code_Saturne. Le simulazioni eseguite possono essere suddivise in tre categorie principali. Nella prima (Mesh A) si è cercato di riprodurre i risultati numerici presentati dagli autori della parte sperimentale, che hanno utilizzato il software commerciale Fluent. Nella seconda si è riprodotto il campo di velocità interno a STARUDST sulla base dei dati sperimentali in possesso. Infine nell’ultima parte delle simulazioni si è riprodotto il moto delle particelle sospese all’interno del fluido in STARDUST, valutandone la deposizione. Il moto del fluido pressurizzante è stato considerato come compressibile. Il regime di moto è stato considerato turbolento viste le elevate velocità che provocavano elevati valori del numero di Reynolds per l’aria. I modelli con cui si è trattata la turbolenza sono stati di tre tipi. Il campo di velocità ottenuto è stato leggermente differente nei tre casi e si è proceduto ad un confronto per valutare le cause che hanno portato a tali differenze. Il moto delle particelle è stato trattato mediante l’utilizzo del modello di tracciamento lagrangiano delle particelle implementato in Code_Saturne. Differenti simulazioni sono state eseguite per tenere in considerazione i vari modelli di turbolenza adottati. Si è dunque proceduto ad analizzare similitudini e differenze dei risultati ottenuti.

Comunicazioni sicure su canali eterogenei: un'analisi sistematica di SSL da Java a Jolie

All’interno di questa tesi è stata affrontata la tematica della realizzazione di comuni- cazioni sicure, in modo da ottenere l'indipendenza di queste ultime dal canale utilizzato, con l'ausilio di strumenti in grado di fornire supporto per la creazione di applicativi orientati allo scambio di dati e messaggi, quali i linguaggi di programmazione Java e Jolie, il quale è basato sul precedente. Sono state inizialmente analizzate le principali caratteristiche e le problematiche più importanti che è necessario dover risolvere in modo da poter arrivare al risultato desiderato. Successivamente, è stato dato un ampio sguardo ad una delle scienze più applicate per risolvere i problemi tipici che affliggono questo tipo di comunicazioni, la crittografia. Sono stati elencati gli strumenti messi a disposizione ed il loro funzionamento. La crittografia viene poi applicata al protocollo SSL, il quale rappresenta la soluzione maggiormente diffusa, sia sul Web che in altri ambiti, per proteggere le informazioni personali che transitano tra gli end-point di una comunicazione. Sono state elencate le principali caratteristiche, alcuni cenni riguardanti la nascita e lo sviluppo ed è stato descritto il funzionamento di questo protocollo, soprattutto per quanto riguarda la sua fase preliminare, che è una delle parti che lo caratterizzano maggiormente. In seguito, è stata analizzata la soluzione fornita all’interno delle librerie del linguaggio Java per realizzare comunicazioni indipendenti dal mezzo di comunicazione che soddisfino le politiche dettate dal protocollo SSL. Questa soluzione è rappresentata dalla classe SSLEngine, che è quindi stata esaminata, a partire dal ciclo di vita e dall'inizializzazione, fino ad arrivare all'interazione all'interno di un applicazione. Quanto esplorato in precedenza viene poi applicato a Jolie, un linguaggio di programmazione basato sulle comunicazioni e sviluppato in Java, all'interno dell'Università di Bologna. Dopo uno sguardo generale alle sue caratteristiche è stata approfondita la gestione dei protocolli, e di conseguenza, l'introduzione di SSL all'interno di essi, realizzata tramite la classe SSLProtocol. Questa classe contiene ed implementa i concetti analizzati nel capitolo riguardante Java, adattandoli all'architettura ed alla progettazione pensata appositamente per Jolie; è stata quindi effettuata un'analisi del codice e della gestione della classe SSLEngine per realizzare comunicazioni sicure. Infine, per verificare l’effettivo funzionamento, sono stati creati due semplici casi d’uso per poter sfruttare i vantaggi offerti da Jolie, il quale è particolarmente indicato per la creazione di applicazioni orientate ai servizi.

Proposta di traduzione commentata dei racconti per bambini "O Troca-Tintas" e "O Céu Está A Cair" della scrittrice portoghese Luísa Ducla Soares

L’obiettivo del presente elaborato è quello di fornire una proposta di traduzione dei racconti "O Troca-Tintas" e "O Céu Está A Cair" della scrittrice portoghese Luísa Ducla Soares, pubblicati all’interno della raccolta di storie per l’infanzia "Contos para Rir", dalla casa editrice Civilização Editora nel 2004. Nel secondo capitolo sarà illustrata la biografia dell’autrice. Il terzo capitolo sarà dedicato alla raccolta "Contos para Rir" e alla trama dei racconti. Il capitolo 4 conterrà la proposta di traduzione dei racconti "O Troca-Tintas" e "O Céu Está A Cair" in lingua italiana. Nei capitoli successivi sarà presente un approfondito commento alla traduzione, all’interno del quale saranno evidenziati i principali problemi riscontrati durante la traduzione e le strategie traduttive adottate. Saranno quindi illustrate le scelte traduttive di rilievo per la resa italiana, quali ad esempio la traduzione di espressioni idiomatiche, rime, diminutivi ed onomatopee, mettendo in luce le caratteristiche e gli elementi tipici dei racconti per l’infanzia. Dal momento che la raccolta "Contos para Rir" è un libro consigliato dal Plano Nacional de Leitura, l’intero capitolo 7 sarà dedicato all’analisi di questo progetto nei suoi principi fondanti, obiettivi ed iniziative. Infine, gli ultimi capitoli saranno dedicati alle conclusioni e alla bibliografia e sitografia consultate.

Proposta di sottotitolaggio del primo episodio della serie televisiva "Mozart in the Jungle"

Questa tesi è incentrata sul sottotitolaggio di un episodio della serie TV "Mozart in the Jungle". Ho ritenuto che fosse interessante utilizzare questa serie perché offre diversi spunti di riflessione, sia dal punto di vista della traduzione per i sottotitoli sia che dal punto di vista dell'innovazione nell'ambito della produzione e della distribuzione di prodotti audiovisivi. Il lavoro è suddiviso in tre capitoli. Il primo capitolo presenta l’oggetto di studio della tesi, ovvero la serie TV. Alla descrizione della trama generale della prima stagione e di quella specifica del primo episodio (Pilot) viene affiancata un'analisi del fenomeno del crowdsourcing, al quale Amazon, casa produttrice della serie, ha fatto ricorso per creare questa ed altre serie di successo grazie all’aiuto del popolo del web. Nel secondo capitolo viene mostrata una panoramica sulla teoria della traduzione audiovisiva e più specificatamente del sottotitolaggio e dei principali accorgimenti che un sottotitolatore deve adottare. Il terzo e ultimo capitolo, invece, descrive l'applicazione pratica degli elementi individuati nel secondo capitolo, utilizzando esempi tratti dal testo originale e dalla mia traduzione per illustrare le strategie di risoluzione dei problemi traduttivi. Il paragrafo conclusivo include infine brevi considerazioni personali su alcuni aspetti del sottotitolaggio in generale.

Applicazioni mobili a supporto della mobilita elettrica: stato dell'arte e definizione di nuovi servizi per la profilazione dei consumi

Uno dei comparti industriali più importanti nel mondo è senz’altro il settore automobilistico, il quale è oggetto di particolare attenzione da parte dei governi mondiali. Infatti l’automobile è il mezzo sia urbano che extraurbano che è stato perfezionato nel tempo in base alle esigenze dell’uomo, ma bisogna anche evidenziare che in generale il settore dei trasporti è un settore industriale che negli anni non ha portato grandi innovazioni, in quanto presenta ancora la stessa tecnologia di trent’anni fa. Attualmente, grazie alle nuove normative Europee riguardanti la tutela dell’ambiente e le riduzioni di emissioni, si sta passando a nuove forme di alimentazione per ridurre le emissioni di CO2 ed evitare di utilizzare i combustibili fossili. Una valida soluzione è stata attuata attraverso i veicoli completamente elettrici (EV), dato il rendimento energetico nettamente superiore e l’assente emissione di gas inquinanti. Purtroppo gli utenti hanno ancora timore ad utilizzare i veicoli elettrici (EV): ciò avviene soprattutto per mancanza/scarsità di infrastrutture e servizi a supporto degli utenti, provocando nell’utente un’insicurezza che viene più comunemente chiamata “range anxiety” (timore che il EV non abbia autonomia sufficiente per arrivare a destinazione) e generando l’infondata idea che i EV siano utilizzabili solo in città o per i tragitti brevi. In questo documento è proposta un’applicazione la quale sarà in grado di ridurre i problemi relativi a “Driving without anxiety”. In particolare tale applicazione è in grado di rilevare la velocità media e l’accelerazione sul tratto di strada che si sta percorrendo. Attraverso il servizio di Google Direction si richiede la velocità media stimata sul medesimo tratto. L’applicazione confronta il valore reale ed il valore medio stimato, ed in base a quello fornisce una classificazione dello stile di guida dell’utente (es. Aggressivo); fornisce una stima dell’energia consumata sul tratto percorso, inserendo nel calcolo dell’energia un parametro che consente di tener conto dello stile di guida, determinato al passo precedente.

Teorie della gravitazione f(R)

Tra tutti i fenomeni naturali osservabili, ne era presente uno particolarmente interessante e con il quale si aveva diretto contatto quotidianamente: la gravità. Dopo le innumerevoli osservazioni astronomiche effettuate da Galileo, fu Newton nel diciassettesimo secolo a capire che il moto dei pianeti era governato dalle medesime leggi che descrivono la caduta dei gravi sulla Terra e fu quindi lui che ci fornì una prima teoria della gravità con la quale si spiegarono le orbite dei pianeti con ottima precisione. Grazie al contributo di Einstein, la teoria si rinnovò e si arricchì, ma rimase pur sempre lontana dall' essere completa, tant' è che ancora oggi sono presenti molte domande a cui non siamo in grado di rispondere. In questo articolo ci occuperemo di tali quesiti, provando a formulare una teoria che sia in accordo con le attuali evidenze sperimentali. Nella prima parte, tratteremo le ragioni che hanno spinto i ricercatori ad introdurre le nuove teorie della gravità f(R); in particolare vedremo la peculiarità delle curve di rotazione delle galassie e perché ci sia il bisogno di tirare in ballo la materia oscura. Discuteremo anche alcuni problemi derivanti dall' evoluzione cosmica e altre incongruenze riguardanti la stabilità delle stelle di neutroni. In seguito mostreremo come ricavare l' equazione di Einstein partendo dai principi variazionali di Hamilton, e estenderemo tale ragionamento con lo scopo di ottenere un' equazione corrispondente ad una gravità modificata. Infine, verranno introdotte le teorie della gravità f(R), per mezzo delle quali cercheremo di discutere alcune possibili spiegazioni alle problematiche mosse nella parte introduttiva.

Algoritmi quantistici e classi di complessità

Solitamente il concetto di difficoltà è piuttosto soggettivo, ma per un matematico questa parola ha un significato diverso: anche con l’aiuto dei più potenti computer può essere impossibile trovare la soluzione di un sudoku, risolvere l’enigma del commesso viaggiatore o scomporre un numero nei suoi fattori primi; in questo senso le classi di complessità computazionale quantificano il concetto di difficoltà secondo le leggi dell’informatica classica. Una macchina quantistica, però, non segue le leggi classiche e costituisce un nuovo punto di vista in una frontiera della ricerca legata alla risoluzione dei celebri problemi del millennio: gli algoritmi quantistici implementano le proprietà straordinarie e misteriose della teoria dei quanti che, quando applicate lucidamente, danno luogo a risultati sorprendenti.

Tradução e legendagem dum vídeo promocional sobre a Região Centro de Portugal

L'oggetto del presente elaborato è una proposta di traduzione e sottotitolazione in lingua italiana del video “Escolha Portugal – Centro”. Si tratta di un video di promozione turistica della regione Centro del Portogallo, prodotto dall'emittente televisiva portoghese SIC con il sostegno dell'ente nazionale portoghese per il turismo. Nel primo capitolo, si introducono brevemente la traduzione audiovisiva e le sue modalità più diffuse, ovvero la sottotitolazione e il doppiaggio. Il secondo capitolo, dedicato alla sottotitolazione, ne illustra le norme e gli eventuali vantaggi e svantaggi. Nel terzo capitolo, si contestualizza il progetto, soffermandoci sugli obiettivi, il metodo e le tecnologie usate, come il programma per la creazione di sottotitoli “VisualSubSync”. Inoltre si presenta una panoramica del turismo in Portogallo e una descrizione dei luoghi visitati nel video. Il quarto capitolo contiene la trascrizione, la traduzione e i sottotitoli del video, seguiti da un'analisi dei problemi riscontrati nella traduzione e nella sottotitolazione e delle rispettive soluzioni adottate.

Teorema di Cochran e applicazioni

La statistica è un ramo della matematica che studia i metodi per raccogliere, organizzare e analizzare un insieme di dati numerici, la cui variazione è influenzata da cause diverse, con lo scopo sia di descrivere le caratteristiche del fenomeno a cui i dati si riferiscono, sia di dedurre, ove possibile, le leggi generali che lo regolano. La statistica si suddivide in statistica descrittiva o deduttiva e in statistica induttiva o inferenza statistica. Noi ci occuperemo di approfondire la seconda, nella quale si studiano le condizioni per cui le conclusioni dedotte dall'analisi statistica di un campione sono valide in casi più generali. In particolare l'inferenza statistica si pone l'obiettivo di indurre o inferire le proprietà di una popolazione (parametri) sulla base dei dati conosciuti relativi ad un campione. Lo scopo principale di questa tesi è analizzare il Teorema di Cochran e illustrarne le possibili applicazioni nei problemi di stima in un campione Gaussiano. In particolare il Teorema di Cochran riguarda un'importante proprietà delle distribuzioni normali multivariate, che risulta fondamentale nella determinazione di intervalli di fiducia per i parametri incogniti.

Bienvenida realidad Studio preparatorio per la traduzione della serie televisiva

Lo scopo di questa tesi è quello di indagare sul ruolo del traduttore audiovisivo nel processo di traduzione di una serie televisiva messicana, Bienvenida Realidad. Nella prima parte si analizzano genere, personaggi e temi della serie in questione. Nel corpo centrale della tesi si illustrano le esigenze tecniche del sottotitolaggio e del doppiaggio, e si spiega perché è preferibile dedicarsi allo studio del sottotitolaggio. Successivamente si studiano alcuni dei problemi traduttivi più rilevanti legati all'aspetto linguistico e al contesto culturale della lingua di partenza e della lingua d'arrivo. Infine si ipotizza l'inserimento del prodotto nel mercato della Tv italiana, grazie ad una breve analisi dei gusti dei giovani spettatori e all'osservazione del comportamenti che alcuni canali televisivi assumono nei confronti del genere giovanile del teen drama.

Traduzione e autotraduzione nella letteratura contemporanea bulgara: "Krav ot Kartica" di Zdravka Evtimova

L'elaborato finale è basato su una proposta di traduzione dal bulgaro all'italiano del racconto breve "Krăv ot kărtica" di Zdravka Evtimova. Sarà suddivisso in tre sezioni principali: la prima si occuperà brevemente di presentare la scrittrice, con particolare attenzione alla sua attività di traduttrice in diverse lingue europee. Si passerà poi a un excursus sulla letteratura contemporanea bulgara, con particolare attenzione alle cause storiche che, dopo il 1989, hanno portato allo sviluppo di una certa produzione letteraria e alla pubblicazione di autori oggi famosi anche all'estero e che 'esportano' la propria letteratura in Europa e non solo, permettendo di far conoscere questa realtà altrimenti ignota ai più. Infine si parlerà brevemente dello stile personale di Zdravka Evtimova, sia in generale che nel racconto preso in esame. La sezione successiva riguarda l'analisi e la discussione dei problemi incontrati durante il processo di traduzione, suddivisa in un analisi dei problemi di ordine e lessicale, e culturale. L'ultima sezione sarà dedicata a un breve commento sull'auto-traduzione e i caratteri principali del procedimento traduttivo di Zdravka Evtimova rispetto alla versione inglese del racconto, "Blood of a mole". In appendice saranno fruibili la versione originale del brano, la traduzione proposta e il testo in inglese.

Errore e apprendimento: L'italiano insegnato ai bambini non madrelingua in una scuola primaria di Forlì.

Questo elaborato si propone di dare un'idea generale del concetto di interlingua da un punto di vista teorico e pratico. Nel primo capitolo spiegherò il concetto di interlingua, ne ripercorro brevemente la storia e ne illustro le fasi di sviluppo nei bambini. Il secondo capitolo è incentrato sugli effetti che l'idea di interlingua ha sulla didattica mirata a sostenere il bambino nel suo percorso di apprendimento. Il terzo capitolo è dedicato alle rilevazioni fatte nel VII circolo di Forlì.