基于活动图和HTCPN的列控系统等级转换建模分析

来源 :计算机应用与软件 | 被引量 : 4次 | 上传用户：zsjhmya

【摘要】

：

在CTCS-3级列控系统中,为了保证C2级向C3级场景转换的过程中列控系统实时性和安全性,采用统一建模语言(UML)活动图和分层赋时有色Petri网Hierarchical Timed Colored Petri Net(HTCPN)对等级转换过程进行建模。利用UML活动图对C2级向C3级转换过程中车载设备、GSM-R网络、无线闭塞中心(RBC)之间信息流的传递过程进行建模,再从UML活动图中提取

【作者】

：

周游何涛

【机构】

：

兰州交通大学自动化与电气工程学院,甘肃工业交通自动化工程技术研究中心

【出处】

：

计算机应用与软件

【发表日期】

：

2020年06期

【关键词】

：

等级转换场景 UML建模 HTCPN 模型验证 Level conversion sceneUML modelingHTCPNModel validation

【基金项目】

：

甘肃省工业交通自动化工程技术研究中心2019年开放基金项目(GSITA201902)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

基于多传感器信息融合的列车转向架机械故障诊断方法

针对单一传感器所含信息不能完全表达故障状态的局限性,提出一种支持向量机分类器和DS证据理论相结合的多传感器信息融合方法。将支持向量机的硬输出通过Platt模型转化为概率输出,用混淆矩阵来评估分类器的识别能力;将分类器局部可信度作为DS融合时的折扣因子,建立基于支持向量机和DS结合的多传感器信息融合模型。在列车转向架故障诊断中的实验结果表明,该方法在实际问题中有效且合理,能够获得比单一传感器更高的分

期刊

支持向量机DS证据理论多传感器信息融合故障诊断Support vector machineDS evidence theoryMulti-sensor

窑法磷酸技术研究进展

为推进窑法磷酸工艺的开发研究,结合本课题组的相关研究工作,对国内外在窑法磷酸工艺中涉及的主要反应的反应机理、热力学以及动力学等方面的基础研究工作的历程和进展进行了

期刊

窑法磷酸热力学动力学窑圈包裹KPA thermodynamics dynamics the rotary kiln ring wrapping

羽毛角蛋白／海藻酸钠共混膜的交联改性

以山梨醇为增塑剂，乙二醛、戊二醛或自制的双醛海藻酸钠（ADA）为交联剂，采用浇铸法制备了交联改性的羽毛角蛋白（FK）／海藻酸钠（SA）共混膜，研究了交联改性对共混膜结构和性能的影响。FTIR

期刊

羽毛角蛋白蛋白膜共混交联feather keratin protein films blends crosslinking

持续性枕后位及枕横位手法复位临床分析

目的观察持续性枕后位及枕横位采用手法复位的效果。方法将临产后经阴道检查确诊为枕后位及枕横位的216例初产妇随机分为两组,观察组108例产妇在宫口开大6 cm,S＋1时采用手法复

期刊

胎位不正治疗枕后位枕横位手法复位

清连一级公路路面大修方案研究

由于原施工中的质量问题,及大量超重车辆的掠夺性营运,道路破损严重.为此对大修方案作了研究和探讨.

期刊

路面破损路面大修方案设计

浅谈电梯限速器检验

限速器作为电梯的一个安全部件,对于保障电梯的安全运行至关重要。现根据《电梯监督检验和定期检验规则——曳引与强制驱动电梯》中对限速器的相关要求,结合在定期检验时需要

期刊

限速器超速保护电气开关棘爪

基于游记图文信息的个性化旅游路线推荐应用

针对传统旅游路线推荐算法准确率有限且仅单独分析文本或图片的问题,提出一种综合利用游记中的文本和照片信息的个性化旅游路线推荐算法。通过分析游记获取游客的历史旅游足迹;根据游记中景点频次和共现、各景点所拍摄的照片数量分析出景点流行度和各类型游客的兴趣偏好;在给定的起止点或途经点下,设计最优旅游路线生成方法。在马蜂窝旅游网站的真实数据集上进行实验,结果表明,相比传统的只利用游记文本或照片的算法,该算法的

期刊

旅游路线推荐兴趣点游客偏好流行度景点频次和共现Trip recommendationPoints of interest(POI)Tourist pr

基于活动图和HTCPN的列控系统等级转换建模分析

其他学术论文