整数规划模型研究,包含线性与非线性,适合自动化专业,系统工程专业等