摘要：本文从语言学和形式化角度对软件领域中广泛使用的软件图进行了研究，提出了软件图语言这一概念．本文首先提出了关于软件图语言的一组基本概念，其次研究了软件图语言的同态和同构，以构成软件图形式描述的基础；最后讨论了软件图语言的形式表示法，并提出了基于图符网的图文法，使图文法更适合于表示软件图语言．本文工作可以作为设计面向软件图语言的软件工具的基础．

摘要：描述了MobileIPv6HA协议一致性测试集设计与实现过程,说明该测试系统的测试方法和测试结构。通过测试实例介绍了测试集的形式化,并对一基于Linux平台的HA实现的测试结果进行了分析。

摘要：本文探讨布鲁姆过滤器的代数运算和集合查询的关系,定义布鲁姆过滤器的"并","交","异或","补","差"代数运算,从理论和实验两方面分析布鲁姆过滤器的代数运算和集合代数运算并集,交集,异或集,补集,差集的元素查询关系.理论分析和实验结果表明,布鲁姆过滤器的"并","交"运算能够支持集合并集交集的元素查询,这一结论可以简化利用布鲁姆过滤器进行的系统设计.

摘要：本文探讨了图书发行企业营销信息系统的基本原理,对图书销售过程中管理信息系统的开发和设计进行了介绍和分析,并针对在图书发行过程中的信息管理系统的特点和在通用方面作了一些研究工作。该系统已投入实际运行。

摘要：介绍了基于口语学习的语言平台的设计与实现;提出了以客观评测为主的企业级语言教育平台的构建方案,该方案引入了语音匹配分析识别技术,能够在电讯网、单机或互联网上开展教学活动,从而为更低廉更便捷的口语学习和大规模的口语评测提供了新的发展思路。

摘要：软件度量已经成为当前国内外的研究热点。提出了一种基于CMMI的6软件度量分析框架和按照此框架如何进行软件度量,给出了基于CMMI的6软件度量分析系统的设计方案,在此基础上举例说明如何使用此系统进行软件度量和分析,最后指出了系统下一步的工作。

摘要：文章旨在解决目前政府机关应用系统多而杂,造成资源无法共享、管理、维护困难的问题。文中提出了一种基于J2EE的电子政务应用支撑平台系统方案的设计思想。它可以做到对各独立的应用系统进行统一的权限、基础信息资源管理;支持各种主流操作系统,多种数据库,并能够将各种语言开发的应用整合到同一个界面中,方便用户的管理和使用;运用LDAP技术管理全局的基础信息,安全便于维护;并为应用系统提供丰富的扩展接口。目前已被一些政府机关信息系统所采用。

摘要：传统基于文件存储的大规模网络测试系统存在设计复杂、实时性差等不足.本文设计并实现了一个用于存储网络测试数据的管理信息库.基于该管理信息库存储数据的测试系统,使用标准的简单网络管理协议通信,可降低测试数据读写设计的复杂性,并保证测试数据传输的实时性,解决了网络测试系统文件存储方式存在的不足.

摘要：要支持异地软件开发,分布式的过程支持系统的建立是必要的。通过比较4种分布式的过程支持系统的体系结构,引擎分布、数据分布的结构能有效地支持分布式软件过程。设计实现了基于P2P方式的多引擎PSEE(Process-Sensitive Software Engineering Environment)——MEPSS,在MEPSS中,每个引擎具有自治性,同时各引擎间通过交互形成一个完整的过程支持系统。

摘要：网络行为特征分析可为下一代互联网规划设计、建设与管理提供科学依据,对网络行为的监测极为重要。根据网络行为分析的要求,构建了IP网络行为评价指标体系,详细介绍了面向网络行为特征分析的网络监测系统的设计与实现,对系统设计的关键问题做了分析,并搭建实验环境对实现的系统进行了测试。实验结果表明:该系统满足网络行为实时监测各项要求,能为网络的运营管理提供决策依据。