Sökning: "numerical verification"

Visar resultat 1 - 5 av 98 avhandlingar innehållade orden numerical verification.

  1. 1. 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. 2. Deformations and stresses in butt-welding of plates : numerical simulation and experimental verification

    Författare :Lars-Erik Lindgren; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Material Mechanics; Materialmekanik;

    Sammanfattning : Deformation and stresses in butt-welding of plates were studied. The work includes numerical simulation and experimental verification. The simulations were performed by use of the finite element method. Temperature dependence of material properties and phase transformations were considered. LÄS MER

  4. 3. Parameterized Systems : Generalizing and Simplifying Automatic Verification

    Författare :Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Sammanfattning : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. LÄS MER

  5. 4. Numerical Optimization of a propeller in a given wake and behind a ship

    Författare :Kaijia Han; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; propeller geometry; pressure fluctuation; correction; full scale; efficiency; RANS; cavitation; grid density; verification; delivered power; optimization; Hamburg test case; iteration number;

    Sammanfattning : The work presented in this thesis includes two stages in a research project at the Rolls-Royce University Technology Center (UTC) at Chalmers Technology University. The objective of the project is to develop an optimization technique for ship/propeller interaction. LÄS MER

  7. 5. Numerical optimization of hull/propeller/rudder configurations

    Författare :Kaijia Han; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; fuel cost savings; optimization; pressure fluctuation; self-propulsion; RANS; verification and validation; cavitation; open water; lifting surface; hull-propeller-rudder; effective wake; efficiency; aspect ratio; lifting line; interaction;

    Sammanfattning : The new framework of the global economy has stimulated and expanded the shipbuilding and shipping industry, especially in Asia in the twenty-first century. This induces urgent and high requirements on designing and building both conventional and new types of ships with high performance, such as high speed, manoeuvrability, seaworthiness and so on. LÄS MER