当前位置：
首页
--
交通运输
--
铁路运输
--
铁路通信、信号
--
铁路信号
--
区间闭塞与机车信号系统
--
列车运行自动化
CTCS-3级列控系统车载设备测试数据自动生成方法及工具研究
应答器信号受脉冲电流的影响研究
区域运输组织与安全控制一体化关键技术研究
CTCS-3级列控车载设备测试结果自动分析与验证方法的研究
基于列控系统的扩展UML模型设计及故障树求解算法
基于改进蚁群算法的测试序列优化算法
基于信息熵的列控系统体系结构复杂性分析
基于案例推理的高铁信号系统车载设备故障诊断
UIC网关映射服务器子系统的设计与实现
轨道交通冗余ATO的算法研究与实现
基于博弈论的CBTC列车优化控制方法研究
基于TCSP的区域控制器分层建模与验证
基于TMS570的列控系统中安全计算机的研究与设计
基于混成自动机的ZC子系统安全的验证方法研究
基于滑模的列车运行速度跟踪控制研究
CTCS-3无线接口安全功能模块分析与验证
基于失效传播模型的CTCS-3级列控系统安全分析方法
高速列车制动模型建模与验证方法研究
基于UML-NuSMV模型的列控系统需求阶段的安全分析
基于模型的列控系统危险辨识方法研究
高速铁路列控系统应答器应用方案验证与优化方法研究
首尾完全冗余的列车自动驾驶系统研究
基于混合因果逻辑的量化风险分析方法及应用
基于在线测试方法的高铁列控系统运营场景实时性研究
基于模型的CTCS-3列控系统互联互通测试自动分析方法研究
面向铁路GPS轨迹融合的约束主曲线算法研究
列车光纤光栅监测系统应用研究
CTCS-3级车载DMI界面信息自动识别方法及工具的研究
高速铁路应答器A接口仿真及系统优化的研究
基于高速列控系统的自动测试分析系统
高速动车组列控系统研究
面向列控安全性监控的运行时验证方法研究
粒子群优化广义预测控制器在ATO系统中的应用与研究
基于Timed RAISE的RBC切换建模与分析
物元模型（可拓学）在列车自动驾驶系统中的应用研究
高速列车运行信息融合方法研究
多信息融合滤波的多模态智能控制在高速列车速度控制中的研究
城际列车ATP曲线对通过能力的影响研究
贝叶斯网络在CBTC系统概率安全评估中的应用研究
基于高级Petri网的高速列车追踪运行过程建模与分析
基于时间自动机的CBTC区域控制子系统形式化建模与验证
模糊贝叶斯决策在列控车载设备故障诊断中的应用研究
基于灰色理论的列车自动驾驶系统研究
城市轨道交通CBTC系统无线抗干扰研究
城市轨道交通CBTC系统越区切换的研究
有轨电车信号系统车地通信的研究
城市轨道交通ATS系统中运行图软件的研究与设计
城市轨道交通ATS系统中车站分机的研究与设计
城市轨道交通ATS系统监控子系统研究
有轨电车信号系统轨旁控制器信号灯控制模块的研究
上一页
[5]
[6]
[7]
[8]
[9]
下一页
