基于TSSM的城市轨道交通CBTC区域控制器建模与验证

针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机TSSM (timed safe state machine)建模方法,定义了弱变迁和同步变迁语法,建立了城市轨道交通ZC (zone controller)系统模型.首先,分析了ZC系统的运行环境、工作原理和功能需求,根据ZC反应式系统的特点,利用TSSM在SCADE (safety critical application development environment)中建立了ZC系统列车管理、ZC控制、MA计算和队列管理子模型;其次,通过ZC系统的TSSM网络模型,分析了子模型间的交互信息;最后,采用Lustre语言对ZC系统的安全特性进行了形式化描述,并利用Design Verifier模型检测工具,结合数据流验证了ZC系统的功能和性能需要.研究结果表明,ZC系统TSSM模型的安全性和受限活性均为有效,ZC系统完全满足预期的安全需求.      

GJ-5型轨检车软件的自主研发

美国ImageMap公司轨检车用于检测国内各提速干线的线路状态 ,为了适应我国轨道维修管理制度 ,满足检测工作的需要 ,研究开发了超限编辑器、报表生成、超限数据分发和几何波形数据分发等车上数据处理软件 ,目前已经在GJ 5型轨检车上得到应用。     

横向梳式船台船舶下水斜船架负荷计算探讨

主要讨论横向梳式船台船舶下水斜船架负荷计算方法。分析了横向梳式船台船舶下水的受力过程 ,论述了负荷计算原理 ,为船舶横向下水安全提供技术措施     

智能网联背景下驾驶人信息认知地图构建方法

为提升网联环境下车载信息的传递效率，提出了一种驾驶人信息认知地图构建方法。在驾驶人交通场景信息认知中引入认知地图概念，通过对20名驾驶人进行面对面访谈，获取视距内、外(超空间距离)交通场景语义描述，采用要素频率统计法确定驾驶人信息认知地图要素，设计概念图形完成可视化映射。构建轻量化深度学习MobileNet V2模型，实现驾驶人信息认知地图认知要素标签自动生成，并分别基于SE(Squeeze-and-Excitation Module)、CBAM(Convolutional Block Attention Module)、CA(Coordinate Attention Module)注意力模块对模型进行改进，通过Opencv算法实现可视化认知地图的自动生成。开展20名驾驶人的实车试验，获取12 000组交通场景认知集作为测试数据，通过人工标注的方法获取认知要素标签。结果表明：驾驶人信息认知地图具有道路类型、车道数、自身车道、目标类型、方向、距离、危险程度7个认知要素；MobileNet V2、MobileNet V2-SE、MobileNet V2-CBAM和MobileNet V2-...     

V2I系统的测试标准现状分析

车路协同技术作为智能交通系统的关键技术，由于其多行业技术融合的背景，导致测试内容复杂、影响元素众多。本文全面分析V2I系统测试标准发展现状，从V2I系统实现出发，将系统按照功能组成划分为：感知、定位、通信、算法应用四个模块，整理各模块应用层现有标准，包括技术要求、测试标准，分析其存在的不足之处，探究标准发展现状及趋势。     

铁路轨道部件注塑模具随形冷却流道的增材制造工艺参数优化

梳理了注塑模具的研究现状并设计了铁路轨道高分子材料部件模具的随形冷却流道。采用选区激光熔化技术完成随形冷却流道的增材制造和无支撑流道的工艺参数优化，当下表面填充的激光速度为2 000 mm/s、激光功率为120 W，下表面轮廓的激光速度为800 mm/s、激光功率为150 W时，能够提升流道内壁的成型效果和表面质量。通过对随形冷却流道的尺寸精度检测及力学性能试验，流道位置精度可达99%，直径精度可达98%，圆度为0.089 mm，平行于基板方向的抗拉强度为1 270 MPa，垂直于基板方向抗拉强度为1 040 MPa，硬度平均值为39.2 HRC。铁路轨道部件注塑模具随形冷却流道的尺寸精度及强度满足要求，可用于模具后续研究。