安全性与可靠性分析中故障树分析求解割集程序框架。