基于巷道選擇的安全規(guī)則集約簡方法
【專利摘要】一種基于巷道選擇的安全規(guī)則集約簡方法，屬于煤炭礦井下的設(shè)備檢測方法。安全規(guī)則集的約減方法：在規(guī)則集約減方法中，先要對(duì)設(shè)備檢測員的歷史活動(dòng)軌跡進(jìn)行統(tǒng)計(jì)；統(tǒng)計(jì)的方法是在檢測員的身上安裝GPS定位設(shè)備，在1個(gè)月的時(shí)間內(nèi)，采集該檢測員的GPS移動(dòng)軌跡；之后使用歷史移動(dòng)軌跡計(jì)算出貝葉斯路徑預(yù)測算法的先驗(yàn)概率；然后在規(guī)則集數(shù)據(jù)庫中添加巷道坐標(biāo)字段，標(biāo)記該設(shè)備在規(guī)則集的位置信息。在手持端下載當(dāng)前最可能需要的規(guī)則集，按照貝葉斯路徑?jīng)Q策理論對(duì)其進(jìn)行約減，當(dāng)檢測人員到巷道1，手持端將下載安全規(guī)則集1，接下來按照貝葉斯決策理論預(yù)測下一個(gè)需要檢測巷道，將巷道相關(guān)的安全規(guī)則集提前下載到手持端，大大的提高了檢測工作的效率。
【專利說明】基于巷道選擇的安全規(guī)則集約簡方法

【技術(shù)領(lǐng)域】
[0001] 本發(fā)明涉及一種煤炭礦井下的設(shè)備檢測方法，特別是一種基于巷道選擇的安全規(guī) 則集約簡方法。

【背景技術(shù)】
[0002] 在如今，技術(shù)人員在礦井持手持設(shè)備對(duì)礦井下安裝的設(shè)備進(jìn)行檢測時(shí)，需要提前 將所有的規(guī)則集下載。當(dāng)行走到需要檢測設(shè)備時(shí)，通過對(duì)比規(guī)則集中的數(shù)據(jù)來檢測設(shè)備的 運(yùn)行狀態(tài)。但是現(xiàn)在規(guī)則集都是以數(shù)據(jù)庫的形式存儲(chǔ)，在手持端沒有對(duì)其進(jìn)行約減，全部下 載下來的儲(chǔ)存在設(shè)備中。這樣將對(duì)手持端的檢索數(shù)據(jù)集造成非常大的壓力，手持端搜索規(guī) 則集會(huì)非常的緩慢，減慢了安全檢測的效率。


【發(fā)明內(nèi)容】

[0003] 技術(shù)問題：本發(fā)明是要提供一種基于巷道選擇的安全規(guī)則集約簡方法，將安全規(guī) 則集按照巷道選擇進(jìn)行約減解決將規(guī)則集不進(jìn)行約減直接下載到手持端，造成減慢安全檢 測效率的問題。
[0004] 技術(shù)方案：本發(fā)明的目的是這樣實(shí)現(xiàn)的：安全規(guī)則集的約減方法：
[0005] 在規(guī)則集約減方法中，先要對(duì)設(shè)備檢測員的歷史活動(dòng)軌跡進(jìn)行統(tǒng)計(jì)；統(tǒng)計(jì)的方法 是在檢測員的身上安裝GPS定位設(shè)備，在1個(gè)月的時(shí)間內(nèi)，采集該檢測員的GPS移動(dòng)軌跡； 之后使用歷史移動(dòng)軌跡計(jì)算出貝葉斯路徑預(yù)測算法的先驗(yàn)概率；
[0006] 第一步：設(shè)計(jì)設(shè)備表、安全規(guī)則關(guān)聯(lián)表和安全規(guī)則表；
[0007] 設(shè)備表和設(shè)備檢查表和安全規(guī)則關(guān)聯(lián)表都以設(shè)備表設(shè)備唯一標(biāo)識(shí)ID為外鍵約 束，安全規(guī)則關(guān)聯(lián)表和安全規(guī)則表有以安全規(guī)則集的唯一標(biāo)識(shí)ID為外鍵約束；
[0008] 其中：
[0009] 設(shè)備表包含：設(shè)備唯一編號(hào)、位置信息和設(shè)備名稱；
[0010] 安全規(guī)則關(guān)聯(lián)表包含：設(shè)備唯一編號(hào)和安全規(guī)則集編號(hào)；
[0011] 安全規(guī)則表包含：安全規(guī)則集編號(hào)和安全規(guī)則；
[0012] 第二步：采用貝葉斯決策理論預(yù)測巷道選擇；
[0013] 貝葉斯決策理論：對(duì)于觀測值X，有一個(gè)由η個(gè)類別組成的狀態(tài)空間Ω = =1，2, 3…，η}，一個(gè)決策集（Decision set)D = {dj | j = 1，2,…，η, η+1}，其中，假定 dn+i 為 拒絕決策；對(duì)于決策屯，i尹n+1，有x e ;
[0014] 路徑選擇：對(duì)于某一已知位置，運(yùn)動(dòng)目標(biāo)的下一個(gè)路徑選擇為與它相鄰巷道或岔 道，根據(jù)貝葉斯路徑?jīng)Q策方法判定最可能的路徑；
[0015] 所述的路徑?jīng)Q策算法過程如下：算法中涉及的變量和公式：
[0016] ω i :表示路徑，i用以區(qū)分路徑；
[0017] X :表示檢測員當(dāng)前被觀測到的位置；
[0018] p(Wi):表示通過統(tǒng)計(jì)得出檢測員選擇該條路徑的先驗(yàn)概率；
[0019] p(X I :表示在用戶選擇％條件下在X所表示位置的條件密度概率；
[0020]

【權(quán)利要求】
1. 一種基于巷道選擇的安全規(guī)則集約簡方法，其特征是：安全規(guī)則集的約減方法： 在規(guī)則集約減方法中，先要對(duì)設(shè)備檢測員的歷史活動(dòng)軌跡進(jìn)行統(tǒng)計(jì)；統(tǒng)計(jì)的方法是在 檢測員的身上安裝GPS定位設(shè)備，在1個(gè)月的時(shí)間內(nèi)，采集該檢測員的GPS移動(dòng)軌跡；之后 使用歷史移動(dòng)軌跡計(jì)算出貝葉斯路徑預(yù)測算法的先驗(yàn)概率； 然后在規(guī)則集數(shù)據(jù)庫中添加巷道坐標(biāo)字段，標(biāo)記該設(shè)備在規(guī)則集的位置信息； 第一步：設(shè)計(jì)設(shè)備表、安全規(guī)則關(guān)聯(lián)表和安全規(guī)則表； 設(shè)備表和設(shè)備檢查表和安全規(guī)則關(guān)聯(lián)表都以設(shè)備表設(shè)備唯一標(biāo)識(shí)ID為外鍵約束，安 全規(guī)則關(guān)聯(lián)表和安全規(guī)則表有以安全規(guī)則集的唯一標(biāo)識(shí)ID為外鍵約束； 其中： 設(shè)備表包含：設(shè)備唯一編號(hào)、位置信息和設(shè)備名稱； 安全規(guī)則關(guān)聯(lián)表包含：設(shè)備唯一編號(hào)和安全規(guī)則集編號(hào)； 安全規(guī)則表包含：安全規(guī)則集編號(hào)和安全規(guī)則； 第二步：采用貝葉斯決策理論預(yù)測巷道選擇； 貝葉斯決策理論：對(duì)于觀測值X，有一個(gè)由η個(gè)類別組成的狀態(tài)空間Ω = {ω」i = 1，2, 3…，η}，一個(gè)決策集（Decision set)D = {dj I j = 1，2,…，η, n+1}，其中，假定 dn+1 為拒 絕決策；對(duì)于決策屯，i關(guān)n+1，有x e ; 路徑選擇：對(duì)于某一已知位置，運(yùn)動(dòng)目標(biāo)的下一個(gè)路徑選擇為與它相鄰巷道或岔道，根 據(jù)貝葉斯路徑?jīng)Q策方法判定最可能的路徑； 所述的路徑?jīng)Q策算法過程如下：算法中涉及的變量和公式： ω?:表示路徑，i用以區(qū)分路徑； X :表示檢測員當(dāng)前被觀測到的位置； P(?i):表示通過統(tǒng)計(jì)得出檢測員選擇該條路徑的先驗(yàn)概率； P (X I ω J :表示在用戶選擇ω i條件下在X所表示位置的條件密度概率；
表示貝葉斯公式； Stepl根據(jù)歷史統(tǒng)計(jì)數(shù)據(jù)，計(jì)算運(yùn)動(dòng)對(duì)象（特指設(shè)備檢測員）在礦井底下某個(gè)位置選擇 下一條巷道或岔道的先驗(yàn)概率Ρ(ω); St印2將檢測到運(yùn)動(dòng)對(duì)象位置定為當(dāng)前位置，計(jì)算運(yùn)動(dòng)對(duì)象在當(dāng)前位置呈現(xiàn)出選擇不 同巷道或岔道的條件概率密度函數(shù)為pUlw); Step3根據(jù)貝葉斯公式
計(jì)算出檢測員選擇每一條巷道或 岔道的后驗(yàn)概率Ρ(ω」χ);
St印4根據(jù)公式 采用貝葉斯決策理論屯：X e ，即預(yù)測出運(yùn) ， 動(dòng)對(duì)象的最佳選擇路徑； 路徑?jīng)Q策算法和規(guī)則集約減關(guān)聯(lián)，約減方法的第一步巷道選擇實(shí)現(xiàn)，然后對(duì)規(guī)則庫按 照巷道選擇進(jìn)行數(shù)據(jù)庫設(shè)計(jì)。
【文檔編號(hào)】G06F17/30GK104142982SQ201410340587
【公開日】2014年11月12日 申請(qǐng)日期:2014年7月16日 優(yōu)先權(quán)日:2014年7月16日
【發(fā)明者】陳偉, 張磊, 唐志博 申請(qǐng)人:中國礦業(yè)大學(xué)