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

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

半潜船运输钻井平台可行性的分析方法及应用

介绍钻井平台运输市场的情况和半潜船作业的过程 ,探讨半潜船运输钻井平台可行性分析的过程和内容 ,介绍并评价可行性分析用到的遭遇风浪数据库IMDSS、切片法等技术。计算实例证明 ,利用波浪预报和切片理论相结合分析运输可行性的方法 ,可以得到满足工程需要的分析结果。     

集装箱生成量可拓聚类预测

分析了集装箱生成量可拓聚类预测的建模机制，构建出可拓聚类预测的物元模型，并用该模型对集装箱生成量进行了区间预测。     

几种常见形式的等效阶梯截面

针对许多平面杆系桥梁分析软件仅提供梯形分块法的截面尺寸输入方式和截面几何特性已知或者有解析表达式的带有曲边的截面不便直接使用梯形分块法的问题，利用桥梁结构平面计算中截面等效的概念．提出了等效算法，构造了节线数不多于6的等效阶梯截面，推导了等效阶梯截面几何要素的一般计算公式．给出了圆形、圆环等几种常用截面形式的不多于6条节线等效阶梯截面尺寸计算的具体而又简捷的公式。     

用弦线支距加密缓和曲线的方法

介绍用弦线支距法实施缓和曲线加密桩的计算、论证、操作方法、使用效果等技术.     

用层次分析法对弧形钢闸门主框架可靠性评估

基于可靠性原理，对弧形钢闸门主框架结构的失效模式进行了分析，确定了弧门主框架体系可靠性分析模型，对弧形钢闸门主框架结构荷载及抗力作了统计分析，得到了它们的基本统计参数。     

采用双钓鱼法吊装侯家沟大桥箱梁

根据侯家沟大桥特殊的地形状况，选用最合理、最经济的吊装方案，进行大桥的箱梁吊装。     

信息动态

全国万车死亡率首次降至个位数，何谓“新口径”，北京55项实事，缓解交通拥堵是重头，北京加快交通信息化进程与智能化建设，北京电子警察一年逮住百万次违法车，北京将制订差别化停车收费政策……