一种基于规则匹配的矿井机车无人驾驶系统控制逻辑结构

摘要

本发明目的是为了避免无人驾驶机车在发生异常情况下造成安全事故，提供一种基于规则的矿井机车无人驾驶系统控制逻辑设计方法，以实现对矿机机车在无人驾驶状态下实现对机车的可信性控制。本发明将机车控制逻辑设计成逻辑判断规则集合，同时将多种信息分析处理简化为逻辑上0与1的判决条件，兼顾了逻辑设计的简洁性和执行的高效性、同时将信息简化为在逻辑规则制定时充分考虑故障导向安全原则，充分保证了系统操作的高可信性；采用逻辑判断规则执行的方式，减小了系统的开发难度，有利于标准化；利用规则执行的方式，实现了程序代码与规则库的分离，提高了系统的开发速度。

主权项

一种基于规则匹配的矿井机车无人驾驶系统控制逻辑结构，所述的控制逻辑结构包括信息输入层、规则匹配层、状态输出层，各层之间通过通讯总线完成双向通信；a、所述的规则匹配层是指通过机车控制逻辑规则集合以及控制逻辑规则匹配库形成的逻辑规则匹配层，具体过程如下：a1、结合机车的系统结构确定机车的控制需求；所述控制需求是指各设备之间的控制关系；再基于故障安全性原则确定机车控制逻辑规则集合；所述控制规则集合是指各控制状态执行需满足的逻辑规则推导式集合；a2、按照特定的编码规范，将规则组的集合转换为二进制代码，形成特定编码方式，结合步骤a1中的机车控制逻辑规则集合形成形式化的逻辑规则匹配库，进而实现控制逻辑规则匹配层；b、所述的信息输入层通过信息分类，对机车的信息输入设备和设备的状态进行编号，按照特定编码方式按设备编号由小到大的顺序生成输入设备信息表，并将设备信息表发送至逻辑规则匹配层，实现信息输入；c、所述的状态输出层是指逻辑规则匹配层将设备信息表中的各种事件触发信息与逻辑规则匹配库中相应的事件触发条件进行匹配，并将匹配规则生成的执行指令生成状态执行表并发送至各控制设备，实现状态输出。