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

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

JLC—1型接触网巡检车拉出值超限复检装置

文章分析了在接触网设备的状态修中，接触网巡检车对接触网拉出值测量误差超限的原因。提出了在动态检测中提高检测精度的措施。     

模糊神经网络在摆式列车作动系统故障诊断中的应用

针对摆式列车倾摆作动系统故障所具有的模糊性，提出了一种基于模糊神经网络的故障诊断方法，将模糊理论与神经网络融合在一起，实现了对故障的模糊诊断，给出了模糊神经网络的结构，该网络由两部分组成，前一部分为模糊量化部分，后一部分为神经网络部分，根据输入特征量的实际情况，确定了各模糊子集上的隶属度函数，提出了一种阈值向量故障判别方法，使故障判别更具灵活性和合理性，根据相关文献构造了倾摆作动系统的构造判别表，形成故障诊断理论样本。以摆式列车倾摆作作动系统对象，就倾摆作动系统中几种典型的故障模式，有用模糊神经网络方法作了识别，仿真结果表明，该方法是行之有效的，为在摆式列车实车倾摆作系统故障诊断中的应用提供了理论依据。     

彰显个性缔造完美——力之星LZX125-18II

喜爱摩托车的人心中都有一辆属于自己的车,特别是现在各种新技术,新车型的出现,让我们有了许多选择的余地,但当我们看过,听过更多以后,反而无法抉择,都希望有一辆完美的车出现。如果你对国产车没有偏见的话,它也可以说称得上完美了,这就是宗申集团旗下的高端品     

国外核测井技术的发展状况

本文通过对近十年来国外核测井技术的状况和发展趋势的追踪,简要地介绍了几种我所有研发可能的测井仪器,以期能够为我所核测井仪器的研发提供一些参考。     

彩色的面包改装长安之星

年轻的武先生平日里对待自己的爱车总是呵护有加。洗车、打蜡、做保养几乎事事亲历亲为。一款长安之星，街头巷尾车流中再平民不过的家用车型，经过他精心设计与改装后，出游时俨然成了“驴友”们品评的焦点话题。