LISP语言的增量式部分求值器

部分求值在软件优化中有着重要的作用，而增量式计算是避免重复计算的一种技术．本文基于部分求值和增量式计算的技术，实现了一个ＬＩＳＰ语言的增量武部分求值器，使得函数例化尽量在前次已经产生的剩余程序的基础上进行，从而很好地提高了效率．     

面向网络管理的移动主体安全设施

移动主体技术为网络管理提供了一种新方法，但同时也带来了一些不安全因素．全面分析了采用策略与移动主体技术进行网络管理所面临的各种安全问题和相应的解决方案，提出了面向网络管理的移动主体安全设施MASF(mobile Agent security facility)．MASF无缝集成了存储保护、加密、鉴别、完整．陛验证、授权、访问控制、安全日志等安全机制．基于MASF开发了一个实际的域间虚拟专用网络管理系统，应用表明,MASF能较好地满足网络管理的安全需求．     

遗传算子对免疫算法性能影响的分析

在研究现有进化算法的优越性与存在不足的基础上,受生物免疫原理的启发,提出了一种新的算法--免疫算法.免疫算法是在免疫系统识别多样性的启发下所设计出的一种随机启发式算法,其参数的取值和操作的具体实现形式对算法的性能有较大的影响.本文详细地讨论了基于信息熵概念的免疫算法并分析了交叉和变异遗传算子对免疫算法性能的影响,将遗传算法的非均匀变异操作引入免疫算法,模拟实验结果表明了改进算法的有效性.     

移动Agent系统中分布式资源监测器的设计与实现

本文从硬件资源的角度出发,探讨了移动Ａｇｅｎｔ目标主机的选择标准,并给出了相应的分布式资源监测器的设计与实现方法。     

支持多Agent通信的扩展BDI逻辑

BDI（信念、期望和意图）逻辑是当前agent理论研究的热点课题之一,相关研究工作较少涉及对agent间通信的描述.文章旨在提出一个能表示和推理多agent间基于言语行为理论的通信行为的扩展BDI逻辑.该逻辑是一个多类、带量词并具有分枝时序结构的一阶多模态逻辑,除了包含标准BDI逻辑的模态和时态算子之外,还引入了一些必要的逻辑算子和构造符,用于刻画agent为实现其意图而具有的规划能力,以及对多agent通信给出正确的语用解释.文章讨论了逻辑的语法和语义,并对言语行为进行了逻辑分类和解释.     

Agent研究现状与发展趋势

对有关Agent理论和实践两方面的研究现状、关键技术和发展趋势进行了综述和讨论,试图勾画出目前Agent研究的脉络、重点及其发展趋向.主要内容包括：（1）智能Agent的特性、表示和推理;（2）多Agent系统的联合意图、协商和规划;（3）面向Agent的程序设计.最后,简单讨论了Agent技术目前所面临的挑战.     

基于旅行图的移动Agent迁移策略

移动Agent为完成用户指定的任务，通常需要移动到多个主机上．迁移策略为移动Agent规划出最佳迁移路径，保证移动Agent正确、高效地完成任务．提出了“旅行图”的概念并给出了基于“旅行图”的3种迁移策略．旅行图能描述移动Agent的移动语义并能刻画运行环境的动态变化．载有“旅行图”的移动Agent感知运行环境的变化，及时反应并自主修改迁移路线，按照预先设定的指标完成任务，充分体现了Agent的反应性和自主性．基于“旅行图”的迁移策略还可避免由网络断连或结点失效导致的迁移失败．     

空间推理与地理信息系统综述

对空间推理SR(spatial reasoning)和地理信息系统GIS(geographic information system)进行了全面的综述.介绍了空间推理和地理信息系统的应用和国内外发展概况,在对大量资料进行分析的基础上,给出了空间推理和地理信息系统的关键属性、主要研究方向和研究热点.     

智能Agent建模的一种模板结构

文中讨论了设计和建造智能Ａｇｎｅｔ的一些热点问题。通过对一些基本概念和定义的评述,总结了智能Ａｇｅｎｔ应具的若干主要性质的属性。     

移动Agent系统的主动通信机制

解决由Agent移动产生的可靠性通信问题.在分析已有方法的基础上,提出一种保证移动Agent之间可靠、高效通信的"主动通信"机制,并给出它的可靠性分析和通信效率分析.它能够在通信双方自由移动的情况下,将消息可靠、高效地从发送方提交给接收方,并承诺消息传递的exactly-once语义,为Agent通信语言等高层通信方式奠定了可靠的基础.