基于动态规划的CTCS-1级列控系统测试序列自动生成方法研究

来源 :北京交通大学 | 被引量 : 7次 | 上传用户:yuanxu52051
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
中国列车运行控制系统1级(Chinese Train Control System level1,简称CTCS-1)是适用于200km/h以下新建及改造线路,采用目标距离连续速度控制模式监控列车安全运行的列控系统,目前正处于研发阶段,需要进行一系列测试以确保设备满足相关技术规范,因此需要编制大量的测试序列来满足测试各种需求。目前所使用的CTCS-1测试序列均由手工编写,工作量大,对编制人员的专业性要求高,效率较低。因此,有必要开展CTCS-1列控系统测试序列计算机辅助生成方法和工具的研究。  北京交通大学前期已对CTCS-3级列控系统测试序列的生成方法进行了大量研究,并开发了CTCS-3级列控系统测试序列辅助生成工具。论文在总结这些研究工作的基础上,根据CTCS-1级列控系统的特点,提出了基于动态规划的CTCS-1列控系统测试序列生成方法和基于专家系统的测试序列合理性验证方法。论文完成的主要工作如下:  (1)分析了CTCS-1测试序列生成过程中需要解决的关键问题,即测试案例的串接顺序和测试地点的选择,由此提出了基于动态规划的测试序列自动生成方法。首先,结合模式转换和测试场景对测试案例之间的距离进行评估,以案例间最短距离为优化目标,采用动态规划算法,求解得到最优的测试案例串接顺序。其次,从多个维度(轨道区段类型、是否有应答器等)对案例与测试地点的差异度进行评估,以最小差异度和作为优化目标,采用动态规划算法,求解得到最优的测试地点。最后,采用查表方式实现测试配合条件的添加。  (2)提出了基于专家系统的CTCS-1测试序列合理性验证方法。首先深入研究CTCS-1级列控系统相关规范,整理相关知识,采用框架表示法描述测试过程中车载设备的状态转换过程(起始状态、结束状态等),采用产生式规则描述规则知识。其次,从测试序列中获取测试步骤、待测案例、站场结构等相关数据并整理为合理性验证过程要求的数据格式(状态转换过程)。最后采用正向推理得到每次状态转换过程的实际结束状态,采用“位与”法比较状态转换过程的实际起始/结束状态是否与期望一致,以此验证测试序列的合理性。  (3)在上述测试序列自动生成方法的基础上,对CTCS-1测试序列生成工具进行整体设计和详细设计,采用Visual Studio2013开发平台以及C#语言完成测试序列生成工具的开发。
其他文献
电力系统分数次谐波检测和小电流接地系统的接地选线问题是困扰电力工作者多年的两个难点问题.解决这两个问题,对于提高电能质量和电力系统安全运行具有非常重要的意义.该文
空中通信节点技术是现代先进飞行器和多军种联合作战中重要的支撑技术之一,其性能的先进程度直接影响着飞行器的综合性能。在当今紧张的国际局势下,必须使先进飞行器实现轻型
为了能够让用户快速地塔建企业级的网站,加快单位信息化建设的步伐,我们开发了此套通用网站生成系统.该系统采用目前国际上公认的CMM规范二级标准来管理系统的设计和实现,使
该文分析了影响高精度数字读出电路实现的各种因素,设计了合理的读出方案,并用高分辨率的模数转换器(ADC)结合通用数字信号处理芯片(DSP)给予实现对单通道的测试结果表明加速
期刊
无线传感器网络是一门新兴技术,是由大量具有感知能力、计算能力和通信能力的微小传感器节点构成的自组织、分布式网络系统。通常,无线传感器网络获取的数据通过GPRS通信方式
该文围绕利用物质对放射性r射线的吸收原理测量航空燃油密度的可行性研究而展开,主要完成了以下工作:●从物质对放射射线的吸收原理入手,在理论上分析了应用该机理测量航空燃
该文作者参与研制的顺序注射分析法自动检测水中COD、氨氮和pH集成仪器实现了对污水水质检测的自动化,具有准确、在线、多参量同时检测的特点.文中介绍了自动检测水中COD、氨
该文在研究匹配追踪分解和小波包理论的基础上,根据地震剖面上不同的频段信号在大地中衰减不同,提出了信号的匹配追踪分解和小波包分解提高高频成份的技术方法.具体的处理方
系统校验管理软件采用可视化的、面对对象的、事件驱动的高级程序设计语言实现,开发过程遵循WINDOWS标准,其基于窗口的图形用户界面(GraphicUserInterface-GUI)为用户提供了