Il Cahier des charges nell’ingegneria dell’automazione: una proposta di traduzione dal francese in italiano

L’idea di quest’elaborato finale nasce inseguito all’esperienza di tirocinio (luglio 2013) svolta presso l’azienda KAHLE Automation in qualità di traduttrice. Il testo francese di cui ho proposto la traduzione italiana coinvolge diversi settori: l’ingegneria dell’automazione, l’ingegneria meccanica, la para-farmaceutica e la contrattualistica. Si tratta infatti di un Cahier des charges (capitolato) contenete le norme e le tempistiche da rispettare durante la realizzazione di un progetto. In particolare, l’estratto da me tradotto e analizzato riguarda la descrizione degli alimentatori all’interno della linea di formatura. La ricerca terminologica è stata il filo conduttore del presente elaborato. La specificità del lessico del testo di partenza e la difficoltà nel reperire corrispondenze traduttive hanno dato vita a un attento processo di comprensione e interpretazione del testo. In questo modo, la scarsità di testi paralleli italiani sull’argomento in questione ha fatto sì che indagassi a fondo a livello terminologico, nozionistico e concettuale su questo testo così tecnico. Ho dunque preso consapevolezza dell’importanza effettiva di affiancare alla formazione puramente linguistica del traduttore anche un’adeguata formazione tecnica in base all’ambito di specializzazione. Un’ulteriore constatazione preziosa ai fini della traduzione proposta riguarda l’arricchimento di testi paralleli sul web nel corso dei dieci mesi che hanno separato l’esperienza di tirocinio dall’inizio della redazione di quest’elaborato. Grazie a tali aggiornamenti mi è stato infatti possibile verificare e correggere le proposte traduttive precedentemente avanzate per giungere a un prodotto finale il più vicino possibile alla realtà professionale della KAHLE Automation.

La trasformata di Radon e la sua applicazione nella ricostruzione di immagini

Scopo di questo lavoro è mostrare una soluzione al problema della ricostruzione delle immagini basata sullo strumento matematico della trasformata di Radon. In un primo momento si introdurrà il problema legato ad un particolare ambito, quello medico; ci si focalizzerà, infatti sui principi di funzionamento della TAC (tomografia assiale computerizzata)e si cercherà di chiarire dal punto di vista fisico come la trasformata di Radon del coefficiente di attenuazione del materiale sia utile per visualizzare degli organi o comunque degli oggetti che altrimenti non potrebbero essere visibili, se non rompendo la struttura che li contiene. Dopo aver raccontato un po' di storia della TAC, sarà necessario quindi definire tale trasformata, le sue principali proprietà e trovare una formula per la sua inversione. Si mostrerà che la sola formula d'inversione non potrà essere utilizzata a livello pratico; si ricaverà allora un algoritmo di retroproiezione filtrata, basato sulla trasformata di Radon, applicato per visualizzare delle immagini tramite TAC.

La Controparte Ottica della "Black-Widow" nell'Ammasso Globulare M71

Le Millisecond Pulsar (MSP) sono stelle di neutroni magnetizzate e rapidamente rotanti, prodotte da fenomeni di accrescimento di massa e momento angolare da parte di una stella compagna. Secondo lo scenario canonico di formazione, è atteso che la stella compagna sia una nana bianca di He, privata del suo inviluppo esterno. Tuttavia, in un numero crescente di casi, la compagna della MSP è stata identificata in una stella di piccola massa, non degenere, ancora soggetta a fenomeni di perdita di massa. Queste MSP vengono comunemente chiamate ''Black-Widow'' (BW) e sono l'oggetto di studio di questa tesi. In particolare, l'obiettivo di questo lavoro è l'identificazione della controparte ottica della PSR J1953+1846A nell'ammasso globulare M71. Essa è classificata come BW, data la piccola massa della compagna (~0.032 Msun) e il segnale radio eclissato per circa il 20% dell'orbita. Tramite l'uso di osservazioni ad alta risoluzione con il telescopio spaziale Hubble, abbiamo identificato, in una posizione compatibile con la MSP, un debole oggetto, la cui variabilità mostra una periodicità coerente con quella del sistema binario, noto dalla banda radio. La struttura della curva di luce è indicativa della presenza di fenomeni di irraggiamento della superficie stellare esposta all'emissione della MSP e dalla sua analisi abbiamo stimato alcuni parametri fisici della compagna, come la temperatura superficiale ed il fattore di riempimento del lobo di Roche. Dal confronto tra le curve di luce X ed ottica, abbiamo inoltre trovato evidenze a favore della presenza di shocks nelle regioni intrabinarie. Abbiamo quindi evidenziato l'estrema similarità di questo sistema con l'unica compagna di BW attualmente nota in un ammasso globulare: PSR J1518+0204C. Infine, abbiamo effettuato uno studio preliminare delle controparti ottiche delle sorgenti X dell'ammasso. Abbiamo così identificato due AGN che, insieme ad altre due galassie, hanno permesso la determinazione del moto proprio assoluto delle stelle dell'ammasso.

Taylor formula for Kolmogorov equations

After briefly discuss the natural homogeneous Lie group structure induced by Kolmogorov equations in chapter one, we define an intrinsic version of Taylor polynomials and Holder spaces in chapter two. We also compare our definition with others yet known in literature. In chapter three we prove an analogue of Taylor formula, that is an estimate of the remainder in terms of the homogeneous metric.

Classical and quantum aspects of black hole dynamics

Il contenuto fisico della Relatività Generale è espresso dal Principio di Equivalenza, che sancisce l'equivalenza di geometria e gravitazione. La teoria predice l'esistenza dei buchi neri, i più semplici oggetti macroscopici esistenti in natura: essi sono infatti descritti da pochi parametri, le cui variazioni obbediscono a leggi analoghe a quelle della termodinamica. La termodinamica dei buchi neri è posta su basi solide dalla meccanica quantistica, mediante il fenomeno noto come radiazione di Hawking. Questi risultati gettano una luce su una possibile teoria quantistica della gravitazione, ma ad oggi una simile teoria è ancora lontana. In questa tesi ci proponiamo di studiare i buchi neri nei loro aspetti sia classici che quantistici. I primi due capitoli sono dedicati all'esposizione dei principali risultati raggiunti in ambito teorico: in particolare ci soffermeremo sui singularity theorems, le leggi della meccanica dei buchi neri e la radiazione di Hawking. Il terzo capitolo, che estende la discussione sulle singolarità, espone la teoria dei buchi neri non singolari, pensati come un modello effettivo di rimozione delle singolarità. Infine il quarto capitolo esplora le ulteriori conseguenze della meccanica quantistica sulla dinamica dei buchi neri, mediante l'uso della nozione di entropia di entanglement.

Stochastic local volatility model for fx markets

Questa tesi verte sullo studio di un modello a volatilità stocastica e locale, utilizzato per valutare opzioni esotiche nei mercati dei cambio. La difficoltà nell'implementare un modello di tal tipo risiede nella calibrazione della leverage surface e uno degli scopi principali di questo lavoro è quello di mostrarne la procedura.

Il teorema di Koebe per le funzioni armoniche

Il punto centrale della tesi è stato dimostrare il Teorema di Koebe per le funzioni armoniche. È stato necessario partire da alcuni risultati di integrazione in Rn per ricavare identità e formule di rappresentazione per funzioni di classe C2, introdurre le funzioni armoniche e farne quindi una analisi accurata. Tali funzioni sono state caratterizzate tramite le formule di media e messe in relazione con le funzioni olomorfe, per le quali vale una formula simile di rappresentazione.

Su alcune applicazioni del teorema di Stokes

Nel lavoro si dimostrano il Teorema della Divergenza e il Teorema di Stokes e le sue generalizzazioni a una curva chiusa di ordine k e a una varietà M, n-dimensionale, orientata con bordo. Successivamente si espongono due applicazioni alla fisica: l'elettromagnetismo e la formula del rotore. Nel primo caso si mostra come applicando il Teorema alle leggi di Biot-Savarat e di Faraday si ottengono le equazioni di Maxwell; nel secondo invece si osserva come il rotore rappresenti la densità superficiale di circuitazione.

Il modello di Kaluza: unificazione tra gravità ed elettromagnetismo

Una teoria di unificazione ha il notevole compito di fornire un modello in grado di unificare le forze fondamentali della natura in una sola. Storicamente uno dei primi tentativi è rappresentato dal modello di Kaluza, che propone una formulazione unificata di gravità ed elettromagnetismo. In 4 dimensioni il campo gravitazionale e il campo elettromagnetico sono entità nettamente separate. Tale dualismo può essere superato estendendo la teoria della Relatività Generale ad uno spaziotempo a 5 dimensioni. Se alle consuete 4 si aggiunge una quinta dimensione spaziale, allora si dimostra che la gravità e l’elettromagnetismo possono essere visti come la manifestazione di un unico campo di forza, che è interpretabile in termini della geometria dello spaziotempo a 5 dimensioni. Nonostante i suoi intrinseci limiti, il modello di Kaluza rappresenta comunque un punto di partenza per molte altre teorie di campo unificato più moderne e a più di 5 dimensioni. L'obiettivo è di sviluppare le linee fondamentali del modello di Kaluza. Preliminarmente si riportano i risultati principali dell'elettromagnetismo e della Relatività Generale, dato che il modello si formula a partire da questi. Si stabilisce la condizione di cilindro, secondo cui le quantità fisiche non subiscono variazioni nella quinta dimensione. Si ipotizza un ansatz per il tensore metrico 5D e si scrivono le equazioni di campo unitario e della geodetica, come estensioni a 5 dimensioni di quelle in 4. Si dimostra che il campo unitario in 4 dimensioni si separa nel campo scalare costante, nel campo elettromagnetico e nel campo gravitazionale. Le componenti quadridimensionali della geodetica 5D riconducono a quella 4D e alle leggi del moto 4D in presenza dei campi gravitazionale ed elettromagnetico. Inoltre si interpreta la carica elettrica come la quinta componente della velocità covariante 5D.

The Feynman-Kac formula and applications to PDEs

The thesis presents a probabilistic approach to the theory of semigroups of operators, with particular attention to the Markov and Feller semigroups. The first goal of this work is the proof of the fundamental Feynman-Kac formula, which gives the solution of certain parabolic Cauchy problems, in terms of the expected value of the initial condition computed at the associated stochastic diffusion processes. The second target is the characterization of the principal eigenvalue of the generator of a semigroup with Markov transition probability function and of second order elliptic operators with real coefficients not necessarily self-adjoint. The thesis is divided into three chapters. In the first chapter we study the Brownian motion and some of its main properties, the stochastic processes, the stochastic integral and the Itô formula in order to finally arrive, in the last section, at the proof of the Feynman-Kac formula. The second chapter is devoted to the probabilistic approach to the semigroups theory and it is here that we introduce Markov and Feller semigroups. Special emphasis is given to the Feller semigroup associated with the Brownian motion. The third and last chapter is divided into two sections. In the first one we present the abstract characterization of the principal eigenvalue of the infinitesimal generator of a semigroup of operators acting on continuous functions over a compact metric space. In the second section this approach is used to study the principal eigenvalue of elliptic partial differential operators with real coefficients. At the end, in the appendix, we gather some of the technical results used in the thesis in more details. Appendix A is devoted to the Sion minimax theorem, while in appendix B we prove the Chernoff product formula for not necessarily self-adjoint operators.

Tasso di fuga per perturbazioni aperte di sistemi dinamici caotici

Si dimostra che una classe di trasformazioni espandenti a tratti sull'intervallo unitario soddisfa le ipotesi di un teorema di analisi funzionale contenuto nell'articolo "Rare Events, Escape Rates and Quasistationarity: Some Exact Formulae" di G. Keller e C. Liverani. Si considera un sistema dinamico aperto, con buco di misura epsilon. Se al diminuire di epsilon i buchi costituiscono una famiglia decrescente di sottointervalli di I, e per epsilon che tende a zero essi tendono a un buco formato da un solo punto, allora il teorema precedente consente di dimostrare la differenziabilità del tasso di fuga del sistema aperto, visto come funzione della dimensione del buco. In particolare, si ricava una formula esplicita per l'espansione al prim'ordine del tasso di fuga .

The Importance of Quality LGBT Representation in Popular Television Shows: Orange Is the New Black and Orphan Black

Il seguente elaborato analizza l'importanza di un'adeguata rappresentazione di personaggi appartenenti allo spettro LGBT all'interno di programmi televisivi nordamericani, in particolare Orange Is The New Black e Orphan Black. Lo scopo della tesi è quello di provare l'importanza della rappresentazione nella costruzione dell'identità personale di ognuno, e nella lotta contro le discriminazioni di genere e orientamento sessuale. Le tesi si apre con un excursus teorico sul termine e il concetto di rappresentazione, soprattutto relativo all'ambito della televisione. Successivamente, vengono analizzati i vari tipi di rappresentazione all'interno nei due programmi televisivi presi in esame. La ricerca si conclude con una valutazione degli effetti e delle reazioni del pubblico a entrambi i telefilm e, infine, con alcune considerazioni personali.

Interpretazione per i media: il caso particolare delle interviste sul podio della Formula 1

This dissertation analyses the live simultaneous interpretation from English into Italian of six 2013 Formula 1 World Championship podium interviews and focuses on four main aspects: how the interpreter handled the décalage at the end of the interview and during the turn-taking; if he used any marker to indicate that he was starting to translate a new turn of the source text; what he did when overlapped speech in the source texts occurred; what happened when the Italian commentators talked during the interpreter’s translation. In the first chapter a description mainly of what a Formula 1 podium interview is and what an interpreter translates during the Formula 1 weekends is present. In the second chapter a literature review on media interpreting, with particular attention put on Straniero Sergio’s paper on translating Formula 1 press-conferences (2003), and turn-taking is provided. In the third chapter the methodology used to obtain and process the video and audio files of source and target texts and to transcribe them is described. We concentrated primarily on Thibault’s multimodal text transcription techniques (2000) and on how they were used and adapted to fit the purposes of this dissertation. In the fourth chapter the results obtained through the analysis of the source and target texts are shown and described, focusing only on the objectives of the dissertation, without aiming to provide a qualitative evaluation of the interpretations. In the fifth and last chapter the conclusions and some final remarks are made, based on the results obtained during the analysis and the hope for a more in depth knowledge of Italian Formula 1 interpreter’s working conditions.

Progetto di dizionario interattivo per il pellegrino a Santiago de Compostela (spagnolo-italiano)

Il presente lavoro si concentra sullo svilupo del progetto di un Dizionario interattivo del Pellegrino a Santiago de Compostela. L’idea nasce a fronte dell’esperienza di pellegrinaggio compiuta nell’estate 2014, durante la quale si è potuta toccare con mano la necessità prestare appoggio ai pellegrini attraverso servizi di interpretazione e mediazione. Il Dizionario del Pellegrino ha l’obiettivo di venire in soccorso dei pellegrini che non hanno vicino figure in grado di tradurre, tentando di colmare parzialmente le loro lacune linguistiche attraverso l’elaborazione di un repertorio fraseologico in italiano e in spagnolo che si concentra su un numero limitato di interazioni tipo che potrebbero coinvolgere i pellegrini. Lo strumento cerca di aiutare il suo utente ampliandone le conoscenze specifiche circa gli aspetti pratici relativi al pellegrinaggio a Santiago de Compostela. Il prodotto è strutturato in alberi concettuali nelle due lingue che propongono i termini evidenziando i rapporti fra i diversi concetti. A ogni termine è poi associata una scheda terminologica non convenzionale formata da termine nelle due lingue, immagine, definizione, fraseologia e consigli pratici. L’elaborato segue la creazione del Dizionario: nel primo capitolo si espongono i risultati dello studio della storia e della geografia del Cammino a Santiago; nel secondo si passa all'analisi dell’ambiente linguistico del pellegrinaggio, di cui si evidenziano i tratti relativi al contatto fra parlanti di diverse lingue cercando di studiare gli usi dello spagnolo fra i pellegrini italiani e locali. Nel terzo capitolo tesi si espone la metodologia adottata nello sviluppo del Dizionario mentre nel quarto capitolo si può consultare una versione del prodotto, che è però pensato per essere fruito in formato elettronico e interattivo. Nel quinto capitolo analizziamo brevemente una selezione delle schede terminologiche facenti parte del Dizionario del Pellegrino e riportiamo le risposte date da alcuni pellegrini ai questionari di valutazione che avevamo sottoposto loro.

Morfometria della Grotta dell'Orso (Ponte di Veja, Monti Lessini) mediante laserscanner

Un rilievo laserscanner della Grotta dell'Orso, vicino al Ponte di Veja (Monti Lessini) ha consentito di descrivere in dettaglio questo sistema carsico e trarre alcune conclusioni dal punto di vista morfometrico e speleogenetico.