预压桥台桩不卸载施工的应用

针对高速公路体土地基桥头跳车的普遍现象，提出了软基路段桥台桩不卸载施工工艺，节省了施工费用，缩短了施工时间，相对地延长了桥台台后等超载预压时间，是一种有效的解决桥头跳车的方法。     

高速公路桥梁梁板裂缝的诱发原因及处理方法

本文介绍了高速公路梁板裂缝的成因及处理方法，为旧、险桥的加固探索了新的途径。     

油气管道的清管与化学处理

文中首先介绍了清除油气管道内结蜡的两种方法及两种化学除蜡剂。然后提出了一种清管器与化学处理法相结合的一种清管工艺。最后叙述了管内壁防腐技术及清管器的选择原则。     

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

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