基于Petri网理论的企业铁路调度指挥与监控系统研究

来源 :西南交通大学 | 被引量 : 0次 | 上传用户:zxhua2006
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
企业专用铁路是我国铁路的重要组成部分,它对促进所属企业的生产和发展及国家路网的整体运输效率,具有及其重要的作用。为了进一步提高企业铁路运输效率,本论文在分析了企业铁路调度指挥与现场控制需求的基础上,研究了构建企业铁路调度指挥与现场监控一体化方案。 以往对企业铁路调度指挥与监控系统的研究主要注重于计算机结构、系统功能与调度算法方面,本文提出用离散系统数学模型进行系统分析和设计,为构建以工作流技术为基础的铁路调度指挥与综合监控系统技术平台并从理论上分析系统动态性能打下基础。本论文的主要研究内容为: 1.分析了企业铁路调度指挥与监控系统的特点,明确了系统目标,分别对调度指挥、车站控制进行了需求分析。设计了企业铁路调度指挥与综合监控系统的总体方案与信息流图。 2.根据调度指挥与监控工作的特点,指出为使系统运行效率更高,不但需要良好的硬件技术平台,而且需要先进的软件支撑,为此,提出采用工作流技术构建系统软件平台的方法。 3.在讨论Petri网及基本工作流技术的基础上,研究扩展工作流网络技术。定义了扩展工作流网络GWFN模型,在GWFN中,把颜色用于表示工作流网中传输的信息,在颜色已被用于描述传输的信息的基础上,用复合颜色标记变量表示具有相同行为的个体,加强了模型的抽象能力:本扩展工作流网络模型引入了外部事件集合,使该模型不仅能描述系统的转换,也能对转换的外部条件与环境进行形式化描述;此外,GWFN还包含守卫函数的定义,使GwFN具有更好的模型结构,抽象能力更强,描述更全面。 4.应用GWFN给出了调度指挥与监控系统工作流模型,定义了相关变量。验证了系统模型正确性,采用FCFS与NPPR两种排队模型对调度反应时间进行了定量分析。设计了基于工作流管理系统的实现方案。 5.在可达树分析方面,提出并证明了独立一耦合可达分析方法,应用该方法可以更清晰的分析系统的并行独立特性,相比传统逐个变迁分析方法,效率有较大提高。该方法通过对企业铁路调度指挥及监控系统系统中的站间自动闭塞子系统的Petri网模型分析中得到验证。 6.研究了安全关键子系统(2×2取2结构)的建模方法。采用高级Petri理论设计了简化的系统模型,分析了系统动态性能,并应用随机Petri网及马尔可夫链理论对系统单元切换时间等进行了定量分析,取得了预期结果。上述研究不仅对于企业铁路调度指挥与监控系统研发具有实际意义,同时对我国综合铁路调度指挥系统及其它信号控制系统的研究开发也具有参考价值。
其他文献
本文通过对荣华二采区10
期刊
LED灯具作为新一代光源,以其绿色、环保、节能等优点,已经在家居照明和工业照明领域广泛应用。随着LED灯具的普及和人们对于高照度的要求,大功率LED灯具应运而生。然而,随着LED灯
中美贸易迅速增长,两国的贸易摩擦也日益升级,己经从技术性、经济性摩擦日益上升为制度性、政治性摩擦,日益触及了中美两国的核心利益,使得中美贸易关系日趋复杂.本文则是以
随着我国大面积提速和客运专线的大规模建设,铁路运力将得到巨大释放,客运运能紧张的局面会得到全面缓解;另外,近年来民航发展势头强劲,与铁路展开了高、中端客流的争夺;此外,加入WT
目的:探究美容切口切除乳腺良性肿瘤的临床效果。方法:选取2014年8月到2016年8月在我科进行乳腺良性肿瘤治疗的80例患者,将这些患者随机分为两组,每组各40例患者。采用分组治
21世纪经济快速发展,计划经济的时代已经过去.市场经济的时代悄然到来.在市场经济条件下,对于同样快速发展的建筑业提出了一个要求就是如何对经济成本进行管理与操控.要保证
该文对高速光通信系统的偏振效应若干问题进行了研究,主要内容包括以下几个方面:论文首先利用光纤通信系统的Jones矩阵模型,得到了输出光脉冲Stokes矢量的表达式,分析和计算
电火花加工技术是适应生产和科技发展的迫切需要在近几十年来发展起来的一种特种加工方法。它要求其加工向高效率、高精度、智能化方向发展。它又分为电火花成型及穿孔加工、
随着现代光电子技术的高速发展,对光电子元器件的尺寸要求越来越小,对信号传播速度要求越来越快,并且需要光电子元器件的高度集成一体化。而简单的光学器件受衍射极限的限制,电子
该硕士论文报道的工作就是采用超分辨技术的数学工具,对激光远场的衍射斑进行压缩和整形.该硕士论文取得的主要成果包括二个方面:第一,设计并加工了超分辨的位相板实现了小于