Abstract

Multidisciplinary design optimization (MDO) has been applied widely in the design of complex engineering systems. To ease MDO problems, analytical target cascading (ATC) organizes MDO process into multilevels according to the components of engineering systems, which provides a promising way to deal with MDO problems. ATC adopts a coordination strategy to coordinate the couplings between two adjacent levels in the design optimization process; however, existing coordination strategies in ATC face the obstacles of complicated coordination process and heavy computation cost. In order to conquer this problem, a quadratic exterior penalty function (QEPF) based ATC (QEPF-ATC) approach is proposed, where QEPF is adopted as the coordination strategy. Moreover, approximate models are adopted widely to replace the expensive simulation models in MDO; a QEPF-ATC and Kriging model combined approach is further proposed to deal with MDO problems, owing to the comprehensive performance, high approximation accuracy, and robustness of Kriging model. Finally, the geometric programming and reducer design cases are given to validate the applicability and efficiency of the proposed approach.

1. Introduction

Multidisciplinary design optimization (MDO) is a methodology to design complex engineering systems by exploiting the interactions between disciplines and has been successfully applied in the design of complex engineering systems, such as aircraft, automobiles, and mechanical equipment [1, 2]. MDO method, also known as MDO strategy, is a hot topic in the research area of MDO currently [3]. Depending on whether the process of design optimization is hierarchically designed, the MDO method is divided into two categories: single-level MDO method and multilevels MDO method. Compared with single-level MDO method, the multilevels MDO method can better match the organization structure of complex engineering systems and is beneficial in implementing concurrent design and distributed computation. There are four main multilevels methods: collaborative optimization (CO) [4, 5], concurrent subspace optimization (CSSO) [6, 7], bilevel integrated system synthesis (BLISS) [8, 9], and analytical target cascading (ATC) [10, 11]. CO, CSSO, and BLISS are all two-level MDO methods. Compared with CO, CSSO, and BLISS methods, ATC can organize MDO process into different levels according to the components of engineering systems, and the convergence of ATC method has been proofed strictly [10], so ATC provides a promising way to deal with MDO problems.

Currently, ATC needs to adopt a coordination strategy to coordinate the couplings between two adjacent levels in the design optimization process, and an appropriate coordination strategy can improve the computation efficiency of ATC. Till now, some coordination strategies have been adopted in ATC, such as augmented Lagrangian function (ALF) [12], diagonal quadratic approximation (DQA) [13], and Lagrangian dual function (LDF) [14]. However, these coordination strategies based ATC approaches face the obstacles of complicated coordination process and heavy computation cost in dealing with MDO problems. In order to conquer this problem, a quadratic exterior penalty function (QEPF) based ATC (QEPF-ATC) approach is proposed in this paper, where QEPF is adopted as the coordination strategy. Compared with exiting ATC method, the QEPF-ATC approach can simplify the coordination process and reduce the computation cost.

In the design optimization of complex engineering systems, generally, a large number of simulation models with high accuracy (such as the structural finite element analysis models, aerodynamic analysis models, and computational fluid dynamic models) are involved. These simulation models increase the computation expense greatly. Therefore, approximate models are adopted widely to replace the expensive simulation models in MDO [1518]. In this paper, QEPF-ATC and Kriging model [15, 18] combined approach is further proposed to deal with MDO problems, owing to the comprehensive performance, high approximation accuracy, and robustness of Kriging model. Finally, the geometric programming and reducer design cases are given to validate usability and effectiveness of the proposed QEPF-ATC approach and the QEPF-ATC and Kriging model combined approach, respectively.

The rest of this paper is organized as follows. In Section 2, ATC is introduced, and the QEPF-ATC approach is proposed. QEPF-ATC and Kriging model combined approach is implemented in Section 3. In Section 4, the geometric programming and reducer design cases are given to validate the usability and effectiveness of the proposed approach. Conclusion and future work are discussed in Section 5.

2. The Proposed QEPF-ATC Approach

2.1. ATC

The design optimization problem of complex engineering systems is decomposed into a set of subproblems in ATC approach, where the desired design specifications or targets are established at the top level and cascaded down to each lower level subproblem. The target transformation is a decomposition process from up to down in a level-by-level way. Moreover, subproblems need to get the responses to match the cascaded targets. If targets cascaded to subsystems are not achievable or compatible, the feedback from subsystems is required, resulting in an iterative target cascading process. Hence, targets and responses are updated and coordinated iteratively to achieve global consistency (see Figure 1) [10]. Coordination strategy is needed to implement the communication of target and response values between parents and children problems.

ATC is a model-based optimization method. There exist two kinds of models, optimal design models and analysis models . The former is just so-called optimization design problem that includes optimization object, design variables, and constraints. The latter is physical model or mathematical model that is the foundation of the optimization design. Figure 2 shows the data flow between subproblems (parent and children) [19].

In Figure 2, there exist consistency constraints for each subproblem. In order to make each subproblem independent, consistency constraint is introduced as a kind of equality constraints. For the subproblem at a given level, consistency constraints are as follows:

The general mathematical notation for subproblems in the hierarchy is thenwhere is the problem formulation of element at level . is used to designate the parent of element . designates children of element . is local variables for subproblem . is the function that calculates responses for . is response of . is the target for cascaded from the () level parent element. is response of the () level children element. is the target for the () level children element. is response of linking variable of . is the target of linking variable for from the () level parent element. is response of linking variable of the () level children element. is the target of linking variable for the () level children element from . is the local objective for . is function of inequality constraints for in negative null form. is function of equality constraints for in null form.

The coordination strategy in ATC deals with the definition of deviation between targets and responses (namely, consistency constraint) and updating weight coefficients therein. By setting appropriate norm and weight coefficients to coordinate each subproblem, the optimal design point can be obtained. The coordination strategy is the key research in ATC, and an appropriate coordination strategy can improve the computation efficiency of ATC. In recent years, some coordination strategies in ATC have been studied.

2.1.1. The Coordination Strategy Based on ALF

According to the ALF, the deviation between targets and responses is presented by augmented Lagrangian function, and weight coefficients are presented by the augmented Lagrange multiplier. The coordination way based on ALF is shown as

Weight coefficients , , , and in (3) are updated in accordance with the following equation:where the superscript indicates iterations and is step length. Usually, , but can accelerate convergence.

2.1.2. The Coordination Strategy Based on DQA

DQA is realized by approximating the deviation between targets and responses on the basis of ALF. The specific approximation is

Based on DQA, the cross term among the deviation is approximated; that is to say, an order Taylor type expansion is conducted in the last design point. Among them, the weight coefficient is updated according to (5) too.

2.1.3. The Coordination Strategy Based on LDF

According to the LDF, the deviation is dealt with by Lagrangian duality function, and weight coefficients are presented by the dual Lagrange multiplier. The coordination of LDF is shown as

Weight coefficients , , , and in (6) are updated in accordance with the following equation:where the superscript indicates iterations and is a positive integers.

The difference of these coordination strategies is the way of dealing with consistency constraints and weight coefficients. There exist multiweight coefficients in the above three coordination strategies to increase computational cost. For this reason, the coordination strategy based on quadratic exterior penalty function among which only one weight coefficient exists is put forward, which simplifies the expression of optimization problem greatly, thus improving the efficiency to make ATC have wider application. The coordination strategy based on the quadratic exterior penalty function will be described briefly.

2.2. The QEPF-ATC Approach

A general equality-constrained optimization problem can be defined as follows:where is the vector of the design variables with and as its lower and upper bounds, respectively. The function represents the objective function. is the equality constraints.

According to QEPF, consistency constraints are added into the objective function by introducing a penalty factor, and the penalty factor is used as the weighting coefficient to realize the coordination. The quadratic exterior penalty function is defined aswhere the weight coefficient (penalty factor) is updated in accordance with (10). The value of influences the convergence efficiency and computational efficiency so that it is necessary to set up appropriate to obtain much better solution efficiency. Consider

The mathematical formulation of QEPF-ATC is

Generally, the much bigger the penalty factor is the much closer the optimization results are to the optimal solution of the original problem. But, in the practical application, the value of the penalty factor must be moderate when considering the computational cost, due to the fact that if the penalty factor is too small, the optimization results may get bigger error from the original problem to bring low computational efficiency. Otherwise, too large penalty factor would increase the computational expense.

Figure 3 shows the solving process of the QEPF-ATC approach, and the main steps are as follows:(1)decompose the original problem and confirm design variables and constraints of system and subsystems;(2)initialize design variables (including local design variables and linking variables) and and transfer the corresponding initial value to the subsystem as the target;(3)solve each subsystem and pass back current results to system level;(4)optimize the system problem on the basis of the third step and transfer new target to each subsystem;(5)obtain the optimization result if the convergence condition is met; otherwise, update the weight coefficient according to (10) and go back to the third step until the convergence condition is met.

3. The Proposed QEPF-ATC and Kriging Model Combined Approach

3.1. Kriging Model

Kriging models [15, 16] have their origins in mining and geostatistical applications involving spatially and temporally correlated data. Kriging models combine a global model with localized departures:where is the unknown function of interest, is the known approximation (usually polynomial) function, and is the realization of a stochastic process with mean zero, variance , and nonzero covariance. The term is similar to a polynomial response surface, providing a “global” model of the design space. The covariance of is given bywhere is the correlation. is the correlation function between any two of the sampled data points and , and it can be calculated by

Generally, is treated as a constant , then predicted estimates, , of the response at untried values of are given bywhere is the column vector of length that contains the sample values of the response, and is a column vector of length that is filled with ones when is taken as a constant. In (10), is the correlation vector of length between an untried and the sampled data points.

Consider

In (10), is estimated using (12):

In , ,

3.2. The QEPF-ATC and Kriging Model Combined Approach

In QEPF-ATC, the deviation between the target and response is processed in the form of sum of squares, as shown in (11). The sum of squares function is usually not smooth and nonlinear. And discrepancy of variables in the neighborhood of the current solution will lead to fluctuation of the deviation, which will increase the number of iterations and so forth. Kriging model is appropriate for high nonlinear problem with better comprehensive performance, high approximation accuracy, and high robustness [2022]. Moreover, fewer sample points also can get higher precision approximation model. So Kriging model is adopted in this paper.

The solving process of the QEPF-ATC and Kriging model combined approach is shown in Figure 4, and the main steps are as follows:(1)decompose the original problem and confirm design variables and constraints of system and subsystems;(2)select a set of sample points using the Latin hypercube sampling (LHS) method;(3)analyse each subsystem to obtain responses at all sampling points of the subsystems;(4)build Kriging model based on the sample points and the corresponding responses of each subsystem;(5)evaluate the Kriging model by error analysis; if the precision conditions are not met, go back to step to build a new Kriging model by adding some new sample points;(6)initialize variables and transfer the corresponding initial value to the subsystem as the target and optimize each subproblem based on the created Kriging model;(7)pass back current results to system level, and implement the system level optimization;(8)obtain results if the convergence condition is met; otherwise, go to step until the convergence condition is met.

4. Case Studies

4.1. The Geometric Programming

The geometric programming [23] that has only the global optimal solution is employed to verify the usability of QEPF-ATC. Its mathematical expression is shown as

Figure 5 shows the solution framework of the QEPF-ATC approach for the problem, where is the linking variable (coupling variable) coordinated by the system level. , , , and are the targets of each subproblem passed from the system level. and are the responses of the linking variable coming from the subproblems and . and are the responses of and .

Solve the geometric programming problem according to QEPF-ATC. Initialize the design point , and take . Here, the acceptable inconsistency tolerance is 0.01 for every response variable and linking variable. Table 1 shows the optimal results based on QEPF-ATC, three coordination strategies (ALF, DQA, and LDF), and AAO (All-At-Once).

According to Table 1, the results of the QEPF-ATC approach are very close to the optimal value of the original problem, and the runtime is less than the other three methods.

affects the convergence efficiency and computational efficiency of the QEPF-ATC approach. In order to obtain more suitable to improve the efficiency of the QEPF-ATC approach, different values of are selected to solve the problem. Table 2 shows the results when different values of are selected.

In Table 2, the QEPF-ATC approach implement fast convergence when is set to different values, and the optimal results are close to the results of the initial problems. With the increase of , the number of iterations decreases and the solution error gets bigger (excessive weight). Generally, is strictly necessary, but typically, is recommended to speed up convergence and reduce computational cost and get better optimal results.

4.2. The Speed Reducer Design

The speed reducer design case represents the design of a simple gearbox and is a multidisciplinary problem comprising the coupling between gear design and shaft design. This has been used as a testing problem for MDO method in the literature from NASA Langley research center [24]. The multidisciplinary systems and notations of the reducer are shown in Figure 6, and the modelling is shown in Figure 7. The design objective is to minimize the speed reducer weight while satisfying a number of constraints posed by gear and shaft parts. There are seven variables in the speed reducer design optimization. Table 3 lists a brief description of the variables and gives their reference values.

According to the decomposition method of ATC, where a system is partitioned by object, the speed reducer problem is decomposed into gear subproblem and shaft subproblem (shown in Figure 7). The design optimization problem is defined as follows:where is the gear weight and is the shaft weight. And and , are respectively, gear bending stress and contact stress constraints, and are, respectively, torsional distortion constraints of shaft 1 and shaft 2, and are stress constraints of the shaft 1 and shaft 2, and are experience constraints of shaft 1 and shaft 2, and , , and are gear geometry constraints.

, , and are the design variables of the gear subproblem. and are the design variables of the shaft subproblem. and are linking variables (coupling variables). According to the QEPF-ATC and Kriging model combined approach, three variables , , and are introduced and meet the following formula:where represents the analysis model of system level and and represent the analysis models of subproblem 1 and subproblem 2, respectively.

The solving framework of the QEPF-ATC and Kriging model combined approach for gear reducer is shown in Figure 8.

Creating the Kriging models of the shaft subsystem is introduced in detail. Firstly, select 45 sample points by LHS method to create the Kriging models to conduct the subsystem analysis, and the created models are shown in Figure 9.

Then, select 20 sample points by random sampling method to evaluate the created Kriging models. Error analysis for Kriging models of the shaft subsystem is shown in Figure 10, and it can be seen that the predicted values obtained by Kriging models are basically equal to the actual values.

There are four credibility evaluation standards for approximate models, that is, the average, the maximum, the root mean square, and the -squared. For the average, the maximum, and the root mean square, the much smaller the values are the much better the credibility of approximate models is. The default threshold of the average and the root mean square is 0.2, and the maximum is 0.3. For the -squared, the much bigger the value is, the much better the credibility of approximate models is, and the default threshold is 0.9. Figure 11 describes the values of the four credibility evaluation standards for the created Kriging models of the shaft subsystem, and it can be seen that the four credibility evaluation standards are all met. So the created Kriging models are reliable enough and can be used to replace the original models with high accuracy in the next solving process.

Five initial points are selected and the sequential quadratic programming (SQP) method is adopted to solve the gear reducer problem, and the results provided by the QEPF-ATC and Kriging model combined approach and the QEPF-ATC approach are shown in Tables 4 and 5, respectively. It can be seen that results of the QEPF-ATC and Kriging model combined approach and the QEPF-ATC approach are very close, and the best result provided by the QEPF-ATC and Kriging model combined approach is closer to the optimal value of the gear reducer problem compared to that provided by the QEPF-ATC approach. In terms of the iterations and runtime, the QEPF-ATC and Kriging model combined approach saves computing time by more than one half compared with QEPF-ATC approach.

5. Conclusion

Because ATC approach can flexibly organize the design optimization process according to the components of engineering systems, it has been widely applied in MDO. The QEPF-ATC approach is proposed to reduce the complicated coordination process and heavy computation cost faced by exiting ATC approaches, where quadratic exterior penalty function is adopted to be the replaced coordination strategy. Further, in order to deal with the design optimization of complex engineering systems, the QEPF-ATC and Kriging model combined approach is implemented, where Kriging models are used to replace simulation models with high accuracy in the solving process of MDO problems. The QEPF-ATC and Kriging model combined approach can avoid the impact of numerical noise brought by using simulation models during the iterative solving process and reduce computation cost. A geometric programming case is given to validate the usability and effectiveness of the QEPF-ATC approach. The QEPF-ATC and Kriging model combined approach has been successfully applied to solve the speed reducer design problem.

It should be pointed out that using metamodels within the QEPF-ATC approach is not without its own set of potential drawbacks, which are well known and beyond the scope of this work. Prior to employing the metamodel assisted QEPF-ATC approach, the user should become familiar with the strengths and weaknesses associated with surrogate approximation. Variable-fidelity modeling provides a promising way to flexibly use approximate models in dealing with MDO problems. The combination of the QEPF-ATC approach and variable-fidelity modeling will be studied to design complex engineering systems in the future.

Abbreviations and Acronyms

ALF:Augmented Lagrangian function
AM:Approximate models
ATC:Analytical target cascading
BLISS:Bilevel integrated system synthesis
CO:Collaborative optimization
CSSO:Concurrent subspace optimization
DQA:Diagonal quadratic approximation
LDF:Lagrangian dual function
LHS:Latin hypercube sampling
MDO:Multidisciplinary design optimization
QEPF:Quadratic exterior penalty function
QEPF-ATC:Quadratic exterior penalty function based analytical target cascading
SQP:Sequential quadratic programming.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This research has been supported by the National Natural Science Foundation of China (NSFC) under Grant no. 51121002, the National Basic Research Program (973 Program) of China under Grant no. 2014CB046703, and the Fundamental Research Funds for the Central Universities, HUST, Grant no. 2014TS040. The authors also would like to thank the anonymous referees for their valuable comments.