Examples of checking computations show that this model and algorithm can solve problems of planning on a large scale within a reasonable period of time, thus effectively reducing a company's costs.
实例验算表明，所给模型及算法可以在合理的时间内求解大规模规划问题，有效地降低公司成本。
Zero proof is a procedure of checking computations.
零检验是检验计算是否正确的方法。
The contrast and checking computations are made by using project examples.
用工程实例进行了对比验算。
应用推荐