常微分方程数值解的定义?