A multi-shop integrated scheduling algorithm with fixed output constraint

The customized products such as electromechanical prototype products are a type of product with research and trial manufacturing characteristics. The BOM structures and processing parameters of the products vary greatly, making it difficult for a single shop to meet such a wide range of processing parameters. For the dynamic and fuzzy manufacturing characteristics of the products, not only the coordinated transport time of multiple shops but also the fact that the product has a designated output shop should be considered. In order to solve such Multi-shop Integrated Scheduling Problem with Fixed Output Constraint (MISP-FOC), a constraint programming model is developed to minimize the total tardiness, and then a Multi-shop Integrated Scheduling Algorithm (MISA) based on EGA (Enhanced Genetic Algorithm) and B&B (Branch and Bound) is proposed. MISA is a hybrid optimization method and consists of four parts. Firstly, to deal with the dynamic and fuzzy manufacturing characteristics, the dynamic production process is transformed into a series of time-continuous static scheduling problem according to the proposed dynamic rescheduling mechanism. Secondly, the pre-scheduling scheme is generated by the EGA at each event moment. Thirdly, the jobs in the pre-scheduling scheme are divided into three parts, namely, dispatched jobs, jobs to be dispatched, and jobs available for rescheduling, and at last, the B&B method is used to optimize the jobs available for rescheduling by utilizing the period when the dispatched jobs are in execution. Google OR-Tools is used to verify the proposed constraint programming model, and the experiment results show that the proposed algorithm is effective and feasible.

Extending and Solving the Refrigerated Routing Problem

In recent years, cold food chains have shown an impressive growth, mainly due to customers life style changes. Consequently, the transportation of refrigerated food is becoming a crucial aspect of the chain, aiming at ensuring efficiency and sustainability of the process while keeping a high level of product quality. The recently defined Refrigerated Routing Problem (RRP) consists of finding the optimal delivery tour that minimises the fuel consumption for both the traction and the refrigeration components. The total fuel consumption is related, in a complex way, to the distance travelled, the vehicle load and speed, and the outdoor temperature. All these factors depend, in turn, on the traffic and the climate conditions of the region where deliveries take place and they change during the day and the year. The original RRP has been extended to take into account also the total driving cost and to add the possibility to slow down the deliveries by allowing arbitrarily long waiting times when this is beneficial for the objective function. The new RRP is formulated and solved as both a Mixed Integer Programming and a novel Constraint Programming model. Moreover, a Local Search metaheuristic technique (namely Late Acceptance Hill Climbing), based on a combination of different neighborhood structures, is also proposed. The results obtained by the different solution methods on a set of benchmarks scenarios are compared and discussed.

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.