Sökning: "Experimental Verification"

Visar resultat 21 - 25 av 162 avhandlingar innehållade orden Experimental Verification.

  1. 21. Numerical Investigations of Turbulent Flow in Water Turbines

    Författare :Håkan Nilsson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multiblock; Parallel; Visualization; Validation; Verification; Turbine; CFD; Francis; Numerical; Kaplan;

    Sammanfattning : This thesis investigates turbulent flow in water turbines, focusing onthe flow in the vicinity of reaction water turbine runners such as theKaplan runner and the Francis runner. The method of investigationis principally numerical although some experimental observations andmeasurements made in the present work and elsewhere are included. LÄS MER

  3. 22. Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies

    Författare :Hugo Flordal; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; nonblocking; finite state automata; verification; controllability; Discrete event systems; model reduction; synthesis; interlocking; supervisory control;

    Sammanfattning : The work presented in this thesis concerns verification and synthesis in the Ramadge and Wonham supervisory control framework. Supervisory control constitutes a formal framework for the design of supervisors for discrete event systems. LÄS MER

  4. 23. Modelling and Experimental Verification of Direct Drive Wave Energy Conversion : Buoy-Generator Dynamics

    Författare :Mikael Eriksson; Mats Leijon; Jan Isberg; Arne Wolfbrandt; Kim Nielsen; Uppsala universitet; []
    Nyckelord :Engineering physics; Wave energy; Potential wave theory; Linear generator; Simulations; Experiments; Point absorber; FEM; Equivalent circuit theory; Teknisk fysik; TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : This thesis is focused on development of models and modelling of a wave energy converter in operation. Through the thesis linear potential wave theory has been used to describe the wave-buoy interaction. The differences lie in the generator models, in the simplest model the generator is a mechanical damper characterized by a damping factor. LÄS MER

  5. 24. Sound Modular Extraction of Control Flow Graphs from Java Bytecode

    Författare :Pedro de Carvalho Gomes; Dilian Gurov; Wolfgang Ahrendt; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Compositional Verification;

    Sammanfattning : Control flow graphs (CFGs) are abstract program models that preserve the control flow information. They have been widely utilized for many static analyses in the past decades. LÄS MER

  7. 25. On Performance Evaluation of Automotive Active Safety Systems

    Författare :Jonas Nilsson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Semi-Autonomous Vehicles; Active Safety; Automotive; Augmented Reality.; Verification; Performance Evaluation; Decision Making;

    Sammanfattning : Road traffic accidents are a major global problem, annually causing over 1.2 million fatalities. To improve road safety, active safety systems support the driver by monitoring the vehicle and its surroundings, identifying hazardous situations and actively intervening to prevent or mitigate consequences of accidents. LÄS MER