正确的例句大全

The service life and the appearance of the convertible top are largely dependent on proper care and operation.

活顶的使用寿命和外观很大程度上依赖于正确的保养和操作。

I personally think that if systematic Dispensationalism is rightly understood then it still logically makes sense only within a theocentric and soteriologically Calvinists theology.

我个人认为若系统化的时代论即使被正确的理解，也需要在以神为中心和加尔文的救赎论神学喜爱才能够产生逻辑上的意义。

Unmaintained or incorrect unit tests are worse than no testing at all.

未维护的或不正确的单元测试比根本没有进行单元测试更有害。

Development of an Inspecting System for NC Machine Program Correctness

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

Galileo was a famous Italian scientist by whom the Copernican theory was further proved correct.

伽利略是有名的意大利科学家，他进一步证明了哥白尼学说是正确的。

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总则要素

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

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

The solution: Make an Ajax call in the background to a server-side checking routine; if there are errors, warn the user, highlight incorrect fields, and so on.

解决方案：在后台对服务器端检查例程执行一个Ajax调用；如果有错误，就警告用户，突出显示不正确的字段。

The key to this confusion is to define the connotation and denotation of "motives of unlawful possession" with the rules of criminal law and the theory of crime formation.

解决这一问题的关键首先在于正确认识非法占有目的的内涵，并结合刑法的基本原则和犯罪构成理论进行综合分析。

This may result in an erroneous flash power setting for getting a correct exposure of the main subject.

这对主体正确曝光而言就可能会产生错误的闪光输出；

This paper discusses how to make reader serials of academic library in the new time. Viewing some working practice and samples, it emphasizes the correct allocation of the tenet and fine setting of the columns.

探讨了在新时期如何办好高校图书馆的读者报刊，结合办刊实践和实例，重点强调了图书馆自办读者报刊宗旨的正确定位和栏目的精心设置。

Conventional manual setting value calculation depends on individual technique of electrical worker and the reliability of which is poor.

传统的整定计算用人工计算方式，保护计算的正确性完全依赖工作人员责任心和技术水平，计算人员稍有不慎就可能酿成事故，已越来越不适应电力系统对保护可靠性要求的需要。

Finally, realizing high speed digital correlator with ISP device.

系统仿真正确后，用ISP器件实现了高速数字相关器。

Proof of program correctness and a method of getting loop invariant

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