4系统工程模型和模型化.ppt

可达矩阵 若D是由n个单元组成的系统S={e1,e2,…,en}的关系图，则元素为 的n×n 矩阵 M，称为图D的可达性矩阵。 可达性矩阵标明所有S的单元之间相互是否存在可达路径。 如从 出发经 k 段支路到达 ，称 到 可达且“长度”为 k。 一般对于任意正整数r(≤n)，若ei到ej是可达的且“长度”为r，则Ar中第 i 行第 j 列上的元素等于1。 对有回路系统来说，当 k 增大时，Ak 形成一定的周期性重复。 对无回路系统来说，到某个 k 值，Ak=0。 性质 1 3 2 4 可达性矩阵的计算方法 假定任何单元 ei 到它本身是可达的，则 由于 因此，可计算 的偶次幂，如果 则 例： 故 其他矩阵P45 缩减矩阵：将具有强连接关系的要素对，删除某个要素的行和列后所构成的新矩阵。 骨架矩阵：具有最少二元关系个数的邻接矩阵叫M的最小实现二元关系矩阵。 1、建立递阶结构模型的规范方法 建立反映系统问题要素间层次关系的递阶结构模型，可在可达矩阵M的基础上进行，一般要经过区域划分、级位划分、骨架矩阵提取和多级递阶有向图绘制等四个阶段。这是建立递阶结构模型的基本方法。 现以 4-1所示问题为例说明： 与4-1对应的可达矩阵（其中将Si简记为i）为： 4.2.3建立递阶结构模型的方法 1 2 3 4 5 6 7 1 2 3 4 5 6 7 M = （1）.区域划分 区域划分即将系统的构成要素集合S，分割成关于给定二元关系R的相互独立的区域的过程。 首先以可达矩阵M为基础，划分与要素Si（i = 1，2，…，n）相关联的系统要素的类型，并找出在整个系统（所有要素集合S）中有明显特征的要素。 有关要素集合的定义如下： 可达集R（Si）。系统要素Si的可达集是在可达矩阵或有向图中由Si可到达的诸要素所构成的集合，记为R（Si）。其定义式为： 看行，可以达到那些点 R（Si）= { Sj | Sj∈S，mij = 1，j = 1，2，…，n } i = 1，2，…，n 先行集A（Si）。系统要素Si的先行集是在可达矩阵或有向图中可到达Si的诸要素所构成的集合，记为A（Si）。其定义式为： 看列，可以被谁到达。 A（Si）= { Sj | Sj∈S，mji = 1，j = 1，2，…，n } i = 1，2，…，n 共同集C （Si）。系统要素Si 的共同集是Si在可达集和先行集的共同部分，即交集，记为C （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）之间的关系如图4-7所示： 图4-7 可达集、先行集、共同集关系示意图 Si A（Si） C （Si） R（Si） 起始集B（S）和终止集E（S）。 B（S）在S中只影响（到达）其他要素而不受其他要素影响（不被其他要素到达）的要素所构成的集合。B（S）中的要素在有向图中只有箭线流出，而无箭线流入，是系统的输入要素。其定义式为： B（S）= { Si | Si ∈S， C（Si）= B（Si） ， i= 1，2，…，n } 要区分系统要素集合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）=ψ，则bu、bv及R（bu）、 R（bv）中的要素不属同一区域，系统要素集合S至少可被划分为两个相对独立的区域。 利用终止集E（S）来判断区域能否划分，只要判定“A（eu）∩ A（ev）” （eu、ev为E （S）中的任意两个要素）是否为空集即可。 区域划分的结果可记为： ∏（S）=P1，P2，…，Pk，…，