13,333 research outputs found

    Extending Hybrid CSP with Probability and Stochasticity

    Full text link
    Probabilistic and stochastic behavior are omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Tightly intertwining discrete, continuous and stochastic dynamics complicates modelling, analysis and verification of stochastic hybrid systems (SHSs). In the literature, this issue has been extensively investigated, but unfortunately it still remains challenging as no promising general solutions are available yet. In this paper, we give our effort by proposing a general compositional approach for modelling and verification of SHSs. First, we extend Hybrid CSP (HCSP), a very expressive and process algebra-like formal modeling language for hybrid systems, by introducing probability and stochasticity to model SHSs, which is called stochastic HCSP (SHCSP). To this end, ordinary differential equations (ODEs) are generalized by stochastic differential equations (SDEs) and non-deterministic choice is replaced by probabilistic choice. Then, we extend Hybrid Hoare Logic (HHL) to specify and reason about SHCSP processes. We demonstrate our approach by an example from real-world.Comment: The conference version of this paper is accepted by SETTA 201

    A Self-Reference False Memory Effect in the DRM Paradigm: Evidence from Eastern and Western Samples

    Get PDF
    It is well established that processing information in relation to oneself (i.e., selfreferencing) leads to better memory for that information than processing that same information in relation to others (i.e., other-referencing). However, it is unknown whether self-referencing also leads to more false memories than other-referencing. In the current two experiments with European and East Asian samples, we presented participants the Deese-Roediger/McDermott (DRM) lists together with their own name or other people’s name (i.e., “Trump” in Experiment 1 and “Li Ming” in Experiment 2). We found consistent results across the two experiments; that is, in the self-reference condition, participants had higher true and false memory rates compared to those in the other-reference condition. Moreover, we found that selfreferencing did not exhibit superior mnemonic advantage in terms of net accuracy compared to other-referencing and neutral conditions. These findings are discussed in terms of theoretical frameworks such as spreading activation theories and the fuzzytrace theory. We propose that our results reflect the adaptive nature of memory in the sense that cognitive processes that increase mnemonic efficiency may also increase susceptibility to associative false memories

    Petrogenetic significance of chromian spinels from the Sudbury Igneous Complex, Ontario, Canada

    Get PDF
    Chromian spinels occur in mafic-ultramafic inclusions in the Sublayer of the Sudbury Igneous Complex (SIC) as well as in mafic-ultramafic rocks in the immediate footwall of the Sublayer. The host rocks are pyroxenite and melanorite with minor dunite, harzburgite, and melatroctolite. As common accessory phases in these rocks, the chromian spinels display euhedral or subhedral forms and are included in olivine and orthopyroxene. Chromian spinel grains generally have ilmenite lamellae and contain abundant inclusions (zircon, olivine, diopside, plagioclase, biotite, and sulfide). All the chromian spinels have similar trace element abundances and are rich in TiO2 (0.5-15 wt.%). They have constant Cr# (100Cr/(Cr + Al)) (55-70) and exhibit a continuum in composition that traverses the normal fields of spinels in a Al-(Fe3+ + 2Ti)-Cr triangular diagram. This continuum extends to that of the composition of chromian magnetite in the host norite matrix to the mafic -ultramafic inclusions. This continuum in composition of the spinels suggests that the noritic matrix to the Sublayer formed from the same magma as the inclusions. A positive correlation between the Cr and Al contents of the spinels was probably produced by dilution of these elements by Fe3+ contributed, perhaps, by a plagioclase-saturated melt. Zircon inclusions in a chromian spinel grain reflect incorporation of crustal, felsic materials into the magma before crystallization of chromian spinel. The chemical characteristics and mineral inclusions of the spinels suggest that the Sublayer formed in response to magma mixing. It is suggested that subsequent to the formation of the crustal melt, mantle-derived high-Mg magmas mixed vigourously with this and generated the magmatic sulfides that eventually formed the Ni - Cu - platinum-group elements sulfide ore deposits. Some of the early crystallization products of the high-Mg magma settled to the chamber floor, where they partially mixed with the crustal melt and formed the mafic - ultramafic inclusions and footwall complexes.published_or_final_versio

    Effects of acute fatigue on the volitional and magnetically-evoked electromechanical delay of the knee flexors in males and females

    Get PDF
    Neuromuscular performance capabilities, including those measured by evoked responses, may be adversely affected by fatigue; however, the capability of the neuromuscular system to initiate muscle force rapidly under these circumstances is yet to be established. Sex-differences in the acute responses of neuromuscular performance to exercise stress may be linked to evidence that females are much more vulnerable to ACL injury than males. Optimal functioning of the knee flexors is paramount to the dynamic stabilisation of the knee joint, therefore the aim of this investigation was to examine the effects of acute maximal intensity fatiguing exercise on the voluntary and magnetically-evoked electromechanical delay in the knee flexors of males and females. Knee flexor volitional and magnetically-evoked neuromuscular performance was assessed in seven male and nine females prior to and immediately after: (i) an intervention condition comprising a fatigue trial of 30-seconds maximal static exercise of the knee flexors, (ii) a control condition consisting of no exercise. The results showed that the fatigue intervention was associated with a substantive reduction in volitional peak force (PFV) that was greater in males compared to females (15.0%, 10.2%, respectively, p < 0.01) and impairment to volitional electromechanical delay (EMDV) in females exclusively (19.3%, p < 0.05). Similar improvements in magnetically-evoked electromechanical delay in males and females following fatigue (21%, p < 0.001), however, may suggest a vital facilitatory mechanism to overcome the effects of impaired voluntary capabilities, and a faster neuromuscular response that can be deployed during critical times to protect the joint system

    Emergence of scale-free leadership structure in social recommender systems

    Get PDF
    The study of the organization of social networks is important for understanding of opinion formation, rumor spreading, and the emergence of trends and fashion. This paper reports empirical analysis of networks extracted from four leading sites with social functionality (Delicious, Flickr, Twitter and YouTube) and shows that they all display a scale-free leadership structure. To reproduce this feature, we propose an adaptive network model driven by social recommending. Artificial agent-based simulations of this model highlight a "good get richer" mechanism where users with broad interests and good judgments are likely to become popular leaders for the others. Simulations also indicate that the studied social recommendation mechanism can gradually improve the user experience by adapting to tastes of its users. Finally we outline implications for real online resource-sharing systems

    Evidence for Anthropogenic Surface Loading as Trigger Mechanism of the 2008 Wenchuan Earthquake

    Full text link
    Two and a half years prior to China's M7.9 Wenchuan earthquake of May 2008, at least 300 million metric tons of water accumulated with additional seasonal water level changes in the Minjiang River Valley at the eastern margin of the Longmen Shan. This article shows that static surface loading in the Zipingpu water reservoir induced Coulomb failure stresses on the nearby Beichuan thrust fault system at <17km depth. Triggering stresses exceeded levels of daily lunar and solar tides and perturbed a fault area measuring 416+/-96km^2. These stress perturbations, in turn, likely advanced the clock of the mainshock and directed the initial rupture propagation upward towards the reservoir on the "Coulomb-like" Beichuan fault with rate-and-state dependent frictional behavior. Static triggering perturbations produced up to 60 years (0.6%) of equivalent tectonic loading, and show strong correlations to the coseismic slip. Moreover, correlations between clock advancement and coseismic slip, observed during the mainshock beneath the reservoir, are strongest for a longer seismic cycle (10kyr) of M>7 earthquakes. Finally, the daily event rate of the micro-seismicity (M>0.5) correlates well with the static stress perturbations, indicating destabilization.Comment: 22 pages, 4 figures, 3 table

    Localisation of RNAs into the germ plasm of vitellogenic xenopus oocytes

    Get PDF
    We have studied the localisation of mRNAs in full-grown Xenopus laevis oocytes by injecting fluorescent RNAs, followed by confocal microscopy of the oocyte cortex. Concentrating on RNA encoding the Xenopus Nanos homologue, nanos1 (formerly Xcat2), we find that it consistently localised into aggregated germ plasm ribonucleoprotein (RNP) particles, independently of cytoskeletal integrity. This implies that a diffusion/entrapment-mediated mechanism is active, as previously reported for previtellogenic oocytes. Sometimes this was accompanied by localisation into scattered particles of the “late”, Vg1/VegT pathway; occasionally only late pathway localisation was seen. The Xpat RNA behaved in an identical fashion and for neither RNA was the localisation changed by any culture conditions tested. The identity of the labelled RNP aggregates as definitive germ plasm was confirmed by their inclusion of abundant mitochondria and co-localisation with the germ plasm protein Hermes. Further, the nanos1/Hermes RNP particles are interspersed with those containing the germ plasm protein Xpat. These aggregates may be followed into the germ plasm of unfertilized eggs, but with a notable reduction in its quantity, both in terms of injected molecules and endogenous structures. Our results conflict with previous reports that there is no RNA localisation in large oocytes, and that during mid-oogenesis even germ plasm RNAs localise exclusively by the late pathway. We find that in mid oogenesis nanos1 RNA also localises to germ plasm but also by the late pathway. Late pathway RNAs, Vg1 and VegT, also may localise into germ plasm. Our results support the view that mechanistically the two modes of localisation are extremely similar, and that in an injection experiment RNAs might utilise either pathway, the distinction in fates being very subtle and subject to variation. We discuss these results in relation to their biological significance and the results of others

    Varicella-Zoster viruses associated with post-herpetic neuralgia induce sodium current density increases in the ND7-23 Nav-1.8 neuroblastoma cell line

    Get PDF
    Post-herpetic neuralgia (PHN) is the most significant complication of herpes zoster caused by reactivation of latent Varicella-Zoster virus (VZV). We undertook a heterologous infection in vitro study to determine whether PHN-associated VZV isolates induce changes in sodium ion channel currents known to be associated with neuropathic pain. Twenty VZV isolates were studied blind from 11 PHN and 9 non-PHN subjects. Viruses were propagated in the MeWo cell line from which cell-free virus was harvested and applied to the ND7/23-Nav1.8 rat DRG x mouse neuroblastoma hybrid cell line which showed constitutive expression of the exogenous Nav 1.8, and endogenous expression of Nav 1.6 and Nav 1.7 genes all encoding sodium ion channels the dysregulation of which is associated with a range of neuropathic pain syndromes. After 72 hrs all three classes of VZV gene transcripts were detected in the absence of infectious virus. Single cell sodium ion channel recording was performed after 72 hr by voltage-clamping. PHN-associated VZV significantly increased sodium current amplitude in the cell line when compared with non-PHN VZV, wild-type (Dumas) or vaccine VZV strains ((POka, Merck and GSK). These sodium current increases were unaffected by acyclovir pre-treatment but were abolished by exposure to Tetrodotoxin (TTX) which blocks the TTX-sensitive fast Nav 1.6 and Nav 1.7 channels but not the TTX-resistant slow Nav 1.8 channel. PHN-associated VZV sodium current increases were therefore mediated in part by the Nav 1.6 and Nav 1.7 sodium ion channels. An additional observation was a modest increase in message levels of both Nav1.6 and Nav1.7 mRNA but not Nav 1.8 in PHN virally infected cells
    corecore