基于UML2.0活动图的车载设备测试用例生成方法研究

重点研究基于UML2.0活动图的CTCS-2级车载设备测试用例生成方法.介绍车载设备的构成和功能,对活动图进行形式化定义,阐述测试用例的设计,包括车载设备活动图建模规则、测试用例的形式化定义、测试覆盖准则的定义、基于深度优先搜索并且带回溯的遍历算法的测试场景生成,以及测试用例的生成算法,最后实现了测试用例生成.     

列车控制仿真测试平台中模拟临时限速服务器研究

本文以列车控制中心为测试对象,研究了临时限速服务器仿真系统的软件结构,采用手动或者自动方式对列车控制中心报文选择功能进行验证.提出了基于参数化分界点的测试用例生成方法,实现了用例逻辑和车站数据的分离,能够大幅度提高测试效率.该系统应用于高速铁路CTCS-2级车站列车控制中心的软件仿真测试中,取得了良好的效果.     

基于SCADE模型的车载ATP测试用例生成方法

车载ATP是保证列车安全运行的关键列控设备。为满足其苛刻的安全要求,实际应用之前需要对其进行全面严格的测试。传统的编写测试用例的方法过分依赖人工经验,耗时耗力,且测试质量难以保证。提出一种基于SCADE模型自动生成车载ATP测试用例的方法。首先,利用SCADE对车载ATP系统进行建模,并针对安全状态机模型生成满足全迁移覆盖准则的测试用例;再根据MC/DC覆盖准则生成测试数据,将抽象的测试用例转化为可直接用于测试的具体测试用例集;最后,通过变异分析对生成的测试用例进行评估。结果表明,测试用例具有良好的覆盖度,优于传统人工方法。     

UML建模技术在轨道交通CTCS-3级列车控利系统测试案例生成中的应用

针对CTCS-3级列车控制系统测试案例的特点和生成过程,提出了UML建模技术在测试案例生成中的应用.说明了利用这种方法生成测试案例的优势,介绍了生成测试案例的总体思路.测试案例的生成分为两步,即功能特征的提取和基于UML建模的测试案例生成.从UML的静态建模分析和动态建模分析两个方面阐述了具体实现过程,并举例说明了UM...     

基于需求建模的联锁软件自动化测试技术的研究与实现

基于需求的测试是软件测试的本质.通过采用线性关系抽取技术的需求建模方法,设计出一种以需求驱动生成测试用例,并结合相应的软件测试平台,完成其自动执行的测试技术.该技术能够对联锁软件中逻辑关系比较复杂的需求进行整理和化简,并能够以最小数目的测试用例实现最大化功能覆盖率的自动化测试.     

一种全覆盖的列控车载系统测试用例自动生成算法研究

列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,对车载系统模式转换的规范建立DRB-TE自动机网络模型,并指出车载系统模型的非确定性会导致模式转换测试用例不能达到全覆盖。针对该问题设计一种能够满足全状态、全变迁覆盖准则测试用例的生成算法,利用实时系统测试用例自动生成工具CoVer生成模式转换测试用例套,从而实现自动生成覆盖全部车载模式转换规范的测试用例,同时提高了测试用例的生成效率和重用性。     

一种基于场景的CTCS-3列车控制系统建模方法研究

对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为自动机网模型的方法。首先将场景的UML顺序图自动转化为子系统的子自动机模型,然后通过合并不同场景的子自动机模型,得到子系统的组元自动机模型,最后通过对通信通道的建模得到系统的自动机网模型。使用本方法,基于系统的UML顺序图模型可以自动生成系统的自动机网模型。     

基于IRM-COM的列车运行控制系统测试用例生成方法

为验证高速铁路列车运行控制系统在多个故障发生时的安全性,针对系统故障降级场景,提出一种基于初始约简矩阵—组合遗漏矩阵(IRM-COM)测试用例生成算法的故障组合注入方法。首先对故障类型进行矩阵形式化描述,然后形成故障注入组合测试表初始矩阵,最后生成测试用例表。仿真结果表明,该组合测试的故障检测率比随机测试和自适应随机测试平均高10.2%,而且测试用例个数比自动高效测试用例生成器(AETG)和基于矩阵重复度的组合测试(CTboMRD)平均少13.4%,验证了所提算法具有更强的约简能力,提高了测试效率。     

基于LKJ软件测试用例自动生成的技术研究

为解决列车运行监控装置(LKJ)自动化测试中测试用例编辑和维护困难的问题,利用关键信息抽象和图形建模等方法对LKJ软件测试用例自动生成技术进行研究。通过对测试用例进行模块划分、参数设计和程序流程图方式建模,实现测试用例的批量生成。该技术已在LKJ-15S的自动化仿真测试系统中得到应用,经验证,可以提高测试用例编写效率并缩减约90%的冗余用例。     

基于UML状态图的列控中心软件测试路径生成方法

针对列控中心测试，介绍了基于UML状态图的列控中心测试路径生成方法。根据列控中心需求规范建立UML状态图模型；采用改进的深度优先搜索算法（DFS）自动搜索有向图得到从初始节点到终止节点的所有路径集合，利用贪心算法构造超串合并测试需求；利用路径集合扩展测试需求集合，最终实现测试路径自动生成；以列控中心改变区间运行方向功能为例，给出测试路径生成方法实现。     

基于贝叶斯网络的驼峰超速连挂事故分析

针对驼峰超速连挂事故进行分析。分析对事故有重要影响的线路、调速设备和车辆等因素,考虑到贝叶斯网络能较好解决不确定性问题以及可以双向推理的特点,建立驼峰超速连挂事故树,并将其转化成贝叶斯网络,计算顶上事件的发生概率以及基本事件的后验概率。结果表明,超速连挂事故的主要影响因素为线路纵断面、调速设备制动能力以及新型重载车辆三方面。进一步考虑新型重载车辆的共因失效问题,建立贝叶斯共因失效混合网络,计算并分析新型重载车辆对超速连挂事故的影响程度以及对既有驼峰的适应性。     

基于轮廓特征拐点的遮挡车辆分离方法研究

遮挡是智能交通系统中车辆检测、跟踪和识别时较难解决的问题之一.本文主要针对智能交通系统中车辆之间的遮挡,以车辆常用的矩形模板为先验知识,首先对存在车辆遮挡的连通区域提取边缘轮廓,然后获取轮廓上的4类特征拐点,最后采用本文提出的基于轮廓特征拐点的车辆分离算法,将相互遮挡的车辆分离开来,便于后续对车辆的跟踪、匹配等处理.实验结果表明,本文提出的算法具有有效性、可行性和良好的应用前景.     

电力机车防寒设计探讨

分析我国高寒地区机车的运用状况,指出电力机车在低温环境下所面临的问题,并从机车的低温试验、关键部件、相关材料以及防寒加热等方面,提出电力机车防寒设计的技术措施。     

桥上无砟轨道结构形式对无缝道岔的影响分析

介绍桥上无缝道岔轨下基础“门”形筋混凝土道床、带限凸台道床板、底座纵连式道岔板5种无砟轨道结构。建立桥上3种无砟轨道结构的无缝道岔模型,提出计算参数,分析3种无砟轨道结构对桥上无缝道岔受力和变形影响,并进行计算。计算结果表明,桥上底座纵连式无砟轨道结构无缝道岔与桥梁的纵向相互作用力较小,是一种受力较为合理的结构形式。     

隧道地质超前预报方法的探讨和研究

研究目的:通过隧道地质超前预报,掌握掌子面前方地质信息,为施工单位优化施工方案、安全科学施工、提高施工效率、缩短施工周期等提供依据,为预防隧道塌方、突水、突泥、突气等可能形成的灾害性等事故及时提供信息,具有重大的社会效益和经济效益。研究方法:本文以作者在八盘岭隧道和长梁山隧道地质超前预报的亲身经历为背景,着重介绍了隧道地质超前预报在我国铁路、公路、城市轨道交通等工程的长大隧道施工中的重要作用和研究的重大意义。研究结果:本文系统地分析和归纳总结了隧道地质超前预报的前期准备工作、地质超前预报目的及内容、预报的各种方法、预报成果的输出形式和方式、预报时间安排和过程、探讨和研究的结论等,侧重介绍了地质超前预报的各种方法。研究结论:地质超前预报是隧道施工的一个重要环节,应纳入施工工序,可以指导施工,为隧道施工提供科学依据。     

隧道围岩渗流和衬砌水压力荷载

从地下水的渗流作用出发,对作用于隧道衬砌的水压力荷载的计算进行了讨论,并得出以下几个结论：一是在采用全封堵防水衬砌的情况下,无论围岩的渗透系数多小,都必须考虑同地下水位相应的水压力荷载。二是只有透水的衬砌（或设置排导系统）才能考虑水压力折减系数。水压力折减系数的量值主要取决于衬砌渗透系数同地层渗透系数之比。三是对于高水头的深埋隧道,为避免量值较大的水压力,应设置排导系统,不宜采用全封堵衬砌结构。要采用围岩注浆来控制地下水的排放流量。     

我国铁路客车空调研究领域急需引入人工神经网络

分析了我国铁路客车空调存在的问题和人工神经网络（ANN）在系统仿真、负荷预测、能量管理、故障诊断、系统辨识控制等方面的优势，综述了ANN在暖通空调（HVAC）中的应用及发展状况，阐述了我国铁路客车空调研究领域引入ANN的必要性和紧迫性。     

基于LabVIEW的音频水印系统的设计

采用LabVIEW软件.实现在音频信号中嵌入文本信息水印,实现既有嵌入程序又有提取程序的完整音须水印系统.其嵌入水印的能量大,隐蔽性较好,具有一定的实用价值.     

北京地铁车站导向标识系统调查分析

阐明地铁车站导向标识系统设计的重要性,设置的内容、形式和位置应规范统一,体现人性化理念。阐述地铁车站导向标识系统设计的原则,通过实地调研。分析北京地铁换乘站导向标识系统的设计现状问题;结合国外地铁标识系统的设置原则,对我国地铁车站标识系统设计提出参考建议。     

基于能量原理的弹性地基梁底面摩阻效应分析

针对Winkler地基模型不能考虑梁与地基底面摩阻效应的不足,在地基与梁底接触面上引入一系列各自独立的水平弹簧,假定弹簧反力即切向摩阻力与梁底和地基间的切向相对位移成正比,从能量角度出发,基于最小势能原理,建立考虑底面摩阻效应的弹性地基梁能量方程,并引入位移形函数进行求解,导出对称载荷条件下考虑切向摩阻力作用时地基梁位移及内力解答。最后通过地基梁计算实例分析,验证该解答的正确性和合理性,并对相关计算参数进行深入探讨。计算结果表明:切向摩阻力沿梁长呈非线性分布,其对地基梁挠度及弯矩计算的影响较大,而对剪力的影响并不强烈。