基于UPPAAL的高铁列控系统等级转换过程建模与验证 被引量：10

1

作者 康仁伟 王俊峰 吕继东 《北京交通大学学报》 CAS CSCD 北大核心 2012年第6期63-67,73,共6页

为了满足铁路线路互联互通以及设备故障之后列车降级运行的需求,列车在运行过程中需要进行等级转换.等级转换过程中,车载设备未正常接收转换预告点、转换执行点应答器的信息,或者列车速度未降至线路允许速度以下等因素,可能导致等级转... 为了满足铁路线路互联互通以及设备故障之后列车降级运行的需求,列车在运行过程中需要进行等级转换.等级转换过程中,车载设备未正常接收转换预告点、转换执行点应答器的信息,或者列车速度未降至线路允许速度以下等因素,可能导致等级转换不成功,因此有必要通过形式化建模对转换过程分析和验证.本文提出了一种基于UPPAAL的等级转换过程建模与验证方法.采用时间自动机理论建立了CTCS-2/CTCS-3等级转换过程的时间自动机网络模型,应用UPPAAL验证工具对等级转换过程进行仿真分析,验证了等级转换过程的安全性,并对现有技术规范提出了改进意见. 展开更多

关键词 CTCS-2 CTCS-3等级转换 时间自动机 UPPAAL 安全性

在线阅读 下载PDF 职称材料

车载设备故障导致CTCS等级转换的建模与仿真 被引量：3

2

作者 胡晓辉 王元鹏 +1 位作者 陈永 刘全 《计算机工程与应用》 CSCD 北大核心 2016年第18期208-213,共6页

采用随机Petri网理论对车载故障可能导致列控系统降级的场景和列控系统在不同等级之间发生转换的场景进行了研究,以保证并提高列车运行环境的安全性。在模型中,对可能导致车载设备故障的三种因素:传输错误、越区切换、连接丢失所引发的... 采用随机Petri网理论对车载故障可能导致列控系统降级的场景和列控系统在不同等级之间发生转换的场景进行了研究,以保证并提高列车运行环境的安全性。在模型中,对可能导致车载设备故障的三种因素:传输错误、越区切换、连接丢失所引发的车载设备和备用车载设备均故障所引发降级的场景,进行了建模和分析;并在降级场景发生后,列控设备通过尝试连接GSM-R无线网络升级为CTCS-3级进行了建模和分析。用Time Net4.0平台对模型的正确性进行了仿真,得出了该模型在各种场景发生的概率分布曲线,对CTCS-3降级运行进行了定量与定性分析。 展开更多

关键词 车载设备故障 随机PETRI网 等级转换 建模

在线阅读 下载PDF 职称材料

基于CPN的等级转换场景建模分析 被引量：4

3

作者 王瑞峰 李媛 程金山 《计算机工程与应用》 CSCD 北大核心 2015年第10期266-270,共5页

针对正常情况下CTCS-2级列控系统和CTCS-3级列控系统之间的等级转换,探讨了一种基于有色Petri网模型的系统建模方法。模型中引入非周期消息模型,模拟在GSM-R网络中RBC(无线闭塞中心,Radio Block Centre)与车载设备之间消息的传送过程,... 针对正常情况下CTCS-2级列控系统和CTCS-3级列控系统之间的等级转换,探讨了一种基于有色Petri网模型的系统建模方法。模型中引入非周期消息模型,模拟在GSM-R网络中RBC(无线闭塞中心,Radio Block Centre)与车载设备之间消息的传送过程,并建立基于有色Petri网的等级转换控车场景模型,讨论在不同消息重发时间间隔、不同列车速度对等级转换场景完成成功率的影响。验证了该建模方法的有效性,说明了影响等级转换成功率的因素。 展开更多

关键词 列控系统 无线闭塞中心(RBC) 等级转换场景 有色PETRI网

在线阅读 下载PDF 职称材料

基于MSC与UPPAAL的列控系统等级转换场景形式化验证 被引量：11

4

作者 胡雪莲 陶彩霞 《铁道标准设计》 北大核心 2015年第2期122-127,共6页

等级转换是C3级列控系统的重要场景,是列控系统兼容性的集中体现,转换的成功与否直接关系到列车的运行安全和行车效率。因此,有必要对设计规范中所描述的转换过程进行形式化建模和验证,以保障系统的安全性和实时性。为保证设计规范与所... 等级转换是C3级列控系统的重要场景,是列控系统兼容性的集中体现,转换的成功与否直接关系到列车的运行安全和行车效率。因此,有必要对设计规范中所描述的转换过程进行形式化建模和验证,以保障系统的安全性和实时性。为保证设计规范与所建模型的一致性,采取消息顺序图(MSC)与时间自动机相结合的方式,建立等级转换场景中C2级向C3级转换过程的MSC模型,并将其转换为时间自动机模型。应用UPPAAL对模型的安全性和受限活性进行仿真验证,结果表明设计规范中所描述的转换过程是安全可靠的,可以满足C3级列控系统的兼容性和安全性要求。 展开更多

关键词 CTCS 等级转换 MSC 时间自动机 UPPAAL 建模

在线阅读 下载PDF 职称材料

基于TRSL的RBC等级转换场景研究 被引量：2

5

作者 陈永刚 丁春平 《铁道标准设计》 北大核心 2016年第8期122-129,共8页

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to I... 无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。 展开更多

关键词 列车运行控制系统 RBC等级转换 TRSL 场景切换正确性

在线阅读 下载PDF 职称材料

基于UML和CPN的列控系统等级转换建模与分析 被引量：1

6

作者 朱爱红 宋丽梅 《计算机应用研究》 CSCD 北大核心 2019年第1期140-143,16,共5页

针对列控系统的安全性和实时性要求,基于CTCS-3级列控系统需求规范中等级转换场景建立C2级向C3级转换的UML(统一建模语言)模型和有色Petri网(CPN)模型,分析了影响列车安全运行和行车效率的因素,即转换时长和转换成功率,验证了该建模方... 针对列控系统的安全性和实时性要求,基于CTCS-3级列控系统需求规范中等级转换场景建立C2级向C3级转换的UML(统一建模语言)模型和有色Petri网(CPN)模型,分析了影响列车安全运行和行车效率的因素,即转换时长和转换成功率,验证了该建模方法的有效性。验证结果表明,UML和CPN模型相结合的方法适合于列控系统需求规范的验证。搭建的等级转换模型能够满足系统实时性要求。在保证切换成功率的前提下,列车运行速度与切换时间成反比,速度越高,切换时间越短;列车速度越高,对系统实时性要求也越高。 展开更多

关键词 中国列车控制系统 等级转换 统一建模语言 有色PETRI网 建模

在线阅读 下载PDF 职称材料

特殊跨线场景下的CTCS-3至CTCS-2列控等级转换方法 被引量：3

7

作者 项守宽 《铁道工程学报》 EI 北大核心 2015年第8期91-95,共5页

研究目的:复杂枢纽接轨车站之间的CTCS-3至CTCS-2列控等级转换方案一直是信号设计中的难点,有必要通过列控等级转换原理分析和实际工程案例的总结,提炼出通俗易懂的设计方法,为今后类似场景的工程设计提供参考和借鉴。研究结论:(1)CTCS-... 研究目的:复杂枢纽接轨车站之间的CTCS-3至CTCS-2列控等级转换方案一直是信号设计中的难点,有必要通过列控等级转换原理分析和实际工程案例的总结,提炼出通俗易懂的设计方法,为今后类似场景的工程设计提供参考和借鉴。研究结论:(1)CTCS-3至CTCS-2列控等级转换的基本条件为:YG-3/2应答器组距离出站口应答器组要大于450m,YG-3/2距ZX-3/2之间的距离应大于5s按线路最高允许速度的走行距离,RBC数据配置的范围必须从执行点向远方延伸至少一个常用制动距离;(2)两个CTCS-3级横列式车场在股道位置接轨,且两个车场分别属于两套RBC管辖时,可以在跨场进路上进行CTCS-3至CTCS-2等级转换,在跨场运行之后线路的正线上再进行CTCS-2至CTCS-3等级转换,实现两套RBC之间的切换;(3)当CTCS-3级与CTCS-2级两个横列式车场在股道位置接轨,且具有两条以上的跨场进路时,可以在两条跨场进路上分别进行CTCS-3至CTCS-2等级转换;(4)当CTCS-3级线路与CTCS-2级线路间的联络线长度不满足等级转换基本条件时,可以将CTCS-3至CTCS-2列控等级转换点设于CTCS-2级线路;(5)本研究结论可为跨线信号列控系统的设计提供参考。 展开更多

关键词 信号 列控 等级转换 设计

在线阅读 下载PDF 职称材料

高速铁路CTCS-3级列控系统等级转换工程应用研究 被引量：8

8

作者 丁一 《铁道标准设计》 北大核心 2021年第6期134-138,共5页

高速铁路CTCS-3列车运行控制系统等级转换是工程设计及系统集成的重要内容之一。列控系统等级转换在地面系统中设置等级转换点,由车载设备完成等级转换。等级转换位置受线路长度、转换点处速度、临时限速、分相区设置等多种因素限制,在... 高速铁路CTCS-3列车运行控制系统等级转换是工程设计及系统集成的重要内容之一。列控系统等级转换在地面系统中设置等级转换点,由车载设备完成等级转换。等级转换位置受线路长度、转换点处速度、临时限速、分相区设置等多种因素限制,在工程应用中,地面系统需结合车载设备的控制逻辑进行综合分析。如果等级转换预告点或执行点设置不当,可能会导致列车降速运行,或者导致列车越过等级转换点时触发制动而停车。系统分析CTCS-3级列控系统等级转换的原理,尤其对车载设备在CTCS-2级、CTCS-3级控车曲线存在速度差的情况进行分析。对CTCS-3级列控系统等级转换在正线区间、大号码道岔以及并列车场等工程中的应用方案进行总结,对设置等级转换应答器的距离要求进行归纳及量化,涵盖了常见的工程应用场景。 展开更多

关键词 高速铁路 CTCS-3级列控系统 等级转换 工程设计 系统集成 工程应用研究

在线阅读 下载PDF 职称材料

基于时间自动机的自主化ATP等级转换功能建模与验证 被引量：1

9

作者 叶安君 《城市轨道交通研究》 北大核心 2019年第7期27-32,37,共7页

自主化ATP(列车自动保护)系统在国产化ATP系统的基础上,增加了一些新的功能需求。针对自主化ATP系统安全关键功能的安全性和正确性保障的问题,以自主化ATP系统中典型的C2等级转换C3等级的等级转换功能为研究对象,采用时间自动机形式化... 自主化ATP(列车自动保护)系统在国产化ATP系统的基础上,增加了一些新的功能需求。针对自主化ATP系统安全关键功能的安全性和正确性保障的问题,以自主化ATP系统中典型的C2等级转换C3等级的等级转换功能为研究对象,采用时间自动机形式化地分析等级转换功能的安全性、活性和实时性。研究时间自动机的数学理论基础,分析自主化ATP系统等级转换功能的逻辑和与其他系统的数据交互;采用时间自动机建模方法,从ATP、RBC(无线闭塞中心)和应答器3个方面,建立C2等级转换C3等级的时间自动机模型;研究自主化ATP系统等级转换功能需要满足的安全性、活性和实时性要求,利用UPPAAL软件验证等级转换功能的系统性质。结果表明,自主化ATP系统C2等级转换C3等级功能满足期望的系统需求。 展开更多

关键词 高速铁路 时间自动机 ATP 等级转换 安全性 形式化验证

在线阅读 下载PDF 职称材料

应答器故障导致CTCS等级转换的建模与仿真 被引量：2

10

作者 王元鹏 胡晓辉 +1 位作者 陈永 刘全 《计算机工程与应用》 CSCD 北大核心 2016年第8期234-239,共6页

采用随机Petri网理论,对应答器故障可能导致列控系统降级的场景和列控系统在不同等级之间发生转换的场景进行了研究,以保证并提高列车运行环境的安全性。在模型中,对可能导致应答器故障的三种因素:码元出错、传输延时、传输失效进行了... 采用随机Petri网理论,对应答器故障可能导致列控系统降级的场景和列控系统在不同等级之间发生转换的场景进行了研究,以保证并提高列车运行环境的安全性。在模型中,对可能导致应答器故障的三种因素:码元出错、传输延时、传输失效进行了分析和建模;分析了在降级场景发生后,列控设备通过尝试连接GSM-R无线网络升级为CTCS-3级,并对等级转换的场景进行了分析和建模。最后用Time Net4.0平台对模型的正确性进行了仿真,得出了该模型在各种场景发生的概率分布曲线,对CTCS-3降级运行进行了定量与定性分析。 展开更多

关键词 应答器故障 随机PETRI网 等级转换 建模

在线阅读 下载PDF 职称材料

基于场景法的列控系统等级转换功能测试用例设计 被引量：4

11

作者 窦磊 张亚东 +1 位作者 李耀 饶畅 《铁道标准设计》 北大核心 2019年第7期141-145,152,共6页

为了改善当前列控系统等级转换功能测试用例覆盖不全面的问题,以CTCS-2级转CTCS-3级功能为研究对象,采用场景法分析转换逻辑,设计测试用例。首先,分析CTCS-2级转CTCS-3级的功能逻辑;然后,介绍场景法设计测试用例的过程及基本流和备选流... 为了改善当前列控系统等级转换功能测试用例覆盖不全面的问题,以CTCS-2级转CTCS-3级功能为研究对象,采用场景法分析转换逻辑,设计测试用例。首先,分析CTCS-2级转CTCS-3级的功能逻辑;然后,介绍场景法设计测试用例的过程及基本流和备选流划分原则;最后,采用场景法对CTCS-2级转CTCS-3级过程中的基本流和备选流进行划分,确定基本流和备选流有向图,设计测试用例。结果表明,该方法设计的测试用例能够提高列控系统功能性和安全性测试的完备性,从而保障列控系统产品的质量。 展开更多

关键词 高速铁路 列控系统 等级转换 场景法 事件流 测试用例

在线阅读 下载PDF 职称材料

基于CPN的列控系统等级转换建模与分析 被引量：6

12

作者 董健 戴胜华 《计算机工程与应用》 CSCD 北大核心 2018年第2期208-213,共6页

在高速列车运行过程中,列控系统等级转换过程所用的时长和转换成功概率,直接影响列车运行安全和行车效率。利用有色Petri网对CTCS-3级列控系统和CTCS-2级列控系统之间等级转换以及典型设备故障导致降级场景分别建模,模拟等级转换过程中R... 在高速列车运行过程中,列控系统等级转换过程所用的时长和转换成功概率,直接影响列车运行安全和行车效率。利用有色Petri网对CTCS-3级列控系统和CTCS-2级列控系统之间等级转换以及典型设备故障导致降级场景分别建模,模拟等级转换过程中RBC(Radio Block Center,无线闭塞中心),车载设备,有源应答器之间的信息交互过程。分析了列车速度对等级转换实时性的要求和对转换成功概率的影响,以及突发降级的可能性,结果表明建模方法满足CTCS-3级列控系统的安全性和兼容性要求。 展开更多

关键词 中国列车控制系统(CTCS) 有色PETRI网 等级转换

在线阅读 下载PDF 职称材料

Timed RAISE方法在列控系统等级转换场景中的应用研究 被引量：1

13

作者 丁春平 陈永刚 《铁道标准设计》 北大核心 2015年第8期164-169,共6页

高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转... 高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换(CTCS-2级至CTCS-3级)场景进行描述,并对其场景交互一致性和实时性进行验证,结果表明该场景不会出现场景交互一致性错误,也不会违反时间的约束。 展开更多

关键词 高速铁路 TIMED RAISE CTCS 等级转换场景 实时性 场景交互一致性

在线阅读 下载PDF 职称材料

关于既有线C2等级转换点设置的探讨 被引量：2

14

作者 朱春兰 《铁道标准设计》 北大核心 2015年第7期152-154,共3页

为充分发挥快速铁路效益,满足区域城市交通运输需求,既有线提速开行动车组工程项目将日益增多,等级转换点的设置问题也将在设计中成为一个必须研究的课题。结合既有集包增建二线实施CTCS-2级列控系统工程,针对既有线的实际情况对C0/C2... 为充分发挥快速铁路效益,满足区域城市交通运输需求,既有线提速开行动车组工程项目将日益增多,等级转换点的设置问题也将在设计中成为一个必须研究的课题。结合既有集包增建二线实施CTCS-2级列控系统工程,针对既有线的实际情况对C0/C2等级转换点的设置问题进行探讨,提出等级转换点的设置应在满足线路运输组织方式、尽量提高铁路线路运输能力的前提下必须考虑列车运行速度及制动距离等因素的结论。 展开更多

关键词 既有铁路 列控系统 等级转换点 设置 速度 制动距离

在线阅读 下载PDF 职称材料

高铁联络线不利条件下CTCS3-CTCS2等级转换方案研究 被引量：8

15

作者 卢佩玲 郝韬 徐强 《铁道标准设计》 北大核心 2022年第12期137-142,共6页

CTCS3-CTCS2等级转换是高速铁路列车运行控制系统的重要运营场景之一,在联络线长度过短或联络线存在大号码道岔等不利线路条件下设置CTCS3-CTCS2等级转换点时,由于在部分进路及临时限速场景下CTCS3系统与CTCS2系统计算控车模式曲线的逻... CTCS3-CTCS2等级转换是高速铁路列车运行控制系统的重要运营场景之一,在联络线长度过短或联络线存在大号码道岔等不利线路条件下设置CTCS3-CTCS2等级转换点时,由于在部分进路及临时限速场景下CTCS3系统与CTCS2系统计算控车模式曲线的逻辑存在差异,如果CTCS3-CTCS2等级转换预告点和执行点的位置设置不合理,可能导致列车在等级转换时产生超速制动的风险。对等级转换过程中车载计算控车模式曲线的差异、CTCS3系统与CTCS2系统控车逻辑的差异性进行分析;结合实际线路探讨列车在CTCS3-CTCS2等级转换中可能存在的问题,对选用线路中不同位置的应答器作为等级转换预告点或执行点的方式进行综合分析和测试,提出了解决方案;并通过理论分析及多种车型的仿真试验验证了方案的可行性,对CTCS3-CTCS2等级转换预告点及执行点的设置要求进行归纳和总结。 展开更多

关键词 高速铁路 列控系统 等级转换 CTCS-3 CTCS-2 临时限速 大号码道岔 控车模式曲线

在线阅读 下载PDF 职称材料

CTCS-1级列控系统等级转换场景建模与验证 被引量：2

16

作者 王颖卓 刘中田 《计算机工程与应用》 CSCD 北大核心 2019年第18期256-262,共7页

随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转换的顺利进行是实现列车安全跨线运营的基础。通过系统功能分析,建立了系统多分辨率功能模型,以识别等级... 随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转换的顺利进行是实现列车安全跨线运营的基础。通过系统功能分析,建立了系统多分辨率功能模型,以识别等级转换场景需求;根据场景需求,结合现行系统规范,完善了CTCS-1级系统等级转换场景的方案;采用基于UML的NuSMV建模与验证方法,建立了等级转换场景的UML模型和NuSMV模型,并验证了场景模型的活性、确定性等属性,从而证明了完善后的场景方案满足场景需求,且符合系统规范。文中对CTCS-1级系统等级转换场景的探讨可为相关规范的修订提供支持。 展开更多

关键词 CTCS-1级列控系统 等级转换场景 NuSMV模型 模型验证

在线阅读 下载PDF 职称材料

CTCS-3级列控系统等级转换场景功能安全分析 被引量：2

17

作者 盛昭君 米根锁 《控制工程》 CSCD 北大核心 2019年第2期336-342,共7页

针对CTCS-3级列控系统等级转换场景的混成性,以CTCS-3级列控系统需求规范为研究依据,选取系统生命周期的需求阶段,研究了等级转换场景的功能安全性。首先,基于UML扩展机制,建立了等级转换场景的HybridUML模型,实现了等级转换场景的混成... 针对CTCS-3级列控系统等级转换场景的混成性,以CTCS-3级列控系统需求规范为研究依据,选取系统生命周期的需求阶段,研究了等级转换场景的功能安全性。首先,基于UML扩展机制,建立了等级转换场景的HybridUML模型,实现了等级转换场景的混成性描述;进而依据CTCS-3级列控系统需求规范,总结等级转换场景的功能需求,根据UML到PHAVer的转换规则,构建了PHAVer模型并验证了该模型的正确性;其次,通过分析等级转换过程,找出各相关设备可能的功能模块失效情况,采用功能模块失效描述符号(Function Failure Description Notation,FFDN)建立了等级转换场景的故障模型,并将PHAVer模型和故障模型整合,获得了包含故障的PHAVer模型;最后,运用PHAVer分析出导致等级转换场景功能需求不能满足时的功能模块失效情况,实现了等级转换场景的功能安全分析。 展开更多

关键词 CTCS-3级列控系统等级转换场景 HYBRID UML PHAVer 功能安全分析

在线阅读 下载PDF 职称材料

基于活动图和HTCPN的列控系统等级转换建模分析 被引量：1

18

作者 周游 何涛 《计算机应用与软件》 北大核心 2020年第6期119-125,共7页

在CTCS-3级列控系统中,为了保证C2级向C3级场景转换的过程中列控系统实时性和安全性,采用统一建模语言(UML)活动图和分层赋时有色Petri网Hierarchical Timed Colored Petri Net(HTCPN)对等级转换过程进行建模。利用UML活动图对C2级向C3... 在CTCS-3级列控系统中,为了保证C2级向C3级场景转换的过程中列控系统实时性和安全性,采用统一建模语言(UML)活动图和分层赋时有色Petri网Hierarchical Timed Colored Petri Net(HTCPN)对等级转换过程进行建模。利用UML活动图对C2级向C3级转换过程中车载设备、GSM-R网络、无线闭塞中心(RBC)之间信息流的传递过程进行建模,再从UML活动图中提取节点信息转换成HTCPN模型进行动态验证。通过对模型提取的数据仿真,分析列车行车速度和消息重发时间间隔对等级转换场景转换成功率的影响,验证模型的有效性。在CTCS-2级控车模式下,以顶棚速度(250 km/h)进行场景等级转换,转换成功率提高了0.2%。 展开更多

关键词 等级转换场景 UML建模 HTCPN 模型验证

在线阅读 下载PDF 职称材料

考虑多维驾驶环境的列车自动驾驶场景库构建及测试案例使用方法

19

作者 王成涛 邓海 +4 位作者 谢宪毅 雒国凤 沈迪 金立生 闫一凡 《中国铁路》 北大核心 2025年第9期77-84,共8页

针对高铁列车自动驾驶仿真测试场景单一问题,基于列车限速规范提取8类因素、26项场景元素,结合元素互斥性与语义冲突概率,随机生成多维测试场景。通过建立场景数据与列车运行速度、等级的映射,实现测试场景与自动驾驶系统的关联。以列车... 针对高铁列车自动驾驶仿真测试场景单一问题,基于列车限速规范提取8类因素、26项场景元素,结合元素互斥性与语义冲突概率,随机生成多维测试场景。通过建立场景数据与列车运行速度、等级的映射,实现测试场景与自动驾驶系统的关联。以列车DDQN节能控制策略为例,阐述场景数据的使用方法。结果表明,生成场景中简单、一般、复杂场景占比分别为84.3%、13.7%和2.0%,且8类因素分布均匀,DDQN节能控制策略在临时限速和运行等级转换场景中能规划出符合节能趋势的速度曲线。研究结果可为丰富列车自动驾驶场景提供思路,提升高速智能动车组自动驾驶测试效率,并进一步推动列车自动驾驶系统升级。 展开更多

关键词 ATO 多维驾驶环境 场景库 临时限速 列车等级转换 节能 测试案例 DDQN

在线阅读 下载PDF 职称材料

烤烟标准修订等级转化分析 被引量：2

20

作者 张轲 张晓伟 +7 位作者 王怡海 杨荣辉 龙杰 杨青 孙浩巍 陈茂建 吴恒康 张冀武 《中国烟草科学》 CSCD 2014年第4期11-15,共5页

为了证明烤烟标准修订稿在分级操作上的科学性和实用性,依据中国烟叶公司提出的烤烟标准修订稿(24级)文字描述制定了等级转换方法,通过转换前后的等级数量和部位对比统计,主收相邻等级加权得分方差分析对烤烟标准修订稿进行了等级转换... 为了证明烤烟标准修订稿在分级操作上的科学性和实用性,依据中国烟叶公司提出的烤烟标准修订稿(24级)文字描述制定了等级转换方法,通过转换前后的等级数量和部位对比统计,主收相邻等级加权得分方差分析对烤烟标准修订稿进行了等级转换分析。结果表明,转换后的等级包容了现行国标的所有38个等级,转换后等级数量减少为24个级,等级部位清晰,主收等级级差明显,操作性强,易掌握。因此,作者认为修订稿的烤烟标准具备先进性、科学性和可操作性。 展开更多

关键词 烤烟 修订标准 等级转换

在线阅读 下载PDF 职称材料