Advanced search

Showing result 1 - 5 of 440 essays matching the above criteria.

  1. 1. A Verified QBF Solver

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Axel Bergström; [2024]
    Keywords : ;

    Abstract : 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. READ MORE

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

    University essay from Umeå universitet/Institutionen för fysik

    Author : Franz Wikner; [2024]
    Keywords : Electromagnetic power transfer; Inductive power transfer; Short distance WPT;

    Abstract : 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. READ MORE

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

    University essay from KTH/Skolan för teknikvetenskap (SCI)

    Author : Mathieu Marmier; [2023]
    Keywords : CFD; Free Surface Flow; VOF; STAR-CCM ; Multiphase Simulation; Nuclear Engineering; Fluid Mechanics;

    Abstract : 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. READ MORE

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

    University essay from Linköpings universitet/Tillämpad matematik; Linköpings universitet/Tekniska fakulteten

    Author : Corina Hüni; [2023]
    Keywords : 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;

    Abstract : Snow removal is an important optimization problem in countries with snowfall. Bus stops can only be cleared after the adjacent street is cleared. READ MORE

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

    University essay from KTH/Skolan för teknikvetenskap (SCI)

    Author : Oskar Jagstedt; Elias Vitell; [2023]
    Keywords : Optimization; disjunctive programming; integer programming; Gurobi; big-M; nonlinear programming;

    Abstract : 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. READ MORE