23,971 research outputs found
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 and . 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
- …