一種普適計(jì)算環(huán)境上下文一致性檢測(cè)調(diào)度系統(tǒng)及方法
【專利摘要】本說(shuō)明書(shū)公開(kāi)了一種新的面向普適計(jì)算環(huán)境中上下文一致性錯(cuò)誤的檢測(cè)調(diào)度方法。這種方法能夠從一致性檢測(cè)的歷史數(shù)據(jù)中自動(dòng)學(xué)習(xí)出可能引發(fā)錯(cuò)報(bào)的上下文變化模式，進(jìn)而在檢測(cè)過(guò)程中通過(guò)對(duì)實(shí)時(shí)上下文變化的自動(dòng)分析，重新調(diào)度檢測(cè)的執(zhí)行，從而提高一致性檢測(cè)的準(zhǔn)確度。本方法主要分成兩個(gè)部分，一個(gè)模式識(shí)別模塊和一個(gè)檢測(cè)調(diào)度模塊。模式識(shí)別模塊使用數(shù)據(jù)挖掘領(lǐng)域的分類算法，自動(dòng)識(shí)別出容易引發(fā)誤報(bào)的上下文變化模式；檢測(cè)調(diào)度模塊通過(guò)模式識(shí)別模塊針對(duì)實(shí)時(shí)上下文變化的分類結(jié)果，實(shí)時(shí)調(diào)整一致性錯(cuò)誤檢測(cè)的執(zhí)行。本技術(shù)的模式識(shí)別過(guò)程和檢測(cè)調(diào)度過(guò)程都可以自動(dòng)化，只需要極少的配置就可以大大提升一致性檢測(cè)過(guò)程的準(zhǔn)確率。
【專利說(shuō)明】一種普適計(jì)算環(huán)境上下文一致性檢測(cè)調(diào)度系統(tǒng)及方法

【技術(shù)領(lǐng)域】
[0001] 本發(fā)明涉及普適計(jì)算，傳感器，機(jī)器學(xué)習(xí)，軟件工程等領(lǐng)域，尤其涉及針對(duì)普適計(jì) 算環(huán)境下的上下文一致性檢測(cè)領(lǐng)域。

【背景技術(shù)】
[0002] 當(dāng)今計(jì)算機(jī)傳感技術(shù)得到了廣泛的發(fā)展，越來(lái)越多的應(yīng)用程序依賴于環(huán)境上下文 信息來(lái)提供更好的服務(wù)，例如智能家居系統(tǒng)，智能手機(jī)上的各種基于位置的服務(wù)應(yīng)用（地 圖、點(diǎn)評(píng)類應(yīng)用）等。這類應(yīng)用統(tǒng)稱為上下文感知應(yīng)用。然而，傳感器通常會(huì)有誤差，這就 導(dǎo)致了應(yīng)用所使用的上下文信息不一定準(zhǔn)確，需要進(jìn)一步的驗(yàn)證才能被應(yīng)用所使用。
[0003] 目前傳統(tǒng)的上下文驗(yàn)證方法是首先使用一致性約束來(lái)指定環(huán)境上下文應(yīng)該滿足 的屬性，這些約束通?？梢杂靡浑A邏輯語(yǔ)言描述；然后在環(huán)境上下文發(fā)生任何變化時(shí)，相應(yīng) 的一致性約束會(huì)被檢測(cè)，如果一致性約束被違背，則意味著一致性錯(cuò)誤的產(chǎn)生，需要進(jìn)行及 時(shí)的一致性錯(cuò)誤修復(fù)。然而，這種傳統(tǒng)的方法通常會(huì)遇到許多錯(cuò)報(bào)問(wèn)題。許多檢測(cè)出來(lái)的一 致性錯(cuò)誤，其實(shí)不是真的由于環(huán)境信息的不準(zhǔn)確導(dǎo)致的，而是由于一致性檢測(cè)的時(shí)機(jī)不恰 當(dāng)導(dǎo)致。現(xiàn)實(shí)世界的一個(gè)變化，可能在會(huì)引發(fā)多個(gè)傳感器的數(shù)值變化，在所有的變化都被更 新之前，上下文信息可能處于一個(gè)臨時(shí)的不一致?tīng)顟B(tài)，從而導(dǎo)致這個(gè)一致性錯(cuò)誤被檢測(cè)到。 通常當(dāng)后續(xù)的上下文變化全部生效之后，這個(gè)一致性錯(cuò)誤就會(huì)消失。這些一致性錯(cuò)誤會(huì)在 很短的時(shí)間內(nèi)消失，實(shí)際上屬于錯(cuò)報(bào)。傳統(tǒng)的方法會(huì)立即修復(fù)檢測(cè)到的一致性錯(cuò)誤，因此這 些錯(cuò)報(bào)也會(huì)被當(dāng)成正常的一致性錯(cuò)誤來(lái)修復(fù)，于是就可能引發(fā)問(wèn)題。一方面，如果這些原本 正常的環(huán)境上下文信息被當(dāng)成環(huán)境噪聲而刪除，那么應(yīng)用就無(wú)法得到最新的環(huán)境信息；另 一方面，應(yīng)用可能針對(duì)當(dāng)前的錯(cuò)誤采取異常處理機(jī)制，從而將應(yīng)用轉(zhuǎn)入一個(gè)異常狀態(tài)。這些 都會(huì)影響應(yīng)用的正常運(yùn)行，因此需要盡可能避免這些錯(cuò)報(bào)檢測(cè)到，或者至少壓縮這類錯(cuò)報(bào) 的數(shù)量。


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

[0004] 本發(fā)明的主要目的是提供一種針對(duì)普適計(jì)算環(huán)境下的上下文一致性檢測(cè)調(diào)度方 法，這種方法能自動(dòng)識(shí)別可能導(dǎo)致錯(cuò)報(bào)的環(huán)境上下文變化模式，從而提升一致性錯(cuò)誤檢測(cè) 的準(zhǔn)確度。在實(shí)際檢測(cè)時(shí)，這種方法自動(dòng)識(shí)別上下文變化過(guò)程中的錯(cuò)報(bào)模式，從而選擇恰當(dāng) 的實(shí)際進(jìn)行一致性檢測(cè)，提升檢測(cè)效果。本方法的模式學(xué)習(xí)過(guò)程、一致性錯(cuò)誤調(diào)度過(guò)程都是 全自動(dòng)的，在初始化后即不需要用戶（程序員）的干涉。
[0005] 本發(fā)明通過(guò)以下技術(shù)方案實(shí)現(xiàn)：
[0006] -種針對(duì)普適計(jì)算環(huán)境下的上下文一致性檢測(cè)調(diào)度方法。所述方法包括一個(gè)模式 識(shí)別模塊和一個(gè)一致性檢測(cè)調(diào)度模塊。
[0007] 所述上下文感知應(yīng)用是指在普適計(jì)算環(huán)境下，根據(jù)環(huán)境信息自動(dòng)為用戶提供針對(duì) 性服務(wù)的應(yīng)用程序。
[0008] 所述環(huán)境上下文信息是指上下文感知應(yīng)用使用的任何一個(gè)環(huán)境信息，包括各種傳 感器數(shù)據(jù)、應(yīng)用內(nèi)部狀態(tài)以及用戶資料等各種信息。上下文信息根據(jù)其類型可以歸入不同 的上下文集合中。
[0009] 所述上下文集合指的是同一類型的上下文信息組成的集合，上下文集合中的上下 文信息通常有類似的結(jié)構(gòu)。上下文集合有自己的有效性時(shí)限，超時(shí)的上下文將自動(dòng)被刪除。 一個(gè)應(yīng)用可以使用多種上下文信息，因而會(huì)有不同的上下文集合，這些集合會(huì)被統(tǒng)一地建 模為一個(gè)上下文池。
[0010] 所述上下文變化由一個(gè)三元組來(lái)形式化的建模，包括（T，C，E)，T代表變化的類 型，可以是增加（Add)，刪除（Del)或者修改（Upd) ;C為這個(gè)變化作用的上下文集合；E為具 體的上下文信息值。
[0011] 所述一致性約束限定上下文信息必須滿足的條件，通常由應(yīng)用語(yǔ)義以及物理規(guī)律 限定。這類約束一般使用一階邏輯語(yǔ)言進(jìn)行描述。約束中的全稱量詞和存在性量詞應(yīng)該對(duì) 應(yīng)應(yīng)用的某一個(gè)上下文集合。
[0012] 所述上下文一致性錯(cuò)誤檢測(cè)是指，在環(huán)境上下文信息發(fā)生任何變化的時(shí)候，檢測(cè) 預(yù)先定義的基于一階邏輯的一致性約束，從而驗(yàn)證環(huán)境信息的準(zhǔn)確性。如果約束被違背 (真值評(píng)估為假），那么就檢測(cè)到一個(gè)一致性錯(cuò)誤。
[0013] 所述上下文一致性錯(cuò)誤修復(fù)是指，在一致性錯(cuò)誤被檢測(cè)出來(lái)之后，這些錯(cuò)誤需要 被自動(dòng)修復(fù)，使得上下文信息重新滿足一致性約束的要求。修復(fù)的方法通常包括刪除部分 上下文信息或者采取應(yīng)用自定義的異?；謴?fù)機(jī)制。
[0014] 所述一致性錯(cuò)誤檢測(cè)的錯(cuò)報(bào)是指，部分被檢測(cè)出來(lái)的一致性錯(cuò)誤其實(shí)并不是由于 環(huán)境上下文信息不準(zhǔn)確導(dǎo)致的，而是由于不恰當(dāng)?shù)囊恢滦詸z測(cè)而導(dǎo)致。這類一致性錯(cuò)誤事 實(shí)上不需要任何修復(fù)就會(huì)很快消失，然而傳統(tǒng)的檢測(cè)方法會(huì)無(wú)法判斷檢測(cè)到的一致性錯(cuò)誤 是不是錯(cuò)報(bào)，因此一律會(huì)進(jìn)行修復(fù)，這反而會(huì)對(duì)應(yīng)用產(chǎn)生不好的影響。
[0015] 所述一致性錯(cuò)誤檢測(cè)的調(diào)度是指，在一致性檢測(cè)過(guò)程中，當(dāng)環(huán)境上下文發(fā)生變化 時(shí)，有選擇地進(jìn)行一致性錯(cuò)誤檢測(cè)，從而避免一致性錯(cuò)誤檢測(cè)的錯(cuò)報(bào)，提高檢測(cè)效果。
[0016] 所述上下文變化模式由一對(duì)上下文變化組成，這個(gè)模式可能是"錯(cuò)報(bào)模式"，也可 能是"安全模式"。
[0017] 所述錯(cuò)報(bào)模式是指暗示著一致性錯(cuò)誤檢測(cè)的錯(cuò)報(bào)產(chǎn)生的上下文變化模式。在這一 對(duì)上下文變化之間進(jìn)行一致性錯(cuò)誤檢測(cè)，很有可能遇到錯(cuò)報(bào)問(wèn)題。
[0018] 所述安全模式與錯(cuò)報(bào)模式恰好相反，是指意味著一致性錯(cuò)誤檢測(cè)的錯(cuò)報(bào)不會(huì)產(chǎn)生 的上下文變化模式。如果在這一對(duì)變化之間檢測(cè)到任何一致性錯(cuò)誤，很有可能是正常的需 要修復(fù)的一致性錯(cuò)誤。
[0019] 所述模式識(shí)別模塊使用數(shù)據(jù)挖掘領(lǐng)域中的分類器算法，通過(guò)分類器來(lái)判斷識(shí)別出 上下文變化中的錯(cuò)報(bào)模式，從而指導(dǎo)一致性檢測(cè)的執(zhí)行。
[0020] 所述分類器的輸入是一個(gè)上下文變化模式，也就是一對(duì)上下文變化，輸出是一個(gè) 布爾值，代表這對(duì)上下文變化是否可能引發(fā)錯(cuò)報(bào)。
[0021] 所述分類器的訓(xùn)練集要從一致性錯(cuò)誤檢測(cè)的歷史數(shù)據(jù)中自動(dòng)獲取，其過(guò)程由訓(xùn)練 數(shù)據(jù)標(biāo)記算法描述。
[0022] 所述一致性檢測(cè)調(diào)度模塊，根據(jù)模式識(shí)別模塊的識(shí)別結(jié)果，選擇恰當(dāng)?shù)臅r(shí)機(jī)進(jìn)行 一致性錯(cuò)誤的檢測(cè)，從而提升檢測(cè)的準(zhǔn)確率。
[0023] 本技術(shù)的有益性在于：
[0024] 本發(fā)明能自動(dòng)的從歷史數(shù)據(jù)中識(shí)別出錯(cuò)誤模式，并根據(jù)這些錯(cuò)誤模式自動(dòng)調(diào)度一 致性錯(cuò)誤檢測(cè)的進(jìn)行，選擇恰當(dāng)?shù)臅r(shí)間點(diǎn)進(jìn)行一致性檢測(cè)，從而取得較好的一致性檢測(cè)效 果，為上下文感知應(yīng)用提供更高質(zhì)量的環(huán)境上下文信息，最終為終端用戶提供更完善的服 務(wù)。

【專利附圖】

【附圖說(shuō)明】
[0025] 為了更清楚地說(shuō)明本專利實(shí)施例的技術(shù)方案，下面將對(duì)實(shí)施例描述中所有需要使 用的附圖作簡(jiǎn)單地介紹，顯而易見(jiàn)地，下面描述中的附圖僅僅是本發(fā)明的一些實(shí)施例，對(duì)于 本領(lǐng)域的普通技術(shù)人員來(lái)說(shuō)，在不付出創(chuàng)造性勞動(dòng)的前提下所獲得的其他附圖都屬于本發(fā) 明的保護(hù)范圍。
[0026] 圖1為本發(fā)明實(shí)施例提供的環(huán)境上下文一致性錯(cuò)誤檢測(cè)的流程圖。
[0027] 圖2為本發(fā)明實(shí)施例提供的環(huán)境上下文一致性錯(cuò)誤檢測(cè)調(diào)度系統(tǒng)結(jié)構(gòu)系統(tǒng)圖。
[0028] 圖3為本發(fā)明實(shí)施例提供的環(huán)境上下文一致性錯(cuò)誤檢測(cè)調(diào)度的流程圖。
[0029] 圖4為本發(fā)明實(shí)施例提供的分類器訓(xùn)練集標(biāo)記過(guò)程的流程圖。

【具體實(shí)施方式】
[0030] 下面結(jié)合本發(fā)明實(shí)施例中的附圖，對(duì)本發(fā)明實(shí)施例中的技術(shù)方案進(jìn)行清楚、完整 地的描述，顯然，所描述的實(shí)施例僅僅是本發(fā)明一部分實(shí)施例，而不是全部實(shí)施例?；诒?發(fā)明的實(shí)施例，本領(lǐng)域普通技術(shù)人員在沒(méi)有做出創(chuàng)造性勞動(dòng)的前提下所獲得的所有其他實(shí) 施例，都屬于本發(fā)明的保護(hù)范圍。
[0031] 本發(fā)明的一致性檢測(cè)的總體過(guò)程如如圖1所示我們會(huì)使用一個(gè)滑動(dòng)窗口來(lái)監(jiān)控 最新收到的若干條上下文變化。這些上下文變化針對(duì)每一條約束都有一個(gè)調(diào)度值。調(diào)度值 可以是"檢測(cè)""不檢測(cè)"或者"待定"。每當(dāng)一個(gè)上下文變化（T，C，E)被應(yīng)用感知到時(shí)時(shí)，它 首先會(huì)被交給檢測(cè)調(diào)度模塊，用于更新滑動(dòng)窗口中現(xiàn)存的所有上下文變化的調(diào)度值賦值。 然后最新收到的上下文變化會(huì)被加入滑動(dòng)窗口中，所有約束針對(duì)這個(gè)變化的調(diào)度值賦值一 般都是"待定"。最后，滑動(dòng)窗口中最老的一個(gè)上下文變化會(huì)被從窗口中移除。應(yīng)用從上下 文池中找到這個(gè)變化對(duì)應(yīng)的上下文集合；接著這個(gè)上下文集合會(huì)相應(yīng)的進(jìn)行更新，增加一 條新的上下文、刪除一條過(guò)時(shí)的上下文、或者修改一條現(xiàn)存的上下文信息里的值。最后，根 據(jù)這個(gè)上下文變化的調(diào)度值賦值，應(yīng)用會(huì)選擇性地對(duì)某些一致性約束進(jìn)行檢測(cè)（當(dāng)且僅當(dāng) 調(diào)度值被為"檢測(cè)"時(shí)，一致性檢測(cè)才會(huì)被執(zhí)行）。
[0032] 圖2描述了這種方法的整體結(jié)構(gòu)，傳感器會(huì)不斷的從環(huán)境中感知上下文信息，并 以上下文變化的形式報(bào)告給應(yīng)用。檢測(cè)調(diào)度模塊維護(hù)當(dāng)前最新的若干個(gè)上下文變化，并將 這些上下文變化成對(duì)交給模式識(shí)別模塊進(jìn)行分析，根據(jù)結(jié)果進(jìn)行一致性錯(cuò)誤檢測(cè)的調(diào)度， 并據(jù)此選擇檢測(cè)或者不檢測(cè)某些一致性約束。
[0033] 本技術(shù)的核心部分在于一致性檢測(cè)的調(diào)度過(guò)程，前面已經(jīng)提過(guò)，使用一個(gè)滑動(dòng)窗 口來(lái)保存最新的若干個(gè)上下文變化，如圖3所示。這些上下文變化還沒(méi)有作用于其對(duì)應(yīng)的 上下文集合中。當(dāng)最新的上下文變化被接受到時(shí)，檢測(cè)調(diào)度模塊會(huì)依次更新滑動(dòng)窗口中每 一個(gè)上下文變化針對(duì)每一條約束的檢測(cè)調(diào)度值。這些約束會(huì)一條一條的被處理。針對(duì)每一 條約束，檢測(cè)調(diào)度模首先讀取這個(gè)變化原先的調(diào)度值，如果已經(jīng)被賦為"不檢測(cè)"或者"檢 測(cè)"，則跳過(guò)這個(gè)上下文變化；如果調(diào)度值被賦為"待定"，則這個(gè)滑動(dòng)窗口中的上下文變化 將和最新的變化組成一個(gè)上下文變化對(duì)。這個(gè)上下文變化對(duì)會(huì)被交給模式識(shí)別模塊。模式 識(shí)別模塊中的分類器會(huì)讀入這個(gè)變化對(duì)，并判斷這個(gè)它是一個(gè)錯(cuò)報(bào)模式，還是一個(gè)安全模 式。如果是一個(gè)錯(cuò)報(bào)模式，那么滑動(dòng)窗口中這個(gè)上下文變化的檢測(cè)調(diào)度值將會(huì)被賦為"不 檢測(cè)"。最后，窗口中的最老的一條上下文變化，其檢測(cè)調(diào)度值如果仍然是"待定"，則將被賦 為"檢測(cè)"，因?yàn)檫@個(gè)時(shí)候進(jìn)行一致性錯(cuò)誤的檢測(cè)，很有可能檢測(cè)到的是正常行的一致性錯(cuò) 誤。當(dāng)一條約束處理完之后，上下文調(diào)度模塊會(huì)開(kāi)始處理下一條約束，直到所有的約束都處 理完。如圖3所示。這里需要說(shuō)明的是，滑動(dòng)窗口的大小可以由用戶根據(jù)具體情況指定，默 認(rèn)大小可以是一致性錯(cuò)誤誤報(bào)最長(zhǎng)持續(xù)時(shí)間。
[0034] 在前面一段中，提過(guò)最新的上下文變化被加入到滑動(dòng)窗口時(shí)，其賦值一般是"待 定"，這里也存在特殊情況。如果這個(gè)上下文變化完全不影響一個(gè)一致性約束，也就是說(shuō)這 個(gè)一致性約束中的所有全稱量詞或者存在性量詞對(duì)應(yīng)的上下文集合都與這個(gè)上下文變化 完全沒(méi)有關(guān)系，那么這個(gè)上下文變化的賦值可以直接被定為"不檢測(cè)"（因?yàn)椴粫?huì)有一致性 錯(cuò)誤的變化）。
[0035] 模式識(shí)別模塊要為每一條約束訓(xùn)練分類器來(lái)識(shí)別錯(cuò)報(bào)模式。這里可以使用各種分 類器算法，例如決策樹(shù)、樸素貝葉斯或者多層神經(jīng)網(wǎng)絡(luò)等。分類器的輸入為兩個(gè)上下文變化 組成的變化對(duì)，輸出的是其分類結(jié)果。為了能讓上下文變化對(duì)輸入給分類器，需要從這兩個(gè) 上下文變化抽取出特征。分類器自動(dòng)從上下文變化中抽取它的類型（T)、作用的上下文集合 (C)，以及具體的上下文信息的值（E)作為特征。通常情況下，不同類型的上下文信息可能 包含不同的域，例如用戶個(gè)人信息可能包含姓名、年齡等，而室內(nèi)環(huán)境信息可能包括濕度、 溫度、光照等。為了能自動(dòng)的進(jìn)行訓(xùn)練和分類，必須自動(dòng)地進(jìn)行特征的抽取。針對(duì)每一條約 束，取出它所涉及的所有上下文集合，所有在這些上下文集合中包含的域都將作為特征被 抽取。如果該上下文信息不包含某一個(gè)域的值，那么這個(gè)域?qū)?yīng)的特征的值置為空即可。
[0036] 分類器算法是一種有監(jiān)督的學(xué)習(xí)，因此所有的訓(xùn)練數(shù)據(jù)都要被標(biāo)記為錯(cuò)報(bào)模式或 者安全模式。標(biāo)記過(guò)程同樣要求是全自動(dòng)的。使用傳統(tǒng)的一致性檢測(cè)方法對(duì)應(yīng)用的上下文 信息進(jìn)行一致性錯(cuò)誤的檢測(cè)，在此過(guò)程中監(jiān)控一致性錯(cuò)誤的產(chǎn)生和消失過(guò)程，以獲取訓(xùn)練 數(shù)據(jù)。被檢測(cè)出來(lái)的一致性錯(cuò)誤不需要進(jìn)行修復(fù)，要讓它們自然消失（正常的一致性錯(cuò)誤 的自然消失是由于其對(duì)應(yīng)的上下文信息不再滿足時(shí)效性需求而被刪除）。這里同樣要用一 個(gè)滑動(dòng)窗口來(lái)監(jiān)控最近的若干條上下文變化，如圖4所示。這個(gè)窗口的大小設(shè)定為用戶指 定的正常一致性錯(cuò)誤的最少上下文變化次數(shù)。需要注意，這里窗口里的上下文變化已經(jīng)被 用于更新對(duì)應(yīng)的上下文集合。每當(dāng)一個(gè)上下文變化被作用于其上下文集合后，可能會(huì)有新 的一致性錯(cuò)誤被檢測(cè)出來(lái)，也可能會(huì)有原來(lái)的一致性錯(cuò)誤被發(fā)現(xiàn)消失了。如果一個(gè)上下文 一致性錯(cuò)誤，其產(chǎn)生和消失都發(fā)生在這個(gè)窗口范圍中，那么窗口中這兩個(gè)變化之中的所有 上下文變化，兩兩都會(huì)被標(biāo)記為錯(cuò)報(bào)模式；當(dāng)一個(gè)上下文變化最終從窗口中被移出時(shí)，假如 它沒(méi)有被劃入任何一組錯(cuò)報(bào)模式，那么它將與窗口中所有的其他的上下文變化各組成一個(gè) 安全模式。每一條約束都會(huì)有自己?jiǎn)为?dú)的特征集合，會(huì)獨(dú)立地收集訓(xùn)練數(shù)據(jù)、訓(xùn)練分類器， 在真正的一致性檢測(cè)過(guò)程中，也將獨(dú)立進(jìn)行檢測(cè)調(diào)度。
[0037] 以上就是這種一致性檢測(cè)調(diào)度技術(shù)的主要內(nèi)容。其核心在于如何根據(jù)上下文變化 來(lái)尋找上下文檢測(cè)的最佳時(shí)機(jī)，難點(diǎn)在于解決不同上下文集合之間的異構(gòu)性問(wèn)題。通過(guò)上 述方法，可以全自動(dòng)的獲取訓(xùn)練數(shù)據(jù)并進(jìn)行一致性檢測(cè)地調(diào)度，以提高一致性檢測(cè)的效果。
【權(quán)利要求】
1. 一種普適計(jì)算環(huán)境上下文一致性檢測(cè)調(diào)度系統(tǒng)，包含一個(gè)模式識(shí)別模塊和一個(gè)檢測(cè) 調(diào)度模塊，其特征在于：所述模式識(shí)別模塊從一致性錯(cuò)誤檢測(cè)歷史數(shù)據(jù)中自動(dòng)識(shí)別出容易 引發(fā)誤報(bào)的上下文變化模式，并在運(yùn)行時(shí)刻實(shí)施分析當(dāng)前上下文變化是否可能引發(fā)錯(cuò)報(bào)； 所述檢測(cè)調(diào)度模塊通過(guò)所述模式識(shí)別模塊針對(duì)實(shí)時(shí)上下文變化的分析結(jié)果，在上下文信息 發(fā)生變化的時(shí)候動(dòng)態(tài)決定檢測(cè)或者不檢測(cè)某一條一致性約束，實(shí)時(shí)調(diào)整一致性錯(cuò)誤檢測(cè)的 執(zhí)行； 所述上下文一致性檢測(cè)指的是驗(yàn)證上下文感知應(yīng)用使用的環(huán)境上下文信息質(zhì)量的過(guò) 程； 所述上下文感知應(yīng)用是指普適計(jì)算環(huán)境中，需要使用環(huán)境信息來(lái)為用戶提供服務(wù)的應(yīng) 用程序； 所述一致性錯(cuò)誤檢測(cè)指的是那些被檢測(cè)出來(lái)后，不需要經(jīng)過(guò)任何修復(fù)，卻會(huì)很快消失 的一致性錯(cuò)誤； 所述上下文變化模式是指上下文變化對(duì)一致性約束真值的影響模式，包括錯(cuò)報(bào)模式和 安全模式。
2. 如權(quán)利要求1所述的普適計(jì)算環(huán)境上下文一致性檢測(cè)調(diào)度系統(tǒng)，其特征在于： 所述上下文一致性檢測(cè)使用一致性約束來(lái)描述上下文應(yīng)該滿足的特征，并通過(guò)運(yùn)行時(shí) 刻實(shí)時(shí)檢查約束是否被滿足來(lái)保證上下文信息的一致性；這些一致性約束由應(yīng)用語(yǔ)義以及 物理規(guī)律限定，使用一階邏輯語(yǔ)言進(jìn)行描述；約束中的全稱量詞和存在性量詞對(duì)應(yīng)應(yīng)用的 某一個(gè)上下文集合；檢測(cè)到一致性錯(cuò)誤后會(huì)被修復(fù)，以提高其上下文數(shù)據(jù)的準(zhǔn)確度，提升的 可靠性和用戶體驗(yàn)。
3. 如權(quán)利要求1所述的普適計(jì)算環(huán)境上下文一致性檢測(cè)調(diào)度系統(tǒng)，其特征在于： 所述一致性錯(cuò)誤檢測(cè)的錯(cuò)報(bào)是指，部分被檢測(cè)出來(lái)的一致性錯(cuò)誤其實(shí)并不是由于環(huán)境 上下文信息不準(zhǔn)確導(dǎo)致的，而是由于不恰當(dāng)?shù)囊恢滦詸z測(cè)而導(dǎo)致；這類一致性錯(cuò)誤事實(shí)上 不需要任何修復(fù)就會(huì)很快消失，然而傳統(tǒng)的檢測(cè)方法會(huì)無(wú)法判斷檢測(cè)到的一致性錯(cuò)誤是不 是錯(cuò)報(bào)，因此一律會(huì)進(jìn)行修復(fù)，這反而會(huì)對(duì)應(yīng)用產(chǎn)生不好的影響； 所述上下文變化由一個(gè)三元組來(lái)形式化的建模，包括（T，C，E)，T代表變化的類型，可 以是增加（Add)，刪除（Del)或者修改（Upd) ;C為這個(gè)變化作用的上下文集合；E為具體的 上下文信息值； 所述錯(cuò)報(bào)模式是指暗示著一致性錯(cuò)誤檢測(cè)的錯(cuò)報(bào)產(chǎn)生的上下文變化模式；在這一對(duì)上 下文變化之間進(jìn)行一致性錯(cuò)誤檢測(cè)，很有可能遇到錯(cuò)報(bào)問(wèn)題； 所述安全模式與錯(cuò)報(bào)模式恰好相反，是指意味著一致性錯(cuò)誤檢測(cè)的錯(cuò)報(bào)不會(huì)產(chǎn)生的上 下文變化模式。
4. 如權(quán)利要求1所述的普適計(jì)算環(huán)境上下文一致性檢測(cè)調(diào)度系統(tǒng)，其特征在于： 所述模式識(shí)別模塊使用數(shù)據(jù)挖掘領(lǐng)域中的分類器算法，通過(guò)分類器來(lái)判斷識(shí)別出上下 文變化中的錯(cuò)報(bào)模式；所述模式識(shí)別模塊首先從一致性錯(cuò)誤的歷史檢測(cè)數(shù)據(jù)中自動(dòng)提出訓(xùn) 練集，然后基于訓(xùn)練集訓(xùn)練出分類器，來(lái)實(shí)時(shí)判斷當(dāng)前上下文變化屬于安全模式還是錯(cuò)報(bào) 模式。
5. 如權(quán)利要求1所述的普適計(jì)算環(huán)境上下文一致性檢測(cè)調(diào)度系統(tǒng)，其特征在于： 所述檢測(cè)調(diào)度模塊，根據(jù)模式識(shí)別模塊的識(shí)別結(jié)果，選擇恰當(dāng)?shù)臅r(shí)機(jī)進(jìn)行一致性錯(cuò)誤 的檢測(cè)，從而提升檢測(cè)的準(zhǔn)確率；如果識(shí)別出錯(cuò)報(bào)模式則在某些時(shí)間點(diǎn)上不能進(jìn)行一致性 檢測(cè)。
6. -種普適計(jì)算環(huán)境上下文一致性檢測(cè)調(diào)度方法，包含一個(gè)模式識(shí)別模塊和一 個(gè)檢測(cè)調(diào)度模塊，其特征在于： 所述模式識(shí)別模塊從一致性錯(cuò)誤檢測(cè)歷史數(shù)據(jù)中自動(dòng)提取出訓(xùn)練集，并在此基礎(chǔ)上自 動(dòng)訓(xùn)練分類器以識(shí)別容易引發(fā)誤報(bào)的上下文變化模式，該模塊在運(yùn)行時(shí)刻實(shí)時(shí)分析當(dāng)前上 下文變化是否可能引發(fā)錯(cuò)報(bào)； 所述檢測(cè)調(diào)度模塊通過(guò)所述模式識(shí)別模塊針對(duì)實(shí)時(shí)上下文變化的分析結(jié)果，在上下文 信息發(fā)生變化的時(shí)候動(dòng)態(tài)決定檢測(cè)或者不檢測(cè)某一條一致性約束，實(shí)時(shí)調(diào)整一致性錯(cuò)誤檢 測(cè)的執(zhí)行。
【文檔編號(hào)】G06F19/00GK104123469SQ201410358442
【公開(kāi)日】2014年10月29日 申請(qǐng)日期:2014年7月25日 優(yōu)先權(quán)日:2014年7月25日
【發(fā)明者】許暢, 馬曉星, 呂建, 奚旺 申請(qǐng)人:南京大學(xué)