發(fā)布時(shí)間：2017-11-20 15:39

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：1207673