所有反解程序的正确性已为实例计算证明。
The correctness of all anti-solution program have been proofed by example computation.
软件工程师能有几次真正花时间来证明一个程序的正确性？
How many times do software engineers actually take time out to prove a program is correct?
随后，与文献结果对比验证了该算法和程序的正确性。
The computed result is in good agreement with the results in the literature.
开发了加工轨迹预览功能，能检验零件加工程序的正确性。
Exactness of machining program can be checked with the function of preview machining contrail.
通过一系列的测试校验，表明了该程序的正确性与有效性。
A series of tests and applications had shown the maturity and effectiveness of the system.
如何保证数控程序的正确性已成为数控加工中突出的问题。
How to guarantee the validity of NC codes has become an outstanding problem in NC machining process.
详细地介绍了使用过程，并通过实际加工验证了程序的正确性。
Usage process is introduced in detail and the accuracy of procedure is verified by actual machining process.
通过与有限差分计算的频散曲线的比较验证了算法和程序的正确性。
The method is validated by comparing the results obtained by this method with those obtained by the finite-difference method.
协同设计也要求开发人员对他们所创建的整体应用程序的正确性和质量负责。
Collaborative design also suggests that developers are responsible for the correctness and quality of the parts of the overall application they create.
通过一个实际工程作为实例验证了本程序的正确性和连续檩条设计的优点。
In the end by example, this system has much accuracy, rationality and continues purlin advantages.
对可预测的直线轨迹、曲线轨迹对其算法和所编写程序的正确性进行了验证。
The correctness of predictable straight line trace, curve trace, their algorithm and the combing program was testified.
最后将并行程序与串行程序的计算结果相比较，验证了该并行程序的正确性。
The computation result is identical to that of series program, and the correctness of the parallel program is verified.
可实现在计算机上模拟显示线切割加工轨迹，从而可验证所编3B程序的正确性等。
Which can be used to display the cutting path of WEDM, so that the 3B mode program can be verified.
大量的算例和工程实例分析验证了本文所述理论方法及程序的正确性和广泛适用性。
A lot of calculation examples and projects in practice demonstrate that the theoretical method and calculation program are correct and widely suitable.
代码结构糟糕透了，程序员显然没有深入思考程序的正确性，算法，数据结构和可维护性。
The structure is appalling, and the programmers clearly didn't think deeply about correctness, algorithms, data structures, or maintainability.
通过加工仿真，以检查数控程序的正确性、合理性，避免加工设备与叶片和夹具等的碰撞。
By computer simulation of machining we can check the correctness and rationality of NC programming, and avoid the collision between machine tool and blade or fixture.
并且进行编译调试，验证了电压计算、转子磁链观测以及SVPWM输出等子程序的正确性。
The system proved its validity of subprograms which include voltage calculation module, rotor magnetic chain observation module and SVPWM output module.
本文利用ANSYS程序建立了非线性的有限元模型，并参照前人试验验证模型分析程序的正确性。
Building nonlinear finite element models using ANSYS program, And in the light of previous experimental to verify the correctness in the article.
通过对于瓦格纳斩波器、三相全控整流桥和三相半控整流桥的仿真验证仿真程序的正确性和实用性。
The accuracy and practicability of the simulation program are verified by simulation on chopper, three-phase all-controlled bridge rectifier and three-phase half-controlled bridge rectifier.
最后，由于API的规模，特定属性的形式证明和使用这些属性的程序的正确性的验证变得相当困难。
Finally, given the size of the API, any formal proof of specific properties or the correctness of programs using it is an extremely difficult task.
通过对1150初轧机主传动系统上轴系机电耦合系统瞬态响应的仿真计算，证实了计算机程序的正确性。
By the simulation for the transient responses of the upper shafting in the main drive system of 1150 rolling mill, the computer programme is proved to be effective.
程序的正确性部分的由“语言活动”的有效执行所确定，回答应该是真实的，响应性的，承诺必须被遵守。
The correctness of programs is partly defined in terms of proper performance of the speech acts. Answers should be truthful and responsive, and promises should be kept.
通过数值模拟计算，得到了与实验现象非常吻合的结果，很好地验证了上述理论和计算程序的正确性和可靠性。
The validity and reliability of these theory and the computing programs are well tested by the fact that the numeric calculations give very good agreement with the experimental results.
在软件中只需输入关键的参数，即可生成螺纹的数控加工程序并进行加工动态仿真，以检验数控程序的正确性。
In this software, as long as the key parameters are inputted, the NC program will be created out immediately, and the dynamic emulation will be accomplished to check up the validity of the NC program.
最后通过实际算例验证了程序的正确性与实用性，程序运行的结果证明论文提出模型的正确性以及算法的可行性。
Finally, the program is proved aright and practical by an example, which in return demonstrates that the models are correct and the solution is reasonable.
文章首先给出两个理论模型来展示Q式非线性映射分析方法的特点及计算程序的正确性，然后对实际资料进行分析。
Two theoretical models are described to show the characters and correct calculation procedure of Q nonlinear mapping method. Real data analysis is made.
通过400MW水轮发电机空心导线的实验数据，验证了计算程序的正确性，分析了各因素对介质流动和换热的影响。
The theoretical calculation has a good agreement with the test result in a 400MW hydro-generator. Many factors that effect coolant flow and heat exchange was analyzed.
为了验证方法和程序的正确性，论文中对M6机翼和F4翼身组合体的流场进行了数值模拟，并与试验结果进行了对比。
The viscous flow around M6 wing and F4 wing-body configuration are simulated and compared with the results of wind tunnel experiment.
为了验证方法和程序的正确性，论文中对M6机翼和F4翼身组合体的流场进行了数值模拟，并与试验结果进行了对比。
The viscous flow around M6 wing and F4 wing-body configuration are simulated and compared with the results of wind tunnel experiment.
应用推荐