3. FORM核心思想与几何解释

一次二阶矩法（First-Order Reliability Method，FORM）之所以能成为可靠度分析中最经典的方法，关键在于它做了一次“坐标系搬家”：把原本分布各异、量纲混杂的物理随机变量，统一映射到标准正态空间。在这个空间里，可靠度问题被转化为一个纯粹的几何问题——求原点到失效边界的最短距离。理解这条几何主线，就理解了FORM的全部核心。

一、从物理空间到标准正态空间

设结构功能函数为 Z = g(X₁, X₂, …, Xₙ)，其中基本变量 Xᵢ 可能服从正态、对数正态、极值分布等，且彼此相关。FORM的第一步是等概率变换：对每个变量做 uᵢ = Φ⁻¹[Fᵢ(xᵢ)]，把任意分布的 Xᵢ 映射为标准正态变量 Uᵢ。若变量间存在相关性，还需先做正交变换（如Cholesky分解或Rosenblatt变换）解耦，再逐变量映射。变换后功能函数变为 Z = g(U)，失效事件为 g(U) ≤ 0。

这一步的意义在于：标准正态空间具有各向同性的概率密度，等概率面是以原点为球心的超球面。概率密度只与到原点的距离 ‖u‖ 有关，越靠近原点概率密度越大。因此，“最可能发生的失效点”必然位于失效边界上离原点最近的位置。

二、设计点与可靠指标

失效边界 g(U) = 0 把标准正态空间分成安全域（g > 0）和失效域（g < 0）。失效边界上距离原点最近的点 u* 称为设计点（Design Point），也叫最可能失效点。原点到设计点的距离即为可靠指标：

β = ‖u*‖ = min{ ‖u‖ : g(u) = 0 }

求解设计点是一个约束优化问题。工程上常用HL-RF迭代格式：给定当前点 uₖ，计算梯度 ∇g(uₖ)，沿梯度方向更新：

uₖ₊₁ = [ (∇g(uₖ))ᵀuₖ − g(uₖ) ] / ‖∇g(uₖ)‖² · ∇g(uₖ)

迭代至 ‖uₖ₊₁ − uₖ‖ 足够小且满足 g(u*) ≈ 0。设计点的方向余弦 αᵢ = uᵢ*/β 反映了各变量对失效的敏感程度，αᵢ² 越大，说明该变量越关键，这对后续参数调整和监测布点有直接指导价值。

三、可靠指标与失效概率的近似关系

FORM最核心的近似结论是：P_f ≈ Φ(−β)。其几何解释是——在标准正态空间中，用设计点处的切平面（超平面）代替真实失效边界，则失效域被近似为半空间 β − u₁ ≤ 0，该半空间的概率恰为 Φ(−β)。由于切平面在凸性假设下位于真实边界内侧或外侧，这一近似对非线性程度不高的极限状态精度良好；当失效边界曲率较大时，需用二阶可靠度方法（SORM）修正。

四、一个可手算的教学示例

设功能函数 Z = R − S，抗力 R ~ N(100, 15²)，荷载效应 S ~ N(60, 10²)，单位均为kN，且相互独立。由于两者均为正态，可直接标准化：

u_R = (R − 100)/15,  u_S = (S − 60)/10
g(U) = (100 + 15u_R) − (60 + 10u_S) = 40 + 15u_R − 10u_S

失效边界为 15u_R − 10u_S = −40，这是标准正态空间中的一条直线，原点到它的距离可直接用点到直线距离公式：

β = |−40| / √(15² + (−10)²) = 40 / √325 ≈ 2.219
P_f ≈ Φ(−2.219) ≈ 1.32×10⁻²

设计点可由方向余弦得到：α_R = 15/√325 ≈ 0.832，α_S = −10/√325 ≈ −0.555，故 u_R* = −α_R·β ≈ −1.846，u_S* = −α_S·β ≈ 1.231。反变换回物理空间得 R* ≈ 100 − 1.846×15 ≈ 72.3 kN，S* ≈ 60 + 1.231×10 ≈ 72.3 kN，恰好满足 R* = S*，验证了设计点位于失效边界上。同时 α_R² ≈ 0.69 说明抗力对失效概率的贡献更大，若需提高可靠度，优先提升抗力均值或降低其变异性的效果更显著。

五、使用FORM时必须注意的边界条件

• 非线性程度：当失效边界在标准正态空间中弯曲明显时，切平面近似会带来偏差，应改用SORM或通过曲率修正因子调整 P_f。
• 多设计点问题：若失效边界存在多个局部最近点（如串联系统或多失效模式），单一设计点可能严重低估失效概率，需搜索全部显著设计点并做联合近似。
• 变量相关性：相关变量必须先变换为独立标准正态变量，否则“原点到边界距离”的几何意义不再成立。
• 非正态变量尾部：等概率变换在尾部可能放大分布拟合误差，对低失效概率（β > 4）问题应关注变换精度。

把上述内容串起来看，FORM的工作链条非常清晰：等概率变换把问题搬进标准正态空间 → 在失效边界上找离原点最近的设计点 → 用距离定义可靠指标 β → 用 Φ(−β) 给出失效概率的一阶近似。设计点不仅给出数值，还通过方向余弦告诉我们“哪个变量最要命”，这正是FORM在工程可靠度分析中经久不衰的原因。