建立递阶结构模型的规范方法课件.pptx

（二）建立递阶结构模型的规范方法; 1 2 3 4 5 6 7;1.区域划分;可达集R（Si）——在可达矩阵或有向图中，由Si可到达的诸要素所构成的集合，其定义式为： R（Si）= { Sj | Sj∈S，mij = 1，j = 1，2，…，n } i = 1，2，…，n 先行集A（ Si ）——在可达矩阵或有向图中，可到达Si的诸要素所构成的集合，其定义式为： A（Si）= { Sj | Sj∈S，mji = 1，j = 1，2，…，n } i = 1，2，…，n 共同集C （ Si ）——R（Si）∩ A（Si） 其定义式为： C（Si）= { Sj | Sj∈S，mij = 1， mji = 1， j = 1，2，…，n } i = 1，2，…，n;系统要素Si的可达集R（Si） 、先行集A（Si） 、共同集C（Si）之间的关系如图3-7所示：;起始集B（S）——只影响（到达）其他要素的要素所构成 的集合。 B（S）中的要素在有向图中只有箭线流出，而无箭线流入，是系统的输入要素。其定义式为： B（S）= { Si | Si ∈S， C（Si）= A（Si） ，i= 1，2，…，n } 终止集E（S）——只受其他要素影响（到达）的要素所构 成的集合。 E（S）中的要素在有向图中只有箭线流入，而无箭线流出，是系统的输出要素。其定义式为： E（S）= { Si | Si ∈S， C（Si）= R（Si） ，i= 1，2，…，n } 要区分系统要素集合S是否可分割，只要研究系统起始集B（S）中的要素及其可达集（或系统终止集E（S）中的要素及其先行集要素 ）能否分割（是否相对独立）就行了。; 利用起始集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至少可被划分为两个相对独立的区域。 区域划分的结果可记为： ∏（S）=P1，P2，…，Pk，…，Pm （其中Pk为第k个相对独立区域的要素集合）。经过区域划分后的???达矩阵为块对角矩阵（记作M（P））。;2.级位划分;这时的可达矩阵为：;3.提取骨架矩阵; ②去掉M’（L）中已具有邻接二元关系的要素间的越级二元关系，得到经进一步简化后的新矩阵M’’（L）。 如在原例的M’（L）中，将 M’（L）中3→5和7→1的“1”改为“0”，得：; 5 4 3 1 2 7 ;4.绘制多级递阶有向图D（A’）;原例的递阶结构模型： 以可达矩阵M为基础，以矩阵变换为主线的递阶结构模型的建立过程： M → M（P ）→ M（L）→ M’（L） → M’’（L） → A’→ D（A’） ;“建立递阶结构模型的规范方法”结束;;;进入“状态空间模型（数学模型）”;内容总结