检索结果-维普期刊中文期刊服务平台

CTCS-3级列控系统等级转换场景功能安全分析被引量：2: 1; 作者盛昭君米根锁《控制工程》 CSCD 北大核心 2019年第2期336-342,共7页; 针对CTCS-3级列控系统等级转换场景的混成性,以CTCS-3级列控系统需求规范为研究依据,选取系统生命周期的需求阶段,研究了等级转换场景的功能安全性。首先,基于UML扩展机制,建立了等级转换场景的HybridUML模型,实现了等级转换场景的混成... 展开更多; 关键词 ctcs-3级列控系统等级转换场景 HYBRID UML PHAVer 功能安全分析; 在线阅读下载PDF 职称材料

高速铁路CTCS-3级列控系统等级转换工程应用研究被引量：8: 2; 作者丁一《铁道标准设计》北大核心 2021年第6期134-138,共5页; 高速铁路CTCS-3列车运行控制系统等级转换是工程设计及系统集成的重要内容之一。列控系统等级转换在地面系统中设置等级转换点,由车载设备完成等级转换。等级转换位置受线路长度、转换点处速度、临时限速、分相区设置等多种因素限制,在... 展开更多; 关键词高速铁路 ctcs-3级列控系统等级转换工程设计系统集成工程应用研究; 在线阅读下载PDF 职称材料

CTCS-1级列控系统等级转换场景建模与验证被引量：2: 3; 作者王颖卓刘中田《计算机工程与应用》 CSCD 北大核心 2019年第18期256-262,共7页; 随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转换的顺利进行是实现列车安全跨线运营的基础。通过系统功能分析,建立了系统多分辨率功能模型,以识别等级... 展开更多; 关键词 ctcs-1级列控系统等级转换场景 NuSMV模型模型验证; 在线阅读下载PDF 职称材料

基于TAIO变异的CTCS-3列控系统测试案例生成方法被引量：8: 4; 作者魏柏全吕继东 +2 位作者陈柯行唐涛王唯《西南交通大学学报》 EI CSCD 北大核心 2020年第5期937-945,962,共10页; 为了研究高覆盖已知故障集的中国列车运行控制系统三级(CTCS-3)测试案例生成方法,提出了一种基于输入输出时间自动机(TAIO)变异分析的测试案例生成方法.结合列控系统模式转换的故障特点,设计了包含模式转换已知故障的8种变异算子(改变... 展开更多; 关键词 ctcs-3级列控系统输入输出时间自动机(TAIO) 变异分析模式转换测试案例; 在线阅读下载PDF 职称材料

高铁联络线不利条件下CTCS3-CTCS2等级转换方案研究被引量：7: 5; 作者卢佩玲郝韬徐强《铁道标准设计》北大核心 2022年第12期137-142,共6页; CTCS3-CTCS2等级转换是高速铁路列车运行控制系统的重要运营场景之一,在联络线长度过短或联络线存在大号码道岔等不利线路条件下设置CTCS3-CTCS2等级转换点时,由于在部分进路及临时限速场景下CTCS3系统与CTCS2系统计算控车模式曲线的逻... 展开更多; 关键词高速铁路列控系统等级转换 ctcs-3 ctcs-2 临时限速大号码道岔控车模式曲线; 在线阅读下载PDF 职称材料

题名CTCS-3级列控系统等级转换场景功能安全分析被引量：2: 1; 作者盛昭君米根锁; 机构兰州交通大学自动化与电气工程学院; 出处《控制工程》 CSCD 北大核心 2019年第2期336-342,共7页; 基金甘肃省自然科学基金项目(1310RJZA046); 文摘针对CTCS-3级列控系统等级转换场景的混成性,以CTCS-3级列控系统需求规范为研究依据,选取系统生命周期的需求阶段,研究了等级转换场景的功能安全性。首先,基于UML扩展机制,建立了等级转换场景的HybridUML模型,实现了等级转换场景的混成性描述;进而依据CTCS-3级列控系统需求规范,总结等级转换场景的功能需求,根据UML到PHAVer的转换规则,构建了PHAVer模型并验证了该模型的正确性;其次,通过分析等级转换过程,找出各相关设备可能的功能模块失效情况,采用功能模块失效描述符号(Function Failure Description Notation,FFDN)建立了等级转换场景的故障模型,并将PHAVer模型和故障模型整合,获得了包含故障的PHAVer模型;最后,运用PHAVer分析出导致等级转换场景功能需求不能满足时的功能模块失效情况,实现了等级转换场景的功能安全分析。; 关键词 ctcs-3级列控系统等级转换场景 HYBRID UML PHAVer 功能安全分析; Keywords Level transition process of ctcs-3 system Hybrid UML PHAVer function safety analysis; 分类号 U283.2 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名高速铁路CTCS-3级列控系统等级转换工程应用研究被引量：8: 2; 作者丁一; 机构中铁第一勘察设计院集团有限公司; 出处《铁道标准设计》北大核心 2021年第6期134-138,共5页; 基金陕西省科技统筹创新工程计划项目(2015KTZDGY01-04)。; 文摘高速铁路CTCS-3列车运行控制系统等级转换是工程设计及系统集成的重要内容之一。列控系统等级转换在地面系统中设置等级转换点,由车载设备完成等级转换。等级转换位置受线路长度、转换点处速度、临时限速、分相区设置等多种因素限制,在工程应用中,地面系统需结合车载设备的控制逻辑进行综合分析。如果等级转换预告点或执行点设置不当,可能会导致列车降速运行,或者导致列车越过等级转换点时触发制动而停车。系统分析CTCS-3级列控系统等级转换的原理,尤其对车载设备在CTCS-2级、CTCS-3级控车曲线存在速度差的情况进行分析。对CTCS-3级列控系统等级转换在正线区间、大号码道岔以及并列车场等工程中的应用方案进行总结,对设置等级转换应答器的距离要求进行归纳及量化,涵盖了常见的工程应用场景。; 关键词高速铁路 ctcs-3级列控系统等级转换工程设计系统集成工程应用研究; Keywords high-speed railway ctcs-3 level train control system level transition engineering design system integration engineering application research; 分类号 U238 [交通运输工程—道路与铁道工程] U284 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名CTCS-1级列控系统等级转换场景建模与验证被引量：2: 3; 作者王颖卓刘中田; 机构北京交通大学电子信息工程学院; 出处《计算机工程与应用》 CSCD 北大核心 2019年第18期256-262,共7页; 基金中央高校基本科研业务费专项资金（No.2017JBM009）; 文摘随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转换的顺利进行是实现列车安全跨线运营的基础。通过系统功能分析,建立了系统多分辨率功能模型,以识别等级转换场景需求;根据场景需求,结合现行系统规范,完善了CTCS-1级系统等级转换场景的方案;采用基于UML的NuSMV建模与验证方法,建立了等级转换场景的UML模型和NuSMV模型,并验证了场景模型的活性、确定性等属性,从而证明了完善后的场景方案满足场景需求,且符合系统规范。文中对CTCS-1级系统等级转换场景的探讨可为相关规范的修订提供支持。; 关键词 ctcs-1级列控系统等级转换场景 NuSMV模型模型验证; Keywords ctcs-1 train control system scenario of level transition NuSMV model verification; 分类号 U284.48 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名基于TAIO变异的CTCS-3列控系统测试案例生成方法被引量：8: 4; 作者魏柏全吕继东陈柯行唐涛王唯; 机构北京交通大学轨道交通运行控制系统国家工程研究中心北京交通大学轨道交通控制与安全国家重点实验室; 出处《西南交通大学学报》 EI CSCD 北大核心 2020年第5期937-945,962,共10页; 基金国家重点研发计划(2018YFB1201500) 中国铁路总公司科技研究开发计划课题(N2018G064) 中国工程院咨询研究项目(18-HN-ZD-03)。; 文摘为了研究高覆盖已知故障集的中国列车运行控制系统三级(CTCS-3)测试案例生成方法,提出了一种基于输入输出时间自动机(TAIO)变异分析的测试案例生成方法.结合列控系统模式转换的故障特点,设计了包含模式转换已知故障的8种变异算子(改变行为、改变目标位置、改变源位置等),形成了15106个变异体;利用输入输出一致性关系(tioco)和k-Bounded模型检验方法生成了10843个测试案例;应用一致性关系分数(CRS)、平均一致性关系分数(ACRS)和加权一致性关系分数(WCRS)进行了故障覆盖度的分析.研究结果表明:该方法设计和生成的测试案例能够有效覆盖改变行为、改变不变量和增加sink位置3种故障模式,而对于约束取反和复位取反的故障模式覆盖度不高,需通过额外的观测信息来检测故障.; 关键词 ctcs-3级列控系统输入输出时间自动机(TAIO) 变异分析模式转换测试案例; Keywords ctcs-3 train control system timed automata with input and output(TAIO) mutation analysis mode conversion test suite; 分类号 U284 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名高铁联络线不利条件下CTCS3-CTCS2等级转换方案研究被引量：7: 5; 作者卢佩玲郝韬徐强; 机构中国铁道科学研究院集团有限公司通信信号研究所; 出处《铁道标准设计》北大核心 2022年第12期137-142,共6页; 基金国家自然科学基金-高铁联合基金项目(U1734211)。; 文摘 CTCS3-CTCS2等级转换是高速铁路列车运行控制系统的重要运营场景之一,在联络线长度过短或联络线存在大号码道岔等不利线路条件下设置CTCS3-CTCS2等级转换点时,由于在部分进路及临时限速场景下CTCS3系统与CTCS2系统计算控车模式曲线的逻辑存在差异,如果CTCS3-CTCS2等级转换预告点和执行点的位置设置不合理,可能导致列车在等级转换时产生超速制动的风险。对等级转换过程中车载计算控车模式曲线的差异、CTCS3系统与CTCS2系统控车逻辑的差异性进行分析;结合实际线路探讨列车在CTCS3-CTCS2等级转换中可能存在的问题,对选用线路中不同位置的应答器作为等级转换预告点或执行点的方式进行综合分析和测试,提出了解决方案;并通过理论分析及多种车型的仿真试验验证了方案的可行性,对CTCS3-CTCS2等级转换预告点及执行点的设置要求进行归纳和总结。; 关键词高速铁路列控系统等级转换 ctcs-3 ctcs-2 临时限速大号码道岔控车模式曲线; Keywords high-speed railway train operation control system level transition ctcs-3 CTCS2 temporary speed restriction large-size switch train control mode curve; 分类号 U284 [交通运输工程—交通信息工程及控制] U238 [交通运输工程—道路与铁道工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	CTCS-3级列控系统等级转换场景功能安全分析	盛昭君米根锁	《控制工程》 CSCD 北大核心	2019	2	在线阅读下载PDF 职称材料
2	高速铁路CTCS-3级列控系统等级转换工程应用研究	丁一	《铁道标准设计》北大核心	2021	8	在线阅读下载PDF 职称材料
3	CTCS-1级列控系统等级转换场景建模与验证	王颖卓刘中田	《计算机工程与应用》 CSCD 北大核心	2019	2	在线阅读下载PDF 职称材料
4	基于TAIO变异的CTCS-3列控系统测试案例生成方法	魏柏全吕继东陈柯行唐涛王唯	《西南交通大学学报》 EI CSCD 北大核心	2020	8	在线阅读下载PDF 职称材料
5	高铁联络线不利条件下CTCS3-CTCS2等级转换方案研究	卢佩玲郝韬徐强	《铁道标准设计》北大核心	2022	7	在线阅读下载PDF 职称材料