论文部分内容阅读
为了克服事故树手工解算时费时费力,容易出错的情境,在不引入专业软件的前提下,利用通用符号运算软件Mathematica对事故树的解算进行了研究.利用这一软件的规则替换功能,成功地实现了事故树各种运算法则并用实例进行了验证.研究表明,利用该软件能够快速有效地求取各种事故树的最小割集和径集,并能自动完成顶上事件发生概率和基本事件重要度系数的求取.从而为事故树的分析解算提供了快捷有效的途径.