一个互连网络系统的设计和研制

本文将论述一个实用的具有点一点通讯功能的以太网和电话网互连系统的分层结构设计,以及 PUP 报文传送协议,文件传送协议,服务器的研制。     

一个小型数据处理系统的设计

本文介绍一个行包运费自动处理系统,同时论述了,如何合理地解决数据结构与算法,分配硬软件功能、改进系统可靠性以及简化系统操作等问题。     

关于线性递归系统并行算法

本文介绍在SIMD和MIMD以及流水线机器上适用的线性递归系统并行算法,论述其设计思想,加速比公式的推导以及最优处理器个数和流水线段数的选取。     

通信协议形式验证中的Petri网方法

Petri网,尤其是扩充类的Petri网对通信协议有很强的模拟能力.同时,Petri网能支持十分有效的验证技术.本文分析了需要验证的协议性质,提出了用线性不变量和标志机状态法全面分析这些性质的综合验证方法,并给出了对HDLC通信协议的验证实例.     

宝成铁路马角坝车站避难线改道问题

铁路管理局已正式采纳这一结果,改建避难线。