结构化模型方法[恢复]解析.pptVIP

* * 为对给出的与图4-5所对应的可达矩阵进行区域划分，可列出任一要素Si（简记作i，i=1，2，…，7）的可达集R（Si） 、先行集A（Si） 、共同集C （Si），并据此写出系统要素集合的起始集B（S），如表4-1所示： 表4-1 可达集、先行集、共同集和起始集例表 Si R（Si） A（Si） C （Si） B（S） 1 2 3 4 5 6 7 1 1，2 3，4，5，6 4，5，6 5 4，5，6 1，2，7 1，2，7 2，7 3 3，4，6 3，4，5，6 3，4，6 7 1 2 3 4，6 5 4，6 7 3 7 * * 因为B （S ） = {S3，S7} ,且有R（S3）∩ R（S7） = {S3， S4， S5， S6} ∩{S1， S2， S7} =ψ，所以S3及S4， S5， S6， S7与 S1， S2分属两个相对独立的区域，即有： ∏（S）=P1，P2 = {S3， S4， S5， S6} ∩{S1， S2， S7} 。这时的可达矩阵M变为如下的块对角矩阵： O O 3 4 5 6 1 2 7 3 4 5 6 1 2 7 M（P）= P1 P2 * * 2.级位划分 区域内的级位划分，即确定某区域内各要素所处层次地位的过