一种面向普适计算环境的语义化推理存储技术研究

《一种面向普适计算环境的语义化推理存储技术研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、浙江大学计算机学院博士学位论文一种面向普适计算环境的语义化推理存储技术研究姓名：石怀东申请学位级别：博士专业：计算机科学与技术指导教师：董金祥20080101浙江大学博士学位论文摘要计算模式正向以人为中心的普适计算模式发展，应用程序出现了新的行为特征和需求。作为以服务应用程序为目标的基础软件，操作系统必须作出相应的改变，才能据此提供更高效的服务并满足新的需求。另一方面，众多新的研究成果也为达成这一改变提供了支持，即使不考虑计算模式的改变，这些成果也将强力的推动操作系统的改善。本文就操作系统的一个方面——数据存储展开研究。通过使用RSS(RichServ

2、antsServiceModel)模型进行分析可知，普适应用需要智能的数据存储服务，而传统的文件系统存在丢失数据之间语义信息的问题，不能满足这一需求。为解决这一问题，本文研究为数据存储系统添加形式化的数据语义信息表示和推理能力。结合知识表示的研究成果，本文使用描述逻辑语言sI作为语义信息的表示语言并实现其推理机制。在推理时，针对角色逆，本文分析现有Block策略所存在的问题，提出了回环Block策略，据此给出了SITableaux算法并证明其为sl语言的判定算法。基于CopyOnWrite思想给出了COW推理树，有效地提高推理内存使用率，并在其基础上实

3、现了Backjump技术。为快速发现推理中的冲突，提出了一种新的优化手段——冲突概念集缓冲优化。给出了sI语言的增量式推理以处理频繁的概念增加和删除操作。实验结果表明，这些技术有效地提高了推理性能，所获得的推理机能够胜任语义存储系统的推理任务。本文对高性能闭合序列挖掘算法Bide进行了深入探讨。给出并证明了闭合序列前缀中任意一个项目的后向扩展事件(BEE)项目交集随前缀的生长单调不增的定理，并据此对BEE累计操作进行了优化。修改了频繁闭合序列模式的表示形式，定义了闭合序列树并阐述了它的三个性质。同时发现当新增输入串中不同时包含前缀串和频繁项目时，两次连

4、续挖掘的结果是相同的，本文给出了相应的定理和证明，据此实现了增量式频繁闭合序列模式挖掘算法Bidelnc。实验表明BideInc提高了动态输入串数据库上闭合序列的挖掘性能，可挖掘存储系统中的数据相关性，用于指导数据块的预取操作。在上述研究成果的支持下，给出了SRSS(SematicReasoningStorageSystem)系统的运行时架构、数据存储视图和存储系统物理架构；也给出了内核态推理机KDLE(KemetDescriptionLogicEngine)的架构。浙江大学博士学位论文研究结论表明，存储数据语义信息并向系统添加推理能力是切实可行并能满

5、足复杂的应用需求的。本研究所作的工作也表明操作系统在普适计算环境下将有深刻的变化和发展。关键词操作系统，普适计算，描述逻辑，存储系统，推理，闭合模式挖掘浙江大学博士学位论文AbstractThecomputingmodelhasbeenevolvingtowardthehumancentralizedpervasivecomputing；accordinglytheapplicationsproducenewbehaviorandrequirements．Asthefundamentalsol,ware，operatingsystemmustalsoc

6、hangetoservetheapplicationsbetter．Ontheotherhand,manynewresearchresultshavebeengainedtosupportthischange．Theseresultsimpeltheoperationsystemtoimproveitselfdespitethechangesofcomputingmodel．Thisthesisresearchesondatastoragemechanisminoperatingsystem．Analysisofpervasivecomputingby

7、usingRSSmodel(RichServantsServiceModel)concludesthatintelligentstrogeserviceisneededbypervasiveapplications，andthetraditionalfilesystemCall’tsatisfythisrequirementduetotheabsenceofdatasemanticinformation．Tosolvethisproblem,wefoensourresearchonformalexpressionandreasoningabilityo

8、fdatasemanticinformationandaddingthemtothestora