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

基于时间自动机的车车通信移动闭塞功能研究与验证

闫丽霞  
【摘要】:随着城轨CBTC(Communication Based Train Control,基于通信的列车运行控制)信号系统的发展以及5G(5th Generation Mobile Networks,第5代移动通信网络)技术的应用,基于车车通信的列车运行控制系统研究应运而生。该系统突破了传统CBTC系统以地面设备为核心的列车控制方式,重组系统架构,优化系统功能,以车载设备为核心实现移动闭塞功能,提高了列车的灵活性与智能性,同时由于地面设备的精简,使得系统间接口得到简化,控制信息直达列车,降低了系统反应时间。车载移动闭塞功能作为车车通信列控系统的核心功能,其正确性与有效性必须得到保障。形式化验证与仿真测试验证可以对系统规范制定的合理性以及系统功能实现的有效性进行验证,可及时发现系统开发过程中可能存在的不安全因素,对系统的研究和应用具有理论价值与实践意义。本文以车车通信列控系统架构为基础,重点研究实现系统车载移动闭塞功能的三大主要功能——前车识别、列车筛选以及车载移动授权生成,采用时间自动机理论和UPPAAL工具对上述功能的具体实现进行了形式化描述与验证,并在测试平台上完成了测试验证,验证了系统功能开发的合理性与有效性。具体工作如下:(1)在分析车车通信列控系统功能与特点的基础上,重点研究车载子系统移动闭塞功能。分析实现车载移动闭塞功能的主要模块的功能需求,分析前车识别、列车筛选以及车载移动授权生成过程中系统模块完成的具体功能及处理流程,并对各模块功能实现过程中子系统模块间的信息交互情况进行了分析,为后续系统的建模与验证奠定了基础。(2)根据列控系统VVA(Verification,Validation,Accreditation,校核、验证与确认)理论与时间自动机建模过程,结合前车识别、列车筛选以及车载移动授权生成流程和系统模块间信息交互情况,分别建立了前车识别、列车筛选和车载移动授权生成模块时间自动机网络模型。采用UPPAAL工具依据的BNF(Backus-Naur Form,巴科斯范式)验证语法对各模块的安全性与受限活性特性进行了描述,并完成了相关验证。(3)搭建车车通信列控系统仿真测试平台,设计前车识别、列车筛选以及车载移动授权生成模块测试用例,依据测试用例及测试执行流程进行测试验证,完成了系统功能测试验证。


知网文化
【相似文献】
中国期刊全文数据库 前19条
1 向睿洋;;大喊大叫只会让你更加愤怒[J];大众健康;2019年07期
2 ;2017年第4期伐宋援郑有奖征答答案[J];棋艺(象棋版);2017年07期
3 曹全忠;;布局著名变例典藏集锦[J];棋艺(象棋版);2017年06期
4 ;2017年第6期五兵赶王有奖征答答案[J];棋艺(象棋版);2017年09期
5 王士华;;七律·前车鉴[J];开心老年;2015年09期
6 刘汉夫;棋局:春在枝头[J];河北农业;2001年01期
7 向睿洋;;大喊大叫只会让你更加愤怒[J];家庭科技;2019年09期
8 Neville;黑石头;;威龙出品1/35 英国25磅Ⅱ型野战炮带前车及炮手[J];模型世界;2012年02期
9 本刊整理;;驾驶基础知识100条(中)[J];交通与运输;2017年05期
10 王宝宝;王瑞峰;;基于遗传算法的追踪列车节能操纵优化研究[J];城市轨道交通研究;2013年11期
11 胡成国;为何“前车之覆,后车不鉴”?[J];群众;1998年03期
12 胡成国;“前车之覆,后车不鉴”透析[J];理论学习与探索;1997年06期
13 王新景;;让新手尽快度过适应期的几点体会[J];汽车运用;2012年01期
14 傅世善;;铁路信号基础知识 第三讲 闭塞制式的基本概念[J];铁路通信信号工程技术;2009年04期
15 陈子淡;;有恃无恐[J];喜剧世界(上半月);2014年03期
16 傅世善;;铁路信号基础知识 第三讲 准移动闭塞的选择[J];铁路通信信号工程技术;2011年05期
17 陈殿武;;“马后炮”也要放[J];中国农垦;1982年09期
18 ;微语录[J];中国安全生产;2020年10期
19 陈建新;神工鬼斧[J];棋艺;2004年08期
中国重要会议论文全文数据库 前20条
1 侯露露;;浅析涂装车间过线前车与后车碰撞干涉的原因及解决方案[A];第十六届河南省汽车工程科技学术研讨会论文集[C];2019年
2 赵红;;列车控制系统中准移动闭塞和移动闭塞的分析与比选[A];2015中国(天津)区域轨道交通发展及装备关键技术论坛暨第24届地铁学术交流会论文集[C];2015年
3 康琦;安静;吴启迪;;基于通信的列车控制系统及移动闭塞技术研究[A];可持续发展的中国交通——2005全国博士生学术论坛(交通运输工程学科)论文集(下册)[C];2005年
4 周炜;张天侠;崔海涛;赵侃;;汽车追尾碰撞有限元仿真的研究[A];第三届中国CAE工程分析技术年会论文集[C];2007年
5 何永发;;城际铁路列控系统研究[A];列车运行控制系统技术交流会专刊[C];2013年
6 谢力;陈慧;;用于自适应巡航系统评价的系统特性生成方法[A];2015中国汽车工程学会年会论文集(Volume2)[C];2015年
7 李通;鹿应荣;王庞伟;余贵珍;;基于模糊PID的车辆协同跟随控制算法研究[A];2014第九届中国智能交通年会大会论文集[C];2014年
8 管建华;王海忠;;高速客运专线列控系统方案的思考[A];铁路客运专线建设技术交流会论文集[C];2005年
9 谢静高;石锐华;;客运专线列控系统技术方案的探讨[A];铁路客运专线建设技术交流会论文集[C];2005年
10 周晓燕;李兵;潘伟丰;覃叶宜;;基于错误传播概率网络的软件回归测试用例选择[A];第五届全国复杂网络学术会议论文(摘要)汇集[C];2009年
11 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
12 林春哲;张凯;王道堂;;软件测试用例设计分析[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
13 张侠影;李志蜀;;一种优化的测试用例约简方法[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
14 张德平;聂长海;徐宝文;;划分测试用例选择策略研究[A];第五届中国测试学术会议论文集[C];2008年
15 张勇;;基于Linux的FiberHome_ISO定制的标准化研究[A];第十七届中国标准化论坛论文集[C];2020年
16 张莉艳;李平;贾利民;杨峰雁;;在移动闭塞条件下列车运行调整的仿真研究[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];2005年
17 张莉艳;李平;贾利民;杨峰雁;;在移动闭塞条件下列车运行调整的仿真研究[A];中国铁道学会——2004年度学术活动优秀论文评奖论文集[C];2005年
18 王斌;;软件测试用例相关问题探讨[A];中国原子能科学研究院年报 2013[C];2014年
19 周瑞杰;江国华;;基于遗传算法的面向对象类测试用例生成研究[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(下册)[C];2010年
20 王力;刘海祥;程梁;;城际客运专线信号列控系统选型的思考[A];列车运行控制系统技术交流会专刊[C];2013年
中国博士学位论文全文数据库 前15条
1 高士根;多列车协同运行的若干控制问题研究[D];北京交通大学;2016年
2 路飞;移动闭塞条件下地铁列车的运行优化[D];山东大学;2007年
3 郭荣昌;高速铁路列控系统运营风险评估方法研究[D];兰州交通大学;2017年
4 ;[D];;年
5 刘勇;基于变异的错误定位优化技术研究[D];北京化工大学;2018年
6 王静;有效载荷系统测试用例智能规划方法研究[D];中国科学院大学(中国科学院国家空间科学中心);2018年
7 郭心睿;基于“生成—检验”框架的软件代码错误自动修复技术研究[D];清华大学;2017年
8 张功杰;基于集合进化与占优关系的变异测试用例生成[D];中国矿业大学;2017年
9 张慧;基于测试用例的错误定位技术研究[D];东南大学;2016年
10 张旭舟;面向复杂程序结构的测试用例自动生成方法研究[D];北京邮电大学;2018年
11 游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
12 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
13 邢颖;测试用例自动生成的分支限界算法及实验研究[D];北京邮电大学;2014年
14 李根;基于动态测试用例生成的二进制软件缺陷自动发掘技术研究[D];国防科学技术大学;2010年
15 李军义;软件测试用例自动生成技术研究[D];湖南大学;2008年
中国硕士学位论文全文数据库 前20条
1 闫丽霞;基于时间自动机的车车通信移动闭塞功能研究与验证[D];兰州交通大学;2020年
2 陈姣;基于车车通信的列控系统典型运营场景建模与验证[D];北京交通大学;2018年
3 李聪;基于状态机的车车通信环境下列车通信协作研究[D];北京交通大学;2017年
4 王鹏飞;基于前车历史轨迹点的路径规划与跟随控制方法研究[D];湖南大学;2019年
5 李亚情;基于图像的前车状态警示系统设计与实现[D];大连海事大学;2017年
6 冯禹;基于青藏线ITCS系统的移动闭塞模型研究[D];北京交通大学;2019年
7 王博通;车联网环境下基于移动闭塞的交叉口群速度引导模型及仿真[D];北京交通大学;2019年
8 王琳;基于卫星定位的列控系统移动闭塞技术研究[D];中国铁道科学研究院;2018年
9 吴群群;基于时间自动机的实时系统测试用例生成方法研究[D];杭州电子科技大学;2017年
10 刘剑;城市轨道交通移动闭塞系统后备模式的研究[D];铁道部科学研究院;2005年
11 李航;基于3S技术的铁路移动闭塞研究[D];西南交通大学;2017年
12 裴佳良;移动闭塞下的列车控制算法研究与仿真[D];重庆交通大学;2017年
13 张海军;基于无线通信的信号控制系统设计[D];南京理工大学;2011年
14 施汀瑞;基于时间自动机的RBC切换的建模分析与实现[D];北京交通大学;2019年
15 苏琪;信息物理融合系统形式化建模与安全验证方法研究[D];浙江工业大学;2019年
16 汪瑜玮;嵌套时间自动机的深入研究[D];上海交通大学;2019年
17 刘立;异步多进程时间自动机的可覆盖性问题研究[D];上海交通大学;2017年
18 霍辛叶;基于概率时间自动机的智能医疗处理流程分析[D];大连理工大学;2018年
19 赵雷;基于时间自动机的矿井机车无人驾驶系统建模与验证[D];合肥工业大学;2017年
20 贺伟;基于时间自动机的行车许可的建模与验证[D];西南交通大学;2018年
中国重要报纸全文数据库 前20条
1 本报记者 潘从武 本报通讯员 程佳佳 徐雪莉;开慢车被追尾前车也担责[N];法制日报;2018年
2 杨堃;后车追尾,缘何前车司机被判刑?[N];人民法院报;2017年
3 王志远;好秩序 规矩造[N];经济日报;2017年
4 陈军;前车之覆当为后车之鉴[N];中国纪检监察报;2017年
5 周陈华 季金龙;前车之辙 后车之鉴[N];人民法院报;2017年
6 韩光胤 本报记者 郭一麟;前车之覆 后车之鉴[N];中国交通报;2018年
7 李伟 宫树荣;后车撞前车 前车也有责[N];人民公安报·交通安全周刊;2006年
8 李小刚;“五一”前车市价格平稳[N];山西经济日报;2005年
9 王颖;节前车市有点火[N];宁波日报;2007年
10 高阳 记者 孙莹;前车不礼让,后车当“榜样”?罚![N];哈尔滨日报;2019年
11 黄州区人民检察院党组书记 检察长 易孝猛;“前车之覆”告诉我们什么?[N];黄冈日报;2015年
12 李东阳;春节前车市还能旺一把?[N];市场报;2004年
13 市统计局党组书记、局长 夏军;以案明纪 以案促改 让前车之覆真正成为后车之鉴[N];安阳日报;2019年
14 杜占春;前车之覆,当鉴![N];中国纪检监察报;2000年
15 本报记者 刘默涵;节前车源紧张 车价悄然回涨[N];海峡财经导报;2013年
16 郑佳艳 鲍云洁 魏宁;节前车市上演“最后冲刺”[N];宁波日报;2007年
17 商报记者  蓝朝晖;军博车展未能预热节前车市[N];北京现代商报;2006年
18 记者 方冬;衢城节前车市一车难求[N];衢州日报;2011年
19 本报记者 阮春生;前车之覆 后车之鉴[N];丽水日报;2009年
20 本报评论员;前车之覆 后车之鉴[N];昆明日报;2008年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978