無線傳感器網(wǎng)絡(luò)及其數(shù)據(jù)處理方法【專利摘要】本發(fā)明提供一種無線傳感器網(wǎng)絡(luò)及其數(shù)據(jù)處理方法，屬于無線傳感器網(wǎng)絡(luò)
技術(shù)領(lǐng)域：
，其可解決現(xiàn)有的無線傳感器網(wǎng)絡(luò)沒有進(jìn)行沖突消解和數(shù)據(jù)約束的方法的問題。本發(fā)明的無線傳感器網(wǎng)絡(luò)數(shù)據(jù)處理方法其包括：接收各無線傳感器的檢測數(shù)據(jù)并用其生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式；用各所述數(shù)據(jù)公式組成數(shù)據(jù)公式集D；判斷D∪C的一致性，其中C為由預(yù)先設(shè)定的約束公式組成的約束公式集(上述數(shù)據(jù)公式和約束公式優(yōu)選均為良定的描述邏輯公式)；若D∪C一致，則將D加入處理結(jié)果中；若D∪C不一致，則除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將D加入處理結(jié)果中。【專利說明】無線傳感器網(wǎng)絡(luò)及其數(shù)據(jù)處理方法
技術(shù)領(lǐng)域：
[0001]本發(fā)明屬于無線傳感器網(wǎng)絡(luò)
技術(shù)領(lǐng)域：
，具體涉及一種無線傳感器網(wǎng)絡(luò)及其數(shù)據(jù)處理方法?！?br>背景技術(shù)：
】[0002]無線傳感器網(wǎng)絡(luò)(WSN,WirelessSensorNetwork)是物聯(lián)網(wǎng)中的一種感知網(wǎng)絡(luò)，其包括分布于不同位置的多個(gè)無線傳感器，這些無線傳感器通過無線通信方式組成多跳的自組織網(wǎng)絡(luò)，協(xié)同感知、采集物理世界的信息，并將檢測數(shù)據(jù)(檢測結(jié)果）傳送給匯聚節(jié)點(diǎn)(sinknode)或執(zhí)行器，之后發(fā)給上層（如接入層、網(wǎng)絡(luò)層等)并用于后續(xù)過程。隨著技術(shù)的發(fā)展，無線傳感器網(wǎng)絡(luò)在空間探索、軍事偵查、環(huán)境檢測，醫(yī)療監(jiān)護(hù)、工業(yè)生產(chǎn)、農(nóng)業(yè)養(yǎng)殖、商業(yè)應(yīng)用等領(lǐng)域獲得了越來越廣泛的應(yīng)用。[0003]由于無線傳感器網(wǎng)絡(luò)中的無線傳感器數(shù)量眾多且分布在不同位置，故很難對(duì)它們進(jìn)行定期的維護(hù)和檢測；同時(shí)，為避免單個(gè)無線傳感器的不準(zhǔn)確性，故經(jīng)常需要使用多個(gè)無線傳感器綜合進(jìn)行檢測。如在石油勘探過程中，為判斷地層中的油氣狀況，需在測井中設(shè)置大量的無線傳感器以獲取不同地層的電阻、泥漿密度、孔隙壓力等信息。在實(shí)際中，由于無線傳感器故障、傳輸干擾等因素，常會(huì)出現(xiàn)部分無線傳感器的檢測數(shù)據(jù)不合理的現(xiàn)象(數(shù)據(jù)沖突），如同一時(shí)刻多個(gè)無線傳感器檢測的地層同一位置的溫度存在很大差異;或者，檢測一個(gè)轉(zhuǎn)子轉(zhuǎn)動(dòng)情況的無線傳感器的檢測數(shù)據(jù)應(yīng)當(dāng)是"順時(shí)針"、"逆時(shí)針"、"停轉(zhuǎn)"中的一種，但可能其檢測數(shù)據(jù)卻是數(shù)字。[0004]現(xiàn)有無線傳感器網(wǎng)絡(luò)只對(duì)檢測數(shù)據(jù)的真實(shí)性或可靠新進(jìn)行驗(yàn)證，即驗(yàn)證檢測數(shù)據(jù)是否來自預(yù)定的無線傳感器，傳輸中是否有錯(cuò)誤等，而不考慮檢測數(shù)據(jù)本身是否存在不合理或錯(cuò)誤（即沖突），而是直接上報(bào)給上層，從而在上層的后續(xù)工作中引發(fā)錯(cuò)誤(例如發(fā)現(xiàn)一個(gè)點(diǎn)有兩個(gè)溫度，因使用了錯(cuò)誤的溫度而引起問題），或需要在后續(xù)工作中再進(jìn)行處理（如需要認(rèn)為判斷哪個(gè)檢測數(shù)據(jù)是正確的）?！?br/>發(fā)明內(nèi)容】[0005]本發(fā)明針對(duì)現(xiàn)有的無線傳感器網(wǎng)絡(luò)沒有進(jìn)行沖突消解和數(shù)據(jù)約束的方法的問題，提供一種可進(jìn)行沖突消解和數(shù)據(jù)約束的無線傳感器網(wǎng)絡(luò)及其數(shù)據(jù)處理方法。[0006]解決本發(fā)明技術(shù)問題所采用的技術(shù)方案是一種無線傳感器網(wǎng)絡(luò)數(shù)據(jù)處理方法，其包括：[0007]接收各無線傳感器的檢測數(shù)據(jù)并用其生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式；[0008]用各所述數(shù)據(jù)公式組成數(shù)據(jù)公式集D;[0009]判斷DUC的一致性，其中C為由預(yù)先設(shè)定的約束公式組成的約束公式集；[0010]若DUC-致，則將D加入處理結(jié)果中；若DUC不一致，則除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將D加入處理結(jié)果中。[0011]優(yōu)選的是，所述用各無線傳感器的檢測數(shù)據(jù)生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式包括:用各無線傳感器的檢測數(shù)據(jù)和檢測對(duì)象生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式。[0012]優(yōu)選的是，在生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式和用各所述數(shù)據(jù)公式組成數(shù)據(jù)公式集D之間還包括:將所述數(shù)據(jù)公式和與其對(duì)應(yīng)的無線傳感器的可信度相關(guān)聯(lián)，所述無線傳感器的可信度是預(yù)設(shè)的。[0013]進(jìn)一步優(yōu)選的是，所述除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將D加入處理結(jié)果中包括:逐次利用描述邏輯的一致性檢測方法，除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將使DUC-致的D加入處理結(jié)果中。[0014]進(jìn)一步優(yōu)選的是，所述逐次利用描述邏輯的一致性檢測方法，除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將使DUC-致的D加入處理結(jié)果中包括:找出D中引起本次不一致的數(shù)據(jù)公式，并用其組成異常公式集DF，令D=D-DF;令DF=DF-F，其中F為低可信異常公式集，其由DF中與最低可信度相關(guān)聯(lián)的數(shù)據(jù)公式組成;判斷DFUC的一致性;若DFUC-致，則將DF加入處理結(jié)果中；若DFUC不一致，則返回所述令DF=DF-F的步驟;返回所述判斷DUC的一致性的步驟。[0015]解決本發(fā)明技術(shù)問題所采用的技術(shù)方案是一種無線傳感器網(wǎng)絡(luò)，其包括：[0016]多個(gè)無線傳感器；[0017]預(yù)處理模塊，用于接收各無線傳感器的檢測數(shù)據(jù)并用其生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式；[0018]處理模塊，用于用各所述數(shù)據(jù)公式組成數(shù)據(jù)公式集D，并用于判斷DUC的一致性，若DUC-致，則將D加入處理結(jié)果中；若DUC不一致，則除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將D加入處理結(jié)果中，其中，C為由預(yù)先設(shè)定的約束公式組成的約束公式集。[0019]優(yōu)選的是，所述無線傳感器網(wǎng)絡(luò)還包括:無線傳感器管理模塊，用于接收并存儲(chǔ)各無線傳感器的檢測對(duì)象;所述預(yù)處理模塊用于用各無線傳感器的檢測數(shù)據(jù)和檢測對(duì)象生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式。[0020]優(yōu)選的是，所述無線傳感器網(wǎng)絡(luò)還包括:無線傳感器管理模塊，用于接收并存儲(chǔ)各所述無線傳感器的可信度;預(yù)處理模塊還用于將所述數(shù)據(jù)公式和與其對(duì)應(yīng)的無線傳感器的可信度相關(guān)聯(lián)，所述無線傳感器的可信度是預(yù)設(shè)的。[0021]進(jìn)一步優(yōu)選的是，所述除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將D加入處理結(jié)果中包括:逐次利用描述邏輯的一致性檢測方法，除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將使DUC-致的D加入處理結(jié)果中。[0022]進(jìn)一步優(yōu)選的是，所述逐次利用描述邏輯的一致性檢測方法，除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將使DUC-致的D加入處理結(jié)果中包括:找出D中引起本次不一致的數(shù)據(jù)公式，并用其組成異常公式集DF，令D=D-DF;令DF=DF-F，其中F為低可信異常公式集，其由DF中與最低可信度相關(guān)聯(lián)的數(shù)據(jù)公式組成;判斷DFUC的一致性;若DFUC-致，則將DF加入處理結(jié)果中；若DFUC不一致，則返回所述令DF=DF-F的步驟;返回所述判斷DUC的一致性的步驟。[0023]本發(fā)明的無線傳感器網(wǎng)絡(luò)數(shù)據(jù)處理方法可在無線傳感器網(wǎng)絡(luò)層面即消除存在沖突的檢測數(shù)據(jù)（即進(jìn)行數(shù)據(jù)約束），以保證上傳給上層的檢測數(shù)據(jù)都是不存在沖突的合格檢測數(shù)據(jù)，從而有利于上層對(duì)檢測數(shù)據(jù)的利用，并可簡化上層的操作；同時(shí)，該檢測數(shù)據(jù)處理方法只要設(shè)定簡單的約束條件，即可通過多次描述邏輯中的一致性檢測運(yùn)算實(shí)現(xiàn)，其運(yùn)算方法簡單，容易實(shí)現(xiàn)，不必進(jìn)行大量復(fù)雜的判斷、設(shè)定等。[0024]本發(fā)明的無線傳感器網(wǎng)絡(luò)可消除存在沖突的檢測數(shù)據(jù)（即進(jìn)行數(shù)據(jù)約束），以保證上傳給上層的檢測數(shù)據(jù)都是不存在沖突的合格檢測數(shù)據(jù)，從而有利于上層對(duì)檢測數(shù)據(jù)的利用，并可簡化上層的操作；同時(shí)，其所采用的數(shù)據(jù)處理方法只要設(shè)定簡單的約束條件，即可通過多次描述邏輯中的一致性檢測運(yùn)算實(shí)現(xiàn)，其運(yùn)算方法簡單，容易實(shí)現(xiàn)，不必進(jìn)行大量復(fù)雜的判斷、設(shè)定等?！靖綀D說明】[0025]圖1為本發(fā)明的實(shí)施例的一種無線傳感器網(wǎng)絡(luò)數(shù)據(jù)處理方法的流程圖；[0026]圖2為本發(fā)明的實(shí)施例的另一種無線傳感器網(wǎng)絡(luò)數(shù)據(jù)處理方法的流程圖；[0027]圖3為本發(fā)明的實(shí)施例的另一種無線傳感器網(wǎng)絡(luò)數(shù)據(jù)處理方法的過程示意圖；[0028]圖4為本發(fā)明的實(shí)施例的一種無線傳感器網(wǎng)絡(luò)的組成示意框圖；[0029]圖5為本發(fā)明的實(shí)施例的另一種無線傳感器網(wǎng)絡(luò)的組成示意框圖。【具體實(shí)施方式】[0030]為使本領(lǐng)域技術(shù)人員更好地理解本發(fā)明的技術(shù)方案，下面結(jié)合附圖和具體實(shí)施方式對(duì)本發(fā)明作進(jìn)一步詳細(xì)描述。[0031]實(shí)施例1:[0032]如圖1所示，本實(shí)施例提供一種無線傳感器網(wǎng)絡(luò)數(shù)據(jù)處理方法，其包括：[0033]S101、接收各無線傳感器的檢測數(shù)據(jù)并用其生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式；[0034]S102、用各數(shù)據(jù)公式組成數(shù)據(jù)公式集D;[0035]S103、判斷DUC的一致性，其中C為由預(yù)先設(shè)定的約束公式組成的約束公式集；[0036]S104、若DUC-致，則將D加入處理結(jié)果中；若DUC不一致，則除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將D加入處理結(jié)果中。[0037]本實(shí)施例的無線傳感器網(wǎng)絡(luò)數(shù)據(jù)處理方法可在無線傳感器網(wǎng)絡(luò)層面即消除存在沖突的檢測數(shù)據(jù)（即進(jìn)行數(shù)據(jù)約束），以保證上傳給上層的檢測數(shù)據(jù)都是不存在沖突的合格檢測數(shù)據(jù)，從而有利于上層對(duì)檢測數(shù)據(jù)的利用，并可簡化上層的操作；同時(shí)，該檢測數(shù)據(jù)處理方法只要設(shè)定簡單的約束條件，即可通過多次描述邏輯中的一致性檢測運(yùn)算實(shí)現(xiàn)，其運(yùn)算方法簡單，容易實(shí)現(xiàn)，不必進(jìn)行大量復(fù)雜的判斷、設(shè)定等。[0038]實(shí)施例2:[0039]如圖2、圖3所示，本實(shí)施例提供一種無線傳感器網(wǎng)絡(luò)數(shù)據(jù)處理方法，其包括：[0040]S200、接收約束(Constraint)公式，并用這些約束公式組成約束公式集C。[0041]也就是說，處理模塊預(yù)先接收由用戶設(shè)定的約束公式，并用這些約束公式組成一個(gè)集合，即約束公式集C。[0042]其中，每個(gè)約束公式(優(yōu)選為良定的描述邏輯公式)是一個(gè)"概念斷言"，表達(dá)了一個(gè)對(duì)某數(shù)據(jù)的約束條件。例如，根據(jù)描述邏輯ALCOQ的語義及語法定義，概念斷言ireads.R(TA)"表示(其中R為有型域?qū)崝?shù)論域），A房間的溫度TA只能是一個(gè)實(shí)數(shù)值;再如，概念斷言"Vreads.彳VI，v2,v3Kpress)"表示某B位置的壓力press只能為vl、v2、v3三個(gè)值中的一個(gè)，或者說press的取值范圍是由vl、v2、v3構(gòu)成的枚舉集合，其中，"{vl，v2，v3}"是析取概念"{vl}U_iv2}U{ν'3Γ的簡寫形式。[0043]當(dāng)然，以上是對(duì)部分約束公式的舉例，而實(shí)際中還可根據(jù)需要使用具有不同表達(dá)能力的描述邏輯語言，設(shè)定代表其他約束的約束公式。例如，某檢測數(shù)據(jù)的值在一定范圍內(nèi)(如水的溫度在〇~100度），某幾個(gè)檢測數(shù)據(jù)的值必須相同或不同，某幾個(gè)檢測數(shù)據(jù)的值必須滿足一定關(guān)系（如逐漸增大)等。這些具體的約束公式可由用戶根據(jù)對(duì)檢測數(shù)據(jù)的實(shí)際要求進(jìn)行設(shè)定，在此不再詳細(xì)描述。[0044]S201、接收各無線傳感器的檢測數(shù)據(jù)(檢測結(jié)果)并用其生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)(Data)公式。[0045]其中，各無線傳感器分布于多個(gè)不同位置、用于檢測溫度、濕度、壓力、電壓、電流、電阻、磁場情況、電場情況、轉(zhuǎn)動(dòng)情況等。[0046]本步驟中，無線傳感器按設(shè)定頻率或時(shí)間進(jìn)行檢測，并將檢測結(jié)果(檢測數(shù)據(jù))通過無線通訊方式發(fā)送至預(yù)處理模塊。其中，無線傳感器發(fā)送的信息除檢測數(shù)據(jù)外，還可包括無線傳感器標(biāo)識(shí)、無線傳感器認(rèn)證密鑰、采集時(shí)間、數(shù)據(jù)格式等。[0047]預(yù)處理模塊接收來自各無線傳感器的信息(包括檢測數(shù)據(jù)），并按預(yù)定協(xié)議對(duì)信息進(jìn)行解析，之后用檢測數(shù)據(jù)生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式，由此，對(duì)應(yīng)某無線傳感器的數(shù)據(jù)公式至少包括該無線傳感器的檢測數(shù)據(jù)。[0048]其中，預(yù)處理模塊還可將無線傳感器標(biāo)識(shí)、無線傳感器認(rèn)證密鑰等發(fā)送給無線傳感器管理模塊，由無線傳感器管理模塊對(duì)無線傳感器進(jìn)行認(rèn)證，以判斷該無線傳感器是否屬于本無線傳感器網(wǎng)絡(luò)。[0049]優(yōu)選的，用各無線傳感器的檢測數(shù)據(jù)生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式包括：用各無線傳感器的檢測數(shù)據(jù)和檢測對(duì)象生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式。[0050]也就是說，無線傳感器管理模塊中還可存儲(chǔ)有各無線傳感器的檢測對(duì)象，而預(yù)處理模塊在生成檢測公式時(shí)，可將檢測對(duì)象也加入其中，從而檢測公式中包括統(tǒng)一無線傳感器的檢測數(shù)據(jù)和檢測對(duì)象。[0051]其中，檢測對(duì)象表示與檢測數(shù)據(jù)對(duì)應(yīng)的是現(xiàn)實(shí)中的什么物理量，例如是A房間的溫度，或是B位置的壓力等。因此，檢測公式實(shí)際體現(xiàn)了檢測數(shù)據(jù)的值與其物理意義的關(guān)系。[0052]其中，每個(gè)數(shù)據(jù)公式(優(yōu)選為良定的描述邏輯公式)也就是一個(gè)"角色斷言"。例如，根據(jù)描述邏輯ALCOQ的語法及語義定義，角色斷言"reads(TA，29.6)"表示房間A的溫度TA為29.6°C，而角色斷言"reads(press，v4)"表示B位置的壓力press為v4等。[0053]當(dāng)然，只要數(shù)據(jù)公式包括以上內(nèi)容就是可行，其不一定采用以上的具體形式。例如，若每個(gè)無線傳感器都有唯一的編號(hào)，而每個(gè)編號(hào)對(duì)應(yīng)的物理意義已知的，則也可用該編號(hào)代表以上的檢測對(duì)象。[0054]優(yōu)選的，在生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式和用各數(shù)據(jù)公式組成數(shù)據(jù)公式集D之間還包括:將數(shù)據(jù)公式和與其對(duì)應(yīng)的無線傳感器的可信度相關(guān)聯(lián)，無線傳感器的可信度是預(yù)設(shè)的。[0055]也就是說，可為每個(gè)無線傳感器預(yù)先設(shè)定可信度，并將其存儲(chǔ)在無線傳感器管理模塊中，而預(yù)處理模塊在生成以上數(shù)據(jù)公式后，還可將無線傳感器的可信度作為附加信息與各數(shù)據(jù)公式相關(guān)聯(lián)，即相當(dāng)于每個(gè)數(shù)據(jù)公式都有對(duì)應(yīng)的可信度。[0056]另外，如果無線傳感器網(wǎng)絡(luò)要處理無線傳感器在多個(gè)不同時(shí)間采集的檢測數(shù)據(jù)(即其不是實(shí)時(shí)處理），則以上與數(shù)據(jù)公式關(guān)聯(lián)的附加信息中還可包括采集時(shí)間等。[0057]其中，以上的數(shù)據(jù)公式、附加信息等均可以字符串、編碼整數(shù)等形式存在;而二者間的關(guān)聯(lián)可通過特定的存儲(chǔ)形式實(shí)現(xiàn)，例如，可采用哈希表存儲(chǔ)形式，并設(shè)置"數(shù)據(jù)公式-附加信息"的鍵值對(duì)。[0058]S202、用各數(shù)據(jù)公式組成數(shù)據(jù)公式集D。[0059]也就是說，處理模塊接收來自預(yù)處理模塊的以上各數(shù)據(jù)公式(及其附加信息），并用數(shù)據(jù)公式組成一個(gè)集合，即數(shù)據(jù)公式集D。[0060]S203、判斷DUC的一致性。[0061]其中，數(shù)據(jù)公式集D是一系列數(shù)據(jù)公式的集合，或者說是一系列角色斷言的集合。[0062]相應(yīng)的，約束公式集C是一系列約束公式的集合，或者說是一系列概念斷言的集合，或者說是一系列約束條件的集合。[0063]在本步驟中，處理模塊先對(duì)數(shù)據(jù)公式集D和約束公式集C進(jìn)行取并集的操作，得到新的集合DUC。[0064]之后，處理模塊檢測集合DUC的一致性，或者說，檢測以上兩個(gè)公式集D和C中的公式是否會(huì)引起矛盾、沖突等不合理的情況，如果有矛盾，則引發(fā)DUC集合的不一致性(或者說有數(shù)據(jù)沖突），若無矛盾，DUC集合則會(huì)被判定為一致的(或者說無數(shù)據(jù)沖突）。[0065]例如，若兩個(gè)無線傳感器同時(shí)檢測A房間的溫度，相應(yīng)的數(shù)據(jù)公式集D中有兩個(gè)數(shù)據(jù)公式，"代&扣〇厶，29.6)"和"代&(18〇厶，34.6)"，分別表示了厶某一時(shí)刻的兩個(gè)檢測數(shù)據(jù)：29.6、34.6，而在約束公式集(：中，有約束公式"=江冊(cè)(18.1^4)"限定溫度14只能是一個(gè)實(shí)數(shù)值(其中R為有型域?qū)崝?shù)論域）；這樣在集合DUC中，TA通過"reads"關(guān)系有兩個(gè)后續(xù)個(gè)體："29.6"、"34.6"。，根據(jù)約束公式"蘭1代&如.1?〇4)"，這兩個(gè)個(gè)體"29.6"與"34.6"應(yīng)該是同一個(gè)體，即按既定的解釋，將它們解釋到實(shí)數(shù)論域后得出"實(shí)數(shù)29.6等于實(shí)數(shù)34.6"。顯然，以上結(jié)論是與實(shí)數(shù)論域的基本定理矛盾，是錯(cuò)誤的，或者說是存在矛盾的，由此引發(fā)DUC不一致，而"reads(TA，29.6)"和"reads(TA，34.6)"就是弓丨起不一致的數(shù)據(jù)公式。[0066]再如，若某數(shù)據(jù)公式"^8(18(卩^88，￥4)"表示卩^88等于￥4，而約束公式"Vreads彳VI，v2,v3}(jpress)"表示press只能為vl、v2、v3中的一個(gè)，press等于v4代表press取了其枚舉范圍之外的值，這與枚舉的基本意義不符，由此存在矛盾。這個(gè)矛盾所引起的DUC不一致將會(huì)由描述邏輯的一致性檢測算法檢測到。。[0067]當(dāng)然，現(xiàn)實(shí)中還有許多其他的引起不一致的情況(例如液體水的溫度是150度等），在此不再詳細(xì)描述。[0068]其中，以上判斷一致性的具體方式是多樣的，例如可通過描述邏輯ALCOQ的tableau算法檢查一致性，故在此不再詳細(xì)描述。[0069]S204、若DUC-致，則將D加入處理結(jié)果中；若DUC不一致，則除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將D加入處理結(jié)果中。[0070]也就是說，若處理模塊判定公式集DUC-致，其中不存在數(shù)據(jù)沖突，則可將D的數(shù)據(jù)公式加入處理結(jié)果中，例如數(shù)據(jù)處理結(jié)果可為結(jié)果公式集Res，則此時(shí)可令Res=ResUD。[0071]而若處理模塊經(jīng)過判斷發(fā)現(xiàn)公式集DUC不一致，則優(yōu)選逐次利用描述邏輯的一致性檢測方法，除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將使DUC-致的D加入處理結(jié)果中；也就是說，逐次找出D中引起不一致的數(shù)據(jù)公式，并將它們?nèi)繌腄中除去，之后將剩余的使DUC-致的D加入處理結(jié)果中。以上過程具體可包括：[0072](a)找出D中引起本次不一致的數(shù)據(jù)公式，并用其組成異常公式集DF，令D=D_DF。[0073]也就是說，逐次用tableau算法定位出DUC中引起不一致的數(shù)據(jù)公式，即每次只定位引起一個(gè)不一致的數(shù)據(jù)公式，并用引起該不一致的數(shù)據(jù)公式組成異常公式集DF。例如，在某一次tableau檢測中，以上的"reads(TA，29.6)"、"reads(TA，34.6)"構(gòu)成本次檢測出來的DF，即DF={reads(TA，29.6)、reads(TA，34.6)}〇[0074]之后更新D，令其等于原有的D與DF的差集，或者說將本次DF中的數(shù)據(jù)公式從D中除去，之后將剩余的數(shù)據(jù)公式作為待下一次檢測的數(shù)據(jù)公式集合D。[0075](b)令DF=DF-F,其中F為低可信異常公式集，其由DF中與最低可信度相關(guān)聯(lián)的數(shù)據(jù)公式組成。[0076]也就是說，通過分析與DF中各數(shù)據(jù)公式相關(guān)聯(lián)的可信度（即無線傳感器的可信度），從而找出其中可信度最低的數(shù)據(jù)公式，并用它們組成低可信異常公式集F。例如，若以上數(shù)據(jù)公式"reads(TA，29.6)"的可信度為I，"reads(TA，34.6)"的可信度為2，則將"reads(TA,34.6)"加入F中（假定實(shí)施者認(rèn)為1比2更可信）。[0077]之后，令DF=DF-F,即除去DF中可信度最低的數(shù)據(jù)公式。通常而言，當(dāng)多個(gè)數(shù)據(jù)存在沖突時(shí)，并不表示它們?nèi)加绣e(cuò)誤，而是其中的部分?jǐn)?shù)據(jù)有錯(cuò)而其他的數(shù)據(jù)正確，顯然，可信度低的數(shù)據(jù)出現(xiàn)錯(cuò)誤的概率更大。因此，本步驟就是將DF中最可能存在錯(cuò)誤的數(shù)據(jù)公式除去，并盡量保留其中可信度高的數(shù)據(jù)公式。當(dāng)然，對(duì)于部分自身存在問題的數(shù)據(jù)公式，如以上例子中，引發(fā)不一致的DF={reads(press，v4)}，其只有一個(gè)可信度，故也是"最低"的，將會(huì)被除去。[0078](c)判斷DFUC的一致性。[0079]也就是說，判斷并集DFUC的一致性，即判斷在除掉了可信度最低的數(shù)據(jù)公式后，DF中的數(shù)據(jù)公式是否仍存在不一致。[0080]其中，有一種情況是DF中的全部數(shù)據(jù)公式都具有相同的可信度，故它們都會(huì)被一起歸入低可信異常公式集F中，這樣DF=DF-F操作后得到的DF必然是空集，這表示DF中的全部數(shù)據(jù)公式都是有問題的，都應(yīng)除去。在此情況下，DFUC必然一致(本發(fā)明中約束公式集合是一致的，即C本身不會(huì)引起不一致），故其不必進(jìn)行單獨(dú)的判斷。[0081](d)若DFUC-致，則將DF加入處理結(jié)果中；若DFUC不一致，則返回令DF=DF-F的步驟。[0082]也就是說，若此時(shí)DFUC-致，則表示DF中真正存在錯(cuò)誤的數(shù)據(jù)公式都已經(jīng)被除去，剩余的數(shù)據(jù)公式是沒有沖突的，可加入處理結(jié)果中。[0083]而若此時(shí)DFUC不一致，則表示DF中仍然存在有沖突的數(shù)據(jù)公式，故返回以上步驟(b)，再次除去此時(shí)DF中可信度最低的數(shù)據(jù)公式;如此反復(fù)，直到DFUC-致。[0084]可見，本步驟最終會(huì)在DFUC-致的情況下（包括DF為空集的情況)進(jìn)行Res=ResUDF的操作，即將DF中實(shí)際不存在錯(cuò)誤的數(shù)據(jù)公式并入Res，而Res中還包括逐次除去D中會(huì)引起不一致的數(shù)據(jù)公式后使DUC-致的D的數(shù)據(jù)公式，故本步驟S204的最終結(jié)果是"若DUC不一致，逐次利用描述邏輯的一致性檢測方法，除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將使DUC-致的D加入處理結(jié)果中"。[0085]針對(duì)DF為空集的情況，也可在步驟(b)和步驟(c)之間，增加判斷DF是否為空集的步驟，若否則進(jìn)入步驟（c)，若是則直接進(jìn)入下一步驟(e)(即不進(jìn)行判斷DFUC-致的步驟）。由于判斷集合是否為空的運(yùn)算明顯比判斷一致性的步驟簡單，故這樣可減小運(yùn)算量，但需要增加一個(gè)運(yùn)算步驟。[0086](e)返回所述判斷DUC的一致性的步驟(步驟S203)。[0087]也就是說，在按照以上方法除去了D中引起本次不一致的數(shù)據(jù)公式后，再次判斷DUC的一致性。[0088]由于此時(shí)的D已經(jīng)除去了引起一個(gè)不一致的數(shù)據(jù)公式，故若其中沒有其他的不一致，則判斷結(jié)果為一致，從而進(jìn)入步驟S204后，自然會(huì)將D加入處理結(jié)果中，即令Res=ResUD0[0089]而若DUC仍不一致(或者說D中仍存在引起其他不一致的數(shù)據(jù)公式），則進(jìn)入步驟S204后，會(huì)再次進(jìn)行以上取DF等的步驟，再次從D中去除引起另一個(gè)不一致的數(shù)據(jù)公式，如此循環(huán)，直到D中全部引起不一致的數(shù)據(jù)公式都被除去，DUC-致，D被加入處理結(jié)果中。[0090]當(dāng)然，本步驟實(shí)際并不一定要在步驟(d)之后進(jìn)行，在進(jìn)行完令D=D-DF的操作(步驟(a))后，其即可進(jìn)行；當(dāng)然前提是步驟(b)至(e)也要同時(shí)進(jìn)行，不能停止，以便確定DF中哪些數(shù)據(jù)公式應(yīng)當(dāng)保留。[0091]當(dāng)然，以上的S204步驟只是本發(fā)明的一種具體例子，而不是對(duì)其的限定，其還可進(jìn)行許多變化:例如，也可通過改變算法，將D中全部引起不一致的數(shù)據(jù)公式都找出來，并統(tǒng)一處理;再如，如果沒有可信度，則可通過隨機(jī)方式除去部分引起異常的數(shù)據(jù)公式，之后判斷除去這些數(shù)據(jù)公式后的集合的一致性等;總之，在此不再對(duì)這些變形進(jìn)行逐一詳細(xì)描述，只要其能實(shí)現(xiàn)"將D中引起不一致的數(shù)據(jù)公式全部除去，之后將可使DUC-致的D加入處理結(jié)果"的目的即可。[0092]S205、將處理結(jié)果中的檢測數(shù)據(jù)上報(bào)給上層(如接入層、網(wǎng)絡(luò)層等）。[0093]也就是說，將Res中的數(shù)據(jù)公式中的檢測數(shù)據(jù)作為最終的結(jié)果，上報(bào)給接入層、網(wǎng)絡(luò)層等，以供后續(xù)使用。[0094]可見，根據(jù)本實(shí)施例的無線傳感器網(wǎng)絡(luò)數(shù)據(jù)處理方法，可在無線傳感器網(wǎng)絡(luò)層面即消除存在沖突的檢測數(shù)據(jù)(即進(jìn)行數(shù)據(jù)約束），以保證上傳給上層的檢測數(shù)據(jù)都是不存在沖突的合格檢測數(shù)據(jù)，從而有利于上層對(duì)檢測數(shù)據(jù)的利用，并可簡化上層的操作；同時(shí)，該檢測數(shù)據(jù)處理方法只要設(shè)定簡單的約束條件，即可通過多次描述邏輯中的一致性檢測運(yùn)算實(shí)現(xiàn)，其運(yùn)算方法簡單，容易實(shí)現(xiàn)，不必進(jìn)行大量復(fù)雜的判斷、設(shè)定等。[0095]實(shí)施例3:[0096]如圖4所示，本實(shí)施例提供一種無線傳感器網(wǎng)絡(luò)，其包括：[0097]多個(gè)無線傳感器；[0098]預(yù)處理模塊，用于接收各無線傳感器的檢測數(shù)據(jù)并用其生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式；[0099]處理模塊，用于用各數(shù)據(jù)公式組成數(shù)據(jù)公式集D，并用于判斷DUC的一致性，若DUC一致，則將D加入處理結(jié)果中；若DUC不一致，則除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將D加入處理結(jié)果中，其中，C為由預(yù)先設(shè)定的約束公式組成的約束公式集。[0100]本實(shí)施例的無線傳感器網(wǎng)絡(luò)可消除存在沖突的檢測數(shù)據(jù)（即進(jìn)行數(shù)據(jù)約束），以保證上傳給上層的檢測數(shù)據(jù)都是不存在沖突的合格檢測數(shù)據(jù)，從而有利于上層對(duì)檢測數(shù)據(jù)的利用，并可簡化上層的操作；同時(shí)，其所采用的數(shù)據(jù)處理方法只要設(shè)定簡單的約束條件，即可通過多次描述邏輯中的一致性檢測運(yùn)算實(shí)現(xiàn)，其運(yùn)算方法簡單，容易實(shí)現(xiàn)，不必進(jìn)行大量復(fù)雜的判斷、設(shè)定等。[0101]實(shí)施例4:[0102]如圖5所示，本實(shí)施例提供一種無線傳感器網(wǎng)絡(luò)，其包括：[0103]多個(gè)無線傳感器，它們用于采集各種檢測數(shù)據(jù)(檢測結(jié)果），并將其發(fā)送給預(yù)處理模塊。[0104]其中，各無線傳感器發(fā)送還可將無線傳感器標(biāo)識(shí)、無線傳感器認(rèn)證密鑰、采集時(shí)間、數(shù)據(jù)格式等一起發(fā)給預(yù)處理模塊。[0105]預(yù)處理模塊，用于接收各無線傳感器的檢測數(shù)據(jù)并用其生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式。[0106]優(yōu)選的，預(yù)處理模塊用于用各無線傳感器的檢測數(shù)據(jù)和檢測對(duì)象生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式。[0107]優(yōu)選的，預(yù)處理模塊還用于將數(shù)據(jù)公式與無線傳感器的可信度等附加信息（還可包括采集時(shí)間等)相關(guān)聯(lián)。[0108]處理模塊，用于用各數(shù)據(jù)公式組成數(shù)據(jù)公式集D，并用于判斷DUC的一致性，若DUC一致，則將D加入處理結(jié)果中；若DUC不一致，則除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將D加入處理結(jié)果中，其中，C為由預(yù)先設(shè)定的約束公式組成的約束公式集。[0109]具體的，以上除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將D加入處理結(jié)果中包括:逐次利用描述邏輯的一致性檢測方法，除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將使DUC-致的D加入處理結(jié)果中。[0110]優(yōu)選的，逐次利用描述邏輯的一致性檢測方法，除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將使DUC-致的D加入處理結(jié)果中包括:找出D中引起本次不一致的數(shù)據(jù)公式，并用其組成異常公式集DF，令D=D-DF;令DF=DF-F,其中F為低可信異常公式集，其由DF中與最低可信度相關(guān)聯(lián)的數(shù)據(jù)公式組成;判斷DFUC的一致性;若DFUC-致，則將DF加入處理結(jié)果中；若DFUC不一致，則返回令DF=DF-F的步驟;返回判斷DUC的一致性的步驟。[0111]優(yōu)選的，該處理模塊還用于接收（用戶設(shè)定的）約束公式，并用其組成約束公式集Co[0112]當(dāng)然，該處理模塊還可用于約束公式的修改、編輯等。[0113]無線傳感器管理模塊，用于接收并存儲(chǔ)各無線傳感器的檢測對(duì)象;和/或，用于接收并存儲(chǔ)各無線傳感器的可信度。[0114]也就是說，處理模塊用于存儲(chǔ)用戶設(shè)定的各無線傳感器的檢測對(duì)象、可信度等，以便將這些信息用于數(shù)據(jù)處理過程中。[0115]當(dāng)然，該無線傳感器管理模塊中還可存儲(chǔ)有合法的無線傳感器的無線傳感器的標(biāo)識(shí)、密鑰等，以用于對(duì)無線傳感器進(jìn)行認(rèn)證。[0116]當(dāng)然，無線傳感器管理模塊還可用于無線傳感器的填加、刪除、修改等。[0117]本實(shí)施例的無線傳感器網(wǎng)絡(luò)可消除存在沖突的檢測數(shù)據(jù)（即進(jìn)行數(shù)據(jù)約束），以保證上傳給上層的檢測數(shù)據(jù)都是不存在沖突的合格檢測數(shù)據(jù)，從而有利于上層對(duì)檢測數(shù)據(jù)的利用，并可簡化上層的操作；同時(shí)，其所采用的數(shù)據(jù)處理方法只要設(shè)定簡單的約束條件，即可通過多次描述邏輯中的一致性檢測運(yùn)算實(shí)現(xiàn)，其運(yùn)算方法簡單，容易實(shí)現(xiàn)，不必進(jìn)行大量復(fù)雜的判斷、設(shè)定等。[0118]可以理解的是，以上實(shí)施方式僅僅是為了說明本發(fā)明的原理而采用的示例性實(shí)施方式，然而本發(fā)明并不局限于此。對(duì)于本領(lǐng)域內(nèi)的普通技術(shù)人員而言，在不脫離本發(fā)明的精神和實(shí)質(zhì)的情況下，可以做出各種變型和改進(jìn)，這些變型和改進(jìn)也視為本發(fā)明的保護(hù)范圍?！局鳈?quán)項(xiàng)】1.一種無線傳感器網(wǎng)絡(luò)數(shù)據(jù)處理方法，其特征在于，包括：接收各無線傳感器的檢測數(shù)據(jù)并用其生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式；用各所述數(shù)據(jù)公式組成數(shù)據(jù)公式集D;判斷DUC的一致性，其中C為由預(yù)先設(shè)定的約束公式組成的約束公式集；若DUC-致，則將D加入處理結(jié)果中；若DUC不一致，則除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將D加入處理結(jié)果中。2.根據(jù)權(quán)利要求1所述的無線傳感器網(wǎng)絡(luò)數(shù)據(jù)處理方法，其特征在于，所述用各無線傳感器的檢測數(shù)據(jù)生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式包括：用各無線傳感器的檢測數(shù)據(jù)和檢測對(duì)象生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式。3.根據(jù)權(quán)利要求1所述的無線傳感器網(wǎng)絡(luò)數(shù)據(jù)處理方法，其特征在于，生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式和用各所述數(shù)據(jù)公式組成數(shù)據(jù)公式集D之間還包括：將所述數(shù)據(jù)公式和與其對(duì)應(yīng)的無線傳感器的可信度相關(guān)聯(lián)，所述無線傳感器的可信度是預(yù)設(shè)的。4.根據(jù)權(quán)利要求3所述的無線傳感器網(wǎng)絡(luò)數(shù)據(jù)處理方法，其特征在于，所述除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將D加入處理結(jié)果中包括：逐次利用描述邏輯的一致性檢測方法，除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將使DUC-致的D加入處理結(jié)果中。5.根據(jù)權(quán)利要求4所述的無線傳感器網(wǎng)絡(luò)數(shù)據(jù)處理方法，其特征在于，所述逐次利用描述邏輯的一致性檢測方法，除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將使DUC-致的D加入處理結(jié)果中包括：找出D中引起本次不一致的數(shù)據(jù)公式，并用其組成異常公式集DFAD=D-DF;令DF=DF-F,其中F為低可信異常公式集，其由DF中與最低可信度相關(guān)聯(lián)的數(shù)據(jù)公式組成；判斷DFUC的一致性；若DFUC-致，則將DF加入處理結(jié)果中；若DFUC不一致，則返回所述令DF=DF-F的步驟；返回所述判斷DUC的一致性的步驟。6.-種無線傳感器網(wǎng)絡(luò)，其特征在于，包括：多個(gè)無線傳感器；預(yù)處理模塊，用于接收各無線傳感器的檢測數(shù)據(jù)并用其生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式；處理模塊，用于用各所述數(shù)據(jù)公式組成數(shù)據(jù)公式集D，并用于判斷DUC的一致性，若DUC一致，則將D加入處理結(jié)果中；若DUC不一致，則除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將D加入處理結(jié)果中，其中，C為由預(yù)先設(shè)定的約束公式組成的約束公式集。7.根據(jù)權(quán)利要求6所述的無線傳感器網(wǎng)絡(luò)，其特征在于，還包括：無線傳感器管理模塊，用于接收并存儲(chǔ)各無線傳感器的檢測對(duì)象；所述預(yù)處理模塊用于用各無線傳感器的檢測數(shù)據(jù)和檢測對(duì)象生成與各無線傳感器對(duì)應(yīng)的數(shù)據(jù)公式。8.根據(jù)權(quán)利要求6所述的無線傳感器網(wǎng)絡(luò)，其特征在于，還包括：無線傳感器管理模塊，用于接收并存儲(chǔ)各所述無線傳感器的可信度；預(yù)處理模塊還用于將所述數(shù)據(jù)公式和與其對(duì)應(yīng)的無線傳感器的可信度相關(guān)聯(lián)，所述無線傳感器的可信度是預(yù)設(shè)的。9.根據(jù)權(quán)利要求8所述的無線傳感器網(wǎng)絡(luò)，其特征在于，所述除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將D加入處理結(jié)果中包括：逐次利用描述邏輯的一致性檢測方法，除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將使DUC-致的D加入處理結(jié)果中。10.根據(jù)權(quán)利要求6所述的無線傳感器網(wǎng)絡(luò)，其特征在于，所述逐次利用描述邏輯的一致性檢測方法，除去D中會(huì)引起不一致的數(shù)據(jù)公式，之后將使DUC-致的D加入處理結(jié)果中包括：找出D中引起本次不一致的數(shù)據(jù)公式，并用其組成異常公式集DFAD=D-DF;令DF=DF-F,其中F為低可信異常公式集，其由DF中與最低可信度相關(guān)聯(lián)的數(shù)據(jù)公式組成；判斷DFUC的一致性；若DFUC-致，則將DF加入處理結(jié)果中；若DFUC不一致，則返回所述令DF=DF-F的步驟；返回所述判斷DUC的一致性的步驟。【文檔編號(hào)】H04W24/02GK105916165SQ201610195139【公開日】2016年8月31日【申請(qǐng)日】2016年3月30日【發(fā)明人】陳立民【申請(qǐng)人】中國聯(lián)合網(wǎng)絡(luò)通信集團(tuán)有限公司