Analysis results show that the algorithm is a valid method for height finding in multipath environment.

分析结果证明了该算法是一种多经环境下测高的有效方法。

youdao

Using formal method to analyze security protocol is a valid method to the analysis of security protocols. In recent years, a lot of formal methods appeared.

采用形式化方法分析安全协议是协议分析的有效手段，近年来，出现了众多的研究方法。

youdao

Finally, the method is substantiated valid through example computation and analysis.

最后，通过实例计算和分析证实了本文方法的有效性。

youdao