运用微分方程进行建模的方法总结,包括人工肾模型、土壤冻胀模型、传染病模型等