[工学]系统工程.ppt

Si A（Si） C （Si） R（Si） 图3-7 可达集、先行集、共同集关系示意图 系统要素Si的可达集R（Si） 、先行集A（Si） 、 共同集C （Si）之间的关系如图3-7所示： 起始集B（S）和终止集E（S）。系统要素集合S的起始集是在S中只影响（到达）其他要素而不受其他要素影响（不被其他要素到达）的要素所构成的集合，记为B（S）。 B（S）中的要素在有向图中只有箭线流出，而无箭线流入，是系统的输入要素。其定义式为： B（S）= { Si | Si ∈S， C（Si）= B（Si）， i= 1，2，…，n } 如在于图3-5所对应的可达矩阵中， B（S）={S3，S7}。 当Si为S的起始集（终止集）要素时，相当于使图3-7中的阴影部分C（Si）覆盖到了整个 A（Si）（ R（Si））区域。 这样，要区分系统要素集合S是否可分割，只要研究系统起始集B（S）中的要素及其可达集（或系统终止集E（Si）中的要素及其先行集要素 ）能否分割（是否相对独立）就行了。 利用起始集B（S）判断区域能否划分的规则如下： 在B（S）中任取两个要素bu、bv： 如果R（bu）∩ R（bv）≠ψ（ψ为空集），则bu、bv及R（bu）、 R（bv）中的要素属同一区域。若对所有u和v均有此结果（均不为空集），则区域不可分。 如果R（bu）∩ R（bv）=ψ，则