收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于规则的CBTC系统数据分析与验证的研究

董秋丽  
【摘要】:摘要:基于通信的列车控制(Communication Based Train Control,CBTC)系统是目前城市轨道交通列车运行控制系统的首选。CBTC子系统之间有大量的数据交互,数据作为设备、线路、列车状态等信息的载体,是CBTC系统的重要组成部分,其准确性和可靠性是实现列车安全高效运行的基础。随着系统功能的增强和系统复杂性的提高,数据量也有了显著的增加,因此,对数据的准确性和可靠性要求更高。基于以上需求,本文针对CBTC系统数据的特点,按照数据分析,规则提取,模型验证的路线,采用时间自动机对实际数据进行验证,确定了该方法的可用性和可行性。 论文的研究内容主要包括以下几个方面: (1)论文从数据的建立、设计、使用与执行等数据开发生命周期的各个环节,对CBTC系统所需的线路网络数据、基础设备数据以及功能性数据进行分析和深入研究,得到CBTC数据验证的策略。分析CBTC系统架构和工程数据表现形式对系统数据构建的影响,进而分析CBTC系统数据组织方式,在此基础上得出CBTC系统数据所固有的特征。 (2)论文在分析CBTC系统数据的基础上,对系统数据的关联关系和约束规则进行了总结。基于系统的数据需求以及当前工程数据的表现形式,围绕数据的性质和特点,从属性域值、关联关系和拓扑关系角度建立了CBTC数据规则库。 (3)论文选取时间自动机理论和模型验证工具UPPAAL,分别对规则验证体系进行建模,形成一种数据的自动化验证机制,主要分为两步,一是将数据抽象为状态模型,二是将规则以数学或逻辑语言描述,给出了针对CBTC系统数据进行验证的评价准则。 (4)论文基于规则的验证方法,采用北京地铁亦庄线中一个设备集中站的数据,并结合VOBC子系统功能,从数据本身和查询函数两个角度,对数据进行验证。结果表明,基于规则的CBTC系统数据分析与验证方法具有一定的适应性和可行性。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 步兵,汪希时;用马尔可夫模型分析基于通信的列车控制系统(CBTC)的安全性[J];中国安全科学学报;2001年03期
2 安静,吴汶麒;基于通信的列车控制系统IEEE标准简介[J];城市轨道交通研究;2004年06期
3 吴忠;宋雪玲;;机载光纤角位移传感器[J];航空科学技术;2008年05期
4 汪希时;基于通信技术的列车控制技术[J];中国铁路;2001年08期
5 冒一平;巴黎地铁签定基于通信的列车控制系统(CBTC)合同[J];现代城市轨道交通;2004年02期
6 王泽华;;路面无损检测技术的研究[J];安徽建筑工业学院学报(自然科学版);2006年02期
7 苏志刚;;浅谈桥梁结构的静载试验[J];湖南交通科技;2006年04期
8 陈亮;;虹桥国际机场地基处理沉降观测分析报告[J];科技风;2009年17期
9 唐筱蛑;裴世建;;非开挖地下管线探测方法的探讨[J];工程地球物理学报;2009年S1期
10 陆峰;;京秦高速公路动态监测数据的价值分析[J];交通标准化;2010年23期
11 南新旭 ,吴宝燕 ,李绮鹏 ,周克法 ,钱仲良;ZL50装载机后车架随机载荷测试与数据分析[J];工程机械;1988年05期
12 袁兆山;MIS总体设计中的数据分析和数据库规划[J];合肥工业大学学报(自然科学版);1994年04期
13 薛生虎;;红外温度计分度的数据分析[J];中国计量学院学报;1998年01期
14 赵逵,彭冬梅,乔立新;1995~2000年黑龙江省观测交通量数据分析[J];黑龙江交通科技;2003年04期
15 赵新林 ,赵建敏;数据分析与持续改进的理解与实施[J];机械工业标准化与质量;2004年06期
16 梁武刚;;变压器差动保护带负荷测试数据分析[J];太原城市职业技术学院学报;2004年S2期
17 房纪涛;杨慕升;;基于休哈特控制图的制造过程质量监控系统[J];山东理工大学学报(自然科学版);2006年03期
18 范志文;;水浴式灭菌柜的工作原理及其验证[J];机电信息;2006年17期
19 闫鹏;高明君;郝建平;;装备维修性数据收集与分析系统[J];科学技术与工程;2006年22期
20 黄勇奇;赵追;;遥感观测数据的探索性分析研究[J];遥感信息;2006年05期
中国重要会议论文全文数据库 前10条
1 王松涛;;CBTC车载VOBC技术及WSP丢失故障分析[A];2010城市轨道交通关键技术论坛论文集[C];2010年
2 杨伍琳;郭建道;黄新媚;罗祖红;;自动气象站数据分析与状态检测报警系统[A];中国气象学会2005年年会论文集[C];2005年
3 封一丁;赵全胜;;计量数据分析在焦炭管理中的应用[A];第十一届全国自动化应用技术学术交流会论文集[C];2006年
4 魏先进;马艳;;1090APMS的浅析与应用[A];第十一届全国自动化应用技术学术交流会论文集[C];2006年
5 游凤荷;游汛;;粗糙集的约简算法在涡流传感器设计中的应用[A];2007'湖北·武汉NDT学术年会论文集[C];2007年
6 朱保美;周清;;能见度仪器测量与人工观测数据统计分析[A];第20届测控、计量、仪器仪表学术年会论文集[C];2010年
7 罗敏;梁旭东;周泽雁;;Excel在工程项目中的应用[A];全国冶金自动化信息网2011年年会论文集[C];2011年
8 陈和生;;高能物理实验的蒙特卡罗模拟[A];第7届全国核电子学与核探测技术学术年会论文集(二)[C];1994年
9 吴烈;;基于网络的蓄电池监测系统[A];第七届青年学术会议论文集[C];2005年
10 严怀志;陈宝;;上海化学工业区海运东航道水下障碍物探测及数据分析[A];中国航海学会航标专业委员会测绘学组学术研讨会学术交流论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 刘晓娟;城市轨道交通CBTC系统关键技术研究[D];兰州交通大学;2009年
2 陈荣武;CBTC系统列车运行仿真与优化策略[D];西南交通大学;2011年
3 王飞杰;城轨CBTC智能调度指挥系统关键技术的研究[D];北京邮电大学;2011年
4 王飞杰;城轨CBTC智能调度指挥系统关键技术的研究[D];北京邮电大学;2011年
5 韩晓刚;复杂运输机械装备运行安全的研究[D];重庆大学;2006年
6 陈宜治;函数型数据分析若干方法及应用[D];浙江工商大学;2011年
7 闫洪余;立辊式玉米收获机关键部件工作机理及试验研究[D];吉林大学;2009年
8 刘业政;基于粗糙集数据分析的智能决策支持系统研究[D];合肥工业大学;2002年
9 陈志扬;群体药代/药效动力学数据管理和分析的方法学研究[D];南京医科大学;2007年
10 徐国平;基于支持向量机的动调陀螺仪寿命预测方法研究[D];上海交通大学;2008年
中国硕士学位论文全文数据库 前10条
1 董秋丽;基于规则的CBTC系统数据分析与验证的研究[D];北京交通大学;2012年
2 毛振华;CBTC系统中区域控制器和外部联锁功能接口的设计[D];北京交通大学;2012年
3 董凯霞;城市轨道交通CBTC系统车载ATP的研究与仿真[D];兰州交通大学;2011年
4 陈志武;基于CBTC的ATS数据结构分析与设计[D];西南交通大学;2010年
5 杨清雯;CBTC无线信道建模及链路仿真器研究[D];北京交通大学;2012年
6 李凤华;城市轨道交通CBTC系统区域控制器的研究与仿真[D];兰州交通大学;2011年
7 王超;一种适用于CBTC仿真测试的脚本研究[D];北京交通大学;2010年
8 俞国荣;CBTC系统无线通信子系统的设计[D];浙江工业大学;2012年
9 杜菡萏;CBTC仿真系统的基础数据研究[D];西南交通大学;2011年
10 罗锋;CBTC系统中的身份认证研究[D];北京交通大学;2010年
中国重要报纸全文数据库 前10条
1 杨小刚;多一些数据说话,少一些观念争论[N];第一财经日报;2008年
2 邹小丹;推出全新商务差旅数据分析[N];中华工商时报;2006年
3 本报记者  徐效鸿;指数连阳 板块与个股普涨[N];中国证券报;2006年
4 本报记者  徐效鸿;题材股逞强 复牌G股走弱[N];中国证券报;2006年
5 ;增长持续快速应用更趋多样[N];人民邮电;2005年
6 记者 徐琦;国家环保总局通报松花江水污染情况[N];中国环境报;2005年
7 严吕勇;从经验管理到数据管理[N];计算机世界;2005年
8 本报记者 徐效鸿;绩优绩差齐跌 板块表现平淡[N];中国证券报;2006年
9 惠正一;脑袋VS数据 精准计量营销将效果最大化[N];第一财经日报;2007年
10 北京市工商局副局长 罗文阁;深化年检数据分析 拓展企业年检功效[N];中国工商报;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978