最后，通过实例计算验证了理论的合理性。
要记住的一点是相信计算机安全一定能通过计算的方法验证。
One point to remember is that trust in computer security must be computationally verifiable.
为了验证他们的理论，两位研究人员在计算机上模拟了此次碰撞。
To test their theory, the two researchers simulated such a collision on a computer.
验证tcsh是否已安装在您的计算机上。
验证包是否已经安装在您的计算机上。
验证集是如何分割计算的？
验证应被看作是一个计算机系统全部生命周期的一部分。
Validation should be considered as part of the complete life cycle of a computer system.
通过计算，给出了平板及圆柱的验证结果。
Meanwhile, several results are given to demonstrate the validation of this method.
用试验数据对STRUFIRE的计算结果进行了验证，结果表明STRUFIRE具有较高的精度。
STRUFIRE is validated against available test data and fairly good accuracy is found.
现场试验也验证了理论计算结果。
经试验验证，计算结果与试验基本一致。
The calculated result was consistent with that of the experiment.
通过实例验证了计算方法的正确性。
Through an example proves that this calculation method is right.
验证您的计算机上的网络连接是否工作正常。
Verify whether network connections on your computer are functioning correctly.
并举例验证了此计算方法。
通过试验验证，证明了该计算方法的正确性和可行性。
The test results show that it is correct and feasible to use the calculation method.
最后通过计算，验证了方案的可行性和优越性。
At last, the computation result shows that the project is effective and feasible.
计算结果经试验验证，可供设计和生产参考。
Theresult is tested by experiment and can be used for design and production.
通过计算机验证，其效果是较令人满意的。
身份验证是计算机安全的核心所在，是安全问题的第一道门户。
Authentication is the "core" and the first gateway to computer security system.
最后进行了实例计算及验证。
弹状流模型的计算结果得到本文及其他作者实验数据的验证。
The results predicted by this model are in better agreement with the available experimental data.
以HFC6500A1轻型客车为例进行了理论计算和实验验证。
The HFC6500A1 light bus is taken as an example, and calculation and experiment are performed.
将其计算数据与实验数据验证对比，两者非常接近。
By contrast of its calculating data and the testing data, they were very close.
实际电力系统的计算结果也验证了所建立模型的正确和有效性。
Real power system calculation results shows the correct and effective of special model.
计算结果验证了反应前锋模型的正确性。
The results of simulation has good agreement with that of the reaction front model.
为验证理论计算和反应堆运行提供了有价值的参考数据。
Data of the test are valuable and useful for theoretical calculation and reactor operation.
为验证理论计算和反应堆运行提供了有价值的参考数据。
Data of the test are valuable and useful for theoretical calculation and reactor operation.
应用推荐