该系统也将自动提取患者的记录并验证房间是否已准备好了手术进行所必需的东西。
This system will also automatically bring up the patient's records and verify that the room is supplied with everything necessary for a planned surgery.
再次指出，文件格式应该是机器可读并可验证的，同时也应该是容易自动生成的(比如从构建系统生成)。
Again, the format should be machine-readable and -verifiable and easy to produce automatically (e.g. from a build system).
文中使用的示例代码有助于自动化系统管理工作，这些代码清单已得到系统测试团队的验证。
The sample code listings, which are useful for automating system administration work, in the article have been verified by the system test team.
它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.
它包括建立流程、时序安排和卫星上行链路仪器负荷，以全自动模式管理太空船，验证地面系统和运行产品。
It included the processes of building, scheduling and up-linking instrument loads, managing the spacecraft in a fully automated mode, and verifying ground system and operational products.
具有生命周期感知性的可自定义系统，该系统在生命周期中发生阶段更改时触发验证，以便能够自动化逐个阶段的治理验证。
A customizable life cycle-aware system that triggers validations on the change of phase within the life cycle so that phase-by-phase governance validations can be automated.
而验证码系统被破解倒也未尝不是一件好事，因为这标志着机器视觉取得突破，或许，自动书刊扫描系统将由此变得远比现在精准。
But if CAPTCHAs are broken it might not be a bad thing, because it would signal a breakthrough in machine vision that would, for example, make automated book-scanners far more accurate.
前三个validates _方法是Rails的内嵌方法，对任何进入系统的产品都会自动地调用验证方法。
The first three validates_ methods are Rails built-in methods and the validate method is automatically invoked on any product that will go into the system.
系统验证状态会自动刷新，您也可以单击验证状态表右上角的Refresh链接手动刷新它。
The system verification status automatically refreshes, but you can manually refresh it by clicking the Refresh link in the upper right corner of the verification status table.
不要复制业务逻辑，根据系统边界进行自动化，不要用UI层去验证业务逻辑。
Don't replicate business logic, automate along system boundaries, don't check business logic through the UI.
同时，提出和分析了制冷系统中热、质自动反馈平衡的观点，并以试验做了验证。
The view of heat and mass auto-feedback equilibrium has been found, explained and verified by test.
倒立摆系统以其自身的不稳定性而难以控制，也因此成为自动控制实验中验证控制策略优劣的极好的实验装置。
Inverted pendulum system is difficult to control because of its instability. It becomes the wonderful experiment device to verify how about the control strategy in automatic control experiment.
经实践验证，该系统实现了自动控制接收天线转向并锁定某一个同步通信卫星，以获得最佳的通信信号。
It is proved that this system automatically steers the direction of a receiver antenna and locks a synchronous satellite in order to acquire best communication signal.
研究了机载计算机系统验证测试理论，设计了一种自动测试设备。
This paper presents the validation testing theory of an airborne computer system and a Automatic test Equipment (ATE).
研究铁路系统的自动验证技术。
This paper presents automatic verification techniques for railway systems.
该指南旨在于协助医药保健行业内相关公司所使用的自动化系统达到验证和合规性目的。
The guide aims to assist companies in the healthcare industries to achieve validated and compliant automated systems.
因此，系统需要一种能较好解决这些问题的自动规范验证技术。
Then it is in great need of the formal technique of automatic verification to solve these problems.
实验证明，用该算法实现的车牌字符识别系统识别率高，误识率低，可直接用于实际的牌照自动识别系统。
The experiment proves that the LPR system based on this algorithm shows a higher recognition rate and lower error recognition rate, and can find a direct application in practical LPR system.
NET 中提供的项目模板或使用登录控件，它们都将自动使用成员资格系统来验证用户。
NET or use the login controls, they will automatically use the membership system to validate a user.
通过实验验证了TCA2003边坡自动监测系统能够完成数据采集的自动化。
It is demonstrated by experiments that the automatic monitoring system of the TCA2003 slope is capable of completing the data acquisition automation.
高可靠性的个人身份验证系统在身份证管理、电子商务、自动银行等众多领域有着广阔的应用前景。
An accurate automatic personal verification is critical in a wide range of application domains such as national ID card, electronic commerce, and automated banking.
用实验分析验证了丁二烯系统自动爆炸的原因，即氧气进入系统形成了丁二烯聚过氧化物。
The cause for automatic explosion in butadiene systems, that is the formation of butadiene polyperoxide due to the entry of oxygen into the system, is verified through experiments.
即展示了其应用于针混交林tm遥感图像自动分类识别的能力，又验证了该系统具有随网络规模增大而分类精度提高的发展趋势。
So the result shows that this system can be used to TM image classify and it has a potential to improve its precision with network pattern's augmentation.
我们将验证工作与系统设计结合起来，设计和开发了针对UML顺序图的自动验证工具原型。
To combine the verification with system design, a prototype of automatic verification tool for UML sequence diagrams has been designed and developed.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
验证结果表明，仿真系统能够完成操纵显控台的全部功能，为设计全自动测试平台奠定了基础。
The result of the validation shows the simulation system can realize all the functions of the console, and lay a foundation for designing an automatic test platform.
经过在高精度印刷图像的质量自动化检测系统中的应用，算法的速度和效果得到验证。
The algorithm has been used in the high precision automatic quality inspect system of printing image, and its velocity and effect are proved preferable.
最后，对多个齿轮检测试件进行检测，事实验证了上述的自动检测系统的正确性和可靠性。
Finally, by carried on the testing to many tests samples, the fact has confirmed accuracy and the reliability of the automatic testing system.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
应用推荐