朱晓琳
- 作品数：4 被引量：27H指数：3
- 供职机构：中国铁道科学研究院通信信号研究所更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家重点基础研究发展计划更多>>
- 相关领域：交通运输工程更多>>
- 基于CTCS-3级列控系统ISDN服务器的设计与实现
- 2016年
- ISDN服务器是RBC系统的重要组成部分,负责管理从物理层到传输层的链路连接建立和释放,以及可靠的、透明的数据传输,并且完成与GSM-R无线网络、RBC通信机以及维护终端之间设备数据交互。提出了一种基于CTCS-3级列车运行控制系统的ISDN服务器实现方案,描述了系统软硬件设计、通信时序等关键技术的原理和实现。
- 朱晓琳
- 关键词：CTCS-3级列控系统
- 基于现场数据统计的计算机联锁设备寿命分析被引量：9
- 2018年
- 计算机联锁系统是铁路信号的核心技术装备,满足其系统可靠性要求的设备寿命一直是人们关注的焦点。为计算设备寿命,针对某型计算机联锁设备的故障数据及站场维护数据进行筛选、匹配和分析,并根据各部件的有效故障数据预测失效分布函数;采用故障树分析方法,对涉及联锁设备可靠性的安全部件构建故障树,分析系统子事件的失效组合,找到最小割集;根据有效故障数据确定各硬件设备进入损耗故障期的时间,并采用相关系数优化法计算各威布尔分布的系数,进而对该型机算计联锁系统的可靠性及预期寿命进行计算和分析。
- 张放梁志国朱晓琳齐志华
- 关键词：计算机联锁故障树威布尔分布
- 基于模型的CTCS-3级列控系统测试案例自动生成方法被引量：15
- 2015年
- 为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process,HCSP)形式化模型和时间自动机(timed automaton,TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场景的时序模型,分析了列控系统运营场景规范中时序功能的正确性;在时序模型的基础上,设计了满足全状态、全变迁和自定义-使用3种领域无关覆盖准则的列控系统测试案例自动生成算法,并以RBC(radio block center,RBC)切换场景为例,生成了100%全状态、全变迁和自定义-使用覆盖准则的测试案例套.从测试套数量、测试时间和内存消耗3个方面分析测试案例的生成效率表明:自定义-使用覆盖准则的测试案例套测试时间和内存消耗最小,分别为0.02 s和9.4 MB,本文方法提高列控系统测试案例生成效率最大达30%.
- 吕继东朱晓琳李开成唐涛王海峰
- 关键词：列控系统TA测试套
- 基于UPPAAL-TRON的高速铁路列控系统非确定性时延一致性测试研究被引量：6
- 2016年
- 高速铁路列车运行控制系统是一个典型的实时系统,如何保证列控系统在时延约束条件下功能实现的正确性至关重要。传统的离线测试方法已广泛用于列控系统功能一致性测试中,然而,随着系统复杂度的提高,物理环境中时延的非确定性制约传统离线测试方法的应用。本文引入"在线测试"的概念,利用时间自动机理论对典型场景车载设备的RBC切换过程建模,并定义可观测消息通道将该模型划分为环境和设备两部分,从而借助工具UPPAAL-TRON"边生成边执行"测试用例,找出了在非确定性时延下,仿真RBC测试模型与测试需求中不一致的地方。并通过改进测试模型中RBC处理占用参数的设置,实现对RBC切换过程中跨界传递联锁消息时延非确定性的一致性测试。
- 吕继东朱晓琳王海峰李开成唐涛
- 关键词：列控系统
