验证理论

The effect of the transient current on protection algorithm is also discussed.

大量ATP仿真验证了理论分析的正确性，并讨论了不同暂态情况下保护算法可能受到的影响。

V-I transter matrix method is proved by the effective index method firstly in this paper.

从有效折射率法出发，验证了用于光纤光栅理论分析的新型方法V-I传输矩阵法的正确性。

Its properties and tracing method are discussed. And the highlight-line model on triangular mesh surface is implemented. The theories put forward in this paper are demonstrated.

提出了三角网格曲面高光线模型的定义，讨论了相关性质及追踪方法，并在三角网格曲面上实现了高光线模型，验证了论文提出的相关理论。

Through the contrast analysis of laboratory model test and numerical simulation, the trueness and rationality of theory were proved.

通过实验室模型试验和数值模拟的对比分析，验证了理论分析的正确性和合理性。

Based on percolation theory , truncated Weibull distribution is used as the pore throat distribution function, a two phase and 3 dimensional quasi-static network model is established to simulate the primary oil displacement and secondary water flooding of reservoir cores.

结合逾渗理论，采用截断威布尔分布作为孔喉特征分布函数，模拟储层岩心的初次油驱过程和二次水驱过程，建立了油水两相三维准静态孔隙网络模型；通过模型计算与试验结果的对比，验证了孔隙网络模型的有效性。

On pathogenic photos we can see direct that the turbidness and swelling of the renal tubule and the enlargement of glomerulus have direct relation with albuminuria ,which verifies the theory of the disease of both essence and water .

在病理片上可以直观地看到，肾小管浊肿，肾小球增大和蛋白尿直接相关，验证了精水同病的理论。

On the basis of analysis results,δ unbalanced control method is proposed.

仿真结果验证了理论分析的正确性。

Topics covered include: finite automata and regular languages, context-free languages, Turing machines, partial recursive functions, Church's Thesis, undecidability, reducibility and completeness, time complexity and NP-completeness, probabilistic computation, and interactive proof systems.

课程项目包含：有限状态机与正规语言，情境无关语言，Turing机，部分递回函数，Church理论，不可判定性，可简化性与完整性，时间复杂度与NP-完整性，或然率计算，与交互验证系统。译注：Turing machine 一般译作"图灵机"或"图林机"，本课程依据专有名词保留原则，一律译为Turing机。

This paper makes a systematical theoretical analysis and numerical simulation about heat transfer in underground tunnel of hydropower station.

本文对水电站厂房采用坝体廊道送风的方式进行了系统的理论分析与数值模拟计算，并与实验数据进行了验证分析。

At last, the problem on nonlinear function universal approximation based on WNN is studied by computer simulation. and the theory derivation is also verified.

最后，通过对基于WNN的非线性函数一致逼近问题的仿真研究，进一步验证了理论分析的正确性。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！