区域控制器移动授权的统一建模语言（UML）建模与验证

来源 :城市轨道交通研究 | 被引量 : 0次 | 上传用户：niehaibin

【摘要】

：

探讨了基于通信的列车控制（CBTC）系统中区域控制器（ZC）子系统不同运营场景下移动授权的生成过程.采用统一建模语言（UML）,与CBTC中列车运行控制的特殊要求相结合,以规范ZC子系统实现

【作者】

：

【机构】

：

西南交通大学信息与科学技术学院

【出处】

：

城市轨道交通研究

【发表日期】

：

2014年7期

【关键词】

：

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

探讨了基于通信的列车控制（CBTC）系统中区域控制器（ZC）子系统不同运营场景下移动授权的生成过程.采用统一建模语言（UML）,与CBTC中列车运行控制的特殊要求相结合,以规范ZC子系统实现的过程和改善系统的开发效率.通过UML建模直观展现系统的结构,检查系统完整性,并完成该系统模型的仿真验证.

其他文献

目的：探讨心源性脑栓塞（CCE）的病情观察及护理对策。方法：回顾性分析63例CCE患者的临床资料,对CCE的护理经验进行总结,主要是加强神经系统、心血管的护理,根据疾病阶段调整护理

期刊

心源性脑栓塞脑卒中心脏病护理

标准必要专利权人为达到排除或限制竞争的目的,而对相对人实施拒绝许可行为是近年来我国司法实践中频繁出现、危害日益凸显的新问题。标准必要专利拒绝许可不仅可能会破坏市

期刊

标准必要专利拒绝许可滥用规制

本文采用文献资料法、录像观察法及数理统计法对2012年许昕职业巡回赛程当中，张继科、马龙及王皓等球员的比赛录像进行了专业化、细致化的分析与统计，以期为我国广大乒乓球爱好

期刊

许昕职业巡回赛正手前冲弧圈球运用

新生仔猪低血糖症是以血糖含量大幅度减少和出现脑神经机能障碍为特征的一种新生仔猪疾病,本病多发生在1~4日龄的仔猪,新生仔猪饥饿24~48小时,

期刊

本文通过文献资料法、录像观察法及数理统计法等研究方法,对中国队与中华台北队比赛进行反复观察,对两队及队员的比赛技术指标进行对比分析,认为中国男篮在得分、抢断、封盖

期刊

第27届亚锦赛中国男篮中华台北