模态逻辑S4的覆盖语义及其完备性

基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与Kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理.进一步讨论了覆盖语义与Alexandrov拓扑语义之间的关系.证明了覆盖语义与Alexandrov拓扑语义是和谐一致的.

SemreX:一种基于语义相似度的P2P覆盖网络

对等(peer-to-peer)网络的非集中结构、良好的自治性及容错性等特征,使其可能成为Internet上有效的信息共享模型.然而,内容定位问题仍然是大规模P2P网络中信息共享所面临的挑战.SemreX系统是一种P2P网络环境下的文献检索系统.针对SemreX系统,提出一种基于语义相似度的P2P拓扑管理和查询路由算法.仿真实验结果表明,语义拓扑能够有效地提高系统的搜索效率.

基于主题和物理位置相近原则的层次化对等语义覆盖网络结构

对等语义覆盖网络构建主要采用索引和超级节点的方法,不可避免地存在瓶颈问题,同时忽略了覆盖网络与实际网络拓扑一致性问题对语义覆盖网络性能的重要影响。该文提出的对等语义覆盖网络结构TPPH充分结合了结构化P2P网络高效的定位和非结构化P2P网络的复杂检索功能,采用分布式哈希表机制将相同主题节点组织成主题区域,在同一主题区域内通过物理位置相近原则进行群的划分,从而在物理网络拓扑基础上建立语义P2P覆盖网络结构。性能分析和仿真实验表明,该结构显著提高了查全率并缩短了平均查询时延,是一种支持复杂查询、高性能的语义覆盖网络结构。

面向对象数据模型中聚集语义和覆盖语义的ERL语言描述

针对ERL描述的语义种类不齐全的问题,在ERL已能处理的语义约束之外,又给出了聚集语义。

SSON:一种基于结构化P2P网络路由的语义覆盖网络结构

本文基于结构化P2P网络路由机制,采用基于主题划分的方法,提出了基于结构化P2P网络路由的语义覆盖网络SSON。SSON通过结构化P2P网络的标识符映射机制,根据资源类别将结点组织成层次化的覆盖网络,该覆盖网络结构确保搜索限制在与查询主题相关的局部结点子集中。该结构充分利用了结构化P2P网络的优点,解决了基于非结构化P2P网络建立的语义覆盖网络的对主题群的搜索低效问题,同时克服了结构化P2P网络仅支持精确匹配查找的缺点,为结构化P2P网络提供了可靠、高效的语义查询机制,极大地提高了查全率。

具有小世界特性的语义覆盖网络模型

目前大多数的结构化覆盖网络模型忽略节点的聚类性和对称性,并且只能提供精确的资源查询机制。为此,给出一种具有小世界特性的语义覆盖网络模型。该模型采用显式分区机制、语义搜索链和组扩散机制。分析和实验结果表明,该模型比现有的覆盖网络模型Chord和CAN具有更好的网络性能,搜索效率更高,且具有较好的多匹配结果查询能力。

TSS-SON：一种基于结构化P2P网络路由的两级语义覆盖网络结构

提出了基于结构化P2P网络路由机制的两级语义覆盖网络结构TSS-SON.该结构根据资源主题将节点组织成主题区域,在同一主题区域内,采用基于语义相似度机制进行群的划分.该结构充分利用了结构化P2P网络的优点,解决了基于非结构化P2P网络建立的语义覆盖网络对主题群的搜索低效问题,同时克服了结构化P2P网络仅支持精确匹配查找的缺点,实现了可靠、高效的语义查询,并极大地提高了查全率.

基于语义关联的语义覆盖网构建方法研究

随着网络技术不断飞速发展,人们的信息需求也随之增长。用户不再满足基于关键字的检索,而是希望网络能够实现以用户所关心的信息为中心、以用户需求为导向,将所有与中心相关的信息全部汇聚起来,也就是实现语义关联聚焦服务。所以针对语义关联聚焦服务需求,提出构建一种包含语义关联关系的语义覆盖网的方法,即首先将网络节点按照语义相似度组织成聚类,然后计算节点的语义关联度,最后根据语义关联度在聚类之间添加关联链接,最终形成各网络节点的关联语义覆盖网络。

包含关联的语义覆盖网构建方法研究

现实世界中信息资源之间存在着各种各样的关联关系,而当前的搜索引擎只能提供基于关键字的搜索,不能为用户提供他们所关心的与关键字相关的各类信息。针对这个问题,提出了构建语义覆盖网,以用户需求为导向,以用户所关心的信息为中心,将所有与此资源相关的信息全部汇聚起来提供给用户。这里先根据语义相似度将节点聚类,然后在聚类的基础上,根据各类关联关系构建基于关联关系的语义覆盖网。

语义对等网覆盖路由模型的研究

现有对等网覆盖路由模型只适应精确查找,存在不支持语义查询的缺点。该文通过建立语义空间,根据所存储数据对象的兴趣来聚集节点,实现支持语义的对等网络路由模型,提高了搜索效率。仿真实验结果表明,该模型的搜索性能优于原有模型。

基于语义覆盖网络的信息组织与服务体系框架

针对广域网络环境下面向用户需求的信息服务要求,本文设计了一种基于语义覆盖网络的信息组织与服务体系框架。该框架充分考虑用户的信息需求与信息体系,提供了一种趋于扁平化的信息共享与服务环境。该框架通过自底向上和自顶向下相结合的信息组织模式,在信息资源中心完成基于语义的信息整合与组织的基础上采用基于语义相似度聚类的语义覆盖网络,提供基于语义的信息资源发布、发现与定位的能力。

TCSO:一种轻量级主题连通的语义覆盖网

语义覆盖网通过基于节点语义关系维护拓扑来为各种P2P应用提供支持.对于基于主题的系统而言,通过保证具有相同主题的节点彼此连通能够提高数据查询与分发的效率.提出了TCSO(topic-connected semantic overlay)——一种轻量级的主题连通的语义覆盖网.TCSO周期性地更新每个节点的邻居列表,以保证主题相同的节点及其之间的边构成的所有子图都是连通的(即主题连通).实验结果表明,相对于已有方法,TCSO能够以更小的存储与通信开销保证主题连通性,而且在高度动态的网络环境中也仍然能够保持较高的主题连通性.

语义覆盖网最佳规模的数学分析

现在大量研究者通过语义覆盖网构建来提高P2P网络资源查询效率,但在语义覆盖网最佳规模大小上缺乏研究。考虑运用数学方法对语义覆盖网络进行数据建模,对路由算法的路由性能指标的求解方法进行研究,并分析语义覆盖网规模与路由性能指标之间的关系。通过模型的分析和求解,得出了社区的最佳规模大小,为语义覆盖网构建与研究提供了有力的支撑。

基于语义覆盖网的P2P信息共享系统研究

现有P2P信息共享系统存在仅支持粗粒度、弱语义共享以及系统效率低等局限性,限制了其更大规模、更高层次的应用。基于资源相似节点通过信息聚类聚集在同一主题域,实现节点资源有序组织的思想,提出了一种基于语义覆盖网的P2P信息共享系统,建立由资源层、信息服务中心层、语义覆盖网络层和应用层四个层次组成的系统框架结构,并阐述了系统流程。分析表明,该系统有效优化了网络性能,可扩展性好,可以胜任不同的网络规模。

基于区域簇的对等语义覆盖网络的构建

非结构化P2P系统中搜索成本很高,特别是在带宽消耗和网络延迟方面。通过构建语义覆盖网络SON,对等网中的查询仅仅被转发给与查询词语最相似的子网络,这样可以大幅度地降低搜索代价、提高查询质量。本文提出一种新的、分布式地、自组织地构造语义覆盖网络的新方法,通过创建本地簇,构建区域,再逐渐向上合并本地簇形成区域簇,最终形成基于区域簇的语义覆盖网络结构。

基于语义聚类的层次化语义覆盖网构建方法研究

P2P网络是一种极具潜力的信息共享方式,当前对于它的研究已成为网络技术的热点问题。但是P2P网络的分布、分散、组织困难等特点,使P2P网络在应用中有很多不足,这就要求提高P2P网络的应用效率,优化查询过程等。以一个无结构的、可以用无向图来表示的P2P网络为基础,提出了基于语义聚类的层次化语义覆盖网的构建方法,该方法以语义特征向量为基础,利用层次聚类方法,通过节点内的语义聚类、域的生成、域内聚类以及全局聚类等过程形成层次化语义覆盖网。可以解决当前结构化和非结构化的P2P网络中存在的无法解决的问题,并极大的提高查询应用效率。

面向语义信息共享的元数据模型的研究与实现

元数据在国内依然是一个研究热点,本文面向基于语义的信息资源共享就如何利用人工智能领域内的本体(ontology)理论,建立用于描述信息资源语义及其之间关系的元数据模型进行了研究,并初步实现了基于元数据模型的信息资源元数据描述模版和描述工具原型。

面向语义的元数据模型及OWL表示

元数据在国内依然是一个研究热点。本文面向基于语义的信息资源共享,就如何利用人工智能领域内的本体理论,建立用于描述信息资源语义及其之间关系的元数据模型进行了研究;基于给出的元数据模型声明了一个具体的学校实例,并使用OWL语言对其进行描述;初步实现了基于元数据模型的信息资源元数据描述模版和描述工具原型。

基于语义的区域医疗信息共享与服务框架

本文面向区域医疗信息共享需求,提出了一种基于语义的信息共享与服务机制,并设计了一种基于语义覆盖网的信息共享体系框架。该框架充分考虑各医疗单位信息自治与区域内信息共享要求,提供了一种趋于扁平化的信息共享与服务环境。该框架通过自底向上和自顶向下相结合的模式,在各医疗单位设计信息资源中心完成基于语义的信息整合与组织的基础上,采用基于语义相似度聚类的构建语义覆盖网络,提供基于语义的信息共享与服务能力。

基于语义的p2p路由算法研究综述

路由算法在P2P网路中占有重要的地位,资源的定位、查找均依赖于高效的路由算法。传统的P2P网络采用分布式哈希表来进行路由,是与资源的自然语义内容无关的算法,或者说分布式哈希表破坏了自然语言的语义内容。最近10年以来,语义路由算法在P2P网络中逐渐兴起。随着语义网的提出,本体成为自然语言研究方面的热点。语义覆盖网正是基于本体的知识体系构建的。而随着社交网路的兴起,又提出了语义小世界的概念。LSI、LSH、VSM以及各中聚类算法均在P2P网络的语义路由中得到了广泛的应用。