[发明专利]基于巷道选择的安全规则集约简方法

说明书

技术领域

本发明涉及一种煤炭矿井下的设备检测方法，特别是一种基于巷道选择的安全规则集约简方法。

背景技术

在如今，技术人员在矿井持手持设备对矿井下安装的设备进行检测时，需要提前将所有的规则集下载。当行走到需要检测设备时，通过对比规则集中的数据来检测设备的运行状态。但是现在规则集都是以数据库的形式存储，在手持端没有对其进行约减，全部下载下来的储存在设备中。这样将对手持端的检索数据集造成非常大的压力，手持端搜索规则集会非常的缓慢，减慢了安全检测的效率。

发明内容

技术问题：本发明是要提供一种基于巷道选择的安全规则集约简方法，将安全规则集按照巷道选择进行约减解决将规则集不进行约减直接下载到手持端，造成减慢安全检测效率的问题。

技术方案：本发明的目的是这样实现的：安全规则集的约减方法：

在规则集约减方法中，先要对设备检测员的历史活动轨迹进行统计；统计的方法是在检测员的身上安装GPS定位设备，在1个月的时间内，采集该检测员的GPS移动轨迹；之后使用历史移动轨迹计算出贝叶斯路径预测算法的先验概率；

第一步：设计设备表、安全规则关联表和安全规则表；

设备表和设备检查表和安全规则关联表都以设备表设备唯一标识ID为外键约束，安全规则关联表和安全规则表有以安全规则集的唯一标识ID为外键约束；

其中：

设备表包含：设备唯一编号、位置信息和设备名称；

安全规则关联表包含：设备唯一编号和安全规则集编号；

安全规则表包含：安全规则集编号和安全规则；

第二步：采用贝叶斯决策理论预测巷道选择；

贝叶斯决策理论:对于观测值x，有一个由n个类别组成的状态空间Ω＝{ω_i|i＝1,2,3…,n}，一个决策集(Decision set)D＝{d_j|j＝1,2,…,n,n+1}，其中，假定d_n+1为拒绝决策；对于决策d_i，i≠n+1，有x∈ω_i；

路径选择：对于某一已知位置，运动目标的下一个路径选择为与它相邻巷道或岔道，根据贝叶斯路径决策方法判定最可能的路径；

所述的路径决策算法过程如下：算法中涉及的变量和公式：

ω_i：表示路径，i用以区分路径；

x：表示检测员当前被观测到的位置；

p(ω_i)：表示通过统计得出检测员选择该条路径的先验概率；

p(x|ω_i)：表示在用户选择ω_i条件下在x所表示位置的条件密度概率；

p(ωi|x)=p(x|ωi)p(ωi)Σj=1np(x|ωj)p(ωj):]]>表示贝叶斯公式；

Step1根据历史统计数据，计算运动对象(特指设备检测员)在矿井底下某个位置选择下一条巷道或岔道的先验概率p(ω_i)；