Sökning: "Model Checking"
Visar resultat 6 - 10 av 137 uppsatser innehållade orden Model Checking.
6. Automated Foreign Object Detection on Conveyor Belts
Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknikSammanfattning : Ore is transported using belt conveyor systems. The transported ore has various anomalous objects that must be removed to prevent damage to the system. Currently anomalies are detected manually using humans. This leads to increased costs of wages and damage to the system overmissed anomalies. LÄS MER
7. A SYSTEMATIC MAPPING STUDY ON ONLINE MODEL-BASED TESTING
Magister-uppsats, Mälardalens universitet/Akademin för innovation, design och teknikSammanfattning : Background: Testing is an integral component of the software development process. It demands both time and resources. Model-based testing (MBT) is a testing strategy that automates the testing process and generates test cases using formal models. LÄS MER
8. Teknoekonomisk utvärdering och klimatpåverkan av konventionella värme- och kylsystem i kontorsfastigheter
Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för teknikvetenskap och matematikSammanfattning : Vid bestämmelse av vilket värme- och kylsystem som ska användas i fastigheter så finns det flertalet aspekter som går att ta hänsyn till. Tidigare har det varit högt fokus på energi och ekonomi, men med ökat fokus på hållbarhet och miljön både globalt och i Sverige har det blivit allt mer viktigt att hitta robusta lösningar som presterar inom samtliga av dessa områden. LÄS MER
9. Integration of Advanced Product Quality Planning in Quality Preparation for an Original Equipment Manufacturer in the Automotive Industry : A Case Study at Volvo Group Trucks Operations Powertrain Production in Skövde
Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för ekonomi, teknik, konst och samhälleSammanfattning : This study examines the development of Volvo Group Trucks Operations Powertrain Production (Volvo GTO PTP) in Skövde, focusing on the implementation of processes for new products intended for both internal and external customers. Previously, the company solely supplied products within the Volvo Group, functioning as an Original Equipment Manufacturer (OEM). LÄS MER
10. Sensor fusion between positioning system and mixed reality
Master-uppsats, Linköpings universitet/Tekniska fakulteten; Linköpings universitet/Institutionen för datavetenskapSammanfattning : In situations where we want to use mixed reality systems over larger areas, it is necessary for these systems to maintain a correct orientation with respect to the real world. A solution for synchronizing the mixed reality and the real world over time is therefore essential to provide a good user experience. LÄS MER