模型简化策略相关论文
基于特征造型技术的三维CAD系统目前已广泛应用于产品设计。随着三维建模技术的发展，CAD系统中包含越来越多的几何特征。含有丰富特......
为了有效地提高网络认证协议建模和验证的效率,基于模型检测方法提出一个通用的网络认证协议模型描述方法,结合模型检测工具SPIN可......
