Computer model calibration typically operates by choosing parameter values ina computer model so that the model output faithfully predicts reality. By usingperformance targets in place of observed data, we show that calibrationtechniques can be repurposed to wed engineering and material design, twoprocesses that are traditionally carried out separately. This allows materialsto be designed with specific engineering targets in mind while quantifying theassociated sources of uncertainty. We demonstrate our proposed approach by"calibrating" material design settings to performance targets for a windturbine blade.
Quick Read (beta)
Coupling material and mechanical design processes via computer model calibration
Computer model calibration typically operates by choosing parameter values in a computer model so that the model output faithfully predicts reality. By using performance targets in place of observed data, we show that calibration techniques can be repurposed to wed engineering and material design, two processes that are traditionally carried out separately. This allows materials to be designed with specific engineering targets in mind while quantifying the associated sources of uncertainty. We demonstrate our proposed approach by “calibrating” material design settings to performance targets for a wind turbine blade.
Keywords: Gaussian processes, material design, optimization, Pareto optimality, Uncertainty quantification, wind turbines
Real-world optimization problems typically involve multiple objectives. This is particularly true in the design of engineering systems, where multiple performance outcomes are balanced against budgetary constraints. Among the complexities of optimizing over multiple objectives is the effect of uncertainties in the problem. Design is guided by models known to be imperfect, systems are built using materials with uncertainty regarding their properties, variations occur in the construction of designed systems, and so on. These imperfections, uncertainties and errors cause uncertainty also in the solution to a design problem.
In traditional engineering design, one designs a system after choosing a material with appropriate properties for the project from a database of known materials. As a result, the design of the system is constrained by the initial material selection. By coupling material discovery and engineering system design, we can combine these two traditionally separate processes under the umbrella of a unified multiple objective optimization problem.
In this paper, we cast the engineering design problem in the framework of computer model calibration. In traditional calibration, one aligns computer model output to observations of a real system by estimating unknown parameters in the model. Here, we instead align the computer model to performance and cost targets by finding design variables that optimize the model output with respect to those targets.
Our proposed methodology uses the Bayesian framework first established as a means for computer model calibration by Kennedy and O’Hagan Kennedy and O’Hagan (2001). This area is furthered by Higdon et al., Higdon et al. (2004), who undertake model calibration with quantified uncertainty. Their approach is further refined and exemplified by Williams et al. Williams et al. (2006). Loeppky et al. Loeppky et al. (2006) offer a maximum-likelihood-based alternative to the Bayesian approach advocated by Kennedy and O’Hagan, intending thereby to improve the identifiability of the calibration parameters in the face of model discrepancy. Bayarri et al. Bayarri et al. (2007) extend the approach of Kennedy and O’Hagan, allowing for simultaneous validation and calibration of a computer model. Bayarri et al. Bayarri et al. (2007) apply this methodology to functional data using a hierarchical framework for the coefficients of a wavelet representation. Similarly, Paulo et al. Paulo et al. (2012) apply the approach of Ref. Bayarri et al. (2007) to computer models with multivariate output. Brynsjarsdóttir et al. Brynjarsdóttir and O’Hagan (2014) demonstrate the importance of strong priors on the model discrepancy term when undertaking calibration.
Common to those approaches is a conception of calibration as using real observations to get a posterior distribution on unknown parameters so that the posterior predictive distribution of the model approximates reality. By contrast, using an approach we call counterfactual Bayes, our methodology uses artificial observations (representing design targets) to obtain a posterior distribution on design variables so that the posterior predictive distribution approaches those targets. In counterfactual Bayes, we apply Bayesian reasoning to a hypothetical scenario that bears certain known relationships to reality. Those known relationships allow us to transfer knowledge gained about the hypothetical scenario to reality, thereby gaining valuable insights into the phenomenon of interest. We describe how, with little added computational cost, the methodology provides an initial rough estimate of the Pareto front for the system, i.e., the set of points in the design space that are Pareto optimal. A point is Pareto optimal if and only if, in order to improve any one of its elements, some other element must be made worse off. In a system in which there is a trade-off between cost and performance, for example, which region of the Pareto front is most desirable will depend upon budgetary constraints. This initial rough estimate of the Pareto front can be used to select artificial observations closer to the design space and thereby promote stronger Bayesian learning about the optimal settings for the design variables . Repeated applications of the procedure can be used to produce the more thorough “Pareto bands” which estimate the Pareto front with quantified uncertainties.
Our approach is thus an example of Bayesian multi-objective optimization under uncertainty. Concerns about uncertainty in optimization may include uncertainty in the inputs (as when the inputs are not under perfect control), uncertainty in the outputs (as when the code or process of interest is not deterministic), and observation error Jin and Branke (2005). As a response to these sources of uncertainty, two different approaches are possible. Firstly, one’s focus may be on finding solutions that are robust to small perturbations in the inputs, e.g. by resampling in the design space around each candidate point considered during optimization Deb and Gupta (2006). Alternatively, rather than seeking robust solutions, one could endeavor simply to quantify the resulting uncertainty in the model outputs, again through resampling around points of interest Zhou et al. (2011). Our focus is on the latter of these two goals, though the posterior distributions our method provides include information about the sensitivity of the model output to the various model inputs, and thereby provides information about the robustness of the estimated optima. Since we are concerned with computationally expensive objective functions, our method also avoids resampling, which can add prodigiously to the computational expense of an optimization procedure.
Though a Bayesian means of optimization, our proposed methodology contrasts with what is typically referred to as “Bayesian optimization” (BO). In traditional BO, a Gaussian process (GP) surrogate model is constructed based on a small set of training observations, and the resulting updated GP is used to define an “acquisition function” that is used sequentially to select new observation locations until a stopping condition is achieved Picheny et al. (2019). Acquisition functions are crafted to attempt to balance exploration with exploitation of the objective function. Examples include the EGO (efficient global optimization) function of Jones et al. Jones et al. (1998), and the EGO-inspired SUR (stepwise uncertainty reduction) function showcased for univariate BO by Chevalier et al. Chevalier et al. (2014). The SUR approach is applied to estimating the Pareto front of a multi-objective optimization problem by Picheny Picheny (2015). The methodology we propose here differs from these forms of traditional BO by its avoidance of sequential sampling, which is desirable in cases where the computational budget is very small, or when the relevant observations are based on previously gathered data, or in general when the data-gathering process is not devoted exclusively to serving the ends of the optimization. Our methodology also can be used to quantify all associated forms of uncertainty discussed above – uncertainty due to the model inputs, due to the stochastic nature of the objective function, or due to observation error of the outputs (e.g. if the observations are of the phenomenon of interest itself rather than of a computer model thereof).
Our approach thus has affinities with that of Olalotiti-Lawal and Datta-Gupta Olalotiti-Lawal and Datta-Gupta (2015). Both approaches use Markov chain Monte Carlo (MCMC, Gelfand and Smith (1990)) to explore a posterior distribution on the design inputs. Olalotiti-Lawal and Datta-Gupta construct a distribution that is designed to lie both on and near the Pareto front of the objective function. The acceptance rate during MCMC and the variance of the distribution depend upon a user-defined temperature parameter. The resulting posterior distribution includes uncertainty quantification. The uncertainty quantified in that approach is the uncertainty remaining in the distribution designed by the authors; this distribution does not itself come from the model of the phenomenon of interest. By contrast, under our approach, the distribution explored via MCMC is dictated by the model itself (and by the GP surrogate thereof), by our prior knowledge about the appropriate design settings, and by the choice of performance/cost targets. The approach we propose here also has somewhat greater flexibility – while it may be used to explore the entire Pareto front as Olalotiti-Lawal and Datta-Gupta do, our approach also may be used as a form of “goal programming” Miettinen (2008), targeting a particular region of the Pareto front in accordance with the preferences of the relevant decision-makers.
We apply our proposed methodology both to a proof-of-concept example and to finding material design settings to optimize performance and cost for a wind turbine blade of fixed outer geometry. The blade is to be constructed using a composite material, the properties of which are dependent upon design variables under our control. Our material design goal is to reduce the cost per square meter of the composite, the angle of twist (in radians) of the blade when under load, and the deflection (in meters) of the blade tip when under load.
In Section 2, we introduce the counterfactual Bayes methodology for learning about a real system by applying Bayesian reasoning in a hypothetical scenario with known linkages to the real system. In Section 3, we review the calibration framework grounding our design optimization approach. In Sections 4 and 5, we apply our methodology to simulated data and to wind turbine blade design. Section 6 discusses the results and thoughts about future directions.
2 Counterfactual Bayes
Counterfactual Bayes relies on reasoning about counterfactual situations. In this respect it is reminiscent of some statistical approaches, such as the framework of Rubin Rubin (1974), to questions of causality. To elucidate the relevant notion of counterfactuality, we rely on the logician’s conception of possible worlds, which are used to explain the semantics of modal sentences (sentences having to do with possibility and necessity, rather than what is merely actual). A possible world can be conceived of as an internally consistent description of a world, which may or may not match the actual world Adams (1974); Lewis (1986). So even though it is perhaps true that all dogs weigh under 350lbs (the heaviest recorded dog weighed 343lbs Young (1994)), there is a possible world in which some dogs weigh over 350lbs, since it is possible to describe such a world without contradicting oneself. I.e., a 350lb dog could exist. By contrast, there is no possible world in which some dogs are reptiles. Dogs are mammals by definition, and to describe any creature simultaneously as a reptile and as a dog is to contradict oneself.
Possible worlds give substance to the fundamental concepts of counterfactual approaches to causality. For example, consider a case in which event occurs at time , event occurs at time , and one hypothesizes that caused . This causal claim, in the language of possible worlds, is equivalent to something like the following: In any possible world which is identical to our world at all points up to time , and which differs at time only in that did not occur, is also such that does not occur in . The causal claim is thus implicitly a claim about worlds other than our own, based on observations made in our own world. Counterfactual Bayes, as described in this paper, essentially reverses this relationship. The idea of counterfactual Bayes is to rely on observations made in other possible worlds in order to learn about features of our own world.
We can summarize the methodology of counterfactual Bayes as follows. Let denote the actual world. Let be a function relating inputs to some output , which describes some phenomenon of interest in the real world for which we wish to find optimal settings for . Suppose that is such that the optimal outcome can be redescribed in terms of some target outcome , i.e., that . Then a distribution de facto approximates a distribution on values producing the optimal achievable output of the system. Consider now a possible world in which the same phenomenon holds true, and in which we observe . Then we can apply Bayes’ rule to learn a posterior distribution of values in . This is not directly applicable to the actual world, since we have not observed here. But we have that approximates a distribution on values producing an optimal achievable outcome from the system , and we furthermore have that and thus that a distribution on values optimal for is also a distribution on values optimal for . Thus by relying on known connections between and , we use observations made only in to gain valuable insight into features of .
In what follows, we apply this counterfactual Bayes approach to find distributions on optimal design settings. In our approach, Kennedy-O’Hagan-style model calibration Kennedy and O’Hagan (2001) is what allows us to discover a posterior distribution on design settings given an “observation” of a set of possible outcomes. We will apply that model calibration framework in a hypothetical scenario involving artificial observations of idealized outcomes , using our knowledge of the true system to exploit the resulting posterior distribution and thereby discover a distribution on optimal design settings.
3 Calibration for design
3.1 Gaussian process emulators for calibration
In this work, when an emulator is needed we use GP emulators. As a multivariate Gaussian random variable is characterized by a mean vector and covariance matrix, a GP is characterized by a mean and covariance functions and , where is the domain of the process. For points , is the GP mean at , and is the covariance between the values of the GP at and . The distribution of the GP at any finite number of points is multivariate normal with mean vector and covariance matrix determined by and . In principle, model calibration need not rely on emulators; one can complete a Bayesian analysis via MCMC by running the model at each iteration of the chain (see e.g. Ref. Hemez and Atamturktur (2011)). In Section 4 we assume fast-running computer code for the simulated example, but computer models are often too computationally expensive to allow such expenditure Van Buren et al. (2013); Van Buren et al. (2014). Instead, a computationally tractable emulator can be trained using a sample of the computer model output.
GPs are popular prior distributions on computer model output for three reasons. Firstly, their use does not require detailed foreknowledge of the model function’s parametric form. Secondly, GPs easily interpolate the computer model output, which is attractive when the model is deterministic and hence free of measurement error. This is the usual case, although some attention has focused on calibrating stochastic computer models Pratola and Chkrebtii (2018). Thirdly, GPs facilitate uncertainty quantification through the variance of the posterior GP. This section provides brief background on GPs and their use in regression broadly, and in computer model calibration specifically.
The use of GPs as a computationally efficient predictor of computer code given observations of code output is advocated by Sacks et al. Sacks et al. (1989) and explored at length by Santner et al. Santner et al. (2003). Since computer code is typically deterministic, these applications differ from the focus of Ref. O’Hagan (1978) in that the updated GP interpolates the computer output. Ref. Kennedy and O’Hagan (2001) uses GPs for computer model calibration. Kennedy et al. Kennedy et al. (2006) showcase this use of GP emulators for uncertainty and sensitivity analyses. Bastos and O’Hagan Bastos and O’Hagan (2009) describe numerical and graphical diagnostic techniques for assessing when a GP emulator is successful, as well as likely causes of poor diagnostic results. Though most work on GP emulation uses stationary covariance functions and quantitative inputs, Gramacy and Lee Gramacy and Lee (2008) use treed partitioning for a nonstationary computer model, and Qian et al. Qian et al. (2008) explore methods that include both quantitative and qualitative inputs.
Whether or not an emulator is used, one may consider a computer model to be of the form , where comprise all model inputs. The vectors and denote respectively the inputs to be calibrated and the control inputs, which are all other model inputs that are known and/or under the researchers’ control. Thus, the model is
where is the observed response at control inputs , is the true system, is the model discrepancy (the systematic bias of the model) and is mean-zero error, often assumed to be i.i.d. Gaussian.
To use an emulator, suppose we have inputs scaled to the unit hypercube and completed model runs for Define the GP prior for as having mean function , where is a constant, and set the covariance function in terms of the marginal precision and a product power exponential correlation:
where each describes the strength of the GP’s dependence on one of the elements of the input vectors and , and determines the smoothness of the GP. Independent Gaussian observation error is captured by and the indicator . If is a deterministic computer model, then . The model is completed by specifying priors for the hyperparameters and for , though in practice these are often set to predetermined values.
3.2 Design to target outcomes
Call design targets treated as observations in the design procedure we propose below “target outcomes”, and call that procedure, which pairs a Bayesian model calibration framework with target outcomes via counterfactual Bayes, “calibration to target outcomes” (CTO). Thus target outcomes are a sort of artificial data, and the calibration procedure is carried out as if these artificial data had been observed in reality. As in traditional calibration, in which the result is a distribution on the calibrated parameter to approximate the observed data, in CTO the result is a distribution on the design parameter which induces the model to approximate the performance and cost targets.
The tools of model calibration as based on the work of Ref. Kennedy and O’Hagan (2001) retain their advantages under our proposed methodology. Most centrally, calibrating to target outcomes produces not merely a point estimate , but rather a posterior distribution of reflective of remaining uncertainty about the optimal value of . Such uncertainty may come from parameter uncertainty (uncertainty about the values of model inputs other than the design variables), model form uncertainty (uncertainty about how closely the code approximates reality), and observation error. The Bayesian model calibration framework allows for quantification of all of these uncertainties.
In the Kennedy-O’Hagan framework, the goal is computer model calibration, so that is a computer model representing some real phenomenon . The framework is naturally suited to computer model calibration because is an input for but not for the real system of interest . By contrast, in CTO, is an input for the real system of interest, since is a design setting for the system. Thus under CTO we may take either to be a computer model as under KOH, or, alternatively, we may take itself to be the real system of interest. In either case, a set of observations of can be used to produce a GP model. When is the real system, we would have . If is a computer model, the process of calibrating that model takes place separately from CTO, and so for the purposes of CTO can be treated as known. Equivalently, we can absorb the known discrepancy into the term, again setting . As a result, CTO is not afflicted by the identifiability concerns of the Kennedy-O’Hagan framework Bayarri et al. (2007); Tuo and Wu (2016).
It is common to plug in the MLEs of the GP covariance hyperparameters and in (2) instead of including them in a full Bayesian analysis Kennedy and O’Hagan (2001); Santner et al. (2003); Qian et al. (2008); Paulo et al. (2012). In our proposed methodology, that is not merely a convenience, but rather is essential to avoid training an emulator using the target outcomes, which by their nature are extreme outliers (see Ref. Liu et al. (2009) on the dangers that arise here). We use values found by maximizing the log likelihood of the available simulation runs with respect to and . We set the GP to have constant mean , which works well when (as here) responses are standardized with mean 0, and the GP is not used for extrapolation Bayarri et al. (2007). We set , which assumes that the model output is infinitely differentiable.
Denote completed runs of the simulator , target outcomes , and . Then is multivariate normal with mean 0 and covariance , a matrix with entry equal to is the indicator function. Gaussian error variance reflects our assumption that in , the world in which the targets are observed, they are subject to observation error. If is subject to observation error, so that itself includes nonzero observation error variance, then allowing is not strictly necessary. However, given that the targets may be extreme outliers, it is often computationally beneficial to include , thereby supposing that the target outcomes were observed with greater than usual observation error. Whether this assumption is appropriate in a particular application will depend on the phenomenon of interest. However, it is necessary to construct the model in such a way that the target outcomes are compossible with the model, and including ensures that this requirement is satisfied even when does not include observation error. Whether or not is included, it may be beneficial to include a small nugget into the covariance function . This improves the conditioning of the covariance matrix.
Where has outputs, in many cases it suffices to fit a separate GP to each output. We take this approach here, letting be the observation error variance for the output. Whether this assumption of independence among the outputs is appropriate will depend on the application. We set a Gamma prior on each element of , encouraging low values of observation error variance, since high values would allow non-optimal regions of the design space to enjoy likelihood near to that of the optimal region. Setting a uniform prior on the design variables , the joint posterior density under the model is
MCMC methods are used to explore the posterior distribution.
When one has little information about the location and shape of the system’s Pareto front in a multiobjective system, it may not be obvious what target best accords with one’s goals. One common choice in such situations is to locate the portion of the Pareto front closest to the “utopia point”—the global minimum of each objective function. When one has access to a set of observations , the utopia point can be estimated by taking the minima of the observations of each objective. However, another option in such cases is to perform a “preliminary round” of CTO to estimate the system’s Pareto front. In preliminary CTO, one performs the usual CTO routine with a target known to be less than or equal to the utopia point of the system in all objectives, and with set to a large constant for each objective—e.g. approximating a flat prior on observation error by setting for for objectives standardized to each have standard deviation 1 (under the uniform prior on ). This encourages CTO to explore broad regions of the feasible design space near the Pareto front. When the resulting posterior samples of are filtered to retain only their Pareto dominant subset, this forms a rough estimate of the Pareto front that can be used to select target outcomes in an informed way. In addition to being only a rough estimate of the Pareto front, this preliminary estimate does not include quantification of uncertainties regarding its location. Methods for estimating the system’s Pareto front accurately with quantified uncertainties are explored in Section 5.4. The full CTO process, including preliminary Pareto front estimation, is given in Algorithm 1.
|Algorithm 1: Full CTO procedure including preliminary estimation of Pareto front|
|1.||Set target outcomes out of the feasible design space and for large constant .|
|2.||Use MCMC to sample and thereby the posterior predictive distribution.|
|3.||Filter the predictions to retain only their Pareto optimal values .|
|4.||Select new target outcomes using as an estimate of the model’s Pareto front.|
|5.||Setting for , use MCMC to draw from .|
Figure 1 illustrates the benefits of preliminary CTO.
Suppose that, prior to undertaking CTO, we know only that the model outputs are positive. Then is a natural choice as a target outcome. However, the optimal region determined by the choice of in this case is somewhat arbitrary. The point closest to is unique in the Pareto front solely in being nearest to the origin, and that choice of target outcome was itself driven merely by our ignorance of the feasible design space. By contrast, suppose now that preliminary CTO has supplied us a rough estimate of the Pareto front, empowering us to choose a different target outcome – for example, targets a point of diminishing returns in allowing to increase further in exchange for a reduced . Note also that when an emulator is used, preliminary CTO can use the same model observations as the subsequent CTO to train the emulator. So preliminary CTO does not add to the budget of model runs, and is thus a computationally cheap supplement to CTO.
4 Simulated Example
To illustrate our proposed procedure, consider the following problem of minimizing a function with trivariate output. Let be the inputs, with scalar control input and design variables . We seek optimal settings for . Model outputs are , , and We assume prior knowledge only that the outputs are positive. Figure 2 displays the (normalized) outputs as functions of and at .
Assuming an easily evaluated model (so that an emulator is not needed), we have for target outcome , so that is the output and is the target observation error for .
We initially set the target outcomes to , the utopia point of the system, constant as a function of . For comparison, we also performed CTO with target , which lies close (one standard deviation away, under the uniform prior on ) to the feasible region, on the line connecting the original target utopia point to the nearest point in the feasible objective space. The purpose of this comparison is to demonstrate the robustness of CTO to the distance separating the target outcome from the feasible objective space. Thus a target outcome can be selected even when little is known about the location of the Pareto front. Figure 3 shows the resulting posteriors. In the top plot, the target (the system’s utopia point) is just over 1.6 units away from the objective space, where the each objective is standardized to have variance 1. In the bottom plot, the Euclidean distance of the target from the objective space is 0.5. Use of the utopia point produces a slightly longer lower tail for , so that the posterior standard deviation of is increased from 0.1175 to 0.2126. To minimize uncertainty regarding the optimal value of the design parameter, it is preferable to use a rough estimate of the Pareto front to select a target that is on or near the front, but when this is not possible, the resulting degradation of the results is typically minor. The marginals in each case show substantial Bayesian learning compared to the prior (uniform) distribution of the design variables. CTO successfully maps the contours of the optimal region in each case, peaking near the true optimum.
5 Wind turbine material design application
In this section we use CTO to design a material for use in a wind turbine blade. The goal is to wed the typically separate tasks of material design and material selection for a specific application, designing a composite to optimize performance in a blade. Our model uses ANSYS finite element analysis software ANSYS, Inc. (2017). We assume the model accurately represents reality.
5.1 Wind turbine blade design
Two performance measures for blades are tip deflection and twist angle. A goal of engineering design is to keep these measures and material cost low. The blade is a composite of a given matrix and filler. The material properties (and thus blade performance and cost) depend on the thickness of the shear web in the blade and on the volume fraction, or ratio of filler to matrix. Temperature also affects the composite’s properties and hence performance. The model inputs are a triplet , where is the temperature of the turbine (in kelvin), is the volume fraction, and is the thickness (in mm). The model output is a triplet , where is tip deflection (in meters), is twist angle (in radians), and is cost per square meter (USD) of the material. The turbine is deemed to operate over temperatures 230K-330K.
5.2 Emulation of finite element model
The finite element simulator is too computationally expensive to be suitable for direct use in an MCMC routine. We employed a GP emulator in the manner of Ref. Williams et al. (2006). For this purpose, we drew 500 (trivariate) observations from the finite element simulator according to a Latin hypercube sampling design McKay et al. (1979) based on plausible ranges for the three inputs as identified by subject matter experts: . We took the computer output to follow a GP with mean 0 and product power exponential covariance function as given in (2).
The hyperparameters are estimated via maximum likelihood using only the finite element model output. We used fmincon() Matlab (2017) to maximize (with ) over the joint (four-dimensional) support of .
5.3 Design of the wind turbine blade system
All model inputs were rescaled to [0,1]. All model outputs were standardized so that each of the three responses has mean 0 and standard deviation 1. The full joint posterior density of the design variables and discrepancy function hyperparameters is given in Equation (3), using the MLEs given above. Initial target outcomes were set to the estimated utopia point found by taking the minimum observed value of each objective from the 500 simulator observations. This target was set to be constant as a function of temperature, on an evenly-spaced grid of temperature values over the range [230K, 330K]. We carried out preliminary CTO with to estimate the Pareto front and locate a region of interest. For this purpose, 6,000 realizations were drawn via Metropolis-Hastings-within-Gibbs MCMC Metropolis et al. (1953); Hastings (1970); Geman and Geman (1984) in each of three chains (with random starts), of which the first 3,000 were discarded as burn-in. During the burn-in period, the covariances of the proposal distributions were periodically adjusted to be the sample covariance of the preceding draws scaled for an optimal acceptance rate of around for the multivariate Roberts et al. (1997); Gelman et al. (2013). Convergence of the three chains was verified visually and by the Gelman-Rubin statistic ( Gelman and Rubin (1992)).
As expected for preliminary CTO, the posterior distribution of was quite diffuse. We used the GP emulator to predict the model output for each realization of . Figure 4 displays the estimated Pareto front after filtering the posterior predictions to retain only non-dominated performance predictions. Though the design space is three-dimensional, the Pareto front appears to be a roughly coplanar curve describing a trade-off between cost and deflection/twist. A distinct point of maximum curvature appears in the Pareto front. This seems to be a point of diminishing returns in the trade-off between performance and cost, and thus we selected this point as the target for design.
To do so, we set the point as the target outcome, constant as a function of temperature.
In the subsequent CTO, we employed the same MCMC approach as in the preliminary round, except we now estimate , using a gamma(4,1/8) prior. The covariances of the proposal distributions for each were periodically adjusted to be the sample covariance of the preceding draws scaled for an optimal acceptance rate of around for the scalar Roberts et al. (1997); Gelman et al. (2013). The posterior distribution of appears in Figure 5, almost as a point mass on . Indeed, from the analysis discussed in Section 5.4, we find that the “elbow” in the Pareto front is precisely the point at which volume fraction has reached its upper limit at , with further gains possible only by raising thickness from its lower limit of mm. The contrast of the posterior distribution with the prior, which is uniform over , indicates that strong Bayesian learning has occurred.
The prior and posterior predictive distributions of the model outputs appear in Figure 6, where the prior predictive distributions are based on a uniform sampling of the model inputs. The prior and posterior are not shown on the same scale, as the posterior is too sharp for both distributions to be visible on the same scale.
The mean output under the prior is , and under the posterior it is . Though the mean performance outcomes are approximately the same under the posterior and the prior, mean cost per square meter and the uncertainty of the outcomes are dramatically lower. If one prefers to prioritize gains in performance over cost, this can be accomplished by selecting target outcomes that reflect those priorities.
5.4 Pareto front estimation with quantified uncertainties
When multiple design outputs are to be minimized, any point in the Pareto front is optimal relative to some set of priorities. If those priorities have not been explicitly determined prior to the design process, then no particular outcome can be targeted. For example, in a system where performance is monotonically increasing in cost, depending on one’s tolerance for high cost, any point in the design space might be optimal. In low-dimensional cases, CTO may be used to achieve a holistic picture of the Pareto front by optimizing to each target outcome on a grid. To do this, where the model output is dimensional, one may draw a grid over the range of of the model outputs and perform CTO to minimize the remaining output at each point of the grid. The outputs, at each grid point, are treated as known up to small observation error (e.g. for objectives standardized to have mean 0 and variance 1). Allowing some small observation error is necessary because the set of solutions having any particular exact value typically has probability 0. The resulting estimate of the Pareto front differs from the filtering method employed in preliminary CTO in that it allows for quantifying the uncertainty associated with the Pareto front.
Our proposed procedure is illustrated here using the wind turbine blade application. For simplicity, twist has been removed as a model output, leaving a system with 2-dimensional output of deflection and cost. The range of cost is known (via preliminary CTO) to be . A 20-point grid was drawn over this range of costs. For each point in the cost grid, we used the point as the target outcome for calibration (constant with respect to temperature).
The result is an estimate of the response surface with quantified uncertainty describing, for each point in the grid, the minimal achievable outcome for the output not included in the grid. The result of applying this strategy to the wind turbine blade application is shown in Figure 7.
The lefthand plot shows the estimated Pareto front for the system. The associated uncertainty bands are too small to be distinguished in the lefthand plot, and so the righthand plot zooms in to show the bands for a portion of the Pareto front.
The use of CTO in the wind turbine design illustrates how preliminary CTO may be used, not merely to improve the identifiability of a pre-determined optimal region as in Section 4, but rather to identify a desirable region of the design space and select target outcomes that design to that region. In the wind turbine case, selecting the utopia point as one’s target determines the optimal region to be the high-cost region toward the upper-left of Figure 4, since (on the standardized scale of model outputs) that region happens to be closest to the target. If one has substantive goals that drive one to select that target, then one is well-served by optimizing to that high-cost region. But if the utopia point is chosen arbitrarily, then the resulting optimal region is itself determined arbitrarily. The estimate of the Pareto front provided by preliminary CTO allows us to identify regions of special interest, and to select target outcomes that that lead to clearly defined designs, as illustrated in Figure 4.
The use of CTO in this case also demonstrates the value of obtaining a posterior distribution on the design variables, rather than just a point estimate. For example, Figure 5 shows not just that a reasonable point estimate of the optimal is at (0.6, 10mm)—respectively the upper and lower extrema of the supports for volume fraction and thickness—but also that if one input must deviate from its extremum it is better that the other one remain. This tells against the idea that a reduction in volume fraction should be compensated by raising thickness. More generally, CTO delivers an indication of the range of values that achieve results near the target, which is potentially useful when one’s goal is to set tolerances (rather than a specific value) for . Finally, the use of CTO in the wind turbine case illustrates how the method can deliver “Pareto bands”, providing not merely an estimate of the Pareto front (as in preliminary CTO) but also uncertainty associated with that estimate. Such an estimate can be of use to decision-makers when deciding on performance goals subject to budgetary constraints.
We have described how the computer model calibration framework of Kennedy and O’Hagan (2001) can be adapted for engineering design. Calibration to target outcomes undertakes design by “calibrating” a model not to field observations, but rather to artificial data representing performance and cost targets. The procedure optionally includes a computationally cheap preliminary step that provides a rough estimate of the Pareto front, which may be used to select target outcomes that promote strong Bayesian learning. The resulting posterior predictive distribution approximates the target outcomes, so that the posterior distribution of constitutes a distribution on optimal design settings. Repeated applications of this methodology could allow one to construct a thorough estimate of the Pareto front of the system with quantified uncertainties by selecting target outcomes that explore different portions of the Pareto front. Unlike other methods of Bayesian optimization (a review of which is provided by Shahriari et al. (2016)), CTO does not require the ability to evaluate model output adaptively. Instead, it can rely on a batch of observations gathered prior to (and independently of) the design process. We described the implementation of this approach in an MCMC routine along with considerations to accommodate computational instability. The use of this methodology is illustrated in the case of material design for a wind turbine blade. By expropriating established tools of model calibration, CTO offers a method of optimization which is sensitive to, and quantifies, all sources of uncertainty.
The methodology as described here treats the computer model as universally valid over the domain of the design variables. Future work in this area will include the use of a discrepancy term capturing model bias. Other possible extensions of our proposed methodology include its application to so-called “state-aware calibration” Atamturktur and Brown (2015); Stevens et al. (2018); Brown and Atamturktur (2018), which would allow the optimal region of the design variables to vary as a function of the control inputs.
- Adams (1974) Adams, R. M. (1974). Theories of Actuality. Noûs 8(3), 211.
- ANSYS, Inc. (2017) ANSYS, Inc. (2017). Ansys® academic research mechanical, release 18.1.
- Atamturktur and Brown (2015) Atamturktur, S. and D. A. Brown (2015). State-aware calibration for inferring systematic bias in computer models of complex systems. NAFEMS World Congress Proceedings, June 21-24.
- Bastos and O’Hagan (2009) Bastos, L. S. and A. O’Hagan (2009). Diagnostics for Gaussian process emulators. Technometrics 51(4), 425–438.
- Bayarri et al. (2007) Bayarri, M. J., J. O. Berger, J. Cafeo, G. Garcia-Donato, F. Liu, J. Palomo, R. J. Parthasarathy, R. Paulo, J. Sacks, and D. Walsh (2007). Computer model validation with functional output. The Annals of Statistics 35, 1874–1906.
- Bayarri et al. (2007) Bayarri, M. J., J. O. Berger, R. Paulo, J. Sacks, J. A. Cafeo, J. Cavendish, C.-H. Lin, and J. Tu (2007). A framework for validation of computer models. Technometrics 49(2), 138–154.
- Brown and Atamturktur (2018) Brown, D. A. and S. Atamturktur (2018). Nonparametric functional calibration of computer models. Statistica Sinica 28, 721–742.
- Brynjarsdóttir and O’Hagan (2014) Brynjarsdóttir, J. and A. O’Hagan (2014). Learning about physical parameters: The importance of model discrepancy. Inverse Problems 30(11).
- Chevalier et al. (2014) Chevalier, C., J. Bect, D. Ginsbourger, E. Vazquez, V. Picheny, and Y. Richet (2014). Fast Parallel Kriging-Based Stepwise Uncertainty Reduction With Application to the Identification of an Excursion Set. Technometrics 56(4).
- Deb and Gupta (2006) Deb, K. and H. Gupta (2006, dec). Introducing robustness in multi-objective optimization. Evolutionary Computation 14(4), 463–494.
- Gelfand and Smith (1990) Gelfand, A. E. and A. F. M. Smith (1990, jun). Sampling-based approaches to calculating marginal densities. Journal of the American Statistical Association 85(410), 398–409.
- Gelman et al. (2013) Gelman, A., J. B. Carlin, H. S. Stern, D. B. Dunson, A. Vehtari, and D. B. Rubin (2013). Bayesian data analysis (3rd ed.). London: CRC Press.
- Gelman and Rubin (1992) Gelman, A. and D. B. Rubin (1992). Inference from Iterative Simulation Using Multiple Sequences. Statistical Science 7(4), 457–472.
- Geman and Geman (1984) Geman, S. and D. Geman (1984). Stochastic relaxation, Gibbs distributions, and the Bayesian restoration of images. IEEE Transactions on Pattern Analysis and Machine Intelligence 6(6), 721–741.
- Gramacy and Lee (2008) Gramacy, R. B. and H. K. H. Lee (2008). Bayesian treed Gaussian process models with an application to computer modeling. Journal of the American Statistical Association 103(483), 1119–1130.
- Hastings (1970) Hastings, W. (1970). Monte Carlo sampling methods using Markov chains and their applications. Biometrika 57(1), 97–109.
- Hemez and Atamturktur (2011) Hemez, F. and S. Atamturktur (2011). The dangers of sparse sampling for the quantification of margin and uncertainty. Reliability Engineering & System Safety 96(9), 1220–1231.
- Higdon et al. (2004) Higdon, D., M. Kennedy, J. C. Cavendish, J. A. Cafeo, and R. D. Ryne (2004). Combining field data and computer simulations for calibration and prediction. SIAM Journal on Scientific Computing 26(2), 448–466.
- Jin and Branke (2005) Jin, Y. and J. Branke (2005). Evolutionary optimization in uncertain environments - A survey. IEEE Transactions on Evolutionary Computation 9(3), 303–317.
- Jones et al. (1998) Jones, D. R., M. Schonlau, and W. J. Welch (1998). Efficient Global Optimization of Expensive Black-Box Functions. Technical report.
- Kennedy et al. (2006) Kennedy, M. C., C. W. Anderson, S. Conti, and A. O’Hagan (2006). Case studies in Gaussian process modelling of computer codes. Reliability Engineering & System Safety 91(10-11), 1301–1309.
- Kennedy and O’Hagan (2001) Kennedy, M. C. and A. O’Hagan (2001). Bayesian calibration of computer models. Journal of the Royal Statistical Society: Series B 63(3), 425–464.
- Lewis (1986) Lewis, D. K. (1986). On the plurality of worlds. Blackwell.
- Liu et al. (2009) Liu, F., M. J. Bayarri, and J. O. Berger (2009). Modularization in Bayesian analysis, with emphasis on analysis of computer models. Bayesian Analysis 4(1), 119–150.
- Loeppky et al. (2006) Loeppky, J. L., D. Bingham, and W. J. Welch (2006). Computer model calibration or tuning in practice. University of British Columbia: Department of Statistics.
- Matlab (2017) Matlab (2017). Version 9.2.0 (R2017a). Natick, Massachusetts: The MathWorks, Inc.
- McKay et al. (1979) McKay, M. D., R. J. Beckman, and W. J. Conover (1979). Comparison of three methods for selecting values of input variables in the analysis of output from a computer code. Technometrics 21(2), 239–245.
- Metropolis et al. (1953) Metropolis, N., A. W. Rosenbluth, M. N. Rosenbluth, A. H. Teller, and E. Teller (1953). Equation of state calculations by fast computing machines. The Journal of Chemical Physics 21(6), 1087–1092.
- Miettinen (2008) Miettinen, K. (2008). Introduction to Multiobjective Optimization: Noninteractive Approaches, pp. 1–26. Berlin, Heidelberg: Springer Berlin Heidelberg.
- O’Hagan (1978) O’Hagan, A. (1978). Curve fitting and optimal design for prediction. Journal of the Royal Statistical Society: Series B 40(1), 1–42.
- Olalotiti-Lawal and Datta-Gupta (2015) Olalotiti-Lawal, F. and A. Datta-Gupta (2015, sep). A Multi-Objective Markov Chain Monte Carlo Approach for History Matching and Uncertainty Quantification. In SPE Annual Technical Conference and Exhibition. Society of Petroleum Engineers.
- Paulo et al. (2012) Paulo, R., G. García-Donato, and J. Palomo (2012). Calibration of computer models with multivariate output. Computational Statistics and Data Analysis 56, 3959–3974.
- Picheny (2015) Picheny, V. (2015). Multiobjective optimization using Gaussian process emulators via stepwise uncertainty reduction. Statistics and Computing 25(6), 1265–1280.
- Picheny et al. (2019) Picheny, V., M. Binois, and A. Habbal (2019, jan). A Bayesian optimization approach to find Nash equilibria. Journal of Global Optimization 73(1), 171–192.
- Pratola and Chkrebtii (2018) Pratola, M. and O. Chkrebtii (2018). Bayesian calibration of multistate stochastic simulators. Statistica Sinica 28, 693–719.
- Qian et al. (2008) Qian, P. Z. G., H. Wu, and C. F. J. Wu (2008). Gaussian process models for computer experiments with qualitative and quantitative factors. Technometrics 50(3), 383–396.
- Roberts et al. (1997) Roberts, G., A. Gelman, and W. Gilks (1997). Weak convergence and optimal scaling of random walk Metropolis algorithms. The Annals of Applied Probability 7(1), 120.
- Rubin (1974) Rubin, D. B. (1974, oct). Estimating causal effects of treatments in randomized and nonrandomized studies. Journal of Educational Psychology 66(5), 688–701.
- Sacks et al. (1989) Sacks, J., W. J. Welch, T. J. Mitchell, and H. P. Wynn (1989). Design and analysis of computer experiments. Statistical Science 4(4), 409–423.
- Santner et al. (2003) Santner, T. J., B. J. Williams, and W. I. Notz (2003). The design and analysis of computer experiments. New York: Springer.
- Shahriari et al. (2016) Shahriari, B., K. Swersky, Z. Wang, R. P. Adams, and N. de Freitas (2016). Taking the human out of the loop: A review of Bayesian optimization. Proceedings of the IEEE 104(1), 148–175.
- Stevens et al. (2018) Stevens, G. N., S. Atamturktur, D. A. Brown, B. J. Williams, and C. Unal (2018). Statistical inference of empirical constituents in partitioned analysis from integral-effect experiments. Engineering Computations 35(2), 672–691.
- Tuo and Wu (2016) Tuo, R. and C. F. J. Wu (2016). A theoretical framework for calibration in computer models: Parametrization, estimation and convergence properties. SIAM/ASA Journal on Uncertainty Quantification 4(1), 767–795.
- Van Buren et al. (2014) Van Buren, K. L., S. Atamturktur, and F. M. Hemez (2014). Model selection through robustness and fidelity criteria: Modeling the dynamics of the CX-100 wind turbine blade. Mechanical Systems and Signal Processing 43(1-2), 246–259.
- Van Buren et al. (2013) Van Buren, K. L., M. G. Mollineaux, F. M. Hemez, and S. Atamturktur (2013). Simulating the dynamics of wind turbine blades: Part II, model validation and uncertainty quantification. Wind Energy 16(5), 741–758.
- Williams et al. (2006) Williams, B., D. Higdon, J. Gattiker, L. Moore, M. McKay, and S. Keller-McNulty (2006). Combining experimental data and computer simulations, with an application to flyer plate experiments. Bayesian Analysis 1(4), 765–792.
- Young (1994) Young, M. (1994). The Guinness book of records, 1995. Facts on File.
- Zhou et al. (2011) Zhou, Q., P. Z. G. Qian, and S. Zhou (2011). A simple approach to emulation for computer models with qualitative and quantitative factors. Technometrics 53(3), 266–273.