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

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

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

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

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

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

高边坡路堑预应力锚索加固技术应用

结合路堑高边坡加固工程 ,介绍预应力锚索和十字面板共同形成抗滑支撑结构的优越性 ,着重介绍预应力锚索的钻孔、下索、注浆、张拉和封锚以及十字面板的施工工艺     

烟大铁路轮渡明年完工乘火车4小时穿越渤海海峡

据2月21日来自山东省港航局提供的消息，随着烟台港软基处理主体工程的基本完成。备受关注的烟大铁路轮渡工程已完成1／3。明年年底，乘客可以乘火车渡过渤海海峡，全程仅需4小时。     

港口工程嵌岩桩轴向抗压承载力计算

针对目前港口工程嵌岩桩轴向抗压承载力计算所存在的问题，通过对公路行业和建筑行业有关规范计算方法的对比，利用大量有关试验研究成果，结合已建工程经验，进行了详细的分析讨论，提出港口工程嵌岩桩轴向抗压承载力标准值的计算公式。     

高速公路涵洞软基处理方法探讨

通过对高速公路软土地段涵洞破坏的分析，从涵洞构造形式、涵洞构造与软基适应性等方面对涵洞软基处理方法进行了探讨。     

漳龙高速公路k75＋000—k75＋100段路提高边坡稳定性分析

阐述了在高路堤设计理论不能完全满足设计规范规定的技术参数要求时，经过相应稳定性分析与计算，采用了综合补强加固措施，并进行深部位移监测观测及成果分析，以低成本，高效益，合理处理高边坡稳定性而达到预期整治目的。     

软土地基真空联合堆载预压的粘弹塑性有限元分析

考虑土的粘滞性，采用粘弹塑性构模型，较系统地介绍利用有限元处理真空联合堆载预压力加固基的数值方法，通过对一工程实例的数值计算，分析固结和流变的结合作用对地基变形的影响，并对工后沉降进行了预测，结果表明，在软基变计算中考虑土体流变是必要的和重要的，它可对加固效果进行更为准确和全面的评价。