In a production flow line with stochastic environment, variability affects the system performance. These stochastic nature of real-world processes have been classified in three types: arrival, service and departure pr...
详细信息
In a production flow line with stochastic environment, variability affects the system performance. These stochastic nature of real-world processes have been classified in three types: arrival, service and departure process variability. So far, only service process - or task time - variation has been considered in assembly line (AL) balancing studies. In this study, both service and flow process variations are modelled along with AL balancing problem. The best task assignment to stations is sought to achieve the maximal production. A novel approach which consists of queueing networks and constraint programming (CP) has been developed. Initially, the theoretical base for the usage of queueing models in the evaluation of AL performance has been established. In this context, a diffusion approximation is utilised to evaluate the performance of the line and to model the variability relations between the work stations. Subsequently, CP approach is employed to obtain the optimal task assignments to the stations. To assess the effectiveness of the proposed procedure, the results are compared to simulation. Results show that, the procedure is an effective solution method to measure the performance of stochastic ALs and achieve the optimal balance.
In the present paper, we propose a new approach for scheduling ground-handling vehicles, tackling the problem with a global perspective. Preparing an aircraft for its next flight requires a set of interrelated service...
详细信息
In the present paper, we propose a new approach for scheduling ground-handling vehicles, tackling the problem with a global perspective. Preparing an aircraft for its next flight requires a set of interrelated services involving different types of vehicles. Planning decisions concerning each resource affect the scheduling of the other activities and the performance of the other resources. Considering the different operations and vehicles instead of scheduling each resource in isolation allows integrating decisions and contributing to the optimization of the overall ground-handling process. This goal is defined through two objectives: (i) minimizing the waiting time before an operation starts and the total reduction of corresponding time windows and (ii) minimizing the total completion time of the turnarounds. We combine different technologies and techniques to solve the problem efficiently. A new method to address this biobjective optimization problem is also proposed. The approach has been tested using real data from two Spanish airports, thereby obtaining different solutions that represent a trade-off between both objectives. Experimental results permit inferring interesting criteria on how to optimize each resource, considering the effect on other operations. This outcome leads to more robust global solutions and to savings in resources utilization. (C) 2015 Elsevier Ltd. All rights reserved.
In Australia, the railway system plays a vital role in transporting the sugarcane crop from farms to mills. The sugarcane transport system is complex as it routines a daily schedule, which consists of a set of train r...
详细信息
In Australia, the railway system plays a vital role in transporting the sugarcane crop from farms to mills. The sugarcane transport system is complex as it routines a daily schedule, which consists of a set of train runs to satisfy the requirements of the mills and harvesters. A constrain programming approach is used to formulate this complicated system. Metaheuristic techniques and constraint programming are hybridised as an efficient solution approach. Thus, a better sugarcane transport scheduling system is achieved to maximise the throughput of sugarcane transport. A numerical investigation is presented and demonstrates that high-quality solutions are obtainable for industry-scale applications in a reasonable time. (C) 2016 Elsevier Ltd. All rights reserved.
In this study, we propose constraint programming (CP) model and logic-based Benders algorithms in order to make the best decisions for scheduling non-identical jobs with availability intervals and sequence dependent s...
详细信息
In this study, we propose constraint programming (CP) model and logic-based Benders algorithms in order to make the best decisions for scheduling non-identical jobs with availability intervals and sequence dependent setup times on unrelated parallel machines in a fixed planning horizon. In this problem, each job has a profit, cost and must be assigned to at most one machine in such a way that total profit is maximized. In addition, the total cost has to be less than or equal to a budget level. Computational tests are performed on a real-life case study prepared in collaboration with the U.S. Army Corps of Engineers (USACE). Our initial investigations show that the pure CP model is very efficient in obtaining good quality feasible solutions but, fails to report the optimal solution for the majority of the problem instances. On the other hand, the two logic-based Benders decomposition algorithms are able to obtain near optimal solutions for 86 instances out of 90 examinees. For the remaining instances, they provide a feasible solution. Further investigations show the high quality of the solutions obtained by the pure CP model. (C) 2015 Elsevier B.V. All rights reserved.
Cloud providers aim to provide computing services for a wide range of applications, such as web applications, emails, web searches, and map-reduce jobs. These applications are commonly scheduled to run on multi-sites ...
详细信息
Cloud providers aim to provide computing services for a wide range of applications, such as web applications, emails, web searches, and map-reduce jobs. These applications are commonly scheduled to run on multi-sites clusters that nowadays are becoming larger and more heterogeneous. A major challenge is to efficiently utilize the cluster's available resources, in particular to maximize overall machine utilization levels while minimizing the application waiting time. We propose a methodology for achieving an efficient utilization of the cluster's resources while providing the users with fast and reliable computing services. The methodology consists of three main modules: (i) a prediction module that forecasts the maximum resource requirement of a task;(ii) a scheduling module that efficiently allocates tasks to machines;and (iii) a monitoring module that tracks the levels of utilization of the machines and tasks, and can evict one or more tasks from the machines for rescheduling if required. There are multiple ways of predicting task requirements, scheduling tasks on machines and evicting task from machines. The decisions made in each module can have significant impact on not only the objective function but also on the efficiency of the decisions made in other components, We therefore study these different combinations and analyze their interaction in order to determine a configuration that meets the objective of the problem. To test our methodology we have developed a simulator and provide a detailed analysis of these interactions between different modules by using a publicly available trace from a large Google cluster (similar to 12,000 machines). Our results show that the impact of more accurate resource estimations for the scheduling of tasks and evicting lower priority tasks in case of over-utilization can lead to an increase in the average utilization of the cluster, a reduction in the number of tasks being evicted, and a reduction in task waiting time. (C) 201
Contractor programming relies on a catalog on elementary contractors which need to be as efficient as possible. In this paper, we introduce a new theorem that can be used to build minimal contractors consistent with e...
详细信息
Contractor programming relies on a catalog on elementary contractors which need to be as efficient as possible. In this paper, we introduce a new theorem that can be used to build minimal contractors consistent with equations, and another new theorem to derive an optimal separator from a minimal contractor. As an application, we focus on the channeling polar constraint associated to the change between Cartesian coordinates and Polar coordinates. We illustrate our method on the localization problem of an actual underwater robot where both range and goniometric measurements of landmarks are collected. (C) 2016 Elsevier Ltd. All rights reserved.
In both industry and the research literature, Mixed Integer programming (MIP) is often the default approach for solving scheduling problems. In this paper we present and evaluate four MIP formulations for the classica...
详细信息
In both industry and the research literature, Mixed Integer programming (MIP) is often the default approach for solving scheduling problems. In this paper we present and evaluate four MIP formulations for the classical job shop scheduling problem (JSP). While MIP formulations for the JSP have existed since the 1960s, it appears that comprehensive computational studies have not been performed since then. Due to substantial improvements in MIP technology in recent years, it is of interest to compare the standard JSP models using modern optimization software. We perform a fully crossed empirical study of four MIP models using CPLEX, GUROBI and SCIP, focusing on both the number of instances that can be proved optimal and the solution quality over time. Our results demonstrate that modern MIP solvers are able to prove optimality for moderate-sized problems very quickly. Comparing the four MIP models, the disjunctive formulation proposed by Manne performs best on both performance measures. We also investigate the performance of MIP with multi-threading and parameter tuning using CPLEX. Noticeable performance gain is observed when compared to the results using only single thread and default parameter settings. Our results serve as a snapshot of the performance of modern MIP solvers for an important, well-studied scheduling problem. Finally, the results of MW is compared to constraint programming (CP), another common approach for scheduling, and the best known complete algorithm to provide a broad view among different approaches. (C) 2016 Elsevier Ltd. All rights reserved.
Understanding how the search space is explored for a given constraint problem - and how it changes for different models, solvers or search strategies - is crucial for efficient solving. Yet programmers often have to r...
详细信息
Understanding how the search space is explored for a given constraint problem - and how it changes for different models, solvers or search strategies - is crucial for efficient solving. Yet programmers often have to rely on the crude aggregate measures of the search that are provided by solvers, or on visualisation tools that can show the search tree, but do not offer sophisticated ways to navigate and analyse it, particularly for large trees. We present an architecture for profiling a constraint programming search that is based on a lightweight instrumentation of the solver. The architecture combines a visualisation of the search tree with various tools for convenient navigation and analysis of the search. These include identifying repeated subtrees, high-level abstraction and navigation of the tree, and the comparison of two search trees. The resulting system is akin to a traditional program profiler, which helps the user to focus on the parts of the execution where an improvement to their program would have the greatest effect.
The operating room management problems are legion. This paper tackles the scheduling of surgical procedures in an operating theatre containing up to two operating rooms and two surgeons. We first solve a deterministic...
详细信息
The operating room management problems are legion. This paper tackles the scheduling of surgical procedures in an operating theatre containing up to two operating rooms and two surgeons. We first solve a deterministic version that uses the constraint programming paradigm and then a stochastic version which embeds the former in a sample average approximation scheme. The latter produces more robust schedules that cope better with the surgeries' time variability.
Surgery rooms are among the most expensive resources in hospitals and clinics. Their scheduling is difficult because, in addition to the surgical room itself, each surgery requires a particular combination of human re...
详细信息
Surgery rooms are among the most expensive resources in hospitals and clinics. Their scheduling is difficult because, in addition to the surgical room itself, each surgery requires a particular combination of human resources, as well as different pieces of equipment and materials. Furthermore, after each surgery, a post-anesthesia bed is required for the patient to recover. Finally, in addition to planned surgeries, the scheduling must be made in such a way as to accommodate the emergency surgeries that may arrive during each day, which, must be attended within a limited time. We address the surgery scheduling problem considering simultaneously, for the first time, the operating rooms, the post anesthesia recovery, the resources required by the surgery and the possible arrival of emergency surgeries. We propose an integer linear programming model that allows finding optimal solutions for small size instances, we transform it to use constraint programming, and develop a metaheuristic based on a genetic algorithm and a constructive heuristic, that solves larger size instances. Finally, we present numerical experiments. (C) 2016 Elsevier Ltd. All rights reserved.
暂无评论