共查询到10条相似文献,搜索用时 15 毫秒
1.
《铁道学报》2015,(8)
本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。 相似文献
2.
《铁道科学与工程学报》2020,(5)
针对现有列控运营安全评估方法不足,以及列控运营过程中的复杂性与不确定性等问题,将集对分析和物元可拓理论引入其风险评估中。以影响列控运营安全的列控设备、环境和更新改造等6个主要因素建立评估指标,利用三角模糊数确定列控运营指标权重,并构建集对可拓耦合的列控运营评估模型,通过耦合模型的综合联系隶属度评估列控运营风险。研究结果表明:该列控系统运营风险为低度风险,且模型能够真实反映列控运营安全风险评估中的不确定性,可以帮助风险管控部门对运营风险提前预判,保证列车安全运行。 相似文献
3.
CTCS-2级列控系统接口故障机制探讨 总被引:1,自引:0,他引:1
针对铁路客运专线CTCS--2级列控系统列控中心的多功能、多通信接口形式,重点分析了列控中心与轨道电路、微机联锁间信息交互的正常逻辑时序,探讨对列控中心接口故障情况下的处理机制,并在此基础上,分析可能存在的更为安全和可靠的处理方式。 相似文献
4.
新型列控系统是对我国列车运行控制系统的最新研究与技术探索,无线闭塞中心作为新型列控系统的地面核心设备,实时控制列车间的追踪间隔,保障管辖范围内列车安全运行。为发掘新型列控系统无线闭塞中心设计中的不足,需利用测试平台对其安全功能进行充分验证。既有无线闭塞中心测试平台由于逻辑及数据结构设计问题,难以适配新型列控系统的工程数据,且无法满足新型列控系统部分功能的测试需求。通过分析新型列控系统工程数据及无线闭塞中心系统功能,对既有测试平台进行升级,将逻辑构建方式由以数据为基础调整为以模型为基础,降低测试平台与工程数据的耦合性;利用真实线路数据及新型列控系统中典型运用场景对该测试平台功能进行验证。验证结果表明,该测试平台解决了适配度不高、数据配置复杂的问题,可以满足新型列控系统无线闭塞中心多场景测试需求。 相似文献
5.
列控中心区间占用逻辑检查功能,是进一步提高列控系统整体安全性的重要技术手段.按照列控设备管理办法规定,列控中心软件升级换装前,需对软件功能进行全面的仿真测试.总结了列控设备的仿真测试工作经验,重点对列控中心区间占用逻辑模块与临时限速服务器、调度集中系统、车站联锁等设备接口仿真测试方法进行探讨,以期能为软件的仿真测试提供... 相似文献
6.
7.
8.
赵安安 《铁路通信信号工程技术》2022,(8):78-81
列控系统由车载ATP、车载ATO、ATS、ZC、CI、仿真测试环境等各个产品组成,各个产品都以列控数据作为支撑。针对列控系统数据配置的需求,建立列控设备数据模型。通过对列控数据可视化、数据生成、数据转换途径的研究,实现列控系统数据配置功能。列控数据配置系统在工程设计平面图基础上,生产多种列控系统产品的数据,能够有效地提高列控信号系统产品集成的能力。 相似文献
9.
CTCS-3列车控制系统数据融合方法研究 总被引:1,自引:0,他引:1
数据融合是提高列车控制数据完备性和保证列车安全的重要方法,CTCS-3列控系统已在传感器层面进行了局部数据融合。本文在分析列控系统技术规范、CTCS-3列控系统结构及工作原理的基础上,提出一种CTCS-3列控系统决策层数据融合方法,分析融合的可行性并建立实现该方法的模型。该方法通过CTCS-3列控系统C3控制单元与C2控制单元之间进行列控信息交换,实现行车许可、线路描述信息、临时限速等核心列控数据的数据融合。融合后的列控数据更可信、准确、可靠。使用融合后的列控数据计算列车允许速度和生成监控曲线,使列车控制的安全性更高。 相似文献