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.
定期运转：在阀门的动作很稀少时，可以定期驱动机器，检查有无异常。
The speed and place of the feedback have been breakdown frequently while checking components are used in numerically-controlled machine .
在数控机床测控系统中，反馈位移和速度的检测元件通常易发生故障。
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.
设计的三表式检测装置和液压机具取代了传统的三脚规及塞片检测和人工操纵螺杆校正；
During the last month, Fve been checking the machines which are reported in troubles since the day I arrived here, and find that something goes wrong with the machine engines.
从抵达当天起，我便一直在检查这些出故障的机器，一个月后，我发现机器的引擎有问题。
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.
论述了其独特的优点，并对完成整体装配后的架桥机进行了负重与提升的出厂检验试验。
With PLC checking, application of state information of PLC and PLC ladder diagram, the fault of CNC machine tool can rapidly been diagnosed accurately.
通过对可编程序控制器plc的检查，利用PLC的状态信息和PLC梯形图，可以快速、准确地判断数控机床故障。
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.
机器视觉在检测方面具有先天优势：检测速度快、分辨能力高、规范化程度高、可重复性好。
Before the adding machine, offices employed dozens of workers who spent all day adding columns of Numbers and double-checking the math of others.
参加机前，处事处招聘地工人谁一天到晚参加几十个列数字和认真查抄别人地数学。
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.
钢坯夹持机的应用不但可提高备料工序的工作效率，同时还具备检验钢坯表面质量的功能。
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.
钢坯夹持机的应用不但可提高备料工序的工作效率，同时还具备检验钢坯表面质量的功能。
应用推荐