本文關(guān)鍵詞：環(huán)境上下文一致性錯誤的可靠修復(fù)技術(shù)

  更多相關(guān)文章： 普適計算 上下文感知應(yīng)用 上下文一致性錯誤 修復(fù)

【摘要】：在普適計算中,上下文持續(xù)快速變化,上下文感知應(yīng)用根據(jù)上下文的變化自動調(diào)整自身的狀態(tài)和行為以作出適應(yīng)。然而,由于不可預(yù)測的環(huán)境噪聲和動態(tài)變化等諸多因素的影響,很容易造成上下文一致性錯誤。不幸的是,上下文一致性錯誤會導(dǎo)致上下文感知應(yīng)用表現(xiàn)異常甚至失效。因此需要對上下文一致性錯誤進行自動修復(fù)。但已有的方法,有的做了太強的假設(shè)而無法滿足現(xiàn)實中要求。有的基于各種啟發(fā)式的方法來選擇刪除可疑的上下文,但正確性是難以保證的。有的需要人的干預(yù)而不能自動修復(fù)�？傊�,現(xiàn)有的技術(shù)不能很好的解決這個問題。為了解決這個問題,本文在一整套形式化的定義和嚴密的邏輯推導(dǎo)的基礎(chǔ)上循序漸進地提出了三種自動修復(fù)上下文一致性錯誤的新技術(shù),用以滿足不同的需求。這三種修復(fù)技術(shù)分別是完整修復(fù)(complete-fixing)、保守修復(fù)(conservative-fixing)和混合修復(fù)(hybrid-fixing)。這些修復(fù)基本上分為以下三個階段：(1)檢測上下文一致性錯誤；(2)生成抽象修復(fù)用例；(3)具體執(zhí)行以驗證上下文一致錯誤是否已經(jīng)修復(fù)。其中complete-fixing技術(shù)能夠保證修復(fù)的完整性,但必須以時間效率和空間效率為代價。conservative-fixing技術(shù)在公式內(nèi)部存在簡單依賴關(guān)系的情況下,對共享元素加鎖來保證修復(fù)的正確性。這種技術(shù)在時間效率上有了一定的提高,但在一定程度上損失了一些修復(fù)能力。hybrid-fixing技術(shù)結(jié)合了對一致性約束的靜態(tài)分析和修復(fù)動作的動態(tài)產(chǎn)生,即使在一致性約束內(nèi)部存在復(fù)雜依賴關(guān)系的情況下,也能確保所生成的修復(fù)用例必然正確。令人滿意的是,這項修復(fù)技術(shù)在顯著提高修復(fù)成功率的同時,并只花費了很小的時間開銷。最后通過模擬實驗和真實的場景,我們發(fā)現(xiàn)：第一,我們的技術(shù)具有有用性,能夠解決一些現(xiàn)實的問題；第二,我們的技術(shù)具有很好的拓展性,只需要極少的工作量就可以拓展解決一些相關(guān)的問題；第三,我們的技術(shù)具有很好的靈活性,可以與相關(guān)技術(shù)——如partial constraint checking技術(shù)——進行有效的結(jié)合�？偠灾�,我們的技術(shù)相對與已有的技術(shù)在綜合考慮修復(fù)能力、修復(fù)正確性和時間效率上都有很大優(yōu)勢。
【學(xué)位授予單位】：南京大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2014
【分類號】：TP38

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 張玉琦,洪曉光,王海洋;一致性約束在多版本數(shù)據(jù)庫中的實現(xiàn)方法[J];計算機工程與應(yīng)用;2000年06期

2 李沅;李凱;;基于一致性約束的圖像匹配算法[J];化學(xué)工程與裝備;2008年11期

3 梁浩;王明哲;;系統(tǒng)體系結(jié)構(gòu)設(shè)計的一致性約束和檢驗[J];兵工自動化;2006年06期

4 王浩;范啟富;;一類基于iSIGHT的多學(xué)科優(yōu)化方法研究[J];微計算機信息;2009年34期

5 趙越;汪世敏;王娟;;基于滅點徑向一致性約束的攝像機內(nèi)參數(shù)求解[J];機械工程師;2009年08期

6 朱安民;陳燕明;;基于特征點一致性約束的實時目標跟蹤算法[J];深圳大學(xué)學(xué)報(理工版);2013年03期

7 劉天亮;金飛逸;羅立民;;基于特征單應(yīng)矩陣的雙目攝像機系統(tǒng)貪婪標定方法(英文)[J];Journal of Southeast University(English Edition);2009年02期

8 周敬利,羅秋明,余勝生;使用視差一致性約束的立體匹配與遮掩檢測[J];小型微型計算機系統(tǒng);2003年10期

9 姜偉;楊炳儒;隋海峰;;自適應(yīng)半監(jiān)督邊界費舍爾分析[J];計算機科學(xué);2011年03期

10 劉蓉;陳曉紅;;新的大群體一致性學(xué)習(xí)修正決策方法[J];系統(tǒng)工程與電子技術(shù);2008年05期

中國重要會議論文全文數(shù)據(jù)庫 前1條

1 陳明;王樹鵬;云曉春;吳廣君;;基于二維云模型過濾的重復(fù)圖像發(fā)現(xiàn)[A];2013年全國通信軟件學(xué)術(shù)會議論文集[C];2013年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 陳小康;環(huán)境上下文一致性錯誤的可靠修復(fù)技術(shù)[D];南京大學(xué);2014年

，

本文編號：1207673