Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 692 for “"Solvers"”.
-
Parallel symmetric eigenvalue problem solvers
… these problems requires the development of eigensolvers that scale well on parallel computing platforms. In this dissertation, we describe two such eigensolvers, TraceMin and TraceMin-Davidson. These methods are different from many other eigensolvers in that they do not require accurate linear …
-
A Framework for Grid Solvers
… of an object-oriented framework for grid solvers is presented. Unlike conventional sparse solvers, a grid solver solves the sparse linear system embedded in a computational grid without creating the sparse matrix explicitly at any stage of the solution process. This allows it to take …
-
Reducing communication in sparse solvers
Sparse matrix operations dominate the cost of many scientific applications. In parallel, the performance and scalability of these operations is limited by irregular point-to-point communication. Multiple methods are investigated throughout this dissertation for reducing the cost associated with …
-
Parallel Black Oil Solvers on GPU
… package, named Parallel Accelerated Simulation Solvers (PASS), is developed to speed up the reservoir simulation using the GPU. For this new solver package, several different linear solvers and preconditioners have been implemented based on GPU. For solvers, it has GMRES, BICGSTAB, ORTHOMIN etc, …
-
Reducing communication bottlenecks in iterative solvers
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2023-09-01 without embargo terms
-
A Focus on Making Great Problem-Solvers
The main focus of this research was to design and implement a strategy that students could use to help them in problem-solving multistep problems that are the main focus of state assessments. Related literature focused on four major steps that should be used when problem-solving. These four steps …
-
A new approach to parallel SAT solvers
We present a novel approach to solving SAT problems in parallel by partitioning the entire set of problem clauses into smaller pieces that can be solved by individual threads. We examine the complications that arise with this partitioning, including the idea of global variables, broadcasting global …
-
A Class of Stable, Efficient Navier-Stokes Solvers
We study a class of numerical schemes for Navier-Stokes equations (NSE) or Stokes equations (SE) for incompressible fluids in a bounded domain with given boundary value of velocity. The incompressibility constraint and non-slip boundary condition have made this problem very challenging. Their …
-
Improving performance of iterative solvers on modern architectures
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-02-04 without embargo terms
-
Fast and scalable solvers for the Helmholtz equation
In this thesis we develop a new family of fast and scalable algorithms to solve the 2D high-frequency Helmholtz equation in heterogeneous medium. The algorithms rely on a layered domain decomposition and a coupling between subdomains using the Green's representation formula, which reduces the …
-
Analysis of Acceleration Techniques and Fast Nonlinear Solvers
… development of acceleration techniques and fast solvers for nonlinear systems of equations. Building upon the fixed-point and extrapolation frameworks introduced in the early chapters, we explore structural connections between residual-based acceleration methods and Krylov subspace techniques. …
-
An Innovative Coupling Scheme of FEM And BEM Solvers
… selection of time step in each of the solvers and has been shown to be highly accurate, stable and efficient. This work focuses on the development of a master solver that controls and couples, without iterations or solution staggering, the solvers of the independent systems in the …
-
Hybrid solvers for the Boolean Satisfiability problem: an exploration
… This thesis focuses on the design of feasible solvers for this problem. A SAT problem instance is a formula in propositional logic. A SAT solver attempts to find a solution for the formula. Our research focuses on a newer solver paradigm, hybrid solvers, where two solvers are combined in order …
-
Algorithm selection, scheduling and configuration of Boolean constraint solvers
… the last decade, leading to industrial-strength solvers, for example, in the areas of answer set programming (ASP), the constraint satisfaction problem (CSP), propositional satisfiability (SAT) and satisfiability of quantified Boolean formulas (QBF). However, in all these areas, there exist …
-
DEVELOPMENT OF GAS KINETIC FLUX SOLVERS AND THEIR APPLICATIONS
… this thesis, a series of novel gas kinetic flux solvers (GKFSs) have been developed and applied to solve a variety of flow problems. Firstly, two types of GKFSs have been successfully proposed for both inviscid and viscous flow simulations. The developed solvers have been validated in a variety …
-
Solution Acceleration and Accuracy Improvements for Navier-Stokes Solvers
There are two competing goals in computational fluid dynamics: high solution accuracy, and low computational cost. In the present research, three major tasks were performed to improve the solution accuracy and increase the convergence of steady-state solutions: (1) investigate the sources of …
-
Scalable non-blocking Krylov solvers for extreme-scale computing
Krylov solvers are key kernels in many large-scale science and engineering applications for solving sparse linear systems. Extreme-scale systems have many factors that increase communication costs and cause performance variation across cores that can reduce performance at scale. Many Krylov solvers …
-
Fast methods for full-wave electromagnetic solvers in MRI
High static field ( 3T) MR scanners can produce human tissue images of astounding clarity, but rely on high frequency ( 123MHz) electromagnetic radiation that generates complex in-tissue field patterns that are patient-specific and potentially harmful. Many such scanners use multiple transmitters …
-
Effects of Data Heterogeneity on Distributed Linear System Solvers
… we are interested in distributed linear system solvers, where one taskmaster coordinates any number of workers to attain a solution. There are two predominant and fundamentally different ways of doing this: optimization-based and projection-based solvers. Although there is extensive literature …
-
Direct-Current Power Flow Solvers and Energy Storage Sizing
… flow (PF) solutions as well as for efficient PF solvers with performance guarantees. This thesis puts forth three approaches with complementary strengths towards coping with the PF task, consisting of solving a system on non-linear equations, in DC power systems. We consider a possibly meshed …
Page 1 of 35