文档介绍：北京交通大学
硕士学位论文
基于UML的有色Petri网建模及其在CTCS-3中的应用
姓名:王艳
申请学位级别:硕士
专业:交通信息工程及控制
指导教师:蔡伯根
20090601
中文摘要事件的驱动下状态转移的流程,本文改进了状态图转换为有色P偷木咛遄随着铁路的跨越式发展,列车运行速度的提高,司机按照地面信号机显示驾驶列车运行这种传统的控车方式已不能保证列车安全运行,因此必须装备列车运论文主要针对P汀!K承蛲己妥刺迹谝延谢∩涎芯苛硕阅P徒辛朔抡妫⒍阅P偷挠薪行控制系统。但由于系统的复杂性,无法直接在原系统上进行各个部件的互联互通测试、性能评价等工作,因此需要对列车运行控制系统的建模与仿真进行深入的研究,这对解决铁路建设中的实际问题、提升我国在该领域的自主创新能力、掌握列车运行控制系统的关键技术等均具有重大意义。。魑R恢滞ㄓ玫目墒踊S镅裕蛭H狈返挠镆迕枋觯虼硕韵统的建模无法进行形式化的分析和验证,而幸徽籽细竦睦砺鄯治龇椒和工具,可以从夹沃苯幼;欢唇蟹治觥⒀橹ぁB畚脑诜治鯱建模图优缺点的基础上,选择有色魑猆建模图转换的形式化规范,这样避免了直接使用形式化方法对系统建模,降低了形式化方法的使用难度,提高了形式化方法的可扩展性,也弥补了鄙倌P头治觥⒀橹な侄蔚牟蛔恪的有色7椒āU攵訳顺序图描述能力有限的问题,引入已有的扩展方法,使得顺序图的表达能力进一步增强,在此基础上主要研究了顺序图交互作用片段转换为有色网模型的转换方法。状态图能够描述对象在其生命周期中在换规则、颜色集定义算法、状态图连接为对象有色P偷哪P土铀惴āW后,化简了承蛲己妥刺嫉淖;,并依据转换方法将其转换为层次有色P停簧杓屏顺翟亍—网络和无线闭塞中心在列车正常运行情况下通信的状态图,并将其转换为对象有色油P停荻韵笪市畔⒌ü鼵性、死锁性等进行了分析,验证了模型的正确性。关键词:.籙;有色翰愦斡猩玃网;对象有色分类号:
.’.琣甋,...
.甒:.籙;—瑃,
图索引图结构图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图类图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。图活动图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图基于挠猩玃网建模方法总体思路⋯⋯...⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图可选片段⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯....⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图选择片段⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图卸掀巍图循环片段⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图并行片段⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。图同步关系在扩展顺序图中的表示⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图汇合关系在扩展顺序图中的表示⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图操作方法调用的转换⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图操作方法调用带返同结果转换⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图裳∑蔚淖;弧图≡衿蔚淖;弧图菲蔚淖;情况⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。图菲蔚淖;情况⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图卸掀蔚淖;弧图⒎⑵蔚淖;弧图焦叵档淖;弧图愫瞎叵档淖;弧图韵笞油P偷慕峁埂幽韵笞油P偷牧印图承蜃幼刺淖;图⒎⒆幼刺淖;图虻プ刺淖;弧图ㄒ频淖;弧图伪状态的转换⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯伪状态的转换⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯伪状态的转换⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图蚬嬖騦⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图蚬嬖⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。图蚬嬖⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...⋯。图通信过程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...⋯⋯⋯⋯⋯⋯⋯⋯⋯...⋯⋯⋯⋯⋯..图通信顶层模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图建立安全连接顺序图⋯⋯⋯⋯⋯⋯⋯⋯⋯~⋯⋯...⋯⋯⋯⋯⋯一⋯⋯⋯⋯⋯一⋯.图安全连接建立顺序图转换模型⋯⋯⋯⋯.........⋯⋯...⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯
图子网模型⋯⋯⋯...⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯....⋯⋯⋯⋯⋯一...⋯⋯⋯子网模型⋯⋯⋯⋯...⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...⋯⋯⋯⋯⋯...⋯⋯一⋯。图化简后的模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯~~....