Essays about: "Verification results"

Showing result 1 - 5 of 578 essays containing the words Verification results.

  1. 1. Investigation of Injury Predictors for Rat Neuro Trauma

    University essay from KTH/Medicinteknik och hälsosystem

    Author : Rosetta Maglio; [2024]
    Keywords : Finite element method; Rat brain traumatic brain injury; Rat brain finite element model; Strain; Strain rate; Product of strain and strain rate; Rotational direction; Rotational duration; Injury prediction; Finita elementmetoden; Råtthjärnans finita elementmodell; Belastning; Belastningshastighet; Produkten av belastning och belastningshastighet; Rotationsriktning; Rotationstid; Skadeförutsägelse;

    Abstract : A traumatic brain injury is usually caused by a direct impact to the head and is a common cause of disability and death all around the world. The most effective method to predict brain injury today, is to use a finite element head model. READ MORE

  3. 2. INTRODUCTION OF CYBERSECURITY INTO VERIFICATION PROCESSES FOR CONSTRUCTION EQUIPMENT : Cybersecurity Verification

    University essay from Mälardalens universitet/Inbyggda system

    Author : Selam Fitsum Andemariam; [2024]
    Keywords : ;

    Abstract : Technology is evolving at a very fast pace in various domains, including the construction equipment industry. Although the increased automation and connectivity in different products, such as vehicles, heavy machinery, and many others, have advantages, they also have disadvantages. READ MORE

  4. 3. Robotic Automation of Mechanical Verification

    University essay from KTH/Integrerad produktutveckling och design

    Author : Sofie Gårdestam; Amalia Kronér; [2024]
    Keywords : ;

    Abstract : This master thesis explores the implementation of Collaborative robots into Elekta's mechanical product verification process. Elekta is a pioneer in precision radiation therapy solutions. Ensuring the compliance of Elekta's products with performance, safety, and quality criteria is of great importance. READ MORE

  5. 4. SeqLTL and ωLTL

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Oskar Grekula; [2023-10-19]
    Keywords : Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

    Abstract : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. READ MORE

  6. 5. Detection and Analysis of Anomalies in Tactical Sensor Systems through Structured Hypothesis Testing

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Fredrik Ohlson; [2023]
    Keywords : Tactical sensor systems; Sensor fusion; Model based diagnostics; Hypothesis testing; Taktiska sensor system; Sensor fusion; Modellbaserad diagnostisering; Hypotesprövning;

    Abstract : The project explores the domain of tactical sensor systems, focusing on SAAB Gripen’s sensor technologies such as radar, RWR (Radar Warning Receiver), and IRST (InfraRed Search and Track). The study employs structured hypothesis testing and model based diagnostics to examine the effectiveness of identifying and isolating deviations within these systems. READ MORE