基于布尔代数的通用联锁逻辑生成方法

杨 平，谢 林

随着计算机联锁的广泛应用,在面临大规模的车站开通时,提供一种通用联锁逻辑的生成方法显得尤为重要。目前,自动生成联锁逻辑的方式多数都采用高级语言来实现,虽然实现了自动化,但是对信号开发人员来说要求很高,不仅要熟悉高级语言编程方法,又要理解联锁信号逻辑,二者缺一不可,否则在开发的过程中就有可能出现潜在的安全隐患。

针对上述问题,本文提供一种自动生成车站通用联锁逻辑的搜索方法,将联锁信号逻辑与软件编程分离开,由信号人员根据站场特点,采用自定义的搜索语言来描述通用联锁逻辑,软件只需按照通用方法的搜索原则来执行搜索,无需考虑信号逻辑,以此来达到联锁逻辑生成的目的。

1 整体架构分析

通用联锁逻辑生成整体架构见图1。本文结合计算机联锁技术条件,从数据通用处理、通用联锁逻辑搜索、参数过滤和通用联锁逻辑生成4个方面展开研究。首先根据站场特点,定义搜索方法库和搜索原则,由信号人员根据定义的搜索方法库编写通用联锁搜索规则,确定通用搜索逻辑；其次,根据实际站场,读取站场数据,分析数据特征,为每个站场设备生成数据模块,形成站场型数据结构；最后,利用由自定义语法编写的、符合所有站场要求的通用联锁逻辑作为具体的搜索顺序,根据该搜索顺序执行搜索程序,得到若干条搜索路径,并过滤掉搜索路径中不符合要求的站场设备,得到最终的搜索结果,利用该结果生成若干条分支,将分支进行组合,生成整个支路的通用联锁逻辑［1−2］。……