Constraint Evaluator for Manufacturing Scheduling
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
In manufacturing industries like steel and chemicals, evaluating constraints on sequential production is costly and time-consuming, leading to inefficiencies such as poor on-time delivery performance due to long computational times in determining sequencing constraints.
Innovation Solution
A method that generates initial production schedules, evaluates them for inconsistencies, selects consistent schedules, and uses SAT solvers to reduce the number of calls to expensive constraint evaluators by encoding prior knowledge and utilizing propositional satisfiability theory to infer feasibility or infeasibility, thereby speeding up constraint evaluations.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Measurement precision
If constraint evaluation is performed using traditional methods, then sequencing accuracy is maintained, but evaluation time and cost increase significantly
Solution Approach 1:
The constraint evaluation process is divided into two distinct segments: (1) a fast filtering phase using SAT solvers that evaluates obvious constraints to eliminate clearly infeasible sequences, and (2) a detailed evaluation phase using traditional constraint evaluation methods only for sequences that pass the filtering phase. This segmentation allows the system to maintain sequencing accuracy while dramatically reducing overall evaluation time by avoiding expensive detailed evaluations of obviously infeasible sequences.
Solution Approach 2:
The system performs partial constraint evaluation by applying only the necessary level of scrutiny to each sequence. Rather than performing complete constraint evaluation on all sequences, the SAT solver performs a partial evaluation that checks sufficient conditions to filter out infeasible sequences. This partial action approach maintains accuracy for feasible sequences while reducing time consumption for the overall evaluation process.
2Measurement precision
If constraint evaluation is performed using traditional methods, then sequencing accuracy is maintained, but computational cost increases significantly
Solution Approach 1:
The computational process is segmented into a low-cost filtering stage using SAT solvers and a high-cost detailed evaluation stage using traditional methods. By segmenting the computation, the system minimizes the use of expensive computational resources while maintaining accuracy through the sequential application of evaluation methods.
Solution Approach 2:
The SAT solver acts as an intermediary between the sequence generation and detailed constraint evaluation. It provides a fast, low-cost preliminary assessment that mediates which sequences proceed to expensive detailed evaluation, thereby improving overall computational efficiency while preserving sequencing accuracy.
3Reliability
If on-time delivery performance is improved through better scheduling, then customer satisfaction increases, but constraint evaluation time must be reduced
Solution Approach 1:
The SAT solver performs preliminary constraint checking before detailed evaluation, quickly identifying and eliminating infeasible sequences. This preliminary action allows the system to focus computational resources on feasible sequences that can contribute to on-time delivery, thereby improving delivery performance while reducing overall evaluation time.
Solution Approach 2:
The evaluation process is segmented to separate time-critical filtering operations from detailed analysis operations. This segmentation enables the system to provide faster scheduling decisions that improve on-time delivery performance while maintaining accurate constraint evaluation for sequences that matter.
Data Source
AI summary
A method for configuring a manufacturing plant includes generating a set of initial production schedules for manufacturing an entity, determining a set of consistent production schedules given each of the initial production schedules, selecting an instance of the consistent production schedules, generating a schedule for manufacturing instances of the entity, and operating the manufacturing plant using the schedule.