In this paper, FEM is used to establish the calculating model of beam axle of compound suspension. After verification by experiment, the model is employed for stress analysis of beam axle.
本文用有限元方法建立复合式悬架车桥的计算模型，经试验验证后，用于车桥横梁的应力分析。
Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
With necessary experimental verification, the startup control model developed in this paper could be the theoretical basis for the analysis of dynamic performances of seawater desalination system.
建立的启动模型在经过实验验证加以完善之后，可以作为分析系统动态运行特性的理论基础。
By the verification of error analysis, the accuracy and reliability of the model accord with the designing demands, and can be used by the production and design units.
经过误差分析验证，模型的精度、可靠度均满足设计要求，可供生产设计单位使用。
Then, a verification of the function of the model is given according to the modeling and implement in event correlation analysis system.
通过该模型在实际的事件关联性分析系统中的建模和实现情况，对该模型的作用作出了验证。
Carry on indoor model simulation experiment, through experimental result with perform comparison verification of result of analysis on feasibility and accuracy of method instead.
进行了室内模型模拟实验，通过实验结果与反演结果的比较验证反演方法的可行性及准确性。
The basic notion, computing model and result verification, etc, of displacement measurement inversion analysis are expounded. The example of calculation shows its validity.
阐述了位移测量反演分析的基本思路、解算模型、成果检验等，并用计算实例说明了其有效性。
The paper gives a verification of the soundness and performance analysis of this Web services composition model based on SPN-NET.
文中给出了基于SPN - NET模型的服务组合合理性验证和性能分析方法。
The establishment of robustness analysis model provides a simple and convenient tool in the rationality verification of prior distribution.
先验分布稳健性分析模型的研究，对于先验分布的合理性检验的提供了一个简便实用的工具。
According to the function, some important qualities were presented to guarantee the correctness of system. The analysis and verification of the model are shown by S_invariants.
根据系统功能，提出了保证系统功能正确性应具有的重要性质，继而用S _不变量对其进行了分析、验证。
According to the function, some important qualities were presented to guarantee the correctness of system. The analysis and verification of the model are shown by S_invariants.
根据系统功能，提出了保证系统功能正确性应具有的重要性质，继而用S _不变量对其进行了分析、验证。
应用推荐