Performance evaluation of Fractal component based systems

International audienceComponent based system development is now a well accepted design approach in software engineering. Numerous component models have been proposed and for most of them, specific software tools allow building Component Based System (CBS). Although these tools perform several checks on the built system, few of them provide formal verification of behavioural properties nor performance evaluation of the resulting system. In this context, we have developed a general method associating to a CBS, a formal model, based on Stochastic Well formed Nets, a class of high level Petri Nets, allowing qualitative behavioural analysis together with performance evaluation of this CBS. The definition of the model heavily depends on the (run time) component model used to describe the CBS. In this paper, we instantiate our method to Fractal CBS and its reference Java implementation Julia. The method starts from the Fractal architectural description of a system, and defines rules to systematically generate elements models of the CBS and their interactions. We then apply a structured method both for qualitative and performance analysis taking into account the given implementation of the Fractal model. The main interest of our method is to take advantage of the compositional definition of such systems to carry out an efficient analysis. The paper concentrates on performance evaluation and presents our method step by step with an illustrative example

Research Activities for the DORIS Contribution to the Next International Terrestrial Reference Frame

For the preparation of ITRF2008, the IDS processed data from 1993 to 2008, including data from TOPEX/Poseidon, the SPOT satellites and Envisat in the weekly solutions. Since the development of ITRF2008, the IDS has been engaged in a number of efforts to try and improve the reference frame solutions. These efforts include (i) assessing the contribution of the new DORIS satellites, Jason-2 and Cryosat2 (2008-2011), (ii) individually analyzing the DORIS satellite contributions to geocenter and scale, and (iii) improving orbit dynamics (atmospheric loading effects, satellite surface force modeling. . . ). We report on the preliminary results from these research activities, review the status of the IDS combination which is now routinely generated from the contributions of the IDS analysis centers, and discuss the prospects for continued improvement in the DORIS contribution to the next international reference frame

Calibration of quasi-static aberrations in exoplanet direct-imaging instruments with a Zernike phase-mask sensor. II. Concept validation with ZELDA on VLT/SPHERE

Warm or massive gas giant planets, brown dwarfs, and debris disks around nearby stars are now routinely observed by dedicated high-contrast imaging instruments on large, ground-based observatories. These facilities include extreme adaptive optics (ExAO) and state-of-the-art coronagraphy to achieve unprecedented sensitivities for exoplanet detection and spectral characterization. However, differential aberrations between the ExAO sensing path and the science path represent a critical limitation for the detection of giant planets with a contrast lower than a few $10^{-6}$ at very small separations (<0.3\as) from their host star. In our previous work, we proposed a wavefront sensor based on Zernike phase contrast methods to circumvent this issue and measure these quasi-static aberrations at a nanometric level. We present the design, manufacturing and testing of ZELDA, a prototype that was installed on VLT/SPHERE during its reintegration in Chile. Using the internal light source of the instrument, we performed measurements in the presence of Zernike or Fourier modes introduced with the deformable mirror. Our experimental and simulation results are consistent, confirming the ability of our sensor to measure small aberrations (<50 nm rms) with nanometric accuracy. We then corrected the long-lived non-common path aberrations in SPHERE based on ZELDA measurements. We estimated a contrast gain of 10 in the coronagraphic image at 0.2\as, reaching the raw contrast limit set by the coronagraph in the instrument. The simplicity of the design and its phase reconstruction algorithm makes ZELDA an excellent candidate for the on-line measurements of quasi-static aberrations during the observations. The implementation of a ZELDA-based sensing path on the current and future facilities (ELTs, future space missions) could ease the observation of the cold gaseous or massive rocky planets around nearby stars.Comment: 13 pages, 12 figures, A&A accepted on June 3rd, 2016. v2 after language editin

Semi-kinematic mount of the FIREBALL large optics

In the context of the NASA CNES FIREBALL balloon borne experiment, we present the design of a semi-kinematic mount to hold the 1 meter class mirrors of this mission. To maintain these large optics in a reasonable mass and price budgets we choose thin ULE mirrors with a thickness over diameter ratio of 1/16. Such thin mirrors require a multi support mount to reduce self weight deflection. Classical multi support mount used for ground based telescope would not survive the level of shock observed in a balloon experiment either at parachute opening or landing. To firmly maintain these mirrors in several points without noticeably deforming them we investigated the design of a two stages semi-kinematic mount composed of 24 monopods. We present the detailed design of this innovative mirror mount, the finite element modeling with the deduced optical wavefront deformation. During the FIREBALL integration and flight campaign in July 2007 at CSBF, we confirmed the validity of the mechanical concept by obtaining an image quality well within the required specifications. Variants of this approach are potentially applicable to large thin mirrors on ground-based observatories

APRIL is overexpressed in cancer: link with tumor progression

<p>Abstract</p> <p>Background</p> <p>BAFF and APRIL share two receptors – TACI and BCMA – and BAFF binds to a third receptor, BAFF-R. Increased expression of BAFF and APRIL is noted in hematological malignancies. BAFF and APRIL are essential for the survival of normal and malignant B lymphocytes, and altered expression of BAFF or APRIL or of their receptors (BCMA, TACI, or BAFF-R) have been reported in various B-cell malignancies including B-cell non-Hodgkin's lymphoma, chronic lymphocytic leukemia, Hodgkin's lymphoma, multiple myeloma, and Waldenstrom's macroglobulinemia.</p> <p>Methods</p> <p>We compared the expression of <it>BAFF, APRIL, TACI and BAFF-R </it>gene expression in 40 human tumor types – brain, epithelial, lymphoid, germ cells – to that of their normal tissue counterparts using publicly available gene expression data, including the Oncomine Cancer Microarray database.</p> <p>Results</p> <p>We found significant overexpression of <it>TACI </it>in multiple myeloma and thyroid carcinoma and an association between TACI expression and prognosis in lymphoma. Furthermore, <it>BAFF and APRIL </it>are overexpressed in many cancers and we show that <it>APRIL </it>expression is associated with tumor progression. We also found overexpression of at least one proteoglycan with heparan sulfate chains (HS), which are coreceptors for APRIL and TACI, in tumors where APRIL is either overexpressed or is a prognostic factor. APRIL could induce survival or proliferation directly through HS proteoglycans.</p> <p>Conclusion</p> <p>Taken together, these data suggest that APRIL is a potential prognostic factor for a large array of malignancies.</p

Implantable photonic neural probes for light-sheet fluorescence brain imaging

Significance: Light-sheet fluorescence microscopy (LSFM) is a powerful technique for highspeed volumetric functional imaging. However, in typical light-sheet microscopes, the illumination and collection optics impose significant constraints upon the imaging of non-transparent brain tissues. We demonstrate that these constraints can be surmounted using a new class of implantable photonic neural probes.Aim: Mass manufacturable, silicon-based light-sheet photonic neural probes can generate planar patterned illumination at arbitrary depths in brain tissues without any additional micro-optic components.Approach: We develop implantable photonic neural probes that generate light sheets in tissue. The probes were fabricated in a photonics foundry on 200-mm-diameter silicon wafers. The light sheets were characterized in fluorescein and in free space. The probe-enabled imaging approach was tested in fixed, in vitro, and in vivo mouse brain tissues. Imaging tests were also performed using fluorescent beads suspended in agarose.Results: The probes had 5 to 10 addressable sheets and average sheet thicknesses Conclusions: The neural probes can lead to new variants of LSFM for deep brain imaging and experiments in freely moving animals

Differential effects of lenalidomide during plasma cell differentiation.

Thalidomide, lenalidomide and pomalidomide have greatly improved the outcome of patients with multiple myeloma. However, their effects on plasma cells, the healthy counterpart of myeloma cells, are unknown. Here, we investigated lenalidomide effects on normal human plasma cell generation using an in vitro model. Lenalidomide inhibited the generation of pre-plasmablasts and early plasma cells, while it moderately affected plasmablast production. It also reduced the expression level of Ikaros, Aiolos, and IRF4 transcription factors, in plasmablasts and early plasma cells. This suggests that their differential sensitivity to lenalidomide is not due to a difference in Ikaros or Aiolos degradation. Lenalidomide also inhibited long-lived plasma cell generation, but did not impair their long-term survival once generated. This last observation is in agreement with the finding that lenalidomide treatment for 3-18 months did not affect the bone marrow healthy plasma cell count in allografted patients with multiple myeloma. Our findings should prompt to investigate whether lenalidomide resistance in patients with multiple myeloma could be associated with the emergence of malignant plasmablasts or long-lived plasma cells that are less sensitive to lenalidomide

Semi-kinematic mount of the FIREBALL large optics

In the context of the NASA CNES FIREBALL balloon borne experiment, we present the design of a semi-kinematic mount to hold the 1 meter class mirrors of this mission. To maintain these large optics in a reasonable mass and price budgets we choose thin ULE mirrors with a thickness over diameter ratio of 1/16. Such thin mirrors require a multi support mount to reduce self weight deflection. Classical multi support mount used for ground based telescope would not survive the level of shock observed in a balloon experiment either at parachute opening or landing. To firmly maintain these mirrors in several points without noticeably deforming them we investigated the design of a two stages semi-kinematic mount composed of 24 monopods. We present the detailed design of this innovative mirror mount, the finite element modeling with the deduced optical wavefront deformation. During the FIREBALL integration and flight campaign in July 2007 at CSBF, we confirmed the validity of the mechanical concept by obtaining an image quality well within the required specifications. Variants of this approach are potentially applicable to large thin mirrors on ground-based observatories

Cold season emissions dominate the Arctic tundra methane budget

Arctic terrestrial ecosystems are major global sources of methane (CH4); hence, it is important to understand the seasonal and climatic controls on CH4 emissions from these systems. Here, we report year-round CH4 emissions from Alaskan Arctic tundra eddy flux sites and regional fluxes derived from aircraft data. We find that emissions during the cold season (September to May) account for >= 50% of the annual CH4 flux, with the highest emissions from noninundated upland tundra. A major fraction of cold season emissions occur during the "zero curtain" period, when subsurface soil temperatures are poised near 0 degrees C. The zero curtain may persist longer than the growing season, and CH4 emissions are enhanced when the duration is extended by a deep thawed layer as can occur with thick snow cover. Regional scale fluxes of CH4 derived from aircraft data demonstrate the large spatial extent of late season CH4 emissions. Scaled to the circumpolar Arctic, cold season fluxes from tundra total 12 +/- 5 (95% confidence interval) Tg CH4 y(-1), similar to 25% of global emissions from extratropical wetlands, or similar to 6% of total global wetland methane emissions. The dominance of late-season emissions, sensitivity to soil environmental conditions, and importance of dry tundra are not currently simulated in most global climate models. Because Arctic warming disproportionally impacts the cold season, our results suggest that higher cold-season CH4 emissions will result from observed and predicted increases in snow thickness, active layer depth, and soil temperature, representing important positive feedbacks on climate warming.Peer reviewe