3、可靠性建模方法:RBD、FTA、马尔可夫模型

各位同学,今天我们来聊聊可靠性建模。说白了,建模就是给系统的可靠性画个像。你设计了一个雷达处理系统,到底靠不靠谱?不能光靠拍脑袋,得用数学工具算出来。

我个人习惯,在项目初期先画可靠性框图(RBD),中期做故障树分析(FTA),到了后期或者遇到复杂冗余结构,才搬出马尔可夫模型。这三个工具各有各的脾气,咱们一个一个说。

3.1 可靠性框图(RBD)

RBD 是最直观的建模方法。它把系统拆成一个个功能模块,用方框表示,用连线表示逻辑关系。串联、并联、旁待机,一目了然。

串联模型:一个模块坏了,整个系统就挂了。比如雷达的电源模块和信号处理模块,任何一个出问题,雷达就歇菜。可靠度计算公式很简单:

R_system = R1 × R2 × ... × Rn

并联模型:多个模块同时工作,只要还有一个活着,系统就能撑住。我做过一个双冗余的发射机,两个通道同时工作,坏一个还能继续发射。可靠度公式:

R_system = 1 - (1-R1) × (1-R2)

重要提醒:RBD 假设模块之间是独立的。但在实际雷达系统中,共因失效(比如同一个电源供电)会破坏这个假设。你画 RBD 时,一定要问自己:这些模块真的独立吗?

我在项目中遇到过一件事。某型雷达的接收机用了双并联设计,RBD 算出来可靠度 0.999,结果试飞时连续坏了两次。后来一查,两个接收机共用同一个散热风扇。风扇一停,两个一起挂。这就是典型的共因失效,RBD 算不出来。

3.2 故障树分析(FTA)

FTA 是自顶向下的方法。你先定义系统级的故障(顶事件),然后一层层往下找原因。它特别适合找薄弱环节。

举个例子,雷达的「目标丢失」是顶事件。往下分解:可能是发射机故障,也可能是接收机故障,还可能是数据处理软件崩溃。每个分支继续往下挖,直到找到最基本的底事件。

FTA 用两种基本逻辑门:

  • 与门:所有输入事件都发生,输出才发生。比如两个电源都坏了,系统才掉电。
  • 或门:任何一个输入事件发生,输出就发生。比如天线坏了或者馈线断了,信号就断了。

我的经验:FTA 最怕漏掉底事件。我曾经给一个雷达做 FTA,顶事件是「无法开机」。我列了电源、主板、显示屏,结果漏了「电源线没插」。嗯,虽然听起来很蠢,但现场真的发生过。所以做 FTA 时,最好拉上硬件、软件、测试的人一起过一遍。

FTA 的定量分析也很实用。如果你知道每个底事件的失效率,就能算出顶事件的发生概率。公式不复杂:

P(顶事件) = 1 - ∏(1 - P(底事件))   // 或门
P(顶事件) = ∏ P(底事件)              // 与门

3.3 马尔可夫模型

马尔可夫模型,说白了就是描述系统在不同状态之间跳来跳去。它特别适合处理带维修、带冗余、带降级模式的系统。

你想想看,一个双冗余的雷达处理机,有几种状态?

  • 状态0:两个通道都正常
  • 状态1:一个通道坏了,另一个正常
  • 状态2:两个都坏了,系统失效

系统会从状态0跳到状态1(一个通道故障),也可能从状态1跳回状态0(修好了)。马尔可夫模型就是把这些跳转的概率算清楚。

我建议用状态转移图来辅助理解。画个圆圈代表状态,箭头代表转移,箭头旁边标上转移率(λ 是失效率,μ 是修复率)。然后列微分方程:

dP0/dt = -2λ·P0 + μ·P1
dP1/dt = 2λ·P0 - (λ+μ)·P1 + μ·P2
dP2/dt = λ·P1 - μ·P2

解这个方程组,就能得到系统在任意时刻处于各状态的概率。稳态可用度就是 P0 + P1。

避坑指南:我曾经在项目里用马尔可夫模型算一个三冗余系统,结果算出来的可用度比实际高很多。后来发现,我假设了维修资源无限——三个通道坏了可以同时修。但实际现场只有一个维修工程师,一次只能修一个。这个假设一改,结果就对了。所以,马尔可夫模型的假设条件一定要和实际匹配。

3.4 三种方法的对比

方法 适用场景 优点 缺点
RBD 系统级可靠性预估 直观、简单、快速 无法处理共因失效、维修过程
FTA 故障原因排查、薄弱环节识别 逻辑清晰、可定量分析 底事件容易遗漏、树太大时难维护
马尔可夫 冗余系统、可维修系统、降级模式 能处理动态行为、维修策略 状态空间爆炸、计算复杂

我个人习惯,在项目方案阶段先用 RBD 快速估算。到了详细设计阶段,用 FTA 找风险点。如果系统有冗余和维修策略,再上马尔可夫模型。三个工具配合使用,比单用一个靠谱得多。

最后说一句,模型只是工具,不是真理。你算出来的数字再漂亮,也不如一次真实的可靠性试验有说服力。模型帮我们找方向,但最终还是要靠测试来验证。