检索结果-维普期刊中文期刊服务平台

基于CPN的等级转换场景建模分析被引量：4: 1; 作者王瑞峰李媛程金山《计算机工程与应用》 CSCD 北大核心 2015年第10期266-270,共5页; 针对正常情况下CTCS-2级列控系统和CTCS-3级列控系统之间的等级转换,探讨了一种基于有色Petri网模型的系统建模方法。模型中引入非周期消息模型,模拟在GSM-R网络中RBC(无线闭塞中心,Radio Block Centre)与车载设备之间消息的传送过程,... 展开更多; 关键词列控系统无线闭塞中心(RBC) 等级转换场景有色PETRI网; 在线阅读下载PDF 职称材料

Timed RAISE方法在列控系统等级转换场景中的应用研究被引量：1: 2; 作者丁春平陈永刚《铁道标准设计》北大核心 2015年第8期164-169,共6页; 高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转... 展开更多; 关键词高速铁路 TIMED RAISE CTCS 等级转换场景实时性场景交互一致性; 在线阅读下载PDF 职称材料

CTCS-1级列控系统等级转换场景建模与验证被引量：2: 3; 作者王颖卓刘中田《计算机工程与应用》 CSCD 北大核心 2019年第18期256-262,共7页; 随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转换的顺利进行是实现列车安全跨线运营的基础。通过系统功能分析,建立了系统多分辨率功能模型,以识别等级... 展开更多; 关键词 CTCS-1级列控系统等级转换场景 NuSMV模型模型验证; 在线阅读下载PDF 职称材料

CTCS-3级列控系统等级转换场景功能安全分析被引量：2: 4; 作者盛昭君米根锁《控制工程》 CSCD 北大核心 2019年第2期336-342,共7页; 针对CTCS-3级列控系统等级转换场景的混成性,以CTCS-3级列控系统需求规范为研究依据,选取系统生命周期的需求阶段,研究了等级转换场景的功能安全性。首先,基于UML扩展机制,建立了等级转换场景的HybridUML模型,实现了等级转换场景的混成... 展开更多; 关键词 CTCS-3级列控系统等级转换场景 HYBRID UML PHAVer 功能安全分析; 在线阅读下载PDF 职称材料

基于活动图和HTCPN的列控系统等级转换建模分析被引量：2: 5; 作者周游何涛《计算机应用与软件》北大核心 2020年第6期119-125,共7页; 在CTCS-3级列控系统中,为了保证C2级向C3级场景转换的过程中列控系统实时性和安全性,采用统一建模语言(UML)活动图和分层赋时有色Petri网Hierarchical Timed Colored Petri Net(HTCPN)对等级转换过程进行建模。利用UML活动图对C2级向C3... 展开更多; 关键词等级转换场景 UML建模 HTCPN 模型验证; 在线阅读下载PDF 职称材料

题名基于CPN的等级转换场景建模分析被引量：4: 1; 作者王瑞峰李媛程金山; 机构兰州交通大学自动化与电气工程学院兰州交通大学光电技术与智能控制教育部重点实验室; 出处《计算机工程与应用》 CSCD 北大核心 2015年第10期266-270,共5页; 基金国家科技型中小企业创新基金(No.11c26216203816); 文摘针对正常情况下CTCS-2级列控系统和CTCS-3级列控系统之间的等级转换,探讨了一种基于有色Petri网模型的系统建模方法。模型中引入非周期消息模型,模拟在GSM-R网络中RBC(无线闭塞中心,Radio Block Centre)与车载设备之间消息的传送过程,并建立基于有色Petri网的等级转换控车场景模型,讨论在不同消息重发时间间隔、不同列车速度对等级转换场景完成成功率的影响。验证了该建模方法的有效性,说明了影响等级转换成功率的因素。; 关键词列控系统无线闭塞中心(RBC) 等级转换场景有色PETRI网; Keywords train control system Radio Block Centre （RBC） level transition scene colored Petri nets; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名Timed RAISE方法在列控系统等级转换场景中的应用研究被引量：1: 2; 作者丁春平陈永刚; 机构兰州交通大学自动化与电气工程学院; 出处《铁道标准设计》北大核心 2015年第8期164-169,共6页; 基金国家自然科学基金地区项目(61164101); 文摘高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换(CTCS-2级至CTCS-3级)场景进行描述,并对其场景交互一致性和实时性进行验证,结果表明该场景不会出现场景交互一致性错误,也不会违反时间的约束。; 关键词高速铁路 TIMED RAISE CTCS 等级转换场景实时性场景交互一致性; Keywords High-speed railway Timed RAISE CTCS Level transformation scene Real-time capability Scene interaction consistency; 分类号 U283 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名CTCS-1级列控系统等级转换场景建模与验证被引量：2: 3; 作者王颖卓刘中田; 机构北京交通大学电子信息工程学院; 出处《计算机工程与应用》 CSCD 北大核心 2019年第18期256-262,共7页; 基金中央高校基本科研业务费专项资金（No.2017JBM009）; 文摘随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转换的顺利进行是实现列车安全跨线运营的基础。通过系统功能分析,建立了系统多分辨率功能模型,以识别等级转换场景需求;根据场景需求,结合现行系统规范,完善了CTCS-1级系统等级转换场景的方案;采用基于UML的NuSMV建模与验证方法,建立了等级转换场景的UML模型和NuSMV模型,并验证了场景模型的活性、确定性等属性,从而证明了完善后的场景方案满足场景需求,且符合系统规范。文中对CTCS-1级系统等级转换场景的探讨可为相关规范的修订提供支持。; 关键词 CTCS-1级列控系统等级转换场景 NuSMV模型模型验证; Keywords CTCS-1 train control system scenario of level transition NuSMV model verification; 分类号 U284.48 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名CTCS-3级列控系统等级转换场景功能安全分析被引量：2: 4; 作者盛昭君米根锁; 机构兰州交通大学自动化与电气工程学院; 出处《控制工程》 CSCD 北大核心 2019年第2期336-342,共7页; 基金甘肃省自然科学基金项目(1310RJZA046); 文摘针对CTCS-3级列控系统等级转换场景的混成性,以CTCS-3级列控系统需求规范为研究依据,选取系统生命周期的需求阶段,研究了等级转换场景的功能安全性。首先,基于UML扩展机制,建立了等级转换场景的HybridUML模型,实现了等级转换场景的混成性描述;进而依据CTCS-3级列控系统需求规范,总结等级转换场景的功能需求,根据UML到PHAVer的转换规则,构建了PHAVer模型并验证了该模型的正确性;其次,通过分析等级转换过程,找出各相关设备可能的功能模块失效情况,采用功能模块失效描述符号(Function Failure Description Notation,FFDN)建立了等级转换场景的故障模型,并将PHAVer模型和故障模型整合,获得了包含故障的PHAVer模型;最后,运用PHAVer分析出导致等级转换场景功能需求不能满足时的功能模块失效情况,实现了等级转换场景的功能安全分析。; 关键词 CTCS-3级列控系统等级转换场景 HYBRID UML PHAVer 功能安全分析; Keywords Level transition process of CTCS-3 system Hybrid UML PHAVer function safety analysis; 分类号 U283.2 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名基于活动图和HTCPN的列控系统等级转换建模分析被引量：2: 5; 作者周游何涛; 机构兰州交通大学自动化与电气工程学院甘肃工业交通自动化工程技术研究中心; 出处《计算机应用与软件》北大核心 2020年第6期119-125,共7页; 基金甘肃省工业交通自动化工程技术研究中心2019年开放基金项目(GSITA201902)。; 文摘在CTCS-3级列控系统中,为了保证C2级向C3级场景转换的过程中列控系统实时性和安全性,采用统一建模语言(UML)活动图和分层赋时有色Petri网Hierarchical Timed Colored Petri Net(HTCPN)对等级转换过程进行建模。利用UML活动图对C2级向C3级转换过程中车载设备、GSM-R网络、无线闭塞中心(RBC)之间信息流的传递过程进行建模,再从UML活动图中提取节点信息转换成HTCPN模型进行动态验证。通过对模型提取的数据仿真,分析列车行车速度和消息重发时间间隔对等级转换场景转换成功率的影响,验证模型的有效性。在CTCS-2级控车模式下,以顶棚速度(250 km/h)进行场景等级转换,转换成功率提高了0.2%。; 关键词等级转换场景 UML建模 HTCPN 模型验证; Keywords Level conversion scene UML modeling HTCPN Model validation; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于CPN的等级转换场景建模分析	王瑞峰李媛程金山	《计算机工程与应用》 CSCD 北大核心	2015	4	在线阅读下载PDF 职称材料
2	Timed RAISE方法在列控系统等级转换场景中的应用研究	丁春平陈永刚	《铁道标准设计》北大核心	2015	1	在线阅读下载PDF 职称材料
3	CTCS-1级列控系统等级转换场景建模与验证	王颖卓刘中田	《计算机工程与应用》 CSCD 北大核心	2019	2	在线阅读下载PDF 职称材料
4	CTCS-3级列控系统等级转换场景功能安全分析	盛昭君米根锁	《控制工程》 CSCD 北大核心	2019	2	在线阅读下载PDF 职称材料
5	基于活动图和HTCPN的列控系统等级转换建模分析	周游何涛	《计算机应用与软件》北大核心	2020	2	在线阅读下载PDF 职称材料