| 摘要: |
| 为了解决传统事故树最小径集求解过程中遇到的计算量大、专业化简软件缺乏、手工计算容易出错的问题,文章研究了现有2种最小径集求解方法,用图解的形式说明了这2种方法的求解路径,通过理论推导证明了最小割集和最小径集在事故树的表示上是等效的.在此基础上,提出了一种新的求解最小径集的方法并进行了证明.通过在Mathematica软件中建立基本的事故树化简规则,从而实现了事故树的软件自动化简,并通过实例验证,证明了文中所述3种最小径集求解方法的正确性和便捷性. |
| 关键词: 安全 Mathematica 事故树 布尔代数运算 最小径集 |
| DOI： |
| 分类号:X928 |
| 基金项目:内蒙古自然科学基金资助项目(2019MS04016) |
|
|
|
|
| Abstract: |
|
| Key words: |
