非线性系统数学模型的线性化的数学基础是微分方程。