correctness的例句大全

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电路的低电压穿越策略，并对其仿真研究，结果验证了其有效性和正确性。

By comparing experimental in tank, the coating backing board in a different reflection coefficient is analyzed and found broadly in line with the theoretical results to verify the correctness of the theory.

通过水池对比实验，对涂层在不同底衬板上的反射系数进行了分析，发现结果与理论大致吻合，验证了理论的正确性。

Booting System or Registry is a kind of important software, which includes vital information of starting and running system. Because of this, to guarantee the correctness of Booting System or Registry is the key to its operation regularly.

计算机中的引导系统或注册表是非常重要的软件，其中包含着关于系统启动或运行的重要信息，因此，保证引导系统或注册表的正确性是系统正常运行的关键。

This paper talks about impedance matching algorithm of liquid stub tuner, and makes a thorough analysis about it. By making a rough sketch of two representative examples with Matlab, this paper verifies the correctness of the algorithm.

本文给出了液调配器的阻抗匹配算法，对算法进行深入的分析与研究，且给出两个典型实例，通过Matlab绘图对该算法进行了正确性验证。

Finally, the operability and the correctness of the two models have been verified by example.

最后用实例验证了两个模型的正确性和可操作性.

According to the idea of hiberarchy and modularization, the author simulates the design in every level and every module for the correctness. After that every module is correct, the author designs the top level, and simulates the whole design.

在实现过程中，按照层次化、模块化的思想，对每个层次和模块都进行仿真验证，在确保每个模块的设计都正确后，再进行顶层设计，并完成总体仿真。

Results: The correctness rate of dictation in the library was higher than that in the classroom ( P < 0.05 or P < 0.01).

结果：被试在图书馆自习室学习后单词听写正确率比在教室高，（P<0.05或P<0.01）。

Giving an operational semantics model of DFL programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it;

提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明；

White-box test is a kind of important method to verity correctness of program.

白盒 测试是检验程序正确性的重要方法.

This paper presents a technique for using mutation analysis to test the semantic correctness of XML-based component interactions.

本文提出一种变异分析技术来测试基于XML的网络异构组件交互的语义正确性。