计算机模拟验证了分析的正确性。
The correctness of the analyses is verified by the simulations.
文中给出了理论证明及模拟验证。
模拟验证了某实验发动机点火试验。
Simulate and validate ignition process of some experimental motor.
此方法在实验机器人上通过了模拟验证。
Methods introduced in the paper are justified on a testing robot.
形式验证作为传统模拟验证的补充越来越受到重视。
As the complement to traditional simulation-based verification process, Formal verification methods gain more momentum recently.
第二个选择是模拟验证行为并将测试类保留在单元目录中。
The second option is to mock out the validation behavior and leave the test in the unit directory.
经模拟验证，该算法可以有效地优化信息分布、改善系统性能。
As proved in simulation tests, it can efficiently optimize the information distribution and improve system performance.
通过对悬臂梁在损伤情况下的数值模拟验证了该方法的有效性。
The efficiency of the method is validated by numerical simulation studied on a damage cantilever beam.
功能验证是保证设计正确性的重要手段，以模拟验证为主要方法。
Functional verification which mostly relies on simulation is the major approach to ensuring the correctness of hardware design.
采用有限元模型对试验进行了模拟验证，计算结果与试验结果吻合良好。
Moreover, a finite element model is developed and verified against tests, and the results from the finite element analysis agree well with the experimental data.
输运反应耦合成矿动力学计算机模拟验证了分形脉体演化模式和自有序效应。
The computer simulation of transformation reaction ore forming dynamics tested and verified the evolutionary model of fractal veins and self ordered effect.
一方面，本文提出一个教育经费横向分配模型，并通过数据模拟验证其有效性。
On one hand, this article put forward a horizontal structure model of education allotment, and verified its usefulness through the data emulation.
为了保证设计的正确性，XL - APIC采用了自下而上分级的模拟验证策略。
In order to ensure correction of the design, XL-APIC adopts the down-up simulation verification strategy.
经过颗粒饲料的水分分布和温度场模拟验证结果表明，本文所建立的模型是可行的。
By the numerical simulation validation of moisture distribution and thermal field, it is indicated that the model in the thesis is feasible.
本文主要研究了通道化数字接收机的高效结构，讨论了具体实现方案并进行了模拟验证。
In this dissertation, we mainly study the efficient architecture of channelized digital receiver, discuss the particular realization approaches, then testify them with simulation.
采用DEFORM 3d软件，通过正向模拟验证了反向模拟所获得的预成形毛坯的合理性。
The rationality of preformed billet is testified through forward simulation by software DEFORM3D.
环境主要包括EHCPN建模和构件封装工具、支持模型存储和管理的模型库和模拟验证环境。
The environment mainly composes three parts: EHCPN modeling and components wrapping studio, a library for saving and managing models, and a simulation and verification environment.
改进了互补逻辑—交替互补逻辑(CL - ACL)结构，并做了考虑门级延迟的模拟验证。
Then, CL-ACL structure is improved, simulation and verification under real gate delay is done.
分析了功率VDMOS晶体管在小尺寸时准饱和效应的成因，并对其进行了理论证明和模拟验证。
In small size power VDMOS transistors, the cause of quasi-saturation effect has been investigated and simulated by software.
焊接数值模拟具有系统、灵活的特点，但其结果需进行物理模拟验证，才可应用于实际结构的生产中。
The numerical simulation has the advantage of systematization and flexibility, but the results must be verified through physical tests before they are used as instructions for real fabrications.
本文提出了复杂数字系统的模拟策略，设计了VHDL测试基准程序，完成了系统功能模块的模拟验证。
The paper brought forward simulation tactic of complex numeral system, designed VHDL testing basic program and finished simulation validation of system function blocks.
通过计算机模拟验证了算法的性能，并在此基础上成功地处理了海上试验数据，获得了正确的目标轨迹。
The performance of the algorithm is illustrated with simulated data. Then the object trajectory for real data is obtained successfully.
分析了装货口盖成形工艺性，并进行了理论计算和模拟验证，由此制定了该工件的成形工艺、模具设计方案。
The porthole cover forming technology has been analysed and theoretical calculation and simulation verification have been done hence scheme of forming technology and die design done.
通过计算机模拟验证了该加工方法的简便与可靠性，可以降低非球面反射镜加工的设备投入，提高生产效率。
The machining approach is verified to be simple and reliable by computer simulation, so the production efficiency can be improved and the equipment input can be reduced.
课题着重对这两个模块的电路结构以及版图结构进行了深入的研究和分析，并采用SPICE工具进行了模拟验证。
The paper has an emphatical discussion on the study and analysis of the circuit structure and layout structure of these two modules, and makes a lot of SPICE simulation and verification.
分析了AT M网络中的各种自愈技术，提出了一种具有多优先级虚通道的综合自愈策略，并对其进行了计算机模拟验证。
This paper analyzes several self healing techniques in ATM networks, proposes an integrated self healing strategy in ATM networks with multi priority virtual path, and makes a simulation to verify it.
接着对换热器的整体传热模拟作了简化，提出两种假设，并举例进行数值模拟验证，结果表明： 温度场的分布与假设相近。
Two hypotheses are put forward and validated by CFD software. It is proved that the results are almost the same as the hypotheses.
接着对换热器的整体传热模拟作了简化，提出两种假设，并举例进行数值模拟验证，结果表明： 温度场的分布与假设相近。
Two hypotheses are put forward and validated by CFD software. It is proved that the results are almost the same as the hypotheses.
应用推荐