城轨CBTC系统联锁表数据安全逻辑验证方法研究

联锁表是联锁安全逻辑的体现,本文针对联锁表数据的安全逻辑验证问题,提出一种基于CSP的验证方法。首先对联锁表数据进行建模,将联锁表数据抽象为调度员、道岔、信号机、区段和联锁控制器5个进程的并发组合模型,并对各进程进行建模。依据联锁系统安全约束条件,从功能性和安全性两个方面,通过对模型正确性的验证来说明数据的安全逻辑正确性。最后以北京地铁亦庄站联锁表数据的安全逻辑验证为例,说明该方法的可行性。     

地铁运营设备管理维护保养模式的综合评价

简要论述城市地铁系统构成,总结维护保养模式研究的基本理念,分析现有维护保养模式的特点,提出了一套适合我国地铁运营管理维护保养模式的评价指标体系.     

城市轨道交通运营阶段项目安全流程管理优化

针对城市轨道交通运营阶段项目安全管理的系统,构建了在SOON体系下的运营阶段项目安全管理流程控制整体框架;按照安全流程管理要求,探讨了基于波特的价值链模型的管理组织措施优化、基于TPM&RCM的城市轨道交通关键设备维修管理模式优化和基于PIT-STOP模式的安全保障制度创新技术在南京地铁上的应用实践,为实现城市轨道交通运营阶段项目安全流程管理优化奠定理论基础。     

高速公路景观视觉协调性的评价

通过对景观视觉协调性的理论研究,确立了高速公路景观视觉协调性的研究内容,引出了表征视觉协调性的量化指标-景观视觉协调度,并提出了高速公路景观协调性评价指标体系.对河南宛坪高速公路景观视觉协调性的评价表明:方法简单、明了、可操作性强.     

隧道健康监测数据处理方法及实践

随着我国越来越多的隧道进入服役期,隧道健康监测成为确保隧道结构安全与正常运营的重要手段。而隧道健康监测数据作为判断隧道结构安全的基础资料,其分析与处理结果对于健康监测的有效性具有决定性意义。文章针对隧道健康监测数据的特性,采用改进的小波降噪法,引入一类可微的阈值函数,建立信号能量与小波系数之间的关系。通过迭代求解出各尺度下的小波系数最优阈值,有效的提高了信号重构的信噪比且消噪后的数据图形具有更光滑的外观。采用该方法使降噪处理后的数据有更高的鲁棒性,从而提高隧道健康决策的准确性。     

修车师傅今年五十五——记二炮某基地修配厂高级士官肖治安

2001年冬日的一天，第二炮兵某基地。一场汽车维修专业技术大比武正在紧张地进行。 比武场上，来自该基地修配厂的一位老兵特别引人注目。只见两鬓染白的他，身穿一套佩戴着六级士官军衔标志的迷彩服，脚蹬一双……