One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs

Dynamic Fault Trees (DFTs) are a prominent model in reliability engineering. They are strictly more expressive than static fault trees, but this comes at a price: their interpretation is non-trivial and leaves quite some freedom. This paper presents a GSPN semantics for DFTs. This semantics is rather simple and compositional. The key feature is that this GSPN semantics unifies all existing DFT semantics from the literature. All semantic variants can be obtained by choosing appropriate priorities and treatment of non-determinism.Comment: Accepted at Petri Nets 201

Dopamine acting at D1-like, D2-like and α1-adrenergic receptors differentially modulates theta and gamma oscillatory activity in primary motor cortex

The loss of dopamine (DA) in Parkinson’s is accompanied by the emergence of exaggerated theta and beta frequency neuronal oscillatory activity in the primary motor cortex (M1) and basal ganglia. DA replacement therapy or deep brain stimulation reduces the power of these oscillations and this is coincident with an improvement in motor performance implying a causal relationship. Here we provide in vitro evidence for the differential modulation of theta and gamma activity in M1 by DA acting at receptors exhibiting conventional and non-conventional DA pharmacology. Recording local field potentials in deep layer V of rat M1, co-application of carbachol (CCh, 5 μM) and kainic acid (KA, 150 nM) elicited simultaneous oscillations at a frequency of 6.49 ± 0.18 Hz (theta, n = 84) and 34.97 ± 0.39 Hz (gamma, n = 84). Bath application of DA resulted in a decrease in gamma power with no change in theta power. However, application of either the D1-like receptor agonist SKF38393 or the D2-like agonist quinpirole increased the power of both theta and gamma suggesting that the DA-mediated inhibition of oscillatory power is by action at other sites other than classical DA receptors. Application of amphetamine, which promotes endogenous amine neurotransmitter release, or the adrenergic α1-selective agonist phenylephrine mimicked the action of DA and reduced gamma power, a result unaffected by prior co-application of D1 and D2 receptor antagonists SCH23390 and sulpiride. Finally, application of the α1-adrenergic receptor antagonist prazosin blocked the action of DA on gamma power suggestive of interaction between α1 and DA receptors. These results show that DA mediates complex actions acting at dopamine D1-like and D2-like receptors, α1 adrenergic receptors and possibly DA/α1 heteromultimeric receptors to differentially modulate theta and gamma activity in M1

Production of dust by massive stars at high redshift

The large amounts of dust detected in sub-millimeter galaxies and quasars at high redshift pose a challenge to galaxy formation models and theories of cosmic dust formation. At z > 6 only stars of relatively high mass (> 3 Msun) are sufficiently short-lived to be potential stellar sources of dust. This review is devoted to identifying and quantifying the most important stellar channels of rapid dust formation. We ascertain the dust production efficiency of stars in the mass range 3-40 Msun using both observed and theoretical dust yields of evolved massive stars and supernovae (SNe) and provide analytical expressions for the dust production efficiencies in various scenarios. We also address the strong sensitivity of the total dust productivity to the initial mass function. From simple considerations, we find that, in the early Universe, high-mass (> 3 Msun) asymptotic giant branch stars can only be dominant dust producers if SNe generate <~ 3 x 10^-3 Msun of dust whereas SNe prevail if they are more efficient. We address the challenges in inferring dust masses and star-formation rates from observations of high-redshift galaxies. We conclude that significant SN dust production at high redshift is likely required to reproduce current dust mass estimates, possibly coupled with rapid dust grain growth in the interstellar medium.Comment: 72 pages, 9 figures, 5 tables; to be published in The Astronomy and Astrophysics Revie

Label-free detection of DNA hybridization based on hydration-induced tension in nucleic acid films

The properties of water at the nanoscale are crucial in many areas of biology, but the confinement of water molecules in sub-nanometre channels in biological systems has received relatively little attention. Advances in nanotechnology make it possible to explore the role played by water molecules in living systems, potentially leading to the development of ultrasensitive biosensors. Here we show that the adsorption of water by a self-assembled monolayer of single-stranded DNA on a silicon microcantilever can be detected by measuring how the tension in the monolayer changes as a result of hydration. Our approach relies on the microcantilever bending by an amount that depends on the tension in the monolayer. In particular, we find that the tension changes dramatically when the monolayer interacts with either complementary or single mismatched single-stranded DNA targets. Our results suggest that the tension is mainly governed by hydration forces in the channels between the DNA molecules and could lead to the development of a label-free DNA biosensor that can detect single mutations. The technique provides sensitivity in the femtomolar range that is at least two orders of magnitude better than that obtained previously with label-free nanomechanical biosensors and with label-dependent microarrays.D.R. acknowledges the fellowship funded by the Autonomic Community of Madrid (CAM). J.T, M.C, J.M and D.R acknowledge financial support by Spanish Ministry of Science (MEC) under grant No. TEC2006-10316 and CAM under grant No. 200550M056. C.B. acknowledges funding provided by MEC under grant No. BIO2007-67523. Work at Centro de Astrobiología was supported by European Union (EU), Instituto Nacional de Técnica Aeroespacial (INTA), MEC and CAM. All the authors acknowledge A. Cebollada, J.M. García-Martín, J. García, J.L. Costa-Kramer, M. Arroyo-Hernández and J.V. Anguita for their assistance in the gold deposition on the cantilevers.Peer reviewe

Fault trees on a diet - Automated reduction by graph rewriting

Fault trees are a popular industrial technique for reliability modelling and analysis. Their extension with common reliability patterns, such as spare management, functional dependencies, and sequencing — known as dynamic fault trees (DFTs) — has an adverse effect on scalability, prohibiting the analysis of complex, industrial cases by, e.g., probabilistic model checkers. This paper presents a novel, fully automated reduction technique for DFTs. The key idea is to interpret DFTs as directed graphs and exploit graph rewriting to simplify them. We present a collection of rewrite rules, address their correctness, and give a simple heuristic to determine the order of rewriting. Experiments on a large set of benchmarks show substantial DFT simplifications, yielding state space reductions and timing gains of up to two orders of magnitude