Sökning: "brake"

Visar resultat 6 - 10 av 302 uppsatser innehållade ordet brake.

  1. 6. Advancements in Dependability Analysis of Safety-Critical Systems : Addressing Specification Formulation and Verification Challenges

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Zelin Yu; [2023]
    Nyckelord :Specification theory; Contracts; Automata theory; Refinement; Specifikationsteori; Kontrakt; Automatteori; Förfina;

    Sammanfattning : Safety-critical systems have garnered increasing attention, particularly regarding their dependability analysis. In modern times, these systems comprise numerous components, making it crucial to verify that lower-level components adhere to their specifications will ensure the overall system’s compliance with its top-level specification. LÄS MER

  3. 7. Developing a jump platform exergame where high scores entails a high degree of movement

    M1-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Linus Olsson; Alfred Spjut Molin; [2023]
    Nyckelord :exergame; platform; 2D; game; excercise; score; godot; mediapipe;

    Sammanfattning : There have been an increase of certain health risks since more and more people sit infront of their computer for longer periods of time. Studies show that there is a need of morephysical activity for people who are living a more sedentary lifestyle. LÄS MER

  4. 8. Machinability study on GCI brake discs - Effects of material variations and process behavior on tool life

    Uppsats för yrkesexamina på grundnivå, Lunds universitet/Industriell Produktion

    Författare :Christian Jaunviksna; [2023]
    Nyckelord :Metal cutting Machinability Grey cast iron Tool wear Cutting data Hardness Microstructure Segmentation; Technology and Engineering;

    Sammanfattning : Grey cast iron is one of the most used materials in the automotive industry. The material has a range of properties that makes it suitable for machining applications, but manufacturers still experience machinability problems. LÄS MER

  5. 9. Konceptframtagning av linbroms till släpmål SM3C

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för teknikvetenskap och matematik

    Författare :Simon Edgren; [2023]
    Nyckelord :mechanical engineering; design; product development; Ulrich; Eppinger; target; aerial target; Swedish Defence Materiel Administration; machine design; maskinteknik; design; produktutveckling; Ulrich; Eppinger; luftmål; linbroms; FMV; Försvarets materielverk; LTU; konstruktion;

    Sammanfattning : The Swedish Defence Materiel Administration, FMV’s, test site in Vidsel, Norrbotten, has access to the largest area for testing and evaluating military aircraft, missiles and unmanned vehicles over land in Europe. The facility has the capacity to create many different types of test enviroments, which are continously developed to meet the customers growing requirements where the main focus is using different types of aerial targets. LÄS MER

  7. 10. Continuous Verification of Automotive Software

    Kandidat-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

    Författare :Marcus Mörtstrand; [2023]
    Nyckelord :;

    Sammanfattning : As a result of the increased complexity of today’s automotive systems a model-based methodology called MoVES have been introduced for the development and architectural exploration of these systems. In this thesis to further decrease development time we propose to introduce a CI/CD pipeline to the MoVES methodology to automate already existing analyzing tools, such as Rubus ICE and a trace-based timing analysis tool. LÄS MER