中国机械工程 ›› 2013, Vol. 24 ›› Issue (12): 1642-1649.

• 机械基础工程 • 上一篇    下一篇

单机成组调度问题的约束满足建模与求解方法

姜锐1;陈亚绒1,2;管在林2;周宏明1   

  1. 1.温州大学,温州,325035
    2.华中科技大学数字制造装备与技术国家重点实验室,武汉,430074
  • 出版日期:2013-06-25 发布日期:2013-07-11
  • 基金资助:
    国家自然科学基金资助重点项目(51035001);国家杰出青年科学基金资助项目(50825503);国家自然科学基金资助项目(71271156);浙江省自然科学基金资助项目(Y6110045) 
    National Natural Science Foundation of China(No. 51035001, 71271156);
    National Science Funds for Distinguished Young Scholars( No. 50825503);
    Zhejiang Provincial Natural Science Foundation of China(No. Y6110045)

Constraint Satisfaction Modeling and Solving Method for Single Machine Group Scheduling Problem

Jiang Rui1;Chen Yarong1,2;Guan Zailin2;Zhou Hongming1   

  1. 1.Wenzhou University,Wenzhou,Zhejiang,325035
    2.State Key Lab of Digital Manufacturing Equipment and Technology,Huazhong University of Science and Technology,Wuhan,430074
  • Online:2013-06-25 Published:2013-07-11
  • Supported by:
     
    National Natural Science Foundation of China(No. 51035001, 71271156);
    National Science Funds for Distinguished Young Scholars( No. 50825503);
    Zhejiang Provincial Natural Science Foundation of China(No. Y6110045)

摘要:

为适应多品种小批量生产需求,企业普遍采用基于成组技术的混流生产,由此产生的成组调度需要平衡安装时间减少与满足交期之间的冲突关系。在分析安装时间是否依赖工件组排序、工件组能否分割加工等成组特征的基础上,以最小化加权流程时间与加权拖期为目标,构建了单机成组调度问题的约束满足模型,提出了以变量排序启发式搜索和前向约束传播相结合的求解方法。典型生产数据的实证分析表明,所提出的方法建模能力强,解的适应性好。

关键词: 成组调度, 约束满足, 启发式搜索, 约束传播

Abstract:

Mix-flow production based on group technology was adopted generally by enterprises to meet the demands of multi-variety and small batch,and a
group scheduling method was used to balance the conflict relation between setup time decreasion and delivery satisfaction.Based on the analysis of group characteristics of  setup time
and processing batch size,the paper constructed a constraint satisfaction model for
 single machine group scheduling with the objective of minimizing weighted flow time
and tardiness,and introduced a mix solving method with a variable and value heuristic search,and look-ahead constraint propagation.Typical empirical analysis shows the proposed method is of  strong modeling capabilities and good adaptability.

Key words: family scheduling, constraint satisfaction, heuristic search, look-ahead constraint propagation

中图分类号: