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 7 of 7 for “"hybrid solver"”.

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

    rowan Repository record for Hybrid solvers for the Boolean Satisfiability problem: an exploration (opens in a new tab)

  2. A hybrid direct-iterative linear solver for chemical process simulation

    … presents the results of developing a hybrid direct-iterative linear solver to solve the sparse linear equation systems arising in chemical process simulation. The motivation for this work is to enable simulations of large, complex, and realistic models requiring the computing power of …

    uiuc Repository record for A hybrid direct-iterative linear solver for chemical process simulation (opens in a new tab)

  3. Quantum-Powered Battery Scheduling in Modern Distribution Grids

    … a constrained quadratic model (CQM) on D-Wave’s hybrid solver as well as a binary quadratic model (BQM), this thesis solves the optimal battery scheduling problem for a large number of batteries. To formulate the BQM, a quadratic unconstrained binary optimization (QUBO) format was chosen and in …

    denver Repository record for Quantum-Powered Battery Scheduling in Modern Distribution Grids (opens in a new tab)

  4. Molecular dynamics-Lattice Boltzmann hybrid method on graphics processors

    … Lattice Boltzmann is a meso-scale continuum solver that has also become popular recently due to its relative efficiency in solving flow patterns compared to Navier-Stokes implementations. This work utilizes a Lattice Boltzmann code which is optimized for the novel architecture. Graphics …

    uiuc Repository record for Molecular dynamics-Lattice Boltzmann hybrid method on graphics processors (opens in a new tab)

  5. Towards a hybrid CFD platform for investigating aircraft trailing vortices

    … outlines the development of a parallel 3D hybrid finite-volume- finite-difference solver. As motivation for such a scheme, the specific application area under consideration is modeling the trailing vortices shed from the wings of aircraft under transonic flight conditions. For this purpose, …

    cape-town Repository record for Towards a hybrid CFD platform for investigating aircraft trailing vortices (opens in a new tab)

  6. Time-Domain Integral-Equation Based Analysis of Complex Structures Loaded With Cables

    This dissertation presents a fast and rigorous hybrid time-domain simulator for analyzing electromagnetic compatibility and interference (EMC/EMI) phenomena on complex structures that involve electrically large platforms (e.g., vehicle shells) along with cable-interconnected antennas, shielding …

    uiuc Repository record for Time-Domain Integral-Equation Based Analysis of Complex Structures Loaded With Cables (opens in a new tab)

  7. Incorporation of feed-network and circuit modeling into the time-domain finite element analysis of antenna arrays and microwave circuits

    … capability to the system level. Second, a hybrid field-circuit solver that combines the capabilities of the time-domain finite element method and a lumped circuit analysis is developed for accurate and efficient characterization of complicated microwave circuits that include both …

    uiuc Repository record for Incorporation of feed-network and circuit modeling into the time-domain finite element analysis of antenna arrays and microwave circuits (opens in a new tab)