列控数据计算机辅助设计与验证方法研究
发布时间：2021-12-25 02:06
列车运行控制系统作为监督控制列车运行的主要技术装备,是确保列车运行安全、正点、高效的关键。现阶段,我国列控系统的数据设计和准备通常由人工完成,各子系统功能不同,对数据的描述手段也各有不同。缺乏统一的数据模型使得各子系统之间数据交互困难,数据验证不充分。同时,人工为主的工作方式在开发成本和效率、保证设计质量等方面存在诸多问题。列控数据种类多样且逻辑关系复杂,数据安全风险较大,因此对数据建模和验证的研究十分迫切。论文主要工作包括以下四个方面:（1）分析CTCS-3级列控系统的结构与各单元、组件等对数据的需求。对列控系统的线路网络数据和基础设备数据进行分析和深入研究,在此基础上得到列控系统基础线路数据的固有特征和组织方式。高效而合理的数据描述方式使得数据管理更加方便,数据使用更加稳定。（2）针对列控系统的基础线路数据,提出列控拓扑数据的建模方法。将图论知识应用到模型建立过程中,基于线路的平面布置图得到列控静态线路数据及其拓扑关系,设计模型数据结构及模型关系,实现了对列控静态基础线路数据的统一描述。（3）基于CTCS-3级列控系统的数据需求,总结列控系统基础线路数据需要验证的属性,主要包括值域...
【文章来源】：北京交通大学北京市 211工程院校 教育部直属院校
【文章页数】：89 页
【学位级别】：硕士
【部分图文】：
图２－１三种层次的数学模型??Ｆｉｇｕｒｅ?２－１?Ｔｈｒｅｅ?ｋｉｎｄｓ?ｏｆ?ｄａｔａ?ｍｏｄｅｌ??
图２－２简单图举例??Ｆｉｕｒｅ?２－２Ｓｉｍｌｅｒａｈ?ｄｉａｒａｍ??
—对顶点巧和Ｖ／相关联，％、Ｖｙ不一定不同，且ｒ￡、ｉ＾ｅＶ。通常用集合｜Ｖ｜和｜Ｅ｜分??别表示顶点个数和边的数量。需要注意的是，图中顶点一定不能为空，而边可以??为空。简单图举例如图２－２所示。??图２－２简单图举例??Ｆｉｇｕｒｅ?２－２Ｓｉｍｐｌｅ?ｇｒａｐｈ?ｄｉａｇｒａｍ??从图中可看出它是一个由顶点集为｛Ａ，Ｂ，Ｃ，Ｄ，Ｅ｝，边集为｛ｅ１（ｅ２，ｅ３，ｅ４，ｅｓ，ｅ６｝组??成的图，每条边的端点如图所示。??２．２．２图论相关术语??图论是以图为研宄对象的数学分支，可解决运筹学、网络理论和计算机等学??１０??
【参考文献】：
期刊论文
[1]基于二叉树结构高速铁路联锁系统设计与实现[J]. 杨美娜,杨扬. 铁路计算机应用. 2017(04)
[2]基于SAT的应答器工程数据逻辑规则提取及验证[J]. 王彤典,赵会兵. 铁道学报. 2017(02)
[3]城轨计算机联锁的数据安全性验证[J]. 周果,赵会兵. 铁道学报. 2016(08)
[4]基于邻接表的进路广度搜索算法分析[J]. 文冬林. 科技资讯. 2013(34)
[5]DevExpress图表控件XtraCharts在监控软件中的应用[J]. 张国梁. 电脑与电信. 2011(06)
[6]铁路信号控制系统中的数据安全与数据组织[J]. 马强. 硅谷. 2009(18)
[7]基于层次模型的智能数据挖掘框架及其模型[J]. 赖邦传,陈晓红. 计算机工程. 2004(01)
[8]铁路地理信息系统（RGIS）元数据问题研究[J]. 李洋,刘影,刘仍奎. 中国铁道科学. 2003(05)
[9]车站平面图CAD系统的设计与实现[J]. 张晶,周磊山,乐逸祥. 北方交通大学学报. 2002(01)
[10]铁路车站信号选路中图论应用的研究[J]. 王晓明,郭进,姚琨岚. 铁道学报. 1989(02)
博士论文
[1]城轨CBTC系统数据的安全处理与验证方法研究[D]. 黄友能.北京交通大学 2014
[2]轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D]. 燕飞.北京交通大学 2006
硕士论文
[1]基于车长的CBTC的车载ATP安全制动模型研究与仿真[D]. 汪领领.东华大学 2014
[2]CTCS-3级列控系统地车安全信息传输子系统的建模与分析[D]. 全宏宇.北京交通大学 2014
[3]基于规则的CBTC系统数据分析与验证的研究[D]. 董秋丽.北京交通大学 2012
[4]CTCS-2级客专列控CAD的设计和验证[D]. 业青.北京交通大学 2011
[5]CBTC仿真系统的基础数据研究[D]. 杜菡萏.西南交通大学 2011
[6]CTCS-3级列控系统的UML建模与模型检验研究[D]. 吴晓丹.北京交通大学 2010
[7]CBTC系统线路数据自动生成研究[D]. 陈法仲.北京交通大学 2010
[8]计算机联锁仿真系统线路数据自动生成工具的研究与开发[D]. 袁春贵.北京交通大学 2009
本文编号：3551599
【文章来源】：北京交通大学北京市 211工程院校 教育部直属院校
【文章页数】：89 页
【学位级别】：硕士
【部分图文】：
图２－１三种层次的数学模型??Ｆｉｇｕｒｅ?２－１?Ｔｈｒｅｅ?ｋｉｎｄｓ?ｏｆ?ｄａｔａ?ｍｏｄｅｌ??
图２－２简单图举例??Ｆｉｕｒｅ?２－２Ｓｉｍｌｅｒａｈ?ｄｉａｒａｍ??
—对顶点巧和Ｖ／相关联，％、Ｖｙ不一定不同，且ｒ￡、ｉ＾ｅＶ。通常用集合｜Ｖ｜和｜Ｅ｜分??别表示顶点个数和边的数量。需要注意的是，图中顶点一定不能为空，而边可以??为空。简单图举例如图２－２所示。??图２－２简单图举例??Ｆｉｇｕｒｅ?２－２Ｓｉｍｐｌｅ?ｇｒａｐｈ?ｄｉａｇｒａｍ??从图中可看出它是一个由顶点集为｛Ａ，Ｂ，Ｃ，Ｄ，Ｅ｝，边集为｛ｅ１（ｅ２，ｅ３，ｅ４，ｅｓ，ｅ６｝组??成的图，每条边的端点如图所示。??２．２．２图论相关术语??图论是以图为研宄对象的数学分支，可解决运筹学、网络理论和计算机等学??１０??
【参考文献】：
期刊论文
[1]基于二叉树结构高速铁路联锁系统设计与实现[J]. 杨美娜,杨扬. 铁路计算机应用. 2017(04)
[2]基于SAT的应答器工程数据逻辑规则提取及验证[J]. 王彤典,赵会兵. 铁道学报. 2017(02)
[3]城轨计算机联锁的数据安全性验证[J]. 周果,赵会兵. 铁道学报. 2016(08)
[4]基于邻接表的进路广度搜索算法分析[J]. 文冬林. 科技资讯. 2013(34)
[5]DevExpress图表控件XtraCharts在监控软件中的应用[J]. 张国梁. 电脑与电信. 2011(06)
[6]铁路信号控制系统中的数据安全与数据组织[J]. 马强. 硅谷. 2009(18)
[7]基于层次模型的智能数据挖掘框架及其模型[J]. 赖邦传,陈晓红. 计算机工程. 2004(01)
[8]铁路地理信息系统（RGIS）元数据问题研究[J]. 李洋,刘影,刘仍奎. 中国铁道科学. 2003(05)
[9]车站平面图CAD系统的设计与实现[J]. 张晶,周磊山,乐逸祥. 北方交通大学学报. 2002(01)
[10]铁路车站信号选路中图论应用的研究[J]. 王晓明,郭进,姚琨岚. 铁道学报. 1989(02)
博士论文
[1]城轨CBTC系统数据的安全处理与验证方法研究[D]. 黄友能.北京交通大学 2014
[2]轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D]. 燕飞.北京交通大学 2006
硕士论文
[1]基于车长的CBTC的车载ATP安全制动模型研究与仿真[D]. 汪领领.东华大学 2014
[2]CTCS-3级列控系统地车安全信息传输子系统的建模与分析[D]. 全宏宇.北京交通大学 2014
[3]基于规则的CBTC系统数据分析与验证的研究[D]. 董秋丽.北京交通大学 2012
[4]CTCS-2级客专列控CAD的设计和验证[D]. 业青.北京交通大学 2011
[5]CBTC仿真系统的基础数据研究[D]. 杜菡萏.西南交通大学 2011
[6]CTCS-3级列控系统的UML建模与模型检验研究[D]. 吴晓丹.北京交通大学 2010
[7]CBTC系统线路数据自动生成研究[D]. 陈法仲.北京交通大学 2010
[8]计算机联锁仿真系统线路数据自动生成工具的研究与开发[D]. 袁春贵.北京交通大学 2009
本文编号：3551599
本文链接：https://www.wllwen.com/kejilunwen/sousuoyinqinglunwen/3551599.html
