国家高技术研究发展计划(2009AA11Z221)
- 作品数：27 被引量：132H指数：7
- 相关作者：王剑上官伟蔡伯根唐涛严细辉更多>>
- 相关机构：北京交通大学中华人民共和国铁道部西安铁路职业技术学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点实验室开放基金更多>>
- 相关领域：交通运输工程自动化与计算机技术电子电信天文地球更多>>
- UML建模技术在轨道交通CTCS-3级列车控制系统测试案例生成中的应用被引量：4
- 2012年
- 针对CTCS-3级列车控制系统测试案例的特点和生成过程,提出了UML建模技术在测试案例生成中的应用。说明了利用这种方法生成测试案例的优势,介绍了生成测试案例的总体思路。测试案例的生成分为两步,即功能特征的提取和基于UML建模的测试案例生成。从UML的静态建模分析和动态建模分析两个方面阐述了具体实现过程,并举例说明了UML建模技术在测试案例生成过程中的应用。
- 王倩倩张勇
- 关键词：轨道交通统一建模语言列车控制系统
- GPS微弱信号捕获跟踪算法被引量：4
- 2010年
- 在GPS微弱信号捕获算法设计中,为提高捕获灵敏度,采用相干积分与非相干积分结合的方式消除数据码长度对相干积分增益的影响,采用差分相干积分减小非相干积分中的平方衰耗。为了提高信号捕获速度和精度,利用FFT工具进行伪码与载波频率捕获,采用延迟锁定环(DLL)与锁相环(PLL)实现GPS微弱信号的跟踪。最后对GPS微弱信号的捕获跟踪算法进行仿真实现。应用结果表明:通过仿真技术能有效地复现出捕获和跟踪载噪比为25dB.Hz-1的GPS微弱信号,差分相干积分捕获灵敏度比相干-非相干积分高0.8dB,频率捕获误差小于1.25Hz,码捕获误差小于0.1码元。
- 上官伟王晶晶蔡伯根王剑梁前浩
- 关键词：信息工程载波跟踪
- CTCS-2级与CTCS-3级列控系统兼容性仿真研究被引量：4
- 2010年
- CTCS-2级和CTCS-3级列控系统的兼容性问题包括应答器设置、级间切换、降级过程和临时限速的传达执行。本文重点研究了CTCS-2级列控系统和CTCS-3级列控系统应答器设置和降级切换过程。并利用HLA建立了兼容性测试模型,使用数据驱动的方法设计了兼容性测试案例。
- 郭丽娜王俊峰
- 关键词：列控系统兼容性仿真数据驱动
- 列控车载系统仿真测试环境研究被引量：2
- 2011年
- 为实现对列控系统车载应用软件的测试,搭建了仿真测试环境,环境由仿真运行环境和外围仿真环境构成。针对仿真运行环境实现时需要解决的问题,提出了解决方案。依据车载系统外围环境的功能和接口特点,完成外围仿真环境的设计和实现。通过所建立的仿真测试环境,已完成车载应用软件基本功能的测试工作,为下一步系统集成测试奠定了基础。
- 吴建伟袁磊唐涛
- 关键词：仿真测试环境
- 多端口形式化测试自动生成方法在CTCS-3车载系统中的应用被引量：10
- 2011年
- 针对CTCS-3列控系统测试中普遍存在的需要多个端口协同测试的问题,在时间输入输出自动机(TIOA)的基础上,提出端口标记的时间输入输出自动机(LpTIOA)。LpTIOA除在模型中能够反映系统的时间约束特性外,还能反映系统输入输出行为对应的端口信息,利用这些信息对基于覆盖度的搜索算法进行相应改进,形成包含端口信息的测试自动生成算法,用于生成满足给定覆盖度标准的测试套。文中还描述了运用UP-PAAL工具对LpTIOA模型实现建模的方法,并运用COVER工具实现对经过UPPAAL验证的CTCS-3级车载系统LpTIOA模型的测试套自动生成。
- 赵显琼唐涛
- 关键词：CTCS时间自动机车载系统UPPAALCOVER
- 基于多分辨率建模的CTCS-3级列控系统仿真支撑技术被引量：3
- 2010年
- 列车运行控制系统是一个实时分布式的复杂系统,针对不同的应用目的和系统生命周期的不同阶段、不同的人员对列车、车载设备、地面设备、车-地信息交互过程等的侧重点和细节层次的不同,论述了基于多分辨率建模的仿真支撑技术及应用.系统论述了基于多分辨率的建模理论和方法、分布式仿真中聚合解聚问题和多分辨率模型并发运行时的解决方案,解决不同分辨率模型并发时的耦合一致性问题.设计基于HLA的分布式、交互式仿真体系结构,研究基于不同等级多分辨率的仿真支撑技术.
- 蔡伯根上官伟李小琴王剑
- 关键词：多分辨率建模HLA分布交互式仿真CTCS-3
- 低成本列车运行控制系统专用数据库及定位匹配算法被引量：2
- 2010年
- 系统研究了列车运行控制系统的专用数据库,构建了数据库的数据模型与数学拓扑模型,根据铁路运输的特点,给出铁路轨道定位领域的自适应定位匹配算法,将铁路轨道分为直线和曲线两个部分,采用基于移动距离窗的定位匹配算法实现了实时、精确和快速的定位匹配.在北京局三家店调车场进行了实验,证明本文研究的专用数据库在列车定位领域具有重要的实用价值.
- 上官伟王剑蔡伯根刘江
- 关键词：列车运行控制系统专用数据库
- 无线闭塞中心测试案例生成方法被引量：2
- 2011年
- 应用基于功能特征的测试案例生成方法,研究了无线闭塞中心的功能结构,提取了无线闭塞中心的功能特征,得到了无线闭塞中心的功能特征列表。针对无线闭塞中心的每个功能特征,编制了测试案例,将测试案例串联成电子化的测试序列。根据中国高速铁路列车运行控制系统的规范和要求,构建了无线闭塞中心的仿真测试平台,编写了试验步骤和XML程序文件。在无线闭塞中心测试平台上,测试了包含注册与启动、行车许可、停车与注销、通信网络故障、RBC切换5个运行功能的3个测试序列。测试结果表明:在常温常压下,列车速度低于350 km.h-1且仅有一趟列车运行的条件下,无线闭塞中心可不间断工作至少90 min,功能正常。可见,方法有效。
- 苟晨曦蔡伯根唐涛上官伟
- 关键词：高速列车无线闭塞中心
- 基于故障注入的CTCS-3级列控系统可靠性评估技术研究被引量：3
- 2010年
- CTCS-3级列车运行控制系统的可靠性是保证列车安全高效运行的必要条件,因此,在列车控制系统仿真系统上进行各种测试验证试验至关重要。故障注入技术(Fault Injection)是将系统的有效故障模式样本注入到系统中,以此评价系统的功能设计水平,是系统测试性、安全性以及功能验证研究的重要研究基础。根据CTCS-3级列车控制系统的运行特点和软件故障注入的优势,提出将软件故障注入方法应用在列控系统仿真领域进行可靠性验证,设计并实现了一种软件故障注入系统,给出其中的故障案例描述语言、故障库和故障注入软件算法,构建了软件故障注入系统的总体结构和各部分的详细功能结构。通过仿真结果可以看出,软件故障注入方法应用在CTCS-3级仿真系统中,可以有效地模拟故障并执行注入,进一步提高仿真系统的可靠性和容错性。
- 上官伟苟晨曦蔡伯根王剑王海龙
- 关键词：可靠性评估CTCS-3级列控系统
- 基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法被引量：3
- 2010年
- 提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述;然后,根据相应的算法得出测试序列及测试集;再将得到的测试序列及测试集根据规则转换成TTCN-3语言描述的测试序列和测试集;最后在基于TTCN-3测试平台中对被测实体进行测试。
- 赵显琼李开成唐涛袁磊
- 关键词：列车运行控制系统
