实现黄河工程维修养护机械化的必要性

水管体制改革全面完成后,对黄河水利工程提出了精细化管理的要求,以往的那种以人力为主的维修养护方式,显然已不适应时代的发展,维修养护工作机械化程度的提高势在必行。     

基于场景的自适应红外焦平面非均匀校正技术

为提高基于场景的自适应算法性能,根据图像非线性滤波理论,提出采用中值滤波进行图像前处理的自适应红外焦平面校正技术。该算法经过仿真图像序列和实际图像测试,达到较高的非均匀校正水平,降低了固定图案噪声,保护了图像细节。同时算法具有计算复杂度低,可以有效获得随帧数变化的探测器增益和偏置参数。     

基于有色Petri网的ETCS通信系统与列车间隔分析

利用分层赋时有色Petri网(CPN),综合信道失效模型、概率传输延迟,信道恢复行为,提出了欧洲列车控制系统中列车追踪运行无线通信系统的分层结构,分析了无线通信系统中列车运行速度、列车位置报告周期对列车时间间隔的影响,给出对应的列车安全间距指标。研究结果对于优化列车间隔时间、提高列车运行效率和保障列车运行安全具有重要意义。     

概率模型检验的CBTC系统通信协议的形式化验证

通信协议是CBTC系统重要的组成部分,它的正确性、稳定性和安全性对整个CBTC系统有重要影响.鉴于通信协议中某些参数具有随机特征,本文采用概率模型检验对其进行形式化验证.分析了概率模型检验的语义及语法,建立了通信协议的概率模型,用概率模型检验工具PRISM验证了典型的概率规范.结果证明,当信道正常概率为99%,系统无延时概率为99%时,通信协议失效率小于1.5×1010.说明了用概率模型检验验证具有随机特征参数的通信协议,方法简单快捷,结论清晰明了.     

列控系统中数据通信子系统可靠性研究

列控系统中数据通信子系统的可靠性对于保障列车安全高效运营具有重要作用.利用马尔可夫模型,综合了随机信道恶化,越区切换、无线接入设备故障等无线信道失效因素,提出了数据通信子系统非冗余结构和冗余结构的可靠性模型,分析了不同的数据通信系统结构对可靠性能的影响.同时,给出了列车运行速度与系统可用性指标的相互关系.分析结果显示,冗余结构的数据通信子系统有效提高了通信系统的可靠性;冗余结构的系统可用性指标比非冗余结构提高了大约两个数量级,达到99.99%;冗余结构有效消除了列车越区切换对系统可靠性能的影响.