Tools for monitoring and controlling distributed applications

The Meta system is a UNIX-based toolkit that assists in the construction of reliable reactive systems, such as distributed monitoring and debugging systems, tool integration systems and reliable distributed applications. Meta provides mechanisms for instrumenting a distributed application and the environment in which it executes, and Meta supplies a service that can be used to monitor and control such an instrumented application. The Meta toolkit is built on top of the ISIS toolkit; they can be used together in order to build fault-tolerant and adaptive, distributed applications

Nuclear loads and nuclear shielding performance of EU DEMO divertor: A comparative neutronics evaluation of two interim design options

In a demonstrational fusion power plant (DEMO), divertor is supposed to protect vacuum vessel and superconducting magnets against neutron flux in the bottom region of the vessel. The vessel is subject to a strict design limit in irradiation damage dose and the magnets in nuclear heating power, respectively. Thus, the DEMO divertor must have the capability to protect sufficiently the vessel and the magnets against neutron flux being substantially stronger than in ITER.In this paper, a first systematic neutronics study for the European DEMO divertor is reported. Results of the extensive assessment of key nuclear loading features (nuclear heating, irradiation damage & helium production) are presented for two optional concepts, namely, dome and shielding liner including minor geometrical variants. The shielding performance of the two competing design options is discussed together with the case of a bare cassette (no shielding), particularly in terms of damage dose compared with the design limits specified for the European DEMO.It was found that both the dome and shielding liner were able to significantly reduce the nuclear loads in the cassette body and the vessel. The maximum damage dose at the end of the lifetime remained subcritical for the cassette body for both cases whereas it exceeded the limit for the vessel under the dome, but only locally on the surface underneath the pumping duct. But, the damage could be reduced below the limit for the vessel by increasing the size of the dome or by deploying the shielding liner. The most critical feature was the excessive damage occurring in the own body of the shielding components where the maximum damage dose in the steel heat sink of the dome and the shielding liner far exceeded the design limit at the end of the lifetime

Towards realistic laparoscopic image generation using image-domain translation

Background and ObjectivesOver the last decade, Deep Learning (DL) has revolutionized data analysis in many areas, including medical imaging. However, there is a bottleneck in the advancement of DL in the surgery field, which can be seen in a shortage of large-scale data, which in turn may be attributed to the lack of a structured and standardized methodology for storing and analyzing surgical images in clinical centres. Furthermore, accurate annotations manually added are expensive and time consuming. A great help can come from the synthesis of artificial images; in this context, in the latest years, the use of Generative Adversarial Neural Networks (GANs) achieved promising results in obtaining photo-realistic images. MethodsIn this study, a method for Minimally Invasive Surgery (MIS) image synthesis is proposed. To this aim, the generative adversarial network pix2pix is trained to generate paired annotated MIS images by transforming rough segmentation of surgical instruments and tissues into realistic images. An additional regularization term was added to the original optimization problem, in order to enhance realism of surgical tools with respect to the background. Results Quantitative and qualitative (i.e., human-based) evaluations of generated images have been carried out in order to assess the effectiveness of the method. ConclusionsExperimental results show that the proposed method is actually able to translate MIS segmentations to realistic MIS images, which can in turn be used to augment existing data sets and help at overcoming the lack of useful images; this allows physicians and algorithms to take advantage from new annotated instances for their training

Preliminary engineering assessment of alternative magnetic divertor configurations for EU-DEMO

One of the main challenges in the roadmap to the realization of fusion energy is to develop a heat and power exhaust system able to withstand the large loads expected in the divertor of a fusion power plant. The challenge of reducing the heat load on the divertor targets is addressed, within the mission 2 \u2018Heat-exhaust systems\u2019, through the investigation of divertor configurations alternative to the standard Single Null (SN), such as the Snowflake (SF), Double Null (DN), X and Super-X (SX) divertors. This paper focuses on a preliminary engineering assessment of the alternative configurations proposed for the EU DEMO reactor. Starting from the description of the optimized plasma shape developed for each configuration, the 3D geometrical description of the Magnet System and of the main Mechanical Structures (Vacuum Vessel and in-vessel components) is presented. Based on the 3D geometry, the compatibility of the location and dimensions of ports with Remote Maintenance needs is discussed and possible design optimizations are proposed both for the Magnets system and the mechanical structures design. Finally, the various configurations are compared with regard to the engineering and feasibility aspects

Ammonium formate-Pd/C as a new reducing system for 1,2,4-oxadiazoles. Synthesis of guanidine derivatives and reductive rearrangement to quinazolin-4-ones with potential anti-diabetic activity

1,2,4-Oxadiazole is a heterocycle with wide reactivity and many useful applications. The reactive O-N bond is usually reduced using molecular hydrogen to obtain amidine derivatives. NH4 CO2 H-Pd/C is here demonstrated as a new system for the O-N reduction, allowing us to obtain differently substituted acylamidine, acylguanidine and diacylguanidine derivatives. The proposed system is also effective for the achievement of a reductive rearrangement of 5-(2′-aminophenyl)-1,2,4-oxadiazoles into 1-alkylquinazolin-4(1H)-ones. The alkaloid glycosine was also obtained with this method. The obtained compounds were preliminarily tested for their biological activity in terms of their cytotoxicity, induced oxidative stress, α-glucosidase and DPP4 inhibition, showing potential application as anti-diabetics

Do mast cells help to induce angiogenesis in B-cell non-Hodgkin's lymphomas?

Morphological and morphometric data showing a higher number of mast cells (MCs) in the stroma of B-cell non-Hodgkin's lymphomas (B-NHL) than in benign lymphadenopathies are presented in support of the suggestion that angiogenesis during the progression of B-NHL may be partly mediated by angiogenic factors in their secretory granules

Monitoring Partially Synchronous Distributed Systems using SMT Solvers

In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions among concurrent processes. We present a monitoring framework where we model both system constraints and latent bugs as Satisfiability Modulo Theories (SMT) formulas, and we detect the presence of latent bugs using an SMT solver. We demonstrate the feasibility of our framework using both synthetic applications where latent bugs occur at any time with random probability and an application involving exclusive access to a shared resource with a subtle timing bug. We illustrate how the time required for verification is affected by parameters such as communication frequency, latency, and clock skew. Our results show that our framework can be used for real-life applications, and because our framework uses SMT solvers, the range of appropriate applications will increase as these solvers become more efficient over time.Comment: Technical Report corresponding to the paper accepted at Runtime Verification (RV) 201

Cardiac effect of thyrotoxicosis in acromegaly

Cardiac structure and function are affected both by acromegaly and hyperthyroidism. Whereas the former is mainly characterized by ventricular hypertrophy as well as diastolic and systolic impairment, the latter frequently leads to increased heart rate and enhancement of contractility and cardiac output. To further investigate this issue, we designed this two-arm study. In the first cross-sectional study, we compared echocardiography and radionuclide angiography results obtained in eight hyperthyroid acromegalic patients, eight hyperthyroid nonacromegalic patients, and eight healthy subjects. All acromegalic patients were receiving treatment for acromegaly at the onset of hyperthyroidism. In the second longitudinal study, performed in the group of acromegalic patients, we compared the cardiovascular results obtained during hyperthyroidism with the retrospective data obtained at the initial diagnosis of acromegaly and after 1-yr treatment for this disease and those prospective data obtained during the remission of hyperthyroidism. In the cross-sectional study, hyperthyroid acromegalic patients showed an increase in the left ventricular (LV) mass index (LVMi) compared to healthy and hyperthyroid controls (P < 0.05), with evidence of LVMi hypertrophy in five of them (62.5%). A significant correlation was found between LVMi and GH levels (r = 0.785; P < 0.05). The LV ejection fraction (LVEF) at rest was higher in the control hyperthyroid population than in healthy controls (P < 0.05), whereas the LVEF response to exercise was reduced in acromegalic patients (P < 0.05 vs. healthy controls). In acromegalics, the exercise-induced change in LVEF was significantly reduced compared to that in healthy controls (P < 0.001), but not to that in hyperthyroid controls (P < 0.07), being abnormal (<5% increase vs. baseline values) in six patients. Four of these six patients (66%) had elevated GH and insulin-like growth factor I levels during the treatment of acromegaly. An inverse correlation between GH and LVEF at rest (r = -0.896;P < 0.05) and at peak exercise (r = -0.950; P < 0.001) was recorded. The peak filling rate was reduced in hyperthyroid acromegalic patients compared to those in both control populations (P < 0.05). In the longitudinal study, acromegalic patients showed an increased LVMi during hyperthyroidism compared to that observed after successful treatment of acromegaly (P < 0.05); resting LVEF was increased compared to both basal (P < 0.001) and posttreatment values (P < 0.05). However, the exercise-induced change in LVEF was reduced (P < 0.05 vs. previous follow-up values). Remission of hyperthyroidism led to significant reduction of LVMi (P < 0.05) and resting LVEF (P < 0.05) and an increase in exercise-induced LVEF (P < 0.05). In light of these findings, hyperthyroidism produces a detrimental effect on the cardiovascular system of acromegalic patients, particularly in those with uncontrolled disease. Thus, control of GH and insulin-like growth factor I should be a major objective, as cardiovascular risk persists in patients with ineffective hormonal suppression, and constant endocrine and cardiovascular surveillance remain crucial steps in patient follow-up

Systems engineering approach for pre-conceptual design of DEMO divertor cassette

Abstract This paper presents the pre-conceptual design activities conducted for the European DEMO divertor, focusing on cassette design and Plasma Facing Components (PFC) integration. Following the systems engineering principles, a systematic design method, the Iterative and Participative Axiomatic Design Process (IPADeP), has been adopted. Basing on Axiomatic Design, IPADeP supports the early conceptual design of complex systems. The work moved from the geometrical and interface constraints imposed by the 2015 DEMO configuration model. Then, since different materials will be used for cassette and PFCs, the divertor geometry has been developed taking into account the cooling parameters of the cassette Eurofer steel and the integration of PFCs cooling system. Accordingly, the design process led to a double wall cassette structure with internal reinforcing ribs to withstand cassette coolant pressure and three different kinds of piping schemes for PFCs with dual circuits. These three solutions differs in the feeding pipes layouts and target manifold protection and they have been proposed and evaluated considering heat flux issues, shielding problems, interface requirements with blanket and vacuum vessel and remote maintenance needs. A cassette parametric shell model has been used to perform first structural analyses of the cassette body against coolant pressure. Taking advantages of the parametric surface modelling and its linkage with Finite Element (FE) code, the cassette ribs layout and thickness has been evaluated and optimized, considering at the same time the structural strength needed to withstand the coolant parameters and the maximum stiffness required for cassette preloading and locking needs