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

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

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

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

瑞风Ⅱ2．4MT

瑞风-Ⅱ在外形设计上，改用更大的发动机进气栅，两侧头灯采用越野车式的粗犷大灯。由于定位于中端市场，内装上瑞风-Ⅱ不及高档MPV的高级感，车厢的色调以黑色、灰色为主。第二排的独立座位相对较宽大，可第三排座椅要比前面稍微局促一些，但尚不会感到拥挤。     

一宗货物赔偿案例评析

达成共识的事实及观点陈述 2004年10月31日，一家土耳其公司Ekinciler Dis TicaretAS的2626捆，重达5244．42868吨的热卷曲可变型加固铁条在土耳其Iskenderun港被装载于Ebn AlWaleed轮上，欲运抵加拿大Sorel港，并在那里交付、卸载货物。     

高浓度有机废水强化预处理试验研究

以可生化性差的高浓度有机废水为研究对象，提出了在预处理的基础上进行强化混凝和强化吸附的强化预处理的方法和对应的工艺流程，通过静态和动态试验，高浓度有机废水强化预处理后降低生物处理负荷，CODCx降低约80%，可生化性提高约0.35。     

内河船员培训考试科目有待精简

目前，内河三等和四等船舶(小型船舶)船员的培训考试科目设置与内河一等、二等船舶(大型船舶或较大型船舶)船员完全一样，存在着严重的不合理性。     

控制小型船舶变形的一些方法

船舶结构的变形,不仅对结构强度有不良影响,而且会造成实际线型与理论形状不符,改变船舶吃水,增加船体阻力,影响船舶性能等等.此外,还将使船体装配工作复杂化,并大大增加船体矫形的工作量.     

浅谈小型海运公司的安全管理

就小型海运公司管理方面的安全现状寻找其主要原因，再从解释分析《ISM规则》、《NSM规则》入于提出如何加强小型海运公司的安全管理。     

聚丙烯成形顶内衬的开发

轿车车厢内的顶内衬大致可分为吊顶内衬和成形内衬两种。目前前者在重量和成本方面较占优势,但后者装配简单并可在形状上设计出多种结构,见表1。最近由丰田公司研制并装在“花冠”、“短跑家”轿车上的新型成形顶内衬,其材料和成形工艺,不     

汽车内饰材料一瞥

汽车内饰件一般是指轿车车厢的隔板、门内装饰、仪表板总成、扶手、地毯等零部件和材料。虽然只是一些辅助性的零配件，但它们要承担起减震、隔热、吸音和遮音等功能，对轿车的乘坐舒适性起着十分重要的作用。相对于汽车上的其它部件而言，尽管内饰件对车辆的运行性能没有什么影响，但由于其真面目一览无遗，代表了整部车子的形象，孰优孰劣，不仅决定着……