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

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

水泥钢渣置换法在桥梁软土地基处治中的应用

在软土地基上建造桥梁时,常常遇到地基承载力不够,针对该问题,文中提出了一种经济、适用的水泥钢渣置换处治方法,并对该方法的施工技术进行了详细介绍.     

真空联合堆载预压在青岛滨海公路工程中的应用

结合青岛市滨海公路软土地基处理实例,介绍真空堆载联合预压法的施工工艺、施工监测情况,并对加固效果进行试验测定,试验结果表明采用该方法处理后表层地基承载力符合设计要求.     

用红粘土修建加筋土挡墙

用粘性土填料修建加筋土挡墙,是国内外正在研究的课题。用高液限、细颗粒、大含水量、高孔隙率、高收缩率、低内摩擦角及低于塑限时,浸水膨胀的红粘土作填料修加筋土挡墙,则是一个新的探索领域。     

砂桩的振动成桩法施工工艺

介绍砂桩的振动成桩法施工中，施工工艺的选择。     

机房管理及维护中的"软问题"与对策

机房管理及维护中的“软问题”主要指软件的问题与软环境的问题，主要表现在人与人的关系、软故障、环境卫生等方面。查找分析这些问题，提出解决措施非常有意义。     

深厚软土地区桥台稳定性设计探讨

沿海铁路跨越浙江、福建滨海海积平原和大量海洋滩涂地区,淤泥和软土层最深处达40余m,物理力学性质较差。以飞云江特大桥福州台为例,对深厚软土地基桥台的附加水平力、稳定性进行了详细分析,提出了深厚软土地基桥台稳定性的控制措施,为施工图设计提供技术支持。     

真空—堆载联合预压法加固高速公路软基实例分析

针对某高速公路软弱地基进行真空一堆载联合预压法试验研究，探讨和阐述了该法的加固机理，并对现场试验成果进行分析，得出一些有工程实用意义的结论，为类似工程处理提供参考。     

大新高速公路盐渍土软地基路段处理治的尝试

介绍了大新高速公路盐渍土软地基基本特性，地基含水量，盐碱情况等，针对性地提出了处治方案及处理效果，有一定参考价值。     

杭州软土特征及软基加固方法的合理选择

介绍了杭州软土的分布及工程力学性质.根据工程实践,确定了软基加固方法选择的原则,提出了合理的软基加固方法,对今后杭州地区的软土加固工程具有一定的指导意义.