检索结果-南通市图书馆

基于有色Petri网的etcs无线通信可靠性分析

在线全文

学校读者我要写书评

暂无评论

铁道学报 2008年第1期30卷 38-42页

作者：徐田华赵红礼唐涛北京交通大学轨道交通控制与安全国家重点实验室北京100044

etcs-3级(欧洲列车运行控制3级系统)无线通信系统是一个动态、复杂的分布式系统,其性质和最终实现正确性的形式化验证具有重要意义。本文利用分层赋时有色Petri(CPN)网,综合随机信道恶化、越区切换、信道连接中断等无线信道失效模型,提... 详细信息

etcs-3级(欧洲列车运行控制3级系统)无线通信系统是一个动态、复杂的分布式系统,其性质和最终实现正确性的形式化验证具有重要意义。本文利用分层赋时有色Petri(CPN)网,综合随机信道恶化、越区切换、信道连接中断等无线信道失效模型,提出etcs无线通信信道模型的分层结构,定义信道失效模型和概率传输延时,分析信道模型和数据传输的时间特性。分析结果表明,数据帧传输延时小于20s的通信可靠性为99.97%。因此,相继运行列车时距为1min时,数据帧传输延时小于20s的通信可靠性满足etcs规范要求。

关键词： etcs 可靠性分析有色Petri网无线通信

etcs框架下应答器安全需求的符合性证明研究

在线全文

学校读者我要写书评

暂无评论

中国铁路 2023年第11期 52-57页

作者：吴炳昊梁滨徐杨北京全路通信信号研究设计院集团有限公司北京100070 通号国际控股有限公司北京100070

以应答器应用为重点,介绍匈塞铁路贝尔格莱德—诺维萨德段的etcs-2系统。基于etcs相关规范,阐述该etcs-2系统应答器相关危害、各危害关联的安全需求。结合工程应用,给出各相关安全需求在实践中的通常处理方法。安全需求中的etcs_TR04和E... 详细信息

以应答器应用为重点,介绍匈塞铁路贝尔格莱德—诺维萨德段的etcs-2系统。基于etcs相关规范,阐述该etcs-2系统应答器相关危害、各危害关联的安全需求。结合工程应用,给出各相关安全需求在实践中的通常处理方法。安全需求中的etcs_TR04和etcs_TR05涉及定量RAMS估计,要求结合工程应用提出应答器的检测间隔、维修时间。应答器的平均失效时间由厂家提供,不可用度要求通过etcs规范得到,推导得出应答器平均修复时间与其平均失效时间、不可用度的关系,并给出应答器平均修复时间与其检测间隔、维修时间的关系;CTCS应答器维修策略的制定方法与etcs显著不同,CTCS采用后验方法制定应答器维修策略,通过应用实践证明相关风险可接受。

关键词：匈塞铁路 etcs CTCS 应答器安全需求检测间隔平均修复时间维修策略

在线全文

学校读者我要写书评

暂无评论

etcs/ATO模块化系统

国外铁道机车与动车 2023年第1期 28-31页

作者：刘爱群(译) 不详

欧洲列车控制系统(etcs)和列车自动驾驶系统(ATO)因其复杂性和高成本很难实现大规模部署。为此,需要研发更经济的技术方案,并有针对性地对系统进行简化。目前,德国、法国、瑞典、南非的中小型企业正在积极开发MTCC系统(模块化列车调度&... 详细信息

欧洲列车控制系统(etcs)和列车自动驾驶系统(ATO)因其复杂性和高成本很难实现大规模部署。为此,需要研发更经济的技术方案,并有针对性地对系统进行简化。目前,德国、法国、瑞典、南非的中小型企业正在积极开发MTCC系统(模块化列车调度&控制系统,Modular Train Command&Control),其具有开放架构和基于模块化计算集群的软件功能模块。

关键词： etcs ATO MTCC 列车自动化控制

列车运行控制系统中安全通信协议的形式化分析

在线全文

学校读者我要写书评

暂无评论

铁道学报 2012年第7期34卷 70-76页

作者：陈黎洁单振宇唐涛北京交通大学轨道交通控制与安全国家重点实验室北京100044

安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性质和最终实现正确的形式化验证具有重要意义。本文将欧洲列车运行控制系统安全通信协议规范中的一些未强制规定的要求明确化,选择分层赋时有色Petri网(CPN)对修... 详细信息

安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性质和最终实现正确的形式化验证具有重要意义。本文将欧洲列车运行控制系统安全通信协议规范中的一些未强制规定的要求明确化,选择分层赋时有色Petri网(CPN)对修改后的安全通信协议进行研究,综合安全层、信道与应用层模型提出无线通信系统模型的分层结构,通过改变信道与应用层模型的参数,分析修改的安全通信协议中安全连接建立的时间特性。分析结果表明:信道丢包率为0.1、0.05、0.01的情况下,修改的安全通信协议安全连接建立时间特性是符合规范要求的。

关键词：安全通信协议 etcs EURORADIO 有色Petri网形式化分析

在线全文

学校读者我要写书评

暂无评论

etcs技术在列控系统中应用的探讨

中国铁道科学 2003年第3期24卷 98-103页

作者：范丽君铁道科学研究院通信信号研究所北京100081

欧洲铁路运输管理系统/欧洲列车控制系统(ERTMS/etcs)是欧盟为解决欧洲铁路互通运营而提出的一系列法规性文件。提出etcs的目的在于消除由于各国间设施不同所引起的系统差别,在欧洲铁路网内实现互用性并确保列车运行的安全性和高效性,... 详细信息

欧洲铁路运输管理系统/欧洲列车控制系统(ERTMS/etcs)是欧盟为解决欧洲铁路互通运营而提出的一系列法规性文件。提出etcs的目的在于消除由于各国间设施不同所引起的系统差别,在欧洲铁路网内实现互用性并确保列车运行的安全性和高效性,降低运营成本,增强竞争优势。纳入国际铁路联盟的etcs技术规范有功能需求规范、系统需求规范以及一系列接口规范,并从运用角度将系统分为5级(0级,0+级,1级,2级,3级)。在借鉴etcs技术规范基础上,分析CTCS与etcs在基础、内涵、策略等方面的差异,提出中国列车运行控制系统(CTCS)分三步走的发展思路。

关键词：列控系统 etcs 技术规范系统分级综述

ATO over etcs技术在德国的首次应用——汉堡数字化轻轨

在线全文

学校读者我要写书评

暂无评论

现代城市轨道交通 2022年第2期 114-117页

作者：苏靖棋(编译) 不详

汉堡数字化轻轨项目首次将基于欧洲列车控制系统的列车自动驾驶(ATO over etcs)技术应用到德国铁路领域,是德国"数字化铁路"战略实现道路上的一个里程碑。文章将从项目概况、关键技术、实施进展 3 个方面对该项目进行简要介绍。

关键词：数字化轻轨 ATO etcs 德国

在线全文

学校读者我要写书评

暂无评论

欧洲列车控制系统(etcs)在挪威的应用

国外铁道机车与动车 2022年第4期 34-36页

作者： [法]Sverre Kjenne [法]Lars Jorde 张建平(译) 不详

挪威国家铁路完成了新一代车载设备的耐久性测试,这标志着该国在推进欧洲铁路运输管理系统(Ertms)方面取得了关键性进展。

关键词：挪威国家铁路欧洲铁路运输管理系统(Ertms) etcs

在线全文

学校读者我要写书评

暂无评论

etcs数学基础的语境分析意义

自然辩证法研究 2019年第1期35卷 3-8页

作者：孔祥雯郭贵春山西大学科学技术哲学研究中心太原030006

基于范畴论的语境特性,探索语境分析方法在数学基础研究中的实质功能。在对etcs公理系统进行语境分析的过程中实现对etcs的整体解读,把握etcs公理系统的内在蕴涵,理解etcs在当前数学哲学中的基础定位,进而揭示etcs数学基础的语境分析意义。

关键词： etcs 数学基础语境

etcs-2级列控系统RBC交接协议的形式化分析

在线全文

学校读者我要写书评

暂无评论

铁道学报 2009年第4期31卷 52-58页

作者：牛儒曹源唐涛北京交通大学轨道交通控制与安全国家重点实验室北京100044

RBC(无线闭塞中心)交接协议是影响etcs-2级欧洲列车运行控制系统的控制精度、效率、可靠性和安全性的主要因素之一。对该协议的形式化分析可为我国CTCS-3级列车运行控制系统的规范制定和系统研发提供参考。随机Petri网语义清晰、语法严... 详细信息

RBC(无线闭塞中心)交接协议是影响etcs-2级欧洲列车运行控制系统的控制精度、效率、可靠性和安全性的主要因素之一。对该协议的形式化分析可为我国CTCS-3级列车运行控制系统的规范制定和系统研发提供参考。随机Petri网语义清晰、语法严谨,并且具有良好的数学理论支撑,与仿真手段相比能够得出更加可信的定量分析结果。本文选择随机Petri网(SPN)这一形式化语言对RBC交接协议进行研究,综合信道突发降质、GSM-R小区切换、链路中断等故障因素,针对两种协议方案分别建立RBC交接失败概率模型,分析列车运行速度、RBC重叠范围对交接成功概率的影响。结果表明基于两个车载电台、切换时能同时与两个RBC通信的RBC交接协议能够更好地保证列车交接过程的安全性,对行车效率的影响比较小。

关键词： etcs 形式化分析随机Petri网 RBC交接协议无线闭塞中心(RBC)