On SAT Technologies for dependency management and beyond

International audienceSAT solvers technology is now mature enough to be part of the engineer toolbox side by side with Mixed Integer Programming and Constraint Programming tools. As of June 2008, two great pieces of software are using SAT technology to manage dependency like problems: the open source Linux distribution OpenSuse 11.0, released on June 19, 2008, integrates a custom SAT solver in their dependency manager Zypp. The new update manager of Eclipse 3.4, called Equinox p2, also uses SAT technology to resolve dependencies in their OSGi platform. The use of SAT technology in Software Product Lines has already been pointed out by several authors. We believe that the current interest for solving dependency management problems in SAT technologies opens quite interesting challenges to the SAT community. First, since those problems are met in software with interactive use, SAT engines need to solve them within seconds. Second, providing one solution is usually not sufficient: finding the best solution is usually what users want. Finally, fully supported open source or commercial SAT engines are needed for a broader adoption in the software engineering community

Optomécanique fibrée des disques GaAs : dissipation, amplication et non-linéarités

Cavity optomechanics is the field that studies reciprocal interactions between light and the mechanical degrees of freedom of an optical cavity. This optomechanical coupling allows us to precisely measure but also control a mechanical resonator displacement. This thesis work deals with the study of optomechanical effects in GaAs disks. These disks are both optical resonators supporting whispering gallery modes and mechanical resonators oscillating at frequencies as high as hundreds of MHz. Optomechanical interactions in these disks rest mainly on radiation pressure, electrostriction and photothermal effects. We formulate an analytical model describing the optomechanical coupling through those three vectors. We present the experimental setup used to probe optomechanical effects, highlighting the significant improvements brought during this thesis. Samples and tapered fiber fabrication techniques are described as well as Brownian motion measurements. In order to improve our device performance, we investigated optical and mechanical dissipation channels. These studies, by allowing a better understanding of the system, pave the way to further improvements. Finally, we present the self-oscillation regime of the optomechanical resonator, a regime achieved thanks to technical improvements in the setup. At high optical power, a new nonlinear phenomenon appears, called self-modulation of the self-oscillation, involving free carriers dynamics, created by two photon absorption.L'optomécanique en cavité est le domaine qui étudie les interactions réciproques entre la lumière et les degrés de liberté mécaniques d'une cavité optique. Ce couplage optomécanique permet de mesurer précisément, mais aussi de contrôler le mouvement d'un résonateur mécanique. Ce travail de thèse concerne l'étude des effets optomécaniques des disques en arséniure de gallium (GaAs). Les disques sont à la fois des résonateurs mécaniques oscillant à la centaine de MHz, et des résonateurs optiques à mode de galerie à haut facteur de qualité. L'interaction optomécanique dans les disques GaAs repose majoritairement sur la pression de radiation, l'électrostriction et l'effet photothermique. Nous formulons un modèle analytique permettant de décrire le couplage optique-mécanique via ces trois vecteurs. Nous présentons le dispositif expérimental permettant de sonder les effets optomécaniques en soulignant les améliorations notables apportées durant cette thèse. Les techniques de fabrication des échantillons et de la fibre effilée sont décrites ainsi que les mesures de mouvement brownien. Dans le but d'améliorer les performances de notre dispositif, nous nous sommes intéressés aux différents mécanismes de dissipation optiques et mécaniques. Ces études, en permettant une meilleure compréhension du système, ouvrent la voie à des améliorations ultérieures. Enfin nous présentons la mise en auto-oscillation du résonateur optomécanique, phénomène rendu possible par les améliorations technologiques mises en place. A haute puissance optique, un phénomène non-linéaire nouveau apparaît, baptisé auto-modulation de l'auto-oscillation, mettant en jeu la dynamique de porteurs libres créés par l'absorption à deux photons

Noise and thermal stability of vibrating micro-gyrometers preamplifiers

The preamplifier is a critical component of gyrometer's electronics. Indeed the resolution of the sensor is limited by its signal to noise ratio, and the gyrometer's thermal stability is limited by its gain drift. In this paper, five different kinds of preamplifiers are presented and compared. Finally, the design of an integrated preamplifier is shown in order to increase the gain stability while reducing its noise and size.Comment: Submitted on behalf of EDA Publishing Association (http://irevues.inist.fr/EDA-Publishing

Synthesis and structure of Ag(I), Pd(II), Rh(I), Ru(II) and Au(I) NHC-complexes with a pendant Lewis acidic boronic ester moiety

International audienceBifunctional Ag(I), Pd(II), Rh(I), Ru(II) and Au(I) complexes containing a NHC ligand and a pendant trivalent boron moiety have been synthesized in high yields. Fine-tuned reaction conditions were used to prevent potential ligand self-quenching or polymerization due to the eventual co-existence in situ of free NHC (Lewis base) and boronic ester (Lewis acid) in the same molecule

La haute mer : un espace aux frontières de la recherche géographique

La haute mer est un espace encore peu étudié au sein de la géographie. Ses caractéristiques en font un espace complexe et reflètent son altérité. L’océan est un terrain difficile et original permettant de se confronter à l’interdisciplinarité (géographie, océanographie, climatologie, biologie, histoire, économie). Les approches menées au sein de la géographie sont souvent régionales, sectorielles, côtières et appliquées et peu cherchent à s’orienter vers des approches théoriques ou vers la haute mer. Nous ferons ici un état des lieux de la place de l’océan au sein de la géographie et tâcherons d’ouvrir des perspectives de recherche en prenant l’exemple de la navigation à voile et de la notion de territoire en haute mer que nous qualifierons de « merritoire ». Pour le définir, nous proposons d’ouvrir sur les notions de mobilité, discontinuités, réseaux et de paysage marin. Le paysage, reflet de l’interdisciplinarité, apparaît également comme étant une piste pour la gestion de l’espace maritime.The high sea has been little studied within geography. Its characteristics show that it is a complex space and do reflect its alterity. The ocean is a difficult and original fieldwork that invites to be analyzed with interdisciplinary methods (geography, oceanography, climatology, biology, history, economy). The geographical approach has so far mainly been an applied geography and has focused on regional, sectorial and coastal aspects. Few are aiming at theoretical approaches or on the high seas. We will overview the position of the ocean within geography and will try to explore new research perspectives by taking into account sailing and the concept of territory in the high sea that we will define as « maritory ». To define it, we offer to discuss on the terms of mobility, discontinuity, network and seascape. Seascape - example of an interdisciplinary tool- could appear as a method for marine management

A Scalable, Self-Analyzing Digital Locking System for use on Quantum Optics Experiments

Digital control of optics experiments has many advantages over analog control systems, specifically in terms of scalability, cost, flexibility, and the integration of system information into one location. We present a digital control system, freely available for download online, specifically designed for quantum optics experiments that allows for automatic and sequential re-locking of optical components. We show how the inbuilt locking analysis tools, including a white-noise network analyzer, can be used to help optimize individual locks, and verify the long term stability of the digital system. Finally, we present an example of the benefits of digital locking for quantum optics by applying the code to a specific experiment used to characterize optical Schrodinger cat states.Comment: 7 pages, 5 figure

First studies directed towards the diastereoselective synthesis of the BCD tricyclic core of brownin F

International audienceThe BCD tricyclic core of brownin F was prepared in eight synthetic operations for the first time. Our synthesis features a diastereo-, chemo- and regioselective intramolecular [3 + 2] cycloaddition between a cyclic carbonyl ylide and a γ-alkylidenebutenolide

Optimisation multicritère pour la gestion de dépendances logicielles : utilisation de la norme de Tchebycheff

Session "Posters"National audienceLe problème de gestion de dépendances logicielles concerne l'installation d'applications informatiques modulaires. Il s'agit de programmes ayant la faculté d'être configurés par l'utilisateur, qui peut choisir à tout moment les modules qu'il souhaite installer ou enlever. Un module peut nécessiter la présence d'autres modules pour fonctionner, il peut entrer en conflit avec certains modules, et parfois il peut recommander l'installation de modules spécifiques pour pouvoir être utilisé au meilleur de ses capacités. Il existe généralement plusieurs solutions (listes de paquets à installer et à enlever) pour passer d'une configuration courante à une configuration souhaitée. On peut se donner des critères pour ordonner ces solutions, passant alors d'un problème de décision (" est-ce que je peux ajouter tous ces modules ? ") à un problème d'optimisation (" quelle est la meilleure solution pour ajouter tous ces modules ? "). Dans de nombreux cas, il faut prendre en compte plusieurs critères. Cet article se concentre sur des méthodes algorithmiques capables de calculer des solutions équilibrées en utilisant la norme de Tchebycheff comme méthode d'agrégation de critères. Cette approche est ensuite évaluée sur des problèmes de gestion de dépendances entre paquets GNU/Linux

Straightforward one-pot stereoselective synthesis of substituted tetrahydrofurans from 1,3-butadienes and aldehydes.

International audienceA new and efficient multicomponent reaction involving a double-allylation sequence is reported. In situ generated bimetallic reagents are prepared from disilane and added onto a range of aliphatic aldehydes to afford a direct access to trisubstituted tetrahydrofurans in good to excellent diastereoselectivity (up to 70%)

Diels-Alder cycloaddition of o-quinonedimethides and alkylidene-5H-furan-2-ones: new and rapid access to lambertellol cores and arthrinone derivatives

International audienceAn efficient synthesis of deoxy-lambertellols was reported through a highly chemo- and diastereoselective intermolecular Diels-Alder cycloaddition between trans-1,2-disiloxybenzocyclobutenes and 2-methylproto- anemonine. Such transformation with d-substituted c- alkylidenebutenolides, to prepare new analogues of these tricyclic spirolactones, which would be very difficult to prepare by other ways, was also studied