基于脚本技术的高速铁路列控中心系统安全性自动化测试研究

列控中心系统是实现高速铁路安全运行的关键设备。自动化的黑盒测试是验证其系统功能和确认系统满足系统需求,具有足够安全性防护能力的重要手段。脚本技术是实现软件测试自动化技术的有效方法。测试脚本语言是脚本技术的核心,但是目前没有专门针对列控中心测试的脚本语言。本文结合列控中心测试的特点,提出一种测试策略,设计了场景-事件驱动的测试脚本语言SED_TSL。在本文提出的测试策略中针对安全防护功能,以实际运营场景为核心,利用测试脚本语言SED_TSL定义正常场景与故障场景,测试序列与测试用例,仿真环境,形成分级测试脚本。通过场景变换控制测试逻辑与流程,触发仿真事件加载测试用例实现系统的功能性与安全性测试。本文对测试脚本语言SED_TSL与基于SED_TSL的自动化测试环境的实现机制进行阐述,并实现了基于SED_TSL的高速铁路列控中心系统自动化测试环境,投入到铁道部的列控中心产品制式检测中。实际应用表明:测试脚本语言的描述能力与自动化测试环境符合测试需求,有效地实现了列控中心产品的功能与安全性测试。     

基于Revit的盾构管片参数化建模应用

为解决传统方法对盾构管片建模重复性工作较多的问题,介绍基于Revit参数化技术,将标准盾构预制管片中的变量参数进行参数化处理,通过修改参数快速生成新的盾构预制管片的方法,且针对盾构管片错缝拼接工作繁琐、拼接位置不准确等问题,采用盾构管片旋转角度参数及盾构管片到参考点距离参数进行参数相关的处理,使盾构管片随距离参数的改变而自动发生相应角度的旋转,从而快速并准确地完成错缝拼接的方法。利用Revit参数化对盾构管片进行建模和错缝拼接的方法,能极大地加快建模的效率和拼装的准确率。该方法成功地应用于上海市虹梅南路盾构隧道管片的设计中,对虹梅南路越江隧道的建设起着重要的作用。     

高速铁路列控中心软件安全性需求形式化建模

列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法.根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进行描述.通过在我国高速铁路列控中心安全性测试与验证中的应用,说明了该方法的有效性.     

基于全生命周期信息和BIM的隧道运维决策支持系统

针对公路隧道运维管理对象众多、信息分散异构、时空特性复杂等导致管理决策困难的问题,从隧道全生命周期信息出发,建立隧道可视化智能决策系统。系统以标准化、可视化和智能化为设计原则,以隧道BIM运维模型为基础,通过标准化编码和信息映射表实现设计、施工和运维的多源信息集成,由感知层、网络层、数据层、分析层和交互层组成,利用智能分析技术实现结构健康评估和病害追溯、设备异常发现和故障诊断、养护决策优化等功能,通过三维图形化引擎与用户交互,帮助用户快速掌握现场情况,获取自动辅助决策结果,提高运维工作效率和质量。将该决策支持系统应用在上海大连路隧道工程中,可帮助隧道管理者更快速、清晰地了解隧道运营状况,提供运营养护的辅助决策建议,取得了很好的应用效果。     

引入接口中间件的基于通信的列车控制系统仿真

分布式对象中间件在CBTC(基于通信的列车控制)接口仿真系统的应用是实现接口数据传输有效性、通用性、实时性的重要实现方式之一.针对CBTC仿真系统中各子系统间信息的交互和融合问题,通过研究当前分布对象中间件架构和运行机制,提出适合CBTC仿真系统信息交互的接口中间件,构建引入接口中间件工作模式的CBTC通信体系.详细阐述了该通信体系的体系结构及其接口的封装与设计,并将其应用到列车运行控制仿真系统中.此应用根本改变了轨道交通运行控制的运作模式,提高了系统的效率.     

基于建筑信息模型的隧道施工管理平台

为了实现工程质量、安全、设备的实时管理,并增强信息的可溯性,本项目基于建筑信息模型(BIM)技术,结合物联网等信息手段,建立了基于BIM的隧道施工管理平台。平台具有设备层、资源层、服务层和应用层等4层结构,以及系统管理、施工管理、管片跟踪、人员跟踪、盾构监控等5大模块,实现隧道工程数字化管理。该管理平台已在上海轨道交通12号线11标工程上得以应用。