【摘要】 分布式信息检索具有有效性、高性能、高可靠性和低成本等方面的优势,因而是网络检索系统的核心技术,该文以分布、异构的信息检索环境为背景,提出对基于Agent的分布式信息检索系统,采用π]算方法,建立分布式信息检索系统的服务请求模型,经过]算推理,证明该系统模型的有效性、可用性、可靠性和合理性。更多还原

【Abstract】 With the advantage of distributed information retrieval,such as availability,reliability,and efficiency and less cost,it is the key technology for digital library and network information retrieval.Analyzing the distribution and heterogeneity of the network information,it is proposed that Agent-based distributed information retrieval system.The formal model based on π-calculus is created to describe the service and request for distributed information retrieval system.It is proved the correction,availability,reliability and rationality of the Agent-based distributed information retrieval system in theory.更多还原