基于微分动态逻辑的无线闭塞中心.交接协议建模与验证.刘金涛2,唐涛·2,赵林2,刘玉鹏.(1.北京交通大学轨道交通控制与安全国家重点实验室,北京100044.2.北京交通大学城市轨道交通自动化与控制北京市重点实验室,北京10004)摘要:ECS2级列车远行控訥系统呈现复余...
论文研究-CTCS-3列控系统RBC切换的形式化建模、分析与验证.pdf07-22针对影响RBC切换质量的列车速度、RBC切换时间等诸因素,以及澄清对RBC交接协议安全性在认识上的一些误区,利用随机Petri网形式化描述工具,建立了CTCS-3列控系统RBC切换...
研究结果将为控制牦牛饲养投入品潜在危害风险,向市场提供安全、绿色的牦牛产品提供科学依据。.研究结果如下:(1)8个牦牛舍饲养殖场土壤环境中的重金属含量均未超过国家行业畜禽养殖产地环境评价标准(HJ568-2010)。.申元养殖场土壤重金属潜在生态风险指数...
面向接口模型的故障传播建模、分析和工具实现.【摘要】：在中国的铁路领域,列车运行控制系统是中国铁路的关键装备,是核心技术之一。.列车运行控制系统是一种典型的安全苛求系统,一旦列车运行控制系统发生了失效行为,会造成十分严重的后果,轻则中断...
本篇论文共64页，点击这进入下载页面。更多论文交通大数据背景下动态车辆路径问题...基于NuSMV和STPA的RBC交接场景安全中国式生活政治——以广场舞为例面向高铁信号系统的入侵检测…
论文研究-CTCS-3列控系统RBC切换的形式化建模、分析与验证.pdf针对影响RBC切换质量的列车速度、RBC切换时间等诸因素,以及澄清对RBC交接协议安全性在认识上的一些误区,利用随机Petri网形式化描述工具,建立了CTCS-3列控系统RBC切换模型。通过
京沪高铁无线闭塞中心日志分析-京沪高铁于2011年6月30日正式开通,它是一条高速度、高密度、高正点率、高安全性的现代化旅客运输线路。为满足列车控制系统对信息传递实...
CTCS3级列控系统车载设备子系统的设计与实现的内容摘要：CTCS3级列控系统车载设备子系统的设计与实现作者：徐丽，张勇，XULi，ZHANGYong作者单位：北京交通大学轨道交通控制与安全国家重点实验室,北京,100044刊名：铁路计算机...
第四代反应堆安全分析程序研究现状及发展.李远山靖剑平毕金生左嘉旭.【摘要】：通过介绍国内外第四代反应堆的发展现状,重点分析了我国高温气冷堆、钠冷快堆和钍基熔盐堆所使用的安全分析程序及其验证工作,阐述了我国核安全审评工作现状,并指出了...
中国博士学位论文全文数据库前1条1刘金涛;基于STPA的需求阶段的高速列车运行控制系统安全分析方法研究[D];北京交通大学;2015年中国硕士学位论文全文数据库前10条1夏...
(3)以RBC交接场景为例,从该场景的静态结构与动态行为出发,利用上述扩展后的UML半形式化建模语言建立RBC交接分层控制结构模型。其中,利用扩展后的类图描述整体控制结构,用OCL...
内容提示:皇宝京交硕士专业学位论文基于UML和STPA的RBC交接场景安全分析研究SafetyAnalysisofRBCHandoverBasedonUMLandSTPA作者:韩笑导师:王化深北京...
2015年1月第51卷第1期铁道通信信号RAILWAYSIGNALLING&COMMUNICATIONJanuary2015V01.5lNo.1RBC交权原理和交权异常现象分析...
导读:本论文可用于系统切换论文范文参考下载,系统切换相关论文写作参考研究。(长春理工大学电子信息工程研究中心吉林长春130022)摘要:无线闭塞中心(RBC)是...
论文写作指导:请加QQ2784176836摘要:无线闭塞中心(RBC)是CTCS-3级列控系统中的核心设备,负责根据地面设备提供的信息及与车载设备的交互生成行车许可,使列车在R...
无线闭塞中心RBC(RadioBlockCenter)是CTCS-3级列控系统地面设备的核心,它融合外部轨旁系统信息以及车载子系统的信息,主要功能是为其管辖范围内与RBC建立连接...
1)移交RBC发送切换预通报。2)生成包含边界的行车许可。3)发送RBC切换通报。4)终止与移交RBC的通信会晤。5)建立与接收RBC的通信会晤。核心期刊网(hexin...
RBC根据从联锁系统接收的信号授权及列车发送的位置报告,为其管辖范围内的每列车生成运行授权,并发送给列车,以控制列车安全...列控核心设备RBC系统介绍列控核心...
资料大小:2.28MB文档格式:PDF文档资料语言:中文版打开方式:AdobeReader资料类别:铁路论文相关说明:相关信息:本站推荐:基本简介精心推荐:枢纽郑州设置方案研...