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

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 ($A\geq12$) are part of short-range correlated (SRC) primarily neutron-proton ($np$) pairs. We find that using chiral dynamics to account for the formation of $np$ 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

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

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

Probing Stellar Dynamics in Galactic Nuclei

Electromagnetic observations over the last 15 years have yielded a growing appreciation for the importance of supermassive black holes (SMBH) to the evolution of galaxies, and for the intricacies of dynamical interactions in our own Galactic center. Here we show that future low-frequency gravitational wave observations, alone or in combination with electromagnetic data, will open up unique windows to these processes. In particular, gravitational wave detections in the 10^{-5}-10^{-1} Hz range will yield SMBH masses and spins to unprecedented precision and will provide clues to the properties of the otherwise undetectable stellar remnants expected to populate the centers of galaxies. Such observations are therefore keys to understanding the interplay between SMBHs and their environments.Comment: 8 pages, Science white paper for the Astro2010 Decadal Surve

Algorithm Engineering in Robust Optimization

Robust optimization is a young and emerging field of research having received a considerable increase of interest over the last decade. In this paper, we argue that the the algorithm engineering methodology fits very well to the field of robust optimization and yields a rewarding new perspective on both the current state of research and open research directions. To this end we go through the algorithm engineering cycle of design and analysis of concepts, development and implementation of algorithms, and theoretical and experimental evaluation. We show that many ideas of algorithm engineering have already been applied in publications on robust optimization. Most work on robust optimization is devoted to analysis of the concepts and the development of algorithms, some papers deal with the evaluation of a particular concept in case studies, and work on comparison of concepts just starts. What is still a drawback in many papers on robustness is the missing link to include the results of the experiments again in the design