数学建模中建立微分方程模型 通常是非线性方程 无法求解精确解析解 需求数值解