第4章 系统模型与模型化(3-2) (-38 73) 2010－11－4(第7周) 11-19(第9周).pptVIP

东南大学机械工程学院工业工程系 系统工程（Systems Engineering, SE） 第三讲 系统模型与模型化（3－2） 区域划分即将系统的构成要素集合S，分割成关于给定二元关系R的相互独立的区域的过程。 首先以可达矩阵M为基础，划分与要素Si（i = 1，2，…，n）相关联的系统要素的类型，并找出在整个系统（所有要素集合S）中有明显特征的要素。 (1) 可达集R（Si）。系统要素Si的可达集是在可达矩阵或有向图中由Si可到达的诸要素所构成的集合，记为R（Si）。其定义式为： R（Si）= { Sj | Sj∈S，mij = 1，j = 1，2，…，n } i = 1，2，…，n (2) 先行集A（Si）。系统要素Si的先行集是在可达矩阵或有向图中可到达Si的诸要素所构成的集合，记为A（Si）。其定义式为： A（Si）= { Sj | Sj∈S，mji = 1，j = 1，2，…，n } i = 1，2，…，n (3) 共同集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所示： (3) 起始集B（S） 系统要素集合S的起始集是在S中只影响（到达）其他要素而不受其他要素影响（不被其他要素到达）的要素所构成的集合，记为B（S）。 B（S）中的要素在有向图中只有箭线流出，而无箭线流入，是系统的输入要素。其定义式为： B（S）= { Si | Si ∈S， C（Si）= A（Si）, i= 1，2，…，n } 如在于图3-5所对应的可达矩阵中， B（S）={S3，S7}。 (4)终止集E（S） 系统要素集合S的终止集是在S中只受其他要素影响（被其他要素到达）而不影响（不到达）其他要素所构成的集合，记为E（S）。 E（S）中的要素在有向图中只有箭线流入，而无箭线流出，是系统的输出要素。其定义式为： E（S）= { Si | Si ∈S， C（Si）= R（Si）, i= 1，2，…，n } 如在于图3-5所对应的可达矩阵中， E（S）={S1，S5}。 当Si为S的起始集（终止集）要素时，相当于使图3-7中的阴影部分C（Si）覆盖到了整个 A（Si）（ R（Si））区域。 这样，要区分系统要素集合S是否可分割，只要研究系统起始集B（S）中的要素及其可达集（或系统终止集E（Si）中的要素及其先行集要素 ）能否分割（是否相对独立）就行了。 为对给出的与图3-5所对应的可达矩阵进行区域划分，可列出任一要素Si（简记作i，i=1，2，…，7）的可达集R（Si） 、先行集A（Si） 、共同集C （Si），并据此写出系统要素集合的起始集B（S），如表3-1所示： 区域内的级位划分，即确定某区域内各要素所处层次地位的过程。这是建立多级递阶结构模型的关键工作。 设P是由区域划分得到的某区域要素集合，若用L1，L2，…，Li表示从高到低的各级要素集合（其中i为最大级位数），则级位划分的结果可写出： ∏（P）=L1，L2 ，…，Li 。 某系统要素集合的最高级要素即该系统的终止集要素。级位划分的基本做法是：找出整个系统要素集合的最高级要素（终止集要素）后，可将它们去掉，再求剩余要素集合（形成部分图）的最高级要素，依次类推，直到确定出最低一级要素集合（即L1）。 为此，令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} （3-3） 式（3-3）中的Ck-1（Si）和Rk-1（Si）是由集合P-L0-L1-…-Lk-1 中的要素形成的子矩阵（部分图）求得的共同集和可达集。 经过级位划分后的可达矩阵变为区域块三角矩阵，记为M（L）。 如对例3-1中P1={S3，S4，S5，S6}进行级位划分的过程示