工作量

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.

有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。

The workload for Class-A surfacing work is ramping up towards the end of the product development process.

工作量为A级表面的工作是加紧在接近年底时该产品的发展进程。

On the bases of guaranteeing equation-solving accuracy, the SOR method has been proved to be of rapid convergence, good stability, and less calculation.

该方法在保证方程求解精度的基础上，具有收敛快，稳定性好，计算工作量小等特点。

The method based on statistics has the problem of training data s rarefaction, and what restricts the more progress of corpus is the too large workload of manual tagging.

基于统计的汉语自动分词方法存在训练数据稀疏的问题，而人工标注工作量过大又制约着语料库规模的进一步扩大。

By means of a resonable and approximate treatment the dependent variables of the integral equation are reduced to depend only on the two coordinates of the wing plane.

通过合理的近似处理，使积分方程的自变量仅依赖于机翼所在平面的两个座标，这就使我们在利用有限无法进行数值解时，只需在机翼平面上划分元素，避免了在流场空间中划分元素的传统作法，从而大大降低了对计算容量的要求和计算工作量，使跨音速三维机翼的气动力计算有可能在较小的计算机(例如709机)上完成。

Through the reduction of the formula, three degrees of freedoms are turned into two degrees of freedoms, so the workload is simplified in the process of the designing.

通过简化将原有的三个自由度转化为两个自由度，减少了叶片设计过程中的工作量。

Our code was realized adequately reduplicate using and greatly reduce the exploitation time and work force due to we use the MVC model to explore.

由于本系统采用了MVC系统架构模式进行开发，在开发过程中代码实现了充分的重用，可分层次同时开发，极大地减低了开发时间和工作量。

To reduce the repeated work by avoiding from spawning redundant data for reduplicate design in building engineering, a five-layer data model is introduced to reorganize the design information.

为了减少建筑工程单一项目内的设计信息的冗余数据，进而减少设计中的重复工作量，提出了"五层树状模型"来重组信息。

If you reflexively say yes to taking on extra work, you may live to regret it.

如果你违反本能去选择更多的工作量的话，你一定会后悔。

Again, the workload of so many people registering is too much.

一个一个注册的工作量实在太大了。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。