基于随机Petri网的GSM-R双层网络建模与性能分析

利用随机Petri网,综合信道降质、链路中断、越区切换、灾害等因素,建立GSM-R的同站址网络与交织站址网络的故障模型,针对同站址与交织站址两种不同的网络结构,给出利用马尔可夫链求解可靠性与可用性的方法。通过马尔可夫链的有关概率分别计算:不同网络结构的可靠性;不同列车运行速度对应不同网络结构的可用性。分析计算结果表明:同站址网络的可靠性与可用性远高于交织站址网络,主要原因是同站址网络中一层基站业务中断时不会导致系统失效,交织站址网络中一层基站业务中断时,并联的另一层相邻两个基站均可以提供业务才不会导致系统失效。另外,同站址网络中越区切换速率较小,有效减小了列车越区切换对可靠性与可用性的影响。     

CBTC列车安全定位中通信中断时间的研究

通信中断的存在会对目前城市轨道交通的CBTC列车安全定位产生影响,进而影响列车安全间隔距离。CBTC车地通信系统大多采用无线局域网技术。越区切换中断是导致通信中断的主要原因,根据IEEE 802.11协议的越区切换流程,本文推导出越区切换中断时间与列车速度的关系表达式,在此基础上根据安全定位的实现方法和移动闭塞系统中列车安全间隔距离的计算方法,推导出通信中断时间与影响安全定位的因素之一——估计的运行距离及列车运行安全间隔之间的关系表达式。建立两列列车追踪运行模型,仿真不同通信中断时间下两列车的追踪间隔距离。采用此关系表达式进行理论计算的结果与仿真结果验证了通信中断时间与估计的运行距离及列车运行安全间隔的关系表达式是合理的。     

基于Testcase Designer的列车运行控制系统测试方法的研究

针对CTCS-3级列控系统的需求规范，结合欧洲列车运行控制系统（ETCS）的测试经验，研究基于Testcase Designer的CTCS-3级列控系统自动测试方法。Testcase Designer主要用于将测试案例模块化，通过优化编写流程，生成符合测试平台需求的测试序列，为测试项目的执行提供必要的关键数据点。同时，Testcase Designer可供存储、导出及发布。其测试案例中的关键输入输出接口（如BTM、TIU、RTM等）配置信息均已通过配置文件形式实现。以列控系统无线闭塞中心（RBC）切换场景为例，采用Testcase Designer编写该场景的测试案例。研究结果表明:Testcase Designer实现了功能特征、参考需求、测试步骤等元素的集成，编写的测试案例是合理的。     

列车运行控制系统中安全通信协议的形式化分析

安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性质和最终实现正确的形式化验证具有重要意义。本文将欧洲列车运行控制系统安全通信协议规范中的一些未强制规定的要求明确化,选择分层赋时有色Petri网(CPN)对修改后的安全通信协议进行研究,综合安全层、信道与应用层模型提出无线通信系统模型的分层结构,通过改变信道与应用层模型的参数,分析修改的安全通信协议中安全连接建立的时间特性。分析结果表明:信道丢包率为0.1、0.05、0.01的情况下,修改的安全通信协议安全连接建立时间特性是符合规范要求的。     

无线列控系统安全通信协议性能评价规则的制定方法

针对传统方法在评价列控系统安全通信协议性能时存在只能定性不能定量和对评价人员掌握评价尺度有差异考虑不足的问题,基于利用有色Petri网模型对列控系统安全通信协议性能的仿真结果,运用决策论中的概念格理论对有关安全通信协议性能(包括建立安全链接需要的时间和传输信息需要的时间)的仿真数据进行分析,研究制定安全通信协议的性能评价规则。运用Dempster-Shafer理论,分析评价人员应用给出的安全通信协议性能评价规则对安全通信协议性能进行评价所得评价结果的不确定性,以验证所提出安全通信协议性能评价规则的可行性。结果表明,使用所制定的安全通信协议性能评价规则克服了传统方法的不足,而且以概率的形式定量表示安全通信协议的性能,可使评价结果更全面也更具有说服力。     

基于版本控制技术和生命周期理论的企业文档管理平台设计

针对当前广泛使用的文档管理系统较少以安全、效率为目标,无法实现企业文档安全管理和维持较高管理效率的问题,基于文档版本控制技术和生命周期理论,根据文档管理平台功能模块,设计适用于该类企业的文档管理平台,实现企业文档的安全有效管理。     

CBTC越区切换中断时间分析

基于通信的列车控制(CBTC)系统采用IEEE802.11标准作为无线通信传输协议。根据IEEE802.11标准中规定的越区切换流程,采用移动通信系统越区切换中断时间的计算方法,推导出越区切换中断时间与列车运行速度的关系表达式。采用此关系表达式进行理论计算的结果显示,在发射功率为17 dBm,发射和接收天线增益均为10 dB,发射与接收端损耗均为5 dB的条件下,典型行车速度为50,70,90 km.h-1时,越区切换中断时间应分别控制在224,160和124 ms以内才能够保证通信持续正常。建立2列列车追踪运行模型,仿真不同越区切换中断时间的后车运行曲线。仿真结果显示:列车以25 m.s-1(90 km.h-1)的速度行驶时,越区切换中断时间在130 ms以内能够满足列车通信的需求;验证了CBTC越区切换中断时间与列车行驶速度的关系表达式是合理的。     

城市轨道交通列车运行控制系统分级标准研究

结合城市轨道交通列车运行控制系统(MTCS)的发展现状以及将来的技术发展战略,参考欧洲列车运行控制系统(ETCS)和中国铁路列车控制系统(CTCS)分级和标准化的思路,阐述MTCS分级标准建设工作的重要性,对MTCS的分级标准建设方式给出一定的建议.MTCS体系以车载设备为核心,通过对地面控制设备的扩展以增强系统功能,...