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

1、計算模式正向以人為中心的普適計算模式發(fā)展，應用程序出現(xiàn)了新的行為特征和需求。作為以服務應用程序為目標的基礎軟件，操作系統(tǒng)必須作出相應的改變，才能據(jù)此提供更高效的服務并滿足新的需求。另一方面，眾多新的研究成果也為達成這一改變提供了支持，即使不考慮計算模式的改變，這些成果也將強力的推動操作系統(tǒng)的改善。 本文就操作系統(tǒng)的一個方面——數(shù)據(jù)存儲展開研究。通過使用RSS(RjchServants Service Model)模型進行分析可知

2、，普適應用需要智能的數(shù)據(jù)存儲服務，而傳統(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算法并證明其為sl語言的判定算法。基于Cop

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

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