BIM模型在信号运维系统中的轻量化研究

在铁路信号系统运维过程中,由于BIM模型中包含有建设阶段的信息,造成系统数据冗杂、交互时间长,又由于信号设备种类繁多、布局分散,导致系统规模庞大,无形中降低了工作效率.本文对BIM模型进行轻量化方法研究,提出采用细节面片抑制法对模型进行处理,以达到使BIM模型轻量化的目的,取得良好效果.     

基于Petri网的全自动无人驾驶列车停站场景形式化建模与验证

为进一步提高全自动无人驾驶系统的安全性,采用Petri网理论在全生命周期早期对系统运营场景的实现流程进行形式化建模与验证。选取正线运营中的列车停站这一典型运营场景,进行对象提取与状态分析,结合各对象与库所、变迁的对应关系,建立Petri网模型,并利用仿真软件PIPE对其有效性和正确性进行形式化验证。针对可能出现的异常情况对模型进行优化,设置车门与站台门开关时序,避免乘客拥挤时出现安全隐患。试验结果表明：建立的Petri网模型有界、安全且无死锁,满足列车停站场景功能需求,模型的可靠性和有效性得以验证,为全自动无人驾驶系统的开发应用与安全分析提供理论支撑。     

基于BIM的道岔工电结合部关键数据管理系统

道岔设备构造复杂、零件较多，受列车冲击力大，易发生故障，是工电部门日常维修的重点和难点。为提高道岔关键数据管理的信息化、可视化程度，通过BIM技术建立道岔的三维模型，以图形化方式对不同型号的道岔关键部件进行立体展示，并对道岔结合部关键数据超出合理范围时给出明显故障提示，将测量数据进行管理及建模分析，给出对道岔部件的整治和维修建议。