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