1) Limit test of polymorph A
A晶型检查法
2) phakoscopy,phacoscopy
晶状体镜检查<法>
3) 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;
基于模型检查的场景图和攻击图研究
4) type checking
类型检查
1.
This paper presents the processes of hierarchical development and proof of method B,depicts its type checking and proof obligations from the construction of abstract machine to refinement and implementation in detail.
本文介绍了B方法的分层开发与证明过程,针对构造AM以及对他进行精化和实现过程中的类型检查、证明义务进行了重点分析,最后通过具体应用说明了B方法的证明技术在实践中的有效性。
2.
Using Xerces-J2 the XML partial validating interfaces based on XML Schema are designed and implemented, including type checking, identity constraints checking and so on.
利用Xerces-J2,设计实现了基于XMLSchema的XML局部验证接口,包括类型检查和ID约束检查等。
3.
The type checking algorit.
引入类型变量和相应的类型检查方法,就可以将其类型系统扩充为多态类型系统。
5) type check
类型检查
1.
OOZS type check tool is a program which can check the syntax and type of OOZS specifications.
ＯＯＺＳ类型检查器是ＯＯＺＳ规格说明的一种检查程序，它可以找出用户编写的ＯＯＺＳ规格说明中出现的语法错误以及类型操作的不一致错误，并能够自动定位错误。
6) by-variable sampling tests
计量型抽样检查法
补充资料：电磁型继电保护装置的检查和调整
1 电磁式电流（电压）继电器的检查与调整
1.1 除常规检查外，还需进行以下几方面的检查和调整。
（1）检查触点桥及螺旋弹簧在轴上的固定螺丝是否拧紧。
（2）检查轴的纵向和横向活动范围，此范围应为0.2～0.3mm。
（3）继电器动作后，Z形铁片与上下磁极间均应保持不小于0.3mm的间隙。
（4）检查继电器的触点是否有烧痕及不清洁情况，触点桥与静触点接触时所交的角度应为55～65度，且应在离静触点首端1/3处接触，然后以不大的摩擦力滑行，约在末端1/3处终止。两静触点片的倾斜度应一致且位于同一平面上，触点桥与静触点应同时接触。触点桥允许在其转轴上旋转10～15度，并可油轴向移动0.2mm左右。继电器动静触点间的距离应为1.5～2mm，静触点防震片与静触点弹簧片之间应仅能接触而无压力，或两者之间有一不大于0.1～0.2mm的间隙。
1.2 刻度校验
电流波形对电磁型继电器的工作转矩几乎没有影响，所以电流值可用变阻器、调节器、行灯变压器、大电流发生器等调节。
（1）电流继电器的刻度检验 行将可变电阻RH放在最大阻值，合上开关，逐渐增加电流至继电器开始动作时的电流――动作电流IDZ，当继电器动作后，逐渐减小电流，使触点开始返回至原始位置时的电流称为返回电流IFH，返回系数KFH为动作与返回值的测量应重复三次，每次测量动作值刻度值的差不应大于±6%。DL-10系列电流继电器和DJ-100系列过压继电器，返回系数范围0.85～0.95，DJ-100系列欠压继电器，返回系数范围1.04～1.2（强行励磁装置的电压继电器除外）。
（2）过压继电器与电流继电器的试验及要求基本相同。
（3）欠压继电器的刻度校验 合上开关后，先将电压调至继电器的额定电压（这时触点断开），再逐渐降低电压使触点闭合的电压称为动作电压。当继电器动作后，再逐渐增高电压，使触点断开的电压即为返回电压。
1.3 冲击试验
冲击试验的接线与刻度校验相同。
（1）电流继电器的冲击试验 电流的调节，在5～7s内将电流由雾逐渐加至保护安装处的最大可能的短路电流值，观察继电器的触点在电流上升过程中有无抖动、跳越、卡住等不良现象。如果一切正常，则在此电流下，作三次冲击性投入。然后重复检查最大和最小刻度的动作电流与返回电流，与冲击前的记录相比应基本相同，如果相关较大，则应检查各零件固定情况，消除缺陷，重新检查二项和三项。
（2）电压继电器的冲击试验 将电压由零升至1.25倍继电器的额定电压，在电压上升过程中检查触点接触情况和可动部分的振动情况，若良好，即以此电压作三次冲击，然后复查刻度，与冲击前的记录相比应基本相同。
1.1 除常规检查外，还需进行以下几方面的检查和调整。
（1）检查触点桥及螺旋弹簧在轴上的固定螺丝是否拧紧。
（2）检查轴的纵向和横向活动范围，此范围应为0.2～0.3mm。
（3）继电器动作后，Z形铁片与上下磁极间均应保持不小于0.3mm的间隙。
（4）检查继电器的触点是否有烧痕及不清洁情况，触点桥与静触点接触时所交的角度应为55～65度，且应在离静触点首端1/3处接触，然后以不大的摩擦力滑行，约在末端1/3处终止。两静触点片的倾斜度应一致且位于同一平面上，触点桥与静触点应同时接触。触点桥允许在其转轴上旋转10～15度，并可油轴向移动0.2mm左右。继电器动静触点间的距离应为1.5～2mm，静触点防震片与静触点弹簧片之间应仅能接触而无压力，或两者之间有一不大于0.1～0.2mm的间隙。
1.2 刻度校验
电流波形对电磁型继电器的工作转矩几乎没有影响，所以电流值可用变阻器、调节器、行灯变压器、大电流发生器等调节。
（1）电流继电器的刻度检验 行将可变电阻RH放在最大阻值，合上开关，逐渐增加电流至继电器开始动作时的电流――动作电流IDZ，当继电器动作后，逐渐减小电流，使触点开始返回至原始位置时的电流称为返回电流IFH，返回系数KFH为动作与返回值的测量应重复三次，每次测量动作值刻度值的差不应大于±6%。DL-10系列电流继电器和DJ-100系列过压继电器，返回系数范围0.85～0.95，DJ-100系列欠压继电器，返回系数范围1.04～1.2（强行励磁装置的电压继电器除外）。
（2）过压继电器与电流继电器的试验及要求基本相同。
（3）欠压继电器的刻度校验 合上开关后，先将电压调至继电器的额定电压（这时触点断开），再逐渐降低电压使触点闭合的电压称为动作电压。当继电器动作后，再逐渐增高电压，使触点断开的电压即为返回电压。
1.3 冲击试验
冲击试验的接线与刻度校验相同。
（1）电流继电器的冲击试验 电流的调节，在5～7s内将电流由雾逐渐加至保护安装处的最大可能的短路电流值，观察继电器的触点在电流上升过程中有无抖动、跳越、卡住等不良现象。如果一切正常，则在此电流下，作三次冲击性投入。然后重复检查最大和最小刻度的动作电流与返回电流，与冲击前的记录相比应基本相同，如果相关较大，则应检查各零件固定情况，消除缺陷，重新检查二项和三项。
（2）电压继电器的冲击试验 将电压由零升至1.25倍继电器的额定电压，在电压上升过程中检查触点接触情况和可动部分的振动情况，若良好，即以此电压作三次冲击，然后复查刻度，与冲击前的记录相比应基本相同。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条