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

2、，普適應用需要智能的數據存儲服務，而傳統(tǒng)的文件系統(tǒng)存在丟失數據之間語義信息的問題，不能滿足這一需求。為解決這一問題，本文研究為數據存儲系統(tǒng)添加形式化的數據語義信息表示和推理能力。 結合知識表示的研究成果，本文使用描述邏輯語言SI作為語義信息的表示語言并實現其推理機制。在推理時，針對角色逆，本文分析現有Block策略所存在的問題，提出了回環(huán)Block策略，據此給出了sI Tableaux算法并證明其為sl語言的判定算法?；贑op

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

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