Literature DB >> 35508508

Optimization of a molten iron scheduling problem with uncertain processing time using variable neighborhood search algorithm.

Linyu Liu1, Zhiqi Chang2, Shiji Song3.   

Abstract

Punctuality of the steel-making scheduling is important to save steel production costs, but the processing time of the pretreatment process, which connects the iron- and steel-making stages, is usually uncertain. This paper presents a distributionally robust iron-steel allocation (DRISA) model to obtain a robust scheduling plan, where the distribution of the pretreatment time vector is assumed to belong to an ambiguity set which contains all the distributions with given first and second moments. This model aims to minimize the production objective by determining the iron-steel allocation and the completion time of each charge, while the constraints should hold with a certain probability under the worst-case distribution. To solve problems in large-scale efficiently, a variable neighborhood algorithm is developed to obtain a near-optimal solution in a short time. Experiments based on actual production data demonstrate its efficiency. Results also show the robustness of the DRISA model, i.e., the adjustment and delay of the robust schedule derived from the DRISA model are less than the nominal one.
© 2022. The Author(s).

Entities:  

Year:  2022        PMID: 35508508      PMCID: PMC9068929          DOI: 10.1038/s41598-022-10891-9

Source DB:  PubMed          Journal:  Sci Rep        ISSN: 2045-2322            Impact factor:   4.379


Introduction

Due to the large energy consumption in the iron- and steel-making process, well-designed scheduling solutions are needed to save energy and increase production efficiency. The classical process of producing steel can be divided into three main stages: (i) iron-making in blast furnaces, (ii) steel-making and continuous-casting (SCC), and (iii) rolling and finishing mills. Since steel needs to be maintained in a liquid state after it is released from the blast furnace and before being continuously cast, scheduling in these processing steps has a significant impact on energy consumption. Thus, the molten iron–steel allocation scheduling, which plays a key role in connecting the iron- and steel-making stages, directly affects the production efficiency and energy consumption. In the iron-making stage, molten iron is melted from iron ore, limestone and bituminous coal in blast furnaces. Then the molten iron will be poured into pots carried on torpedo cars and then be transported to a pretreatment site. The process of pretreatment includes a set of processing steps such as pre-processing, desulphurization and dephosphorization, and post-processing. Which steps will be taken and how long the pretreatment time will be depend on the product specifications, molten iron compositions, and other factors. After that, pots of pretreated molten iron are transported by torpedo cars and poured into converters in the steel-making stage. The process of production planning for the iron-making and steel-making stages is described as follows. First, according to the customer demands, the steel company should decide how many charges are going to be processed and what the concrete production requirements of each charge should be in the steel-making stage, where charge is the basic processing unit in the SCC stage. In the steel-making stage, charges are first processed by one of several converters (e.g., 5 for Baosteel[1] China). Then, through rough SCC scheduling, the charge sequence on each converter and the processing time of each charge are determined according to the production requirements. Only after the production information of these charges is given does the molten-iron scheduling plan start to be made. The whole molten-iron scheduling problem is very complex and therefore often decomposed and solved in the following three steps. First, each pot of molten iron should be allocated to a charge in the steel-making stage and it is a one-to-one match. Only after that could steps in the pretreatment of each pot be settled down according to the specific requirement of the needed charge. Second, because the steps (processing routing) that each pot would take in the pretreatment site may be different, and for each processing step there might be several parallel machines, machine assignments and pot processing sequence on each machine are going to be determined in this step. Third, transportation routes of torpedo cars would be established. This paper considers the first step in the molten-iron system, i.e., the molten iron-steel allocation problem with minimizing the total weighted completion time in the converters, and views all the processing steps in the pretreatment site as a whole, because this problem lies on the top layer in iron scheduling systems and directly influence the production efficiency in the steel-making stage. The length of pretreatment time of a pot depends on which charge it is prepared for, but there are many real-time factors influencing the actual processing time, such as the capacities of machines and cars, components deviation, transportation times, and temperatures. Thus, it is an unavailable value for the dispatcher in advance. Meanwhile, the punctuality of the schedule is significant for the downstream continuous casting production: charges in the same predefined batch have to be continuously cast without any break, or a great fixed cost would be paid for it. Therefore, unexpected disturbances might cause great loss, and solutions for uncertainty are necessary. Most of the previous work for iron and steel production scheduling focused on the SCC scheduling and hot rolling scheduling, and the literature of molten iron scheduling mainly focused on machine scheduling for the multiple processing steps in the pretreatment and the scheduling of torpedo cars, where the molten iron-steel allocation solution is assumed to be given. For example, Tang et al.[1] considered the scheduling problem of allocating pots to pretreatment processors. They viewed it as a parallel machine scheduling problem with time windows and designed a branch-and-price algorithm to solve it. Li et al.[2] considered the scheduling problem of multiple processing steps in the pretreatment. They viewed it as a specific flow-shop scheduling problem and adopted a meta-heuristic algorithm, the artificial bee colony, to solve this complex problem. Ge et al.[3] utilized an ant colony, which is also a meta-heuristic algorithm, to dispatch torpedo cars[4]. presented a molten iron logistics balance model in iron-steel correspondence scheduling, but what they were concerned about in their model were the weights of molten iron sent from each blast furnace to each steel plant instead of the processing time points. In this paper, a mixed-integer programming model is first presented for this molten iron-steel allocation problem while minimizing the total weighted completion time of charges on converters, which is a direct reflection of maximizing production efficiency. Furthermore, the production uncertainty of processing time in the pretreatment site is considered in this paper. Usually, solutions for scheduling in an uncertain environment can be classified into two types: proactive and reactive scheduling methods[5]. Proactive scheduling tries to provide a solution to avoid future changes to the initial schedule when disturbances are revealed, so it is suitable to deal with small and frequent fluctuations of the uncertain parameters. Reactive scheduling[6] dynamically reacts to each unexpected but significant disruption (e.g., machine breakdown) by rescheduling and is more suitable for unusual events. This paper aims to develop a robust scheduling solution to immune small daily disturbances, such that fewer adjustments will be needed in further implementation. To guarantee the feasibility of the solution under uncertainty, this paper employs a chance constrained model, i.e., constraints are guaranteed to hold in a certain probability. However, the exact distribution of the uncertain processing time is unknown in practice, but the mean and variance are easy to be obtained from historical data or expert experience. Thus, a moment-based distributionally robust (DR) approach is adopted to deal with it. The DR method considers that the true distribution of the uncertain parameters belongs to a family of distributions, which are contained in an ambiguity set, and the model aims to optimize the objective function under the worst-case distribution in this ambiguity set, instead of the worst-case scenario of the uncertain parameter in the uncertainty set in the classic robust optimization approach (see the next section). This paper views the pretreatment times as a random variable vector with known mean and variance. An ambiguity set containing all the distribution with these attributes is established, and a chance-constrained DR model is proposed, where the uncertainty is incorporated through constraints. Then, this chance-constrained DR model is reformulated as a tractable mixed integer programming model. By solving this MIP model, a robust solution containing the allocation result and completion times can be obtained, where the robustness is reflected in the fact that the solution maintains feasible with a certain (given) probability for any distribution in the ambiguity set, and this can be guaranteed by theory. Although the reformulated MIP model can be solved by off-the-shelve solvers, the solution time for an optimal solution may be unacceptable for a large-scale problem, because it is essentially a special non-identical parallel machine scheduling problem. Non-identical parallel machine scheduling refers to the type of problems that the processing times of a job on different machines are different. The ease of solving our special problem lies in the fact that the number of charges to be processed by each machine is given, while the complexity is the processing time in the previous stage depends on the allocation result in the next stage. Computation efficiency for exact solutions to non-identical parallel machine scheduling problems is often low when the problem size grows. Literature on the solution to this is reviewed in the “Related works” section. Therefore, this paper considers obtaining a near-optimal solution by using a meta-heuristic approach, variable neighborhood search (VNS), to take both the computation efficiency and optimality into consideration. Numerical experiments demonstrate the computation efficiency of this algorithm compared with a commercial solver. The contributions of this paper are summarized as follows.The rest of the paper is organized as follows. In the “Related works” section, literature about machine scheduling algorithms and approaches to deal with uncertainty is reviewed. In the “Problem statement and formulations” section, the DR model and its MIP reformulation are developed. The VNS algorithm and its enhancement are introduced in the “Solution algorithm” section, and the computational experiments and results are discussed in the “Numerical experiments” section. “Conclusions” are drawn in the final section. This paper considers the molten iron-steel allocation problem and presents a MIP model for it, which can be viewed as a special non-identical parallel machine scheduling problem. Pretreatment times of pots are regarded as a random variable vector, whose distribution is assumed to belong to an ambiguity set which contains all the distributions with the same known mean and variance. A chance-constrained DR molten iron-steel allocation model is constructed, in which constraints are guaranteed to hold within a certain probability for any distribution in this ambiguity set. Then, it is reformulated into a tractable MIP form. For large-scale instances, a customized VNS algorithm is developed to find a near-optimal solution in a short time. Furthermore, the JVNS with a jump operation is designed and added to the VNS algorithm is provided to avoid premature convergence. Experiments on real-world data from a steel company in China demonstrate the robustness of the DR model and the computation efficiency of the meta-heuristic algorithms.

Related works

Scheduling algorithms

In a manufacturing system, scheduling is regarded as an effective way to save energy and improve production efficiency by allocating limited resources to tasks (jobs). Machines are the main resources in production. The whole production process in the iron and steel manufacturing system is complex, as it involves numerous production steps with special operation requirements, so scheduling problems for different parts are often modeled and solved separately. For example, the steel-making continuous casting scheduling problem is a specific case of the hybrid flow shop scheduling problem accompanied by technological constraints of steel-making[7], and the hot rolling scheduling problem can be modeled as a multiple traveling salesman problem based on actual production constraints[8]. This paper considers the scheduling problem between the iron- and steel-making processes, which is actually a special case of a non-identical parallel-machine scheduling problem (PMSP) with minimizing total completion times. Li et al.[9] reviewed that most non-identical parallel machine problems in this type are NP-hard in strong sense, and Bruno et al.[10] showed that the problem is NP-hard for the case of even two identical machines. Therefore, the emphasis on the solution has recently shifted towards heuristic methods that can achieve a satisfactory near-optimal solution in a short time by exploring a small portion of the solution space. These solutions can be classified into three main types: dispatching rules, approximation algorithms, and meta-heuristics. Dispatching rules include those easy rules to be implemented even by hand, e.g., SWPT rule[11], but their weakness is also obvious: The quality of the solution can not be guaranteed. Approximation algorithms are polynomial-time algorithms that have a performance guarantee of the optimality ratio. A series of studies presented algorithms with ratio O(1) (see summary in the review[9]). Skutella[12] gave the best known result so far, 1.2752, for the special case of two machines. In spite of the efficiency of these approximation algorithms, their optimality gaps are not negligible. Meta heuristics are powerful methods to solve combinatorial optimization problems, which most scheduling problems can be equivalently transformed to. They are based on a similar scheme that starts from an initial solution (usually constructed by dispatching rules) and proceeds to a local optimal one through iterations. In addition, they usually contain a global search operation to avoid local optimum. One can obtain a satisfying solution in an acceptable time by designing specific meta-heuristic strategies, solution representations, and generations according to the characteristics of the problem. Thus, they have been applied in many optimization fields, such as parameter optimization in aerospace component alloys[13,14]. A variety of meta-heuristic algorithms have also been developed for different specific parallel-machine scheduling problems, such as problems with sequence-dependent setup times using VNS[15,16], problems with resource constraints using simulated annealing algorithm[17], and minimization of total tardiness using genetic algorithm[18]. Variable neighborhood search method[19] is one of the powerful meta-heuristic methods to deal with combinatorial optimization problems. By defining several neighborhood operations, VNS searches all the neighbors of the current solution to iteratively obtain a local minimum solution, and a shake (jump) operation could help it jump out of it to search for a better solution globally. When the defined neighborhood region covers the whole feasible region, an optimal solution could be obtained. Qiu et al.[20] presented it for the production routing problem. Pan et al.[21] developed two VNS methods to solve the distributed assembly permutation flow shop scheduling problem. Lei et al.[22] utilized it to solve a flexible job shop scheduling problem. The reader is referred to the review[23] for a detailed account of the literature.

Machine scheduling under uncertainty

A common approach to deal with uncertainty in machine scheduling problems is stochastic programming (SP), which assumes that the distributions of random variables are known (like normal[24] or exponential[25] distribution). To enhance the robustness and hedge against the risk of unacceptable scenarios, Ranjbar et al.[26] and Pishevar et al.[27] applied β-robust method to the parallel machine scheduling problem, in which the processing time follows a normal distribution and the likelihood of exceeding some performance measure is minimized. However, all these methods require the exact distribution of random parameters, which is hard to obtain in practice. Another approach to deal with the uncertainty in machine scheduling is fuzzy set theory? This theory has been applied to non-identical PMSPs with fuzzy processing times[28,29]. Fazel et al.[30] also adopted the fuzzy approach to the SCC scheduling problem and solved it with a particle swarm optimization algorithm. Although these methods avoid using exact probability distributions of uncertain parameters, the stability of the solution gained by these models is rarely analyzed in the literature. Robust optimization (RO) is another approach to obtaining a robust solution without exact distribution information, which assumes that the uncertain parameter belongs to a given uncertainty set and optimizes the performance under the worst-case scenario in it. This approach has been applied to many scheduling problems in the steel manufacturing process, such as the SCC scheduling problem[5] with the processing time belonging to an interval, and collaboration scheduling with uncertain hot rolling time[31]. The RO method has also been utilized in PMSPs, including identical[32,33] PMSP, uniform[34] PMSP, and unrelated[35] PMSP. However, the drawback of the RO method is that it fails to make full use of distribution information obtained from historical data. Distributionally robust approach was first proposed for an inventory problem[36]. The DR optimization approach assumes that the true distribution belongs to a family of distributions, called the ambiguity set. Based on the type of distribution information utilized by ambiguity sets, DR methods can be roughly classified into two categories: distance-based[37-39] and moment-based[40-42] approaches. The distance-based approach assumes that true distribution lies in a distance from an estimated distribution, while the moment-based approach assumes that some limitations of the moments are known. Since the moment information is easy to be obtained in practice, the moment-based DR optimization method has been applied to many scheduling fields, such as energy scheduling[43]. In the machine scheduling field, Chang et al.[44] first introduced the DR approach to the single machine scheduling problem, in which the ambiguity set contains all the distributions with the same given first and second moments. Then, Chang et al.[45] extend it to an identical parallel machine scheduling problem with uncertain first and second moments. This paper differs from these works in the following ways: First, the considered problem is a special non-identical parallel machine scheduling problem, where the sequence and processing time of each job in this sequence on each machine is given. Second, there is a pretreatment process for each job before it is processed by the machine (converter), and the pretreatment processing time of the job is related to the allocation results. Third, the pretreatment processing times are uncertain, which leads to uncertain parameters appearing in the constraint rather than in the objective function.

Problem statement and formulations

Problem illustration. The process connecting the iron- and steel-making stage includes three main phases: iron making in the furnace, pretreatment, and the first process of steel making in the converters. The number and sequence of charges on each converter, and the processing time of each charge are obtained from a steel-making plan, which is determined according to demands before scheduling. The decisions of the iron-steel allocation problem include: (i) allocating each pot of molten iron released from the blast furnace to one of the given charges, which is a one-to-one match; and (ii) estimating the completion time of each charge in the converter. Figure 1 gives an illustration of the problem. For each pot of iron, the non-heating time, i.e., the time between iron and steel making, should not be longer than a given threshold, because the temperature of the iron will decrease, and the iron may freeze with the increase of non-heating time. The release time of each molten iron pot from the blast furnace is known, but the pretreatment time is uncertain. The only known information about the pretreatment time is its mean and variance, which are relative to the composition requirement of the charge. The optimization model of this problem aims to minimize the sum of the weighted completion times, while the production should be ensured on time with a certain probability. Relevant parameters and decision variables are listed in Table 1.
Figure 1

Problem illustration.

Table 1

Notations.

SymbolDescription
Parameters
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {J}}$$\end{document}JThe set of molten iron pots, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {J}}=\{1,2,\ldots ,J\}$$\end{document}J={1,2,,J}, where J is the number of pots.
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {I}}$$\end{document}IThe set of charges, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {I}}=\{1,2,\ldots ,J\}$$\end{document}I={1,2,,J}, J is the total number of charges, which is the same as that of molten iron pots.
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {M}}$$\end{document}MThe set of converters, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {M}}=\{1,2,\ldots ,M\}$$\end{document}M={1,2,,M}, where M is the total number of converters.
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$N_{m}$$\end{document}NmThe number of charges to be processed in the mth converter.
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$h_{mi}$$\end{document}hmiThe processing time of the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$i$$\end{document}ith charge in the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m$$\end{document}mth converter.
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$w_{mi}$$\end{document}wmiThe weight of the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$i$$\end{document}ith charge in the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m$$\end{document}mth converter.
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$r_j$$\end{document}rjThe release time of the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$j$$\end{document}jth pot of molten iron.
DThe longest allowed non-heating time between the iron- and steel-making stage.
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p_{mi}$$\end{document}pmiThe pretreatment time of the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$i$$\end{document}ith charge on the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m$$\end{document}mth converter (including transportation time).
Decisions
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$x_{mij}$$\end{document}xmij0–1 variable, which equals to 1 if the jth pot of molten iron corresponds to the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$i$$\end{document}ith charge of the mth converter and 0 otherwise.
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$c_{mi}$$\end{document}cmiContinuous variable, the completion time of the ith charge of the mth converter.
Notations.

Nominal model

Before considering the random case, the mathematical formulation of the nominal iron-steel allocation (ISA) problem is given as follows. The objective function (1a) is the total weighted completion time. Constraints (1b) and (1c) impose that a pot of molten iron can only be allocated to a charge, and a charge only corresponds to one pot. Constraint (1d) prevents waiting time over long. Constraint (1e) is the precedence constraint, i.e., one machine can only process at most one charge at any time, and only when the previous charge is finished can the next one begin. Constraint (1f) indicates that only molten iron has arrived at the converter can it begin to be processed.

Distributionally robust optimization model

To deal with the uncertain pretreatment time and provide a reliable scheduling plan, a distributionally robust optimization model with chance constraints is considered. The uncertain pretreatment time for the ith charge on the mth converter is denoted as , and the vector form of it is . The first and second moments of the probability distribution are assumed to be known, and the distribution belongs to an ambiguity set defined in (2).where and are the mean and variance of random vector , and elements and are the mean and variance of element . As does not consider the correlation between elements, the marginal ambiguity set of element is As the pretreatment time is uncertain, constraint (1f) can not be utilized anymore. Therefore it is replaced by distributionally robust chance constraints, i.e.,which indicates that each constraint should hold with probability no less than for any distribution in . Notice that the relevance effects between constraints are ignored here. Thus, when constraint (1f) is replaced by constraint (4), the resulting model is an individual chance-constrained model. To solve this model with off-the-shelf solvers, these stochastic constraints are transformed into deterministic ones as given in Theorem 1.

Theorem 1

Given different , chance constraint (4) can be equivalent reformulated to the following linear constraint:

Proof

Let : be a continuous loss function and defined as According to Theorem 2.2 in the work of Zymler et al.[46],where Then, by Theorem 1 in Chang et al.[44], the claim follows. By introducing parameter to indicate the relationship between and , the distributionally robust model is reformulated into the following mixed-integer programming: where . If then set , and constraint (9g) can be removed , otherwise and constraint (9f) is removed. Parameter B is a large number such that when takes 0 and 1, the right-hand sides of (9f) and (9g) are less than 0, respectively. The DRISA model consists of binary variables and J continuous variables. When the problem size is small, solvers can obtain the optimal solution efficiently. However, when it comes to a large scale, solvers fail to find an optimal solution in an acceptable amount of time. To solve real-world problems efficiently, in the next section, the DRISA model will be analyzed and decomposed into a master problem and subproblem, which are solved iteratively to reach a near-optimal solution in a short time when a large-scale problem is met.

Solution algorithm

Notice that when binary variables are given, only continuous variables are left, and the optimization model reduces to a linear program. Therefore, the model is decomposed into a master problem and a subproblem. In the master problem, a VNS method is utilized to determine the allocation of each pot to each charge (i.e., ). In the subproblem, is fixed and a linear program will be solved to obtain the optimal completion time (i.e., ).

Linear program subproblem

Let be a permutation of integers . A feasible allocation solution can be represented using : The charges in the first converter are numbered as , and those in the second are numbered as , and the rest can be done in the same manner. Example 1 illustrate the correspondence between and .

Example 1

For a DRISA problem with 5 pots of molten iron and two converters, the first converter consists of 3 charges, and 2 does the second. A feasible allocation solution is given asBy the mapping strategy, the corresponding should be , and all the elements of should be 0 except that elements in are all 1s. The feasible set of can therefore be be described as Then, the subproblem is to solve the DRISA problem with fixed , and the optimal value of the subproblem is denoted as Cost(), which can be used as the fitness function in the master problem to evaluate the quality of . However, some may lead to the linear subproblem infeasible, i.e., there is no such that constraints (9d)–(9h) are satisfied simultaneously. Because such must not be the optimal solution of the DRISA, Cost() is set as for this case. As the subproblem should be solved multiple times in the solution procedure, the computation efficiency of the subproblem is critical. Although this linear program can be solved by commercial solvers in a short time, a recurrence solution method is proposed, whose computation complexity is O(J), to further enhance its efficiency. When the allocation vector is given, the iron release time of each charge from furnace (i.e., completion time of the iron-making process) is known. Let be the iron release time of the th charge of the mth converter. For each and , a parameter is introduced as Then, constraints (9d)–(9g) can be rewritten as Notice that the objective of the subproblem is to minimized the weighted completion time. Thus, a small is better than a big one. If there is an optimal solution of the subproblem, according to (13)–(14), the optimal solution for each and can be obtained by the following recurrences: If the obtained satisfies (12), it can be plugged into the objective function (9a) and then obtain the corresponding optimal value Cost () to evaluate ; Otherwise, the given is infeasible and Cost() is set to .

Variable neighborhood search method

After decomposition, the master problem can be viewed as a combinatorial optimization problem aiming at minimizing the fitness function Cost(). Variable neighborhood search (VNS) method[19] is one of the common ways to obtain a satisfactory solution efficiently for combinatorial optimization problems. To avoid the limitation of using a single neighborhood search operator, two operators are employed to search , which are defined as follows.

Definition 1

(Swap Operator) Swap(k, j) refers to swapping elements at positions k and j in . When the current solution is given, the neighborhood solution obtained by using Swap(k, j) is

Definition 2

(Insertion Operator) Ins() () refers to removing elements from positions to in , and then inserting them into another specified position p where . When the current solution is given, let The intermediate solution indicates which converter will each pot belong to. Then, the pots in each converter are sorted according to the ascending order of their release time r. The resulting solution is the neighborhood solution obtained from the insertion operator Ins(). Notice that the neighborhood size of the swap operator is (because ), while that of the insertion operator is . The size of the insertion operator is shrunk to via choosing one of its position parameters randomly, called random insertion operator, which is defined in Definition 3.

Definition 3

(Random Insertion Operator) Rins(k, j) refers to operator Ins where can be any integer in [j, J]. When the current solution is given, the neighborhood solution obtained by Rins(k, j) is an element randomly chosen from . Now, a VNS algorithm is designed to solve the DRISA model based on the swap and random insertion neighborhood operators. The basic VNS algorithm starts with an initial allocation solution and searches for a local optimal solution in the neighborhood region of each operator. The current optimal solution is updated through iteration. The implementation order of these operators is denoted as Order, which is either Swap, Rins or Rins, Swap, and it is determined according to the pre-experiment results. Based on this definition, the VNS algorithm is shown in Algorithm 1, where the random permutation plays a role in reducing the repetitiveness of the search process. There are two initial solutions to be chosen. The pots of molten iron are arranged in ascending order to their release time from the furnaces. In the first initial solution, pots are assigned to the charges in the first converter, and pots to those in the second, and the rest is analogous. In the second initial solution, the pots are assigned to the first charge of each converter, and the pots to the second charge of each converter in the same turn, and the rest can be down in the same manner. Which initial solution will be used should also be determined through the results of pre-experiment. The basic VNS algorithm shown in Algorithm 1 terminates when no better solution is found in a certain iteration, where the iteration here refers to a single execution from Step 2 to 17. This may lead to premature convergence to a local optimal solution and affect the algorithm’s performance. To tackle it, a jump operation is added to the basic VNS algorithm and named the jump variable neighborhood search (JVNS) algorithm. In this algorithm, when a better solution is not found at that iteration, then a neighborhood operator is employed to implement and continue to search, where the element or position to be executed can be randomly selected in jump operation. The algorithm terminates when the current solution has not been updated for a certain number of jumps. Random insertion is chosen as the jump operation because the neighborhood of it can be obtained through several swaps, which means the distance between a new solution and the current one is farther than the swap. Moreover, the randomness of random insertion makes it more likely to jump out of the local optimum. While the JVNS algorithm requires more iterations and takes longer, it has more opportunities for a better solution than the VNS algorithm.

Numerical experiments

In this section, the pre-experiment of the VNS algorithm is implemented first to analyze the order of the neighborhood operators and the effect of the initial solution, so as to determine the settings in the following experiments. Then, production data is utilized to analyze the performance of the VNS algorithm and the stability improvement of the DRISA model. All the algorithms were coded in (version R2018b(9.0.5.944444) for Windows x64), and experiments were conducted on a personal computer with an i7-8700 3.20GHz CPU and 16 gigabyte RAM. Data used in experiments are all derived from a steel company in China. The number of converters is 3, and the set of the numbers of molten iron pots is {10, 20, 30, 40, 50, 100, 200}, and the corresponding numbers of charges in converters are {4,3,3}, {7,7,6}, {10,10,10}, {14,13,13}, {17,17,16}, {34,33,33}, {67,67,66}. There is a total of twelve steel grades, each has a corresponding mean and standard deviation of the pretreatment time, and Table 2 shows this information collected from 1822 production records. In the following experiments, the steel grade of each charge is randomly selected among these 12 grades. The release time of each molten iron pot is obtained from the actual data according to the required number of pots. The average value and standard deviation of intervals between any consecutive pots are about 21.4 and 32.2, respectively. The processing time in the converter is randomly generated in [20, 30] for the diversity of instances, and the weight of each charge is randomly selected from . A problem instance corresponds to a tuple ().
Table 2

Means and standard deviation of pretreatment time.

Steel grade123456789101112
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu$$\end{document}μ61.4358.6653.3554.0167.3163.9159.2960.4050.0057.8342.4051.80
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma$$\end{document}σ18.4613.2214.0119.0724.0217.2621.1613.5612.9810.349.0214.97
Means and standard deviation of pretreatment time.

Pre-experiment

To investigate the best settings in the VNS algorithm, pre-experiments are carried out to study the effect of different operator orders and initial solutions. Swap,Rins is numbered as Order 1 and Rind,Swap as Order 2, and the first initial solution described in the Variable neighborhood search method subsection is numbered as Solution 1 and the second as Solution 2. In this experiment, 100 instances are randomly generated with , to test the performance. The averaged results on these instances are shown in Table 3. The results reveal that the performance of each Order-Solution combination is not much different, and Order 2 with initial solution 2 is slightly better than others in both optimality and efficiency. Hence, the following experiments are conducted with the first initial solution and operator Rins, Swap. However, there is a drawback of Solution 1, i.e., Solution 1 might be infeasible, especially when in large problem, because Solution 1 tends to arrange pots of molten iron continuously released from the blast furnaces in a period of time to one converter, instead of distributing them separately. Therefore, in the cases when (Solution 1)=, Solution 2 will be used as the initial solution.
Table 3

Performance of different operator orders and initial solutions (, ).

Order-solution1–11–22–12–2
Relative gap (%)0.520.490.470.55
Run time (in s)0.0500.0470.0340.035

Significant values are in bold.

Performance of different operator orders and initial solutions (, ). Significant values are in bold.

Algorithm comparison

The problem was solved by iteratively solving a master problem and subproblem. The subproblem was solved to determine the completion time for each charge on the converter. It was a linear program but could be solved by recurrence. In this section, the performance of the VNS, JVNS algorithm, and commercial solver CPLEX will be compared in solving the DRISA problems with different problem sizes. For each problem size, 100 instances are randomly generated and used to measure the performance of different algorithms. The maximum number of jumps in the JVNS algorithm is set to 5 for small to medium problem sizes (i.e., 10–100) and 3 for problems in large size (200) to balance the solution time and optimality, as the time that each iteration takes is growing with the problem size. If the current best solution is not updated for the maximum number of jumps in consecutive iterations (jump operation is executed at these iterations), then the algorithm terminates. The run time of the JVNS is definitely longer than that of the VNS algorithm. The run-time limit of the CPLEX in each instance is set equal to the run time used in the JVNS algorithm in the same instance, which can provide a more persuasive result. When the run-time limit is reached, the CPLEX will provide a lower bound (LB) of the optimal value, which will be used to compute the relative gap of the solution, i.e., (Cost()-LB)/LB. The results of the comparison are shown in Table 4. In this table, V, J, and C denote VNS, JVNS, and CPLEX. V
Table 4

Comparison between VNS, JVNS, and CPLEX.

JGap (%)Proportion (%)Time
VNSJVNSCPLEXV<CJ<CJ<VVNSJVNS
100.530.460.54484840.010.02
201.991.882.085758140.030.13
302.392.332.355255190.100.36
402.912.842.884347260.240.84
502.652.612.985961250.501.69
1002.262.192.496470598.5437.02
2003.10 (3.08)2.22 (1.95)–(2.40)43(20)87 (82)62 (80)19.08164.18

Significant values are in bold.

Comparison between VNS, JVNS, and CPLEX. Significant values are in bold.

Robustness of the DRISA model

To test the robustness of the DRISA model, the performances of the schedules under different distributions are compared. 20 instances and randomly generated and the instance set is denoted as . Then, for each distribution and for each instance, 100 test samples are generated for each instance (, ). Performances on these test samples are observed for different settings of under different distributions. When is set to 0, the DRISA model is reduced to a nominal ISA model (1) with . Denote as the optimal value of the nominal model. When an instance t and the probability parameter are given, by solving the DRISA model, a planned solution () is obtained. Since the may not satisfy constraints (1d)–(1f) when the random variable is revealed, the completion time would be adjusted to an actual one for each test sample , where can be obtained through the following recurrences: Then, the actual objective value of this sample is . and denote the value of an actual plan adjusted from a robust plan (with a given ) and a nominal one (with ), respectively. Four criteria are adopted to investigate the impact of the robustness factor : the number of charges (NC) whose completion times need to be adjusted, the total delay time (DT), the robust price (RP), and the robust revenue (RR). Let be the sample set of instance t and generated from a certain distribution. These criteria are calculated as follows:where AVE and STD are the mean value and standard deviation over instances or samples described in the subscripts. Table 5 depicts the performance of the DRISA model under different s with . In the nominal ISA model (), over of the charges need to be adjusted, and the average total deviation of the plan is over 70 min. Such frequent adjustments will bring great instability to the production process, and will also affect the normal progress of subsequent continuous casting and hot rolling processes. As increases, both the number of charges and length of time that have to be adjusted in the implementation decrease, and the decreasing standard deviations (increasing RR) also indicate the improving robustness of the plan. Since the robustness is obtained by sacrificing a certain production efficiency (i.e., by prolonging the completion time in the plan), a trade off between the robustness and efficiency can be made by choosing a proper in practice. For example, in the case shown in Table 5, seems to be a good choice with sacrificing less than 10% RP to cut off over half of the standard deviation. Figure 2 plots part of the information in Table 5, and circles the points with .
Table 5

Performance under different s ().

\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha$$\end{document}αNormalUniformGamma
RP (%)RR (%)NCDTRP (%)RR (%)NCDTRP (%)RR (%)NCDT
0.000.000.005.5273.140.000.005.6878.720.000.005.1874.23
0.101.4519.314.1746.981.3722.554.5951.331.5715.593.9350.40
0.202.3930.483.5036.162.2036.594.0038.722.5225.403.2939.87
0.303.2838.832.9328.093.0346.983.4829.433.4432.552.7932.33
0.404.2847.492.3821.213.9457.712.9420.884.4439.762.3425.70
0.505.4556.781.8215.085.0369.322.3113.045.6047.781.8619.47
0.606.9566.671.289.506.4781.791.526.147.0856.401.3613.71
0.709.0577.550.724.758.5695.250.590.989.1466.240.878.38
0.8012.2990.120.261.3311.94100.000.000.0012.3278.240.413.73
0.9018.7799.670.010.0218.49100.000.000.0018.7192.130.060.58
0.9119.8399.920.000.0119.56100.000.000.0019.7793.520.050.42
0.9221.0499.970.000.0020.77100.000.000.0020.9794.950.030.28
0.9322.4599.990.000.0022.19100.000.000.0022.3896.330.020.18
0.9424.14100.000.000.0023.89100.000.000.0024.0897.700.010.10
0.9526.21100.000.000.0025.96100.000.000.0026.1499.060.010.04
0.9628.82100.000.000.0028.58100.000.000.0028.7599.820.000.01
0.9732.28100.000.000.0032.06100.000.000.0032.22100.000.000.00
0.9837.40100.000.000.0037.19100.000.000.0037.34100.000.000.00
Figure 2

Relation of RP and RR.

Performance under different s (). Relation of RP and RR.

Conclusions

This paper studied the iron-steel allocation problem where the pretreatment time was uncertain with known mean and variance, and a distributionally robust model was constructed with chance constraints. The true distribution of the pretreatment time vector was assumed to belong to an ambiguity set, which consisted of all the distributions with the given mean and variance. The goal of this model was to minimize the weighted completion time while the constraints with the uncertain parameters were guaranteed to hold with a required probability even under the worst-case distribution in the ambiguity set. This DR model was equivalently reformulated into a MIP model, such that it could be solved by any off-the-shelf solvers. Furthermore, the MIP model was decomposed into an integer programming master problem and a linear programming subproblem. A meta-heuristic method, VNS, for combinatorial optimization problems was utilized to speed up the solution in large-scale instances. A modified version, JVNS, with jump operation was also introduced to avoid local minimum. Experiments based on the data from a steel company were conducted to confirm the claims. For different problem sizes, the average gaps of the JVNS were always lower than that of the CPLEX within the same solution time, and the advantage of JVNS grew prominent with the increase in problem size, which demonstrated the efficiency of JVNS in large-scale problems. Since the VNS could obtain a feasible solution in a short time and the CPLEX could obtain an exact solution as long as the solution time is sufficiently large, one could choose a proper algorithm among them based on the actual situation and requirements (e.g., time, quality, problem size). Computational results about the robustness showed that with the increase of the guaranteed probability , the delayed charges were fewer and the total delay time was less at a cost of more total weighted completion time. Therefore, the conclusion could be drawn that the proposed DR molten iron-steel allocation model could be used to derive a stable plan for the connecting process between iron and steel making stages, such that the subsequent processes can proceed as expected.
  2 in total

1.  An Improved Artificial Bee Colony Algorithm for Solving Hybrid Flexible Flowshop With Dynamic Operation Skipping.

Authors:  Jun-Qing Li; Quan-Ke Pan; Pei-Yong Duan
Journal:  IEEE Trans Cybern       Date:  2015-06-26       Impact factor: 11.448

2.  A Two-Phase Meta-Heuristic for Multiobjective Flexible Job Shop Scheduling Problem With Total Energy Consumption Threshold.

Authors:  Deming Lei; Ming Li; Ling Wang
Journal:  IEEE Trans Cybern       Date:  2018-02-02       Impact factor: 11.448

  2 in total

北京卡尤迪生物科技股份有限公司 © 2022-2023.