Essays about: "verification of data"

Showing result 1 - 5 of 434 essays containing the words verification of data.

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

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

  4. 3. Digital Twins for Verification and Validation of CPS

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

    Author : Ahmed Yasser; Axel Broberg; [2023-09-21]
    Keywords : Digital Twin; Standardization; Practices; AI; Requirements Engineering; CPS; V V;

    Abstract : This paper proposes standardizing the usage and practices of Digital Twins (DTs) for the seamless digital-tophysical transition of Cyber-Physical Systems (CPS) to assure their safety. It recommends adopting Artificial Intelligence (AI) methods and following Requirements Engineering principles (RE) for strong Verification and Validation (V&V) processes. 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. Test management in a PLM system context

    University essay from Jönköping University/Tekniska Högskolan

    Author : Alicia González Corona; Daniel Melle; [2023]
    Keywords : Activity diagram; Class diagram; Product Lifecycle Management PLM ; System Engineering SE ; Test management;

    Abstract : The purpose of this final project work is to explore how tests are managed during the development of mechatronic products at a manufacturing company. This study aims to develop an information model and a process model that can be used in a PLM system. The research method used is a case study at Husqvarna Group. READ MORE