数学建模用微分法求解的几个重要的优化模型