铁路车站信号系统相关论文
在铁路车站信号装置持续增加的背景下,用光纤代替电缆进行信号传输是一种必然趋势.光纤通信除了提高信息传输速度外,还能简化传输......
计算机联锁系统是铁路车站信号系统中施行、调车控制的安全系统.因为它控制着关系人身安全或财产损失的设备,所以它必须达到高可靠......
详细介绍了适于描述实时系统的形式化方法，时间自动机以及基于时间自动机的模型验证工具UPPAAL。给出了铁路车站信号系统中的联锁功......
