微机在SS1机车控制电源屏／励磁电源柜试验台中的应用

从硬件、软件两方面介绍了ＳＳ１机车控制电源屏、励磁电源柜台试验台的工作原理，并提出了抗士扰措施。该试验台具有操作简单，试验速度快，检测结果准确，直观等优点。     

反潜探测概率计算

本文首先利用特卡洛模拟程序建立了两种计算探测概率的数学模型，经过回归分析和计算，进而得到描述随机运动目标的探测概率的解析式。     

铁道信号技术发展的新阶段

本文在分析和研究北美，西欧，日本和原苏联第一些有代表性国家铁路的现状与特征的基础上，提出了信号技术的发展已进入一个新阶段的论点。这是由于现代铁路对完全，效率与管理功能有更高的要求，同时在信息，控制与决策等基础理论论方面取得了新进展，适应了需要。最后，作者结合国内外实际情况，对我国铁道信号技术的发展提出了四点意见。     

如何搞好设备监造的质量控制

结合厦门海沧大桥鞍体、索夹、支座等设备的监理工作，总结搞好设备监造的质量控制方面的经验和体会。     

沥青混凝土质量的生产控制—太祁高速公路路面工程体会

从原材料进场控制，生产设备的选择，拌合站生产控制以及沥青混凝土的运输等作了较详细介绍。     

随动高压空气减压阀的设计与试验研究

可靠性和随动性是随动高压空气减压阀需着重解决的两个问题。作者以此为出发点,突破了传统减压阀传感结构的设计,利用另一种介质压力来控制、引导工作介质压力的变化。经过一系列试验证明,该阀密封可靠,性能良好,完全满足设计要求。     

PERTS——一个实时系统的原型建造环境的设计与实现

本文结合我国军用软件的开发特点,针对实时系统的特征,提出将实时需求分为周期需求、非周期频繁需求和非周期偶发需求三类的新思想。在事件—动作模型及实时逻辑的基础上,设计了一种实时系统原型描述语言RTSPDL,该语言形式化地表示了事件——动作模型,突出了对 时需求的优先级及异常和违章机制的描述。实现了一个实时系统的原型建造环境PERTS。该系统包括一组原型建造的工具集和原型的运行环境,支持软件重用的开发方法。语法制导的图示原型编辑器能形象、直观地对原型进行描述,原型生成器快速地生成原型的Ada可执行代码;原型的运行环境保证了原型的有效运行,并支持对实时环境的仿真。