交通运输系统管理01.pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
区域划分 判断系统要素集合S是否可分割(是否相对独立) 只需判断起始集B(S)中的要素及其可达集能否分割,例如 B(S)={ S1,S3} R(S1)={ S2,S4,S5} R(S3)={ S5,S6,S7} 另一种方法:只需判断终止集E(S)中的要素及其先行集要素能否分割 区域划分的结果可记为: ∏(S)=P1,P2,…,Pk,…,Pm (其中Pk为第k个相对独立区域的要素集合)。 不可分割 区域划分 利用起始集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)中的任意两个要素)是否为空集即可。 区域划分 可达集、先行集、共同集和起始集例表 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 延续PPT06-2的例子:进行区域划分 (1)列出Si的可达集R(Si)、先行集A(Si) 、共同集C (Si), (2)找出起始集B(S) O O 3 4 5 6 1 2 7 3 4 5 6 1 2 7 M(P)= P1 P2 区域划分 因为B (S ) = {S3,S7} ,且有R(S3)∩ R(S7) = {S3, S4, S5, S6} ∩{S1, S2, S7} =ψ(空集), 所以两个可达集分属两个相对独立的区域,即有: ∏(S)=P1,P2 = {S3, S4, S5, S6} , {S1, S2, S7} 。 可达矩阵M变为如下的块对角矩阵( 记为M(P) ): ú ú ú ú ú ú ú ú ú ? ù ê ê ê ê ê ê ê ê ê ? é 1 1 1 0 1 1 0 0 1 1 1 1 0 0 1 0 0 1 1 1 0 1 1 1 1 分析步骤2:级位(层级)划分 “级位划分”也有教材称为“层级划分”。确定某区域内各要素所处层次的过程。 是针对单个区域内的要素进行的。 设P是由区域划分得到的某区域要素集合,若用Li表示从高到低的各级要素集合,则级位划分的结果: ∏(P)=L1,L2 ,…,LI (其中I为最大级位数) 最高级位的要素即该系统的终止集要素。 级位划分 级位划分的基本做法是: 找出整个系统要素集合的最高级要素(终止集要素)后,将它们去掉得到剩余要素集合 再求剩余要素集合的最高级要素, 依次类推,直到找出最低一级要素集合(即Li)。 对于最高级要素Si C(Si)=R(Si )∩A(Si)=R(Si) 级位划分 确定最高级要素 在一个多级结构中,最上位(最高级)的要素,因为没有更高层级的要素可以到达。所以它的可达集合R(Si )中只能包括: a)它本身; b)与它同级的强连接要素; 对于最高层级的要素来说,它的交集C(S i)是和它的可达集R(S i )相同的。 因此,确定Si是否为最高级要素的判断条件是: R(S i )∩A(S i)=R(S i) (见前页图) 令L0=ψ(最高级要素集合为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} 式中的Ck-1(Si)和Rk-1(Si)分别是由集合P-L0-L1-…-Lk-1中的要素形成的子矩阵(子图)求得的共同集和可达集。 级位划分 级位划分 要素集合 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,

文档评论(0)

ffpg + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档