Essays about: "Solver"

Showing result 6 - 10 of 440 essays containing the word Solver.

  1. 6. Adding Basic Support for Function Pointers in TriCera

    University essay from Uppsala universitet/Institutionen för informationsteknologi

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

    Abstract : TriCera is a verification tool that encodes programs in a C-like language to a set of Constrained Horn Clauses.  These clauses describe the program states that can be reached when the program is executed.  A solver can then be used to check if the program is safe. READ MORE

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

  4. 8. Investigation of Roughness Effects on Heat Transfer of Upscaled Additively Manufactured Channels in the Turbulent Region Using Infrared Thermography

    University essay from KTH/Skolan för industriell teknik och management (ITM)

    Author : Kaibin Wen; [2023]
    Keywords : Investigation of Roughness Effects on Heat Transfer of Upscaled Additively Manufactured Channels in the Turbulent Region Using Infrared Thermography; Additiv tillverkning; värmeöverföring; infraröd termografi; ytjämnhet; finita elementmetoden;

    Abstract : Additive manufacturing (AM) has largely improved design freedom compared with traditional manufacturing processes such as casting and milling. The layer-by-layer workflow makes it possible to produce objects with much more complex shapes and structures. READ MORE

  5. 9. 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. 10. 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