Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
不严格地说，模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
Machine checking is a checking process wherein tools collect the observations and apply the rules without the mediation of humans.
机器验证是工具在没有人类辅助的情况下搜集观察结果并且使用规则的验证过程。
EKAQ Proofing Machine is especially designed for checking the quality of a newly made gravure cylinder before assembling it into the production line.
EKAQ打样机是转为新制版辊上机印刷前检查质量问题而设计的专用打样设备。
A system based on machine vision for off-line checking the printing quality of bank note was proposed.
介绍了一种基于机器视觉的大张钞票离线检测系统。
It can be equipped with tablets-absent automatic checking and rejecting device. It also can be connected with the cartoning machine, being a completed packaging production line.
可配备在线缺片检测及自动剔废装置，也可与装盒机连接形成自动包装生产线。
In this paper, a method of employing standard hobs to machine gears with different module and pressure Angle is presented. The relevant checking calculation method is also put forward.
本文提出用标准齿轮滚刀加工与其模数、压力角不同的异制齿轮的方法，并给出了相应的验算方法。
The workers gave the machine a good checking.
工人们对机器进行了彻底的检查。汉译时引申。
The modular idea begins at a modular product and ends up a modular device. It includes all objects of manufacture: product, technology, jig, tool, checking device, machine-tool and management.
模块概念起始于模块产品，结束于模块设备，它包括了机械制造流程中的所有对象：产品、工艺、夹具、刀具、检测装置、机床以及生产管理。
A checkweigher is an automatic machine for checking the weight of packaged commodities.
自动查验包装商品的重量(是否合乎标准)。
This paper introduces a theoretic analysis of a flywheel in cutting-off machine for leftover material. It provides a precise design method and a mode of checking computation for the machine.
对在滚筒式碎边剪机构上增加飞轮装置进行了理论解析，为所设计的机器进行提供精确设计和验算方法。
The workers gave the machine a good checking.
工人们对机器进行了彻底的检查。
The utility model relates to a spherical combined checking device for evaluating a three-coordinate measuring machine.
本实用新型涉及评定三坐标测量机的球形组合检具。
After being trial-produced, a model machine is equipped and operated for checking in a farm cottage for sunning grains and in a building operation field, and is praised by probation people.
样机经试制，在农户平房晒粮和建筑施工现场安装考核运作，受到试用人员好评。
After being trial-produced, a model machine is equipped and operated for checking in a farm cottage for sunning grains and in a building operation field, and is praised by probation people.
样机经试制，在农户平房晒粮和建筑施工现场安装考核运作，受到试用人员好评。
应用推荐