排序方式： 共有2条查询结果，搜索用时 15 毫秒
1
1.
高铁列车运行控制系统的可靠性对保障安全运营有重要影响,迅速而准确地对系统故障进行诊断有重要意义.基于隐马尔可夫模型,以无线通信子系统为对象,探讨了具有随机性和间歇性故障特征的诊断方法,建立了系统模型,给出了参数训练及故障诊断算法.通过系统测试,验证了算法的收敛性和可用性.实验结果表明,在确保样本量足够大的前提下,系统故障的平均诊断率能够达到97.5％,该方法对故障诊断有良好的效果. 相似文献
2.
通信协议是CBTC系统重要的组成部分,它的正确性、稳定性和安全性对整个CBTC系统有重要影响.鉴于通信协议中某些参数具有随机特征,本文采用概率模型检验对其进行形式化验证.分析了概率模型检验的语义及语法,建立了通信协议的概率模型,用概率模型检验工具PRISM验证了典型的概率规范.结果证明,当信道正常概率为99%,系统无延时概率为99%时,通信协议失效率小于1.5×1010.说明了用概率模型检验验证具有随机特征参数的通信协议,方法简单快捷,结论清晰明了. 相似文献
1