Sökning: "virtual verification"

Visar resultat 11 - 15 av 40 avhandlingar innehållade orden virtual verification.

  1. 11. 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

  3. 12. Managing Effects of Manufacturing Variation in Dental Medical Device Treatments - Increasing Geometrical Robustness

    Författare :Timo Kero; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; mass customization and dentistry.; medical devices; virtual verification; Robust design; variation simulation; tolerance analysis;

    Sammanfattning : Today, there are many solutions for dental rehabilitation. A damaged tooth can be replaced with a dental crown, and a toothless patient can be rehabilitated with implants and a corresponding bridge set-up. Traditionally, a dental crown is manufactured by veneering porcelain to a metal surface that is obtained through the use of casting principles. LÄS MER

  4. 13. Managing the Effect of Manufacturing Variation in Medical Treatments

    Författare :Timo Kero; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; bioengineering; Variation simulation; biomedicine; medicine; geometrical quality; virtual verification; mass-customization.; robust design;

    Sammanfattning : To stay competitive in the market today, biomedical manufacturing companies must shorten their product realization time. These companies also deal with an increased demand for medical applications of high quality, from both the perspectives of user, government and internal requirements. LÄS MER

  5. 14. Proving the correctness of a virtual machine by a bisimulation

    Författare :Mikael Rittri; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; stack machine; snapshot; one-step reduction; interpreter correctness; verification mapping; bisimulation; operational semantics; compiler correctness; SECD--machine; context; McGowan mapping; state-trace; debugging;

    Sammanfattning : .... LÄS MER

  7. 15. Computational Methods for Design, Planning and Verification regarding Deformable 1D Objects

    Författare :Tomas Hermansson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; production planning; simulation of deformable 1D objects; variation analysis; non-linear optimization; path planning; assembly verification; routing design;

    Sammanfattning : The industry of today is focused on using virtual tools in the realization of new products. As late changes in a design and planning concept can be extremely costly, there are many benefits to discovering and addressing problems as early as possible: fewer iterations between the different product realization phases and shorter lead-times, reduced numbers of physical prototypes and test series, fewer on-line adjustments in the production system and, in the end, a product of a higher quality. LÄS MER