CTCS-3级列控系统等级转换运营场景智能形式化研究

来源 :兰州交通大学 | 被引量 : 2次 | 上传用户:2034912
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对中国列车运行控制系统进行建模研究分析已经成为目前铁路智能运输系统研究方面的主要问题之一。随着列车速度的不断提高以及铁路路段上列车车次的不断增多,列车运行安全性问题的保障已经迫在眉睫。列车运行控制系统是一种具有安全苛求性的巨复杂系统,其每一个环节都需要精确的安全分析和验证。其中,对列车运营场景进行安全性分析是保障列车运行安全的重要手段之一。基于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工具生成了场景模型状态空间报告,并通过对模型状态空间报告的分析确保了模型的正确性。通过对模型进行多次模拟仿真,分析了该场景中不同通信故障率情况下非周期性消息的重发时间间隔对控车实时性能的影响,验证了模型的可行性。
其他文献
目前,基于C/S模式的流媒体技术,正承受着资源服务器负载过大,容易造成瓶颈带宽等问题的困扰。而正在兴起的P2P技术,与传统的C/S模式相比,占用的服务器资源较少,占用的带宽比较低、对
随着网络技术的不断发展,传统的基于UDDI的Web服务发现技术已越来越不能满足需求。由于UDDI没有提供足够的语义信息,因此仅仅能够进行基于关键字的服务查找和匹配,准确率不高。
随着科技的发展,计算机硬件技术和建筑结构分析理论也在不断地发展和完善,计算机辅助设计(CAD)系统在建筑工程设计领域中也得到了广泛的应用,因为无论是在设计速度、效率方面,还是
随着计算机网络及其相关技术的发展,各企业逐步实现了信息化管理。在铁路电气化工程勘察设计领域,由于企业在设计过程中缺乏规范化的管理,导致企业的工程设计项目开发进度受到了较大影响。所以,务必要提高设计项目的管理。同时,传统的信息系统开发方法因其开发效率低下、系统的升级性和扩展性较差等缺点,已无法满足企业信息化系统的建设。本文引入了组件技术,并应用到企业的设计项目管理系统开发当中,实现了企业信息化的管理
在现代分子进化研究中,根据现有生物基因或物种多样性来重建生物的进化史是一个非常重要的问题。系统发生是指生物形成或进化的历史。其主要的研究对象是进化关系,系统发生分析
商业智能的主要目的是将大量的数据转变为信息。而大量的信息关联到一起就变成了为决策的主要依据,变成了知识,从而知识常被用来帮助制定相应的决策。公司和银行需要商业智能系
学位
数据挖掘是通过分析大型数据库或数据仓库中的数据,从而揭示其中隐含未知的或验证已知规律的过程。数据挖掘大致可分为分类、回归、关联规则、时间序列和聚类等模式,其中关联规
互联网的高速发展为人们的工作和生活提供了便捷的服务,特别是电子邮件凭借其快捷、廉价等特点,已经成为人们日常生活中不可缺少的一部分。但是随着电子邮件的普及,垃圾邮件这个
计算机辅助颅骨面貌复原技术是对三维数字化颅骨数据,应用人类学关于颅骨面貌的软组织厚度数据,采用计算机技术来生成该颅骨对应的面貌,使得生成的面貌尽可能的符合该颅骨的原始