张文学, 李铁克. 基于约束满足的板坯设计模型与求解方法[J]. 工程科学学报, 2011, 33(5): 641-646. DOI: 10.13374/j.issn1001-053x.2011.05.015
引用本文: 张文学, 李铁克. 基于约束满足的板坯设计模型与求解方法[J]. 工程科学学报, 2011, 33(5): 641-646. DOI: 10.13374/j.issn1001-053x.2011.05.015
ZHANG Wen-xue, LI Tie-ke. Modelling and algorithm for the slab designing problem based on constraint satisfaction[J]. Chinese Journal of Engineering, 2011, 33(5): 641-646. DOI: 10.13374/j.issn1001-053x.2011.05.015
Citation: ZHANG Wen-xue, LI Tie-ke. Modelling and algorithm for the slab designing problem based on constraint satisfaction[J]. Chinese Journal of Engineering, 2011, 33(5): 641-646. DOI: 10.13374/j.issn1001-053x.2011.05.015

基于约束满足的板坯设计模型与求解方法

Modelling and algorithm for the slab designing problem based on constraint satisfaction

  • 摘要: 针对客户订单的重量需求为固定值、客户订单分配过程中有最小重量限制的板坯设计问题,建立了以最小化板坯数量为目标的约束满足模型.通过三划分问题的多项式归结,证明了该问题是强NP难的;针对问题的特殊性质,给出了变量选择策略和值选择策略;提出了基于约束满足技术的求解算法,并证明了算法的收敛性;通过数据实验对算法的有效性进行了验证.

     

    Abstract: A constraint satisfaction model whose objective is to minimize the slab number was built for slab production in consideration of the slab designing problem with a fixed demand of order weight and a minimum limitation of order weight assigned in one slab. The problem was proved to be NP-hard by reducing a known NP-hard three-partition problem to the discussed problem in polynomial time. Concerning with special characteristics of the problem, variable selection strategies and value selection strategies were presented. A constraint-satisfaction-based algorithm was proposed and it was proved to be convergent. The effectiveness of the proposed algorithm was verified with simulation experiments.

     

/

返回文章
返回