基于Event-B的双机热备平台测试序列自动生成方法

为了确保双机热备平台满足相应的功能需求,需要对其进行功能测试。采用基于模型的测试方法,可以有效地避免人工手动生成测试中存在的不足,提高测试效率。利用Event-B方法对双机热备平台进行形式化建模,通过证明验证模型的正确性,并进一步利用Ll算法生成基于模型、满足平台测试需求的测试序列集,对于确保测试过程的完备性、提高测试效率有一定意义。     

基于SPN的越区切换模型分析

CTCS-3列车运行控制系统是中国列车控制系统(CTCS)的重要组成部分之一,它采用GSM R实现地面一列车间连续、双向的安全信息的无线传输.对于GSM-R而言,移动台的越区切换必然引起通信连接的暂时中断.由于安全数据传输直接影响行车安全,为保证其传输的可靠性,必然要求更短的切换时间和更高的切换成功率.本文研究安全数据通信在越区切换时的传输可靠性,并对越区切换过程进行随机Petri网的建模和分析.给出列车速度与越区切换成功率的关系,以及列车在350km/h的速度下,越区切换时间与越区切换成功率之间的关系.最后,本文将分析结果与CTCS-3需求标准进行了比较,说明其可以满足要求.     

基于AADL和Simulink的列控系统双机热备结构设计

针对列车运行控制系统的实时性要求,提出一种改进的双机热备安全平台结构实现方案。使用AADL建立框架模型并对框架分析与验证,得到框架代码,再以有限状态机为接口通过Simulink工具建立模型,利用RTW工具箱的进行码自动生成,与框架代码合并得到完整的可执行代码。对生成代码的功能与性能进行验证,不仅功能上与规范一致,实时性较传统热备方案提高约20％。     

分散自律调度集中系统的网络通信研究

我国新一代分散自律调度集中系统的网络通信协议采用的是TCP／IP，这种协议在客户端增多的情况下，不能保证通信的实时性。而采用UDP协议实现网络通信，解决了出错、重复、丢包、乱序等问题，保证了通信的实时性和可靠性，符合系统要求。     

提高通信信号技术水平适应铁路跨越发展需求

铁路跨越式发展为铁路通信信号事业提供了广阔的发展空间和千载难逢的历史机遇，是推动铁路通信信号事业发展的强大动力，同时也给铁路通信信号技术发展提出了严峻的挑战。面对新机遇和新挑战，2003年，围绕新一代分散自律调度集中(CTC)的开发、中国列车运行控制系统(CTCS)     

一种基于竞争神经网络的铁路UM71信号频谱识别方法

机车信号设备译码的抗干扰能力直接影响设备显示的准确性和稳定性,同时也关系到铁路的行车安全.本文将神经网络模式识别技术引入到铁路车载信号的解调译码过程中,利用该技术非线性处理能力强和性能稳定等特点,提出基于竞争神经网络的铁路UM71信号特征频谱的识别方法.该方法根据不同调制低频下的UM71信号频谱的谱线结构规律建立起相应的神经网络结构模型,通过计算实际输入信号的频谱与神经网络各向量间的曼哈顿距离而产生竞争,再根据竞争结果与UM71信号的映射关系实现译码功能.实验证明:该方法具有学习算法简单、迭代步数少和运行速度快等优点,在提高UM71信号译码的准确性和抗干扰能力等方面效果明显,能够满足铁路现场实际运用的要求.     

用非实时自动车辆定位系统来改善公交车的服务

阐明当采取公交优先措施后，用非实时AVL(自动车辆定位)系统如何识别最好收益路线，并通过分析实际情况与行驶计划的差异及其发生原因，对行车计划进行优化。提出一种基于非实时AVL数据和乘客数量来计算车辆沿线乘客到达率的新方法，并以此来估计车站每年的客流量以及公交车在车站间的行驶速度。     

一种通用模块化模型在视景仿真系统中的设计

讨论一种通用模块化模型在视景仿真系统中的设计,在PC平台下,通过使用通用的车站模型、室外场景模型、隧道场景模型和接口衔接,对地铁线路进行了逼真流畅的模拟.本方法已应用于北京地铁环线基于CBTC的实验线路的研究与开发.     

一种数字量的安全输入/输出模块的设计与实现

本文在分析可扩展安全计算机平台实时性和安全性要求的基础上,提出基于可编程逻辑器件(FPGA)和时钟级同步2取2结构的安全输入/输出(安全I/O)模块的设计方法.深入阐述了安全I/O模块的硬件设计原理和基于PSL语言的断言验证方案.功能仿真和形式化验证结果说明了设计的正确性,同时在EDA开发平台上长时间稳定性的测试结果也证明了安全I/O模块的正确性和安全性.