发表服务
基于微分动态逻辑的无线闭塞中心.交接协议建模与验证.刘金涛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刊名：铁路计算机...
第四代反应堆安全分析程序研究现状及发展.李远山靖剑平毕金生左嘉旭.【摘要】：通过介绍国内外第四代反应堆的发展现状,重点分析了我国高温气冷堆、钠冷快堆和钍基熔盐堆所使用的安全分析程序及其验证工作,阐述了我国核安全审评工作现状,并指出了...
基于微分动态逻辑的无线闭塞中心.交接协议建模与验证.刘金涛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刊名：铁路计算机...
第四代反应堆安全分析程序研究现状及发展.李远山靖剑平毕金生左嘉旭.【摘要】：通过介绍国内外第四代反应堆的发展现状,重点分析了我国高温气冷堆、钠冷快堆和钍基熔盐堆所使用的安全分析程序及其验证工作,阐述了我国核安全审评工作现状,并指出了...
发表服务