结构化模型方法[恢复]题库.ppt

* * 为对给出的与图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.级位划分 区域内的级位划分，即确定某区域内各要素所处层次地位的过 程。这是建立多级递阶结构模型的关键工作。 设P是由区域划分得到的某区域要素集合，若用L1，L2，…，Ll 表示从高到低的各级要素集合（其中l为最大级位数），则级位 划分的结果可写出： ∏（P）=L1，L2 ，…，Ll 。 某系统要素集合的最高级要素即该系统的终止集要素。级位划 分的基本做法是：找出整个系统要素集合的最高级要素（终止 集要素）后，可将它们去掉，再求剩余要素集合（形成部分图） 的最高级要素，依次类推，直到确定出最低一级要素集合（即 Ll）。 * * 为此，令LO=ψ（最高级要素集合为L1，没有零级要素），则 有： L1={Si|Si∈P-L0，C0（Si）= R0（Si），i=1，2，…，n} L2={Si|Si∈P-L0-L1，C1（Si）= R1（Si），in} Lk={Si|Si∈P-L0-L1-…-Lk-1，Ck-1（Si）= Rk-1（Si），in} （4-3） 式（4-3）中的Ck-1（Si）和Rk-1（Si）是由集合P-L0-L1-…- Lk-1中的要素形成的子矩阵（部分图）求得的共同集和可达 集。 经过级位划分后的可达矩阵变为区域块三角矩阵，记为M（L）。 * * 如对例4-1中P1={S3，S4，S5，S6}进行级位划分的过程示于表4-2中。 表4-2 级位划分过程表 要素集合 Si R（S） A（S） C（S） C（S） = R（S） ∏（P1） P1-L0 3 4 5 6 3，4，5，6 4，5，6 5 4，5，6 3 3，4，6 3，4，5，6 3，4，6 3 4，6 5 4，6 √ L1 ={S5} P1-L0-L1 3，4 6 3，4，6 4，6 4，6 3 3，4，6 3，4，6 3 4，6 4，6 √ √ L1 ={S4， S6} P1-L0-L1-L2 3 3 3 3 √ L1 ={S3} * * 对该区域进行级位划分的结果为： ∏（P1）=L1，L2 ，L3={S5}，{S4，S6}，{S3} 同理可得对P2={S1，S2， S7}进行级位划分的结果为： ∏（P）=L1，L2 ，L3 = {S1} ，{S2} ，{S7}这时的可达矩阵为： 5 4 6 3 1 2 7 5 4 6 3 1 2 7 M（L）= L1 L2 L3 L1 L2 L3 0 0 * * 3.提取骨架矩阵 提取骨架矩阵，是通过对可达矩阵M（L）的缩约和检出，建立起M（L）的最小实现矩阵，即骨架矩阵A’。这里的骨架矩阵，也即为M的最小实现多级递阶结构矩阵。对经过区域和级位划分后的可达矩阵M（L）的缩检共分三步，即： 检查各层次中的强连接要素，建立可达矩阵M（L）的缩减矩阵M’（L） 如对原例M（L）中的强连接要素集合{S4，S6}作缩减处理（把S4作为代表要素，去掉S6）后的新的矩阵为： 5 4 3 1 2 7