列控车载设备测试案例辅助管理工具设计

针对列车运行控制（简称：列控）车载设备测试缺乏高效的测试案例辅助管理工具，带来测试需求与测试案例管理不便、测试案例编制效率不高、测试案例统计分析困难等问题，设计了一款列控车载设备测试案例辅助管理工具。以提高测试案例管理效率为目标，建立了工具的总体功能框架，设计与实现了测试需求管理、测试案例辅助编制及管理、测试案例统计分析3大功能模块，构建了测试需求提取、测试案例辅助编制与测试案例分析的一体化测试案例管理流程。以CTCS-2级列控车载设备测试案例管理为例，对工具进行了功能验证。结果表明，采用该工具可以更加方便地管理测试需求和测试案例，提高测试案例编制以及测试统计分析的效率，降低测试过程中人工管理的复杂度。     

铁路信号安全关键软件的组合测试序列集约简

针对现有铁路信号系统安全关键软件t-路组合测试序列生成方法在处理大规模输入时产生冗余测试序列，导致测试执行成本较高的问题，提出了一种基于贪婪-粒子群混合优化算法的t-路组合测试序列集约简方法，用于降低序列集的执行成本. 首先，以执行成本最低为约简目标，建立针对t-路组合测试序列集约简的优化模型；然后，在保证测试序列集逻辑覆盖特性的基础上，采用贪婪-粒子群混合优化算法求解模型，计算约简后的测试序列集；最后，以ZPW-2000轨道电路接收器软件作为研究对象，以其生成的2-路组合测试序列集为例开展约简验证. 结果表明，所提方法在保证2-路组合覆盖和逻辑覆盖的前提下，对单个序列集的执行成本约简幅度最高达到98.33%，对序列集总的执行成本约简幅度达到36.10%，验证了所提方法的可行性和有效性.      

�����ν���Э���ĵ�������վ�򳵿����Ż�

研究了高峰时段列车运行的衔接协调对换乘站候车客流量的优化问题。首先分析了换乘站各站台候车客流的组成因素,确定出各运行方向的换乘站台内客流量随时间变化的规律。然后,以时段内换乘站候车客流量的最大值最小为目标,建立优化模型。模型以站台最大可容纳候车人数为约束条件,以各方向列车在换乘站的到达时刻为调整对象,实现了高峰时段换乘站内聚集客流的优化。最后,针对验证案例,设计了遗传算法进行求解,得出了协调较优解,并给出与较劣解的对比分析。结果表明,该优化方法能够有效降低换乘站内的候车客流人数,可为网络化的优化协调工作提供参考。     

用微机实现多路高灵敏轨道电路的测试

介绍了高灵敏轨道电路基本原理以及用微机实现多路高灵敏轨道电路测试的方案和具体方法。     

客专CTCS2仿真系统控制中心数据结构设计与实现

基于图论和面向对象理论,介绍客专CTCS2仿真系统控制中心线路及车站数据结构的建模与设计,描述控制中心子系统初始化数据表单的设计和数据结构的生成算法.该数据结构的实现为控制中心提供基础数据结构,并能很好地服务于整个仿真系统.     

高铁运营安全监督系统奖惩机制优化研究

针对我国高速铁路委托运输管理模式下,高铁运营安全监督系统尚未形成有效的奖惩机制等问题,运用演化博弈论来分析国家铁路局、高铁公司和委托路局三方在高铁运营安全监督过程中的决策,通过对系统静态演化博弈模型进行优化,分别建立了基于动态奖励,动态奖惩和优化动态奖惩场景的系统演化博弈模型.通过对模型进行理论证明,结合系统动力学仿真,分析和验证了3种场景下模型存在均衡点的稳定性.结果表明,在优化动态奖惩场景下,国家铁路局的安全监管率下降的同时,高铁公司的安全监督率和委托路局的安全投入率都得到了有效提高,使三方在长期博弈过程中达到最优状态.本文对于完善高铁委托运输管理制度,提高运营安全水平,有很强的参考和借鉴意义.     

高速铁路信号系统网络安全与统一管控

为了保障我国高速铁路信号系统的网络安全,从高速铁路信号系统的整体架构出发,对系统所面临的网络安全问题进行了全面的分析,涵盖了分散自律调度集中系统、列车运行控制系统、集中监测系统和GSM-R无线通信系统等.在此基础上,提出了基于软件定义网络(SDN)的高速铁路信号系统网络安全统一管控方案,把分散自律调度集中网络、信号安全数据网和集中监测网络通过软件定义的方式进行管控和隔离,实现了对网络流量的精细控制和统一管理,利用逻辑上统一的控制器实现全局的设备注册管理、安全通信访问控制和网络数据的追踪溯源,从而提高了网络的安全性,减小了网络管理的复杂性.通过分析可知,本文所提出的架构具有逻辑集中管控、统一安全策略、网络可编程等特点,相对于分散管理的网络更适用于高铁信号系统专网的网络安全管理,可以解决我国高速铁路信号系统不同安全等级网络互联和复杂网络安全管控的问题.      

基于STAMP与模型检验的全自动无人驾驶复杂运营场景安全验证方法

与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂运营场景安全验证方法。首先,基于STAMP理论构建运营场景分层控制结构模型,辨识潜在的不安全控制行为、分析危险致因和安全约束;其次,定义分层控制结构模型与安全状态机模型间的基本转换规则,基于分层控制结构模型、安全约束和转换规则,构建运营场景安全状态机模型;最后,针对提取的安全约束,利用数据流图建立安全属性验证模型,结合模型检验技术,对运营场景安全状态机模型进行形式化验证。以全自动无人驾驶运营场景中列车自动进站停车为例,对方法进行验证分析。结果表明,当STAMP理论提取的安全约束通过了场景安全状态机模型的验证时,表示在该场景中对应的不安全控制行为没有发生且不导致相应危险。该方法结合系统安全分析与形式化建模验证的优势,降低了运营场景建模的难度,构建的运营场景形式化模型满足系统安全约束,可以作为全自动无人驾驶系统安全设计和安全...     

基于控制器局域网总线的微机化站间闭塞系统

随着计算机技术及现代通信技术的发展,研究用现代技术改造现有的继电半自动闭塞成为可能.分析了以CAN总线控制技术和容错技术为基础构成微机化站问闭塞系统的可行性,并提出了实施方案.     

桥梁倒塌事故综述及其预防对策

收集整理了国内外典型桥梁倒塌事故,对其倒塌因素进行了分类。并在此基础上深入分析了桥梁倒塌的原因,最后提出了预防桥梁倒塌事故发生的措施,供今后的桥梁建设参考。