原文传递
CTCS-3级列控系统等级转换运营场景智能形式化研究
| 论文题名： | CTCS-3级列控系统等级转换运营场景智能形式化研究 |
| 关键词： | 列车运行控制系统;Agent理论;等级转换运营场景;MAS理论 |
| 摘要： | 对中国列车运行控制系统进行建模研究分析已经成为目前铁路智能运输系统研究方面的主要问题之一。随着列车速度的不断提高以及铁路路段上列车车次的不断增多,列车运行安全性问题的保障已经迫在眉睫。列车运行控制系统是一种具有安全苛求性的巨复杂系统,其每一个环节都需要精确的安全分析和验证。其中,对列车运营场景进行安全性分析是保障列车运行安全的重要手段之一。 基于Agent理论的建模仿真方法是通过多智能体系统MAS中Agent之间的消息交互来对大规模系统进行描述,非常适用于解决此类安全苛求性系统中的复杂问题。但是Agent不能直接支持软件的开发和实现,缺乏对模型的分析和验证。着色Petri网是一种可以对并发系统进行描述和分析的主要形式化工具之一,它不但具有坚实的数学基础,而且具有图形化的表示方式,可以确切地表示 Agent行为结构。因此把着色 Petri网和Agent理论结合起来,可以更为准确和有效的对复杂系统的静态结构和动态行为进行描述,以实现对系统进行全面的建模研究。 本文采用MAS理论和层次着色Petri网混合建模方法对中国列车运行控制系统列车等级转换运营场景进行了研究。将列车等级转换场景抽象为 MAS,将列车和无线闭塞中心抽象为Agent,将其通信环境 GSM-R无线传输网络抽象为 Agent间的交互环境。提出了一种具有层次性的车-地主体 Agent的内部设计方式,定义了一种扩展性的、具有处理复杂事件能力且适用于此场景模型的Agent。对Agent的构成元素进行了详细的解释,给出了Agent的内部推理流程图,并对其内部推理过程进行了具体描述。采用具有扩展子页功能的CPN Tools工具建立了详细的具有层次化结构的CPN模型,使车-地通信过程、MAS整体行为以及车-地主体内部推理流程可视化。最后使用CPN Tools工具生成了场景模型状态空间报告,并通过对模型状态空间报告的分析确保了模型的正确性。通过对模型进行多次模拟仿真,分析了该场景中不同通信故障率情况下非周期性消息的重发时间间隔对控车实时性能的影响,验证了模型的可行性。 |
| 作者： | 王振强 |
| 专业： | 计算机应用技术 |
| 导师： | 胡晓辉 |
| 授予学位： | 硕士 |
| 授予学位单位： | 兰州交通大学 |
| 学位年度： | 2014 |
| 正文语种： | 中文 |
检索历史
应用推荐
