CPN

作品数：356被引量：730H指数：11
导出分析报告
相关领域：自动化与计算机技术医药卫生更多>>
相关作者：叶新铭李华朱连章杨春辉冯涛更多>>
相关机构：内蒙古大学北京交通大学华南理工大学中国石油大学（华东）更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划内蒙古自治区自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 机构=北京交通大学x
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CPN的列控系统等级转换建模与分析被引量：6
《计算机工程与应用》2018年第2期208-213,共6页董健 戴胜华 
科技部"科技支撑计划"(No.2013BAG19B00-03-01-01)
在高速列车运行过程中,列控系统等级转换过程所用的时长和转换成功概率,直接影响列车运行安全和行车效率。利用有色Petri网对CTCS-3级列控系统和CTCS-2级列控系统之间等级转换以及典型设备故障导致降级场景分别建模,模拟等级转换过程中R...
关键词：中国列车控制系统(CTCS) 有色PETRI网 等级转换 
一种基于TC-CPN的城轨列车车门故障溯因诊断方法被引量：6
《铁道学报》2016年第4期51-58,共8页沈碧波 佘维 叶阳东 贾利民 
国家高技术研究发展计划(863计划)(2011AA110501);国家自然科学基金(61170223;U1204610);河南省重点科技攻关计划(122102210004;132102210404)
本文针对城轨列车车门开门控制系统故障诊断问题,定义一种时间约束自控Petri网(TC-CPN),提出一种故障溯因诊断方法。该方法主要依据捕获的故障表征和监控系统采集的状态与时间信息进行诊断分析。该Petri网引入时序一致性判定函数,定义...
关键词：自控Petri网 故障诊断 时间约束 溯因推理 
进路建立过程的时间有色petri网建模与仿真被引量：2
《计算机工程与应用》2015年第8期266-270,共5页秦发园 戴胜华 徐昱 
计算机联锁软件作为计算机联锁系统的核心主控软件,可靠性和安全性需建立在好的安全模型之上,提出了采用时间有色Petri网对进路建立的具体过程进行形式化建模,时间戳可以得知联锁设备的精确动作时刻以及操作持续时间,通过CPN Tools进行...
关键词：计算机联锁 有色PETRI网 时间PETRI网 CPN TOOLS 
列控数据传输与GSM-R越区切换发生碰撞的建模与分析被引量：6
《铁道学报》2013年第5期47-53,共7页张友兵 张波 唐涛 
国家科技支撑计划(2009BAG12A08)
在CTCS-3级列控系统中,RBC与车载ATP通过GSM-R系统传输数据,保证列车运行安全。列车在线路上高速运行时,频繁发生越区切换。如果数据传输和GSM-R越区切换发生碰撞,将导致数据丢失重传,影响行车效率甚至行车安全。本文建立了数据传输与...
关键词：CPN CTCS GSM-R 越区切换 
基于CPN高铁临时限速数据融合方案验证被引量：1
《北京交通大学学报》2012年第3期41-46,共6页林增 王俊峰 王禹霖 
轨道交通控制与安全国家重点实验室自主研究课题项目资助(RCS2011ZZ001)
高速铁路列控系统中C3单元和C2单元相对独立控车,两套系统中的列控数据在系统层之间缺乏共享和约束机制.本文在分析系统结构和数据传输特性的基础上,提出一种基于数据融合,提升高速铁路临时限速安全性的方案,并利用有色Petri网(CPN)对...
关键词：高速铁路 中国列车控制系统 CPN 数据融合 临时限速 安全性 
基于UML与CPN的CTCS-3级列控系统建模与验证方法研究被引量：3
《铁道通信信号》2010年第5期6-11,共6页上官伟 蔡伯根 王艳 王晶晶 王亚菊 
由国家自然科学基金(编号60736047);轨道交通控制与安全国家重点实验室自主研究课题(编号:RCS2009ZT013);北京交通大学基金(编号:2008RC023)资助
CTCS-3级列控系统安全功能极其复杂,为保障其正常运转,有必要对列车运行控制系统的建模与验证进行深入研究。在分析了UML建模图和有色Petri网优缺点的基础上,提出了UML和有色Petri网(CPN)相结合的建模与验证方法,并应用在CTCS-3系统中,...
关键词：UML CPN CTCS-3级列控系统 建模 验证 
基于CPN的CBTC地面数据通信系统仿真和分析被引量：3
《系统仿真学报》2008年第17期4744-4747,共4页牛儒 唐涛 
国家自然科学基金资助项目(60634010);铁道部科技发展资助项目(2005K002F)
数据通信系统是影响CBTC系统的控制精度、效率和可靠性、安全性的主要因素。充分利用分层赋时有色Petri网(HCPN),综合CBTC系统的实际通信需求,建立了CBTC地面数据通信系统的分层模型,并在HCPN中引入消息的时间标志,实现对数据传输时间...
关键词：基于通信的列车控制系统(CBTC) 仿真 分层赋时有色Petri网 地面数据通信系统 以太网 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部