原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
最小割集求法
相关概念求解方法〔行列法结构法布尔代数化简法〕
相关概念
割集——也叫做截集或截止集，它是导致顶上事件发生的根本领件的集合。也就是说事故树中一组根本领件的发生，能够造成顶上事件发生，这组根本领件就叫割集。引起顶上事件发生的根本领件的最低限度的集合叫最小割集。
径集——也叫通集或导通集，即如果事故树中某些根本领件不发生，顶上事件就不发生。那么，这些根本领件的集合称为径集。不引起顶上事件发生的最低限度的根本领件的集合叫最小径集。?
TOP
求解方法?
行列法
结构法
布尔代数化简法??
行列法
行列法是1972年福塞尔提出的方法，所以也称其为福塞尔法。其理论依据是：“与门”使割集容量增加，而不增加割集的数量；“或门”使割集的数量增加，而不增加割集的容量。这种方法是从顶上事件开始，用下一层事件代替上一层事件，把“与门”连接的事件，按行横向排列；把“或门”连接的事件，按列纵横向摆开。这样，逐层向下，直至各根本领件，列出假设干行，最后利用布尔代数化简。化简结果，就得出假设干最小割集。
为了说明这种计算方法，我们以图4—25所示的事故树为例，求其最小割集。
事故树示意图
我们看到，顶上事件T与中间事件A1、A2是用“或门”连接的，所以，应当成列摆开，即
A1、A2与下一层事件B1、B2、X1、X2、X4的连结均为“与门”，所以成行排列：
下面依此类推：
整理上式得：
下面对这四组集合用布尔代数化简，根据A·A＝A，那么X1·X1＝X1，X4·X4＝X4，即
又根据A＋A·B＝A，那么X1·X2＋X1·X2·X3＝X1·X2，即
于是，就得到三个最小割集{X1，X2}，{X4，X5}，{X4，X6}。按最小割集化简后的事故树，如图4－26所示:
事故树等效图
TOP
结构法
这种方法的理论根据是：事故树的结构完全可以用最小割集来表示。
下面再来分析图4－25事故树示意图：
A1∪A2＝X1·B1·X2∪X4·B2?
＝X1·(X1∪X3)·X2∪X4·(C∪X6)
＝X1·X2∪X1·X3·X2∪X4·(X4·X5∪X6)?
＝X1·X2∪X1·X2·X3∪X4·X4·X5∪X4·X6?
＝X1·X2∪X1·X2·X3∪X4·X5∪X4·X6?
＝X1·X2∪X4·X5∪X4·X6
这样，得到的三个最小割集{X1，X2}、{X4，X5}、{X4，X6}完全与上例用行列法得到的结果一致。说明这种方法是正确的。
TOP
布尔代数化简法
这种方法的理论依据是：上述结构法完全和布尔代数化简事故树法相似，所不同的只是“∪”与“+”的问题。实质上，布尔代数化简法中的“+”和结构式中的“∪”是一致的。这样，用布尔代数化简法，最后求出的假设干事件逻辑积的逻辑和，其中，每个逻辑积就是最小割集。现在还以图4－25为例，进行化简。
T＝A1＋A2＝X1·B1·X2＋X4·B2
＝X1·(X1＋X3)·X2＋X4·(C＋X6)
＝X1·X1·X2＋X1·X3·X2＋X4·(X4·X5＋X6)
＝X1·X2＋X1·X2·X3＋X4·X4·X5＋X4·X6
＝X1·X2＋X1·X2·X3＋X4·X5＋X4·X6
＝X1·X2＋X4·X5＋X4·X6
所得的三个最小割集{X1，X2}、{X4，X5}、{X4，X6}与第一、第二种算法的结果相同。
总的来说，三种求法都可应用，而以第三种算法最为简单，较为普遍采用。
文档评论（0）