Code synchronization and interference management techniques for satellite navigation and communications

This thesis collects the outcomes of a Ph.D. course in Telecommunications engineering and it is focused on enabling techniques for Spread Spectrum (SS) navigation and communication satellite systems. It provides innovations for both interference management and code synchronization techniques. These two aspects are critical for modern navigation and communication systems and constitute the common denominator of the work. The thesis is organized in two parts: the former deals with interference management. We have proposed a novel technique for the enhancement of the sensitivity level of an advanced interference detection and localization system operating in the Global Navigation Satellite System (GNSS) bands, which allows the identification of interfering signals received with power even lower than the GNSS signals. Moreover, we have introduced an effective cancellation technique for signals transmitted by jammers, exploiting their repetitive characteristics, which strongly reduces the interference level at the receiver. The second part, deals with code synchronization. More in detail, we have designed the code synchronization circuit for a Telemetry, Tracking and Control system operating during the Launch and Early Orbit Phase; the proposed solution allows to cope with the very large frequency uncertainty and dynamics characterizing this scenario, and performs the estimation of the code epoch, of the carrier frequency and of the carrier frequency variation rate. Furthermore, considering a generic pair of circuits performing code acquisition, we have proposed a comprehensive framework for the design and the analysis of the optimal cooperation procedure, which minimizes the time required to accomplish synchronization. The study results particularly interesting since it enables the reduction of the code acquisition time without increasing the computational complexity. Finally, considering a network of collaborating navigation receivers, we have proposed an innovative cooperative code acquisition scheme, which allows exploit the shared code epoch information between neighbor nodes, according to the Peer-to-Peer paradigm.

Enabling Techniques and Algorithms for Integrated Communication and Navigation Satellite Systems

This thesis presents the outcomes of my Ph.D. course in telecommunications engineering. The focus of my research has been on Global Navigation Satellite Systems (GNSS) and in particular on the design of aiding schemes operating both at position and physical level and the evaluation of their feasibility and advantages. Assistance techniques at the position level are considered to enhance receiver availability in challenging scenarios where satellite visibility is limited. Novel positioning techniques relying on peer-to-peer interaction and exchange of information are thus introduced. More specifically two different techniques are proposed: the Pseudorange Sharing Algorithm (PSA), based on the exchange of GNSS data, that allows to obtain coarse positioning where the user has scarce satellite visibility, and the Hybrid approach, which also permits to improve the accuracy of the positioning solution. At the physical level, aiding schemes are investigated to improve the receiver’s ability to synchronize with satellite signals. An innovative code acquisition strategy for dual-band receivers, the Cross-Band Aiding (CBA) technique, is introduced to speed-up initial synchronization by exploiting the exchange of time references between the two bands. In addition vector configurations for code tracking are analyzed and their feedback generation process thoroughly investigated.

Calcolo della posizione di reti di stazioni permanenti

Con il trascorrere del tempo, le reti di stazioni permanenti GNSS (Global Navigation Satellite System) divengono sempre più un valido supporto alle tecniche di rilevamento satellitare. Esse sono al tempo stesso un’efficace materializzazione del sistema di riferimento e un utile ausilio ad applicazioni di rilevamento topografico e di monitoraggio per il controllo di deformazioni. Alle ormai classiche applicazioni statiche in post-processamento, si affiancano le misure in tempo reale sempre più utilizzate e richieste dall’utenza professionale. In tutti i casi risulta molto importante la determinazione di coordinate precise per le stazioni permanenti, al punto che si è deciso di effettuarla tramite differenti ambienti di calcolo. Sono stati confrontati il Bernese, il Gamit (che condividono l’approccio differenziato) e il Gipsy (che utilizza l’approccio indifferenziato). L’uso di tre software ha reso indispensabile l’individuazione di una strategia di calcolo comune in grado di garantire che, i dati ancillari e i parametri fisici adottati, non costituiscano fonte di diversificazione tra le soluzioni ottenute. L’analisi di reti di dimensioni nazionali oppure di reti locali per lunghi intervalli di tempo, comporta il processamento di migliaia se non decine di migliaia di file; a ciò si aggiunge che, talora a causa di banali errori, oppure al fine di elaborare test scientifici, spesso risulta necessario reiterare le elaborazioni. Molte risorse sono quindi state investite nella messa a punto di procedure automatiche finalizzate, da un lato alla preparazione degli archivi e dall’altro all’analisi dei risultati e al loro confronto qualora si sia in possesso di più soluzioni. Dette procedure sono state sviluppate elaborando i dataset più significativi messi a disposizione del DISTART (Dipartimento di Ingegneria delle Strutture, dei Trasporti, delle Acque, del Rilevamento del Territorio - Università di Bologna). E’ stato così possibile, al tempo stesso, calcolare la posizione delle stazioni permanenti di alcune importanti reti locali e nazionali e confrontare taluni fra i più importanti codici scientifici che assolvono a tale funzione. Per quanto attiene il confronto fra i diversi software si è verificato che: • le soluzioni ottenute dal Bernese e da Gamit (i due software differenziati) sono sempre in perfetto accordo; • le soluzioni Gipsy (che utilizza il metodo indifferenziato) risultano, quasi sempre, leggermente più disperse rispetto a quelle degli altri software e mostrano talvolta delle apprezzabili differenze numeriche rispetto alle altre soluzioni, soprattutto per quanto attiene la coordinata Est; le differenze sono però contenute in pochi millimetri e le rette che descrivono i trend sono comunque praticamente parallele a quelle degli altri due codici; • il citato bias in Est tra Gipsy e le soluzioni differenziate, è più evidente in presenza di determinate combinazioni Antenna/Radome e sembra essere legato all’uso delle calibrazioni assolute da parte dei diversi software. E’ necessario altresì considerare che Gipsy è sensibilmente più veloce dei codici differenziati e soprattutto che, con la procedura indifferenziata, il file di ciascuna stazione di ciascun giorno, viene elaborato indipendentemente dagli altri, con evidente maggior elasticità di gestione: se si individua un errore strumentale su di una singola stazione o se si decide di aggiungere o togliere una stazione dalla rete, non risulta necessario il ricalcolo dell’intera rete. Insieme alle altre reti è stato possibile analizzare la Rete Dinamica Nazionale (RDN), non solo i 28 giorni che hanno dato luogo alla sua prima definizione, bensì anche ulteriori quattro intervalli temporali di 28 giorni, intercalati di sei mesi e che coprono quindi un intervallo temporale complessivo pari a due anni. Si è così potuto verificare che la RDN può essere utilizzata per l’inserimento in ITRF05 (International Terrestrial Reference Frame) di una qualsiasi rete regionale italiana nonostante l’intervallo temporale ancora limitato. Da un lato sono state stimate le velocità ITRF (puramente indicative e non ufficiali) delle stazioni RDN e, dall’altro, è stata effettuata una prova di inquadramento di una rete regionale in ITRF, tramite RDN, e si è verificato che non si hanno differenze apprezzabili rispetto all’inquadramento in ITRF, tramite un congruo numero di stazioni IGS/EUREF (International GNSS Service / European REference Frame, SubCommission for Europe dello International Association of Geodesy).

GNSS interference management techniques against malicious attacks

This thesis collects the outcomes of a Ph.D. course in Telecommunications Engineering and it is focused on the study and design of possible techniques able to counteract interference signal in Global Navigation Satellite System (GNSS) systems. The subject is the jamming threat in navigation systems, that has become a very increasingly important topic in recent years, due to the wide diffusion of GNSS-based civil applications. Detection and mitigation techniques are developed in order to fight out jamming signals, tested in different scenarios and including sophisticated signals. The thesis is organized in two main parts, which deal with management of GNSS intentional counterfeit signals. The first part deals with the interference management, focusing on the intentional interfering signal. In particular, a technique for the detection and localization of the interfering signal level in the GNSS bands in frequency domain has been proposed. In addition, an effective mitigation technique which exploits the periodic characteristics of the common jamming signals reducing interfering effects at the receiver side has been introduced. Moreover, this technique has been also tested in a different and more complicated scenario resulting still effective in mitigation and cancellation of the interfering signal, without high complexity. The second part still deals with the problem of interference management, but regarding with more sophisticated signal. The attention is focused on the detection of spoofing signal, which is the most complex among the jamming signal types. Due to this highly difficulty in detect and mitigate this kind of signal, spoofing threat is considered the most dangerous. In this work, a possible techniques able to detect this sophisticated signal has been proposed, observing and exploiting jointly the outputs of several operational block measurements of the GNSS receiver operating chain.

Synchronization and Detection Techniques for Navigation and Communication Systems

Synchronization is a key issue in any communication system, but it becomes fundamental in the navigation systems, which are entirely based on the estimation of the time delay of the signals coming from the satellites. Thus, even if synchronization has been a well known topic for many years, the introduction of new modulations and new physical layer techniques in the modern standards makes the traditional synchronization strategies completely ineffective. For this reason, the design of advanced and innovative techniques for synchronization in modern communication systems, like DVB-SH, DVB-T2, DVB-RCS, WiMAX, LTE, and in the modern navigation system, like Galileo, has been the topic of the activity. Recent years have seen the consolidation of two different trends: the introduction of Orthogonal Frequency Division Multiplexing (OFDM) in the communication systems, and of the Binary Offset Carrier (BOC) modulation in the modern Global Navigation Satellite Systems (GNSS). Thus, a particular attention has been given to the investigation of the synchronization algorithms in these areas.

Indagine sulla nozione di fatto urbano ne L'architettura della città di Aldo Rossi

Questa tesi di dottorato di ricerca ha come oggetto la nozione di fatto urbano elaborata e presentata da Aldo Rossi nel libro L’architettura della città edito nel 1966. Ne L’architettura della città sono molteplici le definizioni e le forme con cui è enunciata la nozione di fatto urbano. Nel corso della tesi si è indagato come la costruzione nel tempo di questo concetto è stata preceduta da diversi studi giovanili intrapresi dal 1953, poi riorganizzati e sintetizzati a partire dal 1963 in un quaderno manoscritto dal titolo “Manuale di urbanistica”, in diversi appunti e in due quaderni manoscritti. Il lavoro di ricerca ha ricostruito la formulazione della nozione di fatto urbano attraverso gli scritti di Rossi. In questa direzione la rilevazione della partecipazione di Rossi a dibattiti, seminari, riviste, corsi universitari o ricerche accademiche è apparsa di fondamentale importanza, per comprendere la complessità di un lavoro non riconducibile a dei concetti disciplinari, ma alla formazione di una teoria trasmissibile. Il tentativo di comprendere e spiegare la nozione di fatto urbano ha condotto ad esaminare l’accezione con cui Rossi compone L’architettura della città, che egli stesso assimila ad un trattato. L’analisi ha identificato come la composizione del libro non è direttamente riferibile ad un uso classico della stesura editoriale del trattato, la quale ha tra i riferimenti più noti nel passato la promozione di una pratica corretta come nel caso vitruviano o un’impalcatura instauratrice di una nuova categoria come nel caso dell’Alberti. La mancanza di un sistema globale e prescrittivo a differenza dei due libri fondativi e il rimando non immediato alla stesura di un trattato classico è evidente ne L’architettura della città. Tuttavia la possibilità di condurre la ricerca su una serie di documenti inediti ha permesso di rilevare come negli scritti a partire dal 1953, sia maturata una trattazione delle questioni centrali alla nozione di fatto urbano ricca di intuizioni, che aspirano ad un’autonomia, sintetizzate, seppure in modo non sistematico, nella stesura del celebre libro. Si è così cercato di mettere in luce la precisazione nel tempo della nozione di fatto urbano e della sua elaborazione nei molteplici scritti antecedenti la pubblicazione de L’architettura della città, precisando come Rossi, pur costruendo su basi teoriche la nozione di fatto urbano, ne indichi una visione progressiva, ossia un uso operativo sulla città. La ricerca si è proposta come obiettivo di comprendere le radici culturali della nozione di fatto urbano sia tramite un’esplorazione degli interessi di Rossi nel suo percorso formativo sia rispetto alla definizione della struttura materiale del fatto urbano che Rossi individua nelle permanenze e che alimenta nella sua definizione con differenti apporti derivanti da altre discipline. Compito di questa ricerca è stato rileggere criticamente il percorso formativo compiuto da Rossi, a partire dal 1953, sottolinearne gli ambiti innovativi e precisarne i limiti descrittivi che non vedranno mai la determinazione di una nozione esatta, ma piuttosto la strutturazione di una sintesi complessa e ricca di riferimenti ad altri studi. In sintesi la tesi si compone di tre parti: 1. la prima parte, dal titolo “La teoria dei fatti urbani ne L’architettura della città”, analizza il concetto di fatto urbano inserendolo all’interno del più generale contesto teorico contenuto nel libro L’architettura della città. Questo avviene tramite la scomposizione del libro, la concatenazione delle sue argomentazioni e la molteplicità delle fonti esplicitamente citate da Rossi. In questo ambito si precisa la struttura del libro attraverso la rilettura dei riferimenti serviti a Rossi per comporre il suo progetto teorico. Inoltre si ripercorre la sua vita attraverso le varie edizioni, le ristampe, le introduzioni e le illustrazioni. Infine si analizza il ruolo del concetto di fatto urbano nel libro rilevando come sia posto in un rapporto paritetico con il titolo del libro, conseguendone un’accezione di «fatto da osservare» assimilabile all’uso proposto dalla geografia urbana francese dei primi del Novecento. 2. la seconda parte, dal titolo “La formazione della nozione di fatto urbano 1953-66”, è dedicata alla presentazione dell’elaborazione teorica negli scritti di Rossi prima de L’architettura della città, ossia dal 1953 al 1966. Questa parte cerca di descrivere le radici culturali di Rossi, le sue collaborazioni e i suoi interessi ripercorrendo la progressiva definizione della concezione di città nel tempo. Si è analizzato il percorso maturato da Rossi e i documenti scritti fin dagli anni in cui era studente alla Facoltà di Architettura Politecnico di Milano. Emerge un quadro complesso in cui i primi saggi, gli articoli e gli appunti testimoniano una ricerca intellettuale tesa alla costruzione di un sapere sullo sfondo del realismo degli anni Cinquanta. Rossi matura infatti un impegno culturale che lo porta dopo la laurea ad affrontare discorsi più generali sulla città. In particolare la sua importante collaborazione con la rivista Casabella-continuità, con il suo direttore Ernesto Nathan Rogers e tutto il gruppo redazionale segnano il periodo successivo in cui compare l’interesse per la letteratura urbanistica, l’arte, la sociologia, la geografia, l’economia e la filosofia. Seguono poi dal 1963 gli anni di lavoro insieme al gruppo diretto da Carlo Aymonino all’Istituto Universitario di Architettura di Venezia, e in particolare le ricerche sulla tipologia edilizia e la morfologia urbana, che portano Rossi a compiere una sintesi analitica per la fondazione di una teoria della città. Dall’indagine si rileva infatti come gli scritti antecedenti L’architettura della città sviluppano lo studio dei fatti urbani fino ad andare a costituire il nucleo teorico di diversi capitoli del libro. Si racconta così la genesi del libro, la cui scrittura si è svolta nell’arco di due anni, e le aspirazioni che hanno portato quello che era stato concepito come un “manuale d’urbanistica” a divenire quello che Rossi definirà “l’abbozzo di un trattato” per la formulazione di una scienza urbana. 3. la terza parte, dal titolo “La struttura materiale dei fatti urbani: la teoria della permanenza”, indaga monograficamente lo studio della città come un fatto materiale, un manufatto, la cui costruzione è avvenuta nel tempo e del tempo mantiene le tracce. Sul tema della teoria della permanenza è stato importante impostare un confronto con il dibattito vivo negli anni della ricostruzione dopo la guerra intorno ai temi delle preesistenze ambientali nella ricostruzione negli ambienti storici. Sono emersi fin da subito importanti la relazione con Ernesto Nathan Rogers, le discussioni sulle pagine di Casabella-Continuità, la partecipazione ad alcuni dibatti e ricerche. Si è inoltre Rilevato l’uso di diversi termini mutuati dalle tesi filosofiche di alcune personalità come Antonio Banfi e Enzo Paci, poi elaborati dal nucleo redazionale di Casabella-Continuità, di cui faceva parte anche Rossi. Sono così emersi alcuni spostamenti di senso e la formulazione di un vocabolario di termini all’interno della complessa vicenda della cultura architettonica degli anni Cinquanta e Sessanta. 1. Si è poi affrontato questo tema analizzando le forme con cui Rossi presenta la definizione della teoria della permanenza e i contributi desunti da alcuni autori per la costruzione scientifica di una teoria dell’architettura, il cui fine è quello di essere trasmissibile e di offrire strumenti di indagine concreti. Questa ricerca ha permesso di ipotizzare come il lavoro dei geografi francesi della prima metà del XX secolo, e in particolare il contributo più rilevante di Marcel Poëte e di Pierre Lavedan, costituiscono le fonti principali e il campo d’indagine maggiormente esplorato da Rossi per definire la teoria della permanenza e i monumenti. Le permanenze non sono dunque presentate ne L’architettura della città come il “tutto”, ma emergono da un metodo che sceglie di isolare i fatti urbani permanenti, consentendo così di compiere un’ipotesi su “ciò che resta” dopo le trasformazioni continue che operano nella città. Le fonti su cui ho lavorato sono state quelle annunciate da Rossi ne L’architettura della città, e più precisamente i testi nelle edizioni da lui consultate. Anche questo lavoro ha permesso un confronto dei testi che ha fatto emergere ne L’architettura della città l’uso di termini mutuati da linguaggi appartenenti ad altre discipline e quale sia l’uso di concetti estrapolati nella loro interezza. Presupposti metodologici Della formulazione della nozione di fatto urbano si sono indagate l’originalità dell’espressione, le connessioni presunte o contenute negli studi di Rossi sulla città attraverso la raccolta di fonti dirette e indirette che sono andate a formare un notevole corpus di scritti. Le fonti dirette più rilevanti sono state trovare nelle collezioni speciali del Getty Research Institute di Los Angeles in cui sono conservati gli Aldo Rossi Papers, questo archivio comprende materiali inediti dal 1954 al 1988. La natura dei materiali si presenta sotto forma di manoscritti, dattiloscritti, quaderni, documenti ciclostilati, appunti sparsi e una notevole quantità di corrispondenza. Negli Aldo Rossi Papers si trovano anche 32 dei 47 Quaderni Azzurri, le bozze de L’architettura della città e dell’ Autobiografia Scientifica. Per quanto riguarda in particolare L’architettura della città negli Aldo Rossi Papers sono conservati: un quaderno con il titolo “Manuale d’urbanistica, giugno 1963”, chiara prima bozza del libro, degli “Appunti per libro urbanistica estate/inverno 1963”, un quaderno con la copertina rossa datato 20 settembre 1964-8 agosto 1965 e un quaderno con la copertina blu datato 30 agosto 1965-15 dicembre 1965. La possibilità di accedere a questo archivio ha permesso di incrementare la bibliografia relativa agli studi giovanili consentendo di rileggere il percorso culturale in cui Rossi si è formato. E’ così apparsa fondamentale la rivalutazione di alcune questioni relative al realismo socialista che hanno portato a formare un più preciso quadro dei primi scritti di Rossi sullo sfondo di un complesso scenario intellettuale. A questi testi si è affiancata la raccolta delle ricerche universitarie, degli articoli pubblicati su riviste specializzate e degli interventi a dibattiti e seminari. A proposito de L’architettura della città si è raccolta un’ampia letteratura critica riferita sia al testo in specifico che ad una sua collocazione nella storia dell’architettura, mettendo in discussione alcune osservazioni che pongono L’architettura della città come un libro risolutivo e definitivo. Per quanto riguarda il capitolo sulla teoria della permanenza l’analisi è stata svolta a partire dai testi che Rossi stesso indicava ne L’architettura della città rivelando i diversi apporti della letteratura urbanistica francese, e permettendo alla ricerca di precisare le relazioni con alcuni scritti centrali e al contempo colti da Rossi come opportunità per intraprendere l’elaborazione dell’idea di tipo. Per quest’ultima parte si può precisare come Rossi formuli la sua idea di tipo in un contesto culturale dove l’interesse per questo tema era fondamentale. Dunque le fonti che hanno assunto maggior rilievo in quest’ultima fase emergono da un ricco panorama in cui Rossi compie diverse ricerche sia con il gruppo redazionale di Casabella-continuità, sia all’interno della scuola veneziana negli anni Sessanta, ma anche negli studi per l’ILSES e per l’Istituto Nazionale d’Urbanistica. RESEARCH ON THE NOTION OF URBAN ARTIFACT IN THE ARCHITECTURE OF THE CITY BY ALDO ROSSI. Doctoral candidate: Letizia Biondi Tutor: Valter Balducci The present doctoral dissertation deals with the notion of urban artifact that was formulated and presented by Aldo Rossi in his book The Architecture of the City, published in 1966. In The Architecture of the City, the notion of urban artifact is enunciated through a wide range of definitions and forms. In this thesis, a research was done on how the construction of this concept over time was preceded by various studies started in 1953 during the author’s youth, then re-organized and synthesized since 1963 in a manuscript titled “Manual of urban planning” and in two more manuscripts later on. The work of research re-constructed the formulation of the notion of urban artifact through Rossi’s writings. In this sense, the examination of Rossi’s participation in debates, seminars, reviews, university courses or academic researches was of fundamental importance to understand the complexity of a work which is not to be attributed to disciplinary concepts, but to the formulation of a communicable theory. The effort to understand and to explain the notion of urban artifact led to an examination of the meaning used by Rossi to compose The Architecture of the City, which he defines as similar to a treatise. Through this analysis, it emerged that the composition of the book is not directly ascribable to the classical use of editorial writing of a treatise, whose most famous references in the past are the promotion of a correct practice as in the case of Vitruvio’s treatise, or the use of a structure that introduces a new category as in the Alberti case. Contrary to the two founding books, the lack of a global and prescriptive system and the not immediate reference to the writing of a classical treatise are evident in The Architecture of the City. However, the possibility of researching on some unpublished documents allowed to discover that in the writings starting from 1953 the analysis of the questions that are at the core of the notion of urban artifact is rich of intuitions, that aim to autonomy and that would be synthesized, even though not in a systematic way, in his famous book. The attempt was that of highlighting the specification over time of the notion of urban artifact and its elaboration in the various writings preceding the publication of The Architecture of the City. It was also specified that, despite building on theoretical grounds, Rossi indicates a progressive version of the notion of urban artifact, that is a performing use in the city. The present research aims to understand the cultural roots of the notion of urban artifact in two main directions: analyzing, firstly, Rossi’s interests along his formation path and, secondly, the definition of material structure of an urban artifact identified by Rossi in the permanences and enriched by various contributions from other disciplines. The purpose of the present research is to revise the formation path made by Rossi in a critical way, starting by 1953, underlining its innovative aspects and identifying its describing limits, which will never lead to the formulation of an exact notion, but rather to the elaboration of a complex synthesis, enriched by references to other studies. In brief, the thesis is composed of three parts: 1. The first part, titled “The Theory of urban artifacts in The Architecture of the City”, analyzes the concept of urban artifact in the more general theoretical context of the book The Architecture of the City. Such analysis is done by “disassembling” the book, and by linking together the argumentations and the multiplicity of the sources which are explicitly quoted by Rossi. In this context, the book’s structure is defined more precisely through the revision of the references used by Rossi to compose his theoretical project. Moreover, the author’s life is traced back through the various editions, re-printings, introductions and illustrations. Finally, it is specified which role the concept of urban artifact has in the book, pointing out that it is placed in an equal relation with the book’s title; by so doing, the concept of urban artifact gets the new meaning of “fact to be observed”, similar to the use that was suggested by the French urban geography at the beginning of the 20th century. 2. The second part, titled “The formation of the notion of urban artifact 1953-66”, introduces the theoretical elaboration in Rossi’s writings before The Architecture of the City, that is from 1953 to 1966. This part tries to describe Rossi’s cultural roots, his collaborations and his interests, tracing back the progressive definition of his conception of city over time. The analysis focuses on the path followed by Rossi and on the documents that he wrote since the years as a student at the Department of Architecture at the Politecnico in Milan. This leads to a complex scenario of first essays, articles and notes that bear witness to the intellectual research aiming to the construction of a knowledge on the background of the Realism of the 1950s. Rossi develops, in fact, a cultural engagement that leads him after his studies to deal with more general issues about the city. In particular, his important collaboration with the architecture magazine “Casabella-continuità”, with the director Ernesto Nathan Rogers and with the whole redaction staff mark the following period when he starts getting interested in city planning literature, art, sociology, geography, economics and philosophy. Since 1963, Rossi has worked with the group directed by Carlo Aymonino at the “Istituto Universitario di Architettura” (University Institute of Architecture) in Venice, especially researching on building typologies and urban morphology. During these years, Rossi elaborates an analytical synthesis for the formulation of a theory about the city. From the present research, it is evident that the writings preceding The Architecture of the City develop the studies on urban artifacts, which will become theoretical core of different chapters of the book. In conclusion, the genesis of the book is described; written in two years, what was conceived to be an “urban planning manual” became a “treatise draft” for the formulation of an urban science, as Rossi defines it. 3. The third part is titled “The material structure of urban artifacts: the theory of permanence”. This research is made on the study of the city as a material fact, a manufacture, whose construction was made over time, bearing the traces of time. As far as the topic of permanence is concerned, it was also important to draw a comparison with the debate about the issues of environmental pre-existence of re-construction in historical areas, which was very lively during the years of the Reconstruction. Right from the beginning, of fundamental importance were the relationship with Ernesto Nathan Rogers, the discussions on the pages of Casabella-Continuità and the participation to some debates and researches. It is to note that various terms were taken by the philosophical thesis by some personalities such as Antonio Banfi and Enzo Paci, and then re-elaborated by the redaction staff at Casabella-Continuità, which Rossi took part in as well. Through this analysis, it emerged that there were some shifts in meaning and the formulation of a vocabulary of terms within the complex area of the architectonic culture in the 1950s and 1960s. Then, I examined the shapes in which Rossi introduces the definition of the theory of permanence and the references by some authors for the scientific construction of an architecture theory whose aim is being communicable and offering concrete research tools. Such analysis allowed making a hypothesis about the significance for Rossi of the French geographers of the first half of the 20th century: in particular, the work by Marcel Poëte and by Pierre Lavedan is the main source and the research area which Rossi mostly explored to define the theory of permanence and monuments. Therefore, in The Architecture of the City, permanencies are not presented as the “whole”, but they emerge from a method which isolates permanent urban artifacts, in this way allowing making a hypothesis on “what remains” after the continuous transformations made in the city. The sources examined were quoted by Rossi in The Architecture of the City; in particular I analyzed them in the same edition which Rossi referred to. Through such an analysis, it was possible to make a comparison of the texts with one another, which let emerge the use of terms taken by languages belonging to other disciplines in The Architecture of the City and which the use of wholly extrapolated concepts is. Methodological premises As far as the formulation of the notion of urban artifact is concerned, the analysis focuses on the originality of the expression, the connections that are assumed or contained in Rossi’s writings about the city, by collecting direct and indirect sources which formed a significant corpus of writings. The most relevant direct sources were found in the special collections of the Getty Research Institute in Los Angeles, where the “Aldo Rossi Papers” are conserved. This archive contains unpublished material from 1954 to 1988, such as manuscripts, typescripts, notebooks, cyclostyled documents, scraps and notes, and several letters. In the Aldo Rossi Papers there are also 32 out of the 47 Light Blue Notebooks (Quaderni Azzurri), the rough drafts of The Architecture of the City and of the “A Scientific Autobiography”. As regards The Architecture of the City in particular, the Aldo Rossi Papers preserve: a notebook by the title of “Urban planning manual, June, 1963”, which is an explicit first draft of the book; “Notes for urban planning book summer/winter 1963”; a notebook with a red cover dated September 20th, 1964 – August 8th, 1965; and a notebook with a blue cover dated August 30th, 1965 – December 15th, 1965. The possibility of accessing this archive allowed to increase the bibliography related to the youth studies, enabling a revision of the cultural path followed by Rossi’s education. To that end, it was fundamental to re-evaluate some issues linked to the socialist realism which led to a more precise picture of the first writings by Rossi against the background of the intellectual scenario where he formed. In addition to these texts, the collection of university researches, the articles published on specialized reviews and the speeches at debates and seminars were also examined. About The Architecture of the City, a wide-ranging critical literature was collected, related both to the text specifics and to its collocation in the story of architecture, questioning some observations which define The Architecture of the City as a conclusive and definite book. As far as the chapter on the permanence theory is concerned, the analysis started by the texts that Rossi indicated in The Architecture of the City, revealing the different contributions from the French literature on urban planning. This allowed to the present research a more specific definition of the connections to some central writings which, at the same time, were seen by Rossi as an opportunity to start up the elaboration of the idea of type. For this last part, it can be specified that Rossi formulates his idea of type in a cultural context where the interest in this topic was fundamental. Therefore, the sources which played a central role in this final phase emerge from an extensive panorama in which Rossi researched not only with the redaction staff at Casablanca-continuità and within the School of Venice in the 1960s, but also in his studies for the ILSES (Institute of the Region Lombardia for Economics and Social Studies) and for the National Institute of Urban Planning.

Probabilistic tomography of atmospheric parameters from GNSS data

The objective of the work is the evaluation of the potential capabilities of navigation satellite signals to retrieve basic atmospheric parameters. A capillary study have been performed on the assumptions more or less explicitly contained in the common processing steps of navigation signals. A probabilistic procedure has been designed for measuring vertical discretised profiles of pressure, temperature and water vapour and their associated errors. Numerical experiments on a synthetic dataset have been performed with the main objective of quantifying the information that could be gained from such approach, using entropy and relative entropy as testing parameters. A simulator of phase delay and bending of a GNSS signal travelling across the atmosphere has been developed to this aim.

1° level of automation: the effectiveness of adaptive cruise control on driving and visual behaviour

The research activities have allowed the analysis of the driver assistance systems, called Advanced Driver Assistance Systems (ADAS) in relation to road safety. The study is structured according to several evaluation steps, related to definite on-site tests that have been carried out with different samples of users, according to their driving experience with the ACC. The evaluation steps concern: •The testing mode and the choice of suitable instrumentation to detect the driver’s behaviour in relation to the ACC. •The analysis modes and outputs to be obtained, i.e.: - Distribution of attention and inattention; - Mental workload; - The Perception-Reaction Time (PRT), the Time To Collision (TTC) and the Time Headway (TH). The main purpose is to assess the interaction between vehicle drivers and ADAS, highlighting the inattention and variation of the workloads they induce regarding the driving task. The research project considered the use of a system for monitoring visual behavior (ASL Mobile Eye-XG - ME), a powerful GPS that allowed to record the kinematic data of the vehicle (Racelogic Video V-BOX) and a tool for reading brain activity (Electroencephalographic System - EEG). Just during the analytical phase, a second and important research objective was born: the creation of a graphical interface that would allow exceeding the frame count limit, making faster and more effective the labeling of the driver’s points of view. The results show a complete and exhaustive picture of the vehicle-driver interaction. It has been possible to highlight the main sources of criticalities related to the user and the vehicle, in order to concretely reduce the accident rate. In addition, the use of mathematical-computational methodologies for the analysis of experimental data has allowed the optimization and verification of analytical processes with neural networks that have made an effective comparison between the manual and automatic methodology.

New functional and biomechanical assessments for the improvement of the surgical navigation systems for joint replacement in the human lower limb

In case of severe osteoarthritis at the knee causing pain, deformity, and loss of stability and mobility, the clinicians consider that the substitution of these surfaces by means of joint prostheses. The objectives to be pursued by this surgery are: complete pain elimination, restoration of the normal physiological mobility and joint stability, correction of all deformities and, thus, of limping. The knee surgical navigation systems have bee developed in computer-aided surgery in order to improve the surgical final outcome in total knee arthroplasty. These systems provide the surgeon with quantitative and real-time information about each surgical action, like bone cut executions and prosthesis component alignment, by mean of tracking tools rigidly fixed onto the femur and the tibia. Nevertheless, there is still a margin of error due to the incorrect surgical procedures and to the still limited number of kinematic information provided by the current systems. Particularly, patello-femoral joint kinematics is not considered in knee surgical navigation. It is also unclear and, thus, a source of misunderstanding, what the most appropriate methodology is to study the patellar motion. In addition, also the knee ligamentous apparatus is superficially considered in navigated total knee arthroplasty, without taking into account how their physiological behavior is altered by this surgery. The aim of the present research work was to provide new functional and biomechanical assessments for the improvement of the surgical navigation systems for joint replacement in the human lower limb. This was mainly realized by means of the identification and development of new techniques that allow a thorough comprehension of the functioning of the knee joint, with particular attention to the patello-femoral joint and to the main knee soft tissues. A knee surgical navigation system with active markers was used in all research activities presented in this research work. Particularly, preliminary test were performed in order to assess the system accuracy and the robustness of a number of navigation procedures. Four studies were performed in-vivo on patients requiring total knee arthroplasty and randomly implanted by means of traditional and navigated procedures in order to check for the real efficacy of the latter with respect to the former. In order to cope with assessment of patello-femoral joint kinematics in the intact and replaced knees, twenty in-vitro tests were performed by using a prototypal tracking tool also for the patella. In addition to standard anatomical and articular recommendations, original proposals for defining the patellar anatomical-based reference frame and for studying the patello-femoral joint kinematics were reported and used in these tests. These definitions were applied to two further in-vitro tests in which, for the first time, also the implant of patellar component insert was fully navigated. In addition, an original technique to analyze the main knee soft tissues by means of anatomical-based fiber mappings was also reported and used in the same tests. The preliminary instrumental tests revealed a system accuracy within the millimeter and a good inter- and intra-observer repeatability in defining all anatomical reference frames. In in-vivo studies, the general alignments of femoral and tibial prosthesis components and of the lower limb mechanical axis, as measured on radiographs, was more satisfactory, i.e. within ±3°, in those patient in which total knee arthroplasty was performed by navigated procedures. As for in-vitro tests, consistent patello-femoral joint kinematic patterns were observed over specimens throughout the knee flexion arc. Generally, the physiological intact knee patellar motion was not restored after the implant. This restoration was successfully achieved in the two further tests where all component implants, included the patellar insert, were fully navigated, i.e. by means of intra-operative assessment of also patellar component positioning and general tibio-femoral and patello-femoral joint assessment. The tests for assessing the behavior of the main knee ligaments revealed the complexity of the latter and the different functional roles played by the several sub-bundles compounding each ligament. Also in this case, total knee arthroplasty altered the physiological behavior of these knee soft tissues. These results reveal in-vitro the relevance and the feasibility of the applications of new techniques for accurate knee soft tissues monitoring, patellar tracking assessment and navigated patellar resurfacing intra-operatively in the contest of the most modern operative techniques. This present research work gives a contribution to the much controversial knowledge on the normal and replaced of knee kinematics by testing the reported new methodologies. The consistence of these results provides fundamental information for the comprehension and improvements of knee orthopedic treatments. In the future, the reported new techniques can be safely applied in-vivo and also adopted in other joint replacements.

Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework

Over the last 60 years, computers and software have favoured incredible advancements in every field. Nowadays, however, these systems are so complicated that it is difficult – if not challenging – to understand whether they meet some requirement or are able to show some desired behaviour or property. This dissertation introduces a Just-In-Time (JIT) a posteriori approach to perform the conformance check to identify any deviation from the desired behaviour as soon as possible, and possibly apply some corrections. The declarative framework that implements our approach – entirely developed on the promising open source forward-chaining Production Rule System (PRS) named Drools – consists of three components: 1. a monitoring module based on a novel, efficient implementation of Event Calculus (EC), 2. a general purpose hybrid reasoning module (the first of its genre) merging temporal, semantic, fuzzy and rule-based reasoning, 3. a logic formalism based on the concept of expectations introducing Event-Condition-Expectation rules (ECE-rules) to assess the global conformance of a system. The framework is also accompanied by an optional module that provides Probabilistic Inductive Logic Programming (PILP). By shifting the conformance check from after execution to just in time, this approach combines the advantages of many a posteriori and a priori methods proposed in literature. Quite remarkably, if the corrective actions are explicitly given, the reactive nature of this methodology allows to reconcile any deviations from the desired behaviour as soon as it is detected. In conclusion, the proposed methodology brings some advancements to solve the problem of the conformance checking, helping to fill the gap between humans and the increasingly complex technology.

Exploiting spectrally resolved satellite observations to assess the performance of climate models

The accurate representation of the Earth Radiation Budget by General Circulation Models (GCMs) is a fundamental requirement to provide reliable historical and future climate simulations. In this study, we found reasonable agreement between the integrated energy fluxes at the top of the atmosphere simulated by 34 state-of-the-art climate models and the observations provided by the Cloud and Earth Radiant Energy System (CERES) mission on a global scale, but large regional biases have been detected throughout the globe. Furthermore, we highlighted that a good agreement between simulated and observed integrated Outgoing Longwave Radiation (OLR) fluxes may be obtained from the cancellation of opposite-in-sign systematic errors, localized in different spectral ranges. To avoid this and to understand the causes of these biases, we compared the observed Earth emission spectra, measured by the Infrared Atmospheric Sounding Interferometer (IASI) in the period 2008-2016, with the synthetic radiances computed on the basis of the atmospheric fields provided by the EC-Earth GCM. To this purpose, the fast σ-IASI radiative transfer model was used, after its validation and implementation in EC-Earth. From the comparison between observed and simulated spectral radiances, a positive temperature bias in the stratosphere and a negative temperature bias in the middle troposphere, as well as a dry bias of the water vapor concentration in the upper troposphere, have been identified in the EC-Earth climate model. The analysis has been performed in clear-sky conditions, but the feasibility of its extension in the presence of clouds, whose impact on the radiation represents the greatest source of uncertainty in climate models, has also been proven. Finally, the analysis of simulated and observed OLR trends indicated good agreement and provided detailed information on the spectral fingerprints of the evolution of the main climate variables.

Retrieval of trace gases vertical profile in the lower atmosphere combining. Differential Optical Absorption Spectroscopy with radiative transfer models

The motivation for the work presented in this thesis is to retrieve profile information for the atmospheric trace constituents nitrogen dioxide (NO2) and ozone (O3) in the lower troposphere from remote sensing measurements. The remote sensing technique used, referred to as Multiple AXis Differential Optical Absorption Spectroscopy (MAX-DOAS), is a recent technique that represents a significant advance on the well-established DOAS, especially for what it concerns the study of tropospheric trace consituents. NO2 is an important trace gas in the lower troposphere due to the fact that it is involved in the production of tropospheric ozone; ozone and nitrogen dioxide are key factors in determining the quality of air with consequences, for example, on human health and the growth of vegetation. To understand the NO2 and ozone chemistry in more detail not only the concentrations at ground but also the acquisition of the vertical distribution is necessary. In fact, the budget of nitrogen oxides and ozone in the atmosphere is determined both by local emissions and non-local chemical and dynamical processes (i.e. diffusion and transport at various scales) that greatly impact on their vertical and temporal distribution: thus a tool to resolve the vertical profile information is really important. Useful measurement techniques for atmospheric trace species should fulfill at least two main requirements. First, they must be sufficiently sensitive to detect the species under consideration at their ambient concentration levels. Second, they must be specific, which means that the results of the measurement of a particular species must be neither positively nor negatively influenced by any other trace species simultaneously present in the probed volume of air. Air monitoring by spectroscopic techniques has proven to be a very useful tool to fulfill these desirable requirements as well as a number of other important properties. During the last decades, many such instruments have been developed which are based on the absorption properties of the constituents in various regions of the electromagnetic spectrum, ranging from the far infrared to the ultraviolet. Among them, Differential Optical Absorption Spectroscopy (DOAS) has played an important role. DOAS is an established remote sensing technique for atmospheric trace gases probing, which identifies and quantifies the trace gases in the atmosphere taking advantage of their molecular absorption structures in the near UV and visible wavelengths of the electromagnetic spectrum (from 0.25 μm to 0.75 μm). Passive DOAS, in particular, can detect the presence of a trace gas in terms of its integrated concentration over the atmospheric path from the sun to the receiver (the so called slant column density). The receiver can be located at ground, as well as on board an aircraft or a satellite platform. Passive DOAS has, therefore, a flexible measurement configuration that allows multiple applications. The ability to properly interpret passive DOAS measurements of atmospheric constituents depends crucially on how well the optical path of light collected by the system is understood. This is because the final product of DOAS is the concentration of a particular species integrated along the path that radiation covers in the atmosphere. This path is not known a priori and can only be evaluated by Radiative Transfer Models (RTMs). These models are used to calculate the so called vertical column density of a given trace gas, which is obtained by dividing the measured slant column density to the so called air mass factor, which is used to quantify the enhancement of the light path length within the absorber layers. In the case of the standard DOAS set-up, in which radiation is collected along the vertical direction (zenith-sky DOAS), calculations of the air mass factor have been made using “simple” single scattering radiative transfer models. This configuration has its highest sensitivity in the stratosphere, in particular during twilight. This is the result of the large enhancement in stratospheric light path at dawn and dusk combined with a relatively short tropospheric path. In order to increase the sensitivity of the instrument towards tropospheric signals, measurements with the telescope pointing the horizon (offaxis DOAS) have to be performed. In this circumstances, the light path in the lower layers can become very long and necessitate the use of radiative transfer models including multiple scattering, the full treatment of atmospheric sphericity and refraction. In this thesis, a recent development in the well-established DOAS technique is described, referred to as Multiple AXis Differential Optical Absorption Spectroscopy (MAX-DOAS). The MAX-DOAS consists in the simultaneous use of several off-axis directions near the horizon: using this configuration, not only the sensitivity to tropospheric trace gases is greatly improved, but vertical profile information can also be retrieved by combining the simultaneous off-axis measurements with sophisticated RTM calculations and inversion techniques. In particular there is a need for a RTM which is capable of dealing with all the processes intervening along the light path, supporting all DOAS geometries used, and treating multiple scattering events with varying phase functions involved. To achieve these multiple goals a statistical approach based on the Monte Carlo technique should be used. A Monte Carlo RTM generates an ensemble of random photon paths between the light source and the detector, and uses these paths to reconstruct a remote sensing measurement. Within the present study, the Monte Carlo radiative transfer model PROMSAR (PROcessing of Multi-Scattered Atmospheric Radiation) has been developed and used to correctly interpret the slant column densities obtained from MAX-DOAS measurements. In order to derive the vertical concentration profile of a trace gas from its slant column measurement, the AMF is only one part in the quantitative retrieval process. One indispensable requirement is a robust approach to invert the measurements and obtain the unknown concentrations, the air mass factors being known. For this purpose, in the present thesis, we have used the Chahine relaxation method. Ground-based Multiple AXis DOAS, combined with appropriate radiative transfer models and inversion techniques, is a promising tool for atmospheric studies in the lower troposphere and boundary layer, including the retrieval of profile information with a good degree of vertical resolution. This thesis has presented an application of this powerful comprehensive tool for the study of a preserved natural Mediterranean area (the Castel Porziano Estate, located 20 km South-West of Rome) where pollution is transported from remote sources. Application of this tool in densely populated or industrial areas is beginning to look particularly fruitful and represents an important subject for future studies.

Monitoring Ice Velocity Field in Victoria Land (Antarctica) Using Cross-Correlation Techniques on Satellite Images

Troposphere Calibration Techniques for Deep Space Probe Tracking

Ground-based Earth troposphere calibration systems play an important role in planetary exploration, especially to carry out radio science experiments aimed at the estimation of planetary gravity fields. In these experiments, the main observable is the spacecraft (S/C) range rate, measured from the Doppler shift of an electromagnetic wave transmitted from ground, received by the spacecraft and coherently retransmitted back to ground. If the solar corona and interplanetary plasma noise is already removed from Doppler data, the Earth troposphere remains one of the main error sources in tracking observables. Current Earth media calibration systems at NASA’s Deep Space Network (DSN) stations are based upon a combination of weather data and multidirectional, dual frequency GPS measurements acquired at each station complex. In order to support Cassini’s cruise radio science experiments, a new generation of media calibration systems were developed, driven by the need to achieve the goal of an end-to-end Allan deviation of the radio link in the order of 3×〖10〗^(-15) at 1000 s integration time. The future ESA’s Bepi Colombo mission to Mercury carries scientific instrumentation for radio science experiments (a Ka-band transponder and a three-axis accelerometer) which, in combination with the S/C telecommunication system (a X/X/Ka transponder) will provide the most advanced tracking system ever flown on an interplanetary probe. Current error budget for MORE (Mercury Orbiter Radioscience Experiment) allows the residual uncalibrated troposphere to contribute with a value of 8×〖10〗^(-15) to the two-way Allan deviation at 1000 s integration time. The current standard ESA/ESTRACK calibration system is based on a combination of surface meteorological measurements and mathematical algorithms, capable to reconstruct the Earth troposphere path delay, leaving an uncalibrated component of about 1-2% of the total delay. In order to satisfy the stringent MORE requirements, the short time-scale variations of the Earth troposphere water vapor content must be calibrated at ESA deep space antennas (DSA) with more precise and stable instruments (microwave radiometers). In parallel to this high performance instruments, ESA ground stations should be upgraded to media calibration systems at least capable to calibrate both troposphere path delay components (dry and wet) at sub-centimetre level, in order to reduce S/C navigation uncertainties. The natural choice is to provide a continuous troposphere calibration by processing GNSS data acquired at each complex by dual frequency receivers already installed for station location purposes. The work presented here outlines the troposphere calibration technique to support both Deep Space probe navigation and radio science experiments. After an introduction to deep space tracking techniques, observables and error sources, in Chapter 2 the troposphere path delay is widely investigated, reporting the estimation techniques and the state of the art of the ESA and NASA troposphere calibrations. Chapter 3 deals with an analysis of the status and the performances of the NASA Advanced Media Calibration (AMC) system referred to the Cassini data analysis. Chapter 4 describes the current release of a developed GNSS software (S/W) to estimate the troposphere calibration to be used for ESA S/C navigation purposes. During the development phase of the S/W a test campaign has been undertaken in order to evaluate the S/W performances. A description of the campaign and the main results are reported in Chapter 5. Chapter 6 presents a preliminary analysis of microwave radiometers to be used to support radio science experiments. The analysis has been carried out considering radiometric measurements of the ESA/ESTEC instruments installed in Cabauw (NL) and compared with the requirements of MORE. Finally, Chapter 7 summarizes the results obtained and defines some key technical aspects to be evaluated and taken into account for the development phase of future instrumentation.