<?xml-model href='http://www.tei-c.org/release/xml/tei/custom/schema/relaxng/tei_all.rng' schematypens='http://relaxng.org/ns/structure/1.0'?><TEI xmlns="http://www.tei-c.org/ns/1.0">
	<teiHeader>
		<fileDesc>
			<titleStmt><title level='a'>Uncertainty Quantification of Microstructures: A Perspective on Forward and Inverse Problems for Mechanical Properties of Aerospace Materials</title></titleStmt>
			<publicationStmt>
				<publisher>Wiley</publisher>
				<date>11/08/2024</date>
			</publicationStmt>
			<sourceDesc>
				<bibl> 
					<idno type="par_id">10558899</idno>
					<idno type="doi">10.1002/adem.202401299</idno>
					<title level='j'>Advanced Engineering Materials</title>
<idno>1438-1656</idno>
<biblScope unit="volume"></biblScope>
<biblScope unit="issue"></biblScope>					

					<author>Md Maruf Billah</author><author>Mohamed Elleithy</author><author>Waris Khan</author><author>Saltuk Yıldız</author><author>Zekeriya Ender Eğer</author><author>Sheng Liu</author><author>Matthew Long</author><author>Pınar Acar</author>
				</bibl>
			</sourceDesc>
		</fileDesc>
		<profileDesc>
			<abstract><ab><![CDATA[In this review, state‐of‐the‐art studies on the uncertainty quantification (UQ) of microstructures in aerospace materials is examined, addressing both forward and inverse problems. Initially, it introduces the types of uncertainties and UQ algorithms. In the review, the forward problem of uncertainty propagation in process–structure and structure–property relationships is then explored. Subsequently, the inverse UQ problem, also known as the design under uncertainty problem, is discussed focusing on structure–process and property–structure linkages. Herein, the review concludes by identifying gaps in the current literature and suggesting key areas for future research, including multiscale topology optimization under uncertainty, implementing physics‐informed neural networks to UQ problems, investigating the effects of uncertainty on extreme mechanical behavior, reliability‐based design, and UQ in additive manufacturing.]]></ab></abstract>
		</profileDesc>
	</teiHeader>
	<text><body xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink">
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="1.">Introduction</head><p>Traditional deterministic methods applied for the analysis and design of aerospace structures and materials serve as essential tools in engineering design. However, it is critical to account for variability in material performance, which arises from both aleatoric and epistemic uncertainty sources such as material defects, manufacturing inconsistencies, environmental conditions, extreme operational loads, as well as variations arising from computational models and model parameters. Such variations may cause deviations in predicted critical properties, potentially causing mechanical performance degradation and even failures in engineering components used in aerospace, for instance, turbine disks and jet engines. <ref type="bibr">[1]</ref> To address these challenges, integrating state-of-the-art uncertainty quantification (UQ) methods is crucial for enhancing the characterization, modeling, and design of aerospace materials, ultimately improving the performance and reliability of aerospace systems.</p><p>Aerospace engineering is in fact one of the first science fields with documented studies focusing on UQ. The very first examples of UQ for aerospace engineering include the editorial policies published by The American Institute of Aeronautics and Astronautics (AIAA) in 1986 as guidelines for technical papers on numerical convergence analyses. <ref type="bibr">[2]</ref> These guidelines are assumed to be equivalent to modern practices of validation and verification, which are studied under the broad theme of UQ. <ref type="bibr">[1,</ref><ref type="bibr">2]</ref> Even though UQ studies covered the general spectrum of aerospace engineering, and it has already been identified as one of the pillars of the integrated computational materials engineering paradigm, <ref type="bibr">[3]</ref> its particular applications to aerospace materials have not been articulated until more recently.</p><p>The range of UQ studies within the context of aerospace materials covers the development of analytical, numerical, and data-driven techniques to quantify the effects of the stochasticity of material features on expected behavior and properties. Microstructural uncertainties arise mainly from the inherent stochasticity introduced by processing and fabrication techniques, which include unavoidable microlevel fluctuations, defects, tolerances, and other imperfections in manufacturing. The uncertainty associated with manufacturing can also lead to unexpected variations in stress and temperature gradients. <ref type="bibr">[1]</ref> These aleatoric uncertainties cause variations in properties, within a specimen, and across multiple specimens fabricated with the same manufacturing technique. <ref type="bibr">[4]</ref> Other sources for microstructural uncertainties are related to the assumptions and errors in numerical models and parameters used to characterize microstructure features and material behavior. <ref type="bibr">[5]</ref> With the incorporation of the microstructural uncertainty, the processing conditions and/or the material properties demonstrate variations that can be represented with a probability distribution as shown in Figure <ref type="figure">1</ref>. <ref type="bibr">[6]</ref> The propagation of microstructural uncertainty is observed to affect the mechanical performance, ranging from the linear elastic properties <ref type="bibr">[1,</ref><ref type="bibr">4,</ref><ref type="bibr">7]</ref> to the fatigue/failure behavior <ref type="bibr">[8]</ref><ref type="bibr">[9]</ref><ref type="bibr">[10]</ref><ref type="bibr">[11]</ref> for metallic systems, composite materials, and other structures commonly used in the aerospace industry. Therefore, it is important to consider the effects and propagation of the microstructural uncertainty in the design of aerospace materials. As depicted in Figure <ref type="figure">1</ref>, <ref type="bibr">[6]</ref> this design under uncertainty problem has been addressed via forward design and inverse design formulations, respectively. Within the context of investigating the process-microstructure-property linkages of aerospace materials, the forward design problem corresponds to the identification of the optimum thermomechanical processing parameters that minimize/maximize target microstructural features (e.g., crystallographic texture, grain morphology) and/or target mechanical properties, and the identification of the optimum microstructure features to minimize/maximize target mechanical properties. <ref type="bibr">[1]</ref> In contrast, the inverse design problem is defined either in the property space or the microstructure space. When defined in the property space, the inverse problem aims to find the underlying microstructural features and/or thermomechanical processing parameters that provide the prescribed/desired properties. When defined in the microstructure space, it aims to identify the underlying thermomechanical processing parameters that lead to prescribed/desired microstructural features. <ref type="bibr">[1]</ref> The investigation of the microstructural uncertainty is more common in the forward problem type compared to the inverse design problem. This is anticipated due to the potential curse of dimensionality issues of the inverse UQ problem. <ref type="bibr">[1]</ref> This review article will analyze the UQ problem for microstructures of aerospace materials by examining the linkages between process-structure-property (PSP) relationships. First, the types of uncertainties investigated within the context of aerospace materials are presented. Accordingly, the aleatoric uncertainty arising from the inherently stochastic nature of microstructures and experimental measurements is introduced. Next, the variations stemming from the numerical models and parameters, known as epistemic uncertainty, are discussed. Of particular interest for this article is reviewing the state-ofthe-art studies that analyze the propagation of the aleatoric and epistemic uncertainty from process parameters/features to the microstructural features and multiscale mechanical properties. Moreover, the inverse problem, also known as the inverse design, is investigated while accounting for the effects of aleatoric and epistemic uncertainty within PSP relationships. Application problems studied in this article are limited to those materials widely used in aerospace systems, such as lightweight metallic alloys, composites, and new-generation architected systems. The article also covers future topics of importance identified as multiscale topology optimization (MSTO) under uncertainty, utilization of machine learning, particularly physicsinformed neural networks (PINN), to address forward and inverse UQ problems, the exploration of the effects of uncertainty on the extreme mechanical behavior, reliability-based design (RBD) of microstructures, and UQ in additive manufacturing (AM).</p><p>The organization of the article is as follows: Section 2 presents the mathematical background behind UQ problems by discussing the types of uncertainties considered for studying aerospace materials as well as the analytical and numerical methods to quantify these variations. Section 3 addresses the forward UQ problem by investigating the process-structure and structure-property problems separately. Section 4 discusses the inverse design problem, also referred to as materials design under uncertainty, through structureprocess (SP) and property-structure (PS) UQ problems. Section 5 explores the future UQ topics and problems for aerospace materials. A summary of the study is presented in Section 6.</p><p>Figure <ref type="figure">1</ref>. Overview of the forward and inverse design for both deterministic and stochastic models. Reproduced with permission. <ref type="bibr">[6]</ref> Copyright 2021, The American Institute of Aeronautics and Astronautics.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.">Mathematical Background</head><p>This section discusses the mathematics behind the UQ problem for the characterization, modeling, and design of microstructures. First, the types of uncertainties arising from different sources, such as fabrication-related and computation-related variations, will be introduced. This will be followed by a detailed explanation of the mathematical formulations of different analytical and numerical UQ algorithms used for microstructure problems.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.1.">Types of Uncertainties for Aerospace Materials</head><p>The different sources of uncertainty in the microstructures of aerospace materials can be categorized as either aleatoric or epistemic uncertainty. The aleatoric uncertainty is defined as the uncertainty that arises from the inherently stochastic nature of microstructures and the variations that stem from experimental measurement techniques. <ref type="bibr">[1,</ref><ref type="bibr">12]</ref> In contrast, epistemic uncertainty is defined as the uncertainty arising from the computational methods or the selection of parameters. <ref type="bibr">[1,</ref><ref type="bibr">13]</ref> There is a lack of efforts in the literature dedicated to investigating the sole effects of aleatoric or epistemic uncertainty. Most studies focus on analyzing the effects of uncertainty without classifying the uncertainty type. In this section, a few exemplary studies presenting the sole effects of aleatoric and epistemic uncertainty are outlined. A more comprehensive literature review is provided in the following sections with respect to the types of UQ algorithms and problems.</p><p>Aleatoric uncertainty-also known as irreducible uncertaintycan originate from a multitude of sources through the fabrication or testing of microstructures. During the fabrication of materials, small-scale defects and imperfections can occur due to a variety of reasons. Some of these reasons include the stress and thermal fluctuations of the material or the manufacturing environment, <ref type="bibr">[14]</ref> variations of material quality in AM, <ref type="bibr">[15]</ref> and the fluctuations of product porosity in additively manufactured samples. <ref type="bibr">[16]</ref> Another source for aleatoric uncertainty is related to the measurement techniques used to capture the microstructures of these materials. <ref type="bibr">[1]</ref> When utilizing data samples, such as the measurements of the crystallographic texture of polycrystalline microstructures through electron backscatter diffraction (EBSD) to capture grain orientations, differences in the red-green-blue (RGB) channel values of pixels, even when they demonstrate the same crystallographic orientations, can be caused by temperature/stress fluctuations occurring during processing. <ref type="bibr">[12]</ref> Epistemic uncertainty-also known as reducible uncertaintyis related to the variations in the mathematical/numerical models that characterize microstructures and the selection of parameters for those models. Preliminary efforts solely focusing on the identification of the epistemic uncertainty related to the synthetic microstructure reconstruction are presented by Senthilnathan et al. <ref type="bibr">[4,</ref><ref type="bibr">7]</ref> in addition to other studies implementing machinelearning-based models to analyze the effects of epistemic uncertainty. <ref type="bibr">[17]</ref> </p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.2.">Types of UQ Algorithms</head><p>This section explores various algorithms for quantifying and propagating uncertainty, with a particular focus on modeling and designing the microstructures of aerospace materials. While many approaches exist for quantifying and propagating uncertainty across different scales, as classified and illustrated in Figure <ref type="figure">2</ref>, this section emphasizes the most notable methods that are particularly relevant to the context of this article. Although other UQ methods have been studied in computational mechanics, they are not covered here because they are less commonly applied to the UQ of microstructures in aerospace materials.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.2.1.">Analytical UQ</head><p>The analytical approach is a viable strategy as it can provide exact solutions for UQ problems under some assumptions. However, the applicability of the analytical method highly depends upon well-defined random variables that need to be characterized by explicit probability distribution functions (PDFs). The analytical approach is more commonly applied to study the UQ problem when the random variables are assumed to be Gaussian distributed while it has also been extended to study the propagation of uncertainty arising from random variables defined through non-Gaussian probability distributions. <ref type="bibr">[18]</ref> First consider the definition of two Gaussian-distributed random variable vectors, P and A. Assume that they have a correlation coefficient, &#961;, and their mean and standard deviation vectors are denoted as (&#956; P , &#931; P ) and (&#956; A , &#931; A ), respectively. If another variable, Z, directly depends on P and A through the relation Z = PA, the mean can be expressed as &#956; Z &#188; &#956; P &#956; A and standard deviation vectors can be represented by the relation as shown in Equation (1), where the square terms represent square of individual matrix elements. <ref type="bibr">[18]</ref> &#931; 2</p><p>The analytical approach can be extended to model any random variable demonstrating Gaussian and non-Gaussian distributions with the use of the transformation of random variables rule. <ref type="bibr">[19]</ref> In accordance with this approach, X and Y are defined as input and output parameters, respectively. The relationship between them can be established such that Y is equal to some function of X, denoted as Y &#188; g&#240;X &#222;, and this map can be reversed as X &#188; h&#240;Y&#222;, where h corresponds to the inverse map (g &#192;1 ). Based on this explicit relationship, the methodology calculates a Jacobian, J = h 0 &#240;Y&#222; (where J is equal to the derivative of h with respect to Y ), and determines the PDF of the output variable as a product of the Jacobian and the PDF of the input. The probability distribution of the output parameter can be calculated using Equation (2). Here, f Y and f X represent the PDFs of the output and input variables, respectively. An essential advantage of the transformation of random variables rule is that it is applicable to random variables represented with continuous PDFs. The underlying assumption is that the mapping between the input and output parameters should be explicitly accessible and it should be invertible. Given the prior knowledge of the input PDF, f X , and the inverted mapping function, h(Y ), the output PDF can be determined using Equation (2). Subsequently, employing statistical integrals using the output PDF, the variances (var(Y )) and the expected values (E[Y]) of the output parameter matrix can also be evaluated, as demonstrated in Equation ( <ref type="formula">3</ref>) and (4), respectively, where the minimum and maximum values of the output variable are denoted as Y min and Y max , respectively. <ref type="bibr">[19]</ref> f Y &#240;Y&#222; &#188; f X &#240;h&#240;Y&#222;&#222;jJj</p><p>(2)</p><p>Acar et al. <ref type="bibr">[6,</ref><ref type="bibr">[20]</ref><ref type="bibr">[21]</ref><ref type="bibr">[22]</ref><ref type="bibr">[23]</ref> developed the analytical UQ method and applied it to microstructure design to study the propagation of the microstructural uncertainty over homogenized (mesoscale) material properties. More specifically, an orientation distribution function (ODF) was defined to represent the crystallographic texture of Ti-7Al alloy, a metallic alloy used for jet engine components. The variations of the ODFs were defined as a joint multivariate Gaussian probability distribution using the experimental pole figure data and through the application of the characteristic functions method. <ref type="bibr">[23]</ref> The propagation of the microstructural uncertainty on the homogenized elastic modulus was studied using the homogenization formulation and transformation of random variables. In another study, <ref type="bibr">[20]</ref> an inverse problem centered on investigating the microstructural stochasticity amid fluctuations in mesoscale material characteristics was studied by proposing an analytical UQ model, AUQLin, which can compute the variations of ODFs given the probability distributions of homogenized properties. Additionally, the analytical UQ method was extended to account for boundedness to represent microstructural variations, even when assuming a Gaussian distribution, with the inclusion of further design constraints for volume normalization and the non-negativity of ODFs defining the upper and lower bounds, respectively. These constraints introduce additional equations related to the mean and covariance that must be considered during the solution process. Further details on this formulation can be found in the referenced articles. <ref type="bibr">[18,</ref><ref type="bibr">23]</ref> </p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.2.2.">Monte Carlo Sampling</head><p>The Monte Carlo sampling (MCS) method, widely employed for UQ problems, involves generating multiple samples of the input random variables based on their probability distributions. The output values for each sample are obtained with an available deterministic solution. These output values are then aggregated to statistically evaluate the variability of the output variables. This is typically achieved by generating random values, y 1 , y 2 &#8230;, y n , sampled from the distribution of Y, and then calculating the average of Y from Equation ( <ref type="formula">5</ref>), mean and variance of &#349;n from Equation ( <ref type="formula">6</ref>) and ( <ref type="formula">7</ref>). <ref type="bibr">[24]</ref> The MCS estimator remains unbiased as the anticipated value of &#349;n &#188; s. As per the strong law of large numbers, <ref type="bibr">[25]</ref> the mean converges to the genuine expected value found from Equation (8). The error of the MCS predictor is proportional with n &#192;1=2 where n represents the total number of samples. &#963;n &#192;1/2 represents the root mean square error of &#349;n . One notable advantage of employing the MCS method is its capability to utilize sample values for error estimation. <ref type="bibr">[26]</ref> The prevailing practices for estimating &#963; 2 , the variance, are employed in Equation ( <ref type="formula">9</ref>) and (10). According to the central limit theorem, the error of &#240;s &#192; &#349;n &#222; follows a roughly Gaussian distribution, centered at 0 with the variance value of &#963; 2 /n. Consequently, confidence intervals can be computed around the estimate, &#349;n .</p><p>With a sufficient number of samples, the MCS method can provide a comprehensive depiction of the statistical characteristics of the system. <ref type="bibr">[1]</ref> The MCS method finds wide-range applications in the realm of microstructure modeling. Noii et al. <ref type="bibr">[27]</ref> established a mathematical framework to model uncertainty by employing a stochastic microstructure analysis for brittleductile failure. They developed the strategy for allocating heterogeneities and generating corresponding meshes in both 2D and 3D scenarios. Subsequently, the Monte Carlo finite-element method (MC-FEM) was utilized to build a stochastic partial differential equation (PDE) model, approximating the expectation and variance of the solution field for brittle-ductile failure through the evaluation of a substantial number of samples. In ref. [28], MCS was employed to explore the propagation of uncertainty within a multiscale model, encompassing nano-scale to mesoscale features of single-walled nanotubes to yield insights into the mesoscale Poisson's ratio and Young's modulus values and their variations across various orientations. Meanwhile, Rouhi et al. <ref type="bibr">[29]</ref> utilized the MCS method to derive the effective matrix properties of a nanocomposite material, shedding light on the elastic properties of individual laminae composed of matrices with uncertain elastic parameters. Similarly, Hafiychuk <ref type="bibr">[30]</ref> conducted a sensitivity analysis by incorporating uncertainty regarding fiber volume fractions and ply orientations for laminated composite materials through the MCS method, demonstrating the significant influence of initial uncertainty assumptions on macroscopic elastic properties. Monti et al. <ref type="bibr">[31]</ref> employed magnetron sputtering parameters, including voltage, pressure, substrate orientation, and working distance, to compute the trajectory of atoms and energy reaching the substrate through MCS simulations conducted with the SiMTRA software. This study accurately depicted how the microstructure varies with deposition conditions and elucidates the correlation between process parameters and typical thin films. The utilization of multilevel sampling techniques, including multi-index Monte Carlo (MIMC) and multilevel Monte Carlo (MLMC), was demonstrated in evaluating the influence of microstructural variations in polycrystalline materials on the forecasts of homogenized material characteristics by Tran et al. <ref type="bibr">[32]</ref> Recently, the UQ community has introduced innovative approaches to tackle the computational hurdles associated with MCS-based methods for uncertainty propagation. By expanding upon the notion of control variates, MLMC <ref type="bibr">[33]</ref><ref type="bibr">[34]</ref><ref type="bibr">[35]</ref><ref type="bibr">[36]</ref><ref type="bibr">[37]</ref> and multifidelity Monte Carlo <ref type="bibr">[32,</ref><ref type="bibr">[38]</ref><ref type="bibr">[39]</ref><ref type="bibr">[40]</ref><ref type="bibr">[41]</ref> techniques have been devised. These methods capitalize on the hierarchical structure of models to strike an optimal balance between variance and bias estimates. Their objective is to furnish more precise MC estimations within predefined computational constraints.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.2.3.">Principle of Maximum Entropy Method</head><p>The maximum entropy (MaxEnt) principle asserts that the most accurate probability distribution reflecting the knowledge about a system maximizes entropy, given specific prior data or testable information. Typically, the conserved quantities consisted by this prior data, which are mean values of regarding certain moment functions of the PDF under consideration. This application is prevalent in statistical thermodynamics. <ref type="bibr">[42]</ref> Alternatively, symmetries of the PDF can be specified. The relationship between symmetry groups and their corresponding conserved quantities suggests a parallel relationship between these two methods of defining testable information within the MaxEnt methodology. <ref type="bibr">[42]</ref> The associated entropy for the probability distribution can be expressed as in Equation (11) where P i p&#240;A i &#222; &#188; 1 because the sum of all probabilities (p) must be 1 where A denotes all possible states. When addressing complex physical systems, characterized by a vast array of states and consequently a high entropy measured in numerous bits, it becomes practical to scale the summation by the Boltzmann's constant, denoted as k B (1.381 &#194; 10 &#192;23 J K &#192;1 ). Additionally, employing natural logarithms instead of base 2 logarithms is advantageous. <ref type="bibr">[42]</ref> Subsequently, the entropy could be expressed in Equation (12). However, when dealing with a specific quantity within a system, it is crucial to recognize that each state within that system contributes its own distinct amount. The determination of the expected value involves aggregating these state-specific values, weighted by their respective probabilities. <ref type="bibr">[43]</ref> For instance, if we denote a quantity G with each state having a value represented by g(A i ), the focus lies on probability distributions where the resultant expected value aligns with G, as represented in Equation ( <ref type="formula">13</ref>). <ref type="bibr">[42]</ref> S &#188; X</p><p>A method rooted in information theory was introduced by Sankaran and Zabarasto <ref type="bibr">[44]</ref> to measure the impact of uncertainty on properties, particularly at smaller scales. This approach involved the representation of uncertainties through a diverse set of microstructural samples generated via the MaxEnt method. The microstructures were considered stochastic, and the distribution's entropy was maximized under constraints imposed by available microstructural data. The derivation of a MaxEnt fracture model was studied by Chan et al. <ref type="bibr">[45]</ref> using the principles of information theory and statistical thermodynamics. Leveraging the MaxEnt principle allows for forecasting the lifespan of a structure amid microstructural variability. This model, characterized by a single parameter, established a correlation between the likelihood of fracture and the accumulated dissipation of entropy at a specific material location. Guilleminot et al. <ref type="bibr">[46]</ref> introduced a MaxEnt approach to modeling the apparent elasticity tensor of heterogeneous elastic materials. This methodology enables nonparametric probabilistic modeling while ensuring that classical constraints, such as normalization and invertibility, are satisfied. Additionally, the approach takes into account constraints related to boundedness and material symmetry properties, providing a more comprehensive understanding of the material's behavior. Sobczyk <ref type="bibr">[47]</ref> explored the probability distributions of key topological and metric characteristics of random aggregates of grains or cells, focusing on their shape. Drawing from classical statistical mechanics, they derived these distributions using methods akin to those found in Gibbsian ensembles. Employing the method of maximum information entropy, these probability distributions and numerical calculations were conducted for various intriguing scenarios. A novel stochastic micromechanical framework, utilizing MaxEnt principles, was introduced by Zhu et al. <ref type="bibr">[48]</ref> This framework aimed to capture the probabilistic nature of effective properties in two-phase composite materials, accounting for interparticle interactions.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.2.4.">Random Matrix Theory</head><p>A random matrix refers to a matrix where one or more of its elements are random variables, essentially making it a matrixvalued random variable. In 1968, Balian introduced the use of random matrix theory alongside an entropy-based approach in their work on "Random Matrices and Information Theory". <ref type="bibr">[49]</ref> The idea of applying random matrix theory to model uncertainty in mechanics was later pioneered by Soize <ref type="bibr">[50]</ref><ref type="bibr">[51]</ref><ref type="bibr">[52]</ref> and was further extended to stochastic topology optimization to enhance the first-order reliability method (FORM) within the domain of reliability-based topology optimization (RBTO) by Vishwanathan and Vio. <ref type="bibr">[53]</ref> The given matrix denoted as K demonstrates the uncertainty. Subsequently, the stochastic system is characterized by a mean of the matrix, K o , alongside a mean-normalized standard deviation, &#963; 2 K , also termed as the dispersion parameter which can be defined by Equation (14). The E(.) and ||.|| F operations represent the mean value and Frobenius norm. The distribution's characteristics remain on two pivotal factors:</p><p>where the number of degree of freedom, covariance tensor of K, and the theoretical mean matrix value are denoted by n, &#931; and &#945;, respectively. These parameters play a direct role in determining the theoretical properties of both the mean matrix and covariance tensor linked to K. In a comprehensive way, an augmentation in the value of either parameter corresponds to amplified magnitudes within the anticipated mean matrix, denoted as E&#189;K &#188; &#945;&#931;, alongside elevated values within the covariance tensor. Consequently, this correlates with heightened fluctuations in the entries of the matrix. <ref type="bibr">[54]</ref> </p><p>Guilleminot et al. <ref type="bibr">[55]</ref> proposed a framework and emphasized the utilization of Huet's partition theorem for modeling mesoscale heterogeneous microstructures. By applying the MaxEnt principle under the constraints of the available data, they introduced two models of random matrices. Furthermore, they showed that reinterpreting the boundedness constraints provides a way to construct a probabilistic model for matrix-valued random fields that are both deterministically bounded and positive definite. The experimental, parametric, and nonparametric errors in aerospace structures analysis were quantified using random matrix theory by Vishwanathan and Vio. <ref type="bibr">[56]</ref> The Wishart distribution and random matrix theory were employed for describing the modal uncertainties where the FEM for numerical investigations were used for both an aircraft wing box and a rectangular wing to verify the applicability of random matrix theory and the density function of Marchenko-Pastur. It was demonstrated that the stochastic frequency response shift can be determined by the nonparametric dispersion parameter. This finding proved the capability of random matrix theory, showing that it can effectively quantify the lower bound of unknown sources of error. However, its flexibility is noteworthy as it maintains consistent computational performance and robustness across various correlation lengths and random field variances, as evidenced by numerical experiments. <ref type="bibr">[53,</ref><ref type="bibr">54]</ref> Li and Steeves <ref type="bibr">[54]</ref> developed a robust structural design model that accounts for uncertain modulus of elasticity. They used random matrix theory and the compliance topology optimization method to calculate the propagated uncertainty in stiffness. Additionally, this method was compared with two well-established approaches: stochastic collocation (SC) and Monte Carlo robust topology optimization. The primary disadvantage of the presented method was that plane-stress bilinear elements yield less accurate results, ultimately producing smaller values compared to established methods. In both material design and structural dynamics, random matrix theory provides a systematic approach to handle randomness and correlations, leading to more informed decision-making, improved designs, and enhanced structural performance. <ref type="bibr">[57]</ref> Its importance reclines in its capability for connecting the practical applications and the theoretical modeling in complex systems governed by randomness.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.2.5.">Bayesian Method</head><p>The Bayesian methodology deals with generating forecasts grounded in preexisting knowledge. <ref type="bibr">[58]</ref> Contemporary Bayesian computation has become viable with the advent of the Metropolis-Hastings algorithm, providing the capability to fit Bayesian models without the constraint of relying solely on conjugate priors. <ref type="bibr">[58]</ref> The foundation of Bayesian methods rests upon two fundamental principles such as establishing the prior PDF for the random variables, and deriving the posterior PDF for the same variables. <ref type="bibr">[1]</ref> The prior probability distribution P&#240;&#952;&#222; encapsulates expert/historical insights prior to the collection of any new data. This method facilitates the updating of the earlier PDF of model parameters to a posterior PDF, integrating additional information from the model's application and measurements (D) to the investigated system. The conditional probability definition is utilized by Bayesian update, as depicted in Equation (15). The posterior parameter distribution is determined based on the conditional probability of the investigated data of the parameter vector &#952;, expressed as P&#240;Dj&#952;&#222;, and the prior distribution, denoted as P&#240;&#952;&#222;. The likelihood function of the model, often referred to in statistical analyses, represents the distribution function. In statistical assessments, it is common to refer to this function, which hypothesizes a normal distribution of residuals between the model and observations. This hypothesis assumes a null average and variance of &#963; 2 e , establishing a basis for analyzing the statistical relationships within the model. Under this assumption, P&#240;Dj&#952;&#222; can be expressed multiplicatively as depicted in Equation ( <ref type="formula">16</ref>), where Y i represents the model responses corresponding to a specific variable's available measurements D i of within a particular cross section of a system. The application of Equation ( <ref type="formula">16</ref>) relies on the assumptions that residuals exhibit homoscedasticity, independence, and identical distribution over time. <ref type="bibr">[59]</ref> P&#240;&#952;jD&#222; &#188; P&#240;Dj&#952;&#222;P&#240;&#952;&#222; R P&#240;Dj&#952;&#222;P&#240;&#952;&#222;d&#952; (15)</p><p>In recent times, there has been a notable surge in attention toward Bayesian methods within the domain of UQ concerning the characterization of multiscale materials. <ref type="bibr">[59]</ref><ref type="bibr">[60]</ref><ref type="bibr">[61]</ref> Moreover, Olivier et al. <ref type="bibr">[62]</ref> explored techniques for the Bayesian learning of neural networks (NNs), which has offered a comprehensive approach to handling both aleatoric uncertainties, stemming from the inherent randomness in the data generation process, and epistemic uncertainties, arising from limited data availability. The proposed algorithms leverage approximate variational inference and (pseudo-) Bayesian model averaging to strike a balance between precision in uncertainty estimation and computational efficiency. Kim et al. <ref type="bibr">[63]</ref> introduced a novel Bayesian learning framework designed to swiftly predict and quantify uncertainties in the physical behavior of multi-material components produced through AM. This Bayesian learning model demonstrated the rapid and accurate beam deflection prediction with any meso-structure when trained with experimental and simulation data from specific multi-material designs. Recently, a physics-informed Bayesian neural network (BNN) has been modeled by Li et al. <ref type="bibr">[64]</ref> that combines the physically consistent predictions and fundamental governing law of materials. To assess its efficacy, they demonstrated case studies focused on prognosing the life of steel alloys under the creep loading condition.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.2.6.">Gaussian Process Regression</head><p>The Gaussian process (GP) regression (GPR) has emerged as a prominent approach in tackling forward and inverse UQ problems within materials modeling. Its methodology attracts significant interest owing to its ability to integrate information from various fidelity levels, including estimations, measurements, and simulations. This multifaceted data utilization enables the development of surrogate models that strike a delicate balance between precision and computational speed. Essentially, the essence of this multi-fidelity modeling approach lies in leveraging high-fidelity information to construct an accurate surrogate model while incorporating computationally efficient (yet typically low-fidelity) data. The prime supposition must be that the multifidelity model behaves as a GP with &#7929;&#240;x&#222;&#8758; N&#240;&#956; &#7929;, &#963; 2 &#7929; &#222; where parameters of the multi-fidelity prediction (&#7929;), which are &#956; &#7929; and &#963; 2 &#7929; , represent the mean and variance, respectively. <ref type="bibr">[65]</ref> If x and x denote the input data points for the high-fidelity and low-fidelity models, respectively, the covariance expression relies on the kernel function, k. This covariance may be calculated using several kernel definitions, such as squared exponential, exponential, rational quadratic, polynomial, linear, and constant formulations. <ref type="bibr">[65]</ref> The objective of employing a multi-fidelity modeling methodology lies in determining the value of Y &#195; &#188; f &#240;X &#195; &#222;, wherein X &#195; represents the intended input for computing the response of the multi-fidelity model, denoted as Y &#195; . <ref type="bibr">[1]</ref> The associated covariance matrices can be characterized using Equation ( <ref type="formula">17</ref>)- (19). It is crucial that the relationship between the variables agrees with the condition: m &lt; r and n &#188; m &#254; r, where r, m, and n denote the number of low-fidelity, high-fidelity, and all design samples. Consequently, the approximated response of the multi-fidelity model can be expressed through Equation (20). To achieve a comprehensive model representation incorporating multiple levels of fidelity, it is essential to optimize the covariance approximations defined in terms of hyperparameters. A model objective function, as exemplified by Equation ( <ref type="formula">21</ref>), <ref type="bibr">[66]</ref> serves as a guiding framework. This function encompasses a general error definition aimed at refining the hyper-parameters. The problem statement for error computation is adaptable to address specific requirements. Within this case, the objective function aims to minimize disparities between the GP predictions, denoted as Y i &#195; , and the corresponding outputs from high-fidelity models, denoted as Y i , across all samples of available high-fidelity data (where i ranges from 1 to m).</p><p>Acar <ref type="bibr">[66]</ref> introduced a computational approach built on GPs to facilitate multi-fidelity modeling in crystal plasticity, specifically targeting Ti-7Al alloy, by employing computational methodologies that yield two distinct levels of solution fidelity. The outcomes obtained through the proposed multi-fidelity scheme demonstrated a marked enhancement in the precision of the crystal plasticity modeling of Ti-7Al alloy compared to the findings derived from prior low-fidelity solutions. <ref type="bibr">[66]</ref> An experimental investigation was focused on characterizing the microstructures of 27 samples aged at various combinations of temperature and time exposures conducted by Yabansu et al. <ref type="bibr">[67]</ref> Among these, 23 samples were specifically utilized to train a GPR model. This model was designed to take the aging temperature and duration as input parameters and forecast the statistical properties of the microstructure as output. Saunders et al. <ref type="bibr">[68]</ref> proposed a technique for connecting the morphology of microstructures to their mechanical properties where the functional GP surrogate models within a directed graphical network were utilized. This framework enabled the accurate prediction of mechanical properties in near real time, with errors typically within single-digit magnitudes when forecasting complete stress-strain histories for a specific microstructure.</p><p>Often, the physical properties of materials in multiscale modeling remain semi-bounded or bounded, making it mathematically difficult to employ the Gaussian model directly. <ref type="bibr">[69]</ref> Even if the models are capable of estimating data to some extent, their accuracy is generally limited to specific scenarios involving single variables or pairs of variables. This limitation necessitates the building of stochastic models for non-Gaussian fields. The intended purpose and specific application determine the choice of model, and then the quality assessment can be done using any appropriate validation metric. A probabilistic approach has been introduced by Guilleminot for multiscale material science and mechanics of materials, which can handle non-Gaussian random fields. <ref type="bibr">[69]</ref> </p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.2.7.">Polynomial Chaos Expansion</head><p>Polynomial chaos expansion (PCE), proposed by Wiener, <ref type="bibr">[70]</ref> offers a technique to express a random variable using the polynomial function of random variables. These polynomials are chosen to be orthogonal concerning the joint probability distribution of random variables. The Hermite chaos expansion has demonstrated its efficacy in tackling stochastic differential equations involving both some non-Gaussian and Gaussian input random variables. <ref type="bibr">[71,</ref><ref type="bibr">72]</ref> However, while it excels with Gaussian inputs, its convergence rate with non-Gaussian inputs remains elusive. <ref type="bibr">[73]</ref> The Wiener-Askey PCE methods were proposed to address this limitation and accommodate a broader range of random input variables with non-Gaussian distributions. <ref type="bibr">[73]</ref> This technique serves as the foundation of the widely adopted PCE methodology in various scientific and engineering applications for stochastic systems. The PCE technique endeavors to construct a surrogate model with a predetermined structure comprising a finite series of orthonormal polynomials. These polynomials are characterized by coefficients derived from test or simulation data. <ref type="bibr">[74]</ref> This methodology employs a designated set of functions, with the choice of orthonormal functions contingent upon the assumed probability distribution of the stochastic input variables. Ref. [73] provided an overview of the types of orthonormal basis polynomials tailored to various common probability distributions. When opting for foundational functions derived from the PDF of random input variables, the ensuing formulations of Equation ( <ref type="formula">22</ref>) emerge to depict the inherent uncertainty within the system where the order of the chaos expansion (p) and the number of random variables (n) play pivotal roles in determining the complexity of the orthonormal basis functions utilized within the PCE method. Once the model expression, as outlined in Equation ( <ref type="formula">22</ref>), is established, the task involves solving for the unknown chaos coefficients (denoted as a i , where i ranges from 1 to p). Commonly employed techniques for solving these coefficients include the least-square algorithms and the least-angle regression. <ref type="bibr">[75,</ref><ref type="bibr">76]</ref> Moreover, the PCE method specifies a minimum number of samples necessary to train the algorithm effectively in determining these coefficients, as described by</p><p>Here, Hermite polynomials of order n and general secondorder random process are symbolized by H ij and u i , respectively.</p><p>The research on investigating the microstructures of aerospace materials has not embraced the PCE techniques extensively. One prominent application includes the study by He et al. <ref type="bibr">[77]</ref> investigating the effects of uncertainty on multiscale mechanical behavior using a data-driven model of a concrete material. A generalized PCE framework to analyze uncertainty propagation in laser-based powder bed fusion AM was introduced by Tapia et al. <ref type="bibr">[78]</ref> The PCE approach was utilized to evaluate the impact of uncertainties in the input parameters on the distribution of melt pool dimensions. The methodology was validated by comparing its results with those obtained from Monte Carlo simulations and experimental data from a test bed. Garc&#237;a-Merino et al. <ref type="bibr">[79]</ref> developed a surrogate model using adaptive PCE to efficiently evaluate and analyze the uncertainty of a composite material's elastic properties, derived from 2D and 3D numerical homogenization. To reduce the computational costs and improve the model's robustness, they employed adaptive sparse expansions in conjunction with the least-angle regression algorithm. <ref type="bibr">[80]</ref> This method identifies the optimal polynomial order automatically in the PCE by applying an approach of model selection for sparse linear models. Moreover, few studies have been conducted to analyze the effects of macroscale uncertainties on structural behavior using the PCE method. <ref type="bibr">[81]</ref><ref type="bibr">[82]</ref><ref type="bibr">[83]</ref> </p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.2.8.">Karhunen-Loeve Expansion</head><p>Functioning as a mechanism for dimensional reduction, the Karhunen-Loeve (KL) expansion embodies the notion of random fields to depict quantities evolving across space and time. By mitigating the complexities associated with high-dimensional systems, particularly the curse of dimensionality, dimension reduction proves to be a practical and effective tactic for addressing numerical intricacies in analysis. The KL expansion is a type of general orthogonal series expansion. In this expansion, the function f(x) can be expressed using a comprehensive set of normalized and orthogonal basis functions, &#966;(x), along with corresponding coefficients, b, as depicted in Equation (23). The condition of the uncorrelated factors could be defined by Equation (24). <ref type="bibr">[84]</ref> The expression for the eigenvalues (&#955; i &#222; of corresponding eigenfunctions (&#966; i &#222; are given by Equation (25) where &#956; denotes the mean of the factors b and temporal and the spatial coordinates are represented by x and y, respectively. <ref type="bibr">[72,</ref><ref type="bibr">85]</ref> The KL expansion emerges from a sequence of eigenvalues and corresponding eigenfunctions, culminating in the expression provided next in Equation (26) where the uncorrelated random variables and projected field are denoted by &#958; i and w&#240;x&#222;, respectively. <ref type="bibr">[74]</ref> f &#240;x&#222; &#188; b</p><p>While the utilization of the KL expansion remains uncommon in addressing UQ challenges within multiscale materials science, a notable application was outlined by Wen et al. <ref type="bibr">[86]</ref> They introduced a novel data-driven bi-orthogonal approach to KL expansion aimed at analyzing and capturing the multiscale propagation of uncertainty arising from variability in the initial microstructure of face-centered cubic (FCC) nickel. The study implemented a second-level KL expansion to distinguish between spatial and random coordinates and demonstrated a significant reduction in the complexity of the stochastic problem. Allaix and Carbone <ref type="bibr">[87]</ref> developed a method of integration of the KL series expansion with the FEM enabling the discretization of random fields to address reliability concerns, offering a means to forecast the reliability index with heightened precision in discretization. KL method has been implemented by Feng et al. <ref type="bibr">[88]</ref> in a new algorithm designed to reconstruct random media, including rocks, composites, and alloys. This algorithm effectively transforms GRFs to align with specific probability distributions and correlation functions without the need for iterative computations, making it suitable for managing large datasets. In another study, <ref type="bibr">[89]</ref> the KL method was combined with Hurst and detrended-fluctuation analyses for statistical fluctuation analysis, and with minimal cover and box-counting techniques for fractal analysis. The KL transformation, along with other techniques, such as principal component analysis, NNs, and Gaussian classifiers, was used to process the curves derived from these analyses. Remarkably, the KL transformation, when paired with NNs, achieved nearly 100% accuracy in classifying various microstructures, performing exceptionally well in both training and testing scenarios.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="3.">Forward Problem: Uncertainty Propagation</head><p>Uncertainty propagation in the context of the forward PSP problems involves quantifying and analyzing how uncertainties in various stages of material processing and characterization propagate through the material system, influencing the final properties. This includes uncertainties in processing parameters, measurement techniques, microstructural features, and model assumptions. The forward problem can be divided into two subproblems: 1) process-structure problem and 2) structureproperty problem.</p><p>Understanding uncertainty propagation is crucial for ensuring the reliability and accuracy of predictions on material properties using process and structure data. In this section, state-of-the-art studies addressing the forward UQ problem of predicting stochastic material behavior are explored. The section also unveils the methodologies employed to understand UQ problems, facilitating the design of materials with improved reliability and performance.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="3.1.">Process-Structure Problem</head><p>Understanding the mechanical properties of aerospace materials involves navigating the intricate path from the manufacturing processes to the resultant microstructures. This problem, commonly referred to as the "process-to-structure problem," is a critical component in the forward uncertainty propagation paradigm. In this subsection, the challenges and methodologies associated with linking manufacturing processes to the microstructural features that dictate the mechanical behavior of aerospace materials are explored.</p><p>The first step in addressing the process-to-structure problem is acknowledging the intricate relationship between manufacturing processes and resulting material microstructures. Aerospace materials, subject to diverse manufacturing techniques such as casting, forging, and AM, undergo complex transformations that significantly influence their final characteristics.</p><p>Manufacturing processes often involve the coupling of multiple physical phenomena. Modeling these interactions, such as the interplay between thermal and mechanical aspects during forging, introduces additional complexity. Uncertainties in one aspect can cascade and amplify throughout the process, leading to challenges in predicting microstructural outcomes. Greene et al. <ref type="bibr">[90]</ref> introduced a generalized uncertainty propagation criterion derived from benchmark studies, offering a conceptual framework for understanding how uncertainties propagate through microstructured material systems. Their work has established the foundation for subsequent analyses by providing insights into the interdependencies of various manufacturing parameters. Olivier et al. <ref type="bibr">[62]</ref> contributed to the literature by emphasizing the role of computational models, particularly BNNs, for UQ in data-driven materials modeling. By integrating machine-learning techniques, they developed a powerful approach to simulate and predict uncertainties in microstructures based on empirical data, enhancing the accuracy of predictions. Spectral methods also play a crucial role in UQ. For instance, Le Matre <ref type="bibr">[91]</ref> presented applications of spectral methods to the problems of uncertainty propagation and quantification in model-based computations. They specifically focused on computational and algorithmic features of these methods which are most useful in dealing with models based on PDEs. Tapia et al. <ref type="bibr">[78]</ref> focused on uncertainty propagation in computational models for laser powder bed fusion AM. Leveraging PCE, the study provided valuable insights into the uncertainties associated with AM processes. This exploration was crucial for understanding how variations in the manufacturing process manifest as uncertainties in microstructures. The evolution of material properties throughout manufacturing stages is a dynamic process influenced by various factors. Ghasemi et al. <ref type="bibr">[92]</ref> contributed to exploring the uncertainties in metamodel-based probabilistic optimization of CNT/polymer composite structures. Their study underscored the significance of stochastic multiscale modeling in understanding uncertainties and optimizing composite materials. They provided valuable information on how uncertainties propagate through different stages of microstructure evolution.</p><p>The journey from process to structure in microstructured materials is riddled with challenges, demanding a nuanced approach to address multi-physics interactions and the acquisition of high-quality data for effective data-driven approaches. Attari et al. <ref type="bibr">[93]</ref> contributed by exploring uncertainty propagation in a multiscale CALculation of PHAse Diagrams (CALPHAD) reinforced elastochemical phase-field model. This study shed light on the intricacies of integrating CALPHAD and phase-field modeling, addressing the challenges associated with multiphysics interactions. Multi-physics interactions, involving the simultaneous consideration of heat transfer, fluid dynamics, and solid mechanics, demand advanced modeling techniques. <ref type="bibr">[90,</ref><ref type="bibr">93]</ref> The complexities arising from these interactions introduce uncertainties that significantly impact the reliability of predictions. Researchers have explored various methodologies to navigate these complexities, providing insights into potential solutions and strategies for improving the accuracy of models in capturing multi-physics phenomena. <ref type="bibr">[94]</ref> In addition to multiphysics interactions, the challenge of obtaining high-quality data for data-driven approaches remains a focal point. Data-driven models, particularly those leveraging machine learning, heavily rely on robust and diverse datasets. Significant research has been done in addressing the importance of data quality and suggesting strategies for enhancing data acquisition, thereby strengthening the foundations of data-driven approaches for UQ in microstructured materials. <ref type="bibr">[62,</ref><ref type="bibr">93,</ref><ref type="bibr">95,</ref><ref type="bibr">96]</ref> The future of UQ of microstructural features within the context of process-structure forward problem lies in the pursuit of innovative computational techniques, the exploration of novel experimental methodologies, and the seamless integration of these approaches. By addressing current challenges and pushing the boundaries of methodology, researchers can pave the way for more accurate predictions of material properties in aerospace applications. Some researchers have recommended that incorporating advanced numerical methods and simulation algorithms could enhance the fidelity of models, providing more accurate representations of microstructure evolution and its associated uncertainties. <ref type="bibr">[97]</ref> The integration of physics-based models with experimental data also emerges as a crucial direction for future research. The synergy between computational predictions and experimental observations can enhance the reliability of UQ. Novel experimental techniques, as highlighted by Honarmandi et al. <ref type="bibr">[97]</ref> can provide high-fidelity data for the validation and refinement of computational models, contributing to a more holistic understanding of uncertainties in microstructured materials.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="3.2.">Structure-Property Problem</head><p>This section addresses the forward problem of uncertainty propagation, with particular emphasis on the impact of microstructural parameter uncertainties on homogenized material properties. The objective is to investigate advanced methodologies for quantifying and propagating these uncertainties through computational models, thereby enhancing the understanding of the complexities between microstructure and mechanical properties in aerospace materials.</p><p>The comprehension of material behavior at the microscopic level is important for the optimization of aerospace-grade materials. Polycrystalline microstructures in the aerospace industry are described by features such as textural orientation, grain size and boundaries, phase distribution, defects, and other constituents, which dictate mechanical properties. <ref type="bibr">[98]</ref><ref type="bibr">[99]</ref><ref type="bibr">[100]</ref><ref type="bibr">[101]</ref> For composites, microstructural features such as fiber-matrix interactions, fiber orientation, inter-facial bonding, and void content significantly influence mechanical properties such as strength, stiffness, and fatigue resistance. Moreover, the adoption of AM in aerospace faces challenges due to limitation of material options, variability in material properties, and rigorous post-processing and quality control standards, such as Aerospace SAE AS9100 and NASA Standard 6030. <ref type="bibr">[102]</ref> These standards are imminent for mitigating risks linked to the uncertainties in AM processes, especially concerning mechanical and fatigue properties. Effective management of these uncertainties requires enhanced quality controls, refined post-processing techniques, and the development of new standards to improve the reliability of AM aerospace components. <ref type="bibr">[102,</ref><ref type="bibr">103]</ref> Most UQ studies focusing on the mechanical behavior of microstructures fall within this category. Therefore, this subsection provides an exhaustive review of the relevant literature. One of the prominent studies in the context of the structure-property problem includes Ostoja-Starzewski's research <ref type="bibr">[104]</ref> that utilized random field theory to model spatial variability in heterogeneous materials such as composites and polycrystalline metals, where microstructural characteristics, e.g., grain size and phase distribution, significantly influence macroscopic mechanical properties. Through statistical homogenization and effective medium theory, the research demonstrated that macroscopic properties, such as stiffness, are highly sensitive to variations in microstructural features, particularly as the correlation length decreases. These findings demonstrate the critical role of spatial correlations in predicting the overall mechanical behavior of materials, where microstructural heterogeneity directly affects performance. Building on this, Ranganathan and Ostoja-Starzewski <ref type="bibr">[105]</ref> explored how disparities in crystal structure affect macroscopic elastic properties, introducing the universal elastic anisotropy index (A U ) index, a measure of elastic anisotropy across crystal symmetries. Their research highlights how variations in crystal symmetry and orientation influence stiffness and shear response, emphasizing the intricate structure-property relationship in complex crystalline materials.</p><p>Furthermore, Ostoja-Starzewski <ref type="bibr">[106]</ref> employed lattice models to simulate mechanical responses such as elasticity, micropolar elasticity, and crack propagation in composites, metals, ceramics, and polymers. By discretizing the microstructure into spring networks, the study demonstrated how the internal geometry of the microstructure governs mechanical properties, such as Young's modulus and Poisson's ratio. The examination of spatial randomness <ref type="bibr">[107]</ref> further identified how local variability in microstructures, captured through statistical volume elements (SVEs), affects stiffness and strength at larger scales, providing critical insights into the link between microstructural randomness and macroscopic material properties. Additionally, the analysis of scale effects in random media, <ref type="bibr">[108]</ref> particularly in plasticity, showed how traditional representative volume elements (RVEs) are insufficient to capture small-scale randomness, leading to variability in strain localization and yield strength.</p><p>Tootkaboni and Graham-Brady <ref type="bibr">[109]</ref> developed a computational framework that links microstructural randomness in composites to their macroscopic mechanical behavior using spectral stochastic methods combined with homogenization theory. This framework models how uncertainties in material properties propagate through the microstructure, affecting elastic properties and overall mechanical performance under varying loading conditions. In related work, Xu and Graham-Brady <ref type="bibr">[110]</ref> used stochastic RVEs and emphasized the importance of capturing local stress and strain variations in materials with stochastic elastic properties, demonstrating how these local variations significantly influence macroscopic mechanical responses, e.g., strain localization and failure.</p><p>Baxter and Graham's moving-window technique <ref type="bibr">[111]</ref> was introduced for characterizing random composites and was found to enhance the predictive accuracy of mechanical models by analyzing local material property variations. This method enables the probabilistic characterization of elastic modulus and yield stress, providing valuable insights into how local stress variations influence mechanical performance.</p><p>Grigoriu's research on stochastic frameworks for multiscale material responses highlights the discrepancies between microand macroscale material properties due to microstructural variations. Using stochastic differential equations, Grigoriu demonstrated how local heterogeneity, modeled through random fields, influences global properties such as conductivity and stiffness. <ref type="bibr">[112]</ref> The development of finite-dimensional models further refines this approach, showing the need to approximate microstructural randomness to capture essential material features, especially in heterogeneous materials like random fiber systems. <ref type="bibr">[113]</ref> Staber and Guilleminot <ref type="bibr">[114]</ref> also contributed to stochastic modeling in the context of the structure-property problem by focusing on the behavior of elasticity tensors in heterogeneous fiber-reinforced composites. By incorporating spatial correlation lengths and coefficients of variation, the model captures how local elastic properties propagate to influence macroscopic mechanical behavior under uncertainty. This framework is essential for materials with complex microstructures, where local randomness significantly affects global performance. The researchers conducted another study on the stochastic modeling and identification of hyperelastic constitutive models <ref type="bibr">[115]</ref> which highlights how random fluctuations at the microstructural level influence macroscopic mechanical behavior in laminated composites, particularly under complex nonlinear deformation states. Guilleminot's work on bounded elasticity tensors <ref type="bibr">[55]</ref> further addressed how local fluctuations in elasticity propagate across scales in polycrystalline materials, offering a more accurate prediction of mechanical responses by integrating the physical bounds of elasticity tensors. Additionally, Chen and Guilleminot's research <ref type="bibr">[116]</ref> into nonlinear elastic materials, especially carbon-epoxy laminates, investigated how spatial uncertainties in material parameters impact global mechanical performance under nonlinear deformation. By integrating experimental data into non-GRFs, the research exhibited how randomness in hyperelastic strain energy functions affects the material's mechanical behavior.</p><p>Koutsourelakis and Deodatis <ref type="bibr">[117]</ref> developed a method for simulating binary random fields applied to two-phase random media, thus capturing the randomness in microstructures such as fiber-reinforced composites and porous materials. This method provided a robust framework for predicting macroscopic properties based on stochastic variations within the microstructure. Agrawal and Koutsourelakis's probabilistic closure models <ref type="bibr">[118]</ref> integrated aleatoric and model uncertainty, underscoring the importance of incorporating microstructural variations to accurately predict macroscopic material response.</p><p>The study by Senthilnathan and Acar <ref type="bibr">[4]</ref> employed the Markov random field (MRF) algorithm to generate large-scale digital representations of metallic microstructures from small-scale experimental data. However, the stochastic nature of the MRF algorithm introduced uncertainty in the microstructural features.</p><p>The research investigated the impact of this uncertainty on homogenized mechanical properties using a shape descriptor based on moment invariants to analyze variations in microstructural features. Synthetic microstructure data for Ti-7Al alloy was generated using MRF, and uncertainty in the reconstructed samples was assessed using graphical methods and statistical metrics. Subsequently, GPR was applied to explore how microstructural uncertainty propagated to homogenized properties. Principal eigenvalue moments (PEM) based on Hu moments were assigned as shape descriptors, enabling both graphical and statistical evaluations of variation. GPR, particularly through the kriging method, predicted mean values and covariance of mechanical properties based on microstructural descriptors provided by PEM. The study has demonstrated the accuracy of the GP model through significant overlap between predictions and test data, as depicted in Figure <ref type="figure">3a</ref>,<ref type="figure">b</ref>. <ref type="bibr">[4]</ref> Additionally, Figure <ref type="figure">3c</ref>,<ref type="figure">d</ref> illustrates probability distributions of 2D additively manufactured microstructures for Young's modulus and yield strength, highlighting the variations in predicted and actual values due to microstructural variations. <ref type="bibr">[4]</ref> Another study <ref type="bibr">[23]</ref> addressed the aleatoric uncertainty arising during the forging process of the Ti-7Al alloy and quantified the resulting variations in the microstructure level in terms of the variations of the ODF values (Figure <ref type="figure">4</ref>), representing volume densities of crystallographic orientations. In addition, the resulting variations of the homogenized compliance parameters, S 11 and S 66 , demonstrating the material's normal and shear compliance, as well as Young's modulus (E 1 ) and shear modulus (G 12 ), were computed as shown in Figure <ref type="figure">5</ref>. The study utilized EBSD data of Ti-7Al microstructures fabricated with the same processing technique and parameters to observe the effects of the variations. The bars in Figure <ref type="figure">4</ref> and 5 demonstrate computations performed by the MCS method to find the variations of the ODFs and homogenized properties while the red curves indicate the analytical model predictions. In particular, the analytical UQ algorithm used in this study assumed a multivariate Gaussian representation for the ODF parameters, and the distribution was maintained for the homogenized properties due to the linear relationship between the homogenized properties and the ODF values. <ref type="bibr">[23]</ref> Grigoriu <ref type="bibr">[119]</ref> pioneered the development of probabilistic models for linear elastic random microstructures, also specifically targeting the compliance tensor. Building on this work, a novel method was created to estimate the distributions of extreme material responses using a remarkably small number of response samples. This innovative approach leverages extreme value theory to deliver accurate and efficient predictions, outperforming traditional Monte Carlo simulations.</p><p>One study utilizing MCS for UQ was performed by Zhang <ref type="bibr">[11]</ref> and employed SVEs with features described by probability distributions sampled via MCS to evaluate fatigue nucleation life prediction using the fatigue indicator parameter (FIP). A reduced-order homogenization model predicted the mechanical response under fatigue loading for each SVE, treating FIP and critical FIP as random variables with probability density functions. The study validated the framework against experimental data on titanium alloy Ti-6242, demonstrating its capability to capture fatigue life variability induced by microstructural variations through comparisons between predicted and experimental data at different stress levels and cycle ranges. Additionally, as  <ref type="figure">c</ref>,<ref type="figure">d</ref>) probability distributions of 2D additively manufactured microstructures for Young's modulus and yield strength, respectively. Reproduced with permission. <ref type="bibr">[4]</ref> Copyright 2022, Elsevier.</p><p>Figure <ref type="figure">4</ref>. Probability histograms of the ODFs. Reproduced with permission. <ref type="bibr">[23]</ref> Copyright 2017, Elsevier.</p><p>shown in Figure <ref type="figure">6a</ref>, <ref type="bibr">[11]</ref> the predicted probability of fatigue nucleation was compared against experimental data over a range of cycles, with the red curve representing the calibrated model and black dots depicting experimental data points. The calibration aimed to minimize the disparity between model predictions and experimental results. Figure 6b <ref type="bibr">[11]</ref> shows a histogram comparing predicted and experimental data for the number of cycles until fatigue nucleation, specifically at a stress level equivalent to 91.5% of the yield stress. This histogram illustrates the distribution of cycles predicted for fatigue nucleation, alongside experimental data. Figure 6c <ref type="bibr">[11]</ref> compares predictions with experimental data at a stress level of 95.5% of yield stress, serving as a validation at a higher stress level.</p><p>Korshunovaa et al. <ref type="bibr">[15]</ref> integrated the finite cell method (FCM) with the MLMC method to process computed tomography (CT) images for material characterization, focusing on square and octet-truss lattices. Variability in microstructure, primarily induced by AM-caused defects, was captured using binary random fields from CT images to represent porosity. The effective Young's modulus was computed via FEM for each binary random field result by applying uniaxial displacement and calculating the stress-strain ratio. The MCS method estimated the mean and variance of the effective Young's modulus across multiple results of perturbed geometrical input, leading to mechanical property variability. The conclusions of this study indicated that low porosity variance indicates uniformity in sample stiffness, while potential wall thickness underestimation may underscore structural stability or reduced local stiffness. The study by Tran <ref type="bibr">[32]</ref> presented a novel UQ approach, using the crystal plasticity (CP) FEM (CPFEM) framework to analyze the influence of Reproduced with permission. <ref type="bibr">[23]</ref> Copyright 2017, Elsevier. microstructural variation on homogenized material properties. The methodology relied on multilevel sampling techniques such as MLMC and MIMC to consider different fidelity parameters simultaneously, including mesh resolutions, integration time steps, and constitutive models. By leveraging a hierarchy of approximations with varying fidelity levels, the framework effectively reduced the number of microstructures required to achieve the desired level of accuracy. Moreover, the approach was extended to a multi-fidelity framework, offering the flexibility to choose between plasticity and dislocation-density-based models. Another study conducted by Elleithy et al. <ref type="bibr">[120]</ref> investigated the impact of uncertainty on the homogenized stress-strain behavior of Ti-6Al-4 V alloy. They modeled the deviations from nominal temperature and crystallographic orientations using MCS to evaluate variations in the stress-strain response. Results highlighted a nonlinear relationship between plastic behavior and temperature, with minimal effect on homogenized elastic modulus and yield strength. Furthermore, perturbations in polycrystalline orientations exhibited minimal deviation in the stress-strain relationship, indicating that mechanical properties such as elastic modulus and yield strength are not linearly correlated with orientation changes. In a subsequent study, Elleithy and Acar <ref type="bibr">[121]</ref> used MCS for UQ in the exploration of the multiscale plasticity behavior of Ti-6Al-4V alloy. Through CPFEM modeling and calibration, the study accurately determined local solutions for the CP parameters, including slip-system specific parameters, through error minimization fitting with experimental data. The uncertainty associated with these CP parameters was then quantified using MCS, revealing a considerable impact on mechanical properties such as Young's modulus, yield strength, and plastic-region slopes. Sensitivity analysis highlighted the critical role of initial slip resistance in both elastic and plastic behavior. Figure 7 <ref type="bibr">[121]</ref> illustrates the effects of a 10% variation in CP parameters on the alloy's mechanical behavior, showcasing Gaussian distribution patterns observed in histogram plots for the mechanical properties.</p><p>A different class of the structure-property problem where UQ is of interest involves the modeling of mechanical failure and fatigue life. A significant portion of mechanical failures occur due to fatigue crack formation in structures. This fact prompts the need to design a fatigue model that accounts for uncertainty to effectively model the microstructures of materials. Several notable studies have explored fatigue modeling under uncertainty. <ref type="bibr">[10,</ref><ref type="bibr">[122]</ref><ref type="bibr">[123]</ref><ref type="bibr">[124]</ref><ref type="bibr">[125]</ref> Wang et al. <ref type="bibr">[124]</ref> proved that utilizing digital twin (DT) technology emerges as a potential strategy in tackling the aforementioned issue of fatigue crack formation in structures. The authors took the lead in establishing a framework driven by DT to formulate a universal approach ensuring precise forecasting of structural fatigue life. The innovative DT-driven framework facilitated the seamless integration of both the virtual and physical models of the structure through the utilization of dynamic Bayesian network inference. Yeratapally et al. <ref type="bibr">[10]</ref> proposed a model for predicting fatigue life, which was concerned with microstructure and deformation mechanisms. They validated its efficacy by employing the persistent slip band firmness on a fatigue crack initiation basis. Rigorous sensitivity and uncertainty analyses verified its reliability. Three categories of uncertainties in model parameters were delineated: physically measurable, physically unmeasurable, and empirically or semiempirically derived parameters. Uncertainty propagation employed the MCS method, where parameter uncertainties toward whole posterior distributions permeate between the model, enabling the calculation of fatigue life predictions amid uncertainties.</p><p>Another important microstructure modeling application in the context of UQ has focused on creating phase diagrams, which stands as a cornerstone in alloy design, particularly within the Figure <ref type="figure">7</ref>. Maximum and minimum stress-strain variations in response to 10% perturbation within CP parameters. Reproduced with permission. <ref type="bibr">[121]</ref> Copyright 2024, The American Institute of Aeronautics and Astronautics.  <ref type="figure">c</ref>) prediction at 95.5% of yield stress. Reproduced with permission. <ref type="bibr">[11]</ref> Copyright 2022, Frontiers in Materials.</p><p>realm of multiscale material modeling connecting from micro-to macroscale. <ref type="bibr">[126]</ref><ref type="bibr">[127]</ref><ref type="bibr">[128]</ref><ref type="bibr">[129]</ref><ref type="bibr">[130]</ref> To ensure originality and accuracy, a comprehensive probabilistic evaluation of CALPHAD model parameters of Hf-Si binary case study was conducted by Honarmandi et al. <ref type="bibr">[131]</ref> by employing a Markov chain Monte Carlo (MCMC) sampling techniques. This meticulous process yielded not only the most probable parameter values but also their associated uncertainties. <ref type="bibr">[131]</ref> In this study, a fusion of an error correlationbased model fusion and Bayesian model averaging (BMA) technique were employed to integrate the various model outcomes, each serving its distinct purpose. Within BMA, the probability of each model's accuracy was considered, and the resulting fused estimate was a weighted mean across all models. Alternatively, employing an information fusion technique that leveraged correlations among model deviations was found to improve accuracy and reduce uncertainties, surpassing outcomes derived from individual models.</p><p>Another numerical UQ methodology finding applications in the structure-property problem is the SC method, which is employed through CPFEM. For instance, Tran et al. <ref type="bibr">[132]</ref> used SC to assess the uncertainty of common constitutive models in CPFEM across different crystal structures, including FCC copper, body-centered-cubic tungsten, and hexagonal close-packed magnesium. This method interpolates the system's response at collocation points within the stochastic parameter space, which consequently facilitates for an accurate quantification of how uncertainties in crystal plasticity parameters, such as critical resolved shear stresses and hardening parameters, impact material behavior. These parameters were treated as stochastic variables to capture inherent variability. Variance-based global sensitivity analysis using Sobol indices reveals the contribution of these parameters to yield strength and initial yield strain variance. Figure 8 <ref type="bibr">[132]</ref> illustrates simulation stress-strain curves, demonstrating the impact of constitutive models on initial yield behavior and modulus of elasticity across different crystal structures, thereby providing valuable insights for robust constitutive model calibration.</p><p>Behnam et al. <ref type="bibr">[133]</ref> conducted UQ on a microstructural FE model for creep in Grade 91 steel. The sensitivity analyses identified six important parameters, including slip resistances, power law exponent, diffusional creep parameter, viscosity, diffusivity, and nucleation rate constant. These parameters were found to be crucial for understanding the material response to creep and its microstructural evolution. Reduced-order models focusing on these key parameters were generated to allow for efficient analysis. The generalized PCE (gPCE) method was then utilized to propagate uncertainty on the minimum creep rate. Results demonstrated that limiting variation in these parameters can effectively control uncertainty in the creep behavior, showcasing the significance of the gPCE method in efficiently capturing and managing uncertainty in predictions. Additionally, the comparison with MCS confirmed that the gPCE method provided similar mean and standard deviation values with significantly fewer simulations, highlighting its efficiency and accuracy in UQ.</p><p>A study by Kumar et al. <ref type="bibr">[134]</ref> employs an adaptive sparse PCE (SPCE) method for uncertainty and sensitivity analyses in stochastic composite structures. Findings suggest that uncertainties in laminate stacking sequence orientation angles have minimal impact on output variables, guiding future exploration involving diverse sampling schemes and optimization under uncertainties for manufacturing cost and structural strength. In another work by Kumar, <ref type="bibr">[135]</ref> SPCE was applied to model and quantify uncertainties in the design of a composite leaf spring, considering variables from material properties, layer stacking sequence, and macroscale. The findings demonstrated that incorporating uncertainties using SPCE in the optimization process led to the identification of design solutions that balance cost and stiffness while adhering to mass constraints. Furthermore, Galbincea et al. <ref type="bibr">[136]</ref> employed PCE to systematically quantify the effects of material variability on the energy absorption capacity of an aerospace component during impact scenarios. By integrating PCE with stochastic finite-element analysis (FEA), the study enhanced the predictive modeling of aerospace structures, enabling the determination of design parameters optimizing energy dissipation efficiency under uncertain material properties.</p><p>The solutions to the UQ problem have also benefited from the use of machine-learning and deep-learning strategies. Recently, BNNs have been utilized to quantify both aleatoric and epistemic uncertainties in data-driven materials modeling, offering a robust method to predict mechanical responses while accounting for inherent stochastic variations in material microstructure. <ref type="bibr">[62]</ref> In addition, Koutsourelakis' development of a machine-learning framework for upscaling microstructural randomness in solid mechanics ensured that microscale variations are accurately reflected in macroscopic predictions, emphasizing the significance of microstructural heterogeneity in determining global material behavior. <ref type="bibr">[137]</ref> A methodology was proposed by Terayama et al. <ref type="bibr">[129]</ref> for the efficient construction of phase diagrams using machine learning. The active learning technique of uncertainty sampling was employed to extensively sample regions surrounding phase boundaries. Demonstrations of this approach included the construction of three well-known experimental phase diagrams. Introducing the microstructure-guided deep material network, Huang et al. <ref type="bibr">[138]</ref> developed an innovative deep-learning methodology involving a robust framework for modeling multiphase materials by considering plasticity to predict mechanical responses across diverse microstructure characterization and loading paths. They exemplified the methodology by conducting UQ with the modeling of short fiber-reinforced polymer composites. The findings revealed that merely four foundational DMNs were essential to forecast the nonlinear Figure <ref type="figure">8</ref>. Equivalent &#949; VM -&#963; VM plots for FCC Cu. Reproduced with permission. <ref type="bibr">[132]</ref> Copyright 2022, Frontiers in Materials.</p><p>stress reactions across various loading scenarios, and orientation states, encompassing different constituent properties and fiber volume fractions, as long as the combination falls within the microstructure space outlined by the base models. In Figure <ref type="figure">9</ref>, <ref type="bibr">[138]</ref> they illustrated the coefficients of variations stemming from the upper-left 3 &#194; 3 sub-matrix of the stiffness matrix alongside the remaining entries on its principal diagonal. The significance of the unrepresented values lay in their trivial nature, typically registering 1000 times lower than those depicted in the heatmaps.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="4.">Inverse Problem: Design under Uncertainty</head><p>Microstructure design of the materials under uncertainty has been taken into the forefront by material scientists and researchers with the development of modern computational simulation tools and studied over decades. <ref type="bibr">[139,</ref><ref type="bibr">140]</ref> The prediction methods based on computational (i.e., numerical, analytical, and semianalytical) approaches are preferred to prevent expensive experimental trial and errors. <ref type="bibr">[141]</ref><ref type="bibr">[142]</ref><ref type="bibr">[143]</ref> Most of the existing research efforts have been carried out to extract material property related to process and structure, which is called as "forward" design method where the purpose is to determine material property according to the computationally achieved optimal design considering manufacturing process physics and constraints in addition to the material physics and design constraints. <ref type="bibr">[144]</ref><ref type="bibr">[145]</ref><ref type="bibr">[146]</ref> This forward design/optimization approach is not only utilized for microscale but also for multiscale including micro-and macroscales together. <ref type="bibr">[147]</ref><ref type="bibr">[148]</ref><ref type="bibr">[149]</ref><ref type="bibr">[150]</ref><ref type="bibr">[151]</ref> In contrast, data-driven models enable to capture desired microstructure using process parameters/conditions and properties called as "inverse" design method, which is cost-effective in comparison to forward design approach. <ref type="bibr">[152]</ref> In the last decade, inverse design of material microstructures has gained a revival of interest with the development of data-driven methods by scientists due to its efficiency and practicality over traditional forward design approach. <ref type="bibr">[153]</ref> For this respect, the recent research efforts on the inverse design of the microstructures under uncertainty are reviewed in terms of SP and PS perspective in this section.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="4.1.">SP Problem</head><p>Material microstructures exhibit inherent probabilistic behavior, which brings uncertainties due to the complex physics of manufacturing processes. These aleatoric uncertainties require to be quantified as the microstructure exerts a substantial effect on engineering design product properties. <ref type="bibr">[23,</ref><ref type="bibr">[154]</ref><ref type="bibr">[155]</ref><ref type="bibr">[156]</ref><ref type="bibr">[157]</ref><ref type="bibr">[158]</ref> The inverse approach provides the required process planning for aimed final design by employing desired properties of the material while taking uncertainties arising from the stochastic nature of the process into account. <ref type="bibr">[97,</ref><ref type="bibr">159]</ref> The inverse method can utilize the Figure <ref type="figure">9</ref>. Heatmaps of coefficient of variation of the stiffness matrices S ij (%). Reproduced with permission. <ref type="bibr">[138]</ref> Copyright 2022, Elsevier.</p><p>set of inputs and outputs obtained from simulations and experiments in a forward fashion to relate SP and PS, as visualized in Figure <ref type="figure">10</ref>. The desired/prescribed mechanical response can be employed to determine microstructure design and process parameters under uncertainty with the merits of common numerical methods such as UQ, deep learning, machine learning, and numerical optimization.</p><p>In the late 90's, PSP relations and purposive inverse approach were discussed by Olson <ref type="bibr">[140]</ref> for the first time in the literature. Later on, Horstemeyer <ref type="bibr">[159,</ref><ref type="bibr">160]</ref> extended this linkage through modeling and application cases. Johnson and Arr&#243;yave <ref type="bibr">[161]</ref> developed an inverse framework to predict and optimize the heat treatment process of nickel-based shape memory alloy according to the required microstructure (i.e., grain size and distribution). Nellippallil et al. <ref type="bibr">[162]</ref> developed an inverse design approach for the multiple-stage hot rod rolling process to achieve the proper manufacturing stages and parameters according to the desired macro-and microstructure design of the rod element. For this respect, they considered interstaged flow information called horizontal integration and formulated a compromise decision support problem using test and simulation data considering uncertainties of the complicated manufacturing system composed of various stages. A year later, they <ref type="bibr">[163]</ref> published their new investigation, which has been improved by including a multiscale design method (i.e., vertical integration) mostly focusing on the microstructure of the product manufactured through the hot-rolling process and the inverse design of hot-rolling stages. The importance of these vertical and horizontal processstructure integrations has been discussed by Tennyson et al. <ref type="bibr">[164]</ref> previously. Tran et al. <ref type="bibr">[165]</ref> conducted calibration of the welding process parameters to achieve optimal target microstructure. In this regard, they developed a model that combines temperaturebased kinetic Monte Carlo (kMC) and Bayesian optimization which determines target microstructures from a pool of candidate microstructures. Their optimization convergence plot is given in Figure <ref type="figure">11</ref>, <ref type="bibr">[165]</ref> where the objective y is minimized.  The objective is minimized as the optimization process advances. Reproduced with permission. <ref type="bibr">[165]</ref> Copyright 2020, Elsevier.</p><p>In recent work, Noguchi and Inoue <ref type="bibr">[166]</ref> inversely determined cold rolling of low-carbon steel process parameters using pixel convolutional neural networks (PixelCNN) that relate microstructural features to material properties and manufacturing parameters. They modeled uncertainty propagation related to stochastic relations between process parameters such as cooling rate and microstructure features such as grain size and volume fraction of the ferrite.</p><p>In addition to the inverse problem in terms of SP relations, the inverse PS linkage, which provides goal-oriented microstructure design in accordance with the desired properties is in high demand. The existing research effort on the inverse PS problem with UQ is reviewed in the following subsection.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="4.2.">PS Problem</head><p>The inverse design approach aims to find the optimal desired microstructure texture that meets foreknown functionality efficiently. <ref type="bibr">[167]</ref><ref type="bibr">[168]</ref><ref type="bibr">[169]</ref><ref type="bibr">[170]</ref> As an early research effort, Sigmund <ref type="bibr">[171]</ref> proposed an inverse design approach for 2D lattice microstructures for prescribed homogenized elastic material features such as modulus of elasticity and Poisson's ratio. In this study, topology optimization was solved using optimality criteria minimizing the volume fraction of the lattice, which is demanded for aerospace applications due to low-weight requirements. <ref type="bibr">[172]</ref> Recently, Thillaithevan et al. <ref type="bibr">[173]</ref> conducted a similar inverse design approach using deformation-based homogenization for 2D periodic microstructures and targeting nonlinear stress-strain properties.</p><p>In recent years, PS linkage and inverse microstructure design under uncertainty have gained popularity with the development of efficient data-driven methods such as machine learning and deep learning inverting the input (i.e., microstructure) and output (i.e., property) relations. <ref type="bibr">[174,</ref><ref type="bibr">175]</ref> Furthermore, recent advancements in forward microstructure design tools, such as the Bayesian approach for microstructure property estimation from images, investigated by Wade and Graham-Brady, <ref type="bibr">[176]</ref> enable the achievement of inverse design methods. The epistemic uncertainties due to simplifications or lack of information in microstructure modeling might be challenging to be quantified. To overcome this, Choi et al. <ref type="bibr">[144]</ref> presented a goal-oriented inductive design exploration methodology, which is a multistage inverse design approach that also facilitates the quantification of different types of propagated uncertainties. Attari et al. <ref type="bibr">[177]</ref> conducted an inverse design framework for two-phase microstructures targeting the thermal conductivity property. Furthermore, PS has been correlated through the deep variational auto encoder (VAE) method. Pei et al. <ref type="bibr">[175]</ref> utilized VAE to inversely predict phase distribution of 9% Cr martensite/ ferrite steels for desired mechanical properties such as yield stress and creep life. In another study, VAE has been conducted to perform the multiscale inverse design of metamaterials using the generated microstructure database by Wang et al. <ref type="bibr">[178]</ref> Their overall framework for the inverse design of nonhomogeneous graded metamaterial composed of a pool of microstructures is depicted in Figure <ref type="figure">12</ref>. <ref type="bibr">[178]</ref> Mahdavi et al. <ref type="bibr">[153]</ref> inversely modeled dual phase (&#945; and &#946;) of the Ti-6Al-4V alloy aiming volume fractions and Corson's coefficients for required strength. Tan et al. <ref type="bibr">[179]</ref> presented a deep convolutional generative adversarial network, which uses images of the microstructures as inputs combined with the convolutional neural network (CNN) to invert PS relation of the microstructure targeting the compliance tensor of the microstructure. Zang and Koutsourelakis <ref type="bibr">[180]</ref> proposed a method, called PSP-GEN, based on deep learning to link whole PSP relationships and perform inverse microstructure design while considering the inherent stochasticity of the problem.</p><p>Truss-based lattices inspired by material crystal structures are commonly used as mechanical metamaterials due to their high strength-to-weight ratio, which makes them attractive for Figure <ref type="figure">12</ref>. Overview of the proposed framework. Reproduced with permission. <ref type="bibr">[178]</ref> Copyright 2020, Elsevier. aerospace applications. Their homogenized properties can be inversely modeled with the help of deep-learning techniques such as NNs. <ref type="bibr">[181,</ref><ref type="bibr">182]</ref> Vant't Sant et al. <ref type="bibr">[183]</ref> presented a data-driven approach for the design of growth-based periodic naturally inspired microstructures based on anisotropic homogenized elastic properties of the microstructures. Later on, materialproperty spaces extracted through the genetic algorithm were utilized for the inverse design and optimization of the naturally inspired microstructures by Liu and Acar. <ref type="bibr">[184]</ref> In addition, the MCS technique was utilized to quantify uncertainties due to the surface distortion. In their study, they considered 2D microstructures as periodic RVEs consisting of periodic and nonperiodic microstructures.</p><p>Currently, the inverse design of a novel material called spinodoid shapes inspired by a phase separation process (i.e., spinodal decomposition) have become prominent due to their smooth topologies preventing high-stress concentrations and providing enhanced mechanical performance maintaining low-weight requirements of aerospace applications. <ref type="bibr">[185]</ref><ref type="bibr">[186]</ref><ref type="bibr">[187]</ref> In these materials, uncertainties due to AM need to be quantified. <ref type="bibr">[188]</ref> These materials were modeled using a non-iterative GRF method and proper shapes were determined by linking homogenized elastic properties and the underlying structure with the help of FEA and conditional generative adversarial networks by Liu and Acar. <ref type="bibr">[189]</ref> Their inverse design approach for 2D spinodoids is demonstrated in Figure <ref type="figure">13</ref>. <ref type="bibr">[189]</ref> 5. Future Topics for Uncertainty UQ This section highlights key future directions in UQ for aerospace materials, with a focus on the role of microstructures. AM has revolutionized the ability to design materials with customized microstructures, creating new opportunities to improve the performance of lightweight aerospace components. However, these advances also introduce challenges, such as uncertainties in material properties, process conditions, and resulting microstructures, which can significantly affect mechanical performance. Addressing these uncertainties is essential to ensure the reliability, safety, and efficiency of additively manufactured components, particularly given the stringent mechanical and safety standards in aerospace. Thus, UQ is crucial for driving further innovation in this field. MSTO and RBD optimization (RBDO) provide a structured approach to tackle these challenges, offering pathways to balance performance, weight, and structural integrity in the design process, which is especially important as materials are pushed to their physical limits. As aerospace components are exposed to extreme mechanical environments resulting in high-stress concentrations, fatigue, and failure, uncertainties in microstructure can significantly influence material response, potentially compromising the integrity of the component. Therefore, integrating UQ into MSTO and RBDO frameworks is necessary for predicting and ensuring performance under such extreme conditions. Looking ahead, PINNs offer a versatile solution, efficiently incorporating physical laws and real-world data into predictive models. The application of PINNs can be extended to optimizing AM processing, RBDO of microstructures, and UQ for extreme mechanical behavior. These advancements have the potential to significantly enhance the future of UQ for microstructures in aerospace, addressing both current challenges and future needs.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="5.1.">MSTO under Uncertainty</head><p>With advances in modern fabrication techniques, AM provides a promising way to fabricate advanced materials with outstanding features, such as low density, negative Poisson's ratio, high energy absorption capability, and high strength and stiffness. The rapid development in manufacturing techniques promotes the characteristic sizes of engineered structures being reduced. The overall performance of a macroscopic engineering structure not only depends on its macroscopic configuration but also on the corresponding microstructural features. Therefore, to optimize the macroscopic structure, a hierarchy of its model and simulation must be linked to create a multiscale description of material properties. Many recent works have been devoted to the study of multiscale modeling. The studies involve determining the effective constitutive law of materials <ref type="bibr">[190]</ref><ref type="bibr">[191]</ref><ref type="bibr">[192]</ref><ref type="bibr">[193]</ref> with spatially varying properties. It helps to achieve effective properties of the materials at the macroscale. Other studies involve developing nonconcurrent <ref type="bibr">[194]</ref><ref type="bibr">[195]</ref><ref type="bibr">[196]</ref><ref type="bibr">[197]</ref> and concurrent <ref type="bibr">[198]</ref><ref type="bibr">[199]</ref><ref type="bibr">[200]</ref><ref type="bibr">[201]</ref> multiscale optimization frameworks. The concurrent design framework shown in Figure <ref type="figure">14</ref> optimizes the structure at two scales simultaneously. <ref type="bibr">[148]</ref> It allows users to explore a vast design space and optimize the structure at the macroscale as well as at the microscale.</p><p>However, these optimized structures are sensitive to defects associated with manufacturing processes. For example, the cooling rate in the melting process of AM can affect the pore and Figure <ref type="figure">13</ref>. Flowchart of the proposed framework. Reproduced with permission. <ref type="bibr">[189]</ref> Copyright 2024, The American Institute of Aeronautics and Astronautics.</p><p>grain size of fabricated materials. <ref type="bibr">[202,</ref><ref type="bibr">203]</ref> Therefore, to achieve a reliable multiscale design, the uncertainty in the microscopic level of materials should be taken into account. The challenge of multiscale modeling under uncertainty is to understand how errors are introduced at each scale and to alleviate the computational burden of UQ. In recent years, various uncertainties have been considered in stochastic optimization problems. One of the uncertainties is related to the geometric dimensions of microstructures. For materials that are periodically distributed in the design domain, variations in their microstructures are commonly characterized by known probability distributions. <ref type="bibr">[139,</ref><ref type="bibr">184,</ref><ref type="bibr">204]</ref> For heterogeneous materials, microscale uncertainties in materials can be presented by the second-order explicit mixture random field model, <ref type="bibr">[4,</ref><ref type="bibr">205,</ref><ref type="bibr">206]</ref> which is compatible with sensitivity analysis in topology optimization. Another type of uncertainty is related to the stochastic loading conditions at the macroscale. The uncertainty in the external load can be described by an ellipsoid model, a known distribution within bounds, or other random fields. <ref type="bibr">[207]</ref><ref type="bibr">[208]</ref><ref type="bibr">[209]</ref> In multiscale modeling problems, it is difficult to address robust topology optimization with a high number of random parameters. The high dimensionality can be caused by representing microstructures in the pixels/voxels level and defining complex external loading conditions. In that case, many efficient surrogate-based reliability analysis methods are no longer feasible. <ref type="bibr">[210]</ref> In addition, computational cost can be increased by a high number of random parameters involved in UQ. <ref type="bibr">[207]</ref> To overcome this issue, Gao et al. <ref type="bibr">[206]</ref> transferred the reliability constraint to an equivalent and simplified one using the reliability index. The accuracy of the simplified constraint was guaranteed by the most probable point importance sampling. <ref type="bibr">[211]</ref> De et al. <ref type="bibr">[212]</ref> addressed this issue by constructing stochastic estimates of the objective, constraints, and gradients. In the optimization process, the stochastic estimates are solved by either adaptive moment estimation (Adam) or the globally convergent method of moving asymptotes. <ref type="bibr">[212]</ref> In addition, to increase the computational efficiency, the dimensionality can be reduced by the truncated KL expansion. <ref type="bibr">[205,</ref><ref type="bibr">207]</ref> Another solution is to reformulate the problem into a PCE representation while maintaining the high dimension. <ref type="bibr">[205]</ref> </p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="5.2.">PINNs for UQ of Microstructures</head><p>PINNs, as one of the modern computational methodologies, combine ML with the fundamental principles of physics, mainly to solve problems involving PDEs. <ref type="bibr">[213]</ref> This combination of datadriven learning and domain-specific knowledge makes PINNs Figure <ref type="figure">14</ref>. Design framework of concurrent topology optimization of a multiscale mechanical system. Reproduced with permission. <ref type="bibr">[148]</ref> Copyright 2019, Elsevier.</p><p>particularly capable of capturing patterns in diverse applications, ranging from fluid dynamics and material science to optimization problems. It also mitigates one of the major challenges in deep learning which is the dependency on large datasets since the simulations in most of the engineering domains are highly time-consuming. PINN utilizes the NNs as the universal function approximator and attempts to minimize the composite loss function provided as <ref type="bibr">[213]</ref> &#8466;</p><p>where &#8466; PDE and &#8466; Data represent the loss function for the ordinary differential equation/PDE solution and predicted versus actual data, respectively. The formulation could also incorporate terms such as the difference between the boundary conditions &#8466; BC and initial conditions &#8466; IC . The input provided for the network is defined as spatiotemporal, and the output is then used for the loss function. As NNs have the capability of automatic differentiation (AD), the gradient terms in the loss functions can be calculated without requiring excessive computing times.</p><p>Figure <ref type="figure">15</ref> summarizes the process. Since the NN is used as the function approximator, the selection of the network is flexible and can be modified for the specific problem. If the problem is defined such that the input is in a matrix or image form, then the CNNs are used together with the physics-informed loss. <ref type="bibr">[214]</ref><ref type="bibr">[215]</ref><ref type="bibr">[216]</ref><ref type="bibr">[217]</ref><ref type="bibr">[218]</ref><ref type="bibr">[219]</ref> Another approach in the CNN-PINN context is to replace the AD with an approximation of a differentiation operator to decrease the computation time, with guaranteed convergent rate. <ref type="bibr">[220]</ref> Furthermore, instead of a composite loss function, using Legendre multiwavelets as the basis function <ref type="bibr">[221]</ref> or Hermite spline kernels <ref type="bibr">[222]</ref> for continuous interpolation of grid-based states, it is possible to set the loss function involving only the physical constraint, meaning there is no need for precomputed training data. If the problem requires prediction of temporal features, or there is a history dependence, then long short-term memory (LSTM) is used as the NN for the PINN architecture. <ref type="bibr">[223]</ref><ref type="bibr">[224]</ref><ref type="bibr">[225]</ref><ref type="bibr">[226]</ref><ref type="bibr">[227]</ref><ref type="bibr">[228]</ref> Additionally, a combination of aforementioned networks (Conv-LSTM) can be employed to solve periodic PDEs. <ref type="bibr">[229]</ref> Recently emerging graph neural networks (GNNs) are also utilized in that context where the problem conforms to graph structure, <ref type="bibr">[230]</ref><ref type="bibr">[231]</ref><ref type="bibr">[232]</ref><ref type="bibr">[233]</ref> as well as the graph convolutional networks. <ref type="bibr">[234]</ref> Domain-wise, PINN is used for several engineering fields, fluid dynamics, <ref type="bibr">[235]</ref><ref type="bibr">[236]</ref><ref type="bibr">[237]</ref><ref type="bibr">[238]</ref> solid mechanics, <ref type="bibr">[239]</ref><ref type="bibr">[240]</ref><ref type="bibr">[241]</ref><ref type="bibr">[242]</ref> heat transfer, <ref type="bibr">[243,</ref><ref type="bibr">244]</ref> and control systems. <ref type="bibr">[245]</ref><ref type="bibr">[246]</ref><ref type="bibr">[247]</ref> It is particularly efficient in optimization, solving inverse problems, and reduced-order modeling. In the material science context, particularly in aerospace applications, PINN is found to be useful for nondestructive evaluation of 15. Schematic of a physics-informed neural network (PINN). A fully connected neural network is given as a representation, where &#931; and &#963; stand for summation of the neuron output and activation function, respectively, which can be replaced by different architectures such as CNN, LSTM, and GNN, based on the application. Time and space coordinates &#240;t, x&#222; are provided as inputs to the network that generates output u. The derivatives of u with respect to the inputs using automatic differentiation (AD) and the output itself are used to construct the loss function for the partial differential equation. The other loss functions involve data, the initial condition, and the boundary condition that use either the output or the boundary-related differential. These loss functions then constitute the total loss function with weights &#969; 1 , &#969; 2 , &#969; 3 , &#969; 4 that can be specified for the related problem. If the loss function is sufficiently minimized, then the loop ends, if not then the network parameters are updated to minimize the function in the next step. polycrystalline nickel, by solving the inverse problem to find the material properties such as stiffness tensor, <ref type="bibr">[248]</ref> as well as finding specific heat, thermal conductivity, and convective heat-transfer coefficient of different metals. <ref type="bibr">[210]</ref> Zhou et al. <ref type="bibr">[249]</ref> proposed combining the smoothed FEM (S-FEM) with PINN first to train the model with a small amount of data, only to use afterward as transfer learning for the actual model with more data generated by S-FEM, to solve the elastic-plastic inverse problem with increased accuracy and efficiency. The method's efficiency was presented in molecular dynamics particularly generating results with high accuracy compared to the DFT calculations to predict the properties of Aluminum. <ref type="bibr">[250]</ref> The applications further involve composite materials focusing on fracture analysis, <ref type="bibr">[251]</ref> damage characterization, <ref type="bibr">[252]</ref> mechanical response, <ref type="bibr">[253]</ref> elastic properties, <ref type="bibr">[254]</ref> and thermomechanical features <ref type="bibr">[255,</ref><ref type="bibr">256]</ref> and find many examples in AM particularly on fatigue life prediction. <ref type="bibr">[257]</ref><ref type="bibr">[258]</ref><ref type="bibr">[259]</ref> Despite recent advances in applying PINNs to materials science, their use in UQ of microstructures remains a critical and open area of research for aerospace materials. Traditional data-driven models for UQ of microstructures, whether in forward or inverse problems, often require large datasets for high accuracy, making them computationally expensive. Moreover, these models tend to lack interpretability, complicating efforts to understand the underlying physics of microstructural behavior. In contrast, PINNs present a promising alternative to conventional methods, offering potential advantages for various UQ applications. In addition, traditional UQ methods require explicit knowledge of the underlying mathematical model, which may be challenging or even unknown in complex systems. <ref type="bibr">[260]</ref> Furthermore, methods such as MCS, which are used to quantify uncertainty, require the generation of many samples. This can result in a numerically intractable solution due to model complexity. PINNs, in contrast, allow the integration of known physical laws into the NN architecture, enabling the model to learn the inherent physics of the system while simultaneously learning from available data. This dual capability of PINNs facilitates a more flexible approach when exploring UQ. Compared with the solution of time-consuming FEM simulations, the accuracy of results related to the uncertainty of output parameters is sufficiently high. <ref type="bibr">[261]</ref> In general, the framework to quantify uncertainty with PINNs falls into two categories: <ref type="bibr">[262]</ref> deterministic and probabilistic. In the deterministic approach, several different surrogate models are employed that are supposed to generate a single output for a certain input. These models constitute the ensemble structure, and they are trained separately, each with different parameters. <ref type="bibr">[263]</ref><ref type="bibr">[264]</ref><ref type="bibr">[265]</ref><ref type="bibr">[266]</ref> The other ensemble approaches involve training the same network with different datasets, <ref type="bibr">[267]</ref> or searching for different local minimums by adjusting the learning rate. <ref type="bibr">[268]</ref> To further improve the capability to capture uncertainty, particularly in cases where the data and governing equations do not match due to simplification of the physics, the notion of applying an extra layer of NNs is proposed. <ref type="bibr">[269]</ref> In contrast, the probabilistic approach involves learning the posterior probability distribution directly, which is achieved through Bayesian techniques. For this purpose, BNNs are used as function approximators, with sampling performed iteratively using the MCMC method. <ref type="bibr">[270,</ref><ref type="bibr">271]</ref> The sampling after a certain time converges to the desired distribution, achieved by the Metropolis algorithm.</p><p>Alternatively, instead of directly sampling from the posterior distribution, the variational inference method tries to approximate the complex distribution by simpler ones. <ref type="bibr">[272]</ref> The advancements highlighted for addressing UQ with PINNs can be further leveraged in the future to study forward and inverse UQ problems in the microstructures of aerospace materials.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="5.3.">Investigation of Extreme Mechanical Behavior</head><p>As materials engineering and research reach new heights, it becomes increasingly critical to understand and measure the uncertainty associated with severe mechanical behavior in aerospace materials. This is crucial for ensuring the reliability and safety of aircraft components. <ref type="bibr">[273]</ref> Recent advancements in UQ methodologies have provided valuable insights into the complexities impacting critical mechanical properties. This section explores key studies that have contributed to the understanding of uncertainty in extreme mechanical behavior like fatigue, failure, and aeroelastic instabilities and lays out a motivation for future work focusing on complex problems related to extreme mechanics. One significant problem of extreme mechanical behavior is fatigue crack initiation, which poses a substantial risk to the structural integrity of aerospace components. <ref type="bibr">[274]</ref> The study by Yeratapally et al. <ref type="bibr">[10]</ref> presented a microstructuresensitive model validated using Bayesian UQ to systematically quantify uncertainties in model parameters and their propagation on the fatigue life prediction, enhancing the understanding of fatigue crack initiation mechanisms in polycrystalline materials. Similarly, predicting the remaining useful life of aerospace components is essential for maintenance planning and risk assessment. Sankararaman et al. <ref type="bibr">[275]</ref> investigated the use of reliability methods for quantifying uncertainty in remaining useful life prediction, providing insights into efficient methods for risk assessment and decision-making in aerospace maintenance operations. Furthermore, Giannella et al. <ref type="bibr">[8]</ref> presented a stochastic framework for fatigue crack-growth predictions, considering uncertainties such as material properties, loading conditions, and environmental factors. Their sensitivity analysis and UQ enhance the understanding of factors influencing fatigue crack growth in aerospace materials, guiding future research directions for improving prediction accuracy and reliability. Moreover, DT technology offers promising capabilities for predicting fatigue life and managing the health of aerospace components. <ref type="bibr">[276]</ref> Leser et al. <ref type="bibr">[277]</ref> explored the feasibility of DT for fatigue life prediction, coupling in situ diagnostics and prognostics in a probabilistic framework. Through Monte Carlo methods and high-fidelity FEM, they demonstrated the potential of DT for predicting fatigue life with decreasing uncertainty overtime.</p><p>Composite materials play a vital role in aerospace applications, and accurately predicting their ultimate strength is essential for ensuring structural reliability. <ref type="bibr">[278,</ref><ref type="bibr">279]</ref> Bhattacharyya et al. <ref type="bibr">[280]</ref> introduced a methodology for addressing the effects of epistemic uncertainty on the ultimate strength prediction of composite laminates. Through calibration and validation of a multiscale mechanical model, they quantified and reduced uncertainties in constitutive parameters, offering valuable insights into the reliability of composite structures under extreme mechanical loading conditions. Additionally, Shang <ref type="bibr">[281]</ref> addressed the challenges of failure simulation in composite materials under extreme loading conditions through multiscale modeling, employing surrogate modeling and Bayesian inference to estimate the effects of uncertainty on the strength of composite materials.</p><p>Aeroelastic interactions significantly impact the performance and safety of aircraft and thus aeroelastic instabilities can be considered as a part of extreme mechanical behavior. Therefore, addressing the effects of uncertainties in this domain is crucial for aerospace design and certification. The study by Beran et al. <ref type="bibr">[282]</ref> reviews traditional analytical techniques and emerging computational methods for UQ with applications to aeroelasticity. They identified critical parameters such as flutter and limit cycle oscillations, demonstrating how uncertainties in these parameters impact aeroelastic responses. By addressing challenges such as discontinuous responses and high computational costs, the study provides valuable insights into improving system robustness and safety in aerospace applications.</p><p>The outlined studies in this section are prominent examples of addressing the effects of uncertainties on extreme mechanical behavior, particularly related to fatigue/failure properties and aeroelastic instabilities. However, the literature in this field is not sufficiently extensive to provide a comprehensive understanding of the effects of microstructural uncertainties on extreme mechanical behavior, thereby offering a future topic of importance within the context of UQ for aerospace materials.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="5.4.">RBD of Microstructures</head><p>RBD has emerged as an essential tool in modern structural design, particularly in aerospace engineering. While advanced manufacturing processes necessitate accounting for uncertainties in material properties and microstructural features, traditional design optimization assumes deterministic conditions. However, this fails to consider the inevitable variations observed in material microstructures and/or external conditions. Therefore, integrating UQ into the optimization process becomes vital for ensuring robust and reliable designs.</p><p>One traditional approach in RBD is to consider worst-case scenarios, aiming for designs with zero probability of failure. While this conservative approach can prevent failures, it often results in inefficient, costly designs. A more practical approach involves RBDO, which seeks to balance performance and reliability by considering the likelihood of failure without overconservatism. In recent years, significant strides have been made in this area, particularly within the realm of continuum structure topology optimization. For instance, Liu et al. <ref type="bibr">[283]</ref> introduced an RBTO methodology that decouples the expensive reliability analysis and topology optimization processes using the topology description function and FORM. This method enhances computational efficiency, though further improvements in accuracy and layout smoothness are still needed.</p><p>Further developments by Liu et al. <ref type="bibr">[284]</ref> include methods that address uncertainties in loading directions, transforming uncertain topology optimization problems into deterministic equivalents with multiple load cases. This was efficiently handled using the soft-kill bidirectional evolutionary structural optimization (BESO) method, which reduced computational costs compared to the traditional MCS method. Additionally, the cloud model introduced by Liu et al. <ref type="bibr">[285]</ref> combined probabilistic and fuzzy uncertainties to further refine the RBTO process.</p><p>One key challenge in practical applications of RBTO is avoiding infeasible designs, such as those resulting from zero resultant forces. This issue was addressed by Liu et al. <ref type="bibr">[286]</ref> through a modified BESO approach that incorporates load direction uncertainties, ensuring practical, feasible designs under real-world conditions. These advancements highlight the importance of considering various types of uncertainties-probabilistic, fuzzy, and interval-based-within topology optimization to achieve robust and reliable structural design.</p><p>A notable challenge in applying traditional RBD techniques to microstructures arises from the complexity of high-fidelity material models, especially those analyzing multiscale behavior. Precise derivative calculations of constraint functions with respect to random parameters, as required by methods such as the FORM and second-order reliability method, become computationally cumbersome in such cases. However, integrating analytical UQ algorithms into RBD was shown to allow for modeling both Gaussian and non-Gaussian distributions of random parameters, thereby maintaining a high level of reliability in the optimization process. <ref type="bibr">[141]</ref> For instance, RBD was successfully applied to optimize the microstructural texture of Galfenol alloy, achieving significant improvements in mechanical properties under the effects of microstructural uncertainty modeled with the analytical approach. <ref type="bibr">[141]</ref> Despite these advancements, most studies on multiscale structural topology optimization (MSTO) still operate under deterministic assumptions, neglecting uncertainties such as material variability, loading fluctuations, and deviations from design criteria. <ref type="bibr">[287]</ref><ref type="bibr">[288]</ref><ref type="bibr">[289]</ref><ref type="bibr">[290]</ref><ref type="bibr">[291]</ref><ref type="bibr">[292]</ref> Recent work by Wang et al. <ref type="bibr">[293]</ref> addressed this gap by developing a multiscale RBTO (MRBTO) method that considers unknown-but-bounded uncertainties in truss-like microstructures. This method represents a significant step toward incorporating uncertainty into multiscale designs, though challenges remain in addressing the "curse of dimensionality" inherent in high-dimensional UQ problems for microstructures.</p><p>Furthermore, most existing RBTO approaches consider aleatoric and epistemic uncertainties separately. <ref type="bibr">[294]</ref><ref type="bibr">[295]</ref><ref type="bibr">[296]</ref><ref type="bibr">[297]</ref> Meng et al. <ref type="bibr">[298]</ref> proposed a hybrid RBTO method that simultaneously accounts for both types of uncertainties using nested triple-loops based on FORM and the level-cut method. Similarly, Zaman and Mahadevan <ref type="bibr">[299]</ref> developed a computationally efficient method that decouples design from uncertainty analysis, simplifying the optimization process for multidisciplinary systems.</p><p>RBTO is particularly crucial for small aerospace systems, such as microelectromechanical and micro-opto-electromechanical devices, where uncertainties in material microstructures can significantly affect performance. However, the high dimensionality of these systems is challenging for many surrogate model-based reliability analysis methods, such as efficient global reliability analysis <ref type="bibr">[300]</ref> and active Kriging MCS. <ref type="bibr">[301]</ref> Existing RBTO methods often simplify reliability constraints using approximations, e.g., using the reliability index or minimum performance target point; <ref type="bibr">[302,</ref><ref type="bibr">303]</ref> however, these approximations can fall short in complex nonlinear problems. Gao et al. <ref type="bibr">[206]</ref> addressed this issue with the adjoint important sampling method, which efficiently computes reliability and sensitivity using gradient-based optimization.</p><p>In addition, Du and Sun <ref type="bibr">[304]</ref> proposed a reliability-based vibroacoustic MSTO model that considers uncertainties in loading direction, excitation frequency, or both. This approach balances reliability and performance, further advancing the field of RBD for microstructures. Despite significant advancements in RBD, as outlined in this subsection, challenges and opportunities remain in addressing forward, and especially inverse, design problems while accounting for microstructural uncertainty in aerospace systems.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="5.5.">UQ in AM</head><p>AM has revolutionized the fabrication of complex geometries with minimal material waste, yet the process remains prone to variability, such as material defects, manufacturing inconsistencies, and other imperfections. Modeling the AM process is crucial for optimizing process parameters and minimizing energy and material waste. However, the presence of uncertainties in the process-from material properties to operating conditions-necessitates the incorporation of UQ to ensure reliable, high-accuracy predictions. <ref type="bibr">[14,</ref><ref type="bibr">305]</ref> While most studies on AM modeling focus on predicting and analyzing melt-pool geometry and assessing how materials and process parameters affect the melting process, <ref type="bibr">[306]</ref><ref type="bibr">[307]</ref><ref type="bibr">[308]</ref> there is growing interest in developing robust UQ frameworks that can quantify the variations of underlying microstructural features.</p><p>Several multiscale, multi-physics models have explored the evolution of microstructures during the AM processes. At the macroscale, numerical methods such as the FEM or finitedifference methods (FDMs) are commonly used to capture the physics of layer deposition with a moving heat source, which helps estimate melt pool dynamics. Meanwhile, microscale models using Monte Carlo methods, phase-field models, and cellular automata simulate the grain structure evolution during solidification. <ref type="bibr">[309]</ref> The coupling of these macro-and microscale models allows for a more comprehensive simulation of the AM process, enabling the prediction of the resulting microstructure. <ref type="bibr">[309,</ref><ref type="bibr">310]</ref> However, most of these studies leverage deterministic simulations, often overlooking how combinations of various uncertainties can influence the final material properties. Nath et al. <ref type="bibr">[311]</ref> addressed this gap by developing a framework that couples a macroscale melt pool model with a microscale solidification model to simulate the microstructure evolution during AM. Their analysis investigated the grain size distribution and its effects on macroscale properties, incorporating multiple sources of uncertainty, such as variability in material properties and uncertainties in grain nucleation and growth models. These uncertainties were aggregated using a multilevel UQ approach. In a similar vein, Wang et al. <ref type="bibr">[312]</ref> proposed a generalized UQ framework that explores uncertainty propagation from process parameters to material microstructure and eventually to macrolevel mechanical properties in metallic AM processes. This framework selects and validates a multiscale physics-based model, generates surrogate models from simulation data, and uses these models to quantify uncertainty and analyze its propagation. Additionally, sensitivity analyses were conducted to identify the impact of individual uncertainty sources on product quality.</p><p>In recent years, AM has also enabled the production of intricate lattice microstructures, particularly in metals. These structures are increasingly utilized due to their excellent mechanical performance and lightweight properties. <ref type="bibr">[313]</ref> However, additively manufactured lattices often exhibit geometric deviations from their nominal designs, leading to significant discrepancies in mechanical behavior. <ref type="bibr">[314]</ref> Incorporating as-manufactured geometries into numerical analyses is therefore essential for accurately predicting lattice performance. While this approach is computationally expensive, it provides a more realistic assessment of the mechanical behavior. For example, Liu et al. <ref type="bibr">[315]</ref> highlighted the importance of accounting for geometric imperfections in their analysis of elastic properties, and Du et al. <ref type="bibr">[316]</ref> examined the effects of geometric variability on the mechanical response of AM lattices. Lei et al. <ref type="bibr">[317]</ref> further evaluated the correlation between geometric deviations and material performance, emphasizing the need for accurate models.</p><p>To efficiently address the computational challenges, Korshunova et al. <ref type="bibr">[15]</ref> developed a binary random field model to generate CT images of as-manufactured lattices. This model captures defects from material scans, offering a practical solution to evaluate the impact of microstructural variability on mechanical behavior. The model, combined with the FCM and MLMC simulations, is found to reduce computational costs significantly while maintaining accuracy. These advancements demonstrate the importance of incorporating UQ into AM processes, particularly in scenarios where geometric deviations and material inconsistencies are critical to the structural integrity of the final product. However, there exists many challenges and opportunities in this field in the future given the complex thermomechanical interactions causing microstructural uncertainty during AM processes and the potential of fabricating many complex microstructural geometries and/or lattice microstructures with more advanced AM techniques. Interested readers are referred to several studies reviewing the state-of-the-art literature for UQ in AM <ref type="bibr">[14,</ref><ref type="bibr">96,</ref><ref type="bibr">318]</ref> for further details on this topic.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="6.">Conclusion</head><p>In this work, we have discussed the uncertainties inherent in the characterization, modeling, and design of microstructures for aerospace materials, emphasizing both forward and inverse problems. The study provides a comprehensive review for understanding and addressing uncertainties arising from fabrication processes, computational modeling, and measurement techniques. The forward problem focuses on the uncertainties in processing parameters, microstructural features, and model assumptions that significantly affect the prediction of mechanical properties. This emphasizes the need for robust uncertainty propagation methods that can reliably capture the effects of the variations on the expected material performance. The inverse problem highlights the importance of designing processing parameters and/or microstructures under uncertainty to achieve desired mechanical properties. The review of SP and PS problems underscores the necessity of leveraging advanced computational tools to guide the design process, minimizing reliance on costly experimental trials.</p><p>The article also identifies the topics that need further investigation to study the UQ problem in the characterization, development, modeling, and design of the microstructures of aerospace materials. These topics of future interest include the following: 1) MSTO of aerospace materials while accounting for the effects of the aleatoric and epistemic uncertainty; 2) utilization of physics-informed machine-learning models to create predictive models to address the computationally expensive forward and inverse UQ problems while maintaining sufficient prediction accuracy and improving the interpretability of predictions; 3) investigation of the potentially detrimental effects of uncertainty on the extreme mechanical behavior of microstructures; 4) RBD of microstructures; and 5) UQ of microstructures fabricated with AM techniques.</p><p>Overall, this review article provides a foundational perspective on the UQ problem for microstructure modeling and design, offering insights into current methodologies and future directions for enhancing the predictions of mechanical properties of aerospace materials through rigorous UQ.</p></div><note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_0"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (6 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_1"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (7 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_2"><p>Adv. Eng. Mater. 2024, 2401299</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_3"><p>&#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_4"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (9 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_5"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (11 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_6"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (12 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_7"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (13 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_8"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (14 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_9"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (16 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_10"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (17 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_11"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (18 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_12"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (19 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_13"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (20 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_14"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (21 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_15"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (22 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_16"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (23 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_17"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (24 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_18"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (25 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_19"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (27 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_20"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (28 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" xml:id="foot_21"><p>Adv. Eng. Mater. 2024, 2401299 2401299 (29 of 31) &#169; 2024 The Author(s). Advanced Engineering Materials published by Wiley-VCH GmbH 15272648, 0, Downloaded from https://onlinelibrary.wiley.com/doi/10.1002/adem.202401299, Wiley Online Library on [06/12/2024]. See the Terms and Conditions (https://onlinelibrary.wiley.com/terms-and-conditions) on Wiley Online Library for rules of use; OA articles are governed by the applicable Creative Commons License</p></note>
		</body>
		</text>
</TEI>
