Sökning: "proving"

Visar resultat 1 - 5 av 541 uppsatser innehållade ordet proving.

  1. 1. Virtual Test Cell : a Real-Time digital twin of an internal combustion engine

    M1-uppsats, Luleå tekniska universitet/Institutionen för teknikvetenskap och matematik

    Författare :Rasmus Malmqvist; [2024]
    Nyckelord :Virtual Test cell; Digital twin; Software in the loop; Real-time;

    Sammanfattning : As the world is evolving faster and technology gets cheaper and more powerful, simulations are proving to be more and more beneficial. Simulations allow for faster development with less lead time between iterations which means that product versions can be released more often and at less cost. LÄS MER

  3. 2. Design of a case erecting and product placement station

    Master-uppsats, Lunds universitet/Innovation

    Författare :Niklas Wiest; [2024]
    Nyckelord :Keywords: case erecting; cobots; automation; end-effector; spiral product development process; quick-build product; Technology and Engineering;

    Sammanfattning : This report presents an innovative approach to industrial automation, focusing on the development of an automated system for erecting and filling cardboard boxes with wax jars. The project, executed in collaboration with Odigo Consulting and Scandinavian Hair Company (SHC), aimed to showcase enhanced production efficiency for small and medium-sized enterprises through the implementation of collaborative robots and pneumatic systems. LÄS MER

  4. 3. A Verified QBF Solver

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Axel Bergström; [2024]
    Nyckelord :;

    Sammanfattning : Quantified Boolean Formulas (QBFs) extend propositional logic with universal and existential quantification over Boolean variables.  A QBF is satisfiable if and only if there is an assignment of Boolean values to the free variables that makes the formula true, and a QBF solver is a software tool determining if a given QBF is satisfiable. LÄS MER

  5. 4. The Abel-Ruffini Theorem : The insolvability of the general quintic equation by radicals

    Kandidat-uppsats, Umeå universitet/Institutionen för matematik och matematisk statistik

    Författare :Axel Sjöblom; [2024]
    Nyckelord :;

    Sammanfattning : This thesis explores the topic of Galois theory at a relatively introductory level with the goal of proving the Abel Ruffini theorem. In the first part algebraic structures are considered: groups, ring, fields, etc. Following this, polynomial rings are introduced and the attention is then turned to finite field-extensions. LÄS MER

  7. 5. Realtidsuppdateringar av användargränssnitt för inbyggda system : Uppdatering av användargränssnitt i realtid med MQTT och websockets

    M1-uppsats, Karlstads universitet/Institutionen för matematik och datavetenskap (from 2013)

    Författare :Anes Delalic; [2024]
    Nyckelord :MQTT; Websockets; JavaScript; HTML; CSS; Realtid;

    Sammanfattning : Dagens webbläsare uppdaterar sitt utseende mer än någonsin och att kunna utföra det på ett effektivt sätt är essentiellt. Att kompilera om en hemsida och ladda upp den på nytt är ineffektivt och framtiden hos dynamisk uppdaterade hemsidor ligger hos MQTT och websockets. LÄS MER