利用矩阵运算实现故障树参数间转化

为减少fta的np困难,在充分研究故障树主要参数(最小割集、最小路集、不交化最小割集和不交化最小路集)之间内在联系的基础上,找到了它们间相互转化的方法,并通过割集矩阵的运算加以实现.这些转化方法,为减少np困难、简化fta开辟了新途径.