correctness的例句大全

The search for the mistake is limited , greatly easing the problems of maintenance and program correctness.

搜寻这个错误很容易, 维护和修改这个程式也很容易.

互联网摘选

The communicating Contracting party shall be responsible for the completeness and correctness of the data communication.

传送资料的缔约一方负责资料传送的完整和正确.

互联网摘选

A series of approaches to enhance the adjudging of remote sensing images are required to ensure the correctness of the remote sensing image adjudging.

如何保证遥感图像判读的正确性，保证工作质量，这就要求我们有一套能够提高遥感图像的可判读性的方法。

互联网摘选

Can you name different measures to correctness of data entry?

有哪些方法可以保证数据项的完整?

互联网摘选

The result of the experiment proves the correctness of the resistively coupled method.

对福建某电厂一台汽轮发电机组进行了现场测试，试验结果证明了该方法的正确性。

互联网摘选

After congruence of lines changes into vector bundles, its correctness is proved, and theorem of Backlund is proved by using sections of bundles. A condition of iteration is given for seeking minimal area of a curved surface with fixed boundary curve.

将线汇转化成向量丛后从理论上证明了这种转化的正确性，利用向量丛的截面理论证明了Backlund定理并给出一种固定边界而求面积最小的曲面的迭代条件。

互联网摘选

The conveyor middle trough of the improved for stress analysis, theoretically proved the correctness of the optimization program.

对改进前后输送机中部槽进行应力分析，从理论上验证了优化方案的正确性。

互联网摘选

The Correctness Factor of Square Standard Particle Plate Used for Laser Particle Sizer

激光粒度仪方孔标准粒子板的修正系数

互联网摘选

In processing the software data, the theory of partial repeatability offers a criteria for evaluating different classifier by building" center function", "fluctuation zone" and "correctness factor".

在对复杂数据的处理过程中，“部分重复性”理论通过建立“中心函数”、“浮动域”和“正确度”指标，提供了一种分类优劣的评价标准。

互联网摘选

Evaluation of Inspection or Calibration Correctness and Reliability Factor

检测或校准的正确性和可靠性的因素评定&谈谈如何实施ISO/IEC170255.1总则要素

互联网摘选

This is of practical significance to the improvement of brightness distribution of the sky hemisphere now available, and to the promotion of realness and correctness of measuring lighting factor by model, and to the simulation of scattering light environment in different regions and climates.

这对于改进现有人工天空半球的亮度分布，提高模型测量采光系数的真实性和准确性，以及模拟不同地区气候散射光环境都有实际意义。

互联网摘选

By Way of inlaying conducting plates in the port plate the authors succeed in measuring the oil film thickness in the distributor pair and verify the correctness of the balance factor method. Meanwhile, a new e new experimental approach is for-mulated for the design of distributor pair.

通过在配油盘上埋设电容极板，作者成功地测出了配油付的油膜厚度，并验证了压紧系数法的正确性，为配油付的设计提供了一种新的实验方法。

互联网摘选

Compared with previous certifying compilers, this compiler could deal with much more complex program properties, such as partial correctness about values.

而且，相比已有的出具证明编译器，该编译器可以处理更加复杂的程序性质，例如值相关的部分正确性。

互联网摘选

The Folding/ Unfolding method proposed by Burstall/ Darlington is a simple and powerful transformation method. Its major drawback is that only partial correctness of functions are preserved but termination may be lost.

Burstall/Darlington提出的展开/叠卷方法是程序转换中简单而有效的一种方法，但该方法仅保持函数的部分正确性，而可能失去某些值上的终止性。

互联网摘选

The idea proposed by Brookes for verifying concurrent programs was applied to Hoare's Communicating Sequential Processes ( CSP). A set of proof rules was presented to verify CSP programs partial correctness.

本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程（CSP），提出了一组证明规则，以验证CSP程序的部分正确性。

互联网摘选

Experimental results show that the processed data obtained from the fault detection algorithm can detect the location of partial shade. Correctness of this new fault detection algorithm is proved by the experimental results.

实验结果表明，经过算法处理的数据可以快速诊断出局部遮阴的光伏电池位置，证明了本文的故障检测算法的正确性。

互联网摘选

A Developing Method of Programs Based on the Proof Theory of Program Correctness

一种基于程序正确性证明理论的程序开发方法

互联网摘选

Development of an Inspecting System for NC Machine Program Correctness

数控加工程序的正确性检查系统的研制

互联网摘选

Proof of program correctness and a method of getting loop invariant

程序正确性证明及循环不变式的寻找方法

互联网摘选

It mainly studies on the power dissipative Crowbar circuit on the dc side. The validity and correctness of the control is confirmed through the Matlab/ Simulink simulation.

重点研究了直流侧耗能Crowbar电路的低电压穿越策略，并对其仿真研究，结果验证了其有效性和正确性。

互联网摘选