最小割集

摘要： 随着内河运输业的迅猛发展,船舶智能化、大型化发展迅速,内河航运船舶交通流增加,港口交通密度不断增大,引航安全已成为内河航运界的热门研究课题。为了改善和提高内河航运船舶引航作业安全,本文在分析长江下游港口水域船舶引航作业影响因素的基础上,结合张家港水域引航作业实际情况和特点,利用事故树分析法(FTA)对常见的事故进行定性分析,对船舶在长江下游港口水域中的引航安全进行科学有效的评估,并提出对策与建议。

摘要： 本文梳理总结了导致煤矿瓦斯爆炸事故的原因类型,对事故原因的内含与相互联系进行了分析阐述,绘制了事故树,并得出该事故树的最小割集、最小径集和结构重要度,分析了事故发生的途径,得出导致煤矿瓦斯爆炸事故的110种组合方式,并针对性提出了5种预防瓦斯爆炸事故发生的对策措施,对预防瓦斯爆炸事故的发生有一定的指导意义。

摘要： 自动化监测系统在现代智能化船舶中发挥着重要作用,但在系统研制过程中其可靠性预计未被重视。针对这一问题,以典型的分布式网络船舶自动化监测系统为研究对象,建立了基本可靠性和任务可靠性模型,并采用最小割集法进行量化分析和计算,得到可靠性预计结果。以某品牌自动化系统为例给出了算例,说明了方法的有效性。

摘要： 随着钻井技术的迅速发展,TDS-8SA顶驱装置作为海洋钻井平台的核心设备,目前对于TDS-8SA顶驱装置的应用已经非常广泛,但对其故障分析与诊断的研究有待进一步提高。本文采用故障树分析法对TDS-8SA顶驱装置的使用与维修过程中的故障进行分析,建立故障树,求出其最小割集、最小径集,对TDS-8SA顶驱装置故障进行排序,找出其薄弱环节,为TDS-8SA顶驱装置的使用与维护中的故障提供参考,为进一步对TDS-8SA顶驱装置故障分析与诊断提供理论依据。

摘要： 为降低铁路调车脱轨事故的发生概率,通过搜集汇总常见的调车脱轨事故案例,归类分析查找事故致因.采用事故树分析法,对调车脱轨的影响因素进行结构建模.利用布尔代数原理对事故树结构函数式进行化简,求出事故树的最小割集和最小径集,对影响因素进行结构重要度分析,得出影响调车脱轨事故的关键因素.最后,结合最小割集和最小径集的组成事件及其关联程度,分析制定预防调车脱轨事故的主要措施,即吸取典型事故教训、强化设备"用、管、修"制度执行、严格执行调车作业标准、做好调车脱轨事故应急处置,为铁路调车安全管理和决策提供参考依据.

摘要： 针对配电系统可靠性评估问题,提出了一种网络等值-最小割集法的配电系统可靠性评估方法,该方法适用于复杂配电网,既能计及配电网实际面临的计划检修等问题对可靠性评估的影响,又可以保证可靠性计算的速度与精度.使用该方法研究了分布式电源的接入位置对配电系统可靠性的影响,指出在连接支路最多的节点处装设分布式电源效果是最好的.

摘要： 针对开放式特色小镇景区人员、车辆管理复杂和路网车辆检测易漏检和拥堵问题,研究了游住混合特色小镇人车管理机制,并以Stoer-Wagner割集算法为基础,提出了车辆检测管控点布局算法.该算法通过寻找以容量倒数为边权值的无向图的最小割集,能以最少的点和最大容量检测所有进入收费景区的车辆.利用Visual C++和TransCAD软件对贵州瓮安县草塘景区的车辆布局点设置进行了计算和仿真.研究结果表明:人车分类的管理机制与车辆管控点布局算法的应用效果良好,减少了20％的车辆检测点,车辆检测布局只影响1％过境交通,不存在游玩车辆重复检测,提高了游玩顺畅度.人车管理机制以及车辆检测布局算法对景区规划有着指导意义,并且有助于今后城市拥挤收费道路位置的研究以及取消省界收费站的逃票车辆的追踪算法研究.

摘要： 由于传统可靠性模型的局限性,本文针对考虑自检和修复性维修的系统中,系统故障发生、检测与修复的时间相关特性,提出了最小割集法、马尔科夫法两种系统可用性建模方法,对具有自检及修复性维修系统的可用性进行分析评估,并对分析结果进行了对比,克服了传统可靠性模型的不足。并使用具备自检与可修特性的产品实际案例用于可用性分析评估,验证了模型的适用性和有效性。

摘要： 以洪水塘灰岩矿边坡失稳为研究对象,利用安全检查表分析法(SCL)和预先危险性分析法(PHA)辨识了其边坡失稳的危险源,通过事故树罗列了边坡失稳的影响因素,表明治理边坡失稳的手段应从技术和管理两方面共同考虑.分析了基本事件结构重要度,其中岩体物理力学性质降低影响最大,其次是布孔不当和钻孔超深,在该矿山做好地质勘探工作、测量监测工作和钻孔工作可有效预防边坡失稳事故的发生.

摘要： 在电力工程的设计和实施过程中,电气装置的主接线方案对电力工程准确度和经济性有直接影响.因此,电气设备的主接线故障诊断至关重要.首先,对电力传统模型进行了研究.以相关资料为基础,以主接线故障为主要研究对象,采用在线诊断的方法进行故障定位.然后,归纳电气主接线的网络结构特征矩阵,以及主接线故障应答矩阵.以电气设备供电出现停运的概率和频率为诊断目标,创新性地采用最小割集的方式,基于MATLAB语言程序评估出一般的单接线的故障方法,计算出变电站电气主接线各出线停运的概率和频率.仿真结果显示,单母线接线由于运行比较单一,断路器关闭后,整个回道都需要切断,造成电气设备的整体故障.电气设备主接线故障的研究对今后的研究具有积极的现实意义和应用价值.

摘要： 核工业的工程系统大多数都可以视为两状态系统进行可靠性分析,因为除了本身只有两状态的系统外,大部分的工程系统都是由可维修的部件组成的可修系统,可修系统就是处于正常工作和停工维修状态的交替之中,稳态分析的可修系统也是两状态系统.研究两状态系统的GO法中计算最小割集的算法,根据两状态系统的最小割集与最小路集的逻辑关系,提出了两状态系统中计算最小割集的最小路集算法,同时给出了求解最小路集的具体算法,并应用于几个工程算例,结果表明:最小路集算法简单有效,尤其适合只需对两状态系统进行定性分析时.

摘要： 针对舰炮发射系统使用过程中的故障现象，在分析影响舰炮发射系统使用性能关键因素的基础上，运用故障树分析法建立了舰炮发射系统的故障树；基于故障树最小割集建立了单元结构的重要度系数模型；以某舰炮停射故障为例定性分析了各种故障因素对导致火炮停射的影响程度，实例分析结果和工程实际吻合，表明将故障树最小割集引入装备故障模式分析，具有重要的理论意义和应用价值。

摘要： 以钍基熔盐堆(TMSR)保护系统为研究对象,采用故障树分析方法,建立了以保护系统误动和保护系统拒动分别为顶事件的故障树,对所建故障树进行定性分析,给出所建故障树的最小割集,并计算了各底事件的结构重要度系数,确定了系统的薄弱环节,给出了保护系统误动率的表达式.

摘要： 本文运用故障树分析方法对当前国内最大容量90MPa深海高压环境模拟舱的可靠性进行了研究.根据深海高压环境模拟舱的组成、结构和失效关系,建立了模拟舱的故障树,利用定性和定量分析方法求出了故障树的最小割集、基本事件的结构重要度以及顶层事件的失效率,在此基础上,找出了深海高压环境模拟舱的薄弱环节和关键事件,并提出了科学合理的预防措施.

摘要： 长输管道正朝着大口径、高压力的方向发展.近年来,管道安全受到各方面的广泛关注.本文根据某长输支线输气管道的资料,对其进行故障树分析,考虑了82个基本事件,采用下行法(Fussell)求解最小割集,确定管道失效的主要因素.分析得出对于该输气管道而言,腐蚀、管材缺陷和自然灾害是导致管道失效的主要因素.

摘要： 针对航天测控网设备故障诊断系统在通用性、知识获取能力、推理效率等方面存在的问题,本文提出了基于二叉故障树的航天测控网设备通用故障诊断系统,详细分析了通用系统的体系结构、可视化二叉树的设计模型和生成流程,深入探讨了通用诊断系统的知识获取方法、推理机制等关键技术.知识库基于可视化二叉故障树,通过最小割集的自动求解和知识的自动转换,能够有效获取诊断知识;推理机采用正向推理机制和基于阶段事件重要度的二级推理模式,有效提高了推理效率.最后,通过在某型号航天测控网设备故障诊断中的应用,验证了该系统的有效性.

摘要： 故障树分析是故障诊断技术的一种有效方法,本文以故障树分析为基础,建立了柴油机的故障诊断系统.该系统实现了故障树的绘制、修改、保存、自动优化等功能,并采用上行算法与素数法相结合的算法求最小割集对故障树定性优化，该系统操作灵活，可以有效排查故障，有一定的实际应用价值。

摘要： 随着石化工业的发展，诸如博帕尔化学品泄漏事故等重大化工事故时有发生，造成了巨大的人员伤亡、财产损失和环境破坏。化学工业生产的特点是工艺过程复杂、危险因素多、事故后果严重。为保证化工安全生产，本文从系统安全可靠性分配的角度,提出了如何将可接受的系统安全性指标分配到各单元的最小径集可靠性分配方法。该方法可大大简化系统可靠性分配的计算量。鉴于美国OSHA的PSM已广泛应用于石化和化工行业，在此，把PSM看作一个管理系统。系统包括人员管理、工艺技术管理、设备管理三部分(三个子系统)。以此系统建立故障树。分别采用最小径集法和最小割集法对印度博帕尔化学品泄漏事故进行实例分析。研究表明，最小径集法更适用于对复杂系统的可靠性分配。

摘要： 脚手架施工事故是建筑施工作业过程中经常发生的一类典型事故，为降低其事故发生率，本文对引起脚手架施工事故的影响因素进行系统的分析，通过危险源辨识，找到了22个基本原因事件，建立了以脚手架施工事故为顶事件的事故树，并对该事故树进行分析。运用布尔代数的方法求得37个最小割集、4个最小径集，进而计算出各基本事件的结构重要度系数。指出了脚手架施工事故经常发生的原因，确定了对脚手架施工安全影响较大危险因素，并提出了消除这些危险因素的方法。

摘要： 提出一种基于故障树的故障诊断方法，通过定性和定量分析在综合考虑平均故障检测时间因素的同时，提出故障效率比的概念，并以此为依据，确定故障诊断的最优程序，从而进行并网光伏系统的故障诊断。

摘要： 本发明公开一种基于Petri网与改进二元决策图模型的最小割集求解方法，包括步骤有根据故障情况建立相应故障树；根据所建立的故障树建立相应的Petri网模型；根据所建立的Petri网模型计算顶层事件的布尔逻辑关系式；根据顶层事件的布尔逻辑关系式转换成改进二元决策图模型；根据改进二元决策图模型可以比较直观的得到最小割集。本发明的有益效果是：能够有效解决求解最小割集存在的组合爆炸和NP问题。

摘要： 本发明涉及一种基于最小割集分析法的多电飞机电力系统可靠性分析方法，包括：将拓扑结构图等效为网络节点图；采用邻接矩阵法求取源节点到达指定节点最小路集；求取故障发生的最小割集；采用“删去留下”法对最小割集进行不交化处理；将部件实际故障率转换为节点或者弧的等效故障率，进一步求得等效可靠性。本发明可以较明确的显示出飞机能源流动过程中的薄弱点，同时为飞机能源使用方案提供改进意见，也对飞机不同运行时段下的检修提供有针对性的方案。

摘要： 本发明公开一种基于最小割集的变电站地震风险快速评估方法，首先通过事故树模型找寻系统的最小割集集合，并搭建了变电站系统的网络模型，在确定各类设备可靠度的情况下，基于各路径通过概率快速评估出系统的失效概率，再将变电站系统抗震能力和地震风险概率相结合，提出了基于系统关键功能特性的地震风险量化指标，通过最小割集算法实现了变电站系统地震风险的快速评估。本发明的优点是提高了数据结果精度，实现了短时间达到高精度的计算目标，高效实现生命线工程的风险快速评估，有效满足工程中的实际需求。

摘要： 本发明涉及一种基于局部搜索的故障树最大概率最小割集求解方法，所述方法包括：S1：对故障树进行初始逻辑转换；获取布尔表达式；S2：根据布尔表达式，对部分最大可满足性问题建模；S3：使用基于局部搜索的启发式算法对部分最大可满足性问题实例进行求解；S4：最大概率最小割集结果转化：对S3的结果进行反转对数转换，求得最终最大概率最小割集及其联合概率。本发明利用部分最大可满足性问题并基于局部搜索这一高效的启发式方法来求解故障树的最大概率最小割集，以更优异的存储空间和求解性能寻找最可能引发系统故障的最小基本事件组合。可有效提高复杂故障树最大概率最小割集的求解效率。

摘要： 本发明涉及事故树分析领域，特别是在真空干燥作业燃爆事故树分析中一种基于后序遍历事故树的最小割集求取方法。具体包括如下步骤：首先构建真空干燥作业的燃爆事故树，并明确树结构中各个结点的逻辑门、父结点和所有子结点；然后基于后序遍历，按照从左到右、自底向上依次不重复访问树中所有结点；当访问到子树的根节点时，根据当前根节点的逻辑门进行布尔代数运算律的集合变换，以便在计算机中实现布尔代数的符号运算化简；最后实现基于后序遍历事故树求取燃爆事故树的最小割集。已使用Java语言面向对象编程在计算机中实现了该算法。本发明具有分析计算过程通俗易懂、运行速度快、分析结果准确等优点。

摘要： 本发明属于电子信息技术领域，尤其为一种基于网络最小割集的信息流阻断目标选择方法，即求节点对集合ST＝{(s

摘要： 本发明公开一种基于Petri网与改进二元决策图模型的最小割集求解方法，包括步骤有根据故障情况建立相应故障树；根据所建立的故障树建立相应的Petri网模型；根据所建立的Petri网模型计算顶层事件的布尔逻辑关系式；根据顶层事件的布尔逻辑关系式转换成改进二元决策图模型；根据改进二元决策图模型可以比较直观的得到最小割集。本发明的有益效果是：能够有效解决求解最小割集存在的组合爆炸和NP问题。

摘要： 本发明公开了一种基于SAT的故障树求解最小割集的方法，首先，将故障树的基本事件抽象成布尔变量；其次，将故障树中基本事件和顶事件的逻辑关系利用布尔表达式表示，顶事件的发生与否取决于对应的布尔表达式的真值；然后，加入对MCS的判定和分析；最后，利用SAT求解算法高效求解MCS。本发明不但在存储空间上表现优异，而且提高了故障树MCS的求解速度。

摘要： 本发明涉及一种基于最小割集算法的主馈线最大供电能力分析方法，具有如下步骤：(1)配电网连接关系简化，生成简化配电网络，简化配电网络包含主馈线连接节点；(2)主馈线连接节点的最小割集求取；(3)逐一假设简化配电网络中的元件故障，分析负荷转移情况；(4)计算馈线段正常运行时的允许负荷量；(5)取所有情况下的馈线段的最小允许负荷量作为该馈线段的最大允许负荷量，计算得到主馈线最大供电能力。使用本发明的基于最小割集算法的主馈线最大供电能力分析方法，可以获得更具科学性和准确性的馈线电能传输情况，有利于发现存在过负荷风险的馈线段以及在故障发生后限制电能传输的薄弱环节。

摘要： 本发明提供了一种基于跳跃回溯的故障树最小割集求解方法。所述基于跳跃回溯的故障树最小割集求解方法包括如下步骤：一、根据最新求解得到的最小割集，计算决策等级；二、SATMCS回溯到步骤一得到决策等级，进行布尔约束传播过程；三、SATMCS进入下一个决策等级，继续搜索割集。本发明的有益效果是：所述基于跳跃回溯的故障树最小割集求解方法可以有效利用故障树的最小割集求解空间分布聚合的特性，有效提升SATMCS求解故障树最小割集的效率。