When you create a new scenario in STEM, you need to specify which solver to use. A solver is simply the method used to determine how the state of a simulation changes from one time step to the next. Models for populations and diseases in STEM are all designed to carry out this change or derivative calculation given a current state. How the derivative is applied to determine the next state is where solvers differ.
STEM Native Solvers
The finite difference solver is the most straightforward (and fastest) solver available. It's using Euler's method and simply estimates the next value from the current value plus the derivative:
y(t+h) = y(t) +h*y'(t)
where h is the step size (default 1 day in STEM as defined by the sequencer). Label values in STEM are often constrained to a positive value. For instance, the count of a population can never go negative, and this is also true for any population assigned to a particular compartment state. When a constrained value goes negative, the finite difference solvers does a partial step to avoid this as illustrated in this figure:
(the figure assumes h = 1). The next value is thus calculated as:
y(t+h) = y(t) + x*y'(t)+(1-x)*y'(t+x)
The algorithm finds the smallest x among all differential equations solved and rescales all label values accordingly. If necessary, multiple partial steps are carried out.
The finite difference solver is able to take advance of multi-core CPUs; each CPU is assigned a sub-set of the graph to work on.
Runge Kutta Cash-Karp
The Runge Kutta Cash-Karp solver is an adaptive step size ordinary differential equation integrator that calculates six function evaluations for each time step and estimates two solutions (of 4th and 5th order). The difference between the two solutions is the estimated error, and the solver can be calibrated to any desired degree of accuracy. If the error exceeds the tolerance the step size is reduced. The Runge Kutta Cash-Karp solver can take advantage of multi-core CPUs, and each CPU is assigned a sub-set of the graphs to work on. The algorithm perform "fine-grained" CPUs synchronization to establish the step size to use, ensuring that the same solution is reached no matter how many CPUs are running concurrently or whichever way the graph is split up among the CPU cores.
Apache Commons Math solver
These solvers are using the Apache Commons Math library and its classes for solving ordinary differential equations (http://commons.apache.org/math/, http://commons.apache.org/math/userguide/ode.html). Since the 1.4.1 release, all these solvers are able to take advantage of multi-core CPUs to increase performance.
Dormand Prince 853
This integrator is an embedded Runge-Kutta integrator of order 8(5,3) used in local extrapolation mode (i.e. the solution is computed using the high order formula) with stepsize control (and automatic step initialization) and continuous output. This method uses 12 functions evaluations per step for integration and 4 evaluations for interpolation.
This method is based on an 8(6) method by Dormand and Prince (i.e. order 8 for the integration and order 6 for error estimation) modified by Hairer and Wanner to use a 5th order error estimator with 3rd order correction. This modification was introduced because the original method failed in some cases (wrong steps can be accepted when step size is too large, for example in the Brusselator problem) and also had severe difficulties when applied to problems with discontinuities. This modification is explained in the second edition of the first volume (Nonstiff Problems) of the reference book by Hairer, Norsett and Wanner: Solving Ordinary Differential Equations (Springer-Verlag, ISBN 3-540-56670-8).
It is described in the Apache documentation (http://commons.apache.org/math/apidocs/org/apache/commons/math/ode/nonstiff/DormandPrince853Integrator.html).
Dormand Prince 54
Another solver from the Dormand Prince family, originally described in:
A family of embedded Runge-Kutta formulae
J. R. Dormand and P. J. Prince
Journal of Computational and Applied Mathematics
volume 6, no 1, 1980, pp. 19-26
This integrator is an embedded Runge-Kutta integrator of order 5(4) used in local extrapolation mode (i.e. the solution is computed using the high order formula) with step size control. This method uses 7 functions evaluations per step but since the last evaluation of a time step is the same as the first evaluation in the next time step, one evaluation can be avoided.
Gregg Bulirsch Stoer
This solver implements a Gragg-Bulirsch-Stoer integrator for Ordinary Differential Equations. The Gragg-Bulirsch-Stoer algorithm is one of the most efficient ones currently available for smooth problems. It uses Richardson extrapolation to estimate what would be the solution if the step size could be decreased down to zero.
More details are available here: http://commons.apache.org/math/apidocs/org/apache/commons/math3/ode/nonstiff/GraggBulirschStoerIntegrator.html
Highman Hall 54
The solver implements the 5(4) Higham and Hall integrator for Ordinary Differential Equations.
This integrator is an embedded Runge-Kutta integrator of order 5(4) used in local extrapolation mode (i.e. the solution is computed using the high order formula) with stepsize control (and automatic step initialization) and continuous output. This method uses 7 functions evaluations per step.