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

说明书

本发明提出了一种基于形式化语言的铁路站间闭塞联锁逻辑实现方法。所述铁路站间闭塞联锁逻辑实现方法能够同时兼容半自动闭塞和自动站间闭塞方式；其中，所述安全功能实现方法包括：基于形式化语言的半自动闭塞逻辑实现、区间使用计轴设备的自动站间闭塞逻辑实现、主备冗余模块的实时同步逻辑实现和站间联系方式。本发明基于形式化语言描述系统状态，并根据条件触发状态跳转的铁路信号区间闭塞逻辑实现方法，这种方法能简化逻辑实现的复杂度，降低软件变量之间的耦合度，逻辑结构清晰，便于设计和后期修改。

技术领域

本发明涉及铁路信号技术领域，尤其涉及一种基于形式化语言的铁路站间闭塞联锁逻辑实现方法。

背景技术

在铁路信号领域中，闭塞是指列车进入站间后，使之与外界隔离起来，站间两端车站都不再向这一站间发车。闭塞设备即为实现“一个站间（闭塞分区）内，同一时间只允许一列车占用”而设置的铁路站间信号重要安全设备，分为自动闭塞、半自动闭塞和自动站间闭塞三类。

近十年来我国开通和改造的大部分车站已经使用计算机联锁系统取代6502电气联锁系统，其联锁逻辑由继电器电路改为了软件逻辑运算，提升了系统的可靠性和安全性。但是闭塞设备由于其功能独立、逻辑对时序要求高，仍然保持了6502继电器实现方式。近几年为了进一步提高系统的数字化、信息化程度，满足远程维护、执行层设备双套冗余等需求，全电子计算机联锁系统开始推广使用，其中闭塞设备也需要设计为满足“故障-安全”的电子执行模块。闭塞电子执行模块的软件需要存储历史状态信息，根据外部电信号变化多次握手已确认闭塞站间情况，还要考虑异常情况下复原等操作，使用常规的软件编程方式实现难度大，后期修改难度更大，往往增加或修改一个变量会影响整个闭塞设备的逻辑。

所以本发明提出一种基于形式化语言描述系统状态，并根据条件触发状态跳转的铁路信号站间闭塞逻辑实现方法，这种方法能简化逻辑实现的复杂度，降低软件变量之间的耦合度，逻辑结构清晰，便于设计和后期修改。

发明内容

有鉴于此，本发明针对现有技术存在的不足及未涉及之处，提出了一种同时兼容半自动闭塞和自动站间闭塞方式的基于形式化语言的铁路站间闭塞联锁逻辑实现方法，其中闭塞方式在有计轴设备的情况下可以升级为自动站间闭塞，也可以降级为半自动闭塞，同时需具备主备冗余模块实时同步的功能。站间互联的信息可以是二线电缆的电信号，或者是光纤传输的通信信号。

具体技术方案如下：

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

基于形式化语言的半自动闭塞逻辑实现方法、站间使用计轴设备的自动站间闭塞逻辑实现方法、主备冗余模块的实时同步逻辑实现方法和站间通信联系方法。

通过本发明的基于形式化语言的铁路站间闭塞安全功能实现方法，可以简化逻辑实现的复杂度，降低软件变量之间的耦合度，逻辑结构清晰，便于设计和后期修改。

附图说明

图1为铁路信号站间闭塞安全功能的正常办理示意图。

图2为铁路信号站间闭塞安全功能的事故复原及取消复原示意图。

图3为铁路信号站间闭塞安全功能的计轴模式切换示意图。

具体实施方式

为了使本技术领域的人员更好地理解本发明的技术方案，并使本发明的上述目的、特征和优点能够更加明显易懂，下面结合实施例附图对本发明作进一步详细的说明。本领域技术人员可以明确的是，在缺少部分或全部这些具体细节的情况下也可以实现本发明。在其他情况下，为了不会使本发明存在不必要的不清楚之处，没有具体描述公知的处理步骤和/或结构。另外，尽管结合特定的实施例对本发明进行描述，但是应该理解的是，该描述并不旨在将发明限制于所描述的实施例。相反，该描述旨在覆盖可包括在由所附权利要求书限定的本发明的精神和范围内的替换、改进和等同方案。