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

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

CBTC半实物仿真平台接口互联互通方案的研究

本文提出一种基于分布式的接口互联互通解决方案,在实验室环境下成功搭建了一套融合不同供应商设备的CBTC最小系统,实现半实物仿真平台的搭建,满足各项性能指标要求。     

基于小波变换的神经模糊系统的一种非线性滤波方法

针对信号中含有复杂噪声难以滤除的问题,提出了一种把自适应神经模糊推理系统(ANFIS)与小波变换相结合的方法,该方法通过ANFIS具有万能逼近原理,及小波变换中小波的分解与重构,来调整适当的阈值来达到最终滤波的效果。仿真结果表明对于一个含有复杂噪声的信号而言,此种结合的方法与单独利用ANFIS或小波变换相比,滤波效果更佳。而且对实际中含有未知噪声的去除问题提出了一种可行的方法。     

基于低影响开发的城市道路优化设计研究

针对城市因不透水铺装面积过大引起的排水能力不足、城市内涝等问题,根据海绵城市具体建设要求,依托低影响开发理论,对城市道路进行优化设计,以探索适用的低影响开发设计方案.以浙江绍兴某试点区为例,从道路雨水系统、道路排水与雨水衔接系统及道路路面排水系统3个方面,研究了低影响开发优化设计理论,并在此基础上对道路横断面、纵断面以...     

浅析沥青混凝土路面的高温稳定性

沥青路面在施工使用过程中表现的诸多优点,但是在后期使用过程中,沥青路面最为突出的病害就是因高温低频而带来的车辙病害.文章经过详细的调研,分别从车辙的类型、形成过程、影响因素入手对车辙进行详细的介绍,并根据室内试验和现场施工经验提出了有效提升沥青混凝土路面车辙的防治措施,为受车辙病害困扰的沥青路面铺筑提供借鉴.     

依发汽车技术服务中心和零件寄售中心在天津开业

本刊讯根据中国机械进出口总公司与德意志民主共和国有关企业签订在中国天津建立依发汽车技术服务中心及零件寄售中心的协议,中国汽车工业公司责成所属天津进口汽车配件公司组建上述两个中心,日前已完成组建工作,在6月14日正式开业。参加揭幕典礼的有专程来津的德意志民主共和国运输机械进出口公司副总经理福斯特     

有关道桥无损检测技术的应用及对策分析

随着工程数量的增加,道路桥梁的施工工程也不断广泛,目前无损检测技术开始在道桥的检测中进行了使用,不过在应用的过程中还是存在着一些问题,本文结合无损检测技术的优势与在应用过程中的存在     

水泥砼路面严重破损路段加铺处治技术的实践

阐述了国内外水泥砼路面加铺处治方法，并对各类加铺层技术进行了分析、论述。同时通过湖南省１０７国道水泥砼路面的加铺处治实践，介绍了采用的三幅分离式钢筋砼加铺层的施工方案、技术要点和使用效果。     

车身涂装工艺缺陷分析与控制

汽车制造商一般都很看重车身涂装品质,从油漆的选型到油漆的施工品质,都要进行化验检测和分析,以保证车身有较好的防腐性能和漂亮的外观.然而,车身的涂装外在影响因素较多,没有一个无外界污染的环境,涂装的外观品质很难达到理想的状态.