Essays about: "thesis solver"

Showing result 1 - 5 of 245 essays containing the words thesis solver.

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

  4. 3. Assembly Line Balancing : Addressing the Theory-Practice Gap

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Christoffer Fink; [2023]
    Keywords : assembly line balancing; ALB; OptaPlanner;

    Abstract : The efficiency of an assembly line depends on how the different tasks are distributed among the work stations that make up the assembly line. Assigning the tasks to the stations is called assembly line balancing (ALB) and is an NP-hard optimization problem. READ MORE

  5. 4. A Conjugate Residual Solver with Kernel Fusion for massive MIMO Detection

    University essay from Högskolan i Halmstad/Centrum för forskning om tillämpade intelligenta system (CAISR)

    Author : Ioannis Broumas; [2023]
    Keywords : MIMO; massive MIMO; GPU; CUDA; Software Defined Radio; SDR; MMSE; ZF; zero-forcing; parallel detection; iterative methods; conjugate residual; parallel computing; kernel fusion;

    Abstract : This thesis presents a comparison of a GPU implementation of the Conjugate Residual method as a sequence of generic library kernels against implementations ofthe method with custom kernels to expose the performance gains of a keyoptimization strategy, kernel fusion, for memory-bound operations which is to makeefficient reuse of the processed data. For massive MIMO the iterative solver is to be employed at the linear detection stageto overcome the computational bottleneck of the matrix inversion required in theequalization process, which is 𝒪(𝑛3) for direct solvers. READ MORE

  6. 5. Thermal and flow field validation of lattice Boltzmann method solver

    University essay from Luleå tekniska universitet/Institutionen för teknikvetenskap och matematik

    Author : André Skagius-Kallin; [2023]
    Keywords : Lattice Boltzmann method; heat transfer; flow field;

    Abstract : Computational fluid dynamics, abbreviated CFD, is a valuable tool for several engineering applications. Applications such as heating, cooling or drying are some examples of areas where CFD is used. READ MORE