83 research outputs found

    Enhancement of ion cyclotron waves in hydrogen helium mixtures

    Get PDF
    Metastable helium atom addition to hydrogen plasma for ion cyclotron mode enhancemen

    Computational Fluid Dynamics of Catalytic Reactors

    Get PDF
    Today, the challenge in chemical and material synthesis is not only the development of new catalysts and supports to synthesize a desired product, but also the understanding of the interaction of the catalyst with the surrounding flow field. Computational Fluid Dynamics or CFD is the analysis of fluid flow, heat and mass transfer and chemical reactions by means of computer-based numerical simulations. CFD has matured into a powerful tool with a wide range of applications in industry and academia. From a reaction engineering perspective, main advantages are reduction of time and costs for reactor design and optimization, and the ability to study systems where experiments can hardly be performed, e.g., hazardous conditions or beyond normal operation limits. However, the simulation results will always remain a reflection of the uncertainty in the underlying models and physicochemical parameters so that in general a careful experimental validation is required. This chapter introduces the application of CFD simulations in heterogeneous catalysis. Catalytic reactors can be classified by the geometrical design of the catalyst material (e.g. monoliths, particles, pellets, washcoats). Approaches for modeling and numerical simulation of the various catalyst types are presented. Focus is put on the principal concepts for coupling the physical and chemical processes on different levels of details, and on illustrative applications. Models for surface reaction kinetics and turbulence are described and an overview on available numerical methods and computational tools is provided

    Solving Constraints in Model Transformations

    Full text link
    Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, but have not been properly reflected in model transformation. This paper introduces constraint programming in model transformation, shows how constraint programming integrates with QVT Relations - as a pathway to wide spread use of our approach - and describes the corresponding model transformation engine. In particular, the paper will illustrate the use of constraint programming for the specification of attribute values in target models, and provide a qualitative evaluation of the benefit drawn from constraints integrated with QVT Relations

    Incremental Backward Change Propagation of View Models by Logic Solvers

    Get PDF
    View models are key concepts of domain-specific modeling to provide task-specific focus (e.g., power or communication architecture of a system) to the designers by highlighting only the relevant aspects of the system. View models can be specified by unidirectional forward transformations (frequently captured by graph queries), and automatically maintained upon changes of the underlying source model using incremental transformation techniques. However, tracing back complex changes from one or more abstract view to the underlying source model is a challenging task, which, in general, requires the simultaneous analysis of transformation specifications and well-formedness constraints to create valid changes in the source model. In this paper we introduce a novel delta-based backward transformation technique using SAT solvers to synthetize valid and consistent change candidates in the source model, where only forward transformation rules are specified for the view models

    Light-enhanced Charge Density Wave Coherence in a High-Temperature Superconductor

    Full text link
    In high-TC_{C} cuprates, superconductivity and charge density waves (CDW) are competitive, yet coexisting orders. To understand their microscopic interdependence a probe capable of discerning their interaction on its natural length and time scales is necessary. Here we use ultrafast resonant soft x-ray scattering to track the transient evolution of CDW correlations in YBa2_{2}Cu3_{3}O6+x_{6+x} following the quench of superconductivity by an infrared laser pulse. We observe a picosecond non-thermal response of the CDW order, characterized by a large enhancement of spatial coherence, nearly doubling the CDW correlation length, while only marginally affecting its amplitude. This ultrafast snapshot of the interaction between order parameters demonstrates that their competition manifests inhomogeneously through disruption of spatial coherence, and indicates the role of superconductivity in stabilizing topological defects within CDW domains.Comment: 29 pages, 9 figures, Main text and Supplementary Material

    Enhanced charge density wave coherence in a light-quenched, high-temperature superconductor

    Get PDF
    Superconductivity and charge density waves (CDWs) are competitive, yet coexisting, orders in cuprate superconductors. To understand their microscopic interdependence, a probe capable of discerning their interaction on its natural length and time scale is necessary. We use ultrafast resonant soft x-ray scattering to track the transient evolution of CDW correlations in YBa2Cu3O6+x after the quench of superconductivity by an infrared laser pulse. We observe a nonthermal response of the CDW order characterized by a near doubling of the correlation length within ≈1 picosecond of the superconducting quench. Our results are consistent with a model in which the interaction between superconductivity and CDWs manifests inhomogeneously through disruption of spatial coherence, with superconductivity playing the dominant role in stabilizing CDW topological defects, such as discommensurations

    Coherence properties of focused X-ray beams at high-brilliance synchrotron sources

    Get PDF
    An analytical approach describing properties of focused partially coherent X-ray beams is presented. The method is based on the results of statistical optics and gives both the beam size and transverse coherence length at any distance behind an optical element. In particular, here Gaussian Schell-model beams and thin optical elements are considered. Limiting cases of incoherent and fully coherent illumination of the focusing element are discussed. The effect of the beam-defining aperture, typically used in combination with focusing elements at synchrotron sources to improve transverse coherence, is also analyzed in detail. As an example, the coherence properties in the focal region of compound refractive lenses at the PETRA III synchrotron source are analyzed
    • …
    corecore