503 research outputs found

    The Tropos Software Development Methodology: Processes, Models and Diagrams

    Get PDF
    Tropos is a novel agent-oriented software development methodology founded on two key features: (i) the notions of agent, goal, plan and various other knowledge level concepts are fundamental primitives used uniformly throughout the software development process; and (ii) a crucial role is assigned to requirements analysis and specification when the system-to-be is analyzed with respect to its intended environment. This paper provides a (first) detailed account of the Tropos methodology. In particular, we describe the basic concepts on which Tropos is founded and the types of models one builds out of them. We also specify the analysis process through which design flows from external to system actors through a goal analysis and delegation. In addition, we provide an abstract syntax for Tropos diagrams and other linguistic constructs

    The Use of Near Infrared Reflectance Spectroscopy (NIRS) to Follow the Leaf/Stem Ratio of Legumes During Drying

    Get PDF
    Legume-rich mixed swards allow the production of a high quantity protein-rich forage with low nitrogen input. Nevertheless, during hay or silage making, dry matter losses as high as, 40 and 25 % have been recorded (Ciotti & Cavallero, 1979; Stilmant et al., 2004). These losses have mainly been linked to the high sensitivity to physical loss of legume leaves during drying. The development of a tool to characterise leaf losses or leaf/stem ratio during drying will help us to define the technical approach to reach the best compromise between quality loss reduction and good pre-wilting of legum-rich mixed swards. The aim of the present work was to test the potentialities of near infrared reflectance spectroscopy (NIRS) to quantify legume leaf/stem ratio in mixed grass-legume swards. The mixtures tested were perennial ryegrass-white clover (PR-WC), perennial ryegrass-red clover (PR-RC), timothy-red clover (T-RC) and cocksfoot-lucerne (C-L) swards. This technique has been successfully used to quantify leaf/stem ratio in pure perennial ryegrass swards (Leconte et al. 1999)

    CpG-ODN-induced sustained expression of BTLA mediating selective inhibition of human B cells.

    Get PDF
    BTLA (B- and T-lymphocyte attenuator) is a prominent co-receptor that is structurally and functionally related to CTLA-4 and PD-1. In T cells, BTLA inhibits TCR-mediated activation. In B cells, roles and functions of BTLA are still poorly understood and have never been studied in the context of B cells activated by CpG via TLR9. In this study, we evaluated the expression of BTLA depending on activation and differentiation of human B cell subsets in peripheral blood and lymph nodes. Stimulation with CpG upregulated BTLA, but not its ligand: herpes virus entry mediator (HVEM), on B cells in vitro and sustained its expression in vivo in melanoma patients after vaccination. Upon ligation with HVEM, BTLA inhibited CpG-mediated B cell functions (proliferation, cytokine production, and upregulation of co-stimulatory molecules), which was reversed by blocking BTLA/HVEM interactions. Interestingly, chemokine secretion (IL-8 and MIP1ÎČ) was not affected by BTLA/HVEM ligation, suggesting that BTLA-mediated inhibition is selective for some but not all B cell functions. We conclude that BTLA is an important immune checkpoint for B cells, as similarly known for T cells

    Investigation of the solid/liquid phase transitions in the U–Pu–O system

    Get PDF
    Mixed oxides of uranium and plutonium U1-yPuyO2-x are currently studied as reference fuel for Sodium-cooled Fast Reactors (SFRs). To predict the margin to fuel melting, an accurate description of both solidus and liquidus temperatures of these materials is crucial. In this work, after a critical review of the literature data, the parameters of the liquid phase of the CALPHAD models of the Pu–O and U–Pu–O systems are reassessed based on the model of GuÂŽeneau et al.. A good agreement between the calculated and selected experimental data is obtained. Using this model, the melting behaviour of U1-yPuyO2±x oxides is then studied as a function of plutonium content and oxygen stoichiometry. The congruent melting for the mixed oxides is found to be shifted towards low O/M ratios compared to the end-members (UO1.97 and PuO1.95). The temperature of this congruent melting is nearly constant (3130–3140 K) along a ternary phase boundary from UO1.98 to U0.55Pu0.45O1.82 and then decreases with Pu content to a maximum of approximately 3040 K for PuO1.95. This observation is explained by the stabilisation of the hypo-stoichiometric mixed oxides due to the increase of the configurational entropy at high temperatures by the formation of oxygen vacancies and related cation mixing. The influence of the atmosphere used in the laser heating melting experiments on the oxygen stoichiometry of the sample and its solidus and liquidus temperatures is investigated. The determination of this O/M ratio after laser melting tests using XANES is also reported. The simultaneous presence of U6+, U5+, U4+, Pu3+ and Pu4+ is observed, highlighting the occurrence of charge compensation mechanisms. The samples are highly oxidised in air whereas close to stoichiometry (O/M = 2.00) in argon. These results are in agreement with the computed solidification paths. This work illustrates the complex melting behaviour of the U1-yPuyO2±x fuels and highlights the need for the CALPHAD method to accurately describe and predict the high-temperature transitions of the U–Pu–O system
    • 

    corecore