1) type of faulted basin
断陷类型
3) Type of collapsibility
湿陷类型
4) collapse type
塌陷类型
5) type flaw
类型缺陷
1.
The method is effective for type flaw attack discovery through modeling and analysis of Otway-Rees protocol.
在分析安全协议模型的基础上,探讨了基于SMV工具的安全协议的建模及发现类型缺陷攻击的方法,对Otway-Rees协议的建模和分析表明,该方法对于发现类型缺陷攻击是有效的。
2.
This paper uses the authentication test method to analyze the protocol with the type flaw by getting rid of the strong typing abstraction and adding the concept of the strand templates and a pseudo-operation of the penetrator.
通过去除Strand空间中的强类型抽象假设 ,引入Strand模板的概念与一个入侵者的伪操作 ,进而利用认证测试方法 ,实现了对具有类型缺陷的认证协议的直接分析 。
6) subsidence type
沉陷类型
1.
Discussion on surface subsidence type and cause in Datong Mining Area;
大同矿区地表沉陷类型及成因初探
补充资料：断陷盆地
断陷盆地
指断块构造中的沉降地块，又称地堑盆地。它的外形受断层线控制，多呈狭长条状。盆地的边缘由断层崖组成，坡度陡峻，边线一般为断层线。随着时间的推移，在断陷盆地中充填着从山地剥蚀下来的沉积物，其上或者积水形成湖泊（如贝加尔湖、滇池），或者因河流的堆积作用而被河流的冲积物所填充，形成被群山环绕的冲积、湖积、洪积平原。如太行山中的山间盆地和地堑谷中发育着的冲积洪积平原。低于海平面的断陷盆地被称为大陆洼地。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条