摘要：博物馆的虚拟展示对博物馆在教育和科普方面都具有重要意义,但目前大多数虚拟现实技术在实现一个低成本的,桌面型的,面向网络的三维虚拟博物馆系统时都有着不同程度的不足。本文针对虚拟博物馆的特点及需求,给出一个基于XML的适于描述虚拟博物馆场景的场景描述语言XVM。XVM根据展示环境与藏品模型分离的设计原则,有效地利用了馆藏资源的各种数字信息,并在一定程度上降低了网络传输量。在XVM的基础上,一套虚拟博物馆构建及漫游系统已被初步实现,并在实际应用中取得良好的效果。

摘要：基于 Matching Pursuits的误差图像编码算法因其基函数的灵活性 ,是一种在低码率视频编码应用中较为理想的算法 ,块能量搜索算法被用于减少该算法的编码复杂度 .针对固定权值加权块搜索算法的不足之处 ,提出了一种自适应加权块搜索算法 ,在不增加算法复杂度的情况下 ,对不同的被编码序列采用不同的权值表完成加权块能量算法 ;在各种情况下均得到了较理想的编码效果 .

摘要：随着Internet平台和开放应用的快速发展，如何在面向对象技术的基础上发展新型的软件方法学成为软件新技术面临的重要挑战之一．本文以移动Agent技术、系统和应用为切入点，在对移动Agent关键技术，如移动机制、通信机制和安全机制等进行研究的基础上，提出了我们自行设计与实现的移动Agent系统Mogent，并探讨其在软件主流技术等方面的应用．

摘要：分布式处理要求分布式系统提供可靠高效的通信手段 .本文在分析了分布式系统对多目通信机制要求的基础上 ,设计并实现了一个支持面向对象的分布式程序设计语言 NC++的多目通信机制 NCMCAST.实验证明 NCM-CAST向 NC++提供了可靠、保序的多目通信机制 .

摘要：为了从模糊润饰图像恢复模糊核,基于对数傅里叶空间图像高斯型模糊润饰前、后的指数黎曼度量具有等距性特点,提出一种高斯型模糊润饰图像的模糊核反演算法.首先将模糊润饰前、后的图像转换到对数傅里叶空间;然后利用黎曼测地距离度量图像高斯型模糊润饰前、后的模糊不变量,从模糊不变量携带的信息中反演恢复出高斯型模糊核.在对高斯模糊、中值模糊、盒式模糊和多步高斯模糊润饰图像进行的实验结果表明,文中算法能够鲁棒地恢复出模糊核.

摘要：在多Agent系统中，个体Agent除了具有自治性、应激性、主动性外，还应当具有社会性以完成只有协作才能解决的问题．这种社会性要求Agent能及时响应其它Agent的服务请求，对自己的行为作出承诺．但是，有能力和意图并不一定有信心．本文从Agent的社会行为出发，为A-gent引入行为自信度的概念，并提出了理性Agent应当遵守的行为自信度修改规则．最后给出了一个动作委托算法，为设计具体的多Agent系统提供了一个可行的解决方案．

摘要：介绍了分离逻辑的验证原理和特点及其在程序验证方面的应用实例,分析了为支持程序验证的若干分离逻辑研究进展,包括分离逻辑的自身属性、与其他逻辑的关系、对程序语言和设计模式的支持以及定理证明器等内容.指出了分离逻辑进一步深入应用所面临的问题和解决方向.

摘要：ＷＷＷＤＯＣ是一个基于ＴＣＰ／ＩＰ协议的分布式协同写作系统，采用Ｃ／Ｓ结构．其中写作服务器是整个系统的关键，它响应客户机的请求，在协同控制机制下实现对目录树的操作管理和文档数据库的管理．本文介绍了写作服务器的设计与实现，包括它的数据模型和功能，详细介绍了协同机制．

摘要：指针指向分析的主要目的是静态地获取程序在运行时刻的指针指向信息.基于Andersen算法,设计了一种有效的、上下文敏感的指针指向分析算法,支持继承、字段对象等语言特性.不同对象的字段在算法中被分别处理,同时,算法对复合类型的对象实现了基于字段的处理.为了提高算法的效率和可扩展性,引入了两种优化方式:一种是结点间的拓扑排序以降低分析过程中的迭代次数;另一种是在线的环路侦测与消除,它与拓扑排序过程同步实现,有效地提高了处理效率.实验数据表明,该算法可以用来为较大规模的Java代码生成精确的指向关系集合.

摘要：利用HTML文档的元数据,可以为Web检索提供多样化的检索手段。本文提出了一种从HTML文档自动提取文档元数据的方法,对其中提取规则的设计、规约算法及其复杂度分析做出了重点介绍。该方法的提取规则在语法形式上和文档片断接近,更适合自动生成,通过自动规约生成规则无需人工分析,适应Web文档特点。文章最后给出了实验结果并进行了分析。