Essays about: "verification model"

Showing result 1 - 5 of 416 essays containing the words verification model.

  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. Inductive fast charging of IoT devices : An in-depth analysis of short-range wireless charging technologies based on induction

    University essay from Umeå universitet/Institutionen för fysik

    Author : Franz Wikner; [2024]
    Keywords : Electromagnetic power transfer; Inductive power transfer; Short distance WPT;

    Abstract : In the era of Internet of things (IoT), sensor-equipped devices exchange data over networks. In battery powered IoT devices, the lifespan of the devices is often much longer than the battery life, leading to multiple costly and environmentally hazardous battery replacements during the operational life of the devices. READ MORE

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

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

  6. 5. Parabolic equation models simulating LoS MIMO conditions

    University essay from Karlstads universitet/Institutionen för ingenjörsvetenskap och fysik (from 2013)

    Author : Zarafshan Carneil; [2023]
    Keywords : MIMO; channel capacity; phase difference; MIMO phase;

    Abstract : This thesis explores and develops a simulation model for Line of Sight(LoS) Multiple-Input Multiple-Output (MIMO) systems in complex environments. The focus will be on implementing a 2 × 2-MIMO system in order to study phase differences of the received signals. READ MORE