曲线箱梁桥有限元分析方法

文章通过计算分析，并与模型试验结果比较，对曲线箱梁桥有限元的计算方法、网格划分粗细对计算结果的影响进行探讨：空间板壳有限元是一种精确的计算方法，空间梁格法也具有较高的精度。     

反潜探测概率计算

本文首先利用特卡洛模拟程序建立了两种计算探测概率的数学模型，经过回归分析和计算，进而得到描述随机运动目标的探测概率的解析式。     

丁苯胶乳添加设备的改进设计

丁苯胶乳添加设备的改进设计南京市公路管理处刘军吴家和随着公路运输向重交通（交通密度大、车辆轴载重、荷载作用间歇时间短以及高车速）方面发展，对铺筑高等级公路沥青路面所使用的沥青，提出了更高的要求，即具有抵抗高温变形和低温裂缝性能。国产沥青难以达到这些要...     

沥青混凝土质量的生产控制—太祁高速公路路面工程体会

从原材料进场控制，生产设备的选择，拌合站生产控制以及沥青混凝土的运输等作了较详细介绍。     

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

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