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

TSRS-YH型临时限速服务器辅助设计CAD研发: 1; 作者李士祥卢佩玲郭伟《中国铁路》 2014年第5期43-46,共4页; TSRS-YH型临时限速服务器辅助设计CAD软件读取列控线路工程数据和网络配置数据,生成临时限速服务器和仿真设备的配置数据以及仿真测试用测试序列数据。软件采用面向对象的模块设计,根据临时限速服务器功能和外部连接设备划分为25个模块... 展开更多; 关键词临时限速服务器辅助设计 CAD; 在线阅读下载PDF 职称材料

CTCS-3级列控系统临时限速服务器建模与形式化验证被引量：11: 2; 作者万勇兵徐中伟梅萌《系统仿真学报》 CAS CSCD 北大核心 2013年第1期132-138,共7页; 临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全。在TSRS系统研发过程中需对系统进行仿真建模和验证,发现系统设计错误,以保证系统的安全性。分析CTCS-3级列控系统临时限速服务器的组成结构... 展开更多; 关键词中国列车运行控制系统临时限速服务器消息顺序图时间自动机 UPPAAL; 在线阅读下载PDF 职称材料

临时限速服务器软件设计优化研究: 3; 作者李士祥《铁道标准设计》北大核心 2017年第5期153-157,共5页; 临时限速服务器(TSRS)实现临时限速集中管理,是CTCS-2/3级列控系统基础设备。分析TSRS与外部设备交互的临时限速状态及其转换关系,提出4类TSRS软件优化措施:取消临时限速生命周期优化设计,优化限速取消流程;拟定阶段增加照查检查解决限... 展开更多; 关键词临时限速服务器临时限速生命周期软件优化; 在线阅读下载PDF 职称材料

列控系统临时限速服务器仿真测试平台研究被引量：9: 4; 作者岑博文陈邦兴 +1 位作者万勇兵靳庆庆《计算机工程与设计》 CSCD 北大核心 2012年第1期372-376,共5页; 为了更有效地对高速铁路列控系统中的设备在投入使用前进行严格的测试。以CTCS-3列控系统中的核心设备之一临时限速服务器作为测试对象,提出了一种软件仿真测试平台的实现方法,分析了临时限速服务器与外部系统的关系,在此基础上建立了... 展开更多; 关键词临时限速服务器 CTCS-3 仿真软件测试仿真测试平台; 在线阅读下载PDF 职称材料

基于MSC与UPPAAL的高铁跨界临时限速建模与验证被引量：8: 5; 作者周翔武晓春《铁道标准设计》北大核心 2016年第10期126-131,共6页; 临时限速服务器是高铁列控系统的重要组成部分,其不仅要校验CTC下发的临时限速命令,还要与相邻调度台临时限速服务器之间进行频繁的信息交互,因此对其安全性和实时性要求也更苛刻。为了满足高铁列控系统对其运行的要求,采用时间自动机... 展开更多; 关键词临时限速服务器时间自动机 UPPAAL 实时性 MSC; 在线阅读下载PDF 职称材料

基于城际铁路CCS和高铁ATO系统TSRS的ATO技术探讨被引量：2: 6; 作者韩涛夏明 +4 位作者侯晓伟张波刘彬赖昊张炳坤《中国铁路》 2020年第8期111-116,共6页; 列车自动驾驶(ATO)技术是提高运营效率的重要技术手段。2016年珠三角城际铁路首次实现CTCS-2级列控系统下的自动驾驶功能,2018年原中国铁路总公司组织实施京沈综合试验段高铁ATO列控系统试验,两者在不同级别列控系统下分别实现了自动驾... 展开更多; 关键词高速铁路城际铁路列车自动驾驶(ATO) 通信控制服务器(CCS) 临时限速服务器(tsrs); 在线阅读下载PDF 职称材料

场景法在系统测试用例设计中的应用被引量：8: 7; 作者盛晓娟贾丽娟姬鹏超《计算机工程与设计》北大核心 2016年第7期1798-1804,共7页; 将场景法运用于临时限速服务器(temporary speed restriction server,TSRS)系统测试中,通过对TSRS系统限速命令的设置和取消流程进行场景划分,绘制出基于数据配置的背景图确定限速命令类型,通过对用例个数进行优化,设计出测试用例。质... 展开更多; 关键词场景法背景图临时限速服务器系统测试用例设计; 在线阅读下载PDF 职称材料

既有客运专线枢纽增设行调台引起的信号相关设计研究被引量：4: 8; 作者刘晓奇《铁道标准设计》北大核心 2016年第4期111-114,共4页; 既有客运专线枢纽行调台管辖情况比较复杂,为满足兰州至中川机场线的开通需要,增设城际枢纽行调台。从CTC调度中心设备设置方案、临时限速服务器(TSRS)、安全数据网、与其他配套专业对接设计以及调度中心的过渡方案等方面对增设城际枢... 展开更多; 关键词兰州至中川机场铁路行调台临时限速服务器信号设计; 在线阅读下载PDF 职称材料

题名TSRS-YH型临时限速服务器辅助设计CAD研发: 1; 作者李士祥卢佩玲郭伟; 机构中国铁道科学研究院通信信号研究所; 出处《中国铁路》 2014年第5期43-46,共4页; 文摘 TSRS-YH型临时限速服务器辅助设计CAD软件读取列控线路工程数据和网络配置数据,生成临时限速服务器和仿真设备的配置数据以及仿真测试用测试序列数据。软件采用面向对象的模块设计,根据临时限速服务器功能和外部连接设备划分为25个模块。软件支持图像化操作,可通过图形接口编辑模块数据,具有实时纠错、自动微调、数据安全防护的特点。软件的应用提高了TSRS-YH型临时限速服务器工程化中相关配置数据的生产效率。; 关键词临时限速服务器辅助设计 CAD; 分类号 TP391.72 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名CTCS-3级列控系统临时限速服务器建模与形式化验证被引量：11: 2; 作者万勇兵徐中伟梅萌; 机构同济大学电子与信息工程学院; 出处《系统仿真学报》 CAS CSCD 北大核心 2013年第1期132-138,共7页; 基金国家自然科学基金(61075002) 国家科技支撑资助项目(2011BAG01B03) 铁道部科技重点资助项目(2009X002-A); 文摘临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全。在TSRS系统研发过程中需对系统进行仿真建模和验证,发现系统设计错误,以保证系统的安全性。分析CTCS-3级列控系统临时限速服务器的组成结构,提取系统功能和性能规范约束,利用消息顺序图对TSRS与外部系统之间的信息交互行为建模,并将系统MSC模型转化为UPPAAL中的时间自动机仿真模型,对系统的功能和性能要求进行形式化验证。验证结果确认了系统的安全性和受限活性,为进一步完善TSRS设计和系统开发提供参考。; 关键词中国列车运行控制系统临时限速服务器消息顺序图时间自动机 UPPAAL; Keywords CTCS temporary speed restriction server message sequence chart timed automata UPPAAL; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名临时限速服务器软件设计优化研究: 3; 作者李士祥; 机构中国铁道科学研究院通信信号研究所; 出处《铁道标准设计》北大核心 2017年第5期153-157,共5页; 基金中国铁道科学研究院科技研究计划课题(2015YJ121 1533YF2103); 文摘临时限速服务器(TSRS)实现临时限速集中管理,是CTCS-2/3级列控系统基础设备。分析TSRS与外部设备交互的临时限速状态及其转换关系,提出4类TSRS软件优化措施:取消临时限速生命周期优化设计,优化限速取消流程;拟定阶段增加照查检查解决限速错误拟定问题;验证执行阶段暂停TSRS间限速刷新解决偶发性的限速验证、执行操作失败问题;基于平衡二叉查找树的临时限速管理提出满足要求的大小平衡二叉树(SBT)、AVL树和红黑树(RBT)算法,测试3种算法随机插入和删除多条临时限速的效率,找出适合TSRS的临时限速管理算法。可为TSRS软件的优化设计提供决策依据。; 关键词临时限速服务器临时限速生命周期软件优化; Keywords tsrs Temporary speed restriction Life cycle Software Optimization; 分类号 U284.48 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名列控系统临时限速服务器仿真测试平台研究被引量：9: 4; 作者岑博文陈邦兴万勇兵靳庆庆; 机构同济大学电子与信息工程学院; 出处《计算机工程与设计》 CSCD 北大核心 2012年第1期372-376,共5页; 基金国家自然科学基金项目(61075002) 铁道部科技研究开发计划基金项目(2009X002-A); 文摘为了更有效地对高速铁路列控系统中的设备在投入使用前进行严格的测试。以CTCS-3列控系统中的核心设备之一临时限速服务器作为测试对象,提出了一种软件仿真测试平台的实现方法,分析了临时限速服务器与外部系统的关系,在此基础上建立了测试平台的体系结构,并介绍了仿真环境模块、测试工具模块的设计过程、测试平台搭建方法和平台仿真测试过程。通过仿真测试结果表明,该平台提高了测试效率和灵活性,降低了测试成本。; 关键词临时限速服务器 CTCS-3 仿真软件测试仿真测试平台; Keywords tsrs CTCS-3； simulation software testing simulation and test platform; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于MSC与UPPAAL的高铁跨界临时限速建模与验证被引量：8: 5; 作者周翔武晓春; 机构兰州交通大学自动化与电气工程学院; 出处《铁道标准设计》北大核心 2016年第10期126-131,共6页; 基金国家自然科学基金地区项目(61164010); 文摘临时限速服务器是高铁列控系统的重要组成部分,其不仅要校验CTC下发的临时限速命令,还要与相邻调度台临时限速服务器之间进行频繁的信息交互,因此对其安全性和实时性要求也更苛刻。为了满足高铁列控系统对其运行的要求,采用时间自动机理论和消息顺序图(MSC)相结合的方法,首先建立跨界临时限速命令的MSC模型和时间自动机子模型,再利用UPPAAL验证工具对形式化语法BNF描述的时间自动机子模型属性进行验证。根据仿真验证结果确认了跨界临时限速信息的安全性和受限活性,为进一步开发临时限速服务器功能提供了重要的依据。; 关键词临时限速服务器时间自动机 UPPAAL 实时性 MSC; Keywords Temporary Speed Restriction Server Timed automata UPPAAL Real- time MSC; 分类号 U284.482 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名基于城际铁路CCS和高铁ATO系统TSRS的ATO技术探讨被引量：2: 6; 作者韩涛夏明侯晓伟张波刘彬赖昊张炳坤; 机构卡斯柯信号有限公司北京分公司; 出处《中国铁路》 2020年第8期111-116,共6页; 文摘列车自动驾驶(ATO)技术是提高运营效率的重要技术手段。2016年珠三角城际铁路首次实现CTCS-2级列控系统下的自动驾驶功能,2018年原中国铁路总公司组织实施京沈综合试验段高铁ATO列控系统试验,两者在不同级别列控系统下分别实现了自动驾驶。回顾城际铁路CTCS2+ATO技术体系中通信控制服务器的系统设计方案,比较分析高铁ATO系统临时限速服务器针对ATO功能实现方案的差异及背景原因,总结设备开发的思路变化及其带来的趋势影响,探讨高铁ATO技术的发展方向。; 关键词高速铁路城际铁路列车自动驾驶(ATO) 通信控制服务器(CCS) 临时限速服务器(tsrs); Keywords high speed railway intercity railway automatic train operation(ATO) communication control server(CCS) temporary speed restriction server(tsrs); 分类号 U284 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名场景法在系统测试用例设计中的应用被引量：8: 7; 作者盛晓娟贾丽娟姬鹏超; 机构航天软件评测中心北京邮电大学信息与通信工程学院; 出处《计算机工程与设计》北大核心 2016年第7期1798-1804,共7页; 文摘将场景法运用于临时限速服务器(temporary speed restriction server,TSRS)系统测试中,通过对TSRS系统限速命令的设置和取消流程进行场景划分,绘制出基于数据配置的背景图确定限速命令类型,通过对用例个数进行优化,设计出测试用例。质量审计及认证审查结果表明,使用该方法设计的用例保证了测试的充分性和有效性。验证的测试用例设计方法已在其它产品的系统测试中得以推广和应用,提高了系统测试的效率和效果,为保证软件产品质量发挥了作用。; 关键词场景法背景图临时限速服务器系统测试用例设计; Keywords scenario methods background charts tsrs system test test case design; 分类号 TP306 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名既有客运专线枢纽增设行调台引起的信号相关设计研究被引量：4: 8; 作者刘晓奇; 机构中铁第一勘察设计院集团有限公司; 出处《铁道标准设计》北大核心 2016年第4期111-114,共4页; 文摘既有客运专线枢纽行调台管辖情况比较复杂,为满足兰州至中川机场线的开通需要,增设城际枢纽行调台。从CTC调度中心设备设置方案、临时限速服务器(TSRS)、安全数据网、与其他配套专业对接设计以及调度中心的过渡方案等方面对增设城际枢纽行调台引起的信号相关设计方案进行系统研究,提出合理的解决方案,为机场线的开通奠定了基础,也为类似工程的信号设计提供参考。; 关键词兰州至中川机场铁路行调台临时限速服务器信号设计; Keywords Lanzhou-Zhongchuan Airport Railway tsr Server Dispatching platform tsrs Signal design; 分类号 U238 [交通运输工程—道路与铁道工程] U284 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	TSRS-YH型临时限速服务器辅助设计CAD研发	李士祥卢佩玲郭伟	《中国铁路》	2014	0	在线阅读下载PDF 职称材料
2	CTCS-3级列控系统临时限速服务器建模与形式化验证	万勇兵徐中伟梅萌	《系统仿真学报》 CAS CSCD 北大核心	2013	11	在线阅读下载PDF 职称材料
3	临时限速服务器软件设计优化研究	李士祥	《铁道标准设计》北大核心	2017	0	在线阅读下载PDF 职称材料
4	列控系统临时限速服务器仿真测试平台研究	岑博文陈邦兴万勇兵靳庆庆	《计算机工程与设计》 CSCD 北大核心	2012	9	在线阅读下载PDF 职称材料
5	基于MSC与UPPAAL的高铁跨界临时限速建模与验证	周翔武晓春	《铁道标准设计》北大核心	2016	8	在线阅读下载PDF 职称材料
6	基于城际铁路CCS和高铁ATO系统TSRS的ATO技术探讨	韩涛夏明侯晓伟张波刘彬赖昊张炳坤	《中国铁路》	2020	2	在线阅读下载PDF 职称材料
7	场景法在系统测试用例设计中的应用	盛晓娟贾丽娟姬鹏超	《计算机工程与设计》北大核心	2016	8	在线阅读下载PDF 职称材料
8	既有客运专线枢纽增设行调台引起的信号相关设计研究	刘晓奇	《铁道标准设计》北大核心	2016	4	在线阅读下载PDF 职称材料