Preconditioning for Efficiently Applying Algebraic Multigrid in Fully Implicit Reservoir Simulations
Why this work is in the frame
A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.
Bibliographic record
Abstract
Abstract Fully implicit petroleum reservoir simulations result in huge, often very ill-conditioned linear systems of equations to solve for different unknowns, for example, pressure and saturations. It is well known that the full system matrix contains both hyperbolic as well as nearly elliptic sub-systems. Since the solution of the coupled system is mainly determined by the solution of their elliptic (typically pressure) components, (CPR-type) two-stage preconditioning methods still belong to the most popular approaches to tackle such coupled systems. After a suitable extraction and decoupling, the numerically most costly step in such two-stage methods consists in solving these elliptic sub-systems. It is known that algebraic multigrid (AMG) provides a technique to solve elliptic linear equations very efficiently. The main advantage of AMG-based solvers – their numerical scalability – makes them particularly efficient for solving huge linear systems. Depending on the application, the system’s properties range from simple to highly indefinite. Unfortunately decoupling pressure and saturation related parts may introduce further difficulties. Consequently, in complex industrial simulations, the application of AMG to elliptic sub-systems might not be straightforward. In fact, an important goal in defining an efficient two-stage preconditioning strategy consists in extracting elliptic sub-systems that are suitable for an efficient AMG solution and, at the same time, ensure a fast overall convergence of the two-stage approach. The importance of this will be demonstrated for several industrial cases. In particular, some of these cases are very hard to solve by AMG if applied in a standard way. Preliminary results for a CPR-type coupling of SAMG to CMG’s PARASOL, a variable degree variable ordering ILU preconditioner using FGMRES, are compared to using PARASOL by itself. Alternative preconditioning operators will be presented giving elliptic sub-systems which are not only more suitable for applying AMG efficiently but also help accelerate the CPR-type process. Comparisons with one-level iterative methods will show the acceleration by AMG is highly superior. Finally, a strategy is presented that combines all linear solver parts in one single AMG-iteration. In this sense CPR can be seen as a special case of AMG for systems. This, in turn, yields a – formally – very simple but simultaneously very flexible solution approach.
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.000 | 0.000 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.000 | 0.000 |
| Bibliometrics | 0.000 | 0.000 |
| Science and technology studies | 0.000 | 0.000 |
| Scholarly communication | 0.000 | 0.000 |
| Open science | 0.000 | 0.000 |
| Research integrity | 0.000 | 0.000 |
| Insufficient payload (model declined to judge) | 0.000 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it