摘要： 针对动态故障树割序集模型量化方法的模糊性、不一致性和局限性，提出一种基于时态失效逻辑的割序集模型量化方法。给出 3种时态失效逻辑，包括割序集的优先失效逻辑、序列失效逻辑和备件失效逻辑，结合时态区间的概念，设计不同时态失效逻辑的统一量化方法。示例结果表明，该方法计算较为精确，便于操作。

关键词: 可靠性, 动态故障树, 割序集, 时态逻辑, 量化方法, 时态区间

Abstract: To overcome the fuzziness, inconsistency and limitation in Cut Sequence Set(CSS) model for dynamic fault tree, this paper proposes a quantification method of cut sequence set model based on temporal failure logic. It gives three tense failure logics, including priority failure logic, sequential failure logic and spares failure logic. Using temporal failure logic, it designs an unified quantitative method of different tenses failure logic. Example results show that this method is accurate, convenient, and easy to operate.

Key words: reliability, dynamic fault tree, cut sequence set, temporal logic, quantification method, temporal interval

中图分类号: 

• TP391