Underground engineering analysis of settlement data USES detect discrete point method, rendering the settlement warning cloud, which on the surface for the settlement of intuitive judgments.
地下工程沉降数据通常采用分析离散检测点的方法,绘制沉降预警云图,从而对地表的沉降情况进行直观的判断。
Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
Having fully absorbed the former researching results, strand space model become a practical, intuitive and strict method for security protocols analysis.
串空间模型吸收了前人的研究成果,是分析安全协议的一种实用、直观和严格的形式化方法。
In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.
事实证明,串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
The method makes the position analysis of the static sound source simpler and more intuitive, and provides a more accurate evidence for further noise-reducing work.
本发明方法使静态声源的定位分析更加简单直观,为进一步的降噪工作提供了更准确的依据。
The method makes the position analysis of the static sound source simpler and more intuitive, and provides a more accurate evidence for further noise-reducing work.
本发明方法使静态声源的定位分析更加简单直观,为进一步的降噪工作提供了更准确的依据。
应用推荐