基于通信的列车运行控制(communication based train control,CBTC)系统采用车地通信方式使得地面设备极其复杂。随着通信技术的快速发展,以车载为核心的列车运行控制(train-centric communication based train control,TcCBTC)系统采...基于通信的列车运行控制(communication based train control,CBTC)系统采用车地通信方式使得地面设备极其复杂。随着通信技术的快速发展,以车载为核心的列车运行控制(train-centric communication based train control,TcCBTC)系统采用车车通信方式减少了控制信息的传递环节,将成为城市轨道交通领域的发展方向。移动授权(movementauthority,MA)是决定列车能否以安全间隔运行的直接因素,因此对MA生成过程进行形式化建模与分析,对避免列车碰撞具有重要意义。根据TcCBTC系统架构分析MA生成流程,确定参与功能实现的子系统,并计算出不确定性参数;通过UPPAAL-SMC建立对应的随机混成自动机网络模型;最后采用统计模型检测方法对模型进行定量分析。分析结果表明:置信度为99.95%的情况下,系统在300 ms内成功计算出MA的概率为0.9974124748,为后续TcCBTC系统开发设计提供理论参考。展开更多
次声信号检测是次声事件监测的重要环节,常用的短时平均与长时平均之比STA/LTA(Short Term Average to Long Term Average)和著名的逐次多通道互相关方法PMCC(the Progressive Multiple Cross-Correlation)误检率都比较高.为此,提出一...次声信号检测是次声事件监测的重要环节,常用的短时平均与长时平均之比STA/LTA(Short Term Average to Long Term Average)和著名的逐次多通道互相关方法PMCC(the Progressive Multiple Cross-Correlation)误检率都比较高.为此,提出一种时频域信号能量统计的次声信号检测方法,其基本原理是根据目标信号与噪声的频域分布差异,采用窄带分频技术将待检波形变换到时频域,按时频格点计算局部平均能量与全局平均能量之比,当比值大于设定阈值时,认为该格点属于目标信号的一部分。以国际监测系统次声台站监测数据为对象进行了实验研究,并与PMCC检测结果进行了比较,结果表明所提出的信号检测方法对微弱次声信号检测能力强、误检信号少.展开更多
文摘基于通信的列车运行控制(communication based train control,CBTC)系统采用车地通信方式使得地面设备极其复杂。随着通信技术的快速发展,以车载为核心的列车运行控制(train-centric communication based train control,TcCBTC)系统采用车车通信方式减少了控制信息的传递环节,将成为城市轨道交通领域的发展方向。移动授权(movementauthority,MA)是决定列车能否以安全间隔运行的直接因素,因此对MA生成过程进行形式化建模与分析,对避免列车碰撞具有重要意义。根据TcCBTC系统架构分析MA生成流程,确定参与功能实现的子系统,并计算出不确定性参数;通过UPPAAL-SMC建立对应的随机混成自动机网络模型;最后采用统计模型检测方法对模型进行定量分析。分析结果表明:置信度为99.95%的情况下,系统在300 ms内成功计算出MA的概率为0.9974124748,为后续TcCBTC系统开发设计提供理论参考。
文摘次声信号检测是次声事件监测的重要环节,常用的短时平均与长时平均之比STA/LTA(Short Term Average to Long Term Average)和著名的逐次多通道互相关方法PMCC(the Progressive Multiple Cross-Correlation)误检率都比较高.为此,提出一种时频域信号能量统计的次声信号检测方法,其基本原理是根据目标信号与噪声的频域分布差异,采用窄带分频技术将待检波形变换到时频域,按时频格点计算局部平均能量与全局平均能量之比,当比值大于设定阈值时,认为该格点属于目标信号的一部分。以国际监测系统次声台站监测数据为对象进行了实验研究,并与PMCC检测结果进行了比较,结果表明所提出的信号检测方法对微弱次声信号检测能力强、误检信号少.