非线性微分方程和稳定性