92 research outputs found
A model checker for performance and dependability properties
Markov chains are widely used in the context of
performance and reliability evaluation of systems of various
nature. Model checking of such chains with respect to
a given (branching) temporal logic formula has been proposed
for both the discrete [8] and the continuous time setting
[1], [3]. In this short paper, we describe the prototype
model checker for discrete and continuous-time
Markov chains, where properties are expressed in appropriate
extensions of CTL.We illustrate the general benefits
of this approach and discuss the structure of the tool
A tool for model-checking Markov chains
Markov chains are widely used in the context of the performance and reliability modeling of various systems. Model checking of such chains with respect to a given (branching) temporal logic formula has been proposed for both discrete [34, 10] and continuous time settings [7, 12]. In this paper, we describe a prototype model checker for discrete and continuous-time Markov chains, the Erlangen-Twente Markov Chain Checker EÎMC2, where properties are expressed in appropriate extensions of CTL. We illustrate the general benefits of this approach and discuss the structure of the tool. Furthermore, we report on successful applications of the tool to some examples, highlighting lessons learned during the development and application of EÎMC2
Role of Charm Factory in Extracting CKM-Phase Information via B --> DK
In this paper we study the impact of data that can be obtained from a Charm
Factory on the determination of the CKM parameter gamma from decays of the form
B -> D0 K where the D0 decays to specific inclusive and exclusive final states.
In particular, for each exclusive final state , the charm factory can
determine the strong phase difference between D0-> f and D0-bar -> f by
exploiting correlations in psi(3770)-> D0 D0-bar. This provides crucial input
to the determination of gamma via the interference of B+- -> K+- D0 -> f with
B+- -> K+- D0-bar -> f. We discuss how the method may be generalized to
inclusive final states and illustrate with a toy model how such methods may
offer one of the best means to determine gamma with 10^8-10^9 B-mesons.Comment: 12 pages, 7 figures, Version 2: Fixed typos; add reference; Version
3: fixed latex glitc
Strengthening Altitude Knowledge: A Delphi Study to Define Minimum Knowledge of Altitude Illness for Laypersons Traveling to High Altitude.
Berendsen, Remco R., Peter Bärtsch, Buddha Basnyat, Marc Moritz Berger, Peter Hackett, Andrew M. Luks, Jean-Paul Richalet, Ken Zafren, Bengt Kayser, and the STAK Plenary Group. Strengthening altitude knowledge: a Delphi study to define minimum knowledge of altitude illness for laypersons traveling to high altitude. High Alt Med Biol. 00:000-000, 2022. Introduction: A lack of knowledge among laypersons about the hazards of high-altitude exposure contributes to morbidity and mortality from acute mountain sickness (AMS), high-altitude cerebral edema (HACE), and high-altitude pulmonary edema (HAPE) among high-altitude travelers. There are guidelines regarding the recognition, prevention, and treatment of acute-altitude illness for experts, but essential knowledge for laypersons traveling to high altitudes has not been defined. We sought expert consensus on the essential knowledge required for people planning to travel to high altitudes. Methods: The Delphi method was used. The panel consisted of two moderators, a core expert group and a plenary expert group. The moderators made a preliminary list of statements defining the desired minimum knowledge for laypersons traveling to high altitudes, based on the relevant literature. These preliminary statements were then reviewed, supplemented, and modified by a core expert group. A list of 33 statements was then presented to a plenary group of experts in successive rounds. Results: It took three rounds to reach a consensus. Of the 10 core experts invited, 7 completed all the rounds. Of the 76 plenary experts, 41 (54%) participated in Round 1, and of these 41 a total of 32 (78%) experts completed all three rounds. The final list contained 28 statements in 5 categories (altitude physiology, sleeping at altitude, AMS, HACE, and HAPE). This list represents an expert consensus on the desired minimum knowledge for laypersons planning high-altitude travel. Conclusion: Using the Delphi method, the STrengthening Altitude Knowledge initiative yielded a set of 28 statements representing essential learning objectives for laypersons who plan to travel to high altitudes. This list could be used to develop educational interventions
Getting beta-alpha without penguins
Oscillation effects in B0 -> Ks D0 and related processes are considered to
determine delta=beta-alpha+pi. We suggest that D0 decays to CP eigenstates used
in concert with inclusive D0 decays provide a powerful method for determining
delta cleanly i.e. without any complication from penguin processes. The CP
asymmetry is expected to be <=40% for D0 decays to non-CP eigenstates and <=80%
for decays to CP eigenstates. This method can lead to a fairly accurate
determination of delta with O(10^8-10^9) B-mesons.Comment: 4 pages 1 figure; Version 2: minor changes; references added; Some
changes in response to Referee Comment
What can we learn from a measurement of sin(2 beta + gamma)?
The constraints on the value of the CKM phase gamma that may be achieved by
prospective measurements of sin(2 beta) and sin(2 beta + gamma) are discussed.
Significant constraints require quite small errors, and may depend on
assumptions about strong phases. The measurement of sin(2 beta + gamma)
combined with other experiments could provide valuable limits on new physics in
Bd-Bdbar mixing.Comment: 10 pages, 7 figures, RevTex 4, uses amsmath and graphic
Probe-configuration dependent dephasing in a mesoscopic interferometer
Dephasing in a ballistic four-terminal Aharonov-Bohm geometry due to charge
and voltage fluctuations is investigated. Treating two terminals as voltage
probes, we find a strong dependence of the dephasing rate on the probe
configuration in agreement with a recent experiment by Kobayashi et al. (J.
Phys. Soc. Jpn. 71, 2094 (2002)). Voltage fluctuations in the measurement
circuit are shown to be the source of the configuration dependence.Comment: 4 pages, 3 figure
Determining using with multibody D decays
We propose a method for determining using decays
followed by a multibody decay, such as , and . The main advantages of the method is
that it uses only Cabibbo allowed decays, and that large strong phases are
expected due to the presence of resonances. Since no knowledge about the
resonance structure is needed, can be extracted without any hadronic
uncertainty.Comment: 17 pages, 1 figur
Relationship between dynamical heterogeneities and stretched exponential relaxation
We identify the dynamical heterogeneities as an essential prerequisite for
stretched exponential relaxation in dynamically frustrated systems. This
heterogeneity takes the form of ordered domains of finite but diverging
lifetime for particles in atomic or molecular systems, or spin states in
magnetic materials. At the onset of the dynamical heterogeneity, the
distribution of time intervals spent in such domains or traps becomes stretched
exponential at long time. We rigorously show that once this is the case, the
autocorrelation function of the renewal process formed by these time intervals
is also stretched exponential at long time.Comment: 8 pages, 4 figures, submitted to PR
- …