流水車間調度問題（FSP）描述爲：有n個獨立的工件按照相同的工藝路線在m臺機器傷加工，每個工件需要經過m道工序，這些工序分別要求不同的機器，並且各工序的加工過程不能中斷。
以最大完工時間爲目標的流水車間的混合整數規劃模型：
(1) 符號含義：
機器集合裏的機器號
機器總數量
工件集合裏的工件號
工件總數量
工件排序後的工件號
決策變量
工件按照一定加工次序形成的序列
工件j在機器i上的加工時間
機器i上第k個工件的完工時刻
(2) 目標函數：
(3) 約束條件：
公式(1)、(2)爲決策變量以及其取值範圍；
公式(3)、(4)保證了排列π中各工件出現並且只能出現一次；
公式(5)爲在第一臺機器上加工的第一個工件的完成時間；
公式(6)保證了一個工件不能同時由多臺機器加工；
本文是學習高亮教授的書《流水車間調度及其優化算法》中的總結