当前位置：
首页
--
交通运输
--
铁路运输
--
铁路通信、信号
--
铁路信号
--
区间闭塞与机车信号系统
基于H_∞滤波算法的列车组合定位方法研究
电子双线双向自动闭塞系统--本站模拟研究
基于GA模糊神经网络的列车自动驾驶优化研究
准东铁路公司列车运行监控记录装置的应用分析
混合测试方法在仿真车载子系统测试中的研究与应用
基于UML和UPPAAL的FAO系统典型运营场景的建模与验证
多传感器融合列车测速定位技术的研究
列控系统地—车连续信息传输过程综合评价方法的研究
高速列车追踪接近预警系统研究
列车组合定位系统信号仿真方法研究
互律控制方法在列车运行控制系统中的应用研究
无线闭塞中心仿真软件设计与实现
城市轨道交通分布式车载运行控制系统研究
城市轨道交通CBTC数据管理单元安全关键软件设计与开发
基于全路径覆盖优化和序列优选算法的自动化测试方法及应用
基于时间自动机的列控中心软件形式化建模与验证
基于HLA的列控仿真系统故障注入设计与实现
基于自适应控制列车ATO调速系统的若干研究
利用应答器信息的在线学习停车算法
基于时间自动机的CTCS-3级列控系统建模方法与验证研究
BTM测试管理系统与测试关键技术的研究
基于模型的列控系统测试用例自动生成研究
跨区域列车交接技术及其应用研究
列车运行间隔实时追踪及防撞预警系统无线通信异常处理研究
基于自适应控制的列车自动运行仿真研究
基于网络拓扑的城轨CBTC系统数据自动生成研究
基于UPPAAL的CBTC系统数据验证的研究
列车实时追踪及预警系统的定位方法及研究与设计
基于自律分散的城市轨道交通ATS的设计与实现
列车临时限速显示系统设计与实现
基于ARM的临时列控车载系统软件设计与实现
城市轨道交通实验室模拟机车控制系统设计
高速铁路列车追踪行车模拟研究与分析
基于GPS/INS列车组合定位数据融合算法研究
区域控制器移动授权的UML模型与验证
城市轨道交通列车运行调整的粒子群算法实现
城市轨道交通车载二取二平台关键技术的研究
基于FFFIS编码策略和FPGA的应答器报文信号源设计
信息物理系统时空逻辑研究
RAMS的安全例证分析与应用
基于测试案例的专家系统的设计与实现
CTCS-3级列控系统仿真平台接口信息服务器的研究与设计
CTCS-3级列控系统仿真测试平台—显示控制终端子系统的设计与实现
CTCS-3车载辅助测试计划自动生成系统设计与实现
64D继电半自动闭塞区段接发列车仿真系统开发
ATS列车追踪的设计与实现
基于CPN的RBC系统的建模与仿真
基于UML的列车自动防护系统测试用例设计与生成
CTCS-3级列控中心建模与仿真研究
基于遗传算法的ATO速度曲线优化
上一页
[11]
[12]
[13]
[14]
[15]
下一页
