Sökning: "virtual verification"

Visar resultat 6 - 10 av 40 avhandlingar innehållade orden virtual verification.

  1. 6. Computational Methods for Deformable 1D Objects in Virtual Product Realization

    Författare :Tomas Hermansson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; assembly verification; variation simulation; robust design; path planning; Cosserat rod theory; deformable 1D objects; automatic routing;

    Sammanfattning : In industry today, virtual design tools are used in the realization of a new product. As changes in the design and planning concepts are extremely costly in the later verification and production phases, much can be gained if a product design can be optimized and verified with respect to the assembly process with simulation tools as early as possible. LÄS MER

  3. 7. Variation simulation of sheet metal assemblies for geometrical quality : parameter modeling and analysis

    Författare :Stefan Dahlström; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; tolerancing; geometrical variation; variation simulation; sheet metal assembly; virtual verification; geometrical quality;

    Sammanfattning : The automotive industry deals with an increased demand for virtual verification of the geometrical quality of the product. The aim is to reduce the need for adjusting the assembly process to deliver a product with high quality. LÄS MER

  4. 8. Co-Simulation in Virtual Verification of Vehicles with Mechatronic Systems

    Författare :Weitao Chen; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; error and stability; Vehicle and mechatronic system; explicit parallel co-simulation; coupling method;

    Sammanfattning : In virtual verification of vehicle and mechatronic systems, a mixture of subsystems are integrated numerically in an offline simulation or integrated physically in a hardware-in-loop (HIL) simulation. This heterogeneous engineering approach is crucial for system-level development and widely spreads with the industrial standard, e.g. LÄS MER

  5. 9. 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

  7. 10. 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