标题： 模糊故障树：快速与形式化 显示英文标题

标题： Fuzzy Fault Trees: the Fast and the Formal

摘要： 我们提供了一个基于模糊理论的定量故障树分析中处理不确定性的严格框架。 我们表明，任何用于故障树不可靠性分析的算法都可以以完全通用且计算高效的方式适应此框架。 这一结果关键地利用了模糊数的alpha-cut表示和故障树的相干性性质。 我们在一个已建立的合成故障树基准上评估了我们的算法，证明了它们的实际有效性。 显示英文摘要

摘要： We provide a rigorous framework for handling uncertainty in quantitative fault tree analysis based on fuzzy theory. We show that any algorithm for fault tree unreliability analysis can be adapted to this framework in a fully general and computationally efficient manner. This result crucially leverages both the alpha-cut representation of fuzzy numbers and the coherence property of fault trees. We evaluate our algorithms on an established benchmark of synthetic fault trees, demonstrating their practical effectiveness.