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

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

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

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

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

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

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

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

公路网规划方案综合评价方法及应用

根据公路网的道路与交通特征参数指标，阐述了评价公路规划方案优劣的新模型，既多对模糊算子的二级综合评价模型，并结合运用ＡＨＰ法来确定评价指标权重。     

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

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

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

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

不等高接触悬挂在同一组软横跨上的处理方案

针对株洲客车站北咽喉第5次提速改造和兼顾浙赣线引入线接触线高度6450mm改造的特殊要求,通过分析比较不等高接触悬挂在软横跨上的处理模式,提出经济合理、高效便捷的处理方案,为今后此类施工提供借鉴。     

一类具有突变率的广义生灭过程的指数遍历

通过比较的办法，给出了一类具有突变率的广义生灭过程指数遍历的一个充分条件，同时也给出了可配称条件下其指数遍历收敛速度的一个下界估计，讨论几个具体例子。