A new constraint programming model and solving for the cyclic hoist scheduling problem

The cyclic hoist scheduling problem (CHSP) is a well-studied optimisation problem due to its importance in industry. Despite the wide range of solving techniques applied to the CHSP and its variants, the models have remained complicated and inflexible, or have failed to scale up with larger problem instances. This article re-examines modelling of the CHSP and proposes a new simple, flexible constraint programming formulation. We compare current state-of-the-art solving technologies on this formulation, and show that modelling in a high-level constraint language, MiniZinc, leads to both a simple, generic model and to computational results that outperform the state of the art. We further demonstrate that combining integer programming and lazy clause generation, using the multiple cores of modern processors, has potential to improve over either solving approach alone.

An Analysis of the Traveling Speed in the Traveling Hoist Scheduling Problem for Electroplating Processes

The Hoist Scheduling Problem is combinatory, so tools such as mathematical programming need to be used to get the sequence of movements, respecting the constraints of the process by minimizing the cycle time. A sequence in which the order of movements follows the order of the process is known as the basic diagram. These schedules do not have any clearance for the hoist to make any other movements, resulting in a loss in productivity. This chapter takes the production line of a Mexican factory as a case study, analyzing the hoist's travelling speed to find sequences of movements that could improve productivity. The results of the study indicate that the cycle time has a nonlinear behavior in respect of the hoist's travelling speed and it was determined that there are travelling speeds for which sequences are obtained with enough clearance to make other movements and keep other carriers on the line. A suitable speed was estimated in the case.