工作人员的最优时间分配问题的研究LINGO线性规划数学建模