生产调度的数学模型