Sökning: "modelling and verification"
Visar resultat 1 - 5 av 100 uppsatser innehållade orden modelling and verification.
1. Code Synthesis for Heterogeneous Platforms
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. LÄS MER
2. Sammanfogningsmetoder för metallprofiler - lådor och ramar
Kandidat-uppsats, Högskolan i Skövde/Institutionen för ingenjörsvetenskapSammanfattning : Joining of materials is a very popular area of research, as a result of its central role within modern industry. The automotive industry has seen an increase in demand for joining methods that can contribute to weight reduction and meet the criteria for strength, while co-existing with goals set for sustainable development for the future. LÄS MER
3. Multiscale & Multiphysics Modelling of Thrust Pad (Air) Bearings
Master-uppsats, Luleå tekniska universitet/Institutionen för teknikvetenskap och matematikSammanfattning : 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. LÄS MER
4. Start of a new design method for a competitive Small Modular Reactor (SMR) adaptable to future uses
Master-uppsats, KTH/Skolan för teknikvetenskap (SCI)Sammanfattning : As cyber-physical systems become increasingly complex, the management and verification of requirements during design is essential. A new language called CRML (Common Requirement Modelling Language) has been created during the European EMBrACE project to formalize realistic dynamical requirements, but a method for representing these requirements and a framework for using them as a design aid must be defined to ease appropriation by engineers. LÄS MER
5. Modelling of a Glued Bolt Joint in Finite Element
Master-uppsats, KTH/HållfasthetsläraSammanfattning : This report presents a master thesis project at KTH at the school of Engineering Science. The project is done in collaboration with ABB Robotics, a company who develops industrial robots. A robot consists of several parts and the last structural part is the wrist. LÄS MER