| 最小径集求解方法及Mathematica实现 |
| |
| 引用本文： | 赵自豪,李鹏慧.最小径集求解方法及Mathematica实现[J].湖南科技大学学报(自然科学版),2022,37(2):27-32. |
| |
| 作者姓名： | 赵自豪 李鹏慧 |
| |
| 作者单位： | 1.内蒙古科技大学 矿业与煤炭学院,内蒙古 包头 014010;2.晋能控股集团北辛窑煤业公司,山西 忻州 034000 |
| |
| 基金项目： | 内蒙古自然科学基金资助项目(2019MS04016) |
| |
| 摘 要： | 为了解决传统事故树最小径集求解过程中遇到的计算量大、专业化简软件缺乏、手工计算容易出错的问题,文章研究了现有2种最小径集求解方法,用图解的形式说明了这2种方法的求解路径,通过理论推导证明了最小割集和最小径集在事故树的表示上是等效的.在此基础上,提出了一种新的求解最小径集的方法并进行了证明.通过在Mathematica软件中建立基本的事故树化简规则,从而实现了事故树的软件自动化简,并通过实例验证,证明了文中所述3种最小径集求解方法的正确性和便捷性.
|
| 关 键 词： | 安全 Mathematica 事故树 布尔代数运算 最小径集 |
|
| 点击此处可从《湖南科技大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《湖南科技大学学报(自然科学版)》下载免费的PDF全文 |
|
