1) model checking tool
模型检查工具
2) mask inspection tool
掩模检查工具
3) Model-checking Tool
模型检测工具
1.
Model-checking Tool Based on Finite Precision Timed Automata (FPTA);
一种基于有限精度时间自动机的模型检测工具
4) check package
检查工具包
5) 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.
在研究车身覆盖件的结构形状特征、定位装夹特征、检测特征和车身检具关系的基础上,讨论了车身覆盖件模型到检具模型的特征映射关系,给出特征信息演变的映射函数,实现在车身覆盖件的概念设计阶段,同步进行检具设计的思想。
6) model checking
模型检查
1.
Modeling from VHDL design to FSM based on model checking;
基于模型检查的VHDL到FSM的转换
2.
Study of Scenario Graph and Attack Graph Based on Model Checking;
基于模型检查的场景图和攻击图研究
补充资料：长度测量工具:齿轮综合检查仪
利用双面嚙合法或单面嚙合法(见齿轮测量)测量齿轮精度的长度测量工具。齿轮综合检查仪分为双面嚙合检查仪和单面嚙合检查仪两种。
齿轮双面嚙合检查仪 简称双嚙仪﹐用於测量径向综合误差和齿轮副中心距变动等。图1 齿轮双面嚙合检查仪
为这种检查仪的外形。测量齿轮在弹簧力的作用下与被测齿轮作双面嚙合传动﹐后者的齿圈径向跳动﹑齿形误差等单项误差综合地反映为平行於导轨的径向变动量。量值由百分錶指示﹐或由记录器记录出误差曲线图。被测齿轮一转和转过一齿内的最大变动量分别为径向综合误差和径向一齿综合误差﹔一对被测齿轮配对测量所得最大变动量即齿轮副中心距变动。双嚙仪结构简单﹐测量效率高﹐广泛应用在大量生產中检验7级以下精度的齿轮。
齿轮单面嚙合检查仪 简称单嚙仪﹐用於测量切向综合误差等。单嚙仪可分为光栅式﹑磁栅式和惯性式几种。图2 光栅式齿轮单面嚙合检查仪
为一种光栅式齿轮单面嚙合检查仪。当测量齿轮带动被测齿轮转动时﹐由被测齿轮的周节﹑齿形﹑齿向﹑齿圈径向跳动等单项误差综合引起的转角误差﹐通过与被测齿轮同轴安装的圆光栅传感器转换成电信号输出。此电信号与测量齿轮同轴安装的圆光栅传感器输出的电信号分别经放大﹑整理﹑分频后进行比相﹐再由记录器记录出误差曲线图。这种齿轮检查仪一般用於测量5～6级精度的齿轮﹐配对测量时可以达到更高精度。
齿轮双面嚙合检查仪 简称双嚙仪﹐用於测量径向综合误差和齿轮副中心距变动等。图1 齿轮双面嚙合检查仪
为这种检查仪的外形。测量齿轮在弹簧力的作用下与被测齿轮作双面嚙合传动﹐后者的齿圈径向跳动﹑齿形误差等单项误差综合地反映为平行於导轨的径向变动量。量值由百分錶指示﹐或由记录器记录出误差曲线图。被测齿轮一转和转过一齿内的最大变动量分别为径向综合误差和径向一齿综合误差﹔一对被测齿轮配对测量所得最大变动量即齿轮副中心距变动。双嚙仪结构简单﹐测量效率高﹐广泛应用在大量生產中检验7级以下精度的齿轮。 齿轮单面嚙合检查仪 简称单嚙仪﹐用於测量切向综合误差等。单嚙仪可分为光栅式﹑磁栅式和惯性式几种。图2 光栅式齿轮单面嚙合检查仪
为一种光栅式齿轮单面嚙合检查仪。当测量齿轮带动被测齿轮转动时﹐由被测齿轮的周节﹑齿形﹑齿向﹑齿圈径向跳动等单项误差综合引起的转角误差﹐通过与被测齿轮同轴安装的圆光栅传感器转换成电信号输出。此电信号与测量齿轮同轴安装的圆光栅传感器输出的电信号分别经放大﹑整理﹑分频后进行比相﹐再由记录器记录出误差曲线图。这种齿轮检查仪一般用於测量5～6级精度的齿轮﹐配对测量时可以达到更高精度。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条