面向高铁信号系统工程测试的测试建模方法

高铁信号系统工程测试关注系统中各设备间的复杂行为关系和状态同步,工程测试的测试建模方法缺少复杂行为交互和同步机制,针对此问题,提出基于扩展有限状态机的高铁信号系统工程测试建模方法和测试用例生成方法.首先,分析高铁信号系统工程测试的特点,提出复杂事件交互和状态同步的测试建模需求,以有限状态机理论为基础,扩展出状态事件和层次性,满足信号系统工程测试中复杂行为关系和状态同步的建模需求,采用Z规格说明语言给出扩展有限状态机的形式化定义,定义扩展有限状态机的格局和同步机制;然后,提出将扩展有限状态机转化为时间自动机的算法,利用时间自动机的测试用例生成算法自动生成高铁信号系统工程测试的测试用例;最后,以高铁信号系统工程测试中的进路控制为例,建立扩展有限状态机模型并生成测试用例,通过变异分析对生成的测试用例进行评估.结果表明:测试用例在检测状态变异和事件表达式变异时的变异评分均为1,具有良好的覆盖度,能够满足高铁信号系统工程测试的需求.

TMS320F2812在全数字开关电源中的应用

总结了电力电子领域数字控制的发展历程,并对现状和前景提出了分析。目前对于数字控制的研究主要集中在两个方面,其一是产生DPWM的方法,以满足输出电压精确度的要求;其二是能够充分利用数字控制优点的控制算法,以提高系统的稳态和动态特性。另外还简要介绍了TMS320F28x系列DSP的主要性能参数和控制资源,给出了全数字控制的原理图、系统电磁兼容的处理和软件编程,并对PID算法进行了数学描述。

临时限速服务器安全通信协议研究

临时限速服务器(TSRS)是中国列车运行控制系统(CTCS)重要组成部分,针对TSRS相关的安全通信协议进行分析,围绕TSRS安全通信协议的结构、功能及其安全性进行论述。TSRS设备在与外部设备接口间采用的RSSP-Ⅱ铁路信号安全通信协议可有效提高数据传输的安全性,为整个系统提供最基础的安全保障。

矢量控制中死区补偿的仿真研究

感应电机矢量控制中逆变器死区时间的存在,对于电机控制系统影响比较大。本文采用软件方法进行死区补偿,通过仿真来验证该补偿的正确性。

尽头式车站列控技术方案

按照尽头式车站的站场情况和靠标停车要求,根据动车组列车的制动特性、CTCS-2级列控系统技术规范和列控车载设备技术规格,研究提出了尽头式车站列控技术方案和采取的技术措施,对控车效果、安全性进行了分析,通过实验室仿真测试和实际工程实践验证了方案的可行性。

基于改进引力搜索算法的高铁信号系统测试案例生成方法研究

为满足高铁信号系统抽象测试案例实例化为具体测试案例的需求,研究高铁信号系统测试案例生成流程,分析抽象测试案例转化为具体测试案例过程中,实例化取值和测试成本的优化需求;采用有限状态机描述信号系统的测试需求并生成抽象测试案例,针对抽象测试案例的实例化取值和测试成本,提出基于引力搜索算法的高铁信号系统测试案例生成方法;针对引力搜索算法易早熟的问题,提出最优保存策略及末位淘汰机制,以提高算法的搜索能力;以高铁信号系统中的等级转换功能为例生成测试案例。测试结果表明:改进的引力搜索算法搜索结果更优,生成的具体测试案例能够满足高铁信号系统抽象测试案例实例化的要求。