城轨CBTC系统数据的安全处理与验证方法研究

【摘要】CBTC系统作为保证行车安全的列车自动控制系统,具有基于计算机控制、移动闭塞追踪、闭环控制等优点。相比传统的固定闭塞列车自动控制系统：CBTC系统通过不同种类的数据来实现对系统真实环境的描述和系统功能的驱动,数据安全是CBTC系统安全的一个重要组成环节,但保证数据安全是轨道交通安全生产的突出薄弱环节。因此,开展CBTC系统数据安全的研究具有重要意义。本文以我国自主研制的CBTC系统为研究对象,围绕如何保证CBTC系统数据安全,建立了基于数据驱动的CBTC系统模型,总结了CBTC系统数据描述对象多、数据之间存在安全约束关系、系统具有数据老化的特点,提出了通过保证数据之间正确的安全约束关系来确保数据正确,从而达到数据安全的目的。然后,在分析了数据错误类型的基础上,明确了从数据处理和数据验证方法上开展研究的必要性。本文主要成果和创新点如下：(1)本文针对静态数据描述对象多的特点,给出了数据结构化描述方法；针对静态数据之间存在的拓扑规则、属性规则,提出了通过SAT方法对静态数据进行了处理,解决了静态数据虚假数据错误及值错误的问题,同时,结合列控系统VOBC子系统和ZC子系统分别在计算位置和移动授权时,对线路拓扑的需求,给出了系统拓扑描述方法以及有约束条件的路径搜索算法,解决拓扑逻辑错误的问题。(2)本文分析了列车追踪运行模型,提取列车位置和移动授权两个动态数据进行处理,研究了列车安全位置处理方法,同时,在分析了移动授权生成模型的基础上,提出了移动授权性能和功能安全约束条件,并采用LTL对安全约束条件进行了处理。(3)针对静态数据中存在的条件关系,提出了采用基于CSP模型的数据安全验证方法,以UML为源模型,通过LTS语义转换以及模型转换规则,将UML建立的时序模型转换为CSP模型进行验证,并通过实例说明了模型转换方法的可行性。(4)针对动态数据中存在的依赖关系和数据老化特点,提出了基于TA模型的数据安全验证方法,以UML为源模型,进行了时间上的扩展,并给出模型转换规则,将UML建立的时序模型转换为TA模型进行验证,解决了动态数据存在的一致性问题和数据在应用过程中出现的组合错误问题,并通过实例说明模型转换方法的可行性。(5)以保证列车在同济南站站台和部分区间线路上行车安全为背景,通过两个实例,分别对静态数据,从数据老化和安全约束条件两个方面进行验证；对动态数据,从动态数据老化、动态数据一致性、安全约束条件三个方面进行验证,说明了采用基于形式化模型方法对数据安全验证是可行的。
【作者】黄友能；
【导师】唐涛；
【作者基本信息】北京交通大学，交通信息工程及控制，2014，博士
【关键词】CBTC；数据安全；数据处理；数据验证；

【参考文献】
[1]刘金瑞.长期限食及模拟限食下调微囊泡中miR-21可延缓肾脏衰老相关纤维化的调控机制[D].吉林大学,临床医学,2014,硕士.
[2]李璐杰.风障对高速公路桥梁段和路堤段区域气流场的影响[D].北京交通大学,2014.
[3]李邦云,丁晓群,程莉.基于数据挖掘的负荷预测[J].电力自动化设备,2003,08:52-55.
[4]齐佳音,韩新民,李怀祖.我国客户关系管理研究的紧迫性和方向分析[J].管理科学学报,2002,04:88-94.
[5]冯波.变电站SCADA系统数据库的设计与开发[D].山东大学,控制科学与工程,2013,硕士.
[6]崔晓波.古村落旅游发展中社区参与效度研究[D].沈阳师范大学,旅游管理,2013,硕士.
[7]孙艺卓.社会企业影响因素及运行机制研究[D].浙江大学,2010.
[8]曹素杰.关联理论视角下的广告翻译策略研究[D].辽宁大学,外国语言学及应用语言学,2012,硕士.
[9]陈修涛.基于复杂网络理论的电网连锁故障分析[D].西南交通大学,控制工程,2014,硕士.
[10]黄俊.养老保险制度改革中个人账户法律问题研究[D].安徽大学,经济法学,2014,硕士.
[11]周勇,向红.跨座式单轨交通的适应性分析[J].现代城市轨道交通.2006(04)
[12]陈芬洁.导游人员胜任力模型的构建及应用研究[D].合肥工业大学,企业管理,2013,硕士.
[13]李季.“神经元网络及其应用”学术讨论会在京举行[J].自动化学报,1989,06:486.
[14]曹广元.微机电产品零件粉末注射成形[D].沈阳理工大学,材料加工工程,2013,硕士.
[15]常卫华.T形截面带暗支撑短肢剪力墙抗震性能试验及分析[D].北京工业大学,结构工程,2004,硕士.
[16]蔡章利.工业企业市场营销决策支持系统开发与研究[D].重庆大学,2003.
[17]王刚.中国手风琴基础教学研究[D].河北师范大学,音乐学,2012,硕士.
[18]闫德勤,刘胜蓝,李燕燕.一种基于稀疏嵌入分析的降维方法[J].自动化学报,2011,11:1306-1312.
[19]林娟,罗勇,张龙,马俊彦,马晶晶.GeoEast处理系统在准南复杂高陡构造地区的应用[J].石油地球物理勘探,2014,S1:60-65+3.
[20]陈丽芳.基于历史视角的海外耕地投资研究[D].华中科技大学,土地资源管理,2013,硕士.
[21]郑艳君,梁意文.数据挖掘在免疫入侵检测中的应用[J].孝感学院学报,2005,03:66-68.
[22]陈林.十四冶建设集团发展战略研究[D].云南财经大学,工商管理（专业学位）,2014,硕士.
[23]马岩岩.电力企业OA系统设计与实现[D].电子科技大学,软件工程（专业学位）,2012,硕士.
[24]王茂伟.HMGB1对病毒性心肌炎DNA粘膜疫苗的免疫增强作用及其机制[D].苏州大学,药理学,2012,硕士.
[25]申颖.江苏省主导产业选择及其关联效应分析[D].南京财经大学,产业经济学,2012,硕士.
[26]陈宇萍.中国近代国际私法渊源之考析——清代国际私法研究[D].大连海事大学,国际法学,2004,硕士.
[27]杨燕萍.嘉峪关市生态用地CGE模型构建与应用研究[D].兰州大学,环境工程（专业学位）,2013,硕士.
[28]李萍.基于CBCR模型的寓言性四字成语研究[D].四川外国语大学,外国语言学及应用语言学,2014,硕士.
[29]白明华.跨国水资源的国际合作法律研究[D].对外经济贸易大学,国际法学,2014,博士.
[30]黄群.《爱妻》中第三空间的文化身份[D].四川外国语大学,英语语言文学,2014,硕士.
[31]王于栋.工程化思维下商业银行信用风险管理研究[D].湖南大学,金融学,2003,硕士.
[32]颜伟,宋林滔,余娟,卢健刚,李钦,张海兵.基于权函数的电网参数分区辨识与估计方法[J].电力系统自动化,2011,05:25-30.
[33]黄海华.行政计划理论初探[D].苏州大学,宪法与行政法,2003,硕士.
[34]汪春娇.弗拉基米尔·普京演讲稿特点分析[D].河北师范大学,俄语语言文学,2014,硕士.
[35]柴丽莉.锂离子电池石墨电极新型粘结剂的研究[D].苏州大学,无机化学,2013,硕士.
[36]白锁.钴纳米线和钐锰合金纳米管的制备和磁性研究[D].内蒙古大学,物理学,2014,硕士.
[37]王亚伟.内配型钢的钢管混凝土压弯构件力学性能研究[D].兰州理工大学,结构工程,2013,硕士.
[38]闵程程.基于RS和GIS的中国东部南北样带森林生态系统蒸散研究[D].湖北大学,地图学与地理信息系统,2012,硕士.
[39]赵翠翠.密钥导出算法的安全性分析及在Windows域安全中的应用[D].厦门大学,电子与通信工程,2014,硕士.
[40]叶杨.西安国有资产产权退出模式研究[D].西安建筑科技大学,企业管理,2004,硕士.
[41]郑敏.小产权房的合法化探究[D].山东财经大学,民商法学,2014,硕士.
[42]唐文琴.协同教育视角下中国家校关系的失衡与反思[D].西南大学,教育学原理,2013,硕士.
[43]刘珊珊.现代五项优秀运动员3×1000m间歇跑能量消耗特点的研究[D].北京体育大学,运动人体科学,2013,硕士.
[44]费翔.构建泰州特色现代产业体系研究[D].南京理工大学,工商管理,2012,硕士.
[45]路世瑞,路琳娜.有关高精度宽范围转速检测若干问题的探讨[J].冶金自动化,1993,01:30-34+60.
[46]方芳.On the Cross-cultural Self-consciousness in Lin Yutang’s Translation[D].安徽大学,英语语言文学,2004,硕士.
[47]史晓丹.基于粗糙集与遗传规划的港口吞吐量预测研究[D].北京交通大学,2014.
[48]杨春雷.双桥货场物流化改造项目的规划研究[D].西南交通大学,工商管理,2012,硕士.
[49]杜启振.薄层含气砂体预测方法[J].石油地球物理勘探,1997,S1:7-11+193.
[50]褚仁君.金山区青年教师培养研究[D].华东师范大学,教育,2001,硕士.