当前位置:
首页
--
交通运输
--
铁路运输
--
铁路通信、信号
--
铁路信号
--
联锁(车站信号)
计算机联锁系统冗余技术及应用研究
信号图辅助设计及联锁关系的自动生成和校验
基于UML-NuSMV的联锁软件形式化建模与验证
计算机联锁设备寿命分析及其方法研究
基于分布式全电子联锁的智能转辙机研究
轨道交通全电子化联锁系统安全技术研究与系统分析
铁路车站分布式计算机联锁系统中列车信号模块研究
城市轨道交通联锁系统可靠性及安全性分析研究
智能化铁路车站信号控制系统设计(主—从站的设计与实现)
基于灰色模糊理论的计算机联锁系统安全评估研究
形式化联锁软件测试技术研究
基于PLC的股道自动化系统研究
FlexRay总线在计算机联锁系统中的应用研究
基于图论的联锁程序的研究与设计
城轨计算机联锁仿真系统的研究与实现
基于继电电路的计算机联锁控制逻辑研究
基于A-Star算法的进路搜索研究
基于安全信息传输网的区域计算机联锁系统研究
基于VC++计算机联锁上位机教学系统设计
调车监控系统的联锁实时数据仿真
铁路信号分布式计算机联锁系统—道岔控制模块研究
基于继电电路的计算机联锁逻辑模型研究
高铁时代计算机联锁管理
微机联锁系统进路搜索的研究与仿真
基于SCADE的联锁逻辑建模与仿真
高铁计算机联锁教学培训子系统研究
城轨联锁系统信号开放逻辑的研究与自动化实现
基于全电子计算机联锁的道岔控制监测模块设计
联锁软件进路控制功能自动测试方法研究
基于启发式算法的联锁进路搜索研究与应用
基于遗传退火算法的联锁进路选排系统的研究
计算机联锁系统室内外设备配置软件的设计与实现
高铁计算机联锁仿真培训系统—联锁软件的研究
基于CBTC的联锁系统进路控制形式化建模与验证
基于安全状态机的计算机联锁系统建模与分析
基于蚁群算法的联锁进路搜索研究
基于监测数据的计算机联锁系统安全性研究
计算机联锁实验评价系统的设计与实现
EVENT-B方法在铁路车站连锁规范形式化建模与验证中的应用研究
计算机联锁系统冗余结构的设计
城市轨道交通计算机联锁系统的设计及实现
基于特征分析的铁路信号联锁安全控制逻辑领域建模
晨曦火车站联锁控制模拟系统的设计与实现
车地协同联锁模式下的分布式联锁计算机系统研究
高铁牵引供电和综合接地设计对车站信号影响的研究
基于Petri网的计算机联锁系统FMEA分析
新钢铁路信号微机联锁系统的设计和实现
基于现场数据的计算机联锁系统寿命预测方法
基于光纤通信技术的铁路车站信号系统的控制方法研究
基于Agent的全电子智能分布式应急联锁系统研究
[1]
[2]
[3]
[4]
下一页