Checking and deducing the amount of resources (such as CPU shares, memory, and disk space) that are needed by each virtual machine from the total amount of resource available to the hypervisor.
检查和推断每个虚拟机在管理程序可用的资源总量中所需的资源量(如cpu配额、内存和磁盘空间)。
The checkout code can make sure the state machine is in the shopping state before checking out.
签出代码可以确保状态机在签出之前处于shopping状态。
Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
不严格地说，模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
He had carelessly tossed the clothes into the machine without checking the pockets.
他非常粗心，没检查口袋就把衣服扔到洗衣机里。
Machine checking is a checking process wherein tools collect the observations and apply the rules without the mediation of humans.
机器验证是工具在没有人类辅助的情况下搜集观察结果并且使用规则的验证过程。
There were troops with machine guns checking the credentials of officials and reporters, in addition to plain-clothes security officials with more familiar metal detectors.
军人荷枪实弹检查官员和记者是否安全，便衣安全人员也带着金属探测器。
Regular operation: When the valve works infrequently, it should drive the machine regularly, checking abnormality or not.
定期运转：在阀门的动作很稀少时，可以定期驱动机器，检查有无异常。
At the same time, in the measured machine, torque measuring instrument can be watch-instrument in the routine circulation, fault - diagnosis and checking instrument in the autocontrol system.
同时，在受试机械中，转矩测量系统可作为日常运行的监视装置，起到故障诊断的作用或可用做自动控制系统中的检测装置。
The three - meter checking device and hydraulic machine were developed to substitute the traditional three - legged divider plug gauge and correction by the thread rod.
设计的三表式检测装置和液压机具取代了传统的三脚规及塞片检测和人工操纵螺杆校正；
EKAQ Proofing Machine is especially designed for checking the quality of a newly made gravure cylinder before assembling it into the production line.
EKAQ打样机是转为新制版辊上机印刷前检查质量问题而设计的专用打样设备。
It offers four simple and fast methods about checking the electric fault of the machine tool from the practice in order to improve the efficiency and accuracy of the checking.
从工作实际经验出发，提出了机床电气故障检查的四种简单快速方法，以提高机床电气故障检查的效率和准确性。
And the checking experiments about loading and promoting of the bridge machine after the whole assembly are 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.
可配备在线缺片检测及自动剔废装置，也可与装盒机连接形成自动包装生产线。
RESULTS &CONCLUSION:Connecting "bar code checking program"to hospital information system in the drug dispensing and adding machine judgment procedures can reduce the occurrence of error …
结果与结论：将“条形码校验程序”与医院信息系统连接并应用于药品调配过程，增加计算机判断步骤，有利于减少差错，提高药品调配质量。
A system based on machine vision for off-line checking the printing quality of bank note was proposed.
介绍了一种基于机器视觉的大张钞票离线检测系统。
Machine vision has some inborn advantages on checking, such as high-speed, high resolving power, normative, repeatable and so on.
机器视觉在检测方面具有先天优势：检测速度快、分辨能力高、规范化程度高、可重复性好。
Simulation results in two-area four-machine proves that power system stabilizer under this strategy has stronger capacity of checking shocks and becomes stable more quickly.
二区域四机的仿真结果证明施加这种控制策略的电力系统稳定器抑制振荡能力更强，进入稳态时间更短。
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.
本文提出用标准齿轮滚刀加工与其模数、压力角不同的异制齿轮的方法，并给出了相应的验算方法。
Precision checking is the precondition of the machine precision. It includes probe checking and rotor checking. Probe and reposition data can be modified through 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.
模块概念起始于模块产品，结束于模块设备，它包括了机械制造流程中的所有对象：产品、工艺、夹具、刀具、检测装置、机床以及生产管理。
Not only the application of clamp machine advance work efficiency of stock working procedure, it is provided with the function on checking up surface quality of billet material.
钢坯夹持机的应用不但可提高备料工序的工作效率，同时还具备检验钢坯表面质量的功能。
Each machine operator performs continuous inspection while producing the parts, checking dimensions with gaging tools as well as observing the appearance and surface characteristics of the part.
如用量具测尺寸、观察产品的外观和表面特性。检验员会定时地检查，从每台机器做出的产品中抽样。
The utility model relates to a spherical combined checking device for evaluating a three-coordinate measuring machine.
本实用新型涉及评定三坐标测量机的球形组合检具。
A checkweigher is an automatic machine for checking the weight of packaged commodities.
自动查验包装商品的重量(是否合乎标准)。
The machine contains the functions of checking and plaiting cloth, which reduce the buyers cost.
本机还有成品布验布，卷布功能，一机两用，降低厂家成本。
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.
对在滚筒式碎边剪机构上增加飞轮装置进行了理论解析，为所设计的机器进行提供精确设计和验算方法。
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.
样机经试制，在农户平房晒粮和建筑施工现场安装考核运作，受到试用人员好评。
应用推荐