证明

Experimental results demonstrate that the proposed snubber circuit is very effective for large capacity two-level GTO inverters.

给出的关断试验结果证明了抑制过电压措施的必要性及正确性，并证明了所设计的吸收电路完全满足大功率两电平GTO逆变器装置的使用要求。

In Chapter two, it is given of the three-dimensional boundary element and the boundary element space, Sobolev space for the contact boundary element problem with friction; it is proved of existence and uniqueness of the solution by variation inequality for the contact Boundary Element Method matrix equation under two kinds of condition that the contact zone is fixed and the contact zone is increasing along with the load; it is given of the expressionfor the error of the exact solution and the boundary element solution.

第2章，给出三维边界单元及边界元空间、有摩擦接触边界元问题的Sobolev空间，利用变分不等式证明了不变接触区和随载荷可变接触区两种情况下的接触边界元法矩阵方程解的存在唯一性，给出了准确解与边界元解的误差表达式，还证明了三维弹塑性摩擦接触问题凝缩矩阵解的存在唯一性，为三维弹塑性摩擦接触边界元法奠定数学基础。

And then, the general conditions during which the angle of solid liquid unequal to zero degree are derived and proved.

然后证明固液接触角不为零度时的一般情况，为测量依据公式提供一种新的证明方法。

It is proved that if the optimal solution tree has an inter-node, the necessary and sufficient condition that tree structure GAs are solution foundable is that the initial population contains an inter-node; the upper limit of solution foundable probability is also calculated and the population size is proved to increase at most in a polynomial of increasing problem complexity and the probability upper limit.

本文接着给出了当初始群体随机产生，只有杂交算符作用或只有复制与杂交算符作用的遗传算法有解的充要条件，并加以证明；而且求出了这时有解的概率上限，并证明群体大小的增加不超过问题复杂性和有解概率上限的某个多项式。

Wu said events have proved, and will continue to prove , that the principle of "one country, two systems" is workable and feasible and the Basic Law is a sound law able to withstand the test of time.

吴说，事实已经证明，并将继续证明，"一国两制"的基本原则是有效的、可行的，基本法是一个健全的法律，它能够经受时间的检验。

In 1947 the country's new Communist rulers deported 200,000 Ukrainian-speakers from south-eastern Poland.

这既可被视为是布尔什维克的残酷的证明，或是波兰民族主义的证明。

Based on them, we calculated precisely some enegy levels of P-wave and D-wave of a helium atom, presented and proved the general interdimensional degeneracies for a quantum N-body system, derived the general spherical spinor functions and the exact solution to the Dirac equation for the hydrogen atom, and proved uniformly the Levinson theorem for the Dirac equation in D-dimensions.

在此基础上，我们精确计算了氦原子P波和D波若干较低能级，建立和证明了量子N体系统不同维数状态间最普遍的简并，推导出任意 D 维空间广义球旋函数和Dirac方程氢原子的精确解，统一地提出和证明了任意 D维空间Dirac方程Levinson定理的一般形式。

By using integral periodogram to estimate the spectral functions of a stationary time series, the invariance principle for the error process has been demonstrated either for Gaussian or non-Gaussian series.

用积分周期图估计平稳时间序列的谱函数，不论是高斯序列还是非高斯序列，其误差过程的不变原理都已被证明￣（［1］，［3］），许重光￣［5］采用自迥归谱估计的积分估计谱函数也证明了误差过程的不变原理成立。

This paper is mainly the dynamic input-output model that the time lag is one, which is base on the above models. After studying, we consider stochastic factor step by step in it, namely when consumption coefficient matrix is stochastic (when investment matrix is stochastic, it is almost same. So we dont research it), and they are both stochastic, then we research the stable increase solution. We utilize the means of the modern stochastic analysis and Markov process, that the stochastic dynamic input-output model don not exist the stable solution is proved. Namely, economic system must is adjusted constantly. The probability that the collapse time of the economic system is o is one.

本文对在上述基础上构造的一类时滞为1的动态投入产出模型，进行了深入研究，将随机因素逐步考虑进去，即对投入产出消耗系数矩阵为随机的情况(投资系数矩阵为随机的情况与投入产出消耗系数矩阵为随机的情况大致相同，这里就不再证明)，以及二者同时为随机矩阵时所得到的动态投入产出模型的稳定增长解问题，利用现代概率分析及马氏过程的工具，证明了不存在随机动态投入产出模型的稳定增长解；即投入产出模型反映的经济系统必须经常进行调整，其崩溃时间为无穷大的概率为零。

We divide the existence of generalized solutions into three theorems becauseof the existence of a generalized supersolution we need in the proof.To ob-tain this fact,we discuss three different cases separately.WhenΩhas strictconvexity,it can be proved that the generalized supersolution of (1)(2)is theconvex-monotone hull of 〓in 〓,this is theorem 2.WhenΩdoesn't hasthe strict convexity,in theorem 3 we have to suppose there exists a generalizedsupersolution.

我们的广义解的存在性结果之所以分成三个定理陈述，主要是因为在我们的存在性证明中，一个重要的事实就是广义上解的存在性，而为了得到这个事实，我们分别讨论了三种不同的情况：在定理2中的假设〓具有严格凸性时，我们证明了问题（1）（2）的广义上解就是初边值〓的凸单调包，而在〓没有严格凸性时，我们在定理3中假定了一个广义上解的存在性。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。