朱爱红:基于UML和CPN的列控系统等级转换建模与分析论文

朱爱红:基于UML和CPN的列控系统等级转换建模与分析论文

本文主要研究内容

作者朱爱红,宋丽梅(2019)在《基于UML和CPN的列控系统等级转换建模与分析》一文中研究指出:针对列控系统的安全性和实时性要求,基于CTCS-3级列控系统需求规范中等级转换场景建立C2级向C3级转换的UML(统一建模语言)模型和有色Petri网(CPN)模型,分析了影响列车安全运行和行车效率的因素,即转换时长和转换成功率,验证了该建模方法的有效性。验证结果表明,UML和CPN模型相结合的方法适合于列控系统需求规范的验证。搭建的等级转换模型能够满足系统实时性要求。在保证切换成功率的前提下,列车运行速度与切换时间成反比,速度越高,切换时间越短;列车速度越高,对系统实时性要求也越高。

Abstract

zhen dui lie kong ji tong de an quan xing he shi shi xing yao qiu ,ji yu CTCS-3ji lie kong ji tong xu qiu gui fan zhong deng ji zhuai huan chang jing jian li C2ji xiang C3ji zhuai huan de UML(tong yi jian mo yu yan )mo xing he you se Petriwang (CPN)mo xing ,fen xi le ying xiang lie che an quan yun hang he hang che xiao lv de yin su ,ji zhuai huan shi chang he zhuai huan cheng gong lv ,yan zheng le gai jian mo fang fa de you xiao xing 。yan zheng jie guo biao ming ,UMLhe CPNmo xing xiang jie ge de fang fa kuo ge yu lie kong ji tong xu qiu gui fan de yan zheng 。da jian de deng ji zhuai huan mo xing neng gou man zu ji tong shi shi xing yao qiu 。zai bao zheng qie huan cheng gong lv de qian di xia ,lie che yun hang su du yu qie huan shi jian cheng fan bi ,su du yue gao ,qie huan shi jian yue duan ;lie che su du yue gao ,dui ji tong shi shi xing yao qiu ye yue gao 。

论文参考文献

  • [1].基于CPN的列控系统等级转换建模与分析[J]. 董健,戴胜华.  计算机工程与应用.2018(02)
  • [2].京沈客专接入沈阳枢纽列控系统方案研究[J]. 金润星.  铁路通信信号工程技术.2018(10)
  • [3].基于因果关系的列控系统模型约简方法[J]. 周庭梁,许婧,陈小红,赵时旻.  同济大学学报(自然科学版).2016(11)
  • [4].卫星定位技术在铁路下一代列控系统中的应用[J]. 郭晓伟.  铁路通信信号工程技术.2017(02)
  • [5].城际铁路列控系统研究[J]. 何永发.  铁路通信信号工程技术.2013(01)
  • [6].无线列控系统通信网络评估[J]. 李婷.  铁路通信信号工程技术.2013(04)
  • [7].城际轨道交通信号列控系统方案[J]. 杜成.  中国铁路.2011(02)
  • [8].城际铁路列控系统方案探讨[J]. 杜平.  铁路通信信号工程技术.2010(02)
  • [9].欧洲列控系统与中国列控系统的比较[J]. 鲁志彤.  天津科技.2009(02)
  • [10].铁路信号基础知识 第五讲 列控系统的基本概念[J]. 傅世善.  铁路通信信号工程技术.2009(06)
  • 论文详细介绍

    论文作者分别是来自计算机应用研究的朱爱红,宋丽梅,发表于刊物计算机应用研究2019年01期论文,是一篇关于中国列车控制系统论文,等级转换论文,统一建模语言论文,有色网论文,建模论文,计算机应用研究2019年01期论文的文章。本文可供学术参考使用,各位学者可以免费参考阅读下载,文章观点不代表本站观点,资料来自计算机应用研究2019年01期论文网站,若本站收录的文献无意侵犯了您的著作版权,请联系我们删除。

    标签:;  ;  ;  ;  ;  ;  

    朱爱红:基于UML和CPN的列控系统等级转换建模与分析论文
    下载Doc文档

    猜你喜欢