一種面向普適計(jì)算環(huán)境的語義化推理存儲(chǔ)技術(shù)研究.pdf

1、計(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(RjchServants Service Model)模型進(jìn)行分析可知

2、，普適應(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算法并證明其為sl語言的判定算法?；贑op

3、y On Write思想給出了COW推理樹，有效地提高推理內(nèi)存使用率，并在其基礎(chǔ)上實(shí)現(xiàn)了Backjtamp技術(shù)。為快速發(fā)現(xiàn)推理中的沖突，提出了一種新的優(yōu)化手段——沖突概念集緩沖優(yōu)化。給出了SI語言的增量式推理以處理頻繁的概念增加和刪除操作。實(shí)驗(yàn)結(jié)果表明，這些技術(shù)有效地提高了推理性能，所獲得的推理機(jī)能夠勝任語義存儲(chǔ)系統(tǒng)的推理任務(wù)。 本文對(duì)高性能閉合序列挖掘算法Bide進(jìn)行了深入探討。給出并證明了閉合序列前綴中任意一個(gè)項(xiàng)目的后向擴(kuò)展

4、事件(BEE）項(xiàng)目交集隨前綴的生長(zhǎng)單調(diào)不增的定理，并據(jù)此對(duì)BEE累計(jì)操作進(jìn)行了優(yōu)化。修改了頻繁閉合序列模式的表示形式，定義了閉合序列樹并闡述了它的三個(gè)性質(zhì)。同時(shí)發(fā)現(xiàn)當(dāng)新增輸入串中不同時(shí)包含前綴串和頻繁項(xiàng)目時(shí)，兩次連續(xù)挖掘的結(jié)果是相同的，本文給出了相應(yīng)的定理和證明，據(jù)此實(shí)現(xiàn)了增量式頻繁閉合序列模式挖掘算法Bidelnc。實(shí)驗(yàn)表明BideInc提高了動(dòng)態(tài)輸入串?dāng)?shù)據(jù)庫(kù)上閉合序列的挖掘性能，可挖掘存儲(chǔ)系統(tǒng)中的數(shù)據(jù)相關(guān)性，用于指導(dǎo)數(shù)據(jù)塊的預(yù)取操作