图形LOTOS和Petri同模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．

识别非环的数据库模式的一组分布式算法

各种非环的数据库模式有许多好的性质，特别是在分布式环境中，研究关系数据库的非环性程度是一个重要的课题，对Ａｌｐｈａ Ｂｅｔａ，Ｇａｍｍａ，Ｂｅｒｇｅ这几各非环数据库模式，我们给出一组颁式算法，该算法的最坏消息复杂度是Ｏ（／Ｎ／），而最坏时间复杂度是Ｏ（／Ｎ／＾２），／Ｎ／是给定的网络中结点的个数。

论ISDN协议实现的标准化测试

本文围绕着窄带ＩＳＤＮ协议标准化测试这一主题，对ＩＳＤＮ终端和交换机的标准化测试进行了讨论。根据笔者参加的北京邮电大学合作项目—“综合业务数字网ＩＳＤＮ协议测试与验证技术”研究工作的经验为背景，给出了一种通用的ＩＳＤＮ测试系统。我们的经验表明，以渡船原理为基础，建立的ＩＳＤＮ测试系统是可行、实用的，而且，它具有通用性好、功能全面。

网络协议的一种数据流测试方法

本文提出从一个Ｌｏｔｏｓ说明（ｓｐｅｃｉｆｉｌａｔｉｏｎ）中有选择地产生可执行测试序列的数据流的一种方法，这种方法是以Ｐｅｔｒｉ网为模型，采用最大的输入输出定义链标准来给出产生测试序列的一组算法，并且我们把这个测试选择方法应用到ＡＢＰ（ｔｈｅａｌｔｅｒｎａｔｉｎｇｂｉｔｐｒｏｔｏｃｏｌ）协议上。