文章摘要信息 关键词 : 模型检测 Ada 并发程序 模型提取 SPIN [gap=676]Keywords : model checking;Ada;concurrent program;model extraction;SPIN
基于8个网页-相关网页
Model Extraction Algorithm 模式提取算法
functional model extraction 功能模型提取
that model extraction algorithm source 说明即模式提取算法源程序
extraction model 拔牙模式 ; 抽取模型 ; 减数方案 ; 拔牙形式
model parameter extraction 模型参数萃取
Data Extraction Model 数据抽取模型
Model-based Building Extraction 模型式建物萃取法 ; 型式建物萃取法
extraction of model parameters [电子] 模型参数提取
Vegetation Spectral Feature Extraction Model 植被光谱维特征提取模型
For a full list of available model extraction functions, take a look at the InfoSphere Warehouse documentation (see Resources).
要获得所有可用的模型提取函数的列表,请参阅InfoSphere Warehouse文档(见参考资料)。
Based on a STL file of thin-wall part, which can be produced by almost each commercial CAD software, an algorithm is proposed for Mid-plane mesh model extraction.
基于商用CAD软件生成的用STL文件表示的薄壁注塑件实体模型,给出了表面有限元网格模型的生成方法。
First, we cover creating an infrastructure or an object model that starts with a request, access definition, and column maps for data extraction.
首先,我们创建一个基础或者对象模型,从分析需求、访问定义,以及数据提取的列映射开始。
应用推荐