论文部分内容阅读
资源空间模型是面向网络资源的具有语义的模型,该模型基于网络资源的分类语义组织和管理资源.资源空间模型利用多维资源空间定位资源,用户在资源空间中浏览、共享和操作资源,提高了资源组织的效率.本课题的研究内容围绕资源空间模型展开,主要是解决资源空间模型中尚未解决的的理论和实际问题.主要的研究工作包括:
1.资源空间模型查询操作的完备性.本文首先表明,在已有的操作之外,我们还可以定义无穷多个新操作,如果不顾实际的需求,定义一个自包含的操作集合是不切实际的.其次引入了操作的完备性的概念,回答了何时我们所定义的操作足够用的问题,并且任何一个具有通用用途的资源空间模型的查询语言,至少需要具备文中所定义的完备性.在已有的操作之外,设计了几个新的操作,得到资源空间上的一组完备的操作集合:Union,Difference,Intersection,Extended Cartesian.Product,Selection,Join,Disjoin,Merge和Split;并且得出操作集合Union,Difference,ExtendedCartesian:Product,Selection和 Disjoin是必需的.最后提出了一种理论框架,可以用来比较各种操作子语言之间的表达能力,并且我们的判别结果独立于任何这个子语言所要嵌入的主语言.
2.资源空间模型的范式理论.本文完善了资源空间模型的范式理论.范式的基础是轴之间的细分和正交关系,虽然我们有了细分和正交的定义,但是直接根据定义来验证轴之间是否细分或者正交是非常困难的,直接根据定义来证明细分和正交关系的传递性也相当复杂.我们提出了轴之间细分和正交关系的等价性定义,这使得对它们的验证相当容易.基于简化的等价性定义,细分和正交关系的传递性的证明也是十分明了的.在这个过程中,我们并且发展了两个新的范式:2<+>范式和4范式,并且研究了在资源空间的各种操作下范式的保持性质.本文得到的理论结果扩展了资源空间模型的范式理论,并且能够应用到对资源空间范式的验证和分析中去.
3.资源空间模型和语义链网络之间的关系.本文首先给出了一个将给定的语义链网络转换成资源空间的方法,并且研究了在这种转换之下范式的保持性质.而后给出了一个方法,能够将给定的资源空间转换成语义等价的语义链网络,并且得到了转换下三个范式的保持性质.
4.资源空间模型的空间查找复杂度.本文讨论了在资源空间中查找(基于关键字的比较)一个点的复杂度.我们考查了查找复杂度和每个轴上坐标的分布的关系,得到结论:从查找复杂度的角度来看,每个轴上坐标的分布越平均越好.我们还研究了查找复杂度和空间的维数的变化的关系,并且得出:资源空间的维数不是越低越好,也不是越高越好,存在一个唯一的临界维数.从查找复杂度的角度来看,具有临界维数的资源空间是最优的.我们还得出这个临界维数的取值大约是,lnN(N是资源空间中的点的总个数,ln是自然对数).
本文获得的结果可以用于指导模型的设计以及对系统性能和效率的分析,从而为利用现有技术构建一个切实可行的资源空间模型系统打下一个坚实的基础.