基于移动Agent的WebGIS体系结构

针对分布式地理信息系统应用服务的分布性、动态性、异构性和遗留性等特点,在分析已有的WebGIS体系结构特点和移动Agent技术在分布式计算中的优点,将移动Agent应用到WebGIS中.给出基于移动Agent的WebGIS多层结构服务请求模型,并采用进程代数的方法刻画了该体系结构的动态模型.经过演算推理,证明该系统模型的有效性、可用性、可靠性和合理性.实现了WebGIS的功能集成,构成一个跨平台的、动态的、多种空间信息的GIS系统,提高分布式GIS应用系统的效率,扩大其应用范围.     

一种基于完整性检测的Agent迁移容错模型

目前Agent的容错研究中,一般都是通过在Agent的每一步迁移过程中产生复本(Replication),然后通过选举(Voting)得到结果.但是大量Agent复本会浪费网络资源与时间.为此,本文提出了一种基于完整性检测的Agent迁移容错模型NAMFTM及其改进模型P-NAMFTM.该模型能有效降低通信复杂度与复本数量,避免大量冗余Agent复本所带来的资源负载与时间耗费.最后,本文构造了P-NAMFTM的π演算模型,采用π演算对其进行了分析验证,演算结果证实本文提出的模型是正确可行的.     

基于多Agent制造过程的建模方法

分析了制造系统与制造过程之间的关系;论证了从过程的角度对制造进行建模更恰当;结合Agent和π演算的特点,给出Agent制造系统描述模型及基于π演算的单个Agent的BDI模型,并指出Agent和π演算结舍的制造过程模型有利于进行优化目标在不同制造过程层次的分解,不论从方法的角度还是实现的角度,都适合复杂系统建模。Agent和π演算相结合可以有效分析并解决离散事件的建模与仿真中的问题。     

网络服务行为的进程代数验证方法研究及其应用

通过形式化建模分析了系统特点,确认系统行为,从而尽可能避免系统的冲突等情况.文中提出了一种使用进程代数描述网络服务组件的行为建模方法,包括强模拟、强互模拟、时效性、触发器、服务环境等网络服务交互行为描述方法,然后给出了P2P节点的节点发现、防火墙穿越等行为的描述,提出了适用于托管的RCMMS网络自管理协议,并使用代数的...     

移动Agent系统的研究

对移动Agent代表性系统作了研究。分析了移动Agent技术与传统的分布式计算机技术的区别。     

移动进程演算中的开互模拟

该文就移动进程演算中的弱开同余关系进行了研究。文中考虑了一种简单的非确定性移动进程演算模型,证明了Milner的三条tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到同余关系的完全公理化系统,文中提出了第四条tau规则,处理了在前缀操作下的等名测试算子,并证明了强开同余关系的完全公理化系统加上四条tau规则可得到弱开同余关系的完全公理化系统。该文的结论否定了关于Milner的三条tau规则足以将π－演算中的强同余关系的完全公理化系统提升到弱同余关系的完全公理化系统的猜想。     

移动Agent的平台、通信和标准

介绍了移动Agent(MA)的概念、特点、近年推出的MA平台以及建造平台需要考虑的主要要素 ,同时介绍了MA语言、通信和标准 ,并概括性地给出了应用领域及现阶段存在的主要问题和研究方向     

MAS交互协议的形式化描述和验证

在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义了用于描述多Agent基于对话的交互协议的一个演算,该演算是基于进程代数的并且独立于Agent的推理过程.该机制可以实现异构多Agent系统的交互协议验证.通过Agent会话环境的状态和演算的形式语义,可以验证会话协议的一些属性,例如:终止性、是否死锁等.该方法可以有效地解决交互协议的语义验证问题,因为协议的状态和Agent的行为由协议本身定义,并且可以避免基于状态搜索的状态空间爆炸问题.     

基于Agent的分布式信息检索系统

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

基于Agent的分布式地理信息检索系统

分布式地理信息检索具有有效性、高性能、高可靠性和低成本等方面的优势,因而是WebGIS的核心技术之一.以分布、异构的信息检索环境为背景,提出对基于Agent的分布式地理信息检索系统,采用π演算方法,建立分布式地理信息检索系统的服务请求模型,经过演算推理,证明该系统模型的有效性、可用性、可靠性和合理性.     

基于移动代理的网格计算

网格计算环境具有异构性、分布性、动态性、局域自治性等特点,针对以上特性,利用移动代理技术的网格计算方法,可以提供高效统一的应用接口,实现多编程环境下的协同应用求解,从而有效屏蔽其异构和分布等特性,动态适应其资源的变化。详细说明了基于移动代理的网格计算的体系结构和主要模块的功能,并阐述了移动代理的实现过程。     

基于移动Agent的企业计算

针对传统分布式计算模式在满足企业及时性和有效性要求上的局限,提出了利用移动Agent技术构建分布、异构和动态的企业计算模式,给出了系统的体系结构,分析了系统架构中的关键技术,并提出了对应的方法,找到了一个具有一定综合性、面向未来的企业计算模式。     

基于移动Agent的移动网格计算探讨

研究如何设计一个中问件,将移动设备与网格萦密地结合起来,让移动设备成为网格服务的接收者或更有价值的服务提供者,介绍移动网格的概念,并结合移动代理技术的优点及在网格中所扮演的角色,提出墓于移动代理技术的移动网格体系结构,并叶移动网格的工作原理与发展前景做了阐述.     

基于移动Agent的无线移动计算模型及应用

传统的分布式计算模型客户／服务器模型不适应无线移动计算环境，文中详细分析了扩展的客户／服务器模型及其存在的问题。在此基础上将移动agent应用到扩展的客户／服务器模型，无线移动计算的性能得到了改善。文中还分析了基于移动agent的无线移动计算模型的特点，其中最重要的一点是信息和服务完全分离。最后将基于移动agent的无线移动计算模型应用到移动电子商务系统．设计了一个产品电子交易的原型。     

基于移动Agent的无线移动计算模型及应用

传统的分布式计算模型客户/服务器模型不适应无线移动计算环境,文中详细分析了扩展的客户/服务器模型及其存在的问题。在此基础上将移动agent应用到扩展的客户/服务器模型,无线移动计算的性能得到了改善。文中还分析了基于移动agent的无线移动计算模型的特点,其中最重要的一点是信息和服务完全分离。最后将基于移动agent的无线移动计算模型应用到移动电子商务系统,设计了一个产品电子交易的原型。     

移动环境中基于Mobile Agent的异步计算技术

本文提出了一种移动环境中基于Mobile Agent的异步计算技术，并在我们巳完成的宽带无线IP网络以及IBM的Ag1ets基础上实现了一个应用实例，实验表明这种技术是行之有效的．     

基于Java技术面向移动计算的可移动Agent的研究

随着全球范围内Internet/Intranet的空前发展,可移动计算环境成为大规模分布式计算的主要趋势,但是传统固定网络的连接逐渐成分布式计算的瓶颈,降低了大规模计算的效率,应用新型的概念和移动Agent模型已成为解决这一问题的关键,首先描述了课题研究的背景,然后提出了移动计算环境下可移动Agent的体系结构,详细讨论和分析了该体系结构的定义、原理、应用评价以及实验仿真结果,并说明了该体系结构对当今WWW体系的影响。     

移动计算环境中基于移动代理的数据管理体系结构

在研究、分析移动计算环境特殊性的基础上,提出了一种基于移动代理的数据管理体系结构,简称DMABMA。该体系结构能把移动计算环境分成两大部分：固定网络部分和无线网络部分,充分利用固定网络部分的高带宽和高可靠性来弥补无线网络部分的断接性、有限带宽和弱可靠性,最终使两者有机结合,形成一个适合移动计算环境需要的体系结构。     

基于移动代理网格计算的资源管理模型研究

为了研究基于移动代理的网格计算资源管理模型,介绍了网格计算环境和其体系结构应有的特征,并分析了基于其上的应用层模型应有的特征;根据各种不同的资源管理策略,研究了各种策略的优点和不足,并提出了各种改进方法;同时,提出了将移动代理引入网格计算中以解决资源管理、作业调度等问题的思想.     

基于移动代理在网格计算中的结构模型研究

网格计算环境下的资源管理、作业调度和分配、负载平衡等问题成为网格计算发展的障碍。本文介绍了网格计算的体系结构和运用网格计算环境进行作业计算、资源管理、负载平衡等方法存在的问题,详细论述了在网格计算环境下引入移动代理技术对于解决网格计算问题的作用和优点。然后分别对网格计算中的移动Agent结构、资源管理模式、作业分配与调度方法、负载平衡等方面进行了研究。