归结原理是定理自动证明的重要工具。
Resolution Principle is an important means of automatic proving of theorem.
子句集的可满足性判定是自动证明领域的热点之一。
Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
这与美联储10天前报告中市场将自动证明并无降息必要的语调大相径庭,当时称通货膨胀率才是中心议题.
The tone was so different from the Fed's statement just ten days before, when inflation was its biggest concern, that markets automatically assumed a rate cut was imminent.
一个良好的虚拟化系统必须证明它是在做正确的决策，即使这些决策是自动做出和执行的也如此。
A proper virtualization system must provide proof that it is making good decisions, even if those decisions are made and executed automatically.
这些帐号都是在一视同仁的基础上给出的，并根据自动使用电子邮件发送的质询来返回一个证明已经收到随机密钥的消息。
These accounts are given out on a non-discriminatory basis, based on an automatic e-mailed challenge to send back a message to prove you received a random key.
不到两年以后，另一次活动再次证明了自动车辆能够在城市环境中安全行驶。
Less than two years later, another event proved that autonomous vehicles could drive safely in urban Settings.
它演示了自动化技术、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.
二十世纪七十年代，道格拉斯·莉娜的“自动数学家”程序自动生成数学定理，但是被证明基本上毫无用处。
In the 1970s, Douglas Lenat's Automated Mathematician automatically generated mathematical theorems, but they proved largely useless.
当把大多数，即使不是全部，法规遵循需求自动化时，项目团队将更可能遵守，并且它们将更可能生成所需的文档来证明。
When most, if not all, compliance needs are automated there is a much greater chance that project teams will comply and that they will produce the required documentation to prove it.
当将模式进行组合以自动化已证明的通用实践过程中很少存在交叉模式语义问题。
There are few cross-pattern semantic issues when composing the patterns to automate the proven common practices.
一种是自然产生的反式脂肪——多来自动物制品——已经被证明对糖尿病，心血管疾病有免疫和积极的效果。
One type of natural trans fat, found in animal products, has been shown to have beneficial effects on diabetes, cardiovascular disease, and immune response.
它演示了少量带有自动化定理证明功能，经过验证的代码它能够支持任意数量的TAL代码。
Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code.
它具有悠久的、已被证明的为全面测试、测量、变更管理、错误纠正以及其他质量相关活动提供的自动化能力。
It has a long, proven record of providing automated capabilities to oversee testing, measurement, change management, error correction, and other quality-related activities.
对于抛出未检测异常的侦听器，您可能想自动对它取消登记，毕竟，抛出未检测异常就证明侦听器坏掉了。
You might even want to automatically unregister a listener that throws an unchecked exception; after all, this is evidence that the listener is broken.
相关的治理实践只能保证，如果已证明自动化整合测试套件存在并且受到维护，那么服务可用。
A related governance practice is to only certify a service for use once it has been verified that its automated integration test suite exists and is being maintained.
数以千计的世界各地的成功转换已经证明该技术在运行自动随著供水系统的工程！
Thousands of successful conversions around the world have demonstrated that the technology in the Run Auto With Water system works!
尽管这篇文章使用的例子非常简单，但是它证明了将Purify整合到您的构建和测试环境中是多么得简单，还证明了自动操作Purify使用的价值。
Although the example used in this article is simple, it demonstrates how easy it is to integrate Purify into your build and test environment and the value of automating Purify usage.
除了简单的概念证明、技术证明和演示配置外，实际的业务流程自动化环境都是高度复杂的。
With the possible exception of simple proof-of-concept, proof-of-technology, or demo configurations, real world business process automation environments are highly complex.
该团队证明了IBMSPSSModeler通过动态计算置信度和在需要时生成警告，提供了自动化实时故障预测的能力。
The team demonstrated that IBM SPSS Modeler provides the capability to automate failure predictions in real time by calculating confidences on the fly and generating alerts when needed.
这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。
This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
该作业将运行，因为John的凭据自动作为安全令牌传播到管理子系统，并用于向作业证明他的身份和授权。
The job will run because John's credential is automatically propagated as a security token to the administrative subsystem, and used to authenticate and authorize him for the job.
起先，金格·里奇还以为这两根骨头分别来自动物左右腿的单滑轮踝骨——这也能证明之前鲸的起源推测是正确的。
At first Gingerich thought the two bones were the single-pulley astragali from the animal's left and right legs-proof that he'd been right about the origin of whales.
如果这是你第一次来做自动化，做一个小的试点项目来测试你的假设和证明的概念。
If this is your first time to automate, do a small pilot project to test your assumptions and prove the concept.
实验证明它能快速、准确、自动地一次完成荧光灯所有高频工作参数的测量。
Experimental results indicate that it can measure all parameters of the lamps quickly, precisely and automatically in one time.
人们常常将ERP环境中数据库的配置作为例子，证明云计算自动化的不足。
Database configuration in production ERP environments is commonly cited as an example of why cloud computing automation isn't sufficient.
人们常常将ERP环境中数据库的配置作为例子，证明云计算自动化的不足。
Database configuration in production ERP environments is commonly cited as an example of why cloud computing automation isn't sufficient.
应用推荐