用Spi演算描述并验证非对称双向鉴证协议

移动代理能够自主地在异构的网络间迁移，在代理迁移到下一个服务器之前，需要解决代理迁徙过程中的安全性问题，即如何进行代理与服务器之间的双向认证，提出的非对称双向鉴证协议能够较好地解决该安全问题，同时，用Spi演算对该协议进行了描述，并验证了该协议的安全性。     

浅谈混凝土膨胀剂在地下管沟中的应用

结合混凝土膨胀剂的应用，提出如何选择膨胀剂，确立以限制膨胀率为目标的补偿收缩混凝土的配合比的设计方法，通过合理设计和加强施工管理，使得混凝土膨胀剂的使用能较好地解决混凝土结构的抗渗防裂控制问题。     

基于RBF神经网络与遗传算法的Agent初始位置优化

以陆地作战训练模型为背景，研究了多Agent系统中Agent初始属性的优化问题，提出了一种径向基函数(RBF：Radial Basis Function)神经网络与遗传算法(GA：Genetic Alorithm)相结合的、对作战训练模型中Agent的初始位置进行优化的方法。与已有的优化方法相比，该方法不仅优化效果得到明显的提高，而且执行效率可以提高20余倍，更适于处理对执行效率要求较高的优化问题。     

RoboCup仿真研究

RoboCup仿真比赛在国际上已经开展几年了,近几年在国内也得到迅速发展。本文针对RoboCup仿真研究的几个主要问题,介绍了一些球队在解决这些问题上的方法和思路,以及我们在世界模型、对手建模和球队整体策略三个方面所作的工作。     

一种自适应的分布式微防火墙系统

针对传统防火墙存在的不能防内部攻击、单一失效点等问题，提出了一种自适应的分布式微防火墙体系结构。在该体系结构中，基于包过滤的微防火墙运行在受保护实体上，并与微入侵检测系统一起提供双重细粒度的安全保护；分布式微入侵检测系统提供层次响应和自适应功能；移动代理系统实现了安全策略的动态更新，并提高了整个系统的可扩展性。     

智能信息技术

孕育发展的普适计算带来美好生活景象的同时也提出了软硬件技术上的挑战，着重介绍五家欧洲高等院校合作研究的一项计划——智能信息技术(smart-Its)，通过计划概述、研究内容以及模型结构的阐述，表明Smart-Its作为普适计算终端需要考虑的中间件技术。所研究的任务是解决计算应用和网络多样性造成的动态异构性和移动计算问题以及对人机接口、交互界面的设计考虑。     

MMARP:一种允许主体迁移的多主体运行平台设计方案

在对Internet上多主体环境进行研究的基础上，提出了一种允许主体迁移的多主体运行平台的设计方案。该平台以主体所提供的服务为中心进行架构，所有的服务由容器进行统一管理，主体可以动态地在容器之间迁移，容器为主体提供相应的基础服务。     

绿黄隆干悬浮颗粒剂的研制

对绿黄隆干悬浮颗粒剂的组成及工艺详细的考察、研究 ,综合悬浮率、崩解时间、储藏时间等质量控制指标 ,确定了最佳组成及工艺条件     

MIS系统开发中的项目管理

分析软件开发过程中项目管理的一些问题，探讨软件项目管理中的人员角色及其职责，以及各种关系的处理及解决策略。     

进一步规范中国的保险中介市场

通过对我国目前保险中介市场的现状及问题分析，提出了进一步规范我国保险中介市场的举措。