Sökning: "solver"

Visar resultat 1 - 5 av 477 uppsatser innehållade ordet solver.

  1. 1. 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

  3. 2. Inductive fast charging of IoT devices : An in-depth analysis of short-range wireless charging technologies based on induction

    Uppsats för yrkesexamina på avancerad nivå, Umeå universitet/Institutionen för fysik

    Författare :Franz Wikner; [2024]
    Nyckelord :Electromagnetic power transfer; Inductive power transfer; Short distance WPT;

    Sammanfattning : In the era of Internet of things (IoT), sensor-equipped devices exchange data over networks. In battery powered IoT devices, the lifespan of the devices is often much longer than the battery life, leading to multiple costly and environmentally hazardous battery replacements during the operational life of the devices. LÄS MER

  4. 3. Computational Fluid Dynamics and Modeling of a Free Surface Flow

    Master-uppsats, KTH/Skolan för teknikvetenskap (SCI)

    Författare :Mathieu Marmier; [2023]
    Nyckelord :CFD; Free Surface Flow; VOF; STAR-CCM ; Multiphase Simulation; Nuclear Engineering; Fluid Mechanics;

    Sammanfattning : This project deals with the CFD modelling of a free surface flow. The aim is to develop and validate a fast and accurate numerical model for stratified two-phase flows. Volume of Fluid (VOF) multiphase model is employed. The purpose is to use the developed numerical model for the design of an element within a compact nuclear reactor. LÄS MER

  5. 4. Optimization Methods for Snow Removal of Bus Stops

    L3-uppsats, Linköpings universitet/Tillämpad matematik; Linköpings universitet/Tekniska fakulteten

    Författare :Corina Hüni; [2023]
    Nyckelord :Snow removal; Travelling Salseman Problem with Time Windows; Heuristic; Local search; Tabu search; Snöröjning; Handelsresandeproblemet med Tidsfönster; Heuristik; Lokalsökning; Tabusökning;

    Sammanfattning : Snow removal is an important optimization problem in countries with snowfall. Bus stops can only be cleared after the adjacent street is cleared. LÄS MER

  7. 5. A case study of disjunctive programming: Determining optimal motion trajectories for a vehicle by mixed-integer optimization

    Kandidat-uppsats, KTH/Skolan för teknikvetenskap (SCI)

    Författare :Oskar Jagstedt; Elias Vitell; [2023]
    Nyckelord :Optimization; disjunctive programming; integer programming; Gurobi; big-M; nonlinear programming;

    Sammanfattning : This report considers an application of mixed-integer disjunctive programming (MIDP)where a theoretical robot can jump from one point to another and where the number ofjumps is to be minimized. The robot is only able to jump to the north, south, east andwest. LÄS MER