数学建模——铲雪机工作的微分方程模型