机译:使用与逻辑运算相关联的逻辑门构造物理混合系统的故障树,该逻辑门通过布尔代数规则与顶级事件的代数表达相关联,以确定系统的最小割集
机译:使用反向Petri网生成相干故障树的最小割集
机译:基于最小割集的故障树分析的截断误差评估方法
机译:故障树最小割集的新一代算法及其在CBTC系统中的应用
机译:由于切割和投影方案而导致在Cantor集上发生最小Zd作用的正向Cocycles:八角形平铺。
机译:MCS2:最小的协调支持可快速枚举代谢网络中的最小割集
机译:故障树分析:识别MaxSAT的最大概率最小切割集
机译:使用sETs查找大型故障树中的最小割集