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 1229 for “"solver"”.
-
Solver Tuning with Genetic Algorithms
Currently the parameters in a constraint solver are often selected by hand by experts in the field; these parameters might include the level of preprocessing to be used, the variable ordering heuristic or the suitable modelling approach. The efficient and automatic mechanism of parameters tuning …
-
Thermodynamic calculations with TK!Solver
… objective of this research was to apply the TK!Solver program for thermodynamic calculations. The TK!Solver program is equation-solving software that can solve both linear and non-linear sets of equations. To achieve the above objective, six programs have been developed. Program ESTATE.TK …
-
Automatic solver for mathematical word problems
… In this thesis we design and construct an MWP solver in a systematic manner, as a step toward enabling comprehension in mathematics. We do this by (a) identifying the discourse structure of MWPs that will enable comprehension in mathematics, and (b) utilizing the information in the discourse …
-
PSolver : a distributed SAT solver framework
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.
-
Solver for TCP flows in a network
… a network properly. This thesis developed a solver for predicting the stability of a TCP network when servers implement Active Queue Management (AQM) schemes. The solver analyzes two AQM schemes. One is Random Early Detection (RED) and the other is Dynamic Random Early Detection (DRED). We …
-
Predicting SMT solver performance for software verification
… which relies on a single tightly-integrated solver. In common with other systems, however, the degree to which proof obligations (or “goals”) are proved depends as much on the SMT solver as the properties of the goal itself. In this work, we present a method to use syntactic analysis to …
-
Development of a Hybrid Particle Continuum Solver
… department. The primary benchmark for the solver, named hybridFoam, was to simulate a 1D sod-shock simulation. This primary goal was achieved and a collection of test simulations were conducted to map out the solvers current capabilities and identify where future development efforts should …
-
A Tsume-Go life & death problem solver
Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.
-
Adaptive Spectrally Localized Three-Dimensional Schroedinger Poisson Solver
The number of iterations required is not dependent on the size of the grid. This method is O(kN), where k is the number of eigenvalues desired and N is the number of grid points. Any subset of the eigenvalue spectrum can be found without the need to find eigenvalues outside of that range.
-
Quantum Monte Carlo With a *Stochastic Poisson Solver
"Quantum Monte Carlo (QMC) is an extremely powerful method to treat many-body systems. Usually QMC has been applied in cases where the interaction potential has a simple analytic form, like the 1/r Coulomb potential. However, in a complicated environment as in a semiconductor heterostructure, the …
-
Quantum monte carlo with a stochastic potential solver
"Quantum Monte Carlo (QMC) is an extremely powerful method to treat many-body systems. Usually QMC has been applied in cases where the interaction potential has a simple analytic form, like the 1=r Coulomb potential. However, in a complicated environment as in a semiconductor heterostructure, the …
-
A parallel numerical solver using hierarchically tiled arrays
… is one well-known example of a parallel solver for linear systems. The Hierarchically Tiled Array data type extends traditional data-parallel array operations with explicit tiling and allows programmers to directly manipulate tiles. The tiles of the HTA data type map naturally to the …
-
A fast 3D full-wave solver for nanophotonics
Conventional fast integral equation solvers seem to be ideal approaches for simulating 3-D nanophotonic devices, as these devices are considered to be open structures, generating fields in both an interior channel and in the infinite exterior domain. However, many devices of interest, such as …
-
Finding bugs in software with a constraint solver
… to conjunctive normal form. An off-the-shelf SAT solver is then used to find a solution that constitutes a counterexample. Modularity comes at the price of intermediate specifications. To minimize such annotations, the analysis contains a suite of optimizations that allow checking larger …
-
A user-friendly interface for a poisson-solver
Thesis: B.S., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 1987
-
Effective software testing with a string-constraint solver
… by using an expressive string-constraint solver to make implementation-based testing more effective and more applicable. Concolic testing is a paradigm of implementation-based systematic software testing that combines dynamic symbolic execution with constraint-based systematic …
-
Drift Correcting Mulitphysics Informed Neural Network Coupled PDE Solver
Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2026-05-01
-
A discontinuous Galerkin spectral element method compressible flow solver
… of space- and time-scales. Features of this solver include exponential spatial convergence, fast matrix-free operator evaluation, implicit time-stepping schemes, highly-scalable iterative solvers, effective stabilization techniques, and moving-mesh capabilities. Novel nonlinear filter-based …
-
Applications of a fast helmholtz solver in exploration seismology
… In this thesis, I combine a fast Helmholtz solver, the field expansion method, with a reduced velocity model parameterization to address the impact of an uncertain or inaccurate velocity model. I modify the field expansion framework to accurately simulate the acoustic field for velocity …
-
Six dimensional trajectory solver for automomous [sic] proximity operations
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1990.
Page 1 of 62