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

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

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

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

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

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

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

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

IGCT及其门极驱动电路研究

IGCT作为一种新型大功率半导体开关器件,吸取了GTO和IGBT的优点,但其驱动则需要借助配套的门极驱动电路板才能实现.介绍了IGCT的基本工作原理,并根据驱动电路的要求分析设计原理,对1 100 A/4 500V逆导IGCT集成门极驱动电路的设计方法进行了具体分析和研究,实验结果验证了设计方法的可行性和正确性.     

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

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

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

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

GTO门控电路

ＧＴＯ门控电路对ＧＴＯ的关断能力，工作频率、可靠性等影响极大，本文分析了ＧＴＯ关断过程的及其波形，提出了主要的门控电路参数，并对国内外若干重要的典型门控电路作了简要的说明。     

本刊专题特写助力海岛镇盼桥梦圆——新会大鳌特大桥建设如火如荼

全桥桩基已完成200多根，两岸引桥软基治理全面开始，新浇灌的系梁和立柱有如雨后春笋……新会大鳌特大桥建设正如火如荼。据新会区交通局的有关负责人告诉笔者，到明年底，大鳌特大桥便可建成通车，届时，大鳌镇人世世代代与水相隔、靠摆渡过河的历史将结束，大