發(fā)布時(shí)間：2021-11-22 01:52

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

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

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

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

【部分圖文】：

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

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

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

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



本文編號(hào)：3510693