下一代网络结点软件体系结构的研究

主动网络是网络发展的趋势之一，提出了下一代网络结点的软件体系结构模型，并对该模型的模块协作关系进行了讨论。     

一种基于属性文法的形式描述方法

本文通过讨论软件测试自动化的基本条件和特殊要求,给出了一种基于属性文法的形式描述方法,它是对一般属性文法作以下两方面扩展得到的:(1)扩展运算函数的值域;(2)补充运算函数在条件不成立时的定义.这样的形式描述方法满足软件测试自动化对形式描述的要求.     

CHILL语言编译器的实现

介绍一个在微机上实现ＣＨＩＬＬ子集的编译程序,以及支持ＣＨＩＬＬ并发功能的操作系统（ＯＳ）核。     

基于主动技术的网络的研究

在介绍了主动网络的基本原理之后,提出了一种可开发和实施新网络服务、让用户或第三方创建和剪裁服务的主动结点模型,并着重阐述了主动结点的软件结构。     

一种基于主动技术的网络结点体系结构

文章通过对基于主动技术的网络进行研究,提出了一种主动节点的体系结构模型,该模型从三方面体现出与目前已存在模型的不同:一是强调一致的管理系统,保证网络的正常秩序不受破坏;二是构造了安全的、有QoS支持的结点操作系统,保证网络基础平台的安全与高效;三是提出了适用于计算机网与电信网的统一的执行环境模型,促进电信网与计算机网的融合。