CBTC系统测试平台进入全面调试阶段

为进一步开展城轨领域检验检测业务,中铁检验认证中心城轨事业部开发了城市轨道交通CBTC通用测试平台。该平台主要特点如下。（1）采用仿真测试技术：测试平台实现不依赖实物,而通过仿真的形式虚拟完整的城市轨道交通CBTC系统及其接口设备。     

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

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

公路零担物流企业末端配送路径优化

针对公路零担物流企业末端配送货源的不确定性和广泛性、单位运输成本较高等特点,以及存在的配送网络体系不健全、配送路径规划不当等问题,建立相应的配送路径优化数学模型。将JOPT(配送路径优化和移动资源调度算法包)作为优化具体配送路径的手段,进行仿真流程设计、优化参数设定,并进行仿真求解,获得最优的配送路径。结合具体实例,将JOPT算法优化后的配送路径与原路径进行比较,发现配送里程相对缩短,配送成本相应降低。