1,037 research outputs found

    Spin-squeezing and Dicke state preparation by heterodyne measurement

    Full text link
    We investigate the quantum non-demolition (QND) measurement of an atomic population based on a heterodyne detection and show that the induced back-action allows to prepare both spin-squeezed and Dicke states. We use a wavevector formalism to describe the stochastic process of the measurement and the associated atomic evolution. Analytical formulas of the atomic distribution momenta are derived in the weak coupling regime both for short and long time behavior, and they are in good agreement with those obtained by a Monte-Carlo simulation. The experimental implementation of the proposed heterodyne detection scheme is discussed. The role played in the squeezing process by the spontaneous emission is considered

    Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm

    Full text link
    From formal and practical analysis, we identify new challenges that self-adaptive systems pose to the process of quality assurance. When tackling these, the effort spent on various tasks in the process of software engineering is naturally re-distributed. We claim that all steps related to testing need to become self-adaptive to match the capabilities of the self-adaptive system-under-test. Otherwise, the adaptive system's behavior might elude traditional variants of quality assurance. We thus propose the paradigm of scenario coevolution, which describes a pool of test cases and other constraints on system behavior that evolves in parallel to the (in part autonomous) development of behavior in the system-under-test. Scenario coevolution offers a simple structure for the organization of adaptive testing that allows for both human-controlled and autonomous intervention, supporting software engineering for adaptive systems on a procedural as well as technical level.Comment: 17 pages, published at ISOLA 201

    A generic testing framework for agent-based simulation models

    Get PDF
    International audienceAgent-based modelling and simulation (ABMS) had an increasing attention during the last decade. However, the weak validation and verification of agent-based simulation models makes ABMS hard to trust. There is no comprehensive tool set for verification and validation of agent-based simulation models, which demonstrates that inaccuracies exist and/or reveals the existing errors in the model. Moreover, on the practical side, many ABMS frameworks are in use. In this sense, we designed and developed a generic testing framework for agent-based simulation models to conduct validation and verification of models. This paper presents our testing framework in detail and demonstrates its effectiveness by showing its applicability on a realistic agent-based simulation case study

    Les Houches 2015: Physics at TeV colliders - new physics working group report

    Get PDF
    We present the activities of the 'New Physics' working group for the 'Physics at TeV Colliders' workshop (Les Houches, France, 1-19 June, 2015). Our report includes new physics studies connected with the Higgs boson and its properties, direct search strategies, reinterpretation of the LHC results in the building of viable models and new computational tool developments. Important signatures for searches for natural new physics at the LHC and new assessments of the interplay between direct dark matter searches and the LHC are also considered.Comment: Proceedings of the New Physics Working Group of the 2015 Les Houches Workshop, Physics at TeV Colliders, Les Houches 1-19 June 2015. 197 page

    Methodological Guidelines for Engineering Self-organization and Emergence

    Get PDF
    The ASCENS project deals with the design and development of complex self-adaptive systems, where self-organization is one of the possible means by which to achieve self-adaptation. However, to support the development of self-organising systems, one has to extensively re-situate their engineering from a software architectures and requirements point of view. In particular, in this chapter, we highlight the importance of the decomposition in components to go from the problem to the engineered solution. This leads us to explain and rationalise the following architectural strategy: designing by following the problem organisation. We discuss architectural advantages for development and documentation, and its coherence with existing methodological approaches to self-organisation, and we illustrate the approach with an example on the area of swarm robotics

    Mimicking human neuronal pathways in silico: an emergent model on the effective connectivity

    Get PDF
    International audienceWe present a novel computational model that detects temporal configurations of a given human neuronal pathway and constructs its artificial replication. This poses a great challenge since direct recordings from individual neurons are impossible in the human central nervous system and therefore the underlying neuronal pathway has to be considered as a black box. For tackling this challenge, we used a branch of complex systems modeling called artificial self-organization in which large sets of software entities interacting locally give rise to bottom-up collective behaviors. The result is an emergent model where each software entity represents an integrate-and-fire neuron. We then applied the model to the reflex responses of single motor units obtained from conscious human subjects. Experimental results show that the model recovers functionality of real human neuronal pathways by comparing it to appropriate surrogate data. What makes the model promising is the fact that, to the best of our knowledge, it is the first realistic model to self-wire an artificial neuronal network by efficiently combining neuroscience with artificial self-organization. Although there is no evidence yet of the model's connectivity mapping onto the human connectivity, we anticipate this model will help neuroscientists to learn much more about human neuronal networks, and could also be used for predicting hypotheses to lead future experiments

    The Higgs vacuum uplifted: revisiting the electroweak phase transition with a second Higgs doublet

    Get PDF
    The existence of a second Higgs doublet in Nature could lead to a cosmological first order electroweak phase transition and explain the origin of the matter-antimatter asymmetry in the Universe. We explore the parameter space of such a two-Higgs-doublet-model and show that a first order electroweak phase transition strongly correlates with a significant uplifting of the Higgs vacuum w.r.t. its Standard Model value. We then obtain the spectrum and properties of the new scalars H0, A0 and H± that signal such a phase transition, showing that the decay A0 → H0Z at the LHC and a sizable deviation in the Higgs self-coupling λhhh from its SM value are sensitive indicators of a strongly first order electroweak phase transition in the 2HDM

    A mid-infrared Mueller ellipsometer with pseudo-achromatic optical elements

    Full text link
    The purpose of this article is to present a new broadband Mueller ellipsometer designed to work in the mid-infrared range, from 3 to 14 microns. The Mueller ellipsometer, which can be mounted in reflection or in transmission configuration, consists of a polarization state generator (PSG), a sample holder, and a polarization state analyzer (PSA). The PSG consists in one linear polarizer and a retarder sequentially rotated to generate a set of four optimal polarization states. The retarder consists in a bi-prism made of two identical Fresnel rhombs disposed symmetrically and joined by optical contact, giving the ensemble a "V" shape. Retardation is induced by the four total internal reflections that the beam undergoes when it propagates through the bi-prism. Total internal reflection allows to generate a quasi-achromatic retardation. The PSA is identical to the PSG, but with its optical elements mounted in reverse order. After a measurement run, the instrument yields a set of sixteen independent values, which is the minimum amount of data required to calculate the Mueller matrix of the sample. The design of the Mueller ellipsometer is based on the optimization of an objective criterion that allows minimizing the propagation of errors from raw data to the Mueller matrix of the sample. The pseudo-achromatic optical elements ensure a homogeneous quality of the measurements for all wavelengths. The performance of the Mueller ellipsometer in terms of precision, and accuracy, is discussed and illustrated with a few examples
    corecore