QuantUM: Quantitative Safety Analysis of UML Models

When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day work. This is mainly due to the lack of methods that can be directly applied to architecture level models, for instance given as UML diagrams. Also, it is necessary that the description methods used do not require a profound knowledge of formal methods. Our approach bridges this gap and improves the integration of quantitative safety analysis methods into the development process. All inputs of the analysis are specified at the level of a UML model. This model is then automatically translated into the analysis model, and the results of the analysis are consequently represented on the level of the UML model. Thus the analysis model and the formal methods used during the analysis are hidden from the user. We illustrate the usefulness of our approach using an industrial strength case study.Comment: In Proceedings QAPL 2011, arXiv:1107.074

Planet Hunters VII. Discovery of a New Low-Mass, Low-Density Planet (PH3 c) Orbiting Kepler-289 with Mass Measurements of Two Additional Planets (PH3 b and d)

We report the discovery of one newly confirmed planet ($P=66.06$ days, $R_{\rm{P}}=2.68\pm0.17R_\oplus$) and mass determinations of two previously validated Kepler planets, Kepler-289 b ($P=34.55$ days, $R_{\rm{P}}=2.15\pm0.10R_\oplus$) and Kepler-289-c ($P=125.85$ days, $R_{\rm{P}}=11.59\pm0.10R_\oplus$), through their transit timing variations (TTVs). We also exclude the possibility that these three planets reside in a $1:2:4$ Laplace resonance. The outer planet has very deep ($\sim1.3$), high signal-to-noise transits, which puts extremely tight constraints on its host star's stellar properties via Kepler's Third Law. The star PH3 is a young ($\sim1$ Gyr as determined by isochrones and gyrochronology), Sun-like star with $M_*=1.08\pm0.02M_\odot$, $R_*=1.00\pm0.02R_\odot$, and $T_{\rm{eff}}=5990\pm38$ K. The middle planet's large TTV amplitude ($\sim5$ hours) resulted either in non-detections or inaccurate detections in previous searches. A strong chopping signal, a shorter period sinusoid in the TTVs, allows us to break the mass-eccentricity degeneracy and uniquely determine the masses of the inner, middle, and outer planets to be $M=7.3\pm6.8M_\oplus$, $4.0\pm0.9M_\oplus$, and $M=132\pm17M_\oplus$, which we designate PH3 b, c, and d, respectively. Furthermore, the middle planet, PH3 c, has a relatively low density, $\rho=1.2\pm0.3$ g/cm$^3$ for a planet of its mass, requiring a substantial H/He atmosphere of $2.1^{+0.8}_{-0.3}$ by mass, and joins a growing population of low-mass, low-density planets.Comment: 21 pages, 10 figures, 5 tables, accepted into Ap

Dietary isoflavones differentially induce gene expression changes in lymphocytes from postmenopausal women who form equol as compared with those who do not

Human and animal studies suggest that dietary soy isoflavones reduce cancer risk, ameliorate postmenopausal syndrome and decrease bone resorption in postmenopausal women. The capacity to form the metabolite equol from daidzein is suggested as an important modulator of response to isoflavones; this capacity depends on gut colonization with appropriate bacteria. We administered a dietary supplement containing high-dose purified soy isoflavones (genistein, 558 mg/day; daidzein, 296 mg/day; and glycitein, 44 mg/day) to 30 postmenopausal women for 84 days and collected peripheral lymphocytes at timed intervals. Using microarray analysis, we determined whether changes in gene expression associated with this treatment support existing hypotheses as to isoflavones' mechanisms of action. Expression of a large number of genes was altered by isoflavone treatment, including induction of genes associated with cyclic adenosine 3′,5′-monophosphate (cAMP) signaling and cell differentiation and decreased expression of genes associated with cyclin-dependent kinase activity and cell division. We report that isoflavone treatment in subjects who have the capacity to produce equol differentially affects gene expression as compared with nonproducers, supporting the plausibility of the importance of equol production. In general, isoflavones had a stronger effect on some putative estrogen-responsive genes in equol producers than in nonproducers. Our study suggests that, in humans, isoflavone changes are related to increased cell differentiation, increased cAMP signaling and G-protein-coupled protein metabolism and increased steroid hormone receptor activity and have some estrogen agonist effects; equol-production status is likely to be an important modulator of responses to isoflavones

Choline deficiency in mice and humans is associated with increased plasma homocysteine concentration after a methionine load

Elevated concentrations of homocysteine in blood may be an independent risk factor for the development of atherosclerosis. Elevated homocysteine concentrations can be caused by decreased methylation of homocysteine to form methionine, as occurs in folate deficiency. A parallel pathway exists for methylation of homocysteine, in which choline, by way of betaine, is the methyl donor

Lymphocyte gene expression in subjects fed a low-choline diet differs between those who develop organ dysfunction and those who do not

Some humans fed a low-choline diet develop hepatosteatosis, liver and muscle damage, and lymphocyte apoptosis. The risk of developing such organ dysfunction is increased by the presence of single-nucleotide polymorphisms (SNPs) in genes involved in folate and choline metabolism

Effects of a high daily dose of soy isoflavones on DNA damage, apoptosis, and estrogenic outcomes in healthy postmenopausal women: a phase I clinical trial

A Phase I double blinded clinical trial was conducted to evaluate the effects of a high oral dose of soy isoflavones administered daily for 84 days to healthy, postmenopausal women. Principal outcome measures included DNA damage, apoptosis and changes indicative of estrogenic stimulation

The Potts Fully Frustrated model: Thermodynamics, percolation and dynamics in 2 dimensions

We consider a Potts model diluted by fully frustrated Ising spins. The model corresponds to a fully frustrated Potts model with variables having an integer absolute value and a sign. This model presents precursor phenomena of a glass transition in the high-temperature region. We show that the onset of these phenomena can be related to a thermodynamic transition. Furthermore this transition can be mapped onto a percolation transition. We numerically study the phase diagram in 2 dimensions (2D) for this model with frustration and {\em without} disorder and we compare it to the phase diagram of $i)$ the model with frustration {\em and} disorder and of $ii)$ the ferromagnetic model. Introducing a parameter that connects the three models, we generalize the exact expression of the ferromagnetic Potts transition temperature in 2D to the other cases. Finally, we estimate the dynamic critical exponents related to the Potts order parameter and to the energy.Comment: 10 pages, 10 figures, new result

Choline deficiency increases lymphocyte apoptosis and DNA damage in humans

Whereas deficiency of the essential nutrient choline is associated with DNA damage and apoptosis in cell and rodent models, it has not been shown in humans

Identification and quantification of microplastics in wastewater using focal plane array-based reflectance micro-FT-IR imaging

Microplastics (<5 mm) have been documented in environmental samples on a global scale. While these pollutants may enter aquatic environments via wastewater treatment facilities, the abundance of microplastics in these matrices has not been investigated. Although efficient methods for the analysis of microplastics in sediment samples and marine organisms have been published, no methods have been developed for detecting these pollutants within organic-rich wastewater samples. In addition, there is no standardized method for analyzing microplastics isolated from environmental samples. In many cases, part of the identification protocol relies on visual selection before analysis, which is open to bias. In order to address this, a new method for the analysis of microplastics in wastewater was developed. A pretreatment step using 30% hydrogen peroxide (H2O2) was employed to remove biogenic material, and focal plane array (FPA)-based reflectance micro-Fourier-transform (FT-IR) imaging was shown to successfully image and identify different microplastic types (polyethylene, polypropylene, nylon-6, polyvinyl chloride, polystyrene). Microplastic-spiked wastewater samples were used to validate the methodology, resulting in a robust protocol which was nonselective and reproducible (the overall success identification rate was 98.33%). The use of FPA-based micro-FT-IR spectroscopy also provides a considerable reduction in analysis time compared with previous methods, since samples that could take several days to be mapped using a single-element detector can now be imaged in less than 9 h (circular filter with a diameter of 47 mm). This method for identifying and quantifying microplastics in wastewater is likely to provide an essential tool for further research into the pathways by which microplastics enter the environment.This work is funded by a NERC (Natural Environment Research Council) CASE studentship (NE/K007521/1) with contribution from industrial partner Fera Science Ltd., United Kingdom. The authors would like to thank Peter Vale, from Severn Trent Water Ltd, for providing access to and additionally Ashley Howkins (Brunel University London) for providing travel and assistance with the sampling of the Severn Trent wastewater treatment plant in Derbyshire, UK. We are grateful to Emma Bradley and Chris Sinclair for providing helpful suggestions for our research