基于约束满足的板坯设计模型与求解方法
来源期刊：工程科学学报2011年第5期
论文作者：王奎 李铁克
文章页码：641 - 646
关键词：热轧;板坯;生产计划;约束满足;变量选择;值选择;
摘 要：针对客户订单的重量需求为固定值、客户订单分配过程中有最小重量限制的板坯设计问题,建立了以最小化板坯数量为目标的约束满足模型.通过三划分问题的多项式归结,证明了该问题是强NP难的;针对问题的特殊性质,给出了变量选择策略和值选择策略;提出了基于约束满足技术的求解算法,并证明了算法的收敛性;通过数据实验对算法的有效性进行了验证.
张文学1,2,3，李铁克1,2
1. 北京科技大学经济管理学院2. 钢铁生产制造执行系统技术教育部工程研究中心3. 宁夏医科大学理学院
摘 要：针对客户订单的重量需求为固定值、客户订单分配过程中有最小重量限制的板坯设计问题,建立了以最小化板坯数量为目标的约束满足模型.通过三划分问题的多项式归结,证明了该问题是强NP难的;针对问题的特殊性质,给出了变量选择策略和值选择策略;提出了基于约束满足技术的求解算法,并证明了算法的收敛性;通过数据实验对算法的有效性进行了验证.
关键词：热轧;板坯;生产计划;约束满足;变量选择;值选择;
