Search for dissertations about: "Brian Nielsen"
Found 5 swedish dissertations containing the words Brian Nielsen.
-
1. Failure Prediction of Complex Load Cases in Sheet Metal Forming : Emphasis on Non-Linear Strain Paths, Stretch-Bending and Edge Effects
Abstract : With the increased focus on reducing carbon emissions in today’s society, several industries have to overcome new challenges, where especially the automotive industry is under a lot of scrutiny to deliver improved and more environmentally friendly products. To meet the demands from customers and optimize vehicles aerodynamically, new cars often contain complex body geometries, together with advanced materials that are introduced to reduce the total vehicle weight. READ MORE
-
2. Formal Verification of Adaptive Real-Time Systems by Extending Task Automata
Abstract : Recently, we have seen an increase in the deployment of safety critical embedded systems in rapidly changing environments, as well as requirement for on-site customizations and rapid adaptation. To address the extended range of requirements, adaptation mechanism are added to the systems to handle large number of situations appropriately. READ MORE
-
3. Optimization of sheet metal forming processes
Abstract : The potential of using simulation and optimization techniques in the design of sheet metal forming processes has been investigated. Optimization has been used in a variety of sheet metal forming applications. READ MORE
-
4. AI-Based Methods For Improved Testing of Radio Base Stations : A Case Study Towards Intelligent Manufacturing
Abstract : Testing of complex systems may often require the use of tailored-made solutions, expensive testing equipment, large computing capacity, and manual implementation work due to domain uniqueness. The aforementioned test resources are expensive and time-consuming, which makes them good candidates to optimize. READ MORE
-
5. Algorithms and Tools for Learning-based Testing of Reactive Systems
Abstract : In this thesis we investigate the feasibility of learning-based testing (LBT) as a viable testing methodology for reactive systems. In LBT, a large number of test cases are automatically generated from black-box requirements for the system under test (SUT) by combining an incremental learning algorithm with a model checking algorithm. READ MORE