摘要
本发明公开了基于递归和双算法协同的逻辑表达式处理方法及系统,属于轨道交通信号控制技术领域,包括:基于配置文件分层结构化加载逻辑表达式,提取逻辑表达式的运算符;基于运算符递归解析逻辑表达式得到节点列表及节点层次;基于节点层次及节点列表构建逻辑树并剪枝得到精简逻辑树,并多维验证精简逻辑树中的精简逻辑表达式得到准确逻辑树;将准确逻辑树输入双算法协同策略确定关键路径节点;对关键路径节点及精简逻辑树进行可视化得到层次逻辑图;本发明在确保实用性的前提下,克服了传统单一算法解析逻辑表达式准度低导致对应城市轨道交通信号系统稳定性差的问题。