ON THIS PAGE

Additive Manufacturing of Smart and Functional Structures: A Framework for Sensing, Maintenance, and Engineering Optimization

Zora Goodwin1
1University of Alaska Fairbanks, Fairbanks, AK 99775, USA

Abstract

Additive manufacturing permits joint design of structural geometry and embedded functionality, but process variability and sensing deterioration complicate lifecycle decisions. This study develops an explicitly framework connecting defect-sensitive fatigue, functional aging, signed measurement drift, diagnostic availability, and maintenance cost. A beam-equivalent lattice bracket provides a fully specified analytical benchmark rather than a prediction for a fabricated component. A three-interrogation observation model separates damage-dependent response, gain loss, and baseline drift; Gaussian filtering then updates mechanical damage and its uncertain progression rate. Manufacturing, inspection, sensing-route repair, component replacement, diagnostic outage, and structural failure are included in a consistently discounted cost model. A mixed-variable set of 180 designs is screened, eight finalists receive 50,000 lifecycle realizations each, and the selected design is independently assessed using 200,000 realizations. This confirmation produces 91 structural-limit exceedances, a mission failure estimate of 0.000455, and a two-sided 95% interval of [0.000366, 0.000559]. The one-sided reliability-index lower bound is 3.268, exceeding the illustrative target of 3.0. Diagnostic availability is 99.9673%. On the same geometry, the risk-based policy reduces expected cost by 55.4% relative to the least-cost confidence-qualified fixed-age policy identified on an integer-age grid; both policies satisfy the benchmark reliability target. Numerical quadrature, Monte Carlo sample-size assessment, time-step refinement, and policy ablations are supplied with executable code. The contribution is a transparent integration and verification example. Its assumed constitutive, sensing, and economic parameters require experimental calibration before application to an engineering component.

Keywords: additive manufacturing, smart materials, self-sensing structures, fatigue reliability, diagnostic availability, condition-based maintenance, uncertainty, lifecycle optimization

1. Introduction

Smart and functional materials change an engineering component’s role from passive load carriage to interaction with its environment. Piezoelectric phases transduce mechanical and electrical fields, piezoresistive composites change resistance under deformation, and shape-memory systems provide activated recovery. Additive manufacturing (AM) offers geometric freedom, internal architecture, and opportunities for localized functional integration. Gibson and colleagues describe the process capabilities that enable these manufacturing choices [1]. Their availability does not establish that a particular combination of host, functional phase, and manufacturing process is qualified for service.

Qualification becomes more demanding when functionality and structural integrity share the same geometry. The tomography-focused review by du Plessis and colleagues explains why defect size, morphology, and location provide information that bulk porosity alone cannot capture [2]. Sanaei and Fatemi review the consequences of these defects for fatigue performance and the limitations of nominal material-property descriptions [3]. Bartlett and Li address residual stresses in metal powder-bed fusion, providing a separate reason to connect process history with component response [4]. Together, these issues motivate an uncertainty model that distinguishes a manufacturing descriptor from a calibrated failure predictor.

Mechanical and functional performance can deteriorate differently. Fatemi and colleagues report processing- and loading-direction effects in fatigue experiments on AM Ti–6Al–4V [5]; these material-specific observations should not be transferred directly to another material system. Solberg and Berto discuss continuing challenges in fatigue assessment of AM metals [6]. A self-sensing structure introduces additional concerns: conductive-route interruption, host–sensor strain-transfer loss, temperature cross-sensitivity, calibration error, and baseline drift. A mechanically serviceable component can therefore become diagnostically unavailable, while a functioning sensor can remain attached to a component approaching a structural limit.

Geometry optimization provides one part of this problem. Bendsøe and Sigmund establish the mathematical foundations of topology optimization [7]. Zhu and colleagues discuss AM-specific opportunities and challenges, including the integration of material, structure, process, and performance [8]. The present benchmark does not perform topology optimization. It searches a finite parametric design set and asks how sensing and maintenance assumptions change the admissibility and economic ranking of its members.

Self-sensing AM lattices are an established research direction. Ubaid and colleagues experimentally and numerically investigated architected conductive-composite lattices with tunable structural and sensing properties [9]. Health-informed maintenance involving AM also has precedents: Cubillo and colleagues developed a cost and downtime model linking health monitoring, maintenance decisions, and AM repair opportunities [10]. The contribution here is narrower than the invention of either self-sensing or AM-enabled maintenance. It is a connection between defect-sensitive progression, deteriorating diagnostic information, uncertainty-aware replacement, and independently checked lifecycle reliability.

The study provides a complete computational benchmark with explicit assumptions and separate structural and diagnostic endpoints. It derives a distinguishable three-interrogation sensing model, propagates a latent fatigue rate through an approximate Gaussian estimator, and selects a design using confidence-based constraints. Code, all design-level outputs, and trajectory-level confirmation data accompany the manuscript. Numerical verification evaluates implementation consistency; experimental validation is identified separately and is not claimed.

2. Material–Process–Function Coupling

2.1. Functional Material Classes Relevant to AM

For reliability engineering, the useful classification is the pathway by which a material produces a signal or action. Table 1 organizes possible mechanisms and corresponding degradation questions. These are alternative technology families rather than materials simultaneously represented in the bracket benchmark. Its specific numerical sensing mechanism is a normalized piezoresistive-like response with repeated calibration interrogation; actuation and functional authority are outside its scope.

Table 1. Functional families and qualification questions relevant to an AM lifecycle framework. The numerical example implements only the self-sensing route.
FamilyEngineering opportunityDegradation or qualification question
Piezoelectric phaseConformal or embedded electromechanical sensingElectrode integrity, depoling, interface durability, calibration stability
Piezoresistive compositePrinted strain- and damage-responsive routesConductive-network interruption, gain loss, hysteresis, thermal compensation
Shape-memory systemActivated geometry or stiffness changeTransformation fatigue, incomplete recovery, thermal compatibility
Functionally graded materialSpatial redistribution of propertiesGradient continuity, composition control, thermal mismatch
Architected cellular materialGeometry-dependent compliance and massStrut imperfections, local instability, notch sensitivity, size effects

Functional integration can introduce competing design requirements. A compliant region can increase a measurable response while increasing local cyclic strain. A wide sensing route can improve durability while adding manufacturing effort. Additional routes can reduce independent measurement noise but cannot remove a disturbance common to every route. These interactions justify including sensor architecture and maintenance policy among the design variables.

2.2. Manufacturing Defects as Random Design Variables

The initial defect description is

\[\mathbf d_0=\{a_0,\eta_s,\chi,\sigma_r,R_a\},\tag{1}\]

where \(a_0\) is an equivalent initial flaw length, \(\eta_s\) increases with proximity to the surface, \(\chi\) describes morphology severity, \(\sigma_r\) is tensile residual stress, and \(R_a\) is a surface-roughness descriptor. Murakami’s treatment of small defects provides foundational context for separating a defect descriptor from a nominal strength value [11]. Zerbst and colleagues further distinguish crack initiation, short-crack development, long-crack propagation, and arrest [12]. The simplified growth model below omits initiation and arrest and must be interpreted accordingly.

In a calibrated application, a process vector \(\mathbf p=\{P,v,h_p,t_l,\theta\}\) could condition a distribution \(f(\mathbf d_0\mid\mathbf p,\mathbf y_{\mathrm{proc}})\) using build-monitoring evidence. Power, speed, hatch spacing, layer thickness, and orientation cannot be inferred from the present study. Only orientation and a binary finishing level enter its prescribed response maps. Surface roughness is represented indirectly through an assumed stress multiplier rather than an independently measured \(R_a\) distribution. Independent primitive uncertainty draws are used as a choice, not an assertion that actual AM process variables are independent.

3. Lifecycle Reliability Model

3.1. Three Coupled States and Their Domains

The component has mechanical damage \(D_m\in[0,1)\) before structural-limit exceedance, fractional functional gain loss \(D_f\in[0,0.95]\), and signed normalized drift \(b\in\mathbb R\). Drift is not a monotonically increasing damage fraction. If a dimensionless severity is needed, \(D_s=|b|/b_{\mathrm{tol}}\) can be reported without restricting it to unity. The implemented evolution over a time step is

\[\left.\begin{aligned} D_m^{k+1}&=D_m^k+v_m\Delta t,\\ D_f^{k+1}&=\min\{0.95,D_f^k+\alpha_f\xi_f(1+0.25D_m^k)\Delta t\},\\ b^{k+1}&=b^k+0.004\xi_b\sqrt{\Delta t}\,Z_k, \end{aligned}\right\}\tag{2}\]

where \(Z_k\sim\mathcal N(0,1)\), \(v_m\) is a unit-specific fatigue progression rate, and \(\xi_f,\xi_b\) are mission-specific multipliers. The time unit is kilohours: \(1\,\mathrm{kh}=1000\) h. Mechanical deterioration increases the assumed gain-loss increment; gain loss and drift affect diagnostic information; the resulting information controls replacement. Replacement draws a new structural unit and resets its three states. These are the implemented coupling pathways, rather than an implicit claim that all underlying physical fields are solved together.

3.2. Defect-Sensitive Fatigue Progression

Paris and Erdogan provide the classical crack-growth relation underlying the benchmark’s propagation law [13]. For an assumed exponent of three and constant unit-specific forcing, the model is

\[\frac{da}{dN}=C\xi_e(\Delta K)^3, \qquad \Delta K=B\sqrt a, \qquad B=Y\Delta\sigma\xi_L M_r\sqrt\pi,\tag{3}\]

with

\[Y=1+0.60\eta_s+0.25\chi, \qquad M_r=1+\sigma_r/\sigma_y.\tag{4}\]

Here \(\Delta\sigma\) is in MPa, \(a\) in m, \(C\) in \(\mathrm{m\,cycle^{-1}}(\mathrm{MPa}\sqrt{\mathrm m})^{-3}\), and \(\xi_e,\xi_L\) represent environment and load multipliers. The residual-stress multiplier \(M_r\), morphology map \(Y\), and environmental multiplier are analyst-defined assumptions. They are not calibrated Walker, closure, or material-specific mean-stress laws. The Paris exponent and coefficient distribution are also illustrative.

For \(a_c=0.8\) mm, integration gives

\[N_f=\frac{2(a_0^{-1/2}-a_c^{-1/2})}{C\xi_e B^3}, \qquad D_m=\frac{a_0^{-1/2}-a^{-1/2}}{a_0^{-1/2}-a_c^{-1/2}}, \qquad v_m=\frac{10^5}{N_f}\;\mathrm{kh}^{-1}.\tag{5}\]

Thus \(D_m\) progresses linearly in cycles for this transformed crack coordinate, while \(a\) grows nonlinearly. The structural endpoint is the first crossing of \(D_m=1\), equivalent to reaching the assumed allowable crack length. It is not a prediction of final fracture toughness or catastrophic breakage. Constant-amplitude forcing makes this transformation exact within Eq. (3); load-sequence effects are not represented. Miner’s cumulative-damage formulation provides a familiar alternative for spectrum modeling [14], but it is not used to generate the reported outputs.

3.3. Functional Observability and False Confidence

The general sensing relation is

\[y_j=S_j\epsilon(1-D_f)+b_j+b_{T,j}(T-T_0)+\nu_j.\tag{6}\]

A single loaded measurement cannot generally separate damage-dependent strain, gain loss, and drift. An increased scalar sensitivity does not resolve this ambiguity. The benchmark therefore assumes three rapidly repeated, normalized interrogations at each scheduled inspection: unloaded baseline, a known-strain calibration, and a service-load response. After subtraction of the healthy response and normalization, their assumed linear form is

\[\begin{bmatrix}y_L\\y_0\\y_C\end{bmatrix} = \underbrace{\begin{bmatrix}1&-4&1\\0&0&1\\0&-4&1\end{bmatrix}}_{\mathbf H} \begin{bmatrix}D_m\\D_f\\b\end{bmatrix} +\boldsymbol\nu, \qquad \operatorname{rank}(\mathbf H)=3.\tag{7}\]

The known-strain calibration requires an external reference or a separately verified calibration mechanism. The bracket is therefore not assumed to identify all three states autonomously from one uncalibrated resistance trace. Eq. (7) is an explicitly assumed first-order response model; nonlinear electromechanical terms and spatially varying interface damage are omitted.

The contrast \(z=y_L-y_C\) cancels the instantaneous gain-loss term and shared baseline. Its measurement variance is modeled as

\[R=2\left[\sigma_c^2+ \frac{\sigma_i^2(0.9/w_s)^2}{n_s(1-\widehat D_f)^2}\right] +\sigma_t^2\mathbb E[\xi_b^2], \quad \widehat D_f=\operatorname{clip}\!\left(\frac{y_0-y_C}{4},0,0.95\right).\tag{8}\]

Widths in the ratio are expressed in mm. The common noise floor \(\sigma_c\) remains as \(n_s\) grows. The last term represents residual drift between the calibration and loaded interrogations; \(\mathbb E[\xi_b^2]=\exp(2\times0.25^2)\). Each interrogation contains independent route noise and a disturbance common to its routes. Functional gain loss increases the assumed normalized noise. The actual simulated noise uses the true \(D_f\), whereas the estimator uses \(\widehat D_f\) and the population drift variance. It therefore does not receive the hidden true drift multiplier.

No arbitrary redundancy reward is introduced. Diagnostic benefit is evaluated through \(R\), empirical damage-estimation error, and route availability. Each route has an independent outage hazard \(\lambda_p\xi_e\), and a common-cause event with hazard \(0.0005\xi_e\,\mathrm{kh}^{-1}\) disables all routes. Outages persist until the next inspection, when missing routes are repaired before interrogation. A conservative operational implementation would also define load restrictions during an outage; that additional control is not modeled here.

3.4. Limit States and Reliability Endpoints

The general architecture can distinguish structural, diagnostic, and functional limit states,

\[g_m=1-D_m,\qquad g_o=n_{\mathrm{active}}-\tfrac12,\qquad g_f=D_{f,\mathrm{allow}}-D_f.\tag{9}\]

A full series-system event could be defined as any limit crossing. The numerical study intentionally does not report a series-system reliability index. It estimates structural-limit exceedance over a 20 kh mission,

\[P_F=\Pr\{\exists t\in[0,20\,\mathrm{kh}]:D_m(t)\ge1\}, \qquad \beta=-\Phi^{-1}(P_F),\tag{10}\]

and reports diagnostic availability separately. In trajectory \(i\), availability is \(A_i=1-T_{\mathrm{blind},i}/T_{\mathrm{service},i}\), where exposure ends at the first structural failure. The reported \(A\) is the mean of these per-trajectory values. A common-cause outage affects this endpoint even when independent redundancy is high. Functional gain loss above 0.30 triggers sensing-system refurbishment at inspection; the cap of 0.95 prevents an unphysical negative sensitivity in the assumed response map. Neither threshold is a material standard.

4. Maintenance and Failure-Analysis Logic

4.1. Sequential Estimation and Predictive Risk

Let \(\mathbf q_k=[D_m,v_m]^\mathsf T\) denote damage and its latent rate. Kalman’s state-estimation formulation supplies the filtering structure [15]. The benchmark uses the linear transition and damage observation

\[\mathbf q_{k+1}=\mathbf F\mathbf q_k+\boldsymbol\omega_k, \qquad \mathbf F=\begin{bmatrix}1&\Delta t\\0&1\end{bmatrix}, \qquad z_k=\begin{bmatrix}1&0\end{bmatrix}\mathbf q_k+\epsilon_k.\tag{11}\]

The estimator assigns process covariance \(\mathbf Q=\operatorname{diag}(0.003^2\Delta t,0)\), predicting \(\boldsymbol\mu^-_{k+1}=\mathbf F\boldsymbol\mu^+_k\) and \(\mathbf P^-_{k+1}=\mathbf F\mathbf P^+_k\mathbf F^\mathsf T+\mathbf Q\). At inspection,

\[\left\{\begin{aligned} \mathbf K&=\mathbf P^-\mathbf h^\mathsf T(\mathbf h\mathbf P^-\mathbf h^\mathsf T+R)^{-1},\\ \boldsymbol\mu^+&=\boldsymbol\mu^-+\mathbf K(z-\mathbf h\boldsymbol\mu^-),\\ \mathbf P^+&=\mathbf P^–\mathbf K\mathbf h\mathbf P^-, \end{aligned}\right. \quad \mathbf h=[1,0].\tag{12}\]

Initially, \(\mu_D=0\), \(\mu_v=v_0\), \(P_{DD}=0.002^2\), \(P_{vv}=(0.90v_0)^2\), and \(P_{Dv}=0\). The nominal \(v_0\) uses \(a_0=75\,\mu\)m, \(C=1.5\times10^{-11}\), \(Y=1.425\), \(M_r=1.48\), and unit load/environment multipliers. Updated means are projected to \(\mu_D\ge0\) and \(\mu_v\ge0.001v_0\); covariance is retained. These projections and the non-Gaussian rate distribution make the estimator approximate rather than an exact posterior for the full latent-variable model.

With \(h=\min(\tau_I,20-t)\), the predicted damage mean and variance are

\[\left\{\begin{aligned} \mu_{D,h}&=\mu_D+h\mu_v,\\ V_{D,h}&=P_{DD}+2hP_{Dv}+h^2P_{vv}+0.003^2h,\\ p_h&=\Phi\!\left(\frac{\mu_{D,h}-1}{\sqrt{V_{D,h}}}\right). \end{aligned}\right.\tag{13}\]

Planned replacement is performed when

\[C_Fp_h>C_R.\tag{14}\]

This is a myopic, one-inspection-horizon expected-loss rule, not a globally optimal maintenance solution. \(C_R\) is the cost of a new unit plus installation, and \(C_F\) is the assumed structural-failure consequence. Direct Monte Carlo failure counts assess the resulting policy independently of its internal Gaussian risk approximation.

4.2. Restoration Rules and Failure Evidence

Unit replacement resets \(D_m,D_f,b\) and the estimator prior. New defect size, residual stress, morphology, surface proximity, and crack-growth coefficient are independently drawn for that unit. Mission load, environmental severity, and sensor-aging/drift multipliers persist. Missing individual sensing routes are repaired at inspection, and functional refurbishment resets \(D_f\) and \(b\) without resetting structural damage. The component’s structural failure is absorbing; no subsequent operation or repair is charged after that event.

Failure analysis can feed subsequent designs by combining fracture-surface evidence, defect localization, interface inspection, and sensing records. Figure 1 distinguishes this proposed feedback from the implemented replacement loop. No fractography or physical root-cause experiment was performed. The benchmark records a specified crack-limit event; it cannot identify whether an actual fabricated component would fail by crack propagation, buckling, interface rupture, or another mechanism.

Figure 1. Lifecycle architecture. Solid arrows indicate implemented forward modeling and replacement feedback. Dashed arrows indicate a proposed physical failure-analysis and redesign extension.

5. Reliability-Constrained Engineering Optimization

The design vector contains lattice relative density \(\rho^*\), shell thickness \(t_s\), route count \(n_s\), route width \(w_s\), orientation \(\theta\), finishing level \(z_p\), and inspection interval \(\tau_I\). The sampled trade-off vector is

\[\min_{\mathbf x}\;\mathbf F(\mathbf x)= \left[m,\mathbb E(C_{LC}),P_F,1-A\right].\tag{15}\]

A member is sample-nondominated if no other evaluated member improves at least one objective without worsening another. This finite-set definition does not imply global Pareto optimality in the continuous or mixed-variable design space.

The final admissibility conditions are

\[\sigma_{\mathrm{peak,nom}}\le250\,\mathrm{MPa},\qquad u_{\mathrm{nom}}\le100\,\mu\mathrm m,\qquad P_{F,U}^{(1)}\le\Phi(-3),\qquad A_L\ge0.99.\tag{16}\]

The first two are deterministic nominal checks, not probabilistic yield or displacement qualifications. Positive core dimensions and prescribed thickness/width ranges provide elementary geometric bounds, not manufacturing-process certification. \(P_{F,U}^{(1)}\) is an exact one-sided 95% upper binomial limit; \(A_L\) is the mean availability minus 1.96 Monte Carlo standard errors. The target reliability and availability values are illustrative design requirements and are not aerospace certification criteria.

With \(K\) structural failures in \(n\) independent lifecycles, \(\widehat P_F=K/n\). The binomial confidence construction follows Clopper and Pearson [16]; for \(K<n\),

\[P_{F,U}^{(1)}=B^{-1}_{0.95}(K+1,n-K),\qquad \beta_L^{(1)}=-\Phi^{-1}\!\left(P_{F,U}^{(1)}\right),\tag{17}\]

where \(B^{-1}\) is the beta-distribution quantile. Two-sided 95% intervals use quantiles 0.025 and 0.975 with the usual endpoint conventions. A zero-failure run is reported with a finite upper probability bound, not as evidence of infinite physical reliability. The independent confirmation of the selected candidate avoids using its selection sample to make the final reliability statement; the bounds remain conditional on the assumed model and distributions.

For a realization with event times \(t_j\), the discounted cost is

\[\begin{aligned} C_{LC}={}&C_{AM}+C_{post} +\sum_j\frac{C_{I,j}+C_{R,j}+C_{S,j}}{(1+r)^{t_j/8.76}}+\int_0^{T_{\mathrm{service}}}\frac{c_B\mathbb I[n_{\mathrm{active}}(t)=0]}{(1+r)^{t/8.76}}\,dt +\frac{C_F\mathbb I[F]}{(1+r)^{t_F/8.76}}. \end{aligned}\tag{18}\]

Time in this equation is kh, 8.76 kh is one 365-day year, and \(r=0.04\) is annual. Costs are arbitrary consistent units, not quotations or industrial estimates. The outage integral is approximated on the simulation grid, while structural failure time is interpolated within the crossing step. Inspection, sensor repair, and replacement costs are charged only when their events occur. No separate unreported unscheduled-maintenance term is used: sensor repair is in \(C_S\), diagnostic loss in \(c_B\), and structural consequence in \(C_F\).

6. Demonstration: Self-Sensing Lattice Bracket

6.1. Case Definition and Mechanical Surrogate

The notional bracket is a cantilever-equivalent member with length \(L=60\) mm and outer width and height \(w=30\) mm and \(h_b=16\) mm. It has a continuous shell and a homogenized cellular core. The example assumes a nominal metallic host with \(E_0=70\) GPa and density \(2700\,\mathrm{kg\,m^{-3}}\), together with separately integrated conductive sensing routes. No alloy, actual lattice topology, or process-specific metal–polymer interface is experimentally characterized. Figure 2 shows the modeling idealization, not a manufactured specimen or a finite-element mesh.

With \(w_i=w-2t_s\) and \(h_i=h_b-2t_s\), the response maps are

\[I_s=\frac{wh_b^3-w_i h_i^3}{12},\quad I_c=\frac{w_i h_i^3}{12},\quad I_{\mathrm{eq}}=I_s+(\rho^*)^2 I_c,\quad E_\theta=E_0(1-0.12\sin^2\theta).\tag{19}\]
Figure 2. Prescribed geometry and sensing-layout idealization for the bracket.

The density-squared stiffness contribution is an assumed bending-dominated homogenization inspired by cellular-solid scaling, for which Gibson and Ashby provide general background [17]. It is not a fitted property law for the unspecified core. The local nominal stress multiplier, displacement, and mass are

\[\left\{\begin{aligned} K_t&=[1.9-0.25z_p+0.3(1-\rho^*/0.42)](1+0.15\sin^2\theta),\\ \Delta\sigma&=10^{-6}\frac{K_t\Delta F Lh_b}{2I_{\mathrm{eq}}},\qquad u=\frac{F_{\mathrm{service}}L^3}{3E_\theta I_{\mathrm{eq}}},\\ m&=2700L[wh_b-w_i h_i+\rho^*w_i h_i]+0.00025n_sw_s. \end{aligned}\right.\tag{20}\]

The last term is in kg with \(w_s\) in mm. Peak stress uses \(\Delta F=650\) N in the same map, while the fatigue range uses 300 N and service displacement uses 350 N. The fatigue-driving stress is held fixed as the crack progresses; local redistribution and crack-dependent stiffness are not solved. Its relationship to the normalized sensing damage term is prescribed rather than derived from a coupled finite-element model.

6.2. Uncertainty and Cost Specification

Table 2 specifies every random input governing unit life and sensing deterioration. Lognormal parameters are given as medians and standard deviations of the natural logarithm, avoiding ambiguity between arithmetic and logarithmic standard deviations. Defect and residual-stress truncation is implemented by inverse distribution functions. Unit variables are redrawn at replacement; persistent mission multipliers create dependence between successive units within a lifecycle even though primitive draws are independent.

Table 2. Analyst-defined input distributions. None is fitted to experimental data. Independent Gaussian measurement/process draws and route-event uniforms are generated additionally during the lifecycle.
InputDistributionPersistence
Initial flaw \(a_0\)Lognormal median \(75\,\mu\)m, log SD 0.45, truncated to 25–180 \(\mu\)mRedrawn at unit replacement
Residual stress \(\sigma_r\)Normal mean 120 MPa, SD 35 MPa, truncated to 40–220 MPaRedrawn at unit replacement
Surface proximity \(\eta_s\)Uniform \([0,1]\); larger is closer to surfaceRedrawn at unit replacement
Morphology \(\chi\)Uniform \([0,1]\)Redrawn at unit replacement
Paris coefficient \(C\)Lognormal median \(1.5\times10^{-11}\), log SD 0.35, units stated below Eq. (3)Redrawn at unit replacement
Load multiplier \(\xi_L\)Lognormal median 1, log SD 0.15Persistent over mission
Environment \(\xi_e\)Lognormal median 1, log SD 0.15Persistent; affects growth and route outages
Drift multiplier \(\xi_b\)Lognormal median 1, log SD 0.25Persistent over mission
Gain-aging multiplier \(\xi_f\)Lognormal median 1, log SD 0.25Persistent over mission

The remaining fixed maps are

\[\begin{aligned} \alpha_f&=0.0035(0.9/w_s)^{1.3}(\Delta\sigma/40)^{1/2}\;\mathrm{kh}^{-1},\\ \lambda_p&=0.060(0.9/w_s)^{1.5}\;\mathrm{kh}^{-1},\\ C_{AM}&=120+250m/0.045+12n_sw_s+20\sin^2\theta,\\ C_{post}&=50z_p,\quad C_R=C_{AM}+C_{post}+40,\quad C_I=12+3n_s. \end{aligned}\tag{21}\]

Each missing route costs 12 units to repair at inspection. Functional refurbishment costs \(35+8n_s\). The structural-failure consequence is 500,000 units, diagnostic outage costs 60 units per kh, and \(\sigma_c=0.018\), \(\sigma_i=0.045\), \(\sigma_t=0.010\). These choices deliberately permit inspection and consequence costs to affect design ranking. They are scenario inputs, not universal engineering-economic parameters. Cost sensitivity to their magnitudes is an important application-specific task, not resolved by reporting precise Monte Carlo means.

6.3. Sampling, Selection, and Computational Procedure

The design set comprises 176 mixed-variable Latin-hypercube points generated with seed 61004 and four explicit reference members. The latter include a minimum-mass corner, the originally envisaged intermediate geometry, a high-reserve corner, and another intermediate reference. Every coordinate is supplied in design_candidates.csv; bounds appear in Table 3.

Table 3. Design ranges. Discrete coordinates are formed from strata of a seven-dimensional Latin-hypercube sample; four explicit reference designs complete the 180-member set.
VariableRangeTypeMain modeled effect
\(\rho^*\)0.18–0.42ContinuousCore mass and stiffness
\(t_s\)1.2–2.8 mmContinuousShell geometry
\(n_s\)1–4IntegerRoute noise and availability
\(w_s\)0.5–1.4 mmContinuousNoise, aging, outage hazard
\(\theta\)0–90 degreesContinuousPrescribed stiffness/stress factors
\(z_p\)0 or 1BinaryStress multiplier and finishing cost
\(\tau_I\)1–6 khIntegerInspection and intervention timing

Each member is first simulated for 4,000 independent lifecycle realizations with a 0.25 kh time step and seed 1729. This is provisional screening rather than reliability certification. No member satisfies both confidence-based reliability and availability bounds in that screening run. Accordingly, uncertainty at the screening stage is not treated as proof that the design space is infeasible. Eight finalists are selected as the eight lowest estimated-cost designs satisfying nominal mechanical and diagnostic-availability checks. Each is independently evaluated using 50,000 realizations and seed \(40000+\mathrm{ID}\). The least-cost member satisfying all final constraints is selected; a fresh seed 92001 and 200,000 realizations provide its independent confirmation. All eight finalist results are included in the supplement, including those that do not qualify.

At each time step the code advances damage, gain loss, signed drift, and independent/common route events; checks structural-limit crossing before any inspection action; charges outage exposure only while the component remains structurally active; and performs scheduled inspection and repair when applicable. It then updates the estimator, predicts risk to the next inspection, and decides replacement. Inspections exactly at the mission endpoint are omitted. The simulation draws independent replacement-unit proposals for all trajectories at each inspection, making same-design policy comparisons reproducible with a shared random stream. Different route counts consume different random streams and are not treated as paired comparisons.

6.4. Model-Based Results

Table 4 reports representative finalist outcomes. Design 179 is the only finalist meeting both confidence-based lifecycle constraints in the refinement sample. Its parameters are \(\rho^*=0.42\), \(t_s=2.8\) mm, four routes, \(w_s=1.4\) mm, \(\theta=0\) degrees, finishing level one, and \(\tau_I=1\) kh. The independent confirmation gives mass 55.32 g, nominal displacement \(43.08\,\mu\)m, and nominal peak stress 61.61 MPa. Structural failure probability is 0.000455, the point reliability index is 3.317, and its one-sided lower bound is 3.268. Availability is 99.9673%, and mean cost is 1246.7 units with Monte Carlo standard error 23.1.

Table 4. Representative independently refined designs. Design 179 uses the separate 200,000-realization confirmation; other rows use their 50,000-realization refinement. MCSE denotes Monte Carlo standard error.
ID\(n\)Mass (g)\(10^3\widehat P_F\)\(10^3 P_{F,U}^{(1)}\)\(\beta_L^{(1)}\)Cost (MCSE)
2750,00050.991.0801.3552.9991309.0 (71.1)
16950,00052.172.2002.5772.7971749.2 (100.5)
17450,00048.291.0801.3552.9991475.0 (71.1)
18050,00046.801.3601.6642.9361593.1 (79.6)
179200,00055.320.4550.5423.2681246.7 (23.1)

The selected member lies on several upper design bounds. It is therefore a confidence-qualified result within the tested set, not evidence of an interior optimum or of the best possible AM bracket. Figure 3 shows the complete preliminary trade space and distinguishes its sample-nondominated points from independent confirmation. Low mass alone does not establish lifecycle admissibility. The minimum-mass corner passes the prescribed nominal displacement and stress checks but has a high simulated crack-limit exceedance probability; its economic comparison is not used to claim savings between equally admissible designs.

Figure 3. Preliminary mass–cost projection of all 180 evaluated designs. Color represents screening failure fraction, with zero fractions plotted at the screening probability resolution. Open circles indicate sample-nondominated members of the four-objective screening set. The star represents the independently confirmed selected design.

6.5. Same-Geometry Policy Comparisons

To separate policy effects from geometry effects, four maintenance rules are applied to the selected geometry. The risk rule uses Eq. (14). A fixed-age rule replaces at a specified unit age at scheduled inspections. Fixed ages from 2 to 20 kh are screened with 50,000 realizations each; 5 kh gives the lowest estimated cost among confidence-qualified ages on this integer grid. That policy is then compared independently with the risk rule using 100,000 realizations and seed 71001. The fixed-age search is not a proof of globally optimal age-based maintenance; its full results are supplied.

A nominal-age rule replaces when \(v_0t_{\mathrm{age}}\ge0.70\), ignoring the observed state for its replacement decision. A naive rule uses loaded measurements alone and assumes stable gain and drift. Both retain the same installed sensing hardware and inspection costs, so these are decision-policy ablations rather than sensor-removal experiments. A separate one-route design retains the mechanical geometry and route width but changes route count; it is assessed with an independent seed.

Table 5. Policy and route-count comparisons with 100,000 realizations each. The first four rows share the selected geometry and random stream. The one-route comparison uses a separate stream. Availability is the mean active-service diagnostic availability.
PolicyFailures\(10^3\widehat P_F\)\(10^3 P_{F,U}^{(1)}\)\(A\) (%)Cost (MCSE)
Risk-based530.5300.66699.9681283.7 (35.3)
Fixed age (5 kh)410.4100.53299.9682880.0 (30.4)
Nominal-age301830.18031.08599.96815099.6 (252.6)
Drift/gain ignored250925.09025.91999.96812692.5 (230.3)
One sensing path1081.0801.26798.0251326.3 (49.9)

Table 5 shows that risk-based replacement and the selected 5 kh fixed-age rule both satisfy the structural reliability target. Their point failure fractions differ slightly, but this comparison does not establish that the risk rule has lower structural failure probability. Its economic advantage comes primarily from avoiding scheduled replacements that are unnecessary for most realized fatigue rates. Expected cost falls by 55.4%, with an approximate paired delta-method 95% Monte Carlo interval of [53.1, 57.8]%. This interval concerns simulation sampling error under fixed assumptions, not uncertainty in industrial costs or the adequacy of the physical model.

The naive rule has markedly higher failure probability and damage-estimation error because gain loss can mask progression in its loaded-only signal. The nominal-age rule also fails to protect high-rate trajectories under the assumed latent distribution. Reducing the selected architecture to one route lowers diagnostic availability to approximately 98.03%, below the 99% requirement. This availability result should not be confused with a series-system failure probability. Figure 4 presents the structural intervals and the full cost decomposition for the two confidence-qualified same-geometry policies.

Figure 4. Policy consequences on the benchmark. Left: structural failure estimates with exact two-sided 95% binomial intervals. Right: complete mean discounted-cost decomposition for risk-based and selected fixed-age maintenance on the same geometry.

6.6. Numerical Verification and Sampling Uncertainty

For the selected geometry at nominal uncertainty values, the integrated Paris life is \(8.89590864098\times10^6\) cycles. Independent numerical quadrature of the growth-law integral agrees to relative error \(4.19\times10^{-16}\). This verifies the analytical integration and its implementation, not the material validity of the assumed Paris coefficients. The observation matrix has rank three, and the reported total cost equals its stored component means to numerical rounding accuracy.

Table 6. Independent Monte Carlo sample-size assessments of the selected design. Probability intervals are expressed in \(10^{-3}\). Runs use distinct seeds and are not nested sample prefixes.
\(n\)Failures\(10^3\widehat P_F\)Two-sided 95% interval\(\beta_L^{(1)}\)Cost (MCSE)
4,00010.250[0.006, 1.392]3.0391150.0 (121.7)
20,00080.400[0.173, 0.788]3.1861221.1 (68.7)
100,000420.420[0.303, 0.568]3.2671230.2 (31.3)
200,000910.455[0.366, 0.559]3.2681246.7 (23.1)

Table 6 and Figure 5 show why a small sample cannot provide a precise rare-failure statement. The 4,000-realization run observes only one failure, with a broad interval. The 200,000-realization confirmation observes 91, producing a narrower interval entirely below the target probability. This improvement is statistical precision conditional on the model. It does not remove systematic uncertainty in the fatigue or sensing assumptions.

Figure 5. Failure-probability uncertainty across independent sample-size runs. Error bars are exact two-sided 95% binomial intervals. The dashed line is the illustrative target corresponding to \(\beta=3\).

Table 7 compares 0.5, 0.25, and 0.125 kh steps. Failure-probability intervals overlap, and cost differences are comparable to Monte Carlo uncertainty. Availability changes by less than 0.01 percentage points over these runs. This is a limited refinement check: it supports the reported precision but does not establish asymptotic convergence for all possible parameter regimes. Inspections remain on integer-kilohour times, and structural crossing time is interpolated within the step.

Table 7. Independent time-step assessments, each using 50,000 trajectories. The fatigue coordinate has an exact constant-rate advance; route-outage exposure and sensing-aging integration depend on the step. Probability intervals are in \(10^{-3}\).
\(\Delta t\) (kh)Failures\(10^3\widehat P_F\)Two-sided 95% interval\(A\) (%)Cost (MCSE)
0.500220.440[0.276, 0.666]99.96521238.5 (45.1)
0.250210.420[0.260, 0.642]99.96721229.5 (44.1)
0.125270.540[0.356, 0.786]99.97251288.3 (50.1)

6.7. Rank-Based Sensitivity Screening

Spearman correlations are computed between the nine first-unit/persistent inputs and two outputs: intrinsic first-unit fatigue life without intervention, and full policy-dependent lifecycle cost. Figure 6 shows these signed associations. The strongest life association is load multiplier (\(-0.530\)), followed by surface proximity (\(-0.448\)), Paris coefficient (\(-0.410\)), initial defect size (\(-0.351\)), and residual stress (\(-0.320\)). The positive cost association is largest for environmental severity (\(0.218\)), which affects both fatigue and sensing-route outages.

These correlations are a screening description, not percentages of explained variance and not causal decompositions. Structural-unit variables are redrawn after replacement, so first-unit associations with lifecycle cost need not match their associations with unmaintained fatigue life. Sensor-aging and drift multipliers show near-zero marginal cost associations in this particular calibrated-interrogation scenario; this does not establish that they are negligible under different sensing or maintenance assumptions. Nominal elastic modulus is fixed and no modulus sensitivity ranking is claimed.

7. Failure Mechanisms and Diagnostic Signatures

A useful physical sensing architecture should distinguish plausible mechanisms rather than merely flag a changed signal. Lack-of-fusion features, near-surface flaws, and roughness can motivate defect-sensitive fatigue investigations. Progressive conductive-network change can produce a persistent resistance offset, while temperature or electronics can generate reversible baseline shifts. Interface deterioration can reduce strain transfer and apparent gain. These mechanisms motivate unloaded, calibrated, and loaded interrogations, but the present linear response does not reproduce their material-specific electrical signatures.

Figure 6. Signed rank associations in the 200,000-realization confirmation. Left: first-unit fatigue life before intervention. Right: complete lifecycle cost under risk-based maintenance. The bars are correlations, not variance shares.

A diagnostic feature set for experimental work could include irreversible baseline shift, load-correlated gain, hysteresis, temperature dependence, and disagreement between routes. A single-route change with stable mechanically equivalent routes would motivate examination of that route or interface. A correlated change across every route would require checking shared thermal/electronic disturbances as well as structural damage. Reduced gain with a stable unloaded baseline would motivate a strain-transfer assessment. These are testable diagnostic hypotheses, not uniquely validated classification rules.

The common-cause hazard deliberately prevents route count from being treated as unlimited protection. Calibration and local repair restore information at inspection, but diagnostic outages between inspections remain in the availability and cost records. Translating this mechanism to a real component requires a measured probability of detection, false-alarm behavior, calibration uncertainty, and route-dependence model. No confusion matrix or classification accuracy is reported because no mechanism-labeled experimental dataset was obtained.

8. Discussion

8.1. Why Reliability Changes the Admissible Set

The nominal response maps favor thinner shells and lower core density through reduced mass. The fatigue model instead amplifies adverse combinations of stress, defects, morphology, and residual stress. A candidate can satisfy the deterministic stress/displacement checks while failing the mission probability requirement. Confidence-based screening also reveals a different limitation: at low sample sizes, uncertainty in a rare failure estimate can prevent a reliability claim even when a subsequent independent evaluation qualifies the design.

The selected corner combines mechanical reserve, four sensing routes, wide tracks, finishing, and frequent inspection. Its location on multiple bounds indicates that the tested ranges constrain the apparent optimum. A wider design domain, other topologies, or a different consequence cost could change the selected member. The finite sample and finalist shortlist do not prove that no lower-cost qualifying design exists elsewhere. Increasing structural reserve has a material cost, but the objective is expected mission performance rather than minimum initial mass.

8.2. Maintenance Is Part of Functional Design

The same-geometry comparisons show that a reliable monitoring model changes intervention frequency. The fixed-age rule replaces nearly three units per mission even though the selected bracket’s nominal unmaintained fatigue life is approximately 89 kh. Risk-based replacement is infrequent for nominal trajectories but can respond to adverse rates inferred from inspections. The gain/drift-aware contrast is central: a loaded-only decision rule can incorrectly interpret a reduced functional response as low structural damage.

The cost benefit is conditional on the assumed failure consequence, inspection access, and possibility of rapidly repairing sensing routes. Changing these assumptions could reverse the preferred architecture or policy. The example does not establish that four routes and a one-kilohour interval are optimal for actual hardware. Nor does it establish that state-based maintenance always reduces failure probability relative to a conservative age policy. In the verified comparison, both confidence-qualified policies meet the same illustrative structural target, while their lifecycle costs differ substantially.

8.3. Qualification Implications

Physical qualification should preserve the material–process–geometry and sensor–host interactions represented in service. Static coupons alone would not identify crack progression, calibration aging, or route-dependence behavior. Defect characterization, surface metrology, interface tests, environmental exposure, and blind detection trials supply different types of evidence. The benchmark’s separation of structural reliability and diagnostic availability makes their acceptance requirements explicit rather than combining them into an unexplained scalar score.

The dominant rank associations are also model-dependent. Cubic stress dependence is prescribed by the Paris exponent, and the environment input intentionally influences both fatigue and route outage. Their observed rankings partly reflect these modeling choices. Reliability statements must therefore be accompanied by distribution provenance and model-form checks when the framework is applied to a specific material system.

9. Conclusions

A transparent lifecycle framework has been developed for a AM self-sensing structure. The model distinguishes structural progression, functional gain loss, and signed measurement drift; gives redundancy a finite, noise- and outage-based interpretation; and connects sequential damage estimation to a stated replacement rule. Manufacturing, inspection, replacement, sensing repair, diagnostic outage, and structural consequence appear explicitly in the cost accounting.

The independently confirmed selected design satisfies the benchmark’s confidence-based structural and diagnostic criteria, with 91 structural-limit exceedances in 200,000 lifecycles and a one-sided reliability-index lower bound of 3.268. Same-geometry comparisons show 55.4% lower expected cost than the least-cost qualified fixed-age policy identified on the tested integer-age grid. Both policies meet the illustrative structural requirement; the evidence supports an economic difference rather than a universal reliability advantage of condition-based maintenance. Loaded-only monitoring and nominal-age replacement are inadequate under the assumed latent variability, while a one-route architecture fails the separate diagnostic-availability requirement.

The results are newly executed computations with complete parameter, code, and output provenance. Their contribution is an explicit treatment of information quality in a lifecycle decision model. Material-specific fatigue, sensing, interface, process, and economic calibration remains necessary before industrial interpretation or qualification.

Funding

This research received no external funding.

Competing Interests

The author declares that there are no competing interests.

Data Availability

The data supporting the findings of this study are available from the author upon reasonable request.

Use of Generative Artificial Intelligence

Generative artificial intelligence tools were used solely for language editing, grammatical correction, and improvement of readability. The author reviewed and verified the final manuscript and assumes full responsibility for its accuracy, integrity, and scholarly content.

References

  1. Gibson, I., Rosen, D., & Stucker, B. (2015). Additive Manufacturing Technologies: 3D Printing, Rapid Prototyping, and Direct Digital Manufacturing (2nd ed.). Springer.
  2. du Plessis, A., Yadroitsava, I., & Yadroitsev, I. (2020). Effects of defects on mechanical properties in metal additive manufacturing: A review focusing on X-ray tomography insights. Materials & Design, 187, 108385.
  3. Sanaei, N., & Fatemi, A. (2021). Defects in additive manufactured metals and their effect on fatigue performance: A state-of-the-art review. Progress in Materials Science, 117, 100724.
  4. Bartlett, J. L., & Li, X. (2019). An overview of residual stresses in metal powder bed fusion. Additive Manufacturing, 27, 131–149.
  5. Fatemi, A., Molaei, R., Simsiriwong, J., Sanaei, N., Pegues, J., Torries, B., Phan, N., & Shamsaei, N. (2019). Fatigue behaviour of additive manufactured materials: An overview of some recent experimental studies on Ti-6Al-4V considering various processing and loading direction effects. Fatigue & Fracture of Engineering Materials & Structures, 42(5), 991–1009.
  6. Solberg, K., & Berto, F. (2019). What is going on with fatigue of additively manufactured metals? Material Design & Processing Communications, 1(5), e84.
  7. Bendsøe, M. P., & Sigmund, O. (2003). Topology Optimization: Theory, Methods, and Applications. Springer.
  8. Zhu, J., Zhou, H., Wang, C., Zhou, L., Yuan, S., & Zhang, W. (2021). A review of topology optimization for additive manufacturing: Status and challenges. Chinese Journal of Aeronautics, 34(1), 91–110.
  9. Ubaid, J., Schneider, J., Deshpande, V. S., Wardle, B. L., & Kumar, S. (2022). Multifunctionality of nanoengineered self-sensing lattices enabled by additive manufacturing. Advanced Engineering Materials, 24(7), 2200194.
  10. Cubillo, A., Perinpanayagam, S., Esperon-Miguez, M., & John, P. (2017). Real-time maintenance optimization considering health monitoring and additive manufacturing. International Journal of Prognostics and Health Management, 8(2), Article 016.
  11. Murakami, Y. (2002). Metal Fatigue: Effects of Small Defects and Nonmetallic Inclusions. Elsevier.
  12. Zerbst, U., Madia, M., Klinger, C., Bettge, D., & Murakami, Y. (2019). Defects as a root cause of fatigue failure of metallic components. I: Basic aspects. Engineering Failure Analysis, 97, 777–792.
  13. Paris, P., & Erdogan, F. (1963). A critical analysis of crack propagation laws. Journal of Basic Engineering, 85(4), 528–533.
  14. Miner, M. A. (1945). Cumulative damage in fatigue. Journal of Applied Mechanics, 12(3), A159–A164.
  15. Kalman, R. E. (1960). A new approach to linear filtering and prediction problems. Journal of Basic Engineering, 82(1), 35–45.
  16. Clopper, C. J., & Pearson, E. S. (1934). The use of confidence or fiducial limits illustrated in the case of the binomial. Biometrika, 26(4), 404–413.
  17. Gibson, L. J., & Ashby, M. F. (1997). Cellular Solids: Structure and Properties (2nd ed.). Cambridge University Press.
Citation
Zora Goodwin. Additive Manufacturing of Smart and Functional Structures: A Framework for Sensing, Maintenance, and Engineering Optimization[J], TK Techforum Journal (ThyssenKrupp Techforum), Volume 2026 (3). 34-48.

Related Articles

Iftikhar Ahmed1, Maria Javaid2
1University of Agriculture, Faisalabad (burewala Campus), Pakistan
2University of Lahore, Lahore 54000, Pakistan