分析人员可用（）来求解这些事故序列事故树，以求得它们的最小割集。