Indagini in Deep Inference

La tesi è uno studio di alcuni aspetti della nuova metodologia “deep inference”, abbinato ad una rivisitazione dei concetti classici di proof theory, con l'aggiunta di alcuni risultati originali orientati ad una maggior comprensione dell'argomento, nonché alle applicazioni pratiche. Nel primo capitolo vengono introdotti, seguendo un approccio di stampo formalista (con alcuni spunti personali), i concetti base della teoria della dimostrazione strutturale – cioè quella che usa strumenti combinatoriali (o “finitistici”) per studiare le proprietà delle dimostrazioni. Il secondo capitolo focalizza l'attenzione sulla logica classica proposizionale, prima introducendo il calcolo dei sequenti e dimostrando il Gentzen Hauptsatz, per passare poi al calcolo delle strutture (sistema SKS), dimostrando anche per esso un teorema di eliminazione del taglio, appositamente adattato dall'autore. Infine si discute e dimostra la proprietà di località per il sistema SKS. Un percorso analogo viene tracciato dal terzo ed ultimo capitolo, per quanto riguarda la logica lineare. Viene definito e motivato il calcolo dei sequenti lineari, e si discute del suo corrispettivo nel calcolo delle strutture. L'attenzione qui è rivolta maggiormente al problema di definire operatori non-commutativi, che mettono i sistemi in forte relazione con le algebre di processo.

Il gruppo dei punti razionali sulle curve ellittiche

Il primo capitolo espone nozioni generali sulle varietà e sulle curve algebriche, sulle mappe fra di esse e su alcune proprietà geometriche importanti per caratterizzare le curve ellittiche. Il secondo capitolo propone un'introduzione allo studio geometrico e algebrico di tali curve. Il terzo e il quarto capitolo affrontano lo studio dei punti a coordinate razionali, per curve definite prima su campi locali e poi su campi globali: l'insieme di tali punti è un gruppo. Il risultato fondamentale, contenuto nel teorema di Mordell-Weil, è che tale gruppo è finitamente generato. Tutto il quarto capitolo propone i risultati necessari per la dimostrazione di tale affermazione.

Studio e sviluppo di sistemi RFID in banda UHF

The recent widespread diffusion of radio-frequency identification (RFID) applications operating in the UHF band has been supported by both the request for greater interrogation ranges and greater and faster data exchange. UHF-RFID systems, exploiting a physical interaction based on Electromagnetic propagation, introduce many problems that have not been fully explored for the previous generations of RFID systems (e.g. HF). Therefore, the availability of reliable tools for modeling and evaluating the radio-communication between Reader and Tag within an RFID radio-link are needed. The first part of the thesis discuss the impact of real environment on system performance. In particular an analytical closed form formulation for the back-scattered field from the Tag antenna and the formulation for the lower bound of the BER achievable at the Reader side will be presented, considering different possible electromagnetic impairments. By means of the previous formulations, of the analysis of the RFID link operating in near filed conditions and of some electromagnetic/system-level co-simulations, an in-depth study of the dimensioning parameters and the actual performance of the systems will be discussed and analyzed, showing some relevant properties and trade-offs in transponder and reader design. Moreover a new low cost approach to extend the read range of the RFID UHF passive systems will be discussed. Within the scope to check the reliability of the analysis approaches and of innovative proposals, some reference transponder antennas have been designed and extensive measurement campaign has been carried out with satisfactory results. Finally, some commercial ad-hoc transponder for industrial application have been designed within the cooperation with Datalogic s.p.a., some guidelines and results will be briefly presented.

L'Aquila 2010 : quartiere San Silvestro : residenze e luoghi per la collettività

Il progetto di intervento per la ricostruzione dell’Aquila è il frutto del lavoro sul discusso e attuale tema del terremoto del 6 aprile 2009 in Abruzzo, che ha profondamente colpito la città ed il suo territorio. Quest’ultimo è stato l’elemento fondativo da cui partire in fase progettuale, affinchè la memoria possa diventare nuovamente fonte di identità e dove il paesaggio rappresenti un dialogo costante tra passato e presente, dove gli spazi aperti assumano il ruolo di rinnovata struttura generativa. Lo scenario che si prospetta dopo il sisma, mostra come sia forte la necessità di ritornare alla propria città, l’Aquila, attraverso la fruizione di spazi di relazione pubblici quali le piazze, le chiese e gli spazi privati dell’abitazione. L’intervento all’interno del quartiere di San Silvestro in cui si è sviluppato il progetto, rappresenta una realtà molteplice e complessa in cui più elementi interagiscono tra loro. Per questo, il progetto si pone come obiettivo quello di “intrecciare relazioni”, ossia creare legami tra sistemi ed elementi ora disgiunti che, se tra loro connessi, diventano l’occasione per far rivivere la città. La volontà di creare relazioni si è definita attraverso diverse azioni; una di queste è la scelta di intervenire a scala urbana, definendo un nuovo sistema viario che possa svincolare il centro dal percorso congestionato di via Duca degli Abruzzi. L’intervento previsto su macroscala non solo ha l’obbiettivo di tutelare il centro storico dal traffico carrabile, ma privilegia la circolazione pedonale all’interno del quartiere, cercando di restituire una percezione dello spazio a misura d’uomo. Altro aspetto caratterizzante il progetto è la volontà di “ricostruire scene urbane” caratteristiche del centro storico aquilano, consolidando gli spazi di aggregazione già esistenti come piazza san Silvestro e inserendo nuovi spazi di relazione in corrispondenza di porta Branconia, un punto nevralgico del progetto perché congiunge la cinta muraria con il centro storico e con la città all’esterno delle mura. Il progetto prevede che il sistema del verde retrostante sia accessibile attraverso percorsi nel verde che, dal centro, confluiscono sull’asse commerciale di via della Croce Rossa. La definizione della parte più storica del quartiere di San Silvestro avviene attraverso un sistema di nuovi elementi che dialogano con le preesistenze storiche: un complesso di alloggi che si sviluppa nel lotto adiacente la chiesa, secondo la tipologia a schiera, ha un duplice affaccio, su via Duca degli Abruzzi da un lato e su via Sant’Agnese dall’altro; un nuovo museo per la città che si colloca su piazza San Silvestro confrontandosi direttamente con la Chiesa e col palazzo Branconi-Farinosi, rispettandone il ruolo e l’importanza. Nell’area di espansione, limitrofa al già esistente quartiere di San Silvestro, si è cercati di privilegiare la relazione della città col suolo: a tal proposito l’andamento delle curve di livello presenti, dà origine a strade per l’accesso agli alloggi sociali che confluiscono nel verde adiacente le mura della città. L’elemento unificatore di questo nuovo impianto risulta essere dunque il parco pubblico che costeggia le mura, congiungendo piazza S. Silvestro con l’estremità ovest dell’area e con i percorsi pedonali che caratterizzano tutta l’area di progetto trovando la massima espressione in prossimità proprio delle mura storiche. Attraverso queste prime intenzioni progettuali si è cercato di sviluppare un sistema organico e coerente di elementi capaci di dialogare con il contesto circostante e di instaurare nuove relazioni con la città. Se consideriamo le diverse componenti che formano il sistema possiamo evidenziare la presenza di elementi serventi, quali gli spazi aventi funzione pubblica, e di elementi serviti, come le residenze, aventi funzione privata. In particolare, il sistema residenziale, assume uno sviluppo uniforme ed omogeneo all’interno dell’area di intervento articolandosi con differenti connotazioni a seconda del diverso contesto circostante.

Campo gravitazionale uniforme e sistemi di riferimento uniformemente accelerati

E’ stato affrontato in modo approfondito lo studio dei campi gravitazionali della relatività generale (RG) che producono un’accelerazione uniforme, e si è confrontato tale studio con i sistemi si riferimento (SR) accelerati della relatività ristretta (RR). Nel corso di quest’analisi sono stati trovati alcuni aspetti non evidenziati in precedenza nella letteratura scientifica, di cui il più rilevante è il fatto che la metrica di Rindler produce un campo che, osservato con misure di tipo radar, appare uniforme a un osservatore solidale con il campo stesso. Si è inoltre trovata più di una metrica cui corrisponde un’accelerazione che non dipende dalla coordinata di partenza. Per il campo di Rindler è stata eseguita anche un’analisi approfondita, tramite un’applicazione diretta del principio di equivalenza (PE). La metodologia utilizzata e i risultati sono un contributo originale di questa tesi e sono di interesse da un punto di vista didattico. Nel corso dell’analisi delle proprietà del campo di Rindler sono stati analizzati in modo operativo: il confronto del ritmo di marcia di due orologi che si trovano a una quota differente, la deflessione dei raggi luminosi e la traiettoria di un corpo in caduta libera. Infine si è indagato sulla forma della metrica di una distribuzione di massa a simmetrica planare.

Meccanismi evolutivi dei parapoxvirus: caratterizzazione genomica di pseudocowpoxvirus e messa a punto di sistemi per lo studio delle ricombinazioni

The Poxviruses are a family of double stranded DNA (dsDNA) viruses that cause disease in many species, both vertebrate and invertebrate. Their genomes range in size from 135 to 365 kbp and show conservation in both organization and content. In particular, the central genomic regions of the chordopoxvirus subfamily (those capable of infecting vertebrates) contain 88 genes which are present in all the virus species characterised to date and which mostly occur in the same order and orientation. In contrast, however, the terminal regions of the genomes frequently contain genes that are species or genera-specific and that are not essential for the growth of the virus in vitro but instead often encode factors with important roles in vivo including modulation of the host immune response to infection and determination of the host range of the virus. The Parapoxviruses (PPV), of which Orf virus is the prototypic species, represent a genus within the chordopoxvirus subfamily of Poxviridae and are characterised by their ability to infect ruminants and humans. The genus currently contains four recognised species of virus, bovine papular stomatitis virus (BPSV) and pseudocowpox virus (PCPV) both of which infect cattle, orf virus (OV) that infects sheep and goats, and parapoxvirus of red deer in New Zealand (PVNZ). The ORFV genome has been fully sequenced, as has that of BPSV, and is ~138 kb in length encoding ~132 genes. The vast majority of these genes allow the virus to replicate in the cytoplasm of the infected host cell and therefore encode proteins involved in replication, transcription and metabolism of nucleic acids. These genes are well conserved between all known genera of poxviruses. There is however another class of genes, located at either end of the linear dsDNA genome, that encode proteins which are non-essential for replication and generally dictate host range and virulence of the virus. The non-essential genes are often the most variable within and between species of virus and therefore are potentially useful for diagnostic purposes. Given their role in subverting the host-immune response to infection they are also targets for novel therapeutics. The function of only a relatively small number of these proteins has been elucidated and there are several genes whose function still remains obscure principally because there is little similarity between them and proteins of known function in current sequence databases. It is thought that by selectively removing some of the virulence genes, or at least neutralising the proteins in some way, current vaccines could be improved. The evolution of poxviruses has been proposed to be an adaptive process involving frequent events of gene gain and loss, such that the virus co-evolves with its specific host. Gene capture or horizontal gene transfer from the host to the virus is considered an important source of new viral genes including those likely to be involved in host range and those enabling the virus to interfere with the host immune response to infection. Given the low rate of nucleotide substitution, recombination can be seen as an essential evolutionary driving force although it is likely underestimated. Recombination in poxviruses is intimately linked to DNA replication with both viral and cellular proteins participate in this recombination-dependent replication. It has been shown, in other poxvirus genera, that recombination between isolates and perhaps even between species does occur, thereby providing another mechanism for the acquisition of new genes and for the rapid evolution of viruses. Such events may result in viruses that have a selective advantage over others, for example in re-infections (a characteristic of the PPV), or in viruses that are able to jump the species barrier and infect new hosts. Sequence data related to viral strains isolated from goats suggest that possible recombination events may have occurred between OV and PCPV (Ueda et al. 2003). The recombination events are frequent during poxvirus replication and comparative genomic analysis of several poxvirus species has revealed that recombinations occur frequently on the right terminal region. Intraspecific recombination can occur between strains of the same PPV species, but also interspecific recombination can happen depending on enough sequence similarity to enable recombination between distinct PPV species. The most important pre-requisite for a successful recombination is the coinfection of the individual host by different virus strains or species. Consequently, the following factors affecting the distribution of different viruses to shared target cells need to be considered: dose of inoculated virus, time interval between inoculation of the first and the second virus, distance between the marker mutations, genetic homology. At present there are no available data on the replication dynamics of PPV in permissive and non permissive hosts and reguarding co-infetions there are no information on the interference mechanisms occurring during the simultaneous replication of viruses of different species. This work has been carried out to set up permissive substrates allowing the replication of different PPV species, in particular keratinocytes monolayers and organotypic skin cultures. Furthermore a method to isolate and expand ovine skin stem cells was has been set up to indeep further aspects of viral cellular tropism during natural infection. The study produced important data to elucidate the replication dynamics of OV and PCPV virus in vitro as well as the mechanisms of interference that can arise during co-infection with different viral species. Moreover, the analysis carried on the genomic right terminal region of PCPV 1303/05 contributed to a better knowledge of the viral genes involved in host interaction and pathogenesis as well as to locate recombination breakpoints and genetic homologies between PPV species. Taken together these data filled several crucial gaps for the study of interspecific recombinations of PPVs which are thought to be important for a better understanding of the viral evolution and to improve the biosafety of antiviral therapy and PPV-based vectors.