一种改进的蚁群算法求解最短路径问题

蚁群算法是一种新型的模拟进化算法，为求解复杂的组合优化问题提供了一种新的思路，该文应用蚁群算法求解最短路径问题，对算法的选择策略，局部搜索，信息量修改三方面进行改进，使算法不易陷入局部最优解，并且能较快地收敛到全局最优解，实验结果表明，改进方法是合理的，有效的。  

基于城市道路网的快速路径寻优算法

从城市道路网的特点出发，描述了矢量化的城市道路网的存储结构，提出一种求解城市道路网两节点间最短路径的算法，算法基于双向式搜索原理，采用投影法，角最小的方法及二叉树理论，和Dijkstra算法相比，算法大大减小搜索空间，提高搜索速度，时间复杂性不超过O（N），N为网络节点数，实现应用表明算法有很强的实用性和可靠性。  

电子邮件及其协议标准研究

电子邮件是信息社会不可缺少的通信手段，本文主要介绍ＩＳＯ／ＯＳＩ和Ｉｎｔｅｒｎｅｔ中关于电子邮件的有关国际标准和工业标准。  

基于FSM的形式化测试序列生成方法

有限状态机是协议测试序列生成中常用到的数学模型，本文在介绍ＦＳＭ的基础上，总结了国外几种常见的基于ＦＳＭ的测试序列生成技术，并对我们研究中的ＰＡＤ测试序列的生成进行介绍。  

基于STREAMS机制的UNIX内核网络协议软件开发

ＳＴＲＥＡＭＳ机制是ＵＮＩＸ提供的一种开发工具，本文在对ＳＴＲＥＡＭＳ机制进行介绍和分析的基础上，提出了基于ＳＴＲＥＡＭＳ机制的开发ＵＮＩＸ内核网络协议软件的通用抽象模型。  

在UNIXSVR4.0上开发基于C／S的PAD软件

分组装／拆设备ＰＡＤ是公用数据网中一种很重要的设备，它往往被作为一种硬件设计实现。文中提出一种基于Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ的ＰＡＤ软件实现方法，这种方法可以大大地简化实现的复杂度。  

PCTS中基于异步的物理层参考实现

ＰＣＴＳ是清华大学在“八五”期间研制的协议一致性测试系统。为了对异步终端入网进行测试，需要在ＰＣＴＳ中设计一种基于异步的物理层参考实现。本文首先介绍这种参考实现的功能，然后讨论它的模块结构，最后给出数据结构和接口设计。  

用UNIX4．3BSD的远程登录机制开发远程虚终端

本文讨论了ＵＮＩＸ４．３ＢＳＤ中的远程登录机制，并给出了一种开发远程虚终端的方法。  

IDACOM3X协议一致性测试集的研究与分析

在计算机网络协议一致性测试中，形式化技术是一种重要的理论发展方向。本文在介绍形式化的测试集描述技术的基础上，对加拿大ＩＤＡＣＯＭ的３Ｘ协议一致性测试集进行了分析，指出它在形式化方面的不足和改进的方向。  

基于STREAMS机制的IP／X.25软件的设计与实现

ＳＴＲＥＡＭＳ机制是ＵＮＩＸ系统为开发通信服务而提供的一套通用、灵活的开发工具。，ＩＰ／Ｘ．２５软件则是ＴＣＰ／ＩＰ网络与Ｘ．２５公用数据网互连以及通过Ｘ．２５公用数据网实现ＴＣＰ／ＩＰ网络之间的互连的重要途径。文中在介绍基于ＳＴＲＥＡＭＳ机制的通信软件开发的一般思路后，着重叙述了ＩＰ／Ｘ．２５软件的功能和结构以及基于ＳＴＲＥＡＭＳ机制的设计与实现，并对基于ＳＴＲＥＡＭＳ机制的通信软件开发方法作了