有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。
Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.
实践证明，此方案较经济、合理，且能最大程度地减少施工工作量。
It is proved by practice that the scheme is economical and reasonable and can reduce the construction workload furthest.
最后通过实践证明，采用PLC控制提高了万能铣床运行的可靠性，减轻了机床维修人员的工作量。
Finally, practice has proved that the adoption of PLC control systems have greatly increased the machine's reliability and reduced workload of machine maintenance staff.
针对存在的技术问题，对断路器控制回路进行了改造。实践证明，该方案运行安全可靠，改造工作量小，改造费用低，具有较高的使用价值。
It has proved that the retrofitting scheme is safety in operation with a little workload and less expenses. The retrofitting scheme is valuable and practical.
通过实用方法的计算结果与实验结果比较证明了本分析方法具有很高的精度，而计算工作量较小。
Comparison of the results obtained by testing and the practical method proves a high precision and little workload of this method.
实践证明，这种方法简单可靠，维护工作量小。
The practice proofs that this method is reliable and has little maintenance.
实践证明能大大节省计算工作量。
It is proved by the practices that the method can simplify the calculating operation.
没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。
Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.
实践证明，这种多层组件服务的开发模型大大降低了开发的工作量，降低了开发的复杂度，并方便了调试。
It is proved by the practice that the Multi-tier Component Services Model greatly decreases development overhead and complexity, and makes debugging and testing more convenient.
实践证明，这种多层组件服务的开发模型大大降低了开发的工作量，降低了开发的复杂度，并方便了调试。
It is proved by the practice that the Multi-tier Component Services Model greatly decreases development overhead and complexity, and makes debugging and testing more convenient.
应用推荐