2. 可靠性指标体系与约束表达
可靠性设计不能停留在“感觉比较可靠”的层面，必须把工程要求转化为可计算、可验证的量化指标。本节围绕四个最常用的可靠性指标——平均故障间隔时间（MTBF）、失效率（λ）、可靠度（R(t)）与可用度（A）——说明它们的物理含义、相互转换关系，以及如何把这些指标写成优化模型中的约束条件。
一、四个基本指标的含义与量纲
失效率 λ 描述单位时间内发生故障的概率强度，常用单位为 FIT（1 FIT = 10⁻⁹/h）或 %/1000h。在电子元器件领域，λ 通常由手册给出或通过应力分析法估算。对于浴盆曲线的偶然失效期，λ 近似为常数，这是后续所有指数模型的前提。
可靠度 R(t) 是产品在 [0, t] 时间内不失效的概率，取值 0～1。当 λ 为常数时，R(t) = e^(−λt)。它回答的是“到时刻 t 还能正常工作的概率有多大”。
MTBF 是可修复产品两次相邻故障之间的平均工作时间，对不可修复产品则对应 MTTF。在恒定失效率假设下，MTBF = 1/λ。注意 MTBF 不是“寿命”，也不意味着产品一定能工作到该时刻——当 t = MTBF 时，R ≈ 0.368，即约 63.2% 的产品已经失效。
可用度 A 是可修复系统在任意时刻处于可工作状态的概率，稳态下 A = MTBF / (MTBF + MTTR)，其中 MTTR 为平均修复时间。它把“坏得多快”和“修得多快”统一到一个指标里，是维修保障设计的核心约束。
二、指标之间的转换关系
四个指标并非彼此独立，在恒定失效率假设下可以互相推导。下图给出它们之间的转换路径与关键公式，同时标出了“串联系统”这一最常见的约束合成方式。
举一个教学示例（参数为合理假设）：某控制器由 3 个串联模块组成，λ₁ = 200 FIT、λ₂ = 150 FIT、λ₃ = 50 FIT。则 λ_sys = 400 FIT = 4×10⁻⁷ /h，MTBF = 1/λ = 2.5×10⁶ h ≈ 285 年。若要求工作 5 年（43800 h）的可靠度，R = e^(−4×10⁻⁷×43800) ≈ e^(−0.01752) ≈ 0.9826。若 MTTR 为 8 h，则 A = 2.5×10⁶/(2.5×10⁶+8) ≈ 0.9999968。可以看到，MTBF 很大时可用度对 MTTR 并不敏感；但当 MTBF 降到 5000 h 时，A = 5000/5008 ≈ 0.9984，MTTR 的影响就显现出来了。
三、约束的数学表达形式
把指标写成约束，关键是把“设计变量”与“可靠性指标”之间的函数关系显式化。常见的设计变量包括冗余份数、降额系数、器件选型等级、维修间隔等。以下给出三类典型表达。
（1）可靠度下限约束。要求系统在任务时间 t 内的可靠度不低于 R₀：
R(x, t) = exp(−λ(x)·t) ≥ R₀
等价于：λ(x) ≤ −ln(R₀) / t例如 R₀ = 0.95、t = 10000 h，则 λ 上限为 −ln(0.95)/10000 ≈ 5.13×10⁻⁶ /h，即约 5130 FIT。这条约束把概率要求直接转成了对失效率的线性上限，便于与成本模型联立。
（2）可用度下限约束。要求 A ≥ A₀，在 MTBF 与 MTTR 均可调时：
MTBF / (MTBF + MTTR) ≥ A₀
等价于：MTTR ≤ MTBF·(1 − A₀)/A₀若 A₀ = 0.99、MTBF = 2000 h，则 MTTR ≤ 2000×0.01/0.99 ≈ 20.2 h。这直接给出了维修性设计的硬门槛。
（3）冗余与权重约束。当系统含 n 个并联冗余单元、单机可靠度为 Rᵢ 时，系统可靠度为 1 − Π(1 − Rᵢ)。若要求 R_sys ≥ R₀，可写成：
1 − Π(1 − Rᵢ) ≥ R₀
即 Π(1 − Rᵢ) ≤ 1 − R₀在优化中常取对数化为 Σ ln(1 − Rᵢ) ≤ ln(1 − R₀)，把乘积约束变成可加的线性化形式，便于用整数规划求解冗余份数。
四、从指标到约束的落地要点
实际工程中，指标约束往往不是单一不等式，而是“指标—成本—重量—功耗”的多目标权衡。建议按以下顺序推进：先由任务剖面确定 t 与 R₀ 或 A₀；再由历史数据或手册确定各单元 λ 基线；然后判断哪些变量可调（选型、降额、冗余、维修策略）；最后把可调变量代入上述约束式，形成可求解的模型。需要强调的是，所有示例数值仅用于说明计算路径，真实项目应以元器件手册、现场故障统计或加速试验数据为准，并保留不确定性区间。
指标体系的真正价值在于“可追溯”：每一个 R₀、A₀ 都应能追溯到任务要求，每一个 λ 都应能追溯到数据来源，每一条约束都应能对应到具体的设计动作。做到这一点，可靠性约束才不是纸面数字，而是能驱动设计决策的工程语言。