Production system having constraint evaluator generating constrained sequences
AssigneeInternational Business Machines Corporation
InventorsChandrasekhara K. Reddy, Ashish Sabharwal, Horst C. Samulowitz
Life of this patent
Estimating the term…
Abstract
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.
Claims10
A method of configuring a sequential production system manufacturing instances of a steel product under a plurality of production constraints, the method comprising:
- generating a set of initial production schedules for manufacturing the instances of the steel product using the sequential production system;
- determining a set of consistent production schedules from the initial production schedules, wherein the set of consistent production schedules are valid according to the plurality of constraints including a positional constraint and a time constraint;
- receiving at least a first proposed addition and a second proposed addition to the set of consistent production schedules;
- inferring, using a propositional satisfiability solver encoding a knowledgebase of prior consistent production schedules, that the first proposed addition is feasible and that the second proposed addition is infeasible;
- providing the first proposed addition to a constraint evaluator;
- receiving from the constraint evaluator an indication that the first proposed addition is consistent;
- generating a schedule for manufacturing instances of the steel product according to the subset of the consistent production schedules including the first proposed addition;
- preventing the constraint evaluator from evaluating the second proposed addition upon inferring, using the propositional satisfiability solver encoding the knowledgebase of prior consistent production schedules, that the second proposed addition is infeasible;
- and
- operating a continuous casting machine of the sequential production system in manufacturing the instances of the steel product from a raw material according to the schedule.
A computer program product for manufacturing instances of a steel product under a plurality of production constraints, the computer program product comprising a computer readable storage medium having program instructions embodied therewith, the program instructions executable by a processor to cause the processor to perform a method comprising:
- generating a set of initial production schedules for manufacturing an entity the instances of the steel product using a sequential production system;
- evaluating each of the initial production schedules for inconsistencies and determining a set of consistent production schedules from the initial production schedules, wherein the set of consistent production schedules are valid according to the plurality of production constraints including a positional constraint and a time constraint;
- receiving at least a first proposed addition and a second proposed addition to the set of consistent production schedules;
- inferring, using a propositional satisfiability solver encoding a knowledgebase of prior consistent production schedules, that the first proposed addition is feasible and that the second proposed addition is infeasible;
- providing the first proposed addition to a constraint evaluator;
- receiving from the constraint evaluator an indication that the first proposed addition is consistent;
- generating a schedule for manufacturing instances of the steel product according to the subset of the consistent production schedules including the first proposed addition;
- preventing the constraint evaluator from evaluating the second proposed addition upon inferring, using the propositional satisfiability solver encoding the knowledgebase of prior consistent production schedules, that the second proposed addition is infeasible;
- and
- operating a continuous casting machine of the manufacturing plant to output the instances of the steel product from a raw material using the schedule.
Dependencies are inferred from the claim text.