论文题名: | 基于混合Petri网的列车运行系统中时间推理问题的研究 |
关键词: | 列车运行系统;关键事件;时间推理;运行过程;追踪运行;推理方法;突发事件;时间区间;列车追踪;混杂系统;定量分析;强实时性;量变到质变;状态处理;智能系统;支持系统;系统状态;推理问题;实时变化;列车速度 |
摘要: | 列车运行系统(TOS)是铁路智能系统(RITS)中的核心系统,也是典型的混杂系统。如何对TOS进行建模分析是RITS研究中的关键问题。由于TOS是一类强实时性的反应系统,其动态行为与离散事件的发生密切相关,因此,对于系统中关键事件的时间推理也是TOS研究的重要内容。 针对列车运行系统中关键事件发生的时间推理问题,本文基于混合Petri网,用代数系统的方法进行时间的定量分析,动态确定关键事件发生的时间区间。该方法相对于已有的基于Petri网的时间推理方法,具有支持系统连续状态处理、实时性好等优点。针对不同速度调整策略下列车追踪运行过程的仿真实验表明:该方法能将系统中多种复杂因素的分析归结于对关键事件发生时间区间的分析;能体现系统状态由量变到质变的过程;能处理系统中的突发事件。 基于混合Petri网的时间推理方法能够定量分析混杂系统中关键事件的发生过程,监控系统的实时变化。可以有效地应用于列车速度调整分析、列车追踪运行过程分析、运行过程中突发事件的分析等方面。 |
作者: | 周清 |
专业: | 计算机软件与理论 |
导师: | 叶阳东 |
授予学位: | 硕士 |
授予学位单位: | 郑州大学 |
学位年度: | 2010 |
正文语种: | 中文 |