由于哥白尼的行星运动理论与托勒密的解释不一致，伽利略对木星卫星的观察证明了哥白尼理论的正确性。
Since the Copernican theory of planetary motion is inconsistent with the Ptolemaic account, Galileo's observations of Jupiter's satellites proved the truth of the Copernican theory.
接着他又主动要求证明这一看法的正确性。
He then volunteered to demonstrate the validity of his opinion. Mr.
软件工程师能有几次真正花时间来证明一个程序的正确性？
How many times do software engineers actually take time out to prove a program is correct?
很明显，类型检查并不足以证明代码的正确性。
It's clear that type checking isn't enough to prove that your code is correct.
只有当危机发生时，谨小慎微的正确性才能够被证明，但那时一切都晚了。
By the time the crisis occurred, and the cautious firm was proved right, it could be too late.
对于精神分析，通过在治疗心理疾病方面获得的巨大成功，证明了其理论的正确性，这个观点当然也是不对的。
And the claim that psychoanalysis proves itself by being - by its tremendous success in curing mental illness is also almost certainly not true.
过程流的静态分析和复杂组合应用的正确性证明也是热门主题，有些代表性主题被留给了厂商特定的产品(即使不是全部)。
Static analysis of process flows and correctness proofs of complex composite applications were also popular themes, something that is typically left to vendor specific products (if at all).
如果定理的条件被证明为真，则我们可以使用此定理来确定我们的程序的定理结果的正确性。
If the conditions of the theorems are shown to be true, then we can use the theorem to establish the truth of the theorem's result for our program.
两名稀有的“杏仁核”损伤的病人在赌博游戏中对自己可能输掉多少钱毫不在意，此现象证明了研究结论的正确性。
The evidence comes from two patients with rare amygdala injuries who displayed an unusual disregard for how much they stood to lose when taking part in a gambling game.
根据700年的实际以及论证均可证明此民谚的正确性，但是直到1975年一个当地的保护组织才开始记录此现象。
Though the practice or measuring the frozen waterfall goes back 700-odd years, it’s only since 1975 that a local conservation group has begun recording the measurements.
为了证明最后一点的正确性，作者忽略了关键的相反情况——零售商开始失去顾客的那一刻。
Tohelp get this last part right, the authors isolate key defection points - critical moments when retailers are apt to lose customers.
然而，基肖尔对此结果仍持谨慎态度，并认为需要更多的研究来证明这一关系的正确性。
However, Kishor is cautious and thinks more research is needed to see if this correlation holds true.
实验室车载实验结果证明了上述设计的正确性和可行性。
The results of vehicle tests show the validity and feasibility of the above design.
这一切都证明了他分析的正确性。
现在，Raizen的研究证明了能量均分定理在布朗粒子中的正确性。这时3微米大小的玻璃微粒可以穿过。
Raizen's study now proves that the equipartition theorem is true for Brownian particles; in this case, glass beads that were three micrometers across.
本文给出了一个创建系统范围内Linux压力测试并证明其结果正确性的方法。
This article provides a method for creating a system-wide Linux stress test and proving the legitimacy of the results.
德特勒夫·阿伦德特博士(Detlev Arendt)工作于德国海德尔堡的欧洲分子生物研究中心，现在他认为他能够证明多恩博士理论的正确性，他的证据发表在本周的细胞杂志上。
Detlev Arendt of the European Molecular Biology Laboratory in Heidelberg now thinks he can demonstrate that Dohrn was right. His evidence is published this week in Cell magazine.
实验结果表明了该算法的正确性，并证明了其可有效提高估算精度与效率。
Results illustrate the validity of this algorithm, and prove that this method can obtain good performance with high efficiency.
哲学家们把这类知识称为“经验性真理”或“后天真理”，意即它们的正确性是通过实践证明的。
Philosophers call these statements empirical or a posteriori truths, meaning true after experience.
为了保证代码的正确性，最好尽量使用那些Perl内置的函数，而较少使用自己所编写的函数，并且注意证明并记录这些不那么显然的方法。
Make your code legible, use Perl's built-in functions instead of writing your own, and document obscure ways of doing obvious things.
如果你倾向于后种说法，又能用史实来证明你观点的正确性，那就不必犹豫，把你的观点讲出来。
If you prefer the latter, can you use facts to prove the correctness of the view, it would not have hesitated to speak out your point of view.
计算机模拟和实验结果证明了该算法的正确性。
The validity of the algorithm was verified by the results of computer simulation and experiments.
大量现场数据的实验证明了该方法的正确性和可行性，它是一种新的表面缺陷误差判别方法。
Experimental data showed the correctness and feasibility of the method. It is a new method for error judgement of surface flaws.
我们需要收集更多的事实支持现有的证据，并证明论点的正确性。
We should gather additional facts to support existing evidence and illustrate the correctness of the contention.
通过对大量弹道仿真数据的分析，提出了基于弹道速度最小点的弹道辩识快速算法，并从理论上证明了该算法的正确性。
This paper brings forward a speedy method for trajectory recognition based on the minimum of trajectory velocity by analyzing a great deal of datum, and proves its correctness abstractly.
BP方法成像结果证明了整个模拟计算过程的正确性。
The results are applied to image with BP method, and the conclusion has proved the validity of the simulation.
BP方法成像结果证明了整个模拟计算过程的正确性。
The results are applied to image with BP method, and the conclusion has proved the validity of the simulation.
应用推荐