Replica determinism and flexible scheduling in hard real-time dependable systems

Fault-tolerant real-time systems are typically based on active replication where replicated entities are required to deliver their outputs in an identical order within a given time interval. Distributed scheduling of replicated tasks, however, violates this requirement if on-line scheduling, preemptive scheduling, or scheduling of dissimilar replicated task sets is employed. This problem of inconsistent task outputs has been solved previously by coordinating the decisions of the local schedulers such that replicated tasks are executed in an identical order. Global coordination results either in an extremely high communication effort to agree on each schedule decision or in an overly restrictive execution model where on-line scheduling, arbitrary preemptions, and nonidentically replicated task sets are not allowed. To overcome these restrictions, a new method, called timed messages, is introduced. Timed messages guarantee deterministic operation by presenting consistent message versions to the replicated tasks. This approach is based on simulated common knowledge and a sparse time base. Timed messages are very effective since they neither require communication between the local scheduler nor do they restrict usage of on-line flexible scheduling, preemptions and nonidentically replicated task sets

Spectra and binding energy predictions of chiral interactions for 7Li

Using the no-core shell model approach, we report on the first results for 7Li based on the next-to-next-to-leading order chiral nuclear interaction. Both, two-nucleon and three-nucleon interactions are taken into account. We show that the p-shell nuclei are sensitive to the subleading parts of the chiral interactions including three-nucleon forces. Though chiral interactions are soft, we do not observe overbinding for this p-shell nucleus and find a realistic description for the binding energy, excitation spectrum and radius.Comment: 12 pages, 12 figure

Preparing multi-partite entanglement of photons and matter qubits

We show how to make event-ready multi-partite entanglement between qubits which may be encoded on photons or matter systems. Entangled states of matter systems, which can also act as single photon sources, can be generated using the entangling operation presented in quant-ph/0408040. We show how to entangle such sources with photon qubits, which may be encoded in the dual rail, polarization or time-bin degrees of freedom. We subsequently demonstrate how projective measurements of the matter qubits can be used to create entangled states of the photons alone. The state of the matter qubits is inherited by the generated photons. Since the entangling operation can be used to generate cluster states of matter qubits for quantum computing, our procedure enables us to create any (entangled) photonic quantum state that can be written as the outcome of a quantum computer.Comment: 10 pages, 4 figures; to appear in Journal of Optics

From non-Hermitian effective operators to large-scale no-core shell model calculations for light nuclei

No-core shell model (NCSM) calculations using ab initio effective interactions are very successful in reproducing experimental nuclear spectra. The main theoretical approach is the use of effective operators, which include correlations left out by the truncation of the model space to a numerically tractable size. We review recent applications of the effective operator approach, within a NCSM framework, to the renormalization of the nucleon-nucleon interaction, as well as scalar and tensor operators.Comment: To be submited to J. Phys. A, special issue on "The Physics of Non-Hermitian Operators

Analysis of Pt/SnO(sub x) during catalysis of CO oxidation

Temperature-programmed reduction using 6kPaH2 suggests that a sample consisting of 3 percent Pt supported directly on SnO2 is, under conditions of catalysis of CO oxidation used here, best represented as 3 percent Pt/SnO sub x, since the support is likely to partially reduced, probably in the vicinity of the metal/oxide interface. Catalytic measurements at 421 to 424 K show that this 3 percent Pt/SnO sub x is significantly more active per unit area of Pt than 6 percent Pt/SiO2 in catalyzing the oxidation of CO. In situ micro-FTIR reveals that while the latter has predominantly linearly bound CO on the surface under reaction conditions, the Pt/SnO sub x also has a species absorbing at 2168 cm(exp -1) which may be CO upon Pt in a positive oxidation state or weakly chemisorbed CO on zero-valent Pt. This may be directly involved in the low temperature oxidation of CO on the Pt/SnO sub x, since being weakly held the activation energy for its surface diffusion to the metal/oxide interface will be low; such mobile species could allow the high rates of surface transport and an increase in the fraction of the surface over which the CO oxidation occurs. FTIR also reveals carbonate-type species on the P/SnO sub c surface

A compact micro-wave synthesizer for transportable cold-atom interferometers

We present the realization of a compact micro-wave frequency synthesizer for an atom interferometer based on stimulated Raman transitions, applied to transportable inertial sensing. Our set-up is intended to address the hyperfine transitions of Rubidium 87 atoms at 6.8 GHz. The prototype is evaluated both in the time and the frequency domain by comparison with state-of-the-art frequency references developed at LNE-SYRTE. In free-running mode, it features a residual phase noise level of -65 dBrad$^2.Hz^{-1} at 10-Hz offset frequency and a white phase noise level in the order of -120 dBrad^2.Hz^{-1} for Fourier frequencies above 10 kHz. The phase noise effect on the sensitivity of the atomic interferometer is evaluated for diverse values of cycling time, interrogation time and Raman pulse duration. To our knowledge, the resulting contribution is well below the sensitivity of any demonstrated cold atom inertial sensors based on stimulated Raman transitions. The drastic improvement in terms of size, simplicity and power consumption paves the way towards field and mobile operations.Comment: accepted for publication in Review of Scientific Instruments, 6 pages, 4 figure

Extrapolation Method for the No-Core Shell Model

Nuclear many-body calculations are computationally demanding. An estimate of their accuracy is often hampered by the limited amount of computational resources even on present-day supercomputers. We provide an extrapolation method based on perturbation theory, so that the binding energy of a large basis-space calculation can be estimated without diagonalizing the Hamiltonian in this space. The extrapolation method is tested for 3H and 6Li nuclei. It will extend our computational abilities significantly and allow for reliable error estimates.Comment: 8 pages, 7 figures, PRC accepte

The Construction of Sorkin Triangulations

Some time ago, Sorkin (1975) reported investigations of the time evolution and initial value problems in Regge calculus, for one triangulation each of the manifolds $R*S^3$ and $R^4$. Here we display the simple, local characteristic of those triangulations which underlies the structure found by Sorkin, and emphasise its general applicability, and therefore the general validity of Sorkin's conclusions. We also make some elementary observations on the resulting structure of the time evolution and initial value problems in Regge calculus, and add some comments and speculations.Comment: 5 pages (plus one figure not included, available from author on request), Plain Tex, no local preprint number (Only change: omitted "\magnification" command now replaced