基于变异模型的CTCS-3级列控系统测试用例自动生成方法研究

本文提出一种基于变异模型的CTCS-3级列控系统测试用例自动生成方法。根据列控系统需求规范,建立它的SMV（Symbolic Model Verifier）模型,对此模型进行变异,将变异之后的模型输入到模型检验器SMV中,利用模型检验生成反例的技术,自动生成测试用例,提高了测试用例的生成效率。并以CTCS-3级列控系统的无线闭塞中心（RBC）切换场景为例,验证了该方法的有效性。     

输气站场管道振动原因分析

输气站场管道异常振动会造成管系疲劳失效,给安全生产造成巨大的隐患。文中从振源方面将管道振动分为机械导致的振动和流体导致的振动,并对其进行原因分析。研究表明:机械导致的振动通常为转动设备本体设计不合理或安装质量问题导致的振动传递给管道;流体导致的振动通常是管内气流脉动引起的气柱共振或机械共振。利用研究结果对某输气站场管道振动原因进行分析,发现是气流脉动产生的机械共振所导致,建议在设计天然气站场工艺时要尽量避免流场的剧烈、频繁变化,以减少或避免流致振动。     

上海通用别克新凯越家族新宠

想当年，“十万元小别克”——赛欧，成为当时异常抢手的家用轿车；五年间，后起之秀——凯越，将称霸国内车市的“老三样”取而代之；现如今，传承家族基因、全面升级的新凯越，在“十万元家轿”领域将再创新高!     

千锤百炼真豪杰 东南三菱 戈蓝

Galant(戈蓝),源自法文,意为潇洒、华丽,兼有千锤百炼之意。虽然在国内戈蓝一直走着简约低调路线,但在国际车坛,它绝对是位响当当的人物,至今全球销量已突破500万大关。     

一种估计水中目标辐射噪声线谱的方法

线谱是水中目标辐射噪声中重要的特征信息,在被动声呐系统中,线谱提取是水中目标识别的关键技术.文章简述了水中目标辐射噪声的物理成因和频谱特征,利用经典谱估计法与现代谱估计法在短时序列谱估计中的特点,结合仿真试验的结果,提出了一种对水中目标辐射噪声低频段线谱估计的联合分析法,并用该方法对2艘实船噪声进行了谱分析.实验结果表明,该方法对低频段的线谱特征提取有较好的实用效果.     

轻型柴油车燃用纯生物柴油排放试验研究

为了研究生物柴油的排放情况,在一辆装用直列四缸、水冷、高压共轨、增压中冷柴油机的多用途货车上进行排放对比试验,分析柴油车燃用生物柴油和0 #柴油的排放特性.结果表明,与柴油相比,生物柴油的CO、HC排放明显降低,NOx排放明显增加,颗粒物排放显著降低.     

川流不息

张先生自述： 一直对两厢车情有独钟，特别喜欢凭借小巧的车身在车流中穿行的感觉。即将毕业，家里终于同意给我买车了，争取了6年才如愿以偿，真是不容易。我心目中的车，首先要有优异的操控性，外形也要有特点，同时还要有不错的安全性，其他就无所谓了。     

禁不住的诱惑

在国人的传统观念中，有头有尾才是一辆标准的汽车，这就是所谓的“三厢情结”。随着时代的变迁，人们的观念也在不断改变，时尚、便利的两厢车逐渐被认可与接受，甚至已成为一种时尚。今天要介绍这位，就是禁不住两厢车的诱惑，从“三厢情结”中逃窜出来的。     

水下偏振光导航技术

基于对海洋下行光场辐射率分布及其经海水散射所产生的水下光场偏振特性的分析,提出了1种利用水下散射光场光振动方向进行导航的方法.该方法通过测量水下运载器相对海面的深度、首向与左舷方向水下光场光振动方向和海水的光学属性来实现.与地球重力匹配导航和地磁匹配导航相比,由于不依赖高精度、高空间分辨率的地球物理场数据,因而易于实现...     

模拟电子电路课程教学方法刍议

模拟电子电路作为计算机、电子与通信工程、电子信息与科学技术等专业的重要技术基础课,它的教学工作显得非常重要。本文从模拟电子电路课程的特点出发,结合多年教学经验及学生的思维特点,集中、详尽地阐述了模拟电子电路教学中的几个关键问题。