1,937 research outputs found
An optimal statistical testing policy for software reliability demonstration of safety-critical systems
When software reliability demonstration of safety-critical systems by statistical testing is treated as a Test, Analyse and Fix (TAAF) process, an optimal testing policy can be found, which maximises the probability of success of the whole process, over a pre-determined period of time. The optimisation problem is formulated, solved by stochastic dynamic programming, and demonstrated by two numerical examples
Reliability demonstration for safety-critical systems
This paper suggests a new model for reliability demonstration of safety-critical systems, based on the TRW Software Reliability Theory. The paper describes the model; the test equipment required and test strategies based on the various constraints occurring during software development. The paper also compares a new testing method, Single Risk Sequential Testing (SRST), with the standard Probability Ratio Sequential Testing method (PRST), and concludes that: • SRST provides higher chances of success than PRST • SRST takes less time to complete than PRST • SRST satisfies the consumer risk criterion, whereas PRST provides a much smaller consumer risk than the requirement
Glass production at an Early Islamic workshop in Tel Aviv
A refuse deposit at HaGolan Street, Khirbet al-Ḥadra, northeastern Tel Aviv, is rich in debris deriving from an Islamic period glass workshop, dating to the 7th–8th centuries. Twenty-four samples of glass vessels, chunks and moils were analysed by electron microprobe. Glass used in the workshop derives from three primary sources: Egypt II, somewhere in inland Egypt, Beth Eli'ezer, near Hadera, Israel and a third group which appears to represent a previously unknown Levantine primary production centre. Glass corresponding to at least twelve production events has been identified. While vessels made of Beth Eli'ezer and Egypt II glass have previously been reported from the same context, this is the first time that they have been related to the products of a single workshop. It appears that glass from both primary production centres was available in the later 8th century, and that the glass workers at HaGolan St were obliged to balance the high working and fuel costs of the stiff low-soda Levantine glass against the better working properties but higher raw material costs of the high-soda glass from Egypt
Study of the Distillability of Werner States Using Entanglement Witnesses and Robust Semidefinite Programs
We use Robust Semidefinite Programs and Entanglement Witnesses to study the
distillability of Werner states. We perform exact numerical calculations which
show 2-undistillability in a region of the state space which was previously
conjectured to be undistillable. We also introduce bases which yield
interesting expressions for the {\em distillability witnesses} and for a tensor
product of Werner states with arbitrary number of copies.Comment: 16 pages, 2 figure
Can Long-Range Nuclear Properties Be Influenced By Short Range Interactions? A chiral dynamics estimate
Recent experiments and many-body calculations indicate that approximately
20\% of the nucleons in medium and heavy nuclei () are part of
short-range correlated (SRC) primarily neutron-proton () pairs. We find
that using chiral dynamics to account for the formation of pairs due to
the effects of iterated and irreducible two-pion exchange leads to values
consistent with the 20\% level. We further apply chiral dynamics to study how
these correlations influence the calculations of nuclear charge radii, that
traditionally truncate their effect, to find that they are capable of
introducing non-negligible effects.Comment: 6 pages, 0 figures. This version includes many improvement
Security Proof Against Collective Attacks for an Experimentally Feasible Semi-Quantum Key Distribution Protocol
Semiquantum key distribution (SQKD) allows two parties (Alice and Bob) to
create a shared secret key, even if one of these parties (say, Alice) is
classical. However, most SQKD protocols suffer from severe practical security
problems when implemented using photons. The recently developed "Mirror
protocol" [Boyer, Katz, Liss, and Mor, Phys. Rev. A 96, 062335 (2017)] is an
experimentally feasible SQKD protocol overcoming those drawbacks. The Mirror
protocol was proven robust (namely, it was proven secure against a limited
class of attacks including all noiseless attacks), but its security in case
some noise is allowed (natural or due to eavesdropping) has not been proved
yet. Here we prove security of the Mirror protocol against a wide class of
quantum attacks (the "collective attacks"), and we evaluate the allowed noise
threshold and the resulting key rate.Comment: 17 pages; 3 figure
Electron-vibration interaction in single-molecule junctions: from contact to tunneling regime
Point contact spectroscopy on a H2O molecule bridging Pt electrodes reveals a
clear crossover between enhancement and reduction of the conductance due to
electron-vibration interaction. As single channel models predict such a
crossover at transmission probability of t=0.5, we used shot noise measurements
to analyze the transmission and observed at least two channels across the
junction where the dominant channel has t=0.51+/-0.01 transmission probability
at the crossover conductance, which is consistent with the predictions for
single-channel models.Comment: 4 pages, 1 table, 4 figure
Measurement of transparency ratios for protons from short-range correlated pairs
Nuclear transparency, Tp(A), is a measure of the average probability for a
struck proton to escape the nucleus without significant re-interaction.
Previously, nuclear transparencies were extructed for quasi-elastic A(e,e'p)
knockout of protons with momentum below the Fermi momentum, where the spectral
functions are well known. In this paper we extract a novel observable, the
transparency ratio, Tp(A)/T_p(12C), for knockout of high-missing-momentum
protons from the breakup of short range correlated pairs (2N-SRC) in Al, Fe and
Pb nuclei relative to C. The ratios were measured at momentum transfer Q^2 >
1.5 (GeV/c)^2 and x_B > 1.2 where the reaction is expected to be dominated by
electron scattering from 2N-SRC. The transparency ratios of the knocked-out
protons coming from 2N-SRC breakup are 20 - 30% lower than those of previous
results for low missing momentum. They agree with Glauber calculations and
agree with renormalization of the previously published transparencies as
proposed by recent theoretical investigations. The new transparencies scale as
A^-1/3, which is consistent with dominance of scattering from nucleons at the
nuclear surface.Comment: 6 pages, 4 figure
Highly conductive molecular junctions based on direct binding of benzene to platinum electrodes
Highly conductive molecular junctions were formed by direct binding of
benzene molecules between two Pt electrodes. Measurements of conductance,
isotopic shift in inelastic spectroscopy and shot noise compared with
calculations provide indications for a stable molecular junction where the
benzene molecule is preserved intact and bonded to the Pt leads via carbon
atoms. The junction has a conductance comparable to that for metallic atomic
junctions (around 0.1-1 Go), where the conductance and the number of
transmission channels are controlled by the molecule's orientation at different
inter-electrode distances.Comment: 4 pages, 4 figure
Separable Multipartite Mixed States - Operational Asymptotically Necessary and Sufficient Conditions
We introduce an operational procedure to determine, with arbitrary
probability and accuracy, optimal entanglement witness for every multipartite
entangled state. This method provides an operational criterion for separability
which is asymptotically necessary and sufficient. Our results are also
generalized to detect all different types of multipartite entanglement.Comment: 4 pages, 2 figures, submitted to Physical Review Letters. Revised
version with new calculation
- …