CTCS－3级列控系统测试案例生成方法的研究

CTCS-3级列控系统是保障铁路行车安全、提高运输效率的重要设备,上道运用前必须在实验室和现场分别进行功能测试,建立CTCS-3级列控系统测试案例库对CTCS-3级列控系统的功能测试具有非常重要的意义。分析了系统需求规范、功能特征和测试案例之间的关系,研究了从系统需求规范和总体技术方案提取功能特征的方法和测试案例的生成方法。     

CTCS-2级列控车载设备现场测试序列辅助生成工具

为解决人工编制现场测试序列工作量大、效率低下的问题,设计与开发了CTCS-2级列车运行控制(简称:列控)车载设备现场测试序列辅助生成工具.给出了现场测试序列的设计原则,并分析提出了功能需求.根据功能需求,将软件结构划分为列控基础数据管理、图形界面绘制、测试案例数据管理、测试案例执行距离计算、测试序列生成和测试序列数据管...     

基于AdmiTest的CTCS-3级列控系统自动测试平台

根据CTCS-3级列控系统的特点,结合欧洲列车运行控制系统(ETCS)测试经验,研发基于通用测试平台AdmiTest的CTCS-3级列控系统自动测试平台CARSTool.CARSTool采用激励—反馈机制实现单系统或多系统的闭环测试,包含测试对象、仿真系统、链路、消息、激励、响应和测试序列等基本元素,具有线路工程数据配置、通信链路配置、站场线路配置、PI Object、仿真系统、列车运行仿真和自动测试序列7个功能模块.以郑西客运专线列控数据为例,采用CARSTool对CTCS-3级列控系统进行仿真测试.测试结果表明:通过规范化语法严格卡控测试步骤,根据CTCS-3级列控系统测试案例库以及激励—反馈信息判断测试项目的执行状态,CARSTool实现了测试计划、执行过程和测试结果的闭环处理;说明CARSTool能够实现CTCS-3级列控系统的自动测试.     

中国铁道科学研究院2016年度科技成果简介(续二)

10 CTCS-3级自主化ATP车载设备和RBC测试大纲 为了对通号设计院、铁科院及北京和利时公司研发的自主化CTCS-3级ATP和RBC设备进行测试,依据《CTCS-3级列控系统总体技术方案》和《CTCS-3级列控系统测试案例》等相关技术规范,制定了《CTCS-3级自主化ATP和RBC测试大纲》（简称测试大纲）。     

基于路径优化算法的测试序列自动生成及验证

随着中国铁路运行控制系统的高速发展,列控系统行为功能的正确性与安全性成为业内关注的焦点,本文提出一套完整的测试案例与测试序列自动化生成的方法。制定与系统CPN模型、测试序列相关的定义;利用本文提出的全路径覆盖优化算法和序列优选算法生成XML测试序列;以CTCS-3级列控系统下RBC的切换为例,自动生成测试案例与测试序列,并在RBC测试平台上进行验证。结果表明:本文提出的测试生成方法可实现测试的自动化,针对RBC切换场景生成的测试序列重复度降低了75%,完全覆盖《CTCS-3级列控系统功能需求规范》中的相关内容。     

基于CRCCTst的CTCS-3级列控系统测试方法研究

依据CTCS-3级列控系统技术规范,研究基于CRCCTst的CTCS-3级列控系统测试方法。以《CTCS-3级列控车载设备补充技术规范(暂行)》为例,选取部分功能需求为依据,以ATP车载设备为被测对象,编写符合规范场景的测试案例并运行测试序列,对被测设备进行测试,验证了基于CRCCTst的CTCS-3级列控系统测试方法的可用性。     

自主化CTCS-3级列控系统车载设备测试方法研究

以自主化CTCS-3级列控系统车载设备为研究对象,基于自主化车载设备仿真测试环境,对系统测试过程中的测试案例、测试序列及测试脚本的设计方法进行研究,并结合具体实例对测试场景进行介绍。采用该系统测试方法已完成对自主化CTCS-3级列控车载多轮全功能系统的测试,可提高自主化车载设备现场应用的安全性和可靠性。     

基于专家系统的测试案例自动分析研究

文章设计了测试案例自动分析专家系统，通过提取测试案例和测试序列特征，研究了专家系统的核心—规则库和推理机制，实现CTCS-3级列车运行控制系统测试案例的自动分析。同时，提出将测试序列转换为XML脚本，设计测试序列XML脚本的关键标记符，便于计算机自动解析；采用二分搜索算法查找车载数据中测试序列及测试案例的数据段，以此提高专家系统分析效率。结果表明:使用文中描述的结构和方法，可提高测试案例自动分析的效率和准确性。     

简谈CTCS-3级列控车载设备测试序列的生成方法和原则

随着国内对CTCS-3级列控系统的深入研究,对相关的安全产品的测试方法提出更高的要求。探讨适用于CTCS-3级列控车载设备功能测试的测试序列的生成方法和原则,为提高测试效率和实现自动化测试奠定基础。     

CTCS-2级与CTCS-3级列控系统兼容性仿真研究

CTCS-2级和CTCS-3级列控系统的兼容性问题包括应答器设置、级问切换、降级过程和临时限速的传迟执行.本文重点研究了CTCS-2级列控系统和CTCS-3级列控系统应答器设置和降级切换过程.并利用HLA建立了兼容性测试模型,使用数据驱动的方法设计了兼容性测试案例.     

铁路救援指挥系统中IDSS的构建方法研究

提出基于案例推理技术、粗糙集技术、相似度量理论与专家知识相结合的铁路救援指挥系统(RCS)中智能决策的构建方法。在构建铁路事故救援指挥系统时,以铁路事故救援案例为基础,建立基于粗糙集理论的案例索引推理机制,有效地进行知识约简并从中发现规律,对于新案例通过相似度量理论实现相似范例的检索,同时结合专家知识和救援规则得出最终的事故紧急救援方案。通过模拟试验表明,该智能决策方法优于传统的基于规则的救援指挥方法。同时展望了在理论模型不完备、领域知识不完全、主要依靠经验知识的铁路事故救援指挥系统构建中的应用价值。     

一种新的基于区域的图像相似性计算

为克服基于内容的图像检索(CBIR)技术中低层视觉特征无法准确地描述高层语义的问题,近年来提出的基于区域的图像检索(RBIR)技术是一种行之有效的方法。在基于区域的图像检索中,图像之间的相似性度量是影响检索结果的关键技术之一。本文提出一种新的基于区域的图像相似性的计算方法,该方法首先对图像进行区域分割,然后采用有别于传统距离度量的非线性高斯距离度量方法来计算区域对之间的相似性,实验表明该距离度量具有更好的度量性能。为了更好地接近于人对图像的理解,减小语义鸿沟,本文提出应用模糊集合理论表达区域对之间匹配的不确定性,在此基础上实现图像之间的相似性度量。最后在Corel自然图像库上对本文提出的算法进行了实验,分别与SIMPLIcity系统的IRM和UFM方法进行了比较,结果表明了本文算法的高效性。     

网络环境下基于Jena的规则推理方法研究

分析本体、本体描述语言、Jena推理机制,研究并实现基于本体推理过程的方法.对RDF本体模型的推理是重点.RDF以三元组模型描述网络资源.首先利用知识本体对应用领域建立语义模型,得到领域相关的知识结构,然后添加领域资源的RDF描述.领域知识结构和RDF描述结合在一起形成知识库,再根据RDF蕴涵规则进行有限形式的推理.建立了旅馆、饭店领域的RDF模型,并藉此模型进行推理.     

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

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

CTCS-3级列控系统车载设备测试序列优化生成方法

根据车载设备功能测试的需求,研究基于中国邮路算法优化生成CTC3-3级列控系统车载设备测试序列的方法.在分析测试序列构造方法的基础上,将测试序列的优化生成问题转换为求解1个具有多重弧的有向图的中国邮路问题.针对测试序列的特点,利用Edmonds-Johnson算法和LINGO建模工具对中国邮路问题进行求解,即通过构造容...     

动车组故障知识库的研究与设计

动车组的在途紧急故障处理受到地域、时间和人员配备的约束,目前在国内缺少相应的系统为之提供支持.本文介绍知识、知识表示、知识发现等技术,研究、设计动车组故障知识库,通过知识库强大的推理功能,为动车组故障处理提供技术支持.     

铁路线路单元质量管理信息系统框架探讨

铁路行业的高速发展向铁路线路管理提出了更高要求,亟需信息系统辅助管理。通过研究分析国内外铁路线路信息管理系统现状,明确线路单元优化划分和养护维修计划优化制定是系统的发展方向。依据公路单元划分的方法,探讨铁路轨道单元划分的原则和方式,研究"秩和检验法"划分线路单元的具体步骤,总结轨道单元划分管理的实际应用效果。参考国外铁路线路信息管理系统的框架搭建形式,结合单元管理思想探讨系统各模块功能,搭建线路检测、单元划分、计划制定、实施效果反馈的连续性管理框架,并在计划管理模块中采用案例推理技术(CBR),设计两次推理过程,建立检测数据与对策源案例的联系,优化养护维修计划制定方法,为铁路线路的管理提供决策支持。     

高速铁路电务设备故障应急处理案例知识库的构建

针对高速铁路电务设备故障应急处理案例(简称:电务应急案例)知识组织、共享和再利用不足等问题,将本体知识引入应急案例知识的管理中,分析了应急案例知识表示元组,构建应急案例知识元本体模型、应急案例知识库模型,以及应急案例库和规则库,并以某次铁路交通事故为例,进行电务应急案例知识的推理及实际应用。研究结果表明,构建的高速铁路电务应急案例本体知识库可较好地进行知识组织和自动推理,提升了应急案例知识的共享和应用效率。