Event-B建模与验证:铁路联锁系统进路控制研究
需积分: 9 137 浏览量
更新于2024-07-19
收藏 6.16MB PDF 举报
"这篇硕士学位论文主要探讨了基于Event-B的联锁系统进路控制的建模与验证研究,由童湖东撰写,导师为宁滨教授,属于北京交通大学交通信息工程及控制专业的工学硕士论文。研究聚焦于铁路信号系统的关键部分——联锁系统,特别是进路控制,通过Event-B这一形式化方法进行模型构建和验证,以确保铁路运营的安全与效率。"
基于Event-B的联锁系统进路控制建模与验证研究,是针对铁路信号系统中的核心组件——联锁系统展开的。联锁系统在铁路交通中起到至关重要的作用,它确保了列车在车站的运行安全,防止错误的进路设定导致事故。随着技术的发展,计算机联锁系统因其高效性、智能化和易于维护的特性,逐渐成为联锁系统的首选。
Event-B是一种形式化建模语言和验证方法,常用于系统设计的正确性证明。在这篇论文中,作者童湖东利用Event-B对联锁系统的进路控制进行了详细建模,目的是通过形式化的手段确保模型的逻辑无误,提高铁路运营的安全性。进路控制是联锁系统中的关键功能,它涉及到列车路径的设定、信号的控制以及道岔的定位,这些都需要精确无误的执行。
在建模过程中,Event-B允许作者定义系统的状态、变迁规则以及事件触发条件。通过对这些元素的严谨表述,可以构造出一个详细的模型,然后通过自动化工具进行验证,检查模型是否满足预设的正确性属性。这种验证过程有助于在系统实施之前发现潜在的错误,防止实际操作中的问题发生。
此外,论文中可能还涵盖了基于通信的列车运行控制(CBTC)的研究方向,这是现代城市轨道交通系统中广泛采用的一种先进技术,它依赖于无线通信来实现列车与地面控制中心之间的实时信息交换,从而实现更精确的列车控制。
这篇论文的完成得到了导师宁滨教授和王海峰副教授的指导,以及其他实验室成员和同学的支持,他们对作者在学术和生活上的关心与帮助,使得这项研究得以顺利进行。
这篇论文对于理解和提升铁路联锁系统的安全性,以及在Event-B框架下的系统验证技术有深远的意义,不仅为理论研究提供了有价值的贡献,也为实际的铁路交通系统设计提供了可靠的分析工具。
2022-12-16 上传
2023-05-23 上传
2023-05-23 上传
2023-05-23 上传
2023-05-21 上传
2023-05-23 上传
2023-06-12 上传
2023-09-07 上传
2023-07-15 上传
![](https://profile-avatar.csdnimg.cn/67b6fe980bb84d359744d3eef93fff80_kingbox2008.jpg!1)
kingbox2008
- 粉丝: 0
- 资源: 5
最新资源
- 多模态联合稀疏表示在视频目标跟踪中的应用
- Kubernetes资源管控与Gardener开源软件实践解析
- MPI集群监控与负载平衡策略
- 自动化PHP安全漏洞检测:静态代码分析与数据流方法
- 青苔数据CEO程永:技术生态与阿里云开放创新
- 制造业转型: HyperX引领企业上云策略
- 赵维五分享:航空工业电子采购上云实战与运维策略
- 单片机控制的LED点阵显示屏设计及其实现
- 驻云科技李俊涛:AI驱动的云上服务新趋势与挑战
- 6LoWPAN物联网边界路由器:设计与实现
- 猩便利工程师仲小玉:Terraform云资源管理最佳实践与团队协作
- 类差分度改进的互信息特征选择提升文本分类性能
- VERITAS与阿里云合作的混合云转型与数据保护方案
- 云制造中的生产线仿真模型设计与虚拟化研究
- 汪洋在PostgresChina2018分享:高可用 PostgreSQL 工具与架构设计
- 2018 PostgresChina大会:阿里云时空引擎Ganos在PostgreSQL中的创新应用与多模型存储