計算模式正向以人為中心的普適計算模式發(fā)展,應(yīng)用程序出現(xiàn)了新的行為特征和需求。作為以服務(wù)應(yīng)用程序為目標的基礎(chǔ)軟件,操作系統(tǒng)必須作出相應(yīng)的改變,才能據(jù)此提供更高效的服務(wù)并滿足新的需求。另一方面,眾多新的研究成果也為達成這一改變提供了支持,即使不考慮計算模式的改變,這些成果也將強力的推動操作系統(tǒng)的改善。本文就操作系統(tǒng)的一個方面——數(shù)據(jù)存儲展開研究。通過使用RSS（RichServants Service Model）模型進行分析可知,普適應(yīng)用需要智能的數(shù)據(jù)存儲服務(wù),而傳統(tǒng)的文件系統(tǒng)存在丟失數(shù)據(jù)之間語義信息的問題,不能滿足這一需求。為解決這一問題,本文研究為數(shù)據(jù)存儲系統(tǒng)添加形式化的數(shù)據(jù)語義信息表示和推理能力。結(jié)合知識表示的研究成果,本文使用描述邏輯語言SI作為語義信息的表示語言并實現(xiàn)其推理機制。在推理時,針對角色逆,本文分析現(xiàn)有Block策略所存在的問題,提出了回環(huán)Block策略,據(jù)此給出了SI Tableaux算法并證明其為SI語言的判定算法�；贑opy On Write思想給出了COW推理樹,有效地提高推理內(nèi)存使用率,并在其基礎(chǔ)上實現(xiàn)了Baekjump技術(shù)。為快速發(fā)現(xiàn)推理中的沖突,提出了... 

【文章來源】：浙江大學(xué)浙江省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：142 頁

【學(xué)位級別】：博士

【部分圖文】：

普適計算物理架構(gòu)

.銷毀邏輯樹時，邏輯節(jié)點將所有版本號)被銷毀的邏輯樹的物理節(jié)點從棧中彈出;若棧為空，則同時銷毀邏輯節(jié)點。未使用COW推理樹時，如圖4一1所示，對某個推理樹中以a為根節(jié)點的子樹進行推理，初始時眾a)={日5.(vS一uvs一B)U日R.(CUB)}，使用日規(guī)則處理后衍生出節(jié)點b，工(b)={vs一人Uvs一}，此時應(yīng)用U規(guī)則處理，邏輯上，需要復(fù)制包含{s，…，a

浙江大學(xué)博士學(xué)位論文第4章推理機實現(xiàn)與優(yōu)化刪除操作影響到了某個回環(huán)的起始/終止節(jié)點時，按照4.5.4節(jié)的4條規(guī)則執(zhí)行。圖4-12顯示，當刪除概念日R.(C門D門E)的時候，原來被這個概念所包含的兩個存在量詞日R.C，日R.E成為未推理的節(jié)點，并且C和E之間沒有包含關(guān)系，分別需要不同的節(jié)點來滿足。針對這種情況算法4一4將這樣的概念重新進行推理。這個推理作為增量式推理，在刪除完成之后進行。3R.C日R.E日R.(EnD戈日R.E日R.(EnDr℃3RC日凡E日R.(印少〔)一日R.(E門沙℃)卜E刃，CE

【參考文獻】：
期刊論文
[1]挖掘閉合模式的高性能算法[J]. 劉君強,孫曉瑩,莊越挺,潘云鶴.  軟件學(xué)報. 2004(01)



本文編號：3510693