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.
串空间模型吸收了前人的研究成果，是分析安全协议的一种实用、直观和严格的形式化方法。
应用推荐