4,280 research outputs found
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
Autonomous critical systems, such as satellites and space rovers, must be
able to detect the occurrence of faults in order to ensure correct operation.
This task is carried out by Fault Detection and Identification (FDI)
components, that are embedded in those systems and are in charge of detecting
faults in an automated and timely manner by reading data from sensors and
triggering predefined alarms. The design of effective FDI components is an
extremely hard problem, also due to the lack of a complete theoretical
foundation, and of precise specification and validation techniques. In this
paper, we present the first formal approach to the design of FDI components for
discrete event systems, both in a synchronous and asynchronous setting. We
propose a logical language for the specification of FDI requirements that
accounts for a wide class of practical cases, and includes novel aspects such
as maximality and trace-diagnosability. The language is equipped with a clear
semantics based on temporal epistemic logic, and is proved to enjoy suitable
properties. We discuss how to validate the requirements and how to verify that
a given FDI component satisfies them. We propose an algorithm for the synthesis
of correct-by-construction FDI components, and report on the applicability of
the design approach on an industrial case-study coming from aerospace.Comment: 33 pages, 20 figure
Unified character of correlation effects in unconventional Pu-based superconductors and \delta-Pu
Electronic structure calculations combining the local-density approximation
with an exact diagonalization of the Anderson impurity model show an
intermediate 5f^5-5f^6-valence ground state and delocalization of the 5f^5
multiplet of the Pu atom 5f-shell in PuCoIn_5, PuCoGa_5, and \delta-Pu. The
5f-local magnetic moment is compensated by a moment formed in the surrounding
cloud of conduction electrons. For PuCoGa_5 and \delta-Pu the compensation is
complete and the Anderson impurity ground state is a singlet. For PuCoIn_5 the
compensation is partial and the Pu ground state is magnetic. We suggest that
the unconventional d-wave superconductivity is likely mediated by the 5f-states
antiferromagnetic fluctuations in PuCoIn_5, and by valence fluctuations in
PuCoGa_5.Comment: 5 pages, 3 figure
Electron energy spectrum of the spin-liquid state in a frustrated Hubbard model
Non-local correlation effects in the half-filled Hubbard model on an
isotropic triangular lattice are studied within a spin polarized extension of
the dual fermion approach. A competition between the antiferromagnetic
non-collinear and the spin liquid states is strongly enhanced by an
incorporation of a k-dependent self-energy beyond the local dynamical
mean-field theory. The dual fermion correc- tions drastically decrease the
energy of a spin liquid state while leaving the non-collinear magnetic states
almost non-affected. This makes the spin liquid to become a preferable state in
a certain interval of interaction strength of an order of the magnitude of a
bandwidth. The spectral function of the spin-liquid Mott insulator is
determined by a formation of local singlets which results in the energy gap of
about twice larger than that of the 120 degrees antiferromagnetic Neel state.Comment: 6 pages, 4 figure
Plasmons in strongly correlated systems: spectral weight transfer and renormalized dispersion
We study the charge-density dynamics within the two-dimensional extended
Hubbard model in the presence of long-range Coulomb interaction across the
metal-insulator transition point. To take into account strong correlations we
start from self-consistent extended dynamical mean-field theory and include
non-local dynamical vertex corrections through a ladder approximation to the
polarization operator. This is necessary to fulfill charge conservation and to
describe plasmons in the correlated state. The calculated plasmon spectra are
qualitatively different from those in the random-phase approximation: they
exhibit a spectral density transfer and a renormalized dispersion with enhanced
deviation from the canonical -behavior. Both features are reminiscent
of interaction induced changes found in single-electron spectra of strongly
correlated systems.Comment: 5 pages, 5 figures + appendix (3 pages, 1 figure
Effect of ligand substitution on the exchange interactions in {Mn12}-type single-molecule magnets
We investigate how the ligand substitution affects the intra-molecular spin
exchange interactions, studying a prototypal family of single-molecule magnets
comprising dodecanuclear cluster molecules [Mn12O12(COOR)16]. We identify a
simple scheme based on accumulated Pauling electronegativity numbers (a.e.n.)
of the carboxylate ligand groups (R). The redistribution of the electron
density, controlled by a.e.n. of a ligand, changes the degree of hybridization
between 3d electrons of manganese and 2p electrons of oxygen atoms, thus
changing the exchange interactions. This scheme, despite its conceptual
simplicity, provides a strong correlation with the exchange energies associated
with carboxylate bridges, and is confirmed by the electronic structure
calculations taking into account the Coulomb correlations in magnetic
molecules.Comment: 18 pages, 1 table, 4 figures. Accepted to "Inorganic Chemistry
Conservation in two-particle self-consistent extensions of dynamical-mean-field-theory
Extensions of dynamical-mean-field-theory (DMFT) make use of quantum impurity
models as non-perturbative and exactly solvable reference systems which are
essential to treat the strong electronic correlations. Through the introduction
of retarded interactions on the impurity, these approximations can be made
two-particle self-consistent. This is of interest for the Hubbard model,
because it allows to suppress the antiferromagnetic phase transition in
two-dimensions in accordance with the Mermin-Wagner theorem, and to include the
effects of bosonic fluctuations. For a physically sound description of the
latter, the approximation should be conserving. In this paper we show that the
mutual requirements of two-particle self-consistency and conservation lead to
fundamental problems. For an approximation that is two-particle self-consistent
in the charge- and longitudinal spin channel, the double occupancy of the
lattice and the impurity are no longer consistent when computed from
single-particle properties. For the case of self-consistency in the charge- and
longitudinal as well as transversal spin channels, these requirements are even
mutually exclusive so that no conserving approximation can exist. We illustrate
these findings for a two-particle self-consistent and conserving DMFT
approximation.Comment: 17 pages, 9 figure
Orbital moment of a single Co atom on a Pt(111) surface - a view from correlated band theory
The orbital magnetic moment of a Co adatom on a Pt(111) surface is calculated
in good agreement with experimental data making use of the LSDA+U method. It is
shown that both electron correlation induced orbital polarization and
structural relaxation play essential roles in orbital moment formation. The
microscopic origins of the orbital moment enhancement are discussed
Collaborative Delivery with Energy-Constrained Mobile Robots
We consider the problem of collectively delivering some message from a
specified source to a designated target location in a graph, using multiple
mobile agents. Each agent has a limited energy which constrains the distance it
can move. Hence multiple agents need to collaborate to move the message, each
agent handing over the message to the next agent to carry it forward. Given the
positions of the agents in the graph and their respective budgets, the problem
of finding a feasible movement schedule for the agents can be challenging. We
consider two variants of the problem: in non-returning delivery, the agents can
stop anywhere; whereas in returning delivery, each agent needs to return to its
starting location, a variant which has not been studied before.
We first provide a polynomial-time algorithm for returning delivery on trees,
which is in contrast to the known (weak) NP-hardness of the non-returning
version. In addition, we give resource-augmented algorithms for returning
delivery in general graphs. Finally, we give tight lower bounds on the required
resource augmentation for both variants of the problem. In this sense, our
results close the gap left by previous research.Comment: 19 pages. An extended abstract of this paper was published at the
23rd International Colloquium on Structural Information and Communication
Complexity 2016, SIROCCO'1
- …