Expressing Measurement Uncertainty in OCL/UML Datatypes

Uncertainty is an inherent property of any measure or estimation performed in any physical setting, and therefore it needs to be considered when modeling systems that manage real data. Although several modeling languages permit the representation of measurement uncertainty for describing certain system attributes, these aspects are not normally incorporated into their type systems. Thus, operating with uncertain values and propagating uncertainty are normally cumbersome processes, di cult to achieve at the model level. This paper proposes an extension of OCL and UML datatypes to incorporate data uncertainty coming from physical measurements or user estimations into the models, along with the set of operations de ned for the values of these types.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Main outcomes of the Phebus FPT1 uncertainty and sensitivity analysis in the EU-MUSA project

The Management and Uncertainties of Severe Accidents (MUSA) project was funded in HORIZON 2020 and is coordinated by CIEMAT (Spain). The project aims at consolidating a harmonized approach for the analysis of uncertainties and sensitivities associated with Severe Accidents (SAs) analysis, focusing on source term figures of merit. The Application of Uncertainty Quantification (UQ) Methods against Integral Experiments (AUQMIE – Work Package 4 (WP4)), led by ENEA (Italy), was devoted to apply and test UQ methodologies adopting the internationally recognized PHEBUS FPT1 test. FPT1 was chosen to test UQ methodologies because, even though it is a simplified SA scenario, it was representative of the in-vessel phase of a severe accident initiated by a break in the cold leg of a PWR primary circuit. WP4 served as a platform to identify and discuss the issues encountered in the application of UQ methodol ogies to SA analyses (e.g. discuss the UQ methodology, perform the coupling between the SA codes and the UQ tools, define the results post-processing methods, etc.). The purpose of this paper is to describe the MUSA PHEBUS FPT1 uncertainty application exercise with the related specifications and the methodologies used by the partners to perform the UQ exercise. The main outcomes and lessons learned of the analysis are: scripting was in general needed for the SA code and uncertainty tool coupling and to have more flexibility; particular attention should be devoted to the proper choice of the input uncertain parameters; outlier values of figures of merit should be carefully analyzed; the computational time is a key element to perform UQ in SA; the large number of uncertain input parameters may complicate the interpretation of correlation or sensitivity analysis; there is the need for a statistically solid handling of failed calculations

First outcomes from the PHEBUS FPT1 uncertainty application done in the EU MUSA project

The Management and Uncertainties of Severe Accidents (MUSA) project, founded in HORIZON 2020 and coordinated by CIEMAT (Spain), aims to consolidate a harmonized approach for the analysis of uncertainties and sensitivities associated with Severe Accidents (SAs) by focusing on Source Term (ST) Figure of Merits (FOM). In this framework, among the 7 MUSA WPs the Application of Uncertainty Quantification (UQ) Methods against Integral Experiments (AUQMIE – Work Package 4 (WP4)), led by ENEA (Italy), looked at applying and testing UQ methodologies, against the internationally recognized PHEBUS FPT1 test. Considering that FPT1 is a simplified but representative SA scenario, the main target of the WP4 is to train project partners to perform UQ for SA analyses. WP4 is also a collaborative platform for highlighting and discussing results and issues arising from the application of UQ methodologies, already used for design basis accidents, and in MUSA for SA analyses. As a consequence, WP4 application creates the technical background useful for the full plant and spent fuel pool applications planned along the MUSA project, and it also gives a first contribution for MUSA best practices and lessons learned. 16 partners from different world regions are involved in the WP4 activities. The purpose of this paper is to describe the MUSA PHEBUS FPT1 uncertainty application exercise, the methodologies used by the partners to perform the UQ exercise, and the first insights coming out from the calculation phase

Coadministration of the Three Antigenic Leishmania infantum Poly (A) Binding Proteins as a DNA Vaccine Induces Protection against Leishmania major Infection in BALB/c Mice

Highly conserved intracellular proteins from Leishmania have been described as antigens in natural and experimental infected mammals. The present study aimed to evaluate the antigenicity and prophylactic properties of the Leishmania infantum Poly (A) binding proteins (LiPABPs). Three different members of the LiPABP family have been described. Recombinant tools based on these proteins were constructed: recombinant proteins and DNA vaccines. The three recombinant proteins were employed for coating ELISA plates. Sera from human and canine patients of visceral leishmaniasis and human patients of mucosal leishmaniasis recognized the three LiPABPs. In addition, the protective efficacy of a DNA vaccine based on the combination of the three Leishmania PABPs has been tested in a model of progressive murine leishmaniasis: BALB/c mice infected with Leishmania major. The induction of a Th1-like response against the LiPABP family by genetic vaccination was able to down-regulate the IL-10 predominant responses elicited by parasite LiPABPs after infection in this murine model. This modulation resulted in a partial protection against L. major infection. LiPABP vaccinated mice showed a reduction on the pathology that was accompanied by a decrease in parasite burdens, in antibody titers against Leishmania antigens and in the IL-4 and IL-10 parasite-specific mediated responses in comparison to control mice groups immunized with saline or with the non-recombinant plasmid. The results presented here demonstrate for the first time the prophylactic properties of a new family of Leishmania antigenic intracellular proteins, the LiPABPs. The redirection of the immune response elicited against the LiPABP family (from IL-10 towards IFN-γ mediated responses) by genetic vaccination was able to induce a partial protection against the development of the disease in a highly susceptible murine model of leishmaniasisThe study was supported in Spain by grants from Ministerio de Ciencia e Innovación FIS PI11/00095 and FISPI14/00366 from the Instituto de Salud Carlos III within the Network of TropicalDiseases Research (VI P I+D+I 2008-2011, ISCIII -Subdirección General de Redes y Centros de Investigación Cooperativa (RD12/0018/0009)). This work was also supported in Brazil by a grant from CNPq (Ciencia sem Fronteiras-PVE 300174/2014-4). A CBMSO institutional grant from Fundación Ramón Areces is also acknowledged. EAFC is a grant recipient of CNPq. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscrip