验证理论

It is validated by experiments, simulation and theoretic calculation that the macroscopical circuit model of plasma load of AIP and its relationship with microcosmic parameters of plasma is effective.

通过实验、仿真模拟和理论计算，验证了建立的电弧离子镀等离子体负载的宏观电路模型及其与等离子体微观参数间的关系是有效的。

According to the influence of air pollutant source parameters, weather factors, approach underlying surface layer and non-linearity reaction, the correction coefficient is to modify final simulate value, which perfectly resolves the problem of the result probability and complexity actually. Therefore, the result of the model is more reliable.(2) Long-term monitoring average concentration isoline map and simulating air pollutant concentration isoline map are drawn by drawing function of surfer 8.0 software.

本研究提出的长期平均浓度模型的预测值与实测值的相关系数r=0.813在α=0.05下通过检验，且验证的样本量大，计算结果具有代表性，为湛江市郊区环境空气质量全面预测和污染防治提供理论依据，该模型亦可进而推广应用于SO_2、NO_x、CO等大气污染物的扩散状态研究和计算。

If the installation of vaccum system is not rational,it will make noncondensable air gathering and terminal difference increasing.

通过对托电一、二期4×600 MW机组的真空分析，找出了影响双背压机组低压凝汽器真空的主要因素为，抽真空系统设置不合理使不凝结气体聚集，导致端差增大，并通过试验验证了理论分析的正确性，进而提出了解决方法。

In this paper, the grey system theory forecastin g method to predict the track of air craft of missile target is proposed. Throug h checking the model by use of actual tracking data of aircraft, the results sho w that the accuracy of the model is of very high level.

提出了用灰色系统理论进行飞机、导弹目标的航迹点预测的方法，并利用实际测得的飞机航迹点数据进行了验证，具有很高的精度。

The system is used to aid the multiplant production planning and scheduling in Alcohol Company of China Grain Group. The theories and methods in this thesis are verified by the application.

结合中粮酒业多工厂生产计划与调度实际问题，给出了应用案例与效果，验证了本文提出的理论与方法。

This paper gives the study of polynomial symbolic algebraic theory in formal verification method.

本文研究基于多项式符号代数理论的形式化验证方法。

The advantages of the algorithm are analyzed in theory,and the performance of the algorithm is validated by simulation.

从理论上分析了该算法的优越性，并通过实验仿真对算法的性能进行验证。

Finally, we verify the algorithm with theory model and field data.

在文中最后，作者通过理论模型和实例验证了上述的思想。

The result of industrial verification and experimental studies shows that the theory and algorithm are correct.

工业验证及实验研究的结果表明上述理论和算法是正确的。

Consequently, this essay choose the "Z-Score Model", which was developed by Altaian, the famous American expert in risks management, to analyze and evaluate the listed companies' credit risks in China and to verify its efficiency to Chinese stocks market. The " Z-Score Model" is an innovation in the evaluation of companies' credit risk in the United States' banks, which is now being used widely. If the model is also applicable in Chinese stocks market, it will be significant in both theories and practices.

因此，本文选用作为美国商业银行信用评估方法的一次重要创新的，目前仍被美国商业银行广泛使用的，由美国著名信用风险管理专家Altman建立的"Z评分模型"(Z-Score Model)来对我国上市公司的信用风险状况进行实证研究，验证其在我国股票市场的有效性程度，如果能证明"Z评分模型"同样适用于我国证券市场，并将其改造为更适合我国上市公司的信用风险分析模型，将不仅具有很大的理论价值，而且也具有十分重要的现实意义。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。