通信协议的形式描述及自动实现技术

在通信协议工程的主要开发作业中，形式描述和自动实现扮演着重要的角色。本文主要研讨通信协议的形式描述及自动实现技术。文中论述了协议的典型形式描述技术（ＦＤＴ），主要包括半形式描述技术：ＡＳＮ．１和ＴＴＣＮ；标准形式描述技术：Ｅｓｔｅｌｌｅ、ＬＯＴＯＳ和ＳＤＬ。讨论了协议的自动代码生成，并给出了协议形式描述及自动实现的实例。

局部双环网络的拓扑优化及其路由算法

本文对局部双环网络拓扑最优化进行了研究，提出了一类适应于该网络的路由算法。

基于B/S模式的变电站台帐网上查询系统

随着自动化技术的提高 ,越来越多的变电站实现了无人值守或少人值守。由运检班流动管理多个变电站。为了使运检班的工作更加有效 ,利用 ASP和 SQL Server开发了一个基于 B/ S模式的变电站台帐、修试校查询和管理系统。在变电站的一次图上方便。

计算机文件系统管理与维护

文件系统的管理与维护是各类计算机系统管理人员最重要的工作,由于操作系统的缺陷或用户操作失当导致的异常文件的处理是系统管理员急需解决的问题。本文介绍了异常文件的表现形态及消除异常文件的二种方法。磁盘修改法及复现法。这二种方法可有效地消除一些大、中、小型计算机上的异常文件,达到释放系统资源、提高计算机使用效率或挽救用户有用文件的目的。