基于XML和Prolog的列控数据建模与验证

《基于XML和Prolog的列控数据建模与验证》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、？学校代码？１０００４密级：公开ＢＥＩＪＩＮＧＪＩＡＯＴＯＮＧＵＮＩＶＥＲＳＩＴＹ硕士学位论文基于ＸＭＬ和Ｐｒｏｌｏｇ的列控数据建模与验证作者姓名谭冠华学科专业交通信息工程及控制指导教师徐田华教授培养院系电子信息工程学院二零一八年三月如交４乂攀硕士学位论文基于ＸＭＬ和Ｐｒｏｌｏｇ的列控数据建模与验证ＭｏｄｅｌｉｎａｎｄＶｅｒｉｆｉｃａｔｉｏｎｏｆＴｒａｉｎＣｏｎｔｒｏｌＤａｔａＢａｓｅｄｏｎＸＭＬａｎｄｇＰｒｏｌｏｇ作者：谭冠华导师：徐田华北京交通大学２

2、０１８年３月学位论文版权使用授权书本学位论文作者完全了解北京交通大学有关保留、使用学位论文的规定。特授权北京交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索，提供阅览服务，并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。同意学校向国家有关部门或机构送交论文的复印件和磁盘。学校可以为存在馆际合作关系的兄弟高校用户提供文献传递服务和交换服务。（保密的学位论文在解密后适用本授权说明）：獅签名学位论文作者签名ｉ辑Ｉ：：签字日期）日：年人月日签字日期＞ｆ年Ｊ月？行／学校代码：１０００４密级：公

3、开北京交通大学硕士学位论文基于ＸＭＬ和Ｐｒｏｌｏｇ的列控数据建模与验证ＭｏｄｅｌｉｎａｎｄＶｅｒｉｆｉｃａｔｉｏｎｏｆＴｒａｉｎＣｏｎｔｒｏｌＤａｔａＢａｓｅｄｏｎＸＭＬａｎｄｇＰｒｏｌｏｇ１５１２０２７４作者姓名：谭冠华学号：导师姓名：徐田华职称：副教授：学位类别：工学硕士学位级别硕士：学科专业：交通信息工程及控制研究方向高速铁路运行控制北京交通大学２０１８年３月ｉ致谢转眼之间，，，两年多的研究生生涯就要过去了在此我表示衷心感谢那些给予我关心和帮助的人。

4、首先感谢我的导师徐田华副教授，在研宄生学习期间，给予我很大的帮助。徐，老师对我来说就是指引我前进的天灯，照亮着我前进的道路，拨开迷雾引领着我，学习。徐老师用他广阔的视野，灵活的思想以及独特的灵感指导着我、成长和进步，影响着我对学术的认识，开阔了我的眼界。通过徐老师的教导和自己的不断学习。，明显感受到自己成长了许多，衷心感谢老师的知遇之恩愿老师与家人幸福常在，感谢王海峰老师，给予我许多的、吕继东老师和张路老师在课题项目研究中，指导，提出了许多宝贵的意见，对我的论文研究提供了很大的帮助个人也学习了一些知识和经验，衷心感谢各位老

5、师的帮助。感谢王峰师兄、王广师兄、邹运怀师兄，在生活和学习上都给与了很大的帮助，师兄的热情让我感受到了他们对我的关怀。同时也感谢张志哲师弟、王君臣师弟和俞花珍师妹在实验室工作与论文撰写提供的帮助，通过与他们相处，研究生生活变得更加丰富。愿他们大鹏展翅、前程似锦。、，感谢我的舍友汤兆全和杨阔，在研究生期间，生活上我们相互帮助和睦相处一一识。感谢他们的陪伴，，让，与我起成长起前行学习上我们相互交流，增长见。我感受到前进的道路并不孤单，我的生。因为他们活更加丰满，感谢我的父亲，感谢他们对我的关爱，感、母亲和姐姐感谢父母赋

6、予我生命谢他们为我付出的辛苦和汗水，失败也，他们都是我最有力的。不管是成功也好罢，支持者，希望不仅在精神上、行动上孝顺父。学生生涯将要结束了即将走进社会，愿姐姐家母，也希望在以后的生活上，在物质方面能孝顺父母，愿父母健康平安庭幸福。学生生涯即将画上句号，但学习没有停止，在以后的工作中我将继续前行，感一一心与帮助的人，祝大家谢那些在我路成长陪伴我的人，那些给予我关路顺风。北京交通大学硕士学位论文摘要摘要，列控数据作为列控系统的基础数据是列控系统的重要组成部分，其正确性直一接影响到列控系统的安全性，，。列控数据旦发生

7、错误未能及时发现极易导致列，控系统运行异常，危及行车安全，造成经济损失和人员伤亡。随着铁路事业的发展，列控数据安全问题备受关注，面对更加高效、更加安全的发展要求。目前各铁路，，进行系统的开发设计，部门和设备生产厂商，根据自身需求定义自身数据格式影响了数据共享和软件互通，。同时列控数据具有数据量大、数据之间关系紧密的一特性，然而在列控数据的测量加工，的、数据配置和数据管理各阶段由于缺少统数据格式，使得列控数据的整个生命周期中存在大量的数据转换工作，所以研究出一套简捷、高效、可验证性强的标准化描述方法己成为大势所趋。目前我

8、国列控数据的审核校验方式主要采用的是人工审核与集成测试。当遇到新建线路、线路优化、设计方案变更等问题时，