|
|
|
说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
|
|
|
1) periodical detection model
定检模型
2) the expected risk premium of equity
模型设定偏误检验
3) blood typing
血型检定
4) Model verification
模型检验
5) model checking
模型检验
1.
Application of model checking technology to automatically vulnerabilities finding in software;
模型检验技术在软件漏洞自动挖掘中的应用
2.
Using model checking to generate test cases for class testing;
一种基于模型检验的类测试用例生成方法
3.
Method of model checking based on linear weighted generalized list;
基于线性带权值的广义表的模型检验方法
6) checker model
检具模型
1.
Based on the relation between the covering shape feature, holding feature, checking feature and checker model, the feature mapping relation from auto-body covering model to checker model was discussed, the mapping function of feature information evolving process, was presented,and a simultaneously checker design during covering concept des.
在研究车身覆盖件的结构形状特征、定位装夹特征、检测特征和车身检具关系的基础上,讨论了车身覆盖件模型到检具模型的特征映射关系,给出特征信息演变的映射函数,实现在车身覆盖件的概念设计阶段,同步进行检具设计的思想。
补充资料：基于Pro/ENGINEER装配模型的汽车油气管检具设计
【摘 要】 介绍汽车油气管检具的CAD/CAM集成解决方案，详细介绍Pro/ENGINEER装配模型部件标识机制及坐标转换理论，最终得到检具的检测坐标。 【关键词】 装配模型 Pro/ENGINEER 二次开发技术 1 引言 直的橡胶管穿在已弯成所需产品形状的不锈钢芯棒上，在硫化炉中对橡胶管进行硫化定型，通过水冷得到成品即油气管。汽车油气管检具就是检测油气管是否合格的一个装置，因此，检具的制作精度要求较高，检具完成后对其进行检查，以判断检具是否合格，检具一般在三坐标测量仪上进行测量，以点的形式进行检查。油气管的几何图形由两个同心圆沿一条样条曲线扫描而成，由于是一条空间样条曲线，对油气管及其检具采用Pro/ENGINEER软件作为产品和检具设计、数控编程的软件平台，在BeiJing FANUC—450数控铣床对其进行加工，通过Pro/ENGINEER的装配模型和二次开发技术得到所需测量点的坐标，以检验产品是否合格。 2 三维CAD模型 由于需进行数控加工必须得到检具的三维CAD模型，同时要得到油气管与检具的装配模型并进行干涉检查，而采用传统的二维图的设计是不可能实现的。设计过程不进行具体描述，图1是三维CAD模型。 
a)油气管 
b)装配图
图1 3 Pro/ENGINEER装配模型 3.1 零部件标识 Pro/ENGINEER软件是基于特征的实体造型软件， 装配模型是一个等级结构树，它用一个数组结构对装配体中的零部件进行唯一标识。可以对模型中的零部件进行查询、读取、修改和增减等编辑操作。对多层次的产品结构树表达的装配模型来说，要实现对结构树中的每一个结点的信息进行操作，就必须对结构树中的每一个结点进行从根结点到该结点的全局标识。对于一个子装配体，如果我们只考虑其直接组成部件则是一个单层结构，可以用不重复的正整数来标识每一个零部件。对于一个成品装配体来讲，也是相同的，但由于成品装配体是一个多层结构，所以可以通过增加层号来粗定位层信息，再用不重复的正整数来标识每一个零部件，最后形成用层数和以层数为长度的一维数组来标识的方法。如图2所示，即为Pro/ENGINEER软件下的部件标识示例。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条
|