常微分方程模型 — 从解析求解到定性分析