国家高技术研究发展计划(2009AA11Z221)

作品数：27被引量：130H指数：7
导出分析报告
相关作者：王剑上官伟蔡伯根唐涛严细辉更多>>
相关机构：北京交通大学中华人民共和国铁道部西安铁路职业技术学院中铁第四勘察设计院集团有限公司更多>>
相关期刊：《北京交通大学学报》《铁道通信信号》《铁路计算机应用》《中国铁路》更多>>
相关主题：CTCS-3级列控系统列车控制系统列控系统CTCS-3列车定位更多>>
相关领域：交通运输工程自动化与计算机技术电子电信天文地球更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
数据融合在列车定位系统中的应用研究被引量：4
《中国铁路》2014年第1期66-69,共4页邢红霞 王剑 严细辉 上官伟 
国家自然科学基金项目(60736047;60870016);中央高校基本科研业务费专项资金(2009JBM014);轨道交通控制与安全国家重点实验室自主研究课题(RCS2009ZT013);863计划(2009AA11Z221)
数据融合技术是对多个传感器提供的信息按某种最优融合准则进行融合,能提高数据的精确度。总结数据融合在RUNE、ITCS及GLLS等国内外典型列控系统研究中的应用情况,根据上述几个典型系统研究的测试结果,分析数据融合在列车定位中应用的...
关键词：列车控制系统 数据融合 应用分析 
列车定位系统中数据融合的关键技术
《中国铁路》2013年第6期72-76,共5页邢红霞 王剑 严细辉 蔡伯根 上官伟 刘江 
国家自然科学基金项目(60736047和60870016);中央高校基本科研业务费专项资金(2009JBM014);轨道交通控制与安全国家重点实验室自主研究课题(RCS2009ZT013);"863"计划项目(2009AA11Z221)
数据融合技术是对多个传感器提供的信息按某种最优融合准则进行融合,能够提高数据的精确度。在列车定位系统中应用数据融合技术,可以有效提高列车定位精度,保障列车安全。阐述数据融合的功能原理、关键技术,对数据融合关键技术广泛应用...
关键词：列车控制系统 数据融合 全球导航卫星系统(GNSS) 列车定位 系统完整性 
基于GPS和虚拟卫星的列车完整性检查方法研究被引量：10
《铁道学报》2012年第9期40-44,共5页安毅 蔡伯根 宁滨 王剑 上官伟 
国家自然科学基金项目(60736047;60870016);中央高校基本科研业务费专项资金(2009JBM014);轨道交通控制与安全国家重点实验室自主研究课题(RCS2009ZT013);国家高技术研究发展计划(863计划)(2009AA11Z221)
将GPS和列尾装置结合可以构成一个冗余的列车完整性检查系统。在列车行驶过程中,由于在列车尾部车钩安装的GPS天线容易被车厢遮挡,常规卫星定位方法受到限制,无法利用GPS进行列车完整性检查。本文提出一种基于GPS和虚拟卫星组合定位完...
关键词：全球卫星定位系统 虚拟卫星 列车完整性检查 
一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用被引量：10
《铁道学报》2012年第5期70-80,共11页赵显琼 郑伟 唐涛 
国家自然科学基金(60634010);国家863高技术研究发展计划(2009AA11Z221);中央高校基本科研业务费专项资金(2009YJS013)
随着中国铁路列车运行控制系统的发展,对列控系统的研究越来越受到学术界的关注。本文提出一种基于模型的形式化测试案例和测试序列生成方法,并应用于ETCS-2级系统的测试中。首先提出有色Petri网(CPN)的建模规则,保证CPN模型适应测试生...
关键词：ETCS-2 有色PETRI网 测试生成 形式化方法 
UML建模技术在轨道交通CTCS-3级列车控制系统测试案例生成中的应用被引量：4
《城市轨道交通研究》2012年第3期41-44,共4页王倩倩 张勇 
国家自然基金重点资助项目(60736047);国家"八六三"高技术研究发展计划项目(2009AA11Z221)
针对CTCS-3级列车控制系统测试案例的特点和生成过程,提出了UML建模技术在测试案例生成中的应用。说明了利用这种方法生成测试案例的优势,介绍了生成测试案例的总体思路。测试案例的生成分为两步,即功能特征的提取和基于UML建模的测试...
关键词：轨道交通 统一建模语言 列车控制系统 测试案例 
基于赋时着色Petri网的RBC控车实时性能分析被引量：7
《现代电子技术》2012年第3期170-173,共4页石竹 李开成 
国家863计划项目(2009AA11Z221)
RBC(无线闭塞中心)是CTCS-3级列控系统的关键设备,RBC通过GSM-R网络与列控车载设备进行连续双向的信息交互,实现对运行列车的控制。RBC控车实时性能是影响CTCS-3级列车运行控制系统的控制精度、效率、可靠性和安全性的重要指标与因素。...
关键词：CTCS-3 形式化分析 赋时着色PETRI网 RBC 
ERTMS-Regional发展综述被引量：13
《铁道学报》2012年第1期60-64,共5页王剑 张福隆 蔡伯根 上官伟 
国家自然科学基金项目(60736047;60870016);国家高技术研究发展计划(863计划)(2009AA11Z221);轨道交通控制与安全国家重点实验室自主课题(RCS2009ZT013);中央高校基本科研业务费专项资金资助(2009JBM014);铁道部科技研究开发计划(Z2009-059)
欧洲铁路运输管理系统(ERTMS)的目的是改善基础设施和机车车辆运营状况,实现欧洲各国铁路运输设备的技术和运营兼容。由于系统转化过程中基础设备带来的财政压力,一种以节约成本为目的的区域铁路运营管理系统-ERTMS-Regional应运而生。...
关键词：ERTMS区域运营管理系统 轨旁系统 功能规范 
高速铁路列控系统CTC子系统仿真换线技术研究被引量：1
《铁道通信信号》2011年第9期10-14,共5页贾庆东 王剑 祝陶美 上官伟 
国家自然科学基金(60736047;60870016);国家高技术研究发展计划863计划(2009AA11Z221);轨道交通控制与安全国家重点实验室自主研究课题(RCS2009ZT013);中央高校基本科研业务费专项资金资助(2009JBM014);铁道部科技研究开发计划(Z2009-059)
探讨了高速铁路列控系统仿真平台的整体结构和进行多线路仿真自动换线的必要性;针对CTC子系统多线路仿真和自动换线技术进行深入研究,提出采用代理的思想以实现CTC子系统在仿真平台中自动换线的方法。在此基础上,采用武广和京沪线路数...
关键词：高速铁路列车运行控制系统 仿真平台 自动换线技术 CTC代理器 
无线闭塞中心测试案例生成方法被引量：1
《交通运输工程学报》2011年第4期114-122,共9页苟晨曦 蔡伯根 唐涛 上官伟 
国家自然科学基金项目(60736047);国家863计划项目(2009AA11Z221);轨道交通控制与安全国家重点实验室自主研究课题(RCS2009ZT013);中央高校基本科研业务费专项资金项目(2009JBM005;2011YJS006)
应用基于功能特征的测试案例生成方法,研究了无线闭塞中心的功能结构,提取了无线闭塞中心的功能特征,得到了无线闭塞中心的功能特征列表。针对无线闭塞中心的每个功能特征,编制了测试案例,将测试案例串联成电子化的测试序列。根据中国...
关键词：高速列车 运行控制系统 无线闭塞中心 功能测试 功能特征 测试案例 测试序列 
多端口形式化测试自动生成方法在CTCS-3车载系统中的应用被引量：10
《铁道学报》2011年第7期44-51,共8页赵显琼 唐涛 
国家自然科学基金项目(60634010);国家高技术研究发展计划(863计划)(2009AA11Z221);轨道交通控制与安全国家重点实验室自主研究课题(RCS2008ZZ005)
针对CTCS-3列控系统测试中普遍存在的需要多个端口协同测试的问题,在时间输入输出自动机(TIOA)的基础上,提出端口标记的时间输入输出自动机(LpTIOA)。LpTIOA除在模型中能够反映系统的时间约束特性外,还能反映系统输入输出行为对应的端...
关键词：CTCS 时间自动机 车载系统 UPPAAL 实时系统 COVER 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部