Search for dissertations about: "numerical verification"

Showing result 1 - 5 of 98 swedish dissertations containing the words numerical verification.

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

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

    Abstract : 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. READ MORE

  4. 2. Deformations and stresses in butt-welding of plates : numerical simulation and experimental verification

    Author : Lars-Erik Lindgren; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Material Mechanics; Materialmekanik;

    Abstract : 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. READ MORE

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

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

    Abstract : 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. READ MORE

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

    Author : Kaijia Han; Chalmers tekniska högskola; []
    Keywords : 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;

    Abstract : 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. READ MORE

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

    Author : Kaijia Han; Chalmers tekniska högskola; []
    Keywords : 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;

    Abstract : 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. READ MORE