Sökning: "model verification"

Visar resultat 1 - 5 av 483 uppsatser innehållade orden model verification.

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

    Master-uppsats, KTH/Medicinteknik och hälsosystem

    Författare :Rosetta Maglio; [2024]
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  3. 2. Inductive fast charging of IoT devices : An in-depth analysis of short-range wireless charging technologies based on induction

    Uppsats för yrkesexamina på avancerad nivå, Umeå universitet/Institutionen för fysik

    Författare :Franz Wikner; [2024]
    Nyckelord :Electromagnetic power transfer; Inductive power transfer; Short distance WPT;

    Sammanfattning : 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. LÄS MER

  4. 3. SeqLTL and ωLTL

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Oskar Grekula; [2023-10-19]
    Nyckelord :Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

    Sammanfattning : 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. LÄS MER

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

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

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

    Sammanfattning : 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. LÄS MER

  7. 5. Parabolic equation models simulating LoS MIMO conditions

    Master-uppsats, Karlstads universitet/Institutionen för ingenjörsvetenskap och fysik (from 2013)

    Författare :Zarafshan Carneil; [2023]
    Nyckelord :MIMO; channel capacity; phase difference; MIMO phase;

    Sammanfattning : 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. LÄS MER