④)起始集B(S)和终止集E(S)。系统要素集合S的起始 到达)其他要素 其他要 响(不被其他要素到达)的要素所构成的集 为B S)。B(S 线流出,而 无前线流入,是系统的输入 定义式为: B(S=tSIS ES,C(S)=B(Si) 如在于图45所对应的可达矩阵中,B(S)={S3,S 当S为S的起始集(终止集)要素时,相当于使图4 中的阴影部分C(S)覆盖到了整个A(S1)(R(S1)) 区域 这样,要区分系统要素集合S是否可分割,只要研 究系统起始集B(S)中的要素及其可达集(或系统终止 集E(S)中的要素及其先行集要素)能否分割(是否 相对独立)就行了 2021年2月22日11时46 分 6
2021年2月22日11时46 分 6 ④ 起始集B（S）和终止集E（S）。系统要素集合S的起始 集是在S中只影响（到达）其他要素而不受其他要素影 响（不被其他要素到达）的要素所构成的集合，记为B （S）。 B（S）中的要素在有向图中只有箭线流出，而 无箭线流入，是系统的输入要素。其定义式为： B（S）= { Si | Si ∈S， C（Si）= B（Si） ， i= 1，2，…，n } 如在于图4-5所对应的可达矩阵中， B（S）={S3，S7}。 当Si为S的起始集（终止集）要素时，相当于使图4- 7中的阴影部分C（Si）覆盖到了整个 A（Si）（ R（Si）） 区域。 这样，要区分系统要素集合S是否可分割，只要研 究系统起始集B（S）中的要素及其可达集（或系统终止 集E（Si）中的要素及其先行集要素 ）能否分割（是否 相对独立）就行了
利用起始集B(S)判断区域能否划分的规则如下 在B(S)中任取两个要素b、b 如果R(b)∩R(b)≠(的为空集),则b、b及 R R(b)中的要素属同一区域。若对所有u和 y均有此结果(均不为空集),则区域不可分。 ②)如果R(b)∩R(b)=,则b、b及R(b R b)中的要素不属同一区域,系统要素集合S至少可 被划分为两个相对独立的区域。 利用终止集E(S)来判断区域能否划分,只要判 定“A(eu)nA(e)”(eu、e为E(S)中的任意 两个要素)是否为空集即可。 区域划分的结果可记为: II(S)=P1,P2,…,Pk,…,Pm (其中P为第k个相对独立区域的要素集合)。经过区域一 划分后的可达矩阵为块对角矩阵(记作M(P)) 2021年2月22日11时46 分 7
2021年2月22日11时46 分 7 利用起始集B（S）判断区域能否划分的规则如下： 在B（S）中任取两个要素bu、bv： ① 如果R（bu）∩ R（bv）≠ψ（ψ为空集），则bu、bv及 R（bu）、 R（bv）中的要素属同一区域。若对所有u和 v均有此结果（均不为空集），则区域不可分。 ② 如果R（bu）∩ R（bv）=ψ，则bu、bv及R（bu）、 R （bv）中的要素不属同一区域，系统要素集合S至少可 被划分为两个相对独立的区域。 利用终止集E（S）来判断区域能否划分，只要判 定“A（eu）∩ A（ev）” （eu、ev为E （S）中的任意 两个要素）是否为空集即可。 区域划分的结果可记为： ∏（S）=P1，P2，…，Pk，…，Pm （其中Pk为第k个相对独立区域的要素集合）。经过区域 划分后的可达矩阵为块对角矩阵（记作M（P））