下料问题数学模型研究