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

基于AdmiTest的CTCS-3级列控系统自动测试平台被引量：4: 1; 作者贺广宇范明 +1 位作者程剑锋黄宏福《中国铁道科学》 EI CAS CSCD 北大核心 2013年第4期128-136,共9页; 根据CTCS-3级列控系统的特点,结合欧洲列车运行控制系统(ETCS)测试经验,研发基于通用测试平台AdmiTest的CTCS-3级列控系统自动测试平台CARSTool。CARSTool采用激励-反馈机制实现单系统或多系统的闭环测试,包含测试对象、仿真系统、链路... 展开更多; 关键词 CTCS-3级列控系统激励-反馈机制系统自动测试测试平台; 在线阅读下载PDF 职称材料

CTCS-3级列控系统临时限速建模与验证被引量：15: 2; 作者袁磊王俊峰 +1 位作者康仁伟吕继东《西南交通大学学报》 EI CSCD 北大核心 2013年第4期708-714,共7页; 为了满足临时限速系统的实时性要求,采用时间自动机理论,对CTCS-3级列控系统临时限速工作流程分别建立了各设备的时间自动机子模型,进而构成临时限速系统的时间自动机网络模型,并基于临时限速系统技术规范的参数对模型进行赋值;采用BNF... 展开更多; 关键词 CTCS-3级列控系统临时限速时间自动机 UPPAAL 实时性; 在线阅读下载PDF 职称材料

CTCS-3级列控ATP车载设备升级自动驾驶的扩展技术研究被引量：6: 3; 作者穆进超《中国铁路》 2018年第10期20-24,共5页; 随着我国高速铁路CTCS-3级列控系统的广泛应用,其功能扩展变得十分迫切,而现阶段的核心任务为扩展自动驾驶(ATO)功能。列控车载ATP设备为支持自动驾驶功能,必须在既有运行防护基础上进行功能扩展。针对CTCS-3级列控ATP车载设备承载自动... 展开更多; 关键词 CTCS-3级列控系统自动驾驶 ATO 扩展 ATP; 在线阅读下载PDF 职称材料

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

基于MMLS3的改性沥青混合料高温稳定性研究被引量：12: 5; 作者武金婷叶奋赵倩倩《建筑材料学报》 EI CAS CSCD 北大核心 2012年第5期654-659,共6页; 运用最先进的小型加速加载设备MMLS3(1/3model mobile load simulator)对常见的用于上、中面层的4种改性沥青混合料进行了高温稳定性试验,提出了适合中国的MMLS3室内加速加载的各项试验参数.通过研究改性沥青混合料的实际抗车辙性能,得... 展开更多; 关键词 1/3行车荷载模拟系统(MMLS3) 加速加载试验(APT) 沥青玛蹄脂(SMA) 开级配磨耗层(OGFC) 沥青混合料(AC) 高温稳定性; 在线阅读下载PDF 职称材料

大型先进压水堆非能动冷却水箱关键热工水力特性研究综述被引量：1: 6; 作者陆道纲张钰浩 +4 位作者李向宾周世梁曹琼隋丹婷王汉《原子能科学技术》 EI CAS CSCD 北大核心 2019年第10期1930-1940,共11页; 第3代大型先进压水堆设置非能动余热排出系统,包括大容积高位水箱及其内置的非能动余热排出热交换器(PRHRHX)和自动降压系统(ADS)喷洒器,在运行过程中呈现出复杂的气液两相热工水力现象和独特的传热、传质特性。近年来随着非能动安全系... 展开更多; 关键词内置换料水箱非能动余热排出热交换器第1~3级自动降压系统传热特性综述; 在线阅读下载PDF 职称材料

题名基于AdmiTest的CTCS-3级列控系统自动测试平台被引量：4: 1; 作者贺广宇范明程剑锋黄宏福; 机构中国铁道科学研究院通信信号研究所 Systransis Ltd; 出处《中国铁道科学》 EI CAS CSCD 北大核心 2013年第4期128-136,共9页; 基金高速铁路系统试验国家工程实验室建设项目(铁计函【2009】1391号); 文摘根据CTCS-3级列控系统的特点,结合欧洲列车运行控制系统(ETCS)测试经验,研发基于通用测试平台AdmiTest的CTCS-3级列控系统自动测试平台CARSTool。CARSTool采用激励-反馈机制实现单系统或多系统的闭环测试,包含测试对象、仿真系统、链路、消息、激励、响应和测试序列等基本元素,具有线路工程数据配置、通信链路配置、站场线路配置、PI Object、仿真系统、列车运行仿真和自动测试序列7个功能模块。以郑西客运专线列控数据为例,采用CARSTool对CTCS-3级列控系统进行仿真测试。测试结果表明:通过规范化语法严格卡控测试步骤,根据CTCS-3级列控系统测试案例库以及激励-反馈信息判断测试项目的执行状态,CARSTool实现了测试计划、执行过程和测试结果的闭环处理;说明CARSTool能够实现CTCS-3级列控系统的自动测试。; 关键词 CTCS-3级列控系统激励-反馈机制系统自动测试测试平台; Keywords CTCS-3 level train control system Stimulation-feedback mechanism System automatic tes ting Testing platform; 分类号 U284.482 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名CTCS-3级列控系统临时限速建模与验证被引量：15: 2; 作者袁磊王俊峰康仁伟吕继东; 机构北京交通大学轨道交通控制与安全国家重点实验室北京交通大学轨道交通运行控制系统国家工程研究中心; 出处《西南交通大学学报》 EI CSCD 北大核心 2013年第4期708-714,共7页; 基金国家863计划资助项目(2012AA112801) 轨道交通控制与安全国家重点实验室自主课题重点项目(RCS2011ZZ001)的资助; 文摘为了满足临时限速系统的实时性要求,采用时间自动机理论,对CTCS-3级列控系统临时限速工作流程分别建立了各设备的时间自动机子模型,进而构成临时限速系统的时间自动机网络模型,并基于临时限速系统技术规范的参数对模型进行赋值;采用BNF语法对临时限速系统待验证的属性进行了形式化描述,并应用UPPAAL验证工具对临时限速模型的安全性和受限活性进行仿真验证.验证结果表明:与现有临时限速系统的时间参数设置相比,修正后的时间参数设置避免了出现系统死锁现象;在不影响安全功能属性和受限活性的基础上,提高了临时限速系统的实时性,可在规范规定时间5 s内做出响应.; 关键词 CTCS-3级列控系统临时限速时间自动机 UPPAAL 实时性; Keywords CTCS-3 train control system TSR timed automata UPPAAL real-time performance; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名CTCS-3级列控ATP车载设备升级自动驾驶的扩展技术研究被引量：6: 3; 作者穆进超; 机构中国铁道科学研究院集团有限公司通信信号研究所; 出处《中国铁路》 2018年第10期20-24,共5页; 基金中国铁路总公司科技研究开发计划项目(2017X002) 中国铁道科学研究院集团有限公司科技研究开发计划项目(2017YJ055); 文摘随着我国高速铁路CTCS-3级列控系统的广泛应用,其功能扩展变得十分迫切,而现阶段的核心任务为扩展自动驾驶(ATO)功能。列控车载ATP设备为支持自动驾驶功能,必须在既有运行防护基础上进行功能扩展。针对CTCS-3级列控ATP车载设备承载自动驾驶功能的需求,对ATP设备的相关扩展技术进行研究,以实现自动驾驶业务中与ATP设备关联的关键功能。重点对扩展自动驾驶功能要求、扩展ATO功能的ATP系统结构、扩展列车接口功能、分组域无线通信功能、车门防护功能、人机显示扩展功能、通信与接口、双机热备等方面进行阐述。; 关键词 CTCS-3级列控系统自动驾驶 ATO 扩展 ATP; Keywords CTCS-3 system automatic train operation ATO extension ATP; 分类号 U284 [交通运输工程—交通信息工程及控制]; 在线阅读下载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 职称材料

题名基于MMLS3的改性沥青混合料高温稳定性研究被引量：12: 5; 作者武金婷叶奋赵倩倩; 机构同济大学道路与交通工程教育部重点实验室; 出处《建筑材料学报》 EI CAS CSCD 北大核心 2012年第5期654-659,共6页; 基金国家自然科学基金资助项目(50968016) 上海市科学技术委员会项目(0820120240 1600-237-180); 文摘运用最先进的小型加速加载设备MMLS3(1/3model mobile load simulator)对常见的用于上、中面层的4种改性沥青混合料进行了高温稳定性试验,提出了适合中国的MMLS3室内加速加载的各项试验参数.通过研究改性沥青混合料的实际抗车辙性能,得出沥青混合料高温稳定性能的优劣顺序为:SBS橡胶复合改性SMA-13,SBS改性AC-20C,SBS改性AC-13C,SBS橡胶复合改性OGFC-13,岩沥青改性AC-20C.由于OGFC-13的大空隙结构,必然要在某种程度上牺牲其强度、抗剪切性能及耐久性,不建议在重交通的高速公路上使用其作为表面层.高温重载或超限地区应加强中面层的优化设计.MMLS3加载试验及常规动稳定度试验在衡量空隙率差距小的沥青混合料时,两者试验结果具有较好的一致性;而对于不同沥青混合料,当其空隙率差距大时,应根据需要选择合适的试验或评价方法.; 关键词 1/3行车荷载模拟系统(MMLS3) 加速加载试验(APT) 沥青玛蹄脂(SMA) 开级配磨耗层(OGFC) 沥青混合料(AC) 高温稳定性; Keywords 1/3 model mobile load simulator（MMLS3） accelerated pavement testing（APT） stone masticasphalt（SMA） open grade friction eourse（OGFC） asphalt concrete（AC） high temperature stability; 分类号 U414 [交通运输工程—道路与铁道工程]; 在线阅读下载PDF 职称材料

题名大型先进压水堆非能动冷却水箱关键热工水力特性研究综述被引量：1: 6; 作者陆道纲张钰浩李向宾周世梁曹琼隋丹婷王汉; 机构华北电力大学核科学与工程学院非能动核能安全技术北京市重点实验室; 出处《原子能科学技术》 EI CAS CSCD 北大核心 2019年第10期1930-1940,共11页; 基金国家科技重大专项资助项目(2017ZX06004002-006-002); 文摘第3代大型先进压水堆设置非能动余热排出系统,包括大容积高位水箱及其内置的非能动余热排出热交换器(PRHRHX)和自动降压系统(ADS)喷洒器,在运行过程中呈现出复杂的气液两相热工水力现象和独特的传热、传质特性。近年来随着非能动安全系统工程需求和相关研究的兴起,国内外开展了一些针对大容积非能动冷却水箱及其内置关键部件热工水力特性的相关研究,本文对上述问题的研究现状进行综述。对于PRHRHX,评价特殊C型管束在单相自然对流、两相沸腾条件下的传热特性,分析经典传热模型及改进经验关联式的适用性;对于ADS1~3级喷洒器高温高压蒸汽喷放冷凝过程,综合分析其喷放冷凝流型、特征参数、冷凝换热系数等关键传热、传质特性。以上研究大幅丰富了第3代大型先进压水堆大容积水箱的设计理论,并进行了实际工程应用。本文在此基础上,对相关研究未来发展方向进行展望。; 关键词内置换料水箱非能动余热排出热交换器第1~3级自动降压系统传热特性综述; Keywords in-containment refueling water storage tank passive residual heat removal heat exchanger automatic depressurization system stage 1-3 heat transfer characteristic review; 分类号 TL33 [核科学技术—核技术及应用]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于AdmiTest的CTCS-3级列控系统自动测试平台	贺广宇范明程剑锋黄宏福	《中国铁道科学》 EI CAS CSCD 北大核心	2013	4	在线阅读下载PDF 职称材料
2	CTCS-3级列控系统临时限速建模与验证	袁磊王俊峰康仁伟吕继东	《西南交通大学学报》 EI CSCD 北大核心	2013	15	在线阅读下载PDF 职称材料
3	CTCS-3级列控ATP车载设备升级自动驾驶的扩展技术研究	穆进超	《中国铁路》	2018	6	在线阅读下载PDF 职称材料
4	基于TAIO变异的CTCS-3列控系统测试案例生成方法	魏柏全吕继东陈柯行唐涛王唯	《西南交通大学学报》 EI CSCD 北大核心	2020	8	在线阅读下载PDF 职称材料
5	基于MMLS3的改性沥青混合料高温稳定性研究	武金婷叶奋赵倩倩	《建筑材料学报》 EI CAS CSCD 北大核心	2012	12	在线阅读下载PDF 职称材料
6	大型先进压水堆非能动冷却水箱关键热工水力特性研究综述	陆道纲张钰浩李向宾周世梁曹琼隋丹婷王汉	《原子能科学技术》 EI CAS CSCD 北大核心	2019	1	在线阅读下载PDF 职称材料