摘要
分布式地理信息检索具有有效性、高性能、高可靠性和低成本等方面的优势,因而是WebGIS的核心技术之一。以分布、异构的信息检索环境为背景,提出对基于Agent的分布式地理信息检索系统,采用π演算方法,建立分布式地理信息检索系统的服务请求模型,经过演算推理,证明该系统模型的有效性、可用性、可靠性和合理性。
With the advantage of distributed geography information retrieval ,such as availability, reliability, and efficiency and less cost, it is the key technology for WebGIS. The essay analyzes the distribution and heterogeneity of the network information and just proposes the agent- based Distributed Geography Information Retrieval system. The formal model based on π-calculus is created to describe the service and request for Distributed Geography Information Retrieval system. It proves the efficiency, availability, reliability and rationality of the agent-based Distributed Geography Information Retrieval system in theory.
出处
《计算机应用与软件》
CSCD
北大核心
2007年第2期56-58,共3页
Computer Applications and Software
基金
上海市教委自然科学基金资助项目(02NK07)。