关键词:微分方程模型;线性规划