Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints

Simple conceptual graphs are considered as the kernel of most knowledge representation formalisms built upon Sowa's model. Reasoning in this model can be expressed by a graph homomorphism called projection, whose semantics is usually given in terms of positive, conjunctive, existential FOL. We present here a family of extensions of this model, based on rules and constraints, keeping graph homomorphism as the basic operation. We focus on the formal definitions of the different models obtained, including their operational semantics and relationships with FOL, and we analyze the decidability and complexity of the associated problems (consistency and deduction). As soon as rules are involved in reasonings, these problems are not decidable, but we exhibit a condition under which they fall in the polynomial hierarchy. These results extend and complete the ones already published by the authors. Moreover we systematically study the complexity of some particular cases obtained by restricting the form of constraints and/or rules

Coronagraphic phase diversity: performance study and laboratory demonstration

The final performance of current and future instruments dedicated to exoplanet detection and characterization (such as SPHERE on the European Very Large Telescope, GPI on Gemini North, or future instruments on Extremely Large Telescopes) is limited by uncorrected quasi-static aberrations. These aberrations create long-lived speckles in the scientific image plane, which can easily be mistaken for planets. Common adaptive optics systems require dedicated components to perform wave-front analysis. The ultimate wave-front measurement performance is thus limited by the unavoidable differential aberrations between the wavefront sensor and the scientific camera. To reach the level of detectivity required by high-contrast imaging, these differential aberrations must be estimated and compensated for. In this paper, we characterize and experimentally validate a wave-front sensing method that relies on focal-plane data. Our method, called COFFEE (for COronagraphic Focal-plane wave-Front Estimation for Exoplanet detection), is based on a Bayesian approach, and it consists in an extension of phase diversity to high-contrast imaging. It estimates the differential aberrations using only two focal-plane coronagraphic images recorded from the scientific camera itself. In this paper, we first present a thorough characterization of COFFEE's performance by means of numerical simulations. This characterization is then compared with an experimental validation of COFFEE using an in-house adaptive optics bench and an apodized Roddier & Roddier phase mask coronagraph. An excellent match between experimental results and the theoretical study is found. Lastly, we present a preliminary validation of COFFEE's ability to compensate for the aberrations upstream of a coronagraph.Comment: A&A accepte

Post processing of differential images for direct extrasolar planet detection from the ground

The direct imaging from the ground of extrasolar planets has become today a major astronomical and biological focus. This kind of imaging requires simultaneously the use of a dedicated high performance Adaptive Optics [AO] system and a differential imaging camera in order to cancel out the flux coming from the star. In addition, the use of sophisticated post-processing techniques is mandatory to achieve the ultimate detection performance required. In the framework of the SPHERE project, we present here the development of a new technique, based on Maximum A Posteriori [MAP] approach, able to estimate parameters of a faint companion in the vicinity of a bright star, using the multi-wavelength images, the AO closed-loop data as well as some knowledge on non-common path and differential aberrations. Simulation results show a 10^-5 detectivity at 5sigma for angular separation around 15lambda/D with only two images.Comment: 12 pages, 6 figures, This paper will be published in the proceedings of the conference Advances in Adaptive Optics (SPIE 6272), part of SPIE's Astronomical Telescopes & Instrumentation, 24-31 May 2006, Orlando, F

Thin films preparation by rf-sputtering of copper/iron ceramic targets with Cu/Fe=1: From nanocomposites to delafossite compounds

In the Cu–Fe–O phase diagram, delafossite CuFeO2 is obtained for the CuI oxidation state and for the Cu/Fe=1 ratio. By decreasing the oxygen content, copper/spinel oxide composite can be obtained because of the reduction and the disproponation of cuprous ions. Many physical properties as for instance, electrical, optical, catalytic properties can then be affected by the control of the oxygen stoichiometry. In rf-sputtering technique, the bombardment energies on the substrate can be controlled by the deposition conditions leading to different oxygen stoichiometry in the growing layers. By this technique, thin films have been prepared from two ceramic targets: CuFeO2 and CuO+CuFe2O4. We thus synthesized either Cu0/ CuxFe1−xO4 nanocomposites thin films with various Cu0 quantities or CuFeO2-based thin films. Two-probes conductivity measurements were permitted to comparatively evaluate the Cu0 content, while optical microscopy evidenced a selfassembly phenomenon during thermal annealing

Introduction into IEA SHC Task 48

AbstractSolar thermal cooling technology is currently facing a very exciting challenge. Air conditioning is a large and growing energy consumer, especially in sunny and developing countries. Worldwide efforts to develop renewable energy solutions must address this critical cooling application. Solar thermal energy presents a natural and strong opportunity to do just this. However, even if reliable technologically advanced products are presently available, the solar cooling sector must leap from a pre-industrial and demonstration status into a competitive mass market. Despite this, some applications, particularly for large buildings with combined cooling and domestic hot water production, are already very close to cost competitiveness without any incentives.This paper will concentrate on introducing an international collaborative R&D activity called IEA SHC Task 48 in the field of solar cooling and the methodology, participating entities and initial outcomes

Designable buried waveguides in sapphire by proton implantation

Buried and stacked planar as well as buried single and parallel channel waveguides are fabricated in sapphire by proton implantation. Good control of the implantation parameters provides excellent confinement of the guided light in each structure. Low propagation losses are obtained in fundamental-mode, buried channel waveguides without postimplantation annealing. Choice of the implantation parameters allows one to design mode shapes with different ellipticity and/or mode asymmetry in each orthogonal direction, thus demonstrating the versatility of the fabrication method. Horizontal and vertical parallelization is demonstrated for the design of one- or two-dimensional waveguide arrays in hard crystalline materials