数学建模实验一:数学规划模型AMPL求解