当前位置：
首页
--
交通运输
--
铁路运输
--
铁路通信、信号
--
铁路信号
--
联锁（车站信号）
区域计算机联锁站间安全通信的研究
基于Linux系统的铁路信号计算机联锁安全平台软件设计
城市轨道交通信号系统联锁软件的研究与实现
城市轨道交通联锁系统接口技术与安全性研究
基于Event-B和MAS的车站进路联锁控制逻辑的形式化方法研究
区域计算机联锁系统安全性与可靠性研究
CTCS-3级全电子计算机联锁系统研究
车站联锁实物仿真系统的设计
全电子计算机联锁系统现场总线通信的改进研究及实现
计算机联锁自动测试系统研究与设计
基于UPPAAL的计算机联锁进路控制过程测试用例自动生成
基于UML的铁路信号计算机联锁仿真系统的研究与实现
基于SCADE的城轨正线联锁系统研究
高速铁路车站信号仿真培训系统研究与设计
到达场联锁功能仿真
计算机联锁安全输入/输出板编程器的设计与开发
驼峰场联锁功能仿真
基于联锁图表的联锁子系统应用研究
高速铁路计算机联锁系统的安全评估研究
基于SCADE的计算机联锁系统建模与验证
全电子计算机联锁系统中执行单元的设计与调试
车站计算机联锁软件自动测试技术设计研究
计算机联锁系统安全风险分析研究
铁路车站计算机联锁软件建模研究
铁路信号联锁软件测试用例生成方法研究
基于神经网络的计算机联锁系统寿命评估方法
具有车路绑定功能的区域联锁系统原理样机研制
基于模型的城轨信号联锁系统开发方法
基于非齐次泊松过程的联锁软件可靠性建模与半实物仿真
城轨联锁系统中进路控制逻辑的自动设计与实现
车站信号计算机联锁逻辑关系形式化验证方法的研究
基于ARM的车站联锁实物仿真系统的设计
基于进路控制过程的联锁软件高效率测试方法研究
分布式智能车站信号控制系统设计
基于TMS570的计算机联锁系统嵌入式计算平台设计与实现
基于Virtools的车站铁路信号虚拟培训系统的研究
二乘二取二系统的可靠性和安全性
全电子计算机联锁系统道岔模块的研究与设计
城市轨道交通区域计算机联锁仿真系统的研究
基于时间有色Petri网的计算机联锁系统建模
联锁软件自动化测试技术的研究与应用
全电子计算机联锁系统与RBC间安全通信接口设计
A*算法在计算机联锁上位机软件中的应用研究
全电子计算机联锁软件质量度量分析与研究
全电子计算机联锁系统信号模块安全性分析
网络计算机联锁仿真系统研究
CTC联锁仿真系统的设计与实现
基于CSP的城轨CBTC联锁逻辑形式化建模与验证
基于通信的分散式计算机联锁系统研究
基于Event-B的联锁系统进路控制建模与验证研究
上一页
[1]
[2]
[3]
[4]
下一页
