Essays about: "Verifiering"

Showing result 1 - 5 of 181 essays containing the word Verifiering.

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

  4. 3. Implicit Message Integrity Provision : In Heterogeneous Vehicular Systems

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

    Author : Paul Molloy; [2023]
    Keywords : Privacy; Code Generation; Vehicle-to-infrastructure; Vehicular ad hoc Networks; Standardization; Remote Procedure Calls; Safety; Integritet; Kodgenerering; Fordon-till-infrastruktur; Ad hoc-nät för Fordon; Standardisering; Samtal om fjärrprocedur; Säkerhet;

    Abstract : Vehicles on the road today are complex multi-node computer networks. Security has always been a critical issue in the automotive computing industry. It is becoming even more crucial with the advent of autonomous vehicles and driver assistant technology. There is potential for attackers to control vehicles maliciously. READ MORE

  5. 4. Design and Implementation of a Rocket Launcher Hybrid Navigation

    University essay from KTH/Lättkonstruktioner, marina system, flyg- och rymdteknik, rörelsemekanik

    Author : Omar Ugolini; [2023]
    Keywords : launch vehicle navigation; delayed Kalman filter; strapdown; navigering av bärraketer; fördröjt Kalman-filter; strapdown;

    Abstract : Rocket Factory Augsburg (RFA) a German New Space Startup is developing a three-stage rocket launcher aiming at LEO/SSO orbits. A fundamental responsibility of the GNC team is the development of the rocket navigation algorithm to estimate the attitude, position, and velocity allowing the guidance and control loops to autonomously steer the rocket. READ MORE

  6. 5. Advancements in Dependability Analysis of Safety-Critical Systems : Addressing Specification Formulation and Verification Challenges

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

    Author : Zelin Yu; [2023]
    Keywords : Specification theory; Contracts; Automata theory; Refinement; Specifikationsteori; Kontrakt; Automatteori; Förfina;

    Abstract : Safety-critical systems have garnered increasing attention, particularly regarding their dependability analysis. In modern times, these systems comprise numerous components, making it crucial to verify that lower-level components adhere to their specifications will ensure the overall system’s compliance with its top-level specification. READ MORE