Sökning: "Input Generators"

Visar resultat 1 - 5 av 19 avhandlingar innehållade orden Input Generators.

  1. 1. On Optimization-Based Falsification of Cyber-Physical Systems

    Författare :Zahra Ramezani; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Bayesian Optimization; Model-Based Testing; Optimization-Based Falsification; Cyber-Physical Systems; Quantitative Semantics; Input Generators;

    Sammanfattning : In what is commonly referred to as cyber-physical systems (CPSs), computational and physical resources are closely interconnected. An example is the closed-loop behavior of perception, planning, and control algorithms, executing on a computer and interacting with a physical environment. LÄS MER

  3. 2. Dynamic threshold generators for robust fault detection

    Författare :Michael Bask; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reglerteknik; Control Engineering;

    Sammanfattning : Detection of faults, such as clogged valves, broken bearings or biased sensors, has been brought more and more into focus during the last few decades. There are two main reasons why faults are important to detect at an early stage. LÄS MER

  4. 3. Attenuation of boundary layer disturbances by means of streamwise vortices

    Författare :Sohrab Sattarzadeh Shirvan; Jens H. M. Fransson; Valery Chernoray; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; boundary layer stability; Tollmien-Schlichting waves; oblique waves; transition to turbulence; streamwise vortices; miniature vortex generators; instability control; drag reduction;

    Sammanfattning : The stability of the boundary layer developed on a flat plate is studied in the presence of streamwise streaks where disturbances of different types are introduced in the wall-bounded shear layer. The experimental investigations are aimed at flow control by means of passively damping the energy growth of the disturbances in the streaky boundary layer and furthermore delay the onset of the transition in the streamwise direction. LÄS MER

  5. 4. Functional Imaging of Spinal Locomotor Networks

    Författare :Chetan Nagaraja; Klas Kullander; Gilad Silberberg; Uppsala universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Central pattern generators; two-photon microscopy; locomotor rhythm; multiple rhythmicities; inhibitory neurotransmission; Neuroscience; Neurovetenskap;

    Sammanfattning : Movement is necessary for the survival of most animals. The spinal cord contains neuronal networks that are capable of motor coordination and of producing different movements. In particular, a very reduced neuronal network in the spinal cord can produce simple rhythmic outputs even in the absence of descending or sensory inputs. LÄS MER

  7. 5. Improving Parton Showers with Fixed Order Matrix Elements

    Författare :Stefan Prestel; Teoretisk partikelfysik - Geonomgår omorganisation; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Matrix Element Merging; Parton Shower; QCD; Phenomenology; Fysicumarkivet A:2013:Prestel;

    Sammanfattning : This thesis considers numerical simulations of high energy particle collisions, and improvements in the description of multiple collimated jets of hadrons in collision events in particular. In the event simulation software called event generators, the structure of multi-jet events is determined through an interplay of the input calculation, parton showers and phenomenological hadronisation models. LÄS MER