从Engee中的求解器开始

音调不变 -步骤在整个计算实验中保持不变。 它们通常用于实时计算或检查数值解的正确性。 一般来说，它们是无效的，因为在整个建模间隔上的步骤受到个别更动态部分的要求的限制。 将步长减小到一定限度会增加解的精度，但自然会对计算速度产生负面影响。;

可变螺距 —在计算实验期间自动调整步长，同时考虑到解的变化和局部积分误差的估计。 这种求解器减少了复杂区域的步进以保持精度，并增加了简单区域的步进以加快计算速度。

隐式方法-要求在每一步求解非线性代数方程组。 它们适用于刚性系统（有关详细信息，请参阅选择求解器），因为它们允许您使用大的步骤而不会损失稳定性，但每个步骤都需要大量的计算资源。 Engee*中的示例：ImplicitEuler，Trapezoid，TRBDF2，RadauIIA5，KenCarp，Kvaerno*，QNDF*，QBDF*，FBDF;

半隐式方法-与隐式方法不同，它们需要在每个步骤求解线性代数方程组。 与隐式方程一样，它们非常适合刚性方程组。 一般来说，它们强烈依赖于雅可比矩阵计算的准确性。 例子在*Engee*:Rosenbrock*,Rodas*;

多步骤方法—-使用前几个步骤的数据来计算下一个步骤。 它们对于大型任务尤其有效，但在存在多个事件的情况下，由于不断重新初始化，它们的速度会降低，因此不建议将它们用于具有不连续组件的模型。 *Engee*中的示例：VCABM，AB*，ABM*，QNDF*，QBDF*，FBDF。

系统刚性-刚性模型称为快速和慢速过程同时发生的模型，例如在化学反应或机电系统中。 对于这样的模型，显式方法由于稳定性范围小，需要非常小的步骤，因此最好使用隐式或半隐式方法，其步骤将仅受精度要求的限制。 如果系统的时间常数相差`6`或更多数量级，则系统被认为是刚性的。;

*模型大小*是唯一标识模型特定状态的连续变量的数量。 如果模型具有超过1000个状态变量，则认为模型很大。 它们越多，计算就越慢，特别是在使用隐式和半隐式方法时。 对于大型模型，最好在每个步骤中使用右侧（系统的导数）计算较少的方法。;

对解决方案精度的要求-确定数值和精确解决方案的接近度。 对绝对精度和相对精度的要求是分开区分的:

解决方案中存在间隙-一些库组件，例如 Abs 或 饱和度，其特征在于行为的突然突然变化，这导致解决方案中的间隙。 多步骤方法通常对此类任务不太有效。