1. Introduction
Finite element (FE) models provide the computational foundation for structural response prediction, damage simulation, reliability assessment, and maintenance decision-making. Their credibility, however, depends on how faithfully the numerical representation captures material properties, distributed and concentrated masses, connection flexibility, and boundary conditions. Even when structural geometry is reproduced accurately, nominal material constants and idealized supports can generate systematic discrepancies between calculated and measured modal properties. In structural health monitoring (SHM), such modelling errors are particularly consequential because they may be interpreted as damage-induced changes or may conceal the comparatively small dynamic signatures produced by actual deterioration [
1,
2]. FE model updating therefore constitutes an essential intermediate step between vibration measurement and model-based condition assessment.
Early model-updating approaches can broadly be divided into direct matrix-correction methods and iterative sensitivity-based methods. Direct methods modify the assembled mass or stiffness matrices so that selected measured eigenvalues, eigenvectors, and orthogonality conditions are satisfied, often through constrained matrix optimization [
2,
3]. Although these methods can reproduce measured modal data without repeated nonlinear optimization, the resulting matrix corrections are not always readily associated with physical material or boundary parameters, and incomplete or noisy mode shapes may produce spatially distributed changes with limited mechanical meaning. Sensitivity-based updating instead parameterizes physically interpretable quantities and linearizes modal residuals with respect to these parameters. Weighted least-square iterations are then used to reduce discrepancies in natural frequencies, mode shapes, modal assurance criteria, or frequency-response functions [
3,
4,
5]. This approach remains one of the most established procedures in structural dynamics, but its effectiveness depends strongly on parameter selection, sensitivity-matrix conditioning, regularization, measurement completeness, and the availability of sufficiently accurate local derivatives. Repeated FE analyses may also become prohibitive when the parameter–response relationship is nonlinear, the model is large, or multiple initial points are required to avoid local minima.
Bayesian model updating provides a probabilistic alternative in which uncertain model parameters, measurement errors, and model discrepancies are represented through prior and likelihood distributions. A posterior distribution offers not only point estimates but also uncertainty intervals, parameter correlations, and evidence for competing model classes [
6]. This capability is particularly valuable for ill-conditioned or non-unique inverse problems, where several parameter combinations may reproduce almost identical modal responses. Markov chain Monte Carlo (MCMC) methods are commonly used when the posterior cannot be evaluated analytically, while transitional Markov chain Monte Carlo (TMCMC) constructs a sequence of intermediate distributions between the prior and posterior to improve sampling of correlated or multimodal parameter spaces [
7]. Recent tutorials have consolidated advanced sampling strategies for Bayesian model updating and emphasized that their principal limitation remains computational cost: thousands or millions of forward-model evaluations may be required for complex structures [
8]. Moreover, posterior uncertainty cannot by itself eliminate structural non-identifiability if the measured responses contain insufficient independent information [
9].
Metamodels, also termed surrogate models, address this computational bottleneck by approximating the mapping from uncertain FE parameters to structural responses using a limited set of high-fidelity simulations [
10,
11,
12,
13]. Kriging or Gaussian-process models are attractive because they combine flexible nonlinear approximation with a predictive variance that can guide sequential sampling [
10,
14]. Their accuracy, however, depends on covariance-kernel selection and hyperparameter estimation, and conventional stationary kernels may perform poorly across response surfaces whose smoothness varies strongly over the parameter domain. Radial basis function models offer flexible interpolation and are effective for irregular nonlinear surfaces, but their performance may depend sensitively on basis width, center placement, and regularization [
15]. Polynomial response surfaces remain appealing for engineering inverse problems because they are inexpensive to evaluate, analytically differentiable, transparent, and straightforward to embed in bounded optimization. Their principal weakness is basis specification: low-order models may miss boundary nonlinearities, whereas complete high-order expansions introduce correlated and weakly supported terms that increase variance and produce oscillatory extrapolation. These trade-offs have motivated surrogate-assisted optimization strategies that balance global coverage, local exploitation, and the cost of additional simulations [
11,
12,
13,
14,
15,
16].
Recent application-oriented studies also emphasize that reliable model updating depends on a physically meaningful representation of mass, stiffness, restraints, and measured dynamic information. Nicoletti and Gara examined modelling strategies for updating infilled reinforced-concrete building FEMs, including the influence of construction-stage modelling assumptions [
17], while Kurent et al. updated a seven-story cross-laminated-timber building using experimentally derived frequency-response-function modal information [
18]. More recent studies have increasingly focused on improving the efficiency and uncertainty treatment of FEMU through surrogate-assisted strategies. Kamali et al. developed an inverse random-forest surrogate for deterministic structural model updating [
19], Tian et al. employed Gaussian-process models to quantify natural-frequency uncertainty and update FE parameters [
20], Zhang et al. combined a Gaussian-process surrogate with MCMC for Bayesian updating of a high-rise building [
21], and Zhang et al. proposed a sequential surrogate framework for FEMU using incomplete modal data [
22]. Together, these studies show that physically interpretable parameterization, efficient surrogate modelling, uncertainty quantification, and targeted sample enrichment are becoming increasingly interconnected in contemporary FEMU.
Sparse regression provides a principled means of controlling polynomial complexity. The least absolute shrinkage and selection operator promotes parsimonious models by shrinking weak coefficients to zero [
23], while Elastic Net combines L1 and L2 penalties to retain sparsity while stabilizing groups of correlated predictors [
24]. Related sparse polynomial-chaos techniques have demonstrated that significant basis terms can be selected adaptively rather than prescribed through a complete expansion [
25]. More broadly, sparse identification methods have shown that interpretable governing relationships can be extracted from large candidate libraries when only a small subset of terms is dynamically relevant [
26]. Nevertheless, statistical sparsity alone does not guarantee that a surrogate respects structural mechanics. A polynomial can fit sampled frequencies accurately while violating known response directions between samples, for example, predicting an increase in natural frequency as equivalent density increases under otherwise fixed conditions.
This limitation reflects a wider transition from purely data-fitted models toward physics-informed learning. Physics-informed neural networks incorporate governing equations or constitutive residuals into training objectives [
27], while physics-informed machine learning more generally embeds conservation laws, symmetries, admissibility conditions, or qualitative physical trends into model architectures and optimization procedures [
28]. Such methods can improve data efficiency and physical plausibility, but highly parameterized neural representations may remain unnecessarily complex for low-dimensional FE updating, and their optimization can be difficult to diagnose. For problems involving a small number of uncertain physical parameters, an explicit sparse response surface with mechanically motivated inequality constraints offers a more transparent alternative: it retains analytical derivatives and coefficient-level interpretability while preventing physically inadmissible trends.
Surrogate-based FEMU still faces two practical issues: maintaining adequate accuracy near the inverse-solution region with a limited number of FE analyses and avoiding non-physical surrogate trends or weakly identifiable parameter combinations. Surrogate quality should therefore be assessed using independent prediction errors, physical consistency, and parameter identifiability [
8,
9,
29].
Interferometric radar enables non-contact vibration measurement at multiple structural targets [
30,
31,
32,
33]. In practical applications, line-of-sight projection and the correspondence between radar targets and FE degrees of freedom can affect modal interpretation. This motivates combining radar-derived modal information with FE model updating that explicitly accounts for modelling uncertainty.
The present study develops a physics-constrained sparse response-surface procedure and evaluates it using modal frequencies identified from millimeter-wave radar measurements of a scaled steel truss. An initial FE sample database was used to construct sparse polynomial surrogates through Elastic Net regularization and hierarchical term retention, after which mechanically admissible monotonicity conditions were imposed on the modal responses. The surrogate was then sequentially enriched by selecting simulations that balanced predictive uncertainty, proximity to the measured target, and coverage of the existing parameter space. A local residual correction was introduced only when cross-validation demonstrated a reproducible reduction in prediction errors. The resulting surrogate was evaluated on an independent test set before being used for bounded parameter inversion and FE back-substitution. Finally, local Jacobian analysis and bootstrap resampling were employed to assess parameter identifiability and quantify the uncertainty of the updated solution.
2. Methodology
The proposed finite element model-updating framework uses experimentally identified modal frequencies to calibrate a parameterized FE model through a physics-constrained surrogate. First, a parameterized ANSYS 14.5 model is established and sampled within the prescribed ranges of equivalent density, elastic modulus, and support stiffness to generate the FE response database. The initial samples are used to construct third-order sparse polynomial response surfaces, in which Elastic Net regularization controls that model complexity and monotonicity constraints enforce physically admissible parameter-frequency trends. Adaptive enrichment is then used to add samples in regions that are both uncertain and relevant to the inverse solution, while a cross-validation gate determines whether an additional local residual correction is justified. After the surrogate accuracy is verified on an independent test set, the measured modal frequencies are used as targets for bounded parameter inversion. The identified parameters are finally substituted back into the original ANSYS model for FE-level verification, and Jacobian/SVD analysis, together with bootstrap resampling, is used to evaluate parameter identifiability and uncertainty.
2.1. Experimental Setup and Baseline FE Model
A scaled main truss derived from the steel roof of a large sports venue was constructed for the experimental investigation. The model had a span of 5.5 m and a height of approximately 0.2 m. Different member groups used geometric scales of approximately 1:10–1:20 to retain the main load-transfer topology while remaining practical for laboratory fabrication. The specimen used gusset-plate bolted connections, and the undamaged configuration served as the modal baseline. The connection components were physically present but were not all represented as separate solid parts in the beam-element FE model.
Dynamic vibration tests were conducted on 15 December 2024 using eight response points along the truss and one ground reference point. An INV 9314 impact force bar (Beijing Oriental Institute of Vibration and Noise, Beijing, China) was used to apply impulse excitation directly to the truss. The excitation point was kept fixed throughout the modal tests and is indicated in
Figure 1a. Acceleration responses were recorded using the 941B vibration acquisition system at 500 Hz, low-pass filtered at 200 Hz, and recorded for no less than 30 s for each test. The millimeter-wave radar measured line-of-sight displacement from selected targets fitted with corner reflectors, while Panasonic HG-C1050 laser displacement sensors (Panasonic Corporation, Osaka, Japan) at corresponding target locations provided an independent displacement reference. The radar and laser displacement measurements showed a mean deviation of 0.03 mm. The radar-derived vibration responses were processed using stochastic subspace identification (SSI), yielding the first three radar-identified vertical natural frequencies of 11.72, 51.21, and 122.42 Hz.
The identified modal information was used to update a parameterized ANSYS model. The steel members were modelled with the three-dimensional two-node beam element BEAM188, concentrated dead loads with MASS21, and vertical support flexibility with COMBIN14. In the adopted three-dimensional BEAM188 formulation, each member node retained the six structural degrees of freedom UX, UY, UZ, ROTX, ROTY, and ROTZ. MASS21 supplied concentrated translational inertia, while COMBIN14 acted in the vertical translational degree of freedom at the two physical end supports indicated in
Figure 1b; the remaining support restraints were imposed through nodal boundary conditions. Member centerlines followed the physical joint nodes, so joint coordinates and member connectivity defined the principal discretization. Before generation of the FE database, the joint coordinates, connectivity, element formulation, section properties, mass assignment, and support implementation were checked and then kept consistent for all analyses. These checks follow the numerical-verification principle adopted in [
34]. Only the vertical dynamic characteristics corresponding to the measured modes were used in the updating procedure. The parameter-dependent equation of motion is
where M, C, and K are the mass, damping, and stiffness matrices, respectively; u is the displacement vector; F is the external load vector; and
is the physical parameter vector. For undamped free vibration, the eigenproblem and frequency relation are
The updating vector was defined as
, where
is equivalent density, E is equivalent elastic modulus, and
is the logarithm of the vertical support stiffness, as shown in
Table 1. The logarithmic transformation prevents the high-stiffness end of the multi-order-of-magnitude range from dominating the numerical scale.
2.2. Sample Design and Data Partition
A maximin Latin hypercube sampling design was employed to achieve broad marginal coverage while minimizing local clustering. The physical variables were mapped onto the common interval [−1, 1] according to
As shown in
Figure 2 and
Table 2, a total of 200 ANSYS modal analyses were available. The 140 initial samples were used to construct and tune the global surrogate. Of the remaining 60 candidates, 30 were added over six adaptive-enrichment rounds and 30 were retained as an untouched independent test set. The 30 test samples were reserved exclusively for final evaluation, and the minimum and mean nearest-neighbor distances in the normalized space were 0.0247 and 0.1036, respectively. This 140/30/30 partition separates model construction, adaptive refinement, and final validation, while the 200-point maximin design provides systematic coverage of the prescribed parameter domain [
35].
2.3. Physics-Constrained Sparse Response Surface Construction
Figure 3 summarizes the model-updating workflow. The radar-identified natural frequencies obtained from the experiment described in
Section 2.1 were used as the updating targets [
36]. A parameterized ANSYS model supplied the initial database for sparse polynomial response surfaces with Elastic Net selection, hierarchical term retention, and monotonicity constraints. The surrogates were then refined by adaptive enrichment and, where supported by cross-validation, local residual correction. After independent test-set validation, the final surrogate was used for bounded inversion, ANSYS back-substitution, Jacobian-based identifiability analysis, and bootstrap uncertainty quantification.
Third-order Legendre polynomials were used because their orthogonality on [−1, 1] reduces collinearity among high-order terms. Let x = T(θ) = [x
1,x
2,x
3]
T denote the normalized input. The tensor-product basis is
where α = [α
1,α
2,α
3]
T is a multi-index, and A
3 contains all nonconstant terms with a total degree from one to three. For three variables, this gives 19 penalized candidate terms. A separate intercept is retained and is not penalized. The response surface for the modal order, r, is
For each modal frequency, the complete 19-term candidate model was first fitted by Elastic Net [
24]. Candidate selection therefore occurred during, rather than before, the penalized fitting process. The coefficients were obtained from
The mixing parameter, η, controls the proportion of the L1 penalty, while λ controls the overall regularization strength. For fixed (λ,η), minimizing Equation (6) balances fitting errors, sparsity, and coefficient stability. The tuning pair was selected by five-fold cross-validation on the 140 initial samples: each of the five subsets was used once as a 28-sample validation fold, while the other 112 samples fitted the model. The mean validation error was
After the optimal pair was determined, the Elastic Net model was refitted using all 140 samples. As shown in
Table 3 and
Figure 4, terms with an absolute coefficient larger than 1 × 10
−8 were regarded as numerically nonzero. Strong hierarchy was then enforced: when an interaction or high-order term was retained, its required lower-order parent terms were also included. This closure facilitates stable interpretation and prevents isolated high-order effects. The 1 × 10
−8 cutoff is therefore only a numerical-zero criterion used to remove floating-point remnants after regularized fitting; it is not an additional physical-significance threshold.
The sparse term set was fixed before the final coefficient refinement. Mechanical knowledge was imposed at the response level rather than by assigning signs to individual polynomial coefficients. For all three modal responses, the admissible local trends were
The derivative signs were checked for the modelling samples and at 80 additional points distributed in the normalized parameter domain. Squared violations were added to the regression objective:
Here Φr is the design matrix associated with the fixed sparse term set, Lmono; r is the monotonicity-violation penalty; λm controls physical enforcement; and λ2 provides mild coefficient stabilization. The constrained solution preserves the sparse polynomial structure while suppressing nonphysical local reversals.
2.4. Adaptive Enrichment and Gated Local Correction
The initial global model was updated iteratively. In every round, bootstrap resampling of the current modelling set produced multiple surrogate models. At a candidate point, their objective-function predictions yielded a mean and a standard deviation,
, which quantified surrogate uncertainty. Candidate points were ranked by
The three normalized components favor uncertain locations, low predicted objective values, and points distant from existing samples. The weights 0.45, 0.40, and 0.15 prioritize uncertainty and the anticipated updating region while preserving space-filling behavior. The weights were used as fixed empirical priority coefficients rather than as theoretically optimal constants. Their relative magnitudes reflect the purpose of the present enrichment stage: improving surrogate resolution in regions that are both uncertain and potentially relevant to the inverse solution. Therefore, the uncertainty and target-relevance components were assigned the dominant weights of 0.45 and 0.40, respectively, while a smaller but nonzero weight of 0.15 was retained for space filling to avoid excessive clustering. Five candidates were selected per round; their existing ANSYS responses were added to the modelling set, the global response surfaces were refitted, and all indicators were recomputed. Six rounds produced 30 adaptive samples.
A local quadratic model was fitted to the residuals of the global response surface in the enhanced region, defined here as the portion of the normalized domain represented by the adaptively selected target-relevant samples. No additional boundary parameter was tuned for this region. Because local residual fitting can amplify random errors, its contribution was controlled by a gate:
As shown in
Figure 5 and
Table 4, the gate, αr, was searched from 0 to 1 in increments of 0.05 and selected by five-fold cross-validation. A value of zero disables the local correction. The first-mode gate was 0.25, whereas the second- and third-mode gates were zero; thus, the method accepted the local model only where its improvement was reproducible.
2.5. Model-Updating Strategy and Uncertainty Quantification
The target was the vector of radar-identified frequencies f
m = [11.72, 51.21, 122.42]
T Hz. Equal weighting of the three relative frequency errors prevented the numerically larger third frequency from dominating the inversion. The updating problem was
A total of 6000 random points were screened over the bounded parameter domain, and the ten lowest-objective points were used to initialize bound-constrained L-BFGS-B searches. The smallest converged objective was retained. Because the screening and multi-start searches evaluated the explicit surrogate rather than ANSYS, their additional computational cost was negligible.
The final surrogate was assessed only on the 30 held-out samples. The principal dimensional metric was the root mean square error
Together with RMSE, the coefficient of determination (R2), mean absolute percentage error (MAPE), and maximum absolute relative error (MaxARE) were reported. The staged comparison among the 140-sample global model, the 170-sample enhanced model, and the final gated model separated the effects of adaptive enrichment from those of local correction.
A low frequency-matching objective does not by itself guarantee unique parameters. The local relative-sensitivity matrix was calculated by centered finite differences at the optimum:
Singular-value decomposition of this normalized Jacobian quantified weak parameter directions. In addition, B = 100 bootstrap datasets were drawn with replacement from the 170 modelling samples, while the selected polynomial structure was kept fixed. This number was used as a practical balance between repeated surrogate refitting and stable percentile summaries for the present low-dimensional problem. Each bootstrap sample was refitted and re-inverted from starting points perturbed within the prescribed parameter bounds. The percentile interval was
4. Discussion
4.1. Role of Physics Constraints in Data-Driven Surrogates
The differences between the Pearson and Spearman coefficients, particularly for E-f2 and -f2, indicate that the parameter–frequency relationships contained nonlinear but predominantly monotonic components. This supported the use of third-order candidate functions together with prescribed monotonic response directions. All three modal surrogates selected through cross-validation, indicating Lasso-dominated sparse selection for the present dataset and candidate basis.
The monotonicity constraints were introduced to prevent non-physical local reversals rather than to improve the global prediction-error metrics. The prescribed negative density trend and positive modulus/support-stiffness trends were checked at both the modelling samples and 80 additional control points. The constrained surrogates retained independent-test R2 values of 0.9988, 0.9496, and 0.9902 for the first three modes.
4.2. Weak Identifiability and Implications for FE Model Updating
Near the optimum, the sensitivities of the frequencies to density and elastic modulus had similar magnitudes and opposite signs, indicating that their effects could compensate within the measured frequency vector. The support-stiffness logarithm showed stronger global correlations with f2 and f3 than local sensitivities at the optimum, consistent with the high-stiffness region of the identified solution.
The updated density was also checked against the specimen construction. The truss contains approximately 1000 connection bolts together with gusset plates and other hardware that are not all represented explicitly in the beam model. Expressing this omitted connection mass as an equivalent distributed mass gives an effective density of approximately 7.97 × 103 kg/m3, close to the identified 7988.10 kg/m3. Because the bolt count and plate geometry are approximate, this is an order-of-magnitude consistency check rather than an independent density measurement.
The elongated objective valley and the normalized Jacobian condition number of 112.17 indicate weak identifiability near the optimum. This is consistent with the wide bootstrap interval of Ky and its low local sensitivity in the identified high-stiffness region. The result limits the physical interpretation of the individual parameters but does not invalidate the response-level update: ANSYS back-substitution shows substantially better agreement with the measured modal frequencies.
The bootstrap estimates remained close to the optimum, but the unequal interval widths show that the three parameters are not identified with equal precision. The updated ρ, E, and Ky are therefore treated as a coupled calibration state constrained by the three measured frequencies rather than as independent measurements of material and boundary properties.
The bootstrap analysis quantifies modelling-sample and surrogate-refitting variability, whereas the Jacobian characterizes local identifiability. Experimental frequency-identification uncertainty was not separately propagated because repeated identification statistics were unavailable; this source of uncertainty can be incorporated when independent measurement-error information is available.
4.3. Methodological Implications and Comparison with Existing Approaches
Independent test-set validation and ANSYS back-substitution were used to distinguish surrogate accuracy from FE updating performance. The main computational cost lies in the generation of the high-fidelity FE database: one ANSYS modal analysis required approximately 62 s, corresponding to about 3.4 h for 200 serial evaluations. By comparison, sparse-surrogate fitting and the final inverse optimization each required less than 1 s.
The present application is low-dimensional, with three physically interpretable updating parameters. Elastic Net reduces the number of active polynomial terms but does not remove the rapid growth of the candidate space as parameter dimension increases. The framework is therefore most directly suited to low- and moderate-dimensional problems after dominant uncertain parameters have been identified. Higher-dimensional applications may require sensitivity screening, parameter grouping, active-subspace methods, or other dimension-reduction steps before surrogate construction.