[发明专利]一种基于形式化语言的铁路区间闭塞安全功能实现方法

权利要求书

1.一种基于形式化语言的铁路站间闭塞安全功能实现方法，其特征在于，能够同时兼容半自动闭塞和自动站间闭塞方式；其中，所述安全功能实现方法包括：

基于形式化语言的半自动闭塞逻辑实现方法，站间使用计轴设备的自动站间闭塞逻辑实现方法，主备冗余模块的实时同步逻辑实现方法和站间通信联系方法；基于形式化语言的半自动闭塞逻辑实现方法包括：定位状态、发车状态、接车状态和事故复原及取消复原；

所述定位状态为：按下闭塞按钮进入发车状态；接收到负电信号进入接车状态；以及所述计轴设备使用时，排完进路进入发车状态；

所述发车状态为：接收负电信号进入自动回执状态；接收正电信号进入同意接车状态；接车出发内方轨道占用发出列车出发正电信号；以及接受到负电信号列车到达复原，再返回定位状态；

所述接车状态为：按下闭塞按钮进入同意接车状态；接收正电信号收到通知列车出发；进站区段占用连续检查通过进入到达复原，等待人工确认；以及人工确认列车完全进入站内后按下复原按钮发送负电信号后，恢复闭塞空闲状态；

所述事故复原及取消复原包括：发车和接车各阶段事故复原；

所述站间使用计轴设备的自动站间闭塞逻辑实现方法包括：站间使用所述计轴设备时，半自动闭塞能够升级为计轴叠加自动闭塞模式；其中，所述闭塞模式通过计轴停止按钮和计轴使用按钮进行模式切换；在所述半自动闭塞逻辑基础上，所述计轴设备使用时，进路办理后触发信号eFJ0；接车站自动回执后自动同意接车触发信号eJJ1；列车连续检查且完全进入站内后触发信号eJJ3自动到达复原。

2.根据权利要求1所述的安全功能实现方法，其特征在于，所述主备冗余模块的实时同步逻辑实现方法包括：使用备用硬件提升可靠性时，需要保障备用模块的逻辑上电时能与主用模块同步。

3.根据权利要求1所述的安全功能实现方法，其特征在于，所述站间通信联系方法包括：根据站间联系的电信号方式或通信信号方式，统一转化为意义一致的触发条件。