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

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

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

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

配合工务成组更换60kgAT型复式交分道岔的注意事项

根据现场施工中发现的问题，提出对配合工务成组更换60kgAT型复式交分道岔须注意的事项。     

舰载作战指挥系统软件构件库技术研究(续三):检索和管理

软件构件的检索和管理是软件构件库技术的两个必要方面。重点分析了舰载作战指挥系统软件构件库的检索技术，包括基于关键词的软件构件检索、基于刻面的软件构件检索以及软件构件全文检索。     

一宗货物赔偿案例评析

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

自动变速器油(ATF)及其检查更换

现在越来越多的轿车采用了自动变速器,它的内部构造非常精密,通常主要是由液力变矩器、离合器、油道和油泵等零件组成.而自动变速器油(Automatic Transmission Fluid)简称ATF,一种特殊的专用于自动变速器的高级润滑油,具有冷却、润滑和清洁等作用.ATF对自动变速器的工作、使用性能以及使用寿命等都有非常重要的影响.可以说,自动变速器保养的主要内容就是对ATF的检查和更换.如果疏于保养的话,最终会导致自动变速器出现油温过高、换档困难、打滑、烧蚀摩擦片等一系列故障.     

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

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

舰载文电处理系统构件化设计与实现

针对当前舰载文电系统开发效率低、灵活性和健壮性较差的问题，提出一种基于CORBA的舰载文电系统构件化设计与实现方法，分析和比较采用此方法所实现的新型文电系统的特点。     

爱车送修须留意

现在，汽车渐渐地进入了家庭，汽车修理行业也兴旺发达起来，但是在去修理厂修理爱车的时候应注意什么呢?相信这篇文章会对您大有帮助。