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

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

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

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

基于UPPAAL的高铁列控系统等级转换过程建模与验证被引量：10: 4; 作者康仁伟王俊峰吕继东《北京交通大学学报》 CAS CSCD 北大核心 2012年第6期63-67,73,共6页; 为了满足铁路线路互联互通以及设备故障之后列车降级运行的需求,列车在运行过程中需要进行等级转换.等级转换过程中,车载设备未正常接收转换预告点、转换执行点应答器的信息,或者列车速度未降至线路允许速度以下等因素,可能导致等级转... 展开更多; 关键词 ctcs-2 ctcs-3等级转换时间自动机 UPPAAL 安全性; 在线阅读下载PDF 职称材料

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

CTCS-3级列控车载设备高速适应性关键技术被引量：24: 6; 作者黄卫中季学胜 +2 位作者刘岭李开成牛道恒《中国铁道科学》 EI CAS CSCD 北大核心 2010年第3期87-92,共6页; 从CTCS-3级列控系统工程建设角度出发,对包括基于多路速度传感器数据融合的测速测距策略、列车制动模型及CTCS-3/CTCS-2级动态转换机制等CTCS-3级列控车载设备高速适应性关键技术进行研究。根据不同类型测速传感器的特点,采用车轮速度... 展开更多; 关键词列控车载设备制动模型测速测距 ctcs-3/ctcs-2级动态转换; 在线阅读下载PDF 职称材料

基于FMEA与ELECTRE-Ⅲ的CTCS-3风险评估研究被引量：4: 7; 作者牟能冶邱忠权《中国安全科学学报》 CAS CSCD 北大核心 2018年第4期163-168,共6页; 为提升中国列车运行控制系统-3（CTCS-3）的可靠性,建立一个种新的基于失效模式与影响分析（FMEA）与消去与转换法-Ⅲ（ELECTRE-Ⅲ）的风险评估模型。首先利用直觉模糊数（IFNs）刻画不确定评估信息,利用ELECTRE-Ⅲ构造不同潜在失效模式... 展开更多; 关键词中国列车运行控制系统-3(ctcs-3) 失效模式与影响分析(FMEA) 直觉模糊数(IFNs) 消去与转换法-Ⅲ(ELECTRE-Ⅲ) 潜在失效模式(PFMs); 在线阅读下载PDF 职称材料

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

题名高速铁路CTCS-3级列控系统等级转换工程应用研究被引量：8: 1; 作者丁一; 机构中铁第一勘察设计院集团有限公司; 出处《铁道标准设计》北大核心 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-3级列控系统等级转换场景功能安全分析被引量：2: 2; 作者盛昭君米根锁; 机构兰州交通大学自动化与电气工程学院; 出处《控制工程》 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 职称材料

题名高铁联络线不利条件下CTCS3-CTCS2等级转换方案研究被引量：8: 3; 作者卢佩玲郝韬徐强; 机构中国铁道科学研究院集团有限公司通信信号研究所; 出处《铁道标准设计》北大核心 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 职称材料

题名基于UPPAAL的高铁列控系统等级转换过程建模与验证被引量：10: 4; 作者康仁伟王俊峰吕继东; 机构北京交通大学轨道交通控制与安全国家重点实验室北京交通大学轨道交通运行控制系统国家工程研究中心; 出处《北京交通大学学报》 CAS CSCD 北大核心 2012年第6期63-67,73,共6页; 基金轨道交通控制与安全国家重点实验室自主课题重点项目资助(RCS2011ZZ001) 轨道交通控制与安全国家重点实验室开放课题项目资助(RCS2011K010) +1 种基金 2012JBZ014); 文摘为了满足铁路线路互联互通以及设备故障之后列车降级运行的需求,列车在运行过程中需要进行等级转换.等级转换过程中,车载设备未正常接收转换预告点、转换执行点应答器的信息,或者列车速度未降至线路允许速度以下等因素,可能导致等级转换不成功,因此有必要通过形式化建模对转换过程分析和验证.本文提出了一种基于UPPAAL的等级转换过程建模与验证方法.采用时间自动机理论建立了CTCS-2/CTCS-3等级转换过程的时间自动机网络模型,应用UPPAAL验证工具对等级转换过程进行仿真分析,验证了等级转换过程的安全性,并对现有技术规范提出了改进意见.; 关键词 ctcs-2 ctcs-3等级转换时间自动机 UPPAAL 安全性; Keywords level transition between ctcs-2 and ctcs-3 timed automata UPPAAL safety; 分类号 U283.45 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名CTCS-1级列控系统等级转换场景建模与验证被引量：2: 5; 作者王颖卓刘中田; 机构北京交通大学电子信息工程学院; 出处《计算机工程与应用》 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 职称材料

题名CTCS-3级列控车载设备高速适应性关键技术被引量：24: 6; 作者黄卫中季学胜刘岭李开成牛道恒; 机构北京全路通信信号研究设计院铁道部C 铁道部科学技术司北京交通大学电子信息工程学院; 出处《中国铁道科学》 EI CAS CSCD 北大核心 2010年第3期87-92,共6页; 基金国家科技支撑计划项目(2009BAG12A08); 文摘从CTCS-3级列控系统工程建设角度出发,对包括基于多路速度传感器数据融合的测速测距策略、列车制动模型及CTCS-3/CTCS-2级动态转换机制等CTCS-3级列控车载设备高速适应性关键技术进行研究。根据不同类型测速传感器的特点,采用车轮速度传感器与雷达相结合的方式实现列车速度的安全测量,并运用联合卡尔曼滤波理论提出基于多路传感器数据融合的测速测距算法策略。结合列车移动体的控制特点,在国际铁路联盟UIC 544—1标准的基础上,提出1种改进的分段式减速度计算的列车制动模型,可兼顾行车安全和效率。针对列车运营模式的兼容性与可靠性,采用兼容CTCS-3级和CTCS-2级的双模冗余设计,使CTCS-3级列控车载设备同时具有CTCS-3级控车功能和CTCS-2级控车功能,并通过输入信息共享和等级转换时信息交换等技术手段,实现CTCS-3/CTCS-2级之间的平滑动态转换。研究成果已在武广高速铁路上实施,满足了列车高速安全运行的要求,并提高了等级转换时的列车运行效率和旅客舒适度。; 关键词列控车载设备制动模型测速测距 ctcs-3/ctcs-2级动态转换; Keywords Train control onboard equipment Braking model Speed/distance measurement ctcs-3/ctcs-2 dynamic transition; 分类号 U266.291.1 [机械工程—车辆工程] U283.4 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名基于FMEA与ELECTRE-Ⅲ的CTCS-3风险评估研究被引量：4: 7; 作者牟能冶邱忠权; 机构西南交通大学交通运输与物流学院; 出处《中国安全科学学报》 CAS CSCD 北大核心 2018年第4期163-168,共6页; 基金国家哲学社会科学基金资助(12CJL056) 中央高校基本科研业务费百人计划项目(2012X03262) +1 种基金成都市科技项目(2015S26013) 四川省软科学项目(17RKX0582); 文摘为提升中国列车运行控制系统-3（CTCS-3）的可靠性,建立一个种新的基于失效模式与影响分析（FMEA）与消去与转换法-Ⅲ（ELECTRE-Ⅲ）的风险评估模型。首先利用直觉模糊数（IFNs）刻画不确定评估信息,利用ELECTRE-Ⅲ构造不同潜在失效模式（PFMs）间的级别高于关系,进而将PFMs的风险水平排序;然后进行案例分析,并与传统FMEA方法、加权平均集结算子、多准则妥协解排序法（VIKOR）、逼近理想解排序法（TOPSIS）等方法对比。结果表明：基于FMEA与ELECTRE-Ⅲ的CTCS-3的安全评估模型的稳健性较强,并能有效克服指标间异质性的影响。; 关键词中国列车运行控制系统-3(ctcs-3) 失效模式与影响分析(FMEA) 直觉模糊数(IFNs) 消去与转换法-Ⅲ(ELECTRE-Ⅲ) 潜在失效模式(PFMs); Keywords Chinese train control system-3 （ctcs-3） failure mode and effects analysis （FMEA） intuitionistic fuzzy numbers （IFNs） elimination and choice expressing reality-III（ELECTRE-III） potential failure modes （PFMs）; 分类号 X913.4 [环境科学与工程—安全科学]; 在线阅读下载PDF 职称材料

题名基于TAIO变异的CTCS-3列控系统测试案例生成方法被引量：8: 8; 作者魏柏全吕继东陈柯行唐涛王唯; 机构北京交通大学轨道交通运行控制系统国家工程研究中心北京交通大学轨道交通控制与安全国家重点实验室; 出处《西南交通大学学报》 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 职称材料

	题名	作者	出处	发文年	被引量	操作
1	高速铁路CTCS-3级列控系统等级转换工程应用研究	丁一	《铁道标准设计》北大核心	2021	8	在线阅读下载PDF 职称材料
2	CTCS-3级列控系统等级转换场景功能安全分析	盛昭君米根锁	《控制工程》 CSCD 北大核心	2019	2	在线阅读下载PDF 职称材料
3	高铁联络线不利条件下CTCS3-CTCS2等级转换方案研究	卢佩玲郝韬徐强	《铁道标准设计》北大核心	2022	8	在线阅读下载PDF 职称材料
4	基于UPPAAL的高铁列控系统等级转换过程建模与验证	康仁伟王俊峰吕继东	《北京交通大学学报》 CAS CSCD 北大核心	2012	10	在线阅读下载PDF 职称材料
5	CTCS-1级列控系统等级转换场景建模与验证	王颖卓刘中田	《计算机工程与应用》 CSCD 北大核心	2019	2	在线阅读下载PDF 职称材料
6	CTCS-3级列控车载设备高速适应性关键技术	黄卫中季学胜刘岭李开成牛道恒	《中国铁道科学》 EI CAS CSCD 北大核心	2010	24	在线阅读下载PDF 职称材料
7	基于FMEA与ELECTRE-Ⅲ的CTCS-3风险评估研究	牟能冶邱忠权	《中国安全科学学报》 CAS CSCD 北大核心	2018	4	在线阅读下载PDF 职称材料
8	基于TAIO变异的CTCS-3列控系统测试案例生成方法	魏柏全吕继东陈柯行唐涛王唯	《西南交通大学学报》 EI CSCD 北大核心	2020	8	在线阅读下载PDF 职称材料