论文部分内容阅读
最小的切割集合(或主要 implicants：导致系统失败的基本事件条件的最小的联合) 是为可靠性 / 安全分析和设计的重要信息。为了为一般非协调的差错树获得最小的切割集合，包括否定基本事件或多珍视的基本事件，象一致规则那样的一个特殊过程必须被用于逻辑操作为协调差错树获得的结果，它将要求更多的步骤和时间。这份报纸为一棵非协调的差错树建议一个简单方法，事件其顶作为 monotonic 子树的 AND 联合被代表。一棵鈥渕o notonic 鈥 ? 子树意味着它没为每个基本事件有积极、否定的代表。最小的切割集