赵自豪;

• 1:内蒙古科技大学矿业与煤炭学院

•  

摘要(Abstract)：

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

关键词(KeyWords)： Mathematica;事故树;布尔代数运算

基金项目(Foundation): 国家自然科学基金资助项目(51364028,51064018)

作者(Author): 赵自豪;

Email:

参考文献(References)：

• [1] 汪元辉.安全系统工程[M].天津:天津大学出版社,2004.146-160.

• [2] 张景林,崔国璋.安全系统工程[M].北京:煤炭工业出版社,2009.42-54.

• [3] 赵自豪.煤焦油加工厂冷却器泄露事故树分析[J].矿业工程研究,2018,33(1):45-48.

• [4] 丁大正.Mathematica基础与应用[M].北京:电子工业出版社,2013.255-273.

• [5] Clever Moler.Experiments with Matlab[M].北京:北京航空航天大学出版社,2015.126-128.