chapter3系统建模与系统概览.ppt

* 可达性矩阵的计算方法 Warshall算法 (1) M← I∪A； (2) k←1； (3) i←1； (4) mij← mij∨(mik∧mkj)，对于1到n的一切 j ； (5) i←i+1，如果i≤n则转向第(4)步； (6) k←k+1，如果k≤n，则转向第(3)步，否则停止。 可达性与传递性 图论中的可达性对应于二元关系中的传递性。 M= tr (A) ISM中总假定所涉及的关系具有传递性。 一、几个相关的数学概念 * 1、关系划分 关系划分将系统各单元按照相互间的关系分成两大类 R与 ，R类包括所有可达关系， 类包括所有不可达关系。有序对( ei , ej )，如果 ei到e j 是可达的，则( ei , ej )属于R 类，否则( ei , ej )属于 类。 从可达性矩阵各元素是 1 还是 0 很容易进行关系划分。 关系划分可以表示为： 二、可达性矩阵的划分 * 2、区域划分 区域划分将系统分成若干个相互独立的、没有直接或间接影响的子系统。 可达集 先行集 底层单元集（共同集，其中元素具有此性质：不能存在一个单元只指向它而不被它所指向。）