Scheduled System Maintenance:
On Monday, April 27th, IEEE Xplore will undergo scheduled maintenance from 1:00 PM - 3:00 PM ET (17:00 - 19:00 UTC). No interruption in service is anticipated.
By Topic

Inverting and Minimalizing Path Sets and Cut Sets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Locks, Mitchell O. ; Department of Administrative Sciences; Oklahoma State University; Stillwater, OK 74074 USA.

This paper describes a technique for generating the minimal cuts from the minimal paths, or vice versa, for s-coherent systems. The process is a recursive 2-stage expansion based upon de Morgan's theorems; ie, it is the inversion of a Boolean polynomial having all common-valued (either all 0 or all 1) components, so that the inverse also has only common-valued components of the opposite sign. There are procedural short cuts and Quine-type absorptions; absorptions put the polynomial into its minimalized form. The number of stages of recursion is equal to the number of terms (minimal states) in the starting polynomial. The minimal states of the inverse form are the terms of the inverse polynomial after minimalization. Since the system is s-coherent and all components are common-valued in either the original or Inverse minimal forms, the lists of minimal states are unique.

Published in:

Reliability, IEEE Transactions on  (Volume:R-27 ,  Issue: 2 )