Essays about: "Test Verification"

Showing result 1 - 5 of 281 essays containing the words Test Verification.

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

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

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

5. 4. Adding Basic Support for Function Pointers in TriCera

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Axel Bergström; [2023]
   Keywords : ;

   Abstract : TriCera is a verification tool that encodes programs in a C-like language to a set of Constrained Horn Clauses.  These clauses describe the program states that can be reached when the program is executed.  A solver can then be used to check if the program is safe. READ MORE

6. 5. Multiscale & Multiphysics Modelling of Thrust Pad (Air) Bearings

   University essay from Luleå tekniska universitet/Institutionen för teknikvetenskap och matematik

   Author : Nipon Roy; [2023]
   Keywords : Finite element modelling; Air bearing; Multiphysics simulations; Air lubrication; surface texture; Topology optimization;

   Abstract : Without lubrication, machines are not imaginable to perform over a long period of time and complete their designated operations. With its omnipresent availability, the air is capable of functioning as a lubricant in long operations very efficiently. Moreover, thrust bearings support axial loads and transmit power at the same time under heavy loads. READ MORE