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

发布时间：2021-11-22 01:52

　　计算模式正向以人为中心的普适计算模式发展,应用程序出现了新的行为特征和需求。作为以服务应用程序为目标的基础软件,操作系统必须作出相应的改变,才能据此提供更高效的服务并满足新的需求。另一方面,众多新的研究成果也为达成这一改变提供了支持,即使不考虑计算模式的改变,这些成果也将强力的推动操作系统的改善。本文就操作系统的一个方面——数据存储展开研究。通过使用RSS（RichServants Service Model）模型进行分析可知,普适应用需要智能的数据存储服务,而传统的文件系统存在丢失数据之间语义信息的问题,不能满足这一需求。为解决这一问题,本文研究为数据存储系统添加形式化的数据语义信息表示和推理能力。结合知识表示的研究成果,本文使用描述逻辑语言SI作为语义信息的表示语言并实现其推理机制。在推理时,针对角色逆,本文分析现有Block策略所存在的问题,提出了回环Block策略,据此给出了SI Tableaux算法并证明其为SI语言的判定算法。基于Copy On Write思想给出了COW推理树,有效地提高推理内存使用率,并在其基础上实现了Baekjump技术。为快速发现推理中的冲突,提出了... 

【文章来源】：浙江大学浙江省 211工程院校 985工程院校 教育部直属院校

【文章页数】：142 页

【学位级别】：博士

【部分图文】：

普适计算物理架构

.销毁逻辑树时，逻辑节点将所有版本号)被销毁的逻辑树的物理节点从栈中弹出;若栈为空，则同时销毁逻辑节点。未使用COW推理树时，如图4一1所示，对某个推理树中以a为根节点的子树进行推理，初始时众a)={日5.(vS一uvs一B)U日R.(CUB)}，使用日规则处理后衍生出节点b，工(b)={vs一人Uvs一}，此时应用U规则处理，逻辑上，需要复制包含{s，…，a

浙江大学博士学位论文第4章推理机实现与优化删除操作影响到了某个回环的起始/终止节点时，按照4.5.4节的4条规则执行。图4-12显示，当删除概念日R.(C门D门E)的时候，原来被这个概念所包含的两个存在量词日R.C，日R.E成为未推理的节点，并且C和E之间没有包含关系，分别需要不同的节点来满足。针对这种情况算法4一4将这样的概念重新进行推理。这个推理作为增量式推理，在删除完成之后进行。3R.C日R.E日R.(EnD戈日R.E日R.(EnDr℃3RC日凡E日R.(印少〔)一日R.(E门沙℃)卜E刃，CE

【参考文献】：
期刊论文
[1]挖掘闭合模式的高性能算法[J]. 刘君强,孙晓莹,庄越挺,潘云鹤.  软件学报. 2004(01)



本文编号：3510693