例4 请判断表5.1中操作12与操作13是否是同一层次上的互斥操作,其中 cv12 = {1, 0, X, X, 1 } cv13 = { 1, 0, X, X, 0 }。
结果中没有m且只有1个q,满足条件(1),用X置换q,得: cv=cv12×cv13= {1, 0, X, X, X } 运算结果表明,操作12与操作13是同一层次上的互斥操作,其合并后的操作{12,13}的条件向量为{ 1, 0, X, X, X }。 例5 请判断表5.1中操作13与操作14是否是同一层次上的互斥操作,其中 cv13 = {1, 0, X, X, 0 } cv14 = { 1, X, X, X, X } 。
结果中有2个m而没有q,满足条件(2),得: cv=cv13×cv14=φ 运算结果表明,操作13与操作14不是互斥操作,不能进行合并。 例6 请判断表5.1中操作2与操作10是否是同一层次上的互斥操作,其中 cv2 = {1, 1, X, X, X } cv10 = {0, X, 0, X, X } 。
|