Definition, realization and evaluation of a software reference architecture for use in space applications

A recent initiative of the European Space Agency (ESA) aims at the definition and adoption of a software reference architecture for use in on-board software of future space missions. Our PhD project placed in the context of that effort. At the outset of our work we gathered all the industrial needs relevant to ESA and all the main European space stakeholders and we were able to consolidate a set of technical high-level requirements for the fulfillment of them. The conclusion we reached from that phase confirmed that the adoption of a software reference architecture was indeed the best solution for the fulfillment of the high-level requirements. The software reference architecture we set on building rests on four constituents: (i) a component model, to design the software as a composition of individually verifiable and reusable software units; (ii) a computational model, to ensure that the architectural description of the software is statically analyzable; (iii) a programming model, to ensure that the implementation of the design entities conforms with the semantics, the assumptions and the constraints of the computational model; (iv) a conforming execution platform, to actively preserve at run time the properties asserted by static analysis. The nature, feasibility and fitness of constituents (ii), (iii) and (iv), were already proved by the author in an international project that preceded the commencement of the PhD work. The core of the PhD project was therefore centered on the design and prototype implementation of constituent (i), a component model. Our proposed component model is centered on: (i) rigorous separation of concerns, achieved with the support for design views and by careful allocation of concerns to the dedicated software entities; (ii) the support for specification and model-based analysis of extra-functional properties; (iii) the inclusion space-specific concerns.

Autoantibodies in patients with psoriasis on anti-TNFalpha therapy

Introduction: Anti-TNF-alfa therapy has been effective in the treatment of patients with refractory psoriasis and psoriasic arthritis. However, the risk of developing autoantibodies in these patients undergoing this therapy is not clear. Objective: To evaluate the induction of specific autoantibodies after anti-TNFα therapy in patients with psoriasis and psoriasic arthritis and, to evaluate the influence of the use of methotrexate on the values of autoantibodies developed during this therapy. Patients and methods: Serum samples from 120 patients, obtained before(baseline) the introduction of anti-TNF-alpha therapy and approximately each 3-6 months during the therapy.O f these 120 patients, 113 were found negative for autoantibodies before starting anti -TNFalpha therapy, 7 were found positive for ANA. The analysis included detection of antinuclear antibodies (ANA) and anti-dsDNA antibodies (indirect immunofluorescence on Hep-2 cells and Crithidia luciliae, respectively); anti extractable nuclear antigens antibodies( ENA)(ELISA). RESULTS: Infliximab is associated with the highest occurrence rate of ANA, anti-dsDNA, ENA with approximately 69,2%, 11,5%, 7,6% of patients treated testing positive. In comparison, only 20%, 6,6%, 2,2% of patients treated with Adalimumab, and 19%, 2,3%, 2,3% of patients treated with Etanercept were positive for ANA, Anti-dsDNA, ENA respectively. As regard the seven patients who were positive at baseline, six of them (85.7%) in addition to being remained positive during the therapy they have also increased the autoantibodies ’s titers. Conclusion: our study have shown that Infliximab is associated with the highest rate of autoantibodies. The concomitant treatment with methotrexate did not modify the titers of autoantibodies developed during the therapy anti-TNFalph. The incidence of ANA, anti-dsDNA antibodies did not correlate with development of Lupus-like syndromes. The difference in the frequency of autoantibodies between psoriasis and psoriatic arthritis was not statistically significant (p = 0.867).

Valutazione del rilascio ionico in pazienti portatori di protesi di rivestimento d'anca BHR: confronto a lungo termine con artroplastica totale d'anca metallo-metallo

Lo scopo di questo studio è stato quello di determinare se a lungo termine le concentrazioni sieriche di ioni nei pazienti con protesi di rivestimento d’anca metallo-metallo (MOM-HR, metal-on-metal hip resurfacing) fossero differenti da quelle valutate nei pazienti con protesi totale d’anca metallo-metallo e testa del diametro di 28 mm (MOM-THA, metal-on-metal total hip arthroplasty); inoltre è stato valutato se le concentrazioni ioniche fossero al di sopra dei valori di riferimento e se fosse possibile stabilire l’esistenza di una relazione tra sesso e concentrazioni di ioni con riferimento al tipo di impianto. Il gruppo MOM-HR era costituito da 25 pazienti mentre il gruppo MOM-THA era di 16 pazienti. Per poter ricavare i valori di riferimento sono stati reclutati 48 donatori sani. La misurazione delle concentrazioni degli ioni cobalto (Co), cromo (Cr), nickel (Ni) e molibdeno (Mo) è stata effettuata utilizzando la spettrofotometria ad assorbimento atomico su fornace di grafite. A parte il Ni, le concentrazioni di ioni nei pazienti con MOM-HR erano più elevate rispetto ai controlli. Il rilascio di ioni Cr e Co nei pazienti con MOM-HR è risultato superiore rispetto ai soggetti con MOM-THA. Da un’analisi basata sul sesso, è emerso che nelle femmine con MOM-HR i livelli di ioni Cr e Co sono risultati significativamente aumentati rispetto alle femmine con MOM-THA. Indipendentemente dal tipo di impianto, gli accoppiamenti metallo-metallo (MOM) producono concentrazioni di ioni metallici significativamente più alte a follow-up a lungo termine rispetto a quelle osservate nei soggetti sani. Un fattore che deve essere attentamente considerato nella scelta dell’impianto, e in particolar modo nei soggetti giovani, è il cospicuo rilascio di ioni Cr e Co nella popolazione femminile con MOM-HR.

Networking: the "making of" social networks. A closer look at the process and antecedents of some resourcing-oriented behaviors in organizations.

Social networks are one of the “hot” themes in people’s life and contemporary social research. Considering our “embeddedness” in a thick web of social relations is a study perspective that could unveil a number of explanations of how people may manage their personal and social resources. Looking at people’s behaviors of building and managing their social networks, seems to be an effective way to find some possible rationalization about how to help people getting the best from their resources . The main aim of this dissertation is to give a closer look at the role of networking behaviors. Antecedents, motivations, different steps and measures about networking behaviors and outcomes are analyzed and discussed. Results seem to confirm, in a different setting and time perspective, that networking behaviors include different types and goals that change over time. Effects of networking behaviors seem to find empirical confirmation through social network analysis methods. Both personality and situational self-efficacy seem to predict networking behaviors. Different types of motivational drivers seem to be related to diverse networking behaviors.

Identificazione di possibili unita' di stock di Anguilla anguilla mediante analisi microchimica e morfometrica degli otoliti

L’anguilla europea, è una specie eurialina catadroma con un complesso ciclo biologico: l’area di riproduzione, unica, si trova molto distante da quella di distribuzione. La specie necessita di una gestione dello stock a fini conservazionistici. Il problema è europeo: lo stock è unico, distribuito in Europa e nell’Africa settentrionale, si riproduce in Atlantico ed è panmittico. C’è preoccupazione per il declino del reclutamento e delle catture di adulti. Lo scopo del progetto è di individuare possibili unità di stock nella penisola italiana. La ricerca è basata sullo studio degli otoliti mediante analisi morfometrica e microchimica. I contorni degli otoliti sono sottoposti ad analisi ellittica di Fourier per individuare eventuali gruppi. Gli otoliti sono stati levigati per effettuare: letture d’età, indagini microstrutturali al SEM delle fasi larvali, analisi microchimiche LA-ICP-MS del nucleo, studiarne l’origine e valutare l’ambiente di sviluppo. Le indagini morfometriche mostrano evidenti pattern ontogenetici, ma non legati ocorrelati alla località, sesso o anno di nascita. Le indagini microstrutturali hanno evidenziano l’alto contenuto organico nucleare, un pattern comune di crescita ed eventi chiave delle fasi larvali, con una media di 212 anelli giornalieri. La microchimica rivela che le larve si sviluppano in acque salate fino alla metamorfosi, poi migrano verso acque meno salate. Le analisi su campioni nati nello stesso anno, evidenziano due gruppi: individui di rimonta naturale e individui di ripopolamento. I profili nucleo bordo evidenziano la permanenza a salinità intermedie degli adulti. L’attività di ricerca si è dimostrata proficua dal punto di vista tecnico con la messa a punto di protocolli innovativi e con forti ricadute sulla riduzione dei tempi e costi d’analisi. Il debole segnale di possibili unità di stock andrà verificato in futuro mediante analisi più dettagliate discriminando meglio la storia di ogni singolo individuo.

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.

Multimodal (EEG-fMRI) functional connectivity study of levodopa effect in Parkinson’s disease

Aim: To assess if the intake of levodopa in patients with Parkinson’s Disease (PD) changes cerebral connectivity, as revealed by simultaneous recording of hemodynamic (functional MRI, or fMRI) and electric (electroencephalogram, EEG) signals. Particularly, we hypothesize that the strongest changes in FC will involve the motor network, which is the most impaired in PD. Methods: Eight patients with diagnosis of PD “probable”, therapy with levodopa exclusively, normal cognitive and affective status, were included. Exclusion criteria were: moderate-severe rest tremor, levodopa induced dyskinesia, evidence of gray or white matter abnormalities on structural MRI. Scalp EEG (64 channels) were acquired inside the scanner (1.5 Tesla) before and after the intake of levodopa. fMRI functional connectivity was computed from four regions of interest: right and left supplementary motor area (SMA) and right and left precentral gyrus (primary motor cortex). Weighted partial directed coherence (w-PDC) was computed in the inverse space after the removal of EEG gradient and cardioballistic artifacts. Results and discussion: fMRI group analysis shows that the intake of levodopa increases hemodynamic functional connectivity among the SMAs / primary motor cortex and: sensory-motor network itself, attention network and default mode network. w-PDC analysis shows that EEG connectivity among regions of the motor network has the tendency to decrease after the intake the levodopa; furthermore, regions belonging to the DMN have the tendency to increase their outflow toward the rest of the brain. These findings, even if in a small sample of patients, suggest that other resting state physiological functional networks, beyond the motor one, are affected in patients with PD. The behavioral and cognitive tasks corresponding to the affected networks could benefit from the intake of levodopa.

Genetic basis of variation for root traits and response to heat stress in durum wheat

Durum wheat is the second most important wheat species worldwide and the most important crop in several Mediterranean countries including Italy. Durum wheat is primarily grown under rainfed conditions where episodes of drought and heat stress are major factors limiting grain yield. The research presented in this thesis aimed at the identification of traits and genes that underlie root system architecture (RSA) and tolerance to heat stress in durum wheat, in order to eventually contribute to the genetic improvement of this species. In the first two experiments we aimed at the identification of QTLs for root trait architecture at the seedling level by studying a bi-parental population of 176 recombinant inbred lines (from the cross Meridiano x Claudio) and a collection of 183 durum elite accessions. Forty-eight novel QTLs for RSA traits were identified in each of the two experiments, by means of linkage- and association mapping-based QTL analysis, respectively. Important QTLs controlling the angle of root growth in the seedling were identified. In a third experiment, we investigated the phenotypic variation of root anatomical traits by means of microscope-based analysis of root cross sections in 10 elite durum cultivars. The results showed the presence of sizeable genetic variation in aerenchyma-related traits, prompting for additional studies aimed at mapping the QTLs governing such variation and to test the role of aerenchyma in the adaptive response to abiotic stresses. In the fourth experiment, an association mapping experiment for cell membrane stability at the seedling stage (as a proxy trait for heat tolerance) was carried out by means of association mapping. A total of 34 QTLs (including five major ones), were detected. Our study provides information on QTLs for root architecture and heat tolerance which could potentially be considered in durum wheat breeding programs.